runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3734471-1338691505/watcher-3734471-1338691505 -o /tmp/evaluation-result-3734471-1338691505/solver-3734471-1338691505 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3734471-1338691505.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.84 3.95 3.86 4/197 10261
/proc/meminfo: memFree=24824992/32873844 swapFree=7632/7632
[pid=10261] ppid=10259 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/10261/stat : 10261 (java) R 10259 10261 5561 0 -1 4202496 851 0 0 0 0 0 0 0 20 0 1 0 335274797 23793664 578 33554432000 1073741824 1073778376 140735948507088 140735948496152 209874631233 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10261/statm: 5809 588 440 9 0 128 0
[startup+0.105867 s]
/proc/loadavg: 3.84 3.95 3.86 4/197 10261
/proc/meminfo: memFree=24824992/32873844 swapFree=7632/7632
[pid=10261] ppid=10259 vsize=11586392 CPUtime=0.1 cores=1,3,5,7
/proc/10261/stat : 10261 (java) S 10259 10261 5561 0 -1 4202496 5316 0 1 0 9 1 0 0 20 0 18 0 335274797 11864465408 13140 33554432000 1073741824 1073778376 140735948507088 140735948498224 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10261/statm: 2896598 13140 2116 9 0 2887285 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11586392
[startup+0.200264 s]
/proc/loadavg: 3.84 3.95 3.86 4/197 10261
/proc/meminfo: memFree=24824992/32873844 swapFree=7632/7632
[pid=10261] ppid=10259 vsize=11852648 CPUtime=0.2 cores=1,3,5,7
/proc/10261/stat : 10261 (java) S 10259 10261 5561 0 -1 4202496 5751 0 1 0 19 1 0 0 20 0 19 0 335274797 12137111552 15021 33554432000 1073741824 1073778376 140735948507088 140735948498224 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10261/statm: 2963162 15021 2200 9 0 2953849 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 11852648
[startup+0.300282 s]
/proc/loadavg: 3.84 3.95 3.86 4/197 10261
/proc/meminfo: memFree=24824992/32873844 swapFree=7632/7632
[pid=10261] ppid=10259 vsize=11852648 CPUtime=0.2 cores=1,3,5,7
/proc/10261/stat : 10261 (java) S 10259 10261 5561 0 -1 4202496 5751 0 1 0 19 1 0 0 20 0 19 0 335274797 12137111552 15021 33554432000 1073741824 1073778376 140735948507088 140735948498224 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10261/statm: 2963162 15021 2200 9 0 2953849 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 11852648
[startup+0.700212 s]
/proc/loadavg: 3.84 3.95 3.86 4/197 10261
/proc/meminfo: memFree=24824992/32873844 swapFree=7632/7632
[pid=10261] ppid=10259 vsize=11852648 CPUtime=0.21 cores=1,3,5,7
/proc/10261/stat : 10261 (java) S 10259 10261 5561 0 -1 4202496 5808 0 1 0 20 1 0 0 20 0 19 0 335274797 12137111552 16077 33554432000 1073741824 1073778376 140735948507088 140735948498224 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10261/statm: 2963162 16077 2202 9 0 2953849 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 11852648
[startup+1.50073 s]
/proc/loadavg: 3.84 3.95 3.86 3/216 10286
/proc/meminfo: memFree=24769052/32873844 swapFree=7632/7632
[pid=10261] ppid=10259 vsize=11852648 CPUtime=0.7 cores=1,3,5,7
/proc/10261/stat : 10261 (java) S 10259 10261 5561 0 -1 4202496 9428 0 1 0 66 4 0 0 20 0 19 0 335274797 12137111552 18884 33554432000 1073741824 1073778376 140735948507088 140735948498224 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10261/statm: 2963162 18884 2239 9 0 2953849 0
[pid=10261/tid=10263] ppid=10259 vsize=11852648 CPUtime=0.15 cores=1,3,5,7
/proc/10261/task/10263/stat : 10263 (java) S 10259 10261 5561 0 -1 4202560 3426 0 1 0 13 2 0 0 20 0 19 0 335274797 12137111552 18884 33554432000 1073741824 1073778376 140735948507088 140459995022488 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10261/tid=10264] ppid=10259 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/10261/task/10264/stat : 10264 (java) S 10259 10261 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335274800 12137111552 18884 33554432000 1073741824 1073778376 140735948507088 140459831794088 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10261/tid=10265] ppid=10259 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/10261/task/10265/stat : 10265 (java) S 10259 10261 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335274800 12137111552 18884 33554432000 1073741824 1073778376 140735948507088 140459830741544 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10261/tid=10266] ppid=10259 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/10261/task/10266/stat : 10266 (java) S 10259 10261 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335274800 12137111552 18884 33554432000 1073741824 1073778376 140735948507088 140459829688488 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10261/tid=10267] ppid=10259 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/10261/task/10267/stat : 10267 (java) S 10259 10261 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335274800 12137111552 18884 33554432000 1073741824 1073778376 140735948507088 140459828635944 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10261/tid=10268] ppid=10259 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/10261/task/10268/stat : 10268 (java) S 10259 10261 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335274800 12137111552 18884 33554432000 1073741824 1073778376 140735948507088 140459827583912 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10261/tid=10269] ppid=10259 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/10261/task/10269/stat : 10269 (java) S 10259 10261 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335274800 12137111552 18884 33554432000 1073741824 1073778376 140735948507088 140459826531368 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10261/tid=10270] ppid=10259 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/10261/task/10270/stat : 10270 (java) S 10259 10261 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335274800 12137111552 18884 33554432000 1073741824 1073778376 140735948507088 140459825478312 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10261/tid=10271] ppid=10259 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/10261/task/10271/stat : 10271 (java) S 10259 10261 5561 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335274800 12137111552 18884 33554432000 1073741824 1073778376 140735948507088 140459824425768 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10261/tid=10272] ppid=10259 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/10261/task/10272/stat : 10272 (java) S 10259 10261 5561 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335274801 12137111552 18884 33554432000 1073741824 1073778376 140735948507088 140459812227432 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10261/tid=10273] ppid=10259 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/10261/task/10273/stat : 10273 (java) S 10259 10261 5561 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335274801 12137111552 18884 33554432000 1073741824 1073778376 140735948507088 140459811173752 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10261/tid=10274] ppid=10259 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/10261/task/10274/stat : 10274 (java) S 10259 10261 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335274801 12137111552 18884 33554432000 1073741824 1073778376 140735948507088 140459810120584 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10261/tid=10275] ppid=10259 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/10261/task/10275/stat : 10275 (java) S 10259 10261 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335274804 12137111552 18884 33554432000 1073741824 1073778376 140735948507088 140459809069328 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10261/tid=10276] ppid=10259 vsize=11852648 CPUtime=0.18 cores=1,3,5,7
/proc/10261/task/10276/stat : 10276 (java) S 10259 10261 5561 0 -1 4202560 2244 0 0 0 18 0 0 0 20 0 19 0 335274804 12137111552 18884 33554432000 1073741824 1073778376 140735948507088 140459808017208 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10261/tid=10277] ppid=10259 vsize=11852648 CPUtime=0.18 cores=1,3,5,7
/proc/10261/task/10277/stat : 10277 (java) S 10259 10261 5561 0 -1 4202560 2442 0 0 0 18 0 0 0 20 0 19 0 335274804 12137111552 18884 33554432000 1073741824 1073778376 140735948507088 140459806964664 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10261/tid=10278] ppid=10259 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/10261/task/10278/stat : 10278 (java) S 10259 10261 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335274804 12137111552 18884 33554432000 1073741824 1073778376 140735948507088 140459805911800 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10261/tid=10279] ppid=10259 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/10261/task/10279/stat : 10279 (java) S 10259 10261 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335274804 12137111552 18884 33554432000 1073741824 1073778376 140735948507088 140459804859464 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 11852648
Solver just ended. Dumping a history of the last processes samples
[startup+1.60081 s]
/proc/loadavg: 3.84 3.95 3.86 3/216 10286
/proc/meminfo: memFree=24769052/32873844 swapFree=7632/7632
[pid=10261] ppid=10259 vsize=11852648 CPUtime=0.7 cores=1,3,5,7
/proc/10261/stat : 10261 (java) S 10259 10261 5561 0 -1 4202496 9428 0 1 0 66 4 0 0 20 0 19 0 335274797 12137111552 18884 33554432000 1073741824 1073778376 140735948507088 140735948498224 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/10261/statm: 2963162 18884 2239 9 0 2953849 0
[pid=10261/tid=10263] ppid=10259 vsize=11852648 CPUtime=0.15 cores=1,3,5,7
/proc/10261/task/10263/stat : 10263 (java) S 10259 10261 5561 0 -1 4202560 3426 0 1 0 13 2 0 0 20 0 19 0 335274797 12137111552 18884 33554432000 1073741824 1073778376 140735948507088 140459995022488 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10261/tid=10264] ppid=10259 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/10261/task/10264/stat : 10264 (java) S 10259 10261 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335274800 12137111552 18884 33554432000 1073741824 1073778376 140735948507088 140459831794088 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10261/tid=10265] ppid=10259 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/10261/task/10265/stat : 10265 (java) S 10259 10261 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335274800 12137111552 18884 33554432000 1073741824 1073778376 140735948507088 140459830741544 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10261/tid=10266] ppid=10259 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/10261/task/10266/stat : 10266 (java) S 10259 10261 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335274800 12137111552 18884 33554432000 1073741824 1073778376 140735948507088 140459829688488 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10261/tid=10267] ppid=10259 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/10261/task/10267/stat : 10267 (java) S 10259 10261 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335274800 12137111552 18884 33554432000 1073741824 1073778376 140735948507088 140459828635944 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10261/tid=10268] ppid=10259 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/10261/task/10268/stat : 10268 (java) S 10259 10261 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335274800 12137111552 18884 33554432000 1073741824 1073778376 140735948507088 140459827583912 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10261/tid=10269] ppid=10259 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/10261/task/10269/stat : 10269 (java) S 10259 10261 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335274800 12137111552 18884 33554432000 1073741824 1073778376 140735948507088 140459826531368 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10261/tid=10270] ppid=10259 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/10261/task/10270/stat : 10270 (java) S 10259 10261 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335274800 12137111552 18884 33554432000 1073741824 1073778376 140735948507088 140459825478312 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10261/tid=10271] ppid=10259 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/10261/task/10271/stat : 10271 (java) S 10259 10261 5561 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335274800 12137111552 18884 33554432000 1073741824 1073778376 140735948507088 140459824425768 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10261/tid=10272] ppid=10259 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/10261/task/10272/stat : 10272 (java) S 10259 10261 5561 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335274801 12137111552 18884 33554432000 1073741824 1073778376 140735948507088 140459812227432 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10261/tid=10273] ppid=10259 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/10261/task/10273/stat : 10273 (java) S 10259 10261 5561 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335274801 12137111552 18884 33554432000 1073741824 1073778376 140735948507088 140459811173752 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10261/tid=10274] ppid=10259 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/10261/task/10274/stat : 10274 (java) S 10259 10261 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335274801 12137111552 18884 33554432000 1073741824 1073778376 140735948507088 140459810120584 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10261/tid=10275] ppid=10259 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/10261/task/10275/stat : 10275 (java) S 10259 10261 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335274804 12137111552 18884 33554432000 1073741824 1073778376 140735948507088 140459809069328 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10261/tid=10276] ppid=10259 vsize=11852648 CPUtime=0.18 cores=1,3,5,7
/proc/10261/task/10276/stat : 10276 (java) S 10259 10261 5561 0 -1 4202560 2244 0 0 0 18 0 0 0 20 0 19 0 335274804 12137111552 18884 33554432000 1073741824 1073778376 140735948507088 140459808017208 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10261/tid=10277] ppid=10259 vsize=11852648 CPUtime=0.18 cores=1,3,5,7
/proc/10261/task/10277/stat : 10277 (java) S 10259 10261 5561 0 -1 4202560 2442 0 0 0 18 0 0 0 20 0 19 0 335274804 12137111552 18884 33554432000 1073741824 1073778376 140735948507088 140459806964664 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10261/tid=10278] ppid=10259 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/10261/task/10278/stat : 10278 (java) S 10259 10261 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335274804 12137111552 18884 33554432000 1073741824 1073778376 140735948507088 140459805911800 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10261/tid=10279] ppid=10259 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/10261/task/10279/stat : 10279 (java) S 10259 10261 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335274804 12137111552 18884 33554432000 1073741824 1073778376 140735948507088 140459804859464 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 11852648
Child status: 30
Real time (s): 1.69765
CPU time (s): 0.744886
CPU user time (s): 0.670898
CPU system time (s): 0.073988
CPU usage (%): 43.8776
Max. virtual memory (cumulated for all children) (KiB): 11852648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.670898
system time used= 0.073988
maximum resident set size= 77596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9435
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 268
involuntary context switches= 19
runsolver used 0.012998 second user time and 0.014997 second system time
The end