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-3705760-1338087662/watcher-3705760-1338087662 -o /tmp/evaluation-result-3705760-1338087662/solver-3705760-1338087662 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705760-1338087662.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: 2.02 1.71 1.69 3/178 18166
/proc/meminfo: memFree=27077396/32873844 swapFree=6088/6088
[pid=18166] ppid=18164 vsize=83816 CPUtime=0 cores=1,3,5,7
/proc/18166/stat : 18166 (wbo1.7) S 18164 18166 16852 0 -1 4202496 865 0 0 0 0 0 0 0 20 0 2 0 274894802 85827584 813 33554432000 4194304 5963574 140734416994944 140734416994464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18166/statm: 20954 813 195 432 0 20519 0
[pid=18166/tid=18167] ppid=18164 vsize=83816 CPUtime=0 cores=1,3,5,7
/proc/18166/task/18167/stat : 18167 (wbo1.7) R 18164 18166 16852 0 -1 4202560 116 0 0 0 0 0 0 0 20 0 2 0 274894802 85827584 813 33554432000 4194304 5963574 140734416994944 140735798280840 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[startup+0.094634 s]
/proc/loadavg: 2.02 1.71 1.69 3/178 18166
/proc/meminfo: memFree=27077396/32873844 swapFree=6088/6088
[pid=18166] ppid=18164 vsize=83816 CPUtime=0.09 cores=1,3,5,7
/proc/18166/stat : 18166 (wbo1.7) S 18164 18166 16852 0 -1 4202496 1157 0 0 0 9 0 0 0 20 0 2 0 274894802 85827584 1105 33554432000 4194304 5963574 140734416994944 140734416994464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18166/statm: 20954 1106 197 432 0 20519 0
[pid=18166/tid=18167] ppid=18164 vsize=83816 CPUtime=0.08 cores=1,3,5,7
/proc/18166/task/18167/stat : 18167 (wbo1.7) R 18164 18166 16852 0 -1 4202560 409 0 0 0 8 0 0 0 20 0 2 0 274894802 85827584 1106 33554432000 4194304 5963574 140734416994944 140735798280840 5135572 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83816
[startup+0.100293 s]
/proc/loadavg: 2.02 1.71 1.69 3/178 18166
/proc/meminfo: memFree=27077396/32873844 swapFree=6088/6088
[pid=18166] ppid=18164 vsize=83816 CPUtime=0.09 cores=1,3,5,7
/proc/18166/stat : 18166 (wbo1.7) S 18164 18166 16852 0 -1 4202496 1169 0 0 0 9 0 0 0 20 0 2 0 274894802 85827584 1117 33554432000 4194304 5963574 140734416994944 140734416994464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18166/statm: 20954 1117 197 432 0 20519 0
[pid=18166/tid=18167] ppid=18164 vsize=83816 CPUtime=0.08 cores=1,3,5,7
/proc/18166/task/18167/stat : 18167 (wbo1.7) R 18164 18166 16852 0 -1 4202560 420 0 0 0 8 0 0 0 20 0 2 0 274894802 85827584 1117 33554432000 4194304 5963574 140734416994944 140735798280840 5135572 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83816
[startup+0.300252 s]
/proc/loadavg: 2.02 1.71 1.69 3/178 18166
/proc/meminfo: memFree=27077396/32873844 swapFree=6088/6088
[pid=18166] ppid=18164 vsize=83816 CPUtime=0.29 cores=1,3,5,7
/proc/18166/stat : 18166 (wbo1.7) S 18164 18166 16852 0 -1 4202496 1553 0 0 0 29 0 0 0 20 0 2 0 274894802 85827584 1501 33554432000 4194304 5963574 140734416994944 140734416994464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18166/statm: 20954 1501 197 432 0 20519 0
[pid=18166/tid=18167] ppid=18164 vsize=83816 CPUtime=0.28 cores=1,3,5,7
/proc/18166/task/18167/stat : 18167 (wbo1.7) R 18164 18166 16852 0 -1 4202560 804 0 0 0 28 0 0 0 20 0 2 0 274894802 85827584 1501 33554432000 4194304 5963574 140734416994944 140735798280840 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83816
[startup+0.700255 s]
/proc/loadavg: 2.02 1.71 1.69 3/178 18166
/proc/meminfo: memFree=27077396/32873844 swapFree=6088/6088
[pid=18166] ppid=18164 vsize=83816 CPUtime=0.69 cores=1,3,5,7
/proc/18166/stat : 18166 (wbo1.7) S 18164 18166 16852 0 -1 4202496 2147 0 0 0 69 0 0 0 20 0 2 0 274894802 85827584 2095 33554432000 4194304 5963574 140734416994944 140734416994464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18166/statm: 20954 2095 197 432 0 20519 0
[pid=18166/tid=18167] ppid=18164 vsize=83816 CPUtime=0.68 cores=1,3,5,7
/proc/18166/task/18167/stat : 18167 (wbo1.7) R 18164 18166 16852 0 -1 4202560 1398 0 0 0 68 0 0 0 20 0 2 0 274894802 85827584 2095 33554432000 4194304 5963574 140734416994944 139933156136760 4400074 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83816
[startup+1.50025 s]
/proc/loadavg: 2.02 1.71 1.69 3/180 18168
/proc/meminfo: memFree=27068772/32873844 swapFree=6088/6088
[pid=18166] ppid=18164 vsize=83960 CPUtime=1.49 cores=1,3,5,7
/proc/18166/stat : 18166 (wbo1.7) S 18164 18166 16852 0 -1 4202496 2564 0 0 0 149 0 0 0 20 0 2 0 274894802 85975040 2512 33554432000 4194304 5963574 140734416994944 140734416994464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18166/statm: 20990 2512 197 432 0 20555 0
[pid=18166/tid=18167] ppid=18164 vsize=83960 CPUtime=1.48 cores=1,3,5,7
/proc/18166/task/18167/stat : 18167 (wbo1.7) R 18164 18166 16852 0 -1 4202560 1815 0 0 0 148 0 0 0 20 0 2 0 274894802 85975040 2512 33554432000 4194304 5963574 140734416994944 139933156136472 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83960
[startup+3.10025 s]
/proc/loadavg: 2.02 1.71 1.69 3/180 18168
/proc/meminfo: memFree=27067160/32873844 swapFree=6088/6088
[pid=18166] ppid=18164 vsize=84032 CPUtime=3.09 cores=1,3,5,7
/proc/18166/stat : 18166 (wbo1.7) S 18164 18166 16852 0 -1 4202496 3357 0 0 0 308 1 0 0 20 0 2 0 274894802 86048768 3305 33554432000 4194304 5963574 140734416994944 140734416994464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18166/statm: 21008 3305 197 432 0 20573 0
[pid=18166/tid=18167] ppid=18164 vsize=84032 CPUtime=3.08 cores=1,3,5,7
/proc/18166/task/18167/stat : 18167 (wbo1.7) R 18164 18166 16852 0 -1 4202560 2608 0 0 0 307 1 0 0 20 0 2 0 274894802 86048768 3305 33554432000 4194304 5963574 140734416994944 139933156136472 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 84032
[startup+6.30026 s]
/proc/loadavg: 2.02 1.71 1.69 3/180 18168
/proc/meminfo: memFree=27060080/32873844 swapFree=6088/6088
[pid=18166] ppid=18164 vsize=84140 CPUtime=6.28 cores=1,3,5,7
/proc/18166/stat : 18166 (wbo1.7) S 18164 18166 16852 0 -1 4202496 5261 0 0 0 626 2 0 0 20 0 2 0 274894802 86159360 5229 33554432000 4194304 5963574 140734416994944 140734416994464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18166/statm: 21035 5229 197 432 0 20600 0
[pid=18166/tid=18167] ppid=18164 vsize=84140 CPUtime=6.28 cores=1,3,5,7
/proc/18166/task/18167/stat : 18167 (wbo1.7) R 18164 18166 16852 0 -1 4202560 4512 0 0 0 625 3 0 0 20 0 2 0 274894802 86159360 5229 33554432000 4194304 5963574 140734416994944 139933156136472 5135572 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 84140
[startup+12.7003 s]
/proc/loadavg: 2.09 1.74 1.70 3/180 18168
/proc/meminfo: memFree=27048132/32873844 swapFree=6088/6088
[pid=18166] ppid=18164 vsize=84444 CPUtime=12.68 cores=1,3,5,7
/proc/18166/stat : 18166 (wbo1.7) S 18164 18166 16852 0 -1 4202496 7278 0 0 0 1265 3 0 0 20 0 2 0 274894802 86470656 7246 33554432000 4194304 5963574 140734416994944 140734416994464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18166/statm: 21111 7246 197 432 0 20676 0
[pid=18166/tid=18167] ppid=18164 vsize=84444 CPUtime=12.68 cores=1,3,5,7
/proc/18166/task/18167/stat : 18167 (wbo1.7) R 18164 18166 16852 0 -1 4202560 6529 0 0 0 1264 4 0 0 20 0 2 0 274894802 86470656 7246 33554432000 4194304 5963574 140734416994944 139933156136760 4399505 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 84444
[startup+25.5003 s]
/proc/loadavg: 2.08 1.75 1.70 3/180 18168
/proc/meminfo: memFree=27031368/32873844 swapFree=6088/6088
[pid=18166] ppid=18164 vsize=85668 CPUtime=25.48 cores=1,3,5,7
/proc/18166/stat : 18166 (wbo1.7) S 18164 18166 16852 0 -1 4202496 10376 0 0 0 2544 4 0 0 20 0 2 0 274894802 87724032 10640 33554432000 4194304 5963574 140734416994944 140734416994464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18166/statm: 21417 10640 197 432 0 20982 0
[pid=18166/tid=18167] ppid=18164 vsize=85668 CPUtime=25.48 cores=1,3,5,7
/proc/18166/task/18167/stat : 18167 (wbo1.7) R 18164 18166 16852 0 -1 4202560 9627 0 0 0 2543 5 0 0 20 0 2 0 274894802 87724032 10640 33554432000 4194304 5963574 140734416994944 139933156136760 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 85668
Solver just ended. Dumping a history of the last processes samples
[startup+31.9068 s]
/proc/loadavg: 2.07 1.76 1.71 3/180 18168
/proc/meminfo: memFree=27021200/32873844 swapFree=6088/6088
[pid=18166] ppid=18164 vsize=86484 CPUtime=31.88 cores=1,3,5,7
/proc/18166/stat : 18166 (wbo1.7) S 18164 18166 16852 0 -1 4202496 12246 0 0 0 3183 5 0 0 20 0 2 0 274894802 88559616 12510 33554432000 4194304 5963574 140734416994944 140734416994464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18166/statm: 21621 12510 197 432 0 21186 0
[pid=18166/tid=18167] ppid=18164 vsize=86484 CPUtime=31.88 cores=1,3,5,7
/proc/18166/task/18167/stat : 18167 (wbo1.7) R 18164 18166 16852 0 -1 4202560 11497 0 0 0 3182 6 0 0 20 0 2 0 274894802 88559616 12510 33554432000 4194304 5963574 140734416994944 139933156136952 4402879 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 31.88
Current children cumulated vsize (KiB) 86484
[startup+38.3003 s]
/proc/loadavg: 2.06 1.76 1.71 3/180 18168
/proc/meminfo: memFree=27015868/32873844 swapFree=6088/6088
[pid=18166] ppid=18164 vsize=86484 CPUtime=38.27 cores=1,3,5,7
/proc/18166/stat : 18166 (wbo1.7) S 18164 18166 16852 0 -1 4202496 12317 0 0 0 3822 5 0 0 20 0 2 0 274894802 88559616 12581 33554432000 4194304 5963574 140734416994944 140734416994464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18166/statm: 21621 12581 197 432 0 21186 0
[pid=18166/tid=18167] ppid=18164 vsize=86484 CPUtime=38.28 cores=1,3,5,7
/proc/18166/task/18167/stat : 18167 (wbo1.7) R 18164 18166 16852 0 -1 4202560 11568 0 0 0 3822 6 0 0 20 0 2 0 274894802 88559616 12581 33554432000 4194304 5963574 140734416994944 139933156136760 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 38.27
Current children cumulated vsize (KiB) 86484
[startup+39.9003 s]
/proc/loadavg: 2.06 1.76 1.71 3/180 18168
/proc/meminfo: memFree=27014876/32873844 swapFree=6088/6088
[pid=18166] ppid=18164 vsize=86484 CPUtime=39.87 cores=1,3,5,7
/proc/18166/stat : 18166 (wbo1.7) S 18164 18166 16852 0 -1 4202496 12323 0 0 0 3982 5 0 0 20 0 2 0 274894802 88559616 12587 33554432000 4194304 5963574 140734416994944 140734416994464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18166/statm: 21621 12587 197 432 0 21186 0
[pid=18166/tid=18167] ppid=18164 vsize=86484 CPUtime=39.88 cores=1,3,5,7
/proc/18166/task/18167/stat : 18167 (wbo1.7) R 18164 18166 16852 0 -1 4202560 11574 0 0 0 3982 6 0 0 20 0 2 0 274894802 88559616 12587 33554432000 4194304 5963574 140734416994944 139933156136760 4391036 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 39.87
Current children cumulated vsize (KiB) 86484
[startup+41.5003 s]
/proc/loadavg: 2.06 1.76 1.71 3/180 18168
/proc/meminfo: memFree=27014752/32873844 swapFree=6088/6088
[pid=18166] ppid=18164 vsize=86484 CPUtime=41.47 cores=1,3,5,7
/proc/18166/stat : 18166 (wbo1.7) S 18164 18166 16852 0 -1 4202496 12323 0 0 0 4142 5 0 0 20 0 2 0 274894802 88559616 12587 33554432000 4194304 5963574 140734416994944 140734416994464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18166/statm: 21621 12587 197 432 0 21186 0
[pid=18166/tid=18167] ppid=18164 vsize=86484 CPUtime=41.48 cores=1,3,5,7
/proc/18166/task/18167/stat : 18167 (wbo1.7) R 18164 18166 16852 0 -1 4202560 11574 0 0 0 4142 6 0 0 20 0 2 0 274894802 88559616 12587 33554432000 4194304 5963574 140734416994944 139933156136760 4388612 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 41.47
Current children cumulated vsize (KiB) 86484
[startup+42.3003 s]
/proc/loadavg: 2.06 1.76 1.71 3/180 18168
/proc/meminfo: memFree=27014628/32873844 swapFree=6088/6088
[pid=18166] ppid=18164 vsize=86484 CPUtime=42.27 cores=1,3,5,7
/proc/18166/stat : 18166 (wbo1.7) S 18164 18166 16852 0 -1 4202496 12323 0 0 0 4222 5 0 0 20 0 2 0 274894802 88559616 12587 33554432000 4194304 5963574 140734416994944 140734416994464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18166/statm: 21621 12587 197 432 0 21186 0
[pid=18166/tid=18167] ppid=18164 vsize=86484 CPUtime=42.28 cores=1,3,5,7
/proc/18166/task/18167/stat : 18167 (wbo1.7) R 18164 18166 16852 0 -1 4202560 11574 0 0 0 4222 6 0 0 20 0 2 0 274894802 88559616 12587 33554432000 4194304 5963574 140734416994944 139933156136760 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 42.27
Current children cumulated vsize (KiB) 86484
[startup+42.5003 s]
/proc/loadavg: 2.06 1.76 1.71 3/180 18168
/proc/meminfo: memFree=27014628/32873844 swapFree=6088/6088
[pid=18166] ppid=18164 vsize=86484 CPUtime=42.47 cores=1,3,5,7
/proc/18166/stat : 18166 (wbo1.7) S 18164 18166 16852 0 -1 4202496 12323 0 0 0 4242 5 0 0 20 0 2 0 274894802 88559616 12587 33554432000 4194304 5963574 140734416994944 140734416994464 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18166/statm: 21621 12587 197 432 0 21186 0
[pid=18166/tid=18167] ppid=18164 vsize=86484 CPUtime=42.48 cores=1,3,5,7
/proc/18166/task/18167/stat : 18167 (wbo1.7) R 18164 18166 16852 0 -1 4202560 11574 0 0 0 4242 6 0 0 20 0 2 0 274894802 88559616 12587 33554432000 4194304 5963574 140734416994944 139933156136760 4482033 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 42.47
Current children cumulated vsize (KiB) 86484
Child status: 255
Real time (s): 42.5898
CPU time (s): 42.5795
CPU user time (s): 42.5055
CPU system time (s): 0.073988
CPU usage (%): 99.9758
Max. virtual memory (cumulated for all children) (KiB): 86484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 42.5055
system time used= 0.073988
maximum resident set size= 50348
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12324
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= 8
involuntary context switches= 53
runsolver used 0.070989 second user time and 0.209968 second system time
The end