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-3727609-1338660533/watcher-3727609-1338660533 -o /tmp/evaluation-result-3727609-1338660533/solver-3727609-1338660533 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727609-1338660533.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.00 2.00 2.00 3/177 15542
/proc/meminfo: memFree=31387920/32873844 swapFree=7900/7900
[pid=15542] ppid=15540 vsize=83596 CPUtime=0 cores=1,3,5,7
/proc/15542/stat : 15542 (wbo1.72) S 15540 15542 12961 0 -1 4202496 786 0 0 0 0 0 0 0 20 0 2 0 332177820 85602304 736 33554432000 4194304 5964350 140736256957344 140736256956864 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15542/statm: 20899 736 195 433 0 20463 0
[pid=15542/tid=15543] ppid=15540 vsize=83596 CPUtime=0 cores=1,3,5,7
/proc/15542/task/15543/stat : 15543 (wbo1.72) R 15540 15542 12961 0 -1 4202560 76 0 0 0 0 0 0 0 20 0 2 0 332177820 85602304 736 33554432000 4194304 5964350 140736256957344 140733741889224 4409544 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[startup+0.0675419 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15542
/proc/meminfo: memFree=31387920/32873844 swapFree=7900/7900
[pid=15542] ppid=15540 vsize=83596 CPUtime=0.06 cores=1,3,5,7
/proc/15542/stat : 15542 (wbo1.72) S 15540 15542 12961 0 -1 4202496 837 0 0 0 6 0 0 0 20 0 2 0 332177820 85602304 787 33554432000 4194304 5964350 140736256957344 140736256956864 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15542/statm: 20899 787 197 433 0 20463 0
[pid=15542/tid=15543] ppid=15540 vsize=83596 CPUtime=0.05 cores=1,3,5,7
/proc/15542/task/15543/stat : 15543 (wbo1.72) R 15540 15542 12961 0 -1 4202560 127 0 0 0 5 0 0 0 20 0 2 0 332177820 85602304 787 33554432000 4194304 5964350 140736256957344 140733741889224 5136340 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 83596
[startup+0.100246 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15542
/proc/meminfo: memFree=31387920/32873844 swapFree=7900/7900
[pid=15542] ppid=15540 vsize=83596 CPUtime=0.09 cores=1,3,5,7
/proc/15542/stat : 15542 (wbo1.72) S 15540 15542 12961 0 -1 4202496 894 0 0 0 9 0 0 0 20 0 2 0 332177820 85602304 844 33554432000 4194304 5964350 140736256957344 140736256956864 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15542/statm: 20899 844 197 433 0 20463 0
[pid=15542/tid=15543] ppid=15540 vsize=83596 CPUtime=0.08 cores=1,3,5,7
/proc/15542/task/15543/stat : 15543 (wbo1.72) R 15540 15542 12961 0 -1 4202560 184 0 0 0 8 0 0 0 20 0 2 0 332177820 85602304 844 33554432000 4194304 5964350 140736256957344 140733741889224 4400366 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) 83596
[startup+0.300243 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15542
/proc/meminfo: memFree=31387920/32873844 swapFree=7900/7900
[pid=15542] ppid=15540 vsize=83596 CPUtime=0.29 cores=1,3,5,7
/proc/15542/stat : 15542 (wbo1.72) S 15540 15542 12961 0 -1 4202496 1192 0 0 0 29 0 0 0 20 0 2 0 332177820 85602304 1142 33554432000 4194304 5964350 140736256957344 140736256956864 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15542/statm: 20899 1142 197 433 0 20463 0
[pid=15542/tid=15543] ppid=15540 vsize=83596 CPUtime=0.28 cores=1,3,5,7
/proc/15542/task/15543/stat : 15543 (wbo1.72) R 15540 15542 12961 0 -1 4202560 482 0 0 0 28 0 0 0 20 0 2 0 332177820 85602304 1142 33554432000 4194304 5964350 140736256957344 140733741889224 4220672 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) 83596
[startup+0.700242 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15542
/proc/meminfo: memFree=31387920/32873844 swapFree=7900/7900
[pid=15542] ppid=15540 vsize=83596 CPUtime=0.69 cores=1,3,5,7
/proc/15542/stat : 15542 (wbo1.72) S 15540 15542 12961 0 -1 4202496 1548 0 0 0 69 0 0 0 20 0 2 0 332177820 85602304 1498 33554432000 4194304 5964350 140736256957344 140736256956864 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15542/statm: 20899 1498 197 433 0 20463 0
[pid=15542/tid=15543] ppid=15540 vsize=83596 CPUtime=0.68 cores=1,3,5,7
/proc/15542/task/15543/stat : 15543 (wbo1.72) R 15540 15542 12961 0 -1 4202560 838 0 0 0 68 0 0 0 20 0 2 0 332177820 85602304 1498 33554432000 4194304 5964350 140736256957344 140325803444024 4400390 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) 83596
[startup+1.50029 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15544
/proc/meminfo: memFree=31382936/32873844 swapFree=7900/7900
[pid=15542] ppid=15540 vsize=83596 CPUtime=1.49 cores=1,3,5,7
/proc/15542/stat : 15542 (wbo1.72) S 15540 15542 12961 0 -1 4202496 1749 0 0 0 149 0 0 0 20 0 2 0 332177820 85602304 1699 33554432000 4194304 5964350 140736256957344 140736256956864 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15542/statm: 20899 1699 197 433 0 20463 0
[pid=15542/tid=15543] ppid=15540 vsize=83596 CPUtime=1.48 cores=1,3,5,7
/proc/15542/task/15543/stat : 15543 (wbo1.72) R 15540 15542 12961 0 -1 4202560 1039 0 0 0 148 0 0 0 20 0 2 0 332177820 85602304 1699 33554432000 4194304 5964350 140736256957344 140325803444216 4400017 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) 83596
[startup+3.10025 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15544
/proc/meminfo: memFree=31380332/32873844 swapFree=7900/7900
[pid=15542] ppid=15540 vsize=83740 CPUtime=3.09 cores=1,3,5,7
/proc/15542/stat : 15542 (wbo1.72) S 15540 15542 12961 0 -1 4202496 2259 0 0 0 309 0 0 0 20 0 2 0 332177820 85749760 2209 33554432000 4194304 5964350 140736256957344 140736256956864 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15542/statm: 20935 2209 197 433 0 20499 0
[pid=15542/tid=15543] ppid=15540 vsize=83740 CPUtime=3.08 cores=1,3,5,7
/proc/15542/task/15543/stat : 15543 (wbo1.72) R 15540 15542 12961 0 -1 4202560 1549 0 0 0 308 0 0 0 20 0 2 0 332177820 85749760 2209 33554432000 4194304 5964350 140736256957344 140325803444024 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) 83740
[startup+6.30025 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15544
/proc/meminfo: memFree=31377844/32873844 swapFree=7900/7900
[pid=15542] ppid=15540 vsize=83596 CPUtime=6.29 cores=1,3,5,7
/proc/15542/stat : 15542 (wbo1.72) S 15540 15542 12961 0 -1 4202496 2742 0 0 0 629 0 0 0 20 0 2 0 332177820 85602304 2664 33554432000 4194304 5964350 140736256957344 140736256956864 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15542/statm: 20899 2664 197 433 0 20463 0
[pid=15542/tid=15543] ppid=15540 vsize=83596 CPUtime=6.28 cores=1,3,5,7
/proc/15542/task/15543/stat : 15543 (wbo1.72) R 15540 15542 12961 0 -1 4202560 2032 0 0 0 628 0 0 0 20 0 2 0 332177820 85602304 2664 33554432000 4194304 5964350 140736256957344 140325803445176 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 83596
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15544
/proc/meminfo: memFree=31373528/32873844 swapFree=7900/7900
[pid=15542] ppid=15540 vsize=83812 CPUtime=12.69 cores=1,3,5,7
/proc/15542/stat : 15542 (wbo1.72) S 15540 15542 12961 0 -1 4202496 3641 0 0 0 1269 0 0 0 20 0 2 0 332177820 85823488 3563 33554432000 4194304 5964350 140736256957344 140736256956864 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15542/statm: 20953 3563 197 433 0 20517 0
[pid=15542/tid=15543] ppid=15540 vsize=83812 CPUtime=12.68 cores=1,3,5,7
/proc/15542/task/15543/stat : 15543 (wbo1.72) R 15540 15542 12961 0 -1 4202560 2931 0 0 0 1268 0 0 0 20 0 2 0 332177820 85823488 3563 33554432000 4194304 5964350 140736256957344 140325803444264 5244231 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 83812
Solver just ended. Dumping a history of the last processes samples
[startup+15.9002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15544
/proc/meminfo: memFree=31369000/32873844 swapFree=7900/7900
[pid=15542] ppid=15540 vsize=83812 CPUtime=15.89 cores=1,3,5,7
/proc/15542/stat : 15542 (wbo1.72) S 15540 15542 12961 0 -1 4202496 4660 0 0 0 1589 0 0 0 20 0 2 0 332177820 85823488 4582 33554432000 4194304 5964350 140736256957344 140736256956864 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15542/statm: 20953 4582 197 433 0 20517 0
[pid=15542/tid=15543] ppid=15540 vsize=83812 CPUtime=15.88 cores=1,3,5,7
/proc/15542/task/15543/stat : 15543 (wbo1.72) R 15540 15542 12961 0 -1 4202560 3950 0 0 0 1588 0 0 0 20 0 2 0 332177820 85823488 4582 33554432000 4194304 5964350 140736256957344 140325803444024 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 15.89
Current children cumulated vsize (KiB) 83812
[startup+16.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15544
/proc/meminfo: memFree=31368380/32873844 swapFree=7900/7900
[pid=15542] ppid=15540 vsize=83812 CPUtime=16.69 cores=1,3,5,7
/proc/15542/stat : 15542 (wbo1.72) S 15540 15542 12961 0 -1 4202496 4706 0 0 0 1669 0 0 0 20 0 2 0 332177820 85823488 4628 33554432000 4194304 5964350 140736256957344 140736256956864 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15542/statm: 20953 4628 197 433 0 20517 0
[pid=15542/tid=15543] ppid=15540 vsize=83812 CPUtime=16.68 cores=1,3,5,7
/proc/15542/task/15543/stat : 15543 (wbo1.72) R 15540 15542 12961 0 -1 4202560 3996 0 0 0 1668 0 0 0 20 0 2 0 332177820 85823488 4628 33554432000 4194304 5964350 140736256957344 140325803444024 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 16.69
Current children cumulated vsize (KiB) 83812
[startup+17.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15544
/proc/meminfo: memFree=31368380/32873844 swapFree=7900/7900
[pid=15542] ppid=15540 vsize=83812 CPUtime=17.09 cores=1,3,5,7
/proc/15542/stat : 15542 (wbo1.72) S 15540 15542 12961 0 -1 4202496 4707 0 0 0 1709 0 0 0 20 0 2 0 332177820 85823488 4629 33554432000 4194304 5964350 140736256957344 140736256956864 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15542/statm: 20953 4629 197 433 0 20517 0
[pid=15542/tid=15543] ppid=15540 vsize=83812 CPUtime=17.08 cores=1,3,5,7
/proc/15542/task/15543/stat : 15543 (wbo1.72) R 15540 15542 12961 0 -1 4202560 3997 0 0 0 1708 0 0 0 20 0 2 0 332177820 85823488 4629 33554432000 4194304 5964350 140736256957344 140325803444024 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 17.09
Current children cumulated vsize (KiB) 83812
[startup+17.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15544
/proc/meminfo: memFree=31366024/32873844 swapFree=7900/7900
[pid=15542] ppid=15540 vsize=83812 CPUtime=17.49 cores=1,3,5,7
/proc/15542/stat : 15542 (wbo1.72) S 15540 15542 12961 0 -1 4202496 5140 0 0 0 1749 0 0 0 20 0 2 0 332177820 85823488 5062 33554432000 4194304 5964350 140736256957344 140736256956864 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15542/statm: 20953 5062 197 433 0 20517 0
[pid=15542/tid=15543] ppid=15540 vsize=83812 CPUtime=17.49 cores=1,3,5,7
/proc/15542/task/15543/stat : 15543 (wbo1.72) R 15540 15542 12961 0 -1 4202560 4430 0 0 0 1749 0 0 0 20 0 2 0 332177820 85823488 5062 33554432000 4194304 5964350 140736256957344 140325803444776 5122278 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 17.49
Current children cumulated vsize (KiB) 83812
Child status: 255
Real time (s): 17.5162
CPU time (s): 17.5203
CPU user time (s): 17.5083
CPU system time (s): 0.011998
CPU usage (%): 100.023
Max. virtual memory (cumulated for all children) (KiB): 83812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.5083
system time used= 0.011998
maximum resident set size= 20248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5143
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= 4
involuntary context switches= 20
runsolver used 0.080987 second user time and 0.142978 second system time
The end