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-3728781-1338675069/watcher-3728781-1338675069 -o /tmp/evaluation-result-3728781-1338675069/solver-3728781-1338675069 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=wbo -verbosity=0 HOME/instance-3728781-1338675069.wbo
running on 4 cores: 0,2,4,6
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.59 2.53 2.18 4/178 20342
/proc/meminfo: memFree=27241684/32873844 swapFree=7628/7628
[pid=20342] ppid=20340 vsize=4704 CPUtime=0 cores=0,2,4,6
/proc/20342/stat : 20342 (pwbo2.02) R 20340 20342 17860 0 -1 4202496 445 0 0 0 0 0 0 0 20 0 1 0 333631784 4816896 386 33554432000 4194304 5964478 140734049280272 140734704530520 4297174 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/20342/statm: 1176 396 167 433 0 740 0
[startup+0.0501059 s]
/proc/loadavg: 3.59 2.53 2.18 4/178 20342
/proc/meminfo: memFree=27241684/32873844 swapFree=7628/7628
[pid=20342] ppid=20340 vsize=164592 CPUtime=0.08 cores=0,2,4,6
/proc/20342/stat : 20342 (pwbo2.02) S 20340 20342 17860 0 -1 4202496 2969 0 0 0 8 0 0 0 20 0 3 0 333631784 168542208 2004 33554432000 4194304 5964478 140734049280272 140734049279792 4546685 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20342/statm: 41148 2004 200 433 0 40712 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 164592
[startup+0.10018 s]
/proc/loadavg: 3.59 2.53 2.18 4/178 20342
/proc/meminfo: memFree=27241684/32873844 swapFree=7628/7628
[pid=20342] ppid=20340 vsize=164592 CPUtime=0.18 cores=0,2,4,6
/proc/20342/stat : 20342 (pwbo2.02) S 20340 20342 17860 0 -1 4202496 3290 0 0 0 18 0 0 0 20 0 3 0 333631784 168542208 2244 33554432000 4194304 5964478 140734049280272 140734049279792 4546685 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20342/statm: 41148 2244 200 433 0 40712 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 164592
[startup+0.300148 s]
/proc/loadavg: 3.59 2.53 2.18 4/178 20342
/proc/meminfo: memFree=27241684/32873844 swapFree=7628/7628
[pid=20342] ppid=20340 vsize=164592 CPUtime=0.58 cores=0,2,4,6
/proc/20342/stat : 20342 (pwbo2.02) S 20340 20342 17860 0 -1 4202496 6398 0 0 0 58 0 0 0 20 0 3 0 333631784 168542208 3427 33554432000 4194304 5964478 140734049280272 140734049279792 4546685 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20342/statm: 41148 3427 200 433 0 40712 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 164592
[startup+0.700166 s]
/proc/loadavg: 3.59 2.53 2.18 4/178 20342
/proc/meminfo: memFree=27241684/32873844 swapFree=7628/7628
[pid=20342] ppid=20340 vsize=164592 CPUtime=1.38 cores=0,2,4,6
/proc/20342/stat : 20342 (pwbo2.02) S 20340 20342 17860 0 -1 4202496 11787 0 0 0 137 1 0 0 20 0 3 0 333631784 168542208 5372 33554432000 4194304 5964478 140734049280272 140734049279792 4546685 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20342/statm: 41148 5372 200 433 0 40712 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 164592
[startup+1.50034 s]
/proc/loadavg: 3.59 2.53 2.18 5/181 20345
/proc/meminfo: memFree=27220092/32873844 swapFree=7628/7628
[pid=20342] ppid=20340 vsize=164592 CPUtime=2.98 cores=0,2,4,6
/proc/20342/stat : 20342 (pwbo2.02) S 20340 20342 17860 0 -1 4202496 19023 0 0 0 296 2 0 0 20 0 3 0 333631784 168542208 7018 33554432000 4194304 5964478 140734049280272 140734049279792 4546685 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20342/statm: 41148 7018 200 433 0 40712 0
[pid=20342/tid=20344] ppid=20340 vsize=164592 CPUtime=1.48 cores=0,2,4,6
/proc/20342/task/20344/stat : 20344 (pwbo2.02) R 20340 20342 17860 0 -1 4202560 9817 0 0 0 146 2 0 0 20 0 3 0 333631785 168542208 7018 33554432000 4194304 5964478 140734049280272 140018728966680 4399839 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20342/tid=20345] ppid=20340 vsize=164592 CPUtime=1.48 cores=0,2,4,6
/proc/20342/task/20345/stat : 20345 (pwbo2.02) R 20340 20342 17860 0 -1 4202560 8325 0 0 0 148 0 0 0 20 0 3 0 333631785 168542208 7018 33554432000 4194304 5964478 140734049280272 140018718476576 4221984 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 164592
[startup+3.10026 s]
/proc/loadavg: 3.59 2.53 2.18 5/181 20345
/proc/meminfo: memFree=27213272/32873844 swapFree=7628/7628
[pid=20342] ppid=20340 vsize=164592 CPUtime=6.17 cores=0,2,4,6
/proc/20342/stat : 20342 (pwbo2.02) S 20340 20342 17860 0 -1 4202496 24099 0 0 0 615 2 0 0 20 0 3 0 333631784 168542208 7705 33554432000 4194304 5964478 140734049280272 140734049279792 4546685 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20342/statm: 41148 7705 200 433 0 40712 0
[pid=20342/tid=20344] ppid=20340 vsize=164592 CPUtime=3.08 cores=0,2,4,6
/proc/20342/task/20344/stat : 20344 (pwbo2.02) R 20340 20342 17860 0 -1 4202560 12062 0 0 0 306 2 0 0 20 0 3 0 333631785 168542208 7705 33554432000 4194304 5964478 140734049280272 140018728966488 4389132 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20342/tid=20345] ppid=20340 vsize=164592 CPUtime=3.08 cores=0,2,4,6
/proc/20342/task/20345/stat : 20345 (pwbo2.02) R 20340 20342 17860 0 -1 4202560 11156 0 0 0 306 2 0 0 20 0 3 0 333631785 168542208 7705 33554432000 4194304 5964478 140734049280272 140018718476952 4403717 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 164592
[startup+6.30028 s]
/proc/loadavg: 3.63 2.55 2.19 5/181 20345
/proc/meminfo: memFree=27211412/32873844 swapFree=7628/7628
[pid=20342] ppid=20340 vsize=164592 CPUtime=12.57 cores=0,2,4,6
/proc/20342/stat : 20342 (pwbo2.02) S 20340 20342 17860 0 -1 4202496 30941 0 0 0 1254 3 0 0 20 0 3 0 333631784 168542208 10168 33554432000 4194304 5964478 140734049280272 140734049279792 4546685 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20342/statm: 41148 10168 200 433 0 40712 0
[pid=20342/tid=20344] ppid=20340 vsize=164592 CPUtime=6.28 cores=0,2,4,6
/proc/20342/task/20344/stat : 20344 (pwbo2.02) R 20340 20342 17860 0 -1 4202560 14055 0 0 0 626 2 0 0 20 0 3 0 333631785 168542208 10168 33554432000 4194304 5964478 140734049280272 140018728966488 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20342/tid=20345] ppid=20340 vsize=164592 CPUtime=6.28 cores=0,2,4,6
/proc/20342/task/20345/stat : 20345 (pwbo2.02) R 20340 20342 17860 0 -1 4202560 16005 0 0 0 626 2 0 0 20 0 3 0 333631785 168542208 10168 33554432000 4194304 5964478 140734049280272 140018718476576 4403677 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 164592
[startup+12.7004 s]
/proc/loadavg: 3.66 2.58 2.20 5/181 20345
/proc/meminfo: memFree=27180932/32873844 swapFree=7628/7628
[pid=20342] ppid=20340 vsize=164592 CPUtime=25.38 cores=0,2,4,6
/proc/20342/stat : 20342 (pwbo2.02) S 20340 20342 17860 0 -1 4202496 39853 0 0 0 2533 5 0 0 20 0 3 0 333631784 168542208 10224 33554432000 4194304 5964478 140734049280272 140734049279792 4546685 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20342/statm: 41148 10224 200 433 0 40712 0
[pid=20342/tid=20344] ppid=20340 vsize=164592 CPUtime=12.68 cores=0,2,4,6
/proc/20342/task/20344/stat : 20344 (pwbo2.02) R 20340 20342 17860 0 -1 4202560 14056 0 0 0 1266 2 0 0 20 0 3 0 333631785 168542208 10224 33554432000 4194304 5964478 140734049280272 140018728967040 4403708 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20342/tid=20345] ppid=20340 vsize=164592 CPUtime=12.68 cores=0,2,4,6
/proc/20342/task/20345/stat : 20345 (pwbo2.02) R 20340 20342 17860 0 -1 4202560 24916 0 0 0 1264 4 0 0 20 0 3 0 333631785 168542208 10224 33554432000 4194304 5964478 140734049280272 140018718476952 4403664 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 164592
[startup+25.5004 s]
/proc/loadavg: 3.73 2.65 2.23 5/181 20345
/proc/meminfo: memFree=27126336/32873844 swapFree=7628/7628
[pid=20342] ppid=20340 vsize=164728 CPUtime=50.97 cores=0,2,4,6
/proc/20342/stat : 20342 (pwbo2.02) S 20340 20342 17860 0 -1 4202496 54623 0 0 0 5089 8 0 0 20 0 3 0 333631784 168681472 14042 33554432000 4194304 5964478 140734049280272 140734049279792 4546685 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20342/statm: 41182 14042 200 433 0 40746 0
[pid=20342/tid=20344] ppid=20340 vsize=164728 CPUtime=25.47 cores=0,2,4,6
/proc/20342/task/20344/stat : 20344 (pwbo2.02) R 20340 20342 17860 0 -1 4202560 17119 0 0 0 2544 3 0 0 20 0 3 0 333631785 168681472 14042 33554432000 4194304 5964478 140734049280272 140018728965944 4387996 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20342/tid=20345] ppid=20340 vsize=164728 CPUtime=25.47 cores=0,2,4,6
/proc/20342/task/20345/stat : 20345 (pwbo2.02) R 20340 20342 17860 0 -1 4202560 36623 0 0 0 2542 5 0 0 20 0 3 0 333631785 168681472 14042 33554432000 4194304 5964478 140734049280272 140018718476952 4222416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 164728
Solver just ended. Dumping a history of the last processes samples
[startup+25.9004 s]
/proc/loadavg: 3.73 2.65 2.23 5/181 20345
/proc/meminfo: memFree=27126336/32873844 swapFree=7628/7628
[pid=20342] ppid=20340 vsize=164728 CPUtime=51.76 cores=0,2,4,6
/proc/20342/stat : 20342 (pwbo2.02) S 20340 20342 17860 0 -1 4202496 55833 0 0 0 5168 8 0 0 20 0 3 0 333631784 168681472 14043 33554432000 4194304 5964478 140734049280272 140734049279792 4546685 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20342/statm: 41182 14043 200 433 0 40746 0
[pid=20342/tid=20344] ppid=20340 vsize=164728 CPUtime=25.87 cores=0,2,4,6
/proc/20342/task/20344/stat : 20344 (pwbo2.02) R 20340 20342 17860 0 -1 4202560 17120 0 0 0 2584 3 0 0 20 0 3 0 333631785 168681472 14043 33554432000 4194304 5964478 140734049280272 140018728965944 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20342/tid=20345] ppid=20340 vsize=164728 CPUtime=25.87 cores=0,2,4,6
/proc/20342/task/20345/stat : 20345 (pwbo2.02) R 20340 20342 17860 0 -1 4202560 37832 0 0 0 2582 5 0 0 20 0 3 0 333631785 168681472 14043 33554432000 4194304 5964478 140734049280272 140018718476952 4392738 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.76
Current children cumulated vsize (KiB) 164728
[startup+26.3004 s]
/proc/loadavg: 3.73 2.65 2.23 5/181 20345
/proc/meminfo: memFree=27125716/32873844 swapFree=7628/7628
[pid=20342] ppid=20340 vsize=164728 CPUtime=52.57 cores=0,2,4,6
/proc/20342/stat : 20342 (pwbo2.02) S 20340 20342 17860 0 -1 4202496 60688 0 0 0 5249 8 0 0 20 0 3 0 333631784 168681472 14059 33554432000 4194304 5964478 140734049280272 140734049279792 4546685 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20342/statm: 41182 14059 200 433 0 40746 0
[pid=20342/tid=20344] ppid=20340 vsize=164728 CPUtime=26.28 cores=0,2,4,6
/proc/20342/task/20344/stat : 20344 (pwbo2.02) R 20340 20342 17860 0 -1 4202560 17136 0 0 0 2625 3 0 0 20 0 3 0 333631785 168681472 14059 33554432000 4194304 5964478 140734049280272 140018728965944 4392915 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20342/tid=20345] ppid=20340 vsize=164728 CPUtime=26.28 cores=0,2,4,6
/proc/20342/task/20345/stat : 20345 (pwbo2.02) R 20340 20342 17860 0 -1 4202560 42671 0 0 0 2622 6 0 0 20 0 3 0 333631785 168681472 14059 33554432000 4194304 5964478 140734049280272 140018718476952 4390262 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 52.57
Current children cumulated vsize (KiB) 164728
[startup+26.4064 s]
/proc/loadavg: 3.73 2.65 2.23 5/181 20345
/proc/meminfo: memFree=27125716/32873844 swapFree=7628/7628
[pid=20342] ppid=20340 vsize=164728 CPUtime=52.78 cores=0,2,4,6
/proc/20342/stat : 20342 (pwbo2.02) S 20340 20342 17860 0 -1 4202496 61496 0 0 0 5269 9 0 0 20 0 3 0 333631784 168681472 14059 33554432000 4194304 5964478 140734049280272 140734049279792 4546685 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20342/statm: 41182 14059 200 433 0 40746 0
[pid=20342/tid=20344] ppid=20340 vsize=164728 CPUtime=26.38 cores=0,2,4,6
/proc/20342/task/20344/stat : 20344 (pwbo2.02) R 20340 20342 17860 0 -1 4202560 17136 0 0 0 2635 3 0 0 20 0 3 0 333631785 168681472 14059 33554432000 4194304 5964478 140734049280272 140018728965944 4399915 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=20342/tid=20345] ppid=20340 vsize=164728 CPUtime=26.38 cores=0,2,4,6
/proc/20342/task/20345/stat : 20345 (pwbo2.02) R 20340 20342 17860 0 -1 4202560 43479 0 0 0 2632 6 0 0 20 0 3 0 333631785 168681472 14059 33554432000 4194304 5964478 140734049280272 140018718476952 4222416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 52.78
Current children cumulated vsize (KiB) 164728
Child status: 255
Real time (s): 26.4911
CPU time (s): 52.9589
CPU user time (s): 52.836
CPU system time (s): 0.122981
CPU usage (%): 199.912
Max. virtual memory (cumulated for all children) (KiB): 164728
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 52.836
system time used= 0.122981
maximum resident set size= 57868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63554
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 129
involuntary context switches= 70
runsolver used 0.06399 second user time and 0.175973 second system time
The end