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-3704678-1338080081/watcher-3704678-1338080081 -o /tmp/evaluation-result-3704678-1338080081/solver-3704678-1338080081 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3704678-1338080081.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.03 2.03 2.00 3/177 14511
/proc/meminfo: memFree=31006284/32873648 swapFree=7112/7112
[pid=14511] ppid=14509 vsize=3228 CPUtime=0 cores=1,3,5,7
/proc/14511/stat : 14511 (wbo1.7) R 14509 14511 12452 0 -1 4202496 312 0 0 0 0 0 0 0 20 0 1 0 274133965 3305472 264 33554432000 4194304 5963574 140734193849184 140733607180296 4343827 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/14511/statm: 807 264 169 432 0 351 0
[startup+0.0229521 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 14511
/proc/meminfo: memFree=31006284/32873648 swapFree=7112/7112
[pid=14511] ppid=14509 vsize=83836 CPUtime=0.02 cores=1,3,5,7
/proc/14511/stat : 14511 (wbo1.7) S 14509 14511 12452 0 -1 4202496 945 0 0 0 2 0 0 0 20 0 2 0 274133965 85848064 876 33554432000 4194304 5963574 140734193849184 140734193848704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14511/statm: 20959 876 185 432 0 20524 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 83836
[startup+0.100148 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 14511
/proc/meminfo: memFree=31006284/32873648 swapFree=7112/7112
[pid=14511] ppid=14509 vsize=83836 CPUtime=0.09 cores=1,3,5,7
/proc/14511/stat : 14511 (wbo1.7) S 14509 14511 12452 0 -1 4202496 1166 0 0 0 9 0 0 0 20 0 2 0 274133965 85848064 1097 33554432000 4194304 5963574 140734193849184 140734193848704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14511/statm: 20959 1097 185 432 0 20524 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83836
[startup+0.300114 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 14511
/proc/meminfo: memFree=31006284/32873648 swapFree=7112/7112
[pid=14511] ppid=14509 vsize=83836 CPUtime=0.29 cores=1,3,5,7
/proc/14511/stat : 14511 (wbo1.7) S 14509 14511 12452 0 -1 4202496 1586 0 0 0 29 0 0 0 20 0 2 0 274133965 85848064 1517 33554432000 4194304 5963574 140734193849184 140734193848704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14511/statm: 20959 1517 185 432 0 20524 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83836
[startup+0.700113 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 14511
/proc/meminfo: memFree=31006284/32873648 swapFree=7112/7112
[pid=14511] ppid=14509 vsize=83980 CPUtime=0.69 cores=1,3,5,7
/proc/14511/stat : 14511 (wbo1.7) S 14509 14511 12452 0 -1 4202496 2026 0 0 0 69 0 0 0 20 0 2 0 274133965 85995520 1957 33554432000 4194304 5963574 140734193849184 140734193848704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14511/statm: 20995 1957 185 432 0 20560 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83980
[startup+1.50021 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 14513
/proc/meminfo: memFree=30997588/32873648 swapFree=7112/7112
[pid=14511] ppid=14509 vsize=84052 CPUtime=1.49 cores=1,3,5,7
/proc/14511/stat : 14511 (wbo1.7) S 14509 14511 12452 0 -1 4202496 2599 0 0 0 149 0 0 0 20 0 2 0 274133965 86069248 2530 33554432000 4194304 5963574 140734193849184 140734193848704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14511/statm: 21013 2530 185 432 0 20578 0
[pid=14511/tid=14513] ppid=14509 vsize=84052 CPUtime=1.47 cores=1,3,5,7
/proc/14511/task/14513/stat : 14513 (wbo1.7) R 14509 14511 12452 0 -1 4202560 1809 0 0 0 147 0 0 0 20 0 2 0 274133966 86069248 2530 33554432000 4194304 5963574 140734193849184 140089283233832 4399522 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 84052
[startup+3.10021 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 14513
/proc/meminfo: memFree=30992868/32873648 swapFree=7112/7112
[pid=14511] ppid=14509 vsize=84052 CPUtime=3.09 cores=1,3,5,7
/proc/14511/stat : 14511 (wbo1.7) S 14509 14511 12452 0 -1 4202496 3478 0 0 0 309 0 0 0 20 0 2 0 274133965 86069248 3409 33554432000 4194304 5963574 140734193849184 140734193848704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14511/statm: 21013 3409 185 432 0 20578 0
[pid=14511/tid=14513] ppid=14509 vsize=84052 CPUtime=3.07 cores=1,3,5,7
/proc/14511/task/14513/stat : 14513 (wbo1.7) R 14509 14511 12452 0 -1 4202560 2688 0 0 0 307 0 0 0 20 0 2 0 274133966 86069248 3409 33554432000 4194304 5963574 140734193849184 140089283233592 4399623 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 84052
[startup+6.30022 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 14513
/proc/meminfo: memFree=30983212/32873648 swapFree=7112/7112
[pid=14511] ppid=14509 vsize=84160 CPUtime=6.28 cores=1,3,5,7
/proc/14511/stat : 14511 (wbo1.7) S 14509 14511 12452 0 -1 4202496 4878 0 0 0 628 0 0 0 20 0 2 0 274133965 86179840 4809 33554432000 4194304 5963574 140734193849184 140734193848704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14511/statm: 21040 4809 185 432 0 20605 0
[pid=14511/tid=14513] ppid=14509 vsize=84160 CPUtime=6.27 cores=1,3,5,7
/proc/14511/task/14513/stat : 14513 (wbo1.7) R 14509 14511 12452 0 -1 4202560 4088 0 0 0 627 0 0 0 20 0 2 0 274133966 86179840 4809 33554432000 4194304 5963574 140734193849184 140089283233592 4391235 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 84160
[startup+12.7002 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 14513
/proc/meminfo: memFree=30975520/32873648 swapFree=7112/7112
[pid=14511] ppid=14509 vsize=84320 CPUtime=12.69 cores=1,3,5,7
/proc/14511/stat : 14511 (wbo1.7) S 14509 14511 12452 0 -1 4202496 6813 0 0 0 1268 1 0 0 20 0 2 0 274133965 86343680 6744 33554432000 4194304 5963574 140734193849184 140734193848704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14511/statm: 21080 6744 185 432 0 20645 0
[pid=14511/tid=14513] ppid=14509 vsize=84320 CPUtime=12.67 cores=1,3,5,7
/proc/14511/task/14513/stat : 14513 (wbo1.7) R 14509 14511 12452 0 -1 4202560 6023 0 0 0 1266 1 0 0 20 0 2 0 274133966 86343680 6744 33554432000 4194304 5963574 140734193849184 140089283233832 4399537 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 84320
[startup+25.5002 s]
/proc/loadavg: 2.09 2.05 2.00 3/179 14513
/proc/meminfo: memFree=30957336/32873648 swapFree=7112/7112
[pid=14511] ppid=14509 vsize=85496 CPUtime=25.48 cores=1,3,5,7
/proc/14511/stat : 14511 (wbo1.7) S 14509 14511 12452 0 -1 4202496 10326 0 0 0 2546 2 0 0 20 0 2 0 274133965 87547904 10257 33554432000 4194304 5963574 140734193849184 140734193848704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14511/statm: 21374 10257 185 432 0 20939 0
[pid=14511/tid=14513] ppid=14509 vsize=85496 CPUtime=25.48 cores=1,3,5,7
/proc/14511/task/14513/stat : 14513 (wbo1.7) R 14509 14511 12452 0 -1 4202560 9536 0 0 0 2545 3 0 0 20 0 2 0 274133966 87547904 10257 33554432000 4194304 5963574 140734193849184 140089283233832 4378688 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 85496
[startup+51.1003 s]
/proc/loadavg: 2.06 2.04 2.00 3/179 14513
/proc/meminfo: memFree=30920884/32873648 swapFree=7112/7112
[pid=14511] ppid=14509 vsize=86072 CPUtime=51.08 cores=1,3,5,7
/proc/14511/stat : 14511 (wbo1.7) S 14509 14511 12452 0 -1 4202496 15478 0 0 0 5104 4 0 0 20 0 2 0 274133965 88137728 15409 33554432000 4194304 5963574 140734193849184 140734193848704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14511/statm: 21518 15409 185 432 0 21083 0
[pid=14511/tid=14513] ppid=14509 vsize=86072 CPUtime=51.08 cores=1,3,5,7
/proc/14511/task/14513/stat : 14513 (wbo1.7) R 14509 14511 12452 0 -1 4202560 14688 0 0 0 5103 5 0 0 20 0 2 0 274133966 88137728 15409 33554432000 4194304 5963574 140734193849184 140089283233592 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 86072
Solver just ended. Dumping a history of the last processes samples
[startup+76.7003 s]
/proc/loadavg: 2.04 2.04 2.00 3/179 14513
/proc/meminfo: memFree=30897376/32873648 swapFree=7112/7112
[pid=14511] ppid=14509 vsize=152472 CPUtime=76.67 cores=1,3,5,7
/proc/14511/stat : 14511 (wbo1.7) S 14509 14511 12452 0 -1 4202496 19382 0 0 0 7661 6 0 0 20 0 2 0 274133965 156131328 19318 33554432000 4194304 5963574 140734193849184 140734193848704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14511/statm: 38118 19318 185 432 0 37683 0
[pid=14511/tid=14513] ppid=14509 vsize=152472 CPUtime=76.67 cores=1,3,5,7
/proc/14511/task/14513/stat : 14513 (wbo1.7) R 14509 14511 12452 0 -1 4202560 18592 0 0 0 7659 8 0 0 20 0 2 0 274133966 156131328 19318 33554432000 4194304 5963574 140734193849184 140089283233832 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 76.67
Current children cumulated vsize (KiB) 152472
[startup+83.1002 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 14513
/proc/meminfo: memFree=30886712/32873648 swapFree=7112/7112
[pid=14511] ppid=14509 vsize=153336 CPUtime=83.06 cores=1,3,5,7
/proc/14511/stat : 14511 (wbo1.7) S 14509 14511 12452 0 -1 4202496 20670 0 0 0 8299 7 0 0 20 0 2 0 274133965 157016064 20609 33554432000 4194304 5963574 140734193849184 140734193848704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14511/statm: 38334 20609 185 432 0 37899 0
[pid=14511/tid=14513] ppid=14509 vsize=153336 CPUtime=83.07 cores=1,3,5,7
/proc/14511/task/14513/stat : 14513 (wbo1.7) R 14509 14511 12452 0 -1 4202560 19880 0 0 0 8298 9 0 0 20 0 2 0 274133966 157016064 20609 33554432000 4194304 5963574 140734193849184 140089283233800 4378832 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 83.06
Current children cumulated vsize (KiB) 153336
[startup+89.5001 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 14513
/proc/meminfo: memFree=30882232/32873648 swapFree=7112/7112
[pid=14511] ppid=14509 vsize=153336 CPUtime=89.46 cores=1,3,5,7
/proc/14511/stat : 14511 (wbo1.7) S 14509 14511 12452 0 -1 4202496 20753 0 0 0 8939 7 0 0 20 0 2 0 274133965 157016064 20692 33554432000 4194304 5963574 140734193849184 140734193848704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14511/statm: 38334 20692 185 432 0 37899 0
[pid=14511/tid=14513] ppid=14509 vsize=153336 CPUtime=89.47 cores=1,3,5,7
/proc/14511/task/14513/stat : 14513 (wbo1.7) R 14509 14511 12452 0 -1 4202560 19963 0 0 0 8938 9 0 0 20 0 2 0 274133966 157016064 20692 33554432000 4194304 5963574 140734193849184 140089283233592 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 89.46
Current children cumulated vsize (KiB) 153336
[startup+92.7002 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 14513
/proc/meminfo: memFree=30880248/32873648 swapFree=7112/7112
[pid=14511] ppid=14509 vsize=153336 CPUtime=92.66 cores=1,3,5,7
/proc/14511/stat : 14511 (wbo1.7) S 14509 14511 12452 0 -1 4202496 20754 0 0 0 9259 7 0 0 20 0 2 0 274133965 157016064 20693 33554432000 4194304 5963574 140734193849184 140734193848704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14511/statm: 38334 20693 185 432 0 37899 0
[pid=14511/tid=14513] ppid=14509 vsize=153336 CPUtime=92.67 cores=1,3,5,7
/proc/14511/task/14513/stat : 14513 (wbo1.7) R 14509 14511 12452 0 -1 4202560 19964 0 0 0 9258 9 0 0 20 0 2 0 274133966 157016064 20693 33554432000 4194304 5963574 140734193849184 140089283233592 4399578 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 92.66
Current children cumulated vsize (KiB) 153336
[startup+93.5066 s]
/proc/loadavg: 2.03 2.03 2.00 3/178 14513
/proc/meminfo: memFree=30879116/32873648 swapFree=7112/7112
[pid=14511] ppid=14509 vsize=153336 CPUtime=93.46 cores=1,3,5,7
/proc/14511/stat : 14511 (wbo1.7) S 14509 14511 12452 0 -1 4202496 20768 0 0 0 9339 7 0 0 20 0 2 0 274133965 157016064 20736 33554432000 4194304 5963574 140734193849184 140734193848704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14511/statm: 38334 20736 185 432 0 37899 0
[pid=14511/tid=14513] ppid=14509 vsize=153336 CPUtime=93.47 cores=1,3,5,7
/proc/14511/task/14513/stat : 14513 (wbo1.7) R 14509 14511 12452 0 -1 4202560 19978 0 0 0 9338 9 0 0 20 0 2 0 274133966 157016064 20736 33554432000 4194304 5963574 140734193849184 140089283233592 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 93.46
Current children cumulated vsize (KiB) 153336
[startup+93.9002 s]
/proc/loadavg: 2.03 2.03 2.00 3/178 14513
/proc/meminfo: memFree=30879116/32873648 swapFree=7112/7112
[pid=14511] ppid=14509 vsize=153336 CPUtime=93.86 cores=1,3,5,7
/proc/14511/stat : 14511 (wbo1.7) S 14509 14511 12452 0 -1 4202496 20781 0 0 0 9379 7 0 0 20 0 2 0 274133965 157016064 20749 33554432000 4194304 5963574 140734193849184 140734193848704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14511/statm: 38334 20749 185 432 0 37899 0
[pid=14511/tid=14513] ppid=14509 vsize=153336 CPUtime=93.86 cores=1,3,5,7
/proc/14511/task/14513/stat : 14513 (wbo1.7) R 14509 14511 12452 0 -1 4202560 19991 0 0 0 9377 9 0 0 20 0 2 0 274133966 157016064 20749 33554432000 4194304 5963574 140734193849184 140089283233592 4399625 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 93.86
Current children cumulated vsize (KiB) 153336
[startup+94.1002 s]
/proc/loadavg: 2.03 2.03 2.00 3/178 14513
/proc/meminfo: memFree=30879116/32873648 swapFree=7112/7112
[pid=14511] ppid=14509 vsize=153336 CPUtime=94.06 cores=1,3,5,7
/proc/14511/stat : 14511 (wbo1.7) S 14509 14511 12452 0 -1 4202496 20783 0 0 0 9399 7 0 0 20 0 2 0 274133965 157016064 20751 33554432000 4194304 5963574 140734193849184 140734193848704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14511/statm: 38334 20751 185 432 0 37899 0
[pid=14511/tid=14513] ppid=14509 vsize=153336 CPUtime=94.06 cores=1,3,5,7
/proc/14511/task/14513/stat : 14513 (wbo1.7) R 14509 14511 12452 0 -1 4202560 19993 0 0 0 9397 9 0 0 20 0 2 0 274133966 157016064 20751 33554432000 4194304 5963574 140734193849184 140089283233592 4399456 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 94.06
Current children cumulated vsize (KiB) 153336
[startup+94.2002 s]
/proc/loadavg: 2.03 2.03 2.00 3/178 14513
/proc/meminfo: memFree=30879116/32873648 swapFree=7112/7112
[pid=14511] ppid=14509 vsize=153336 CPUtime=94.16 cores=1,3,5,7
/proc/14511/stat : 14511 (wbo1.7) S 14509 14511 12452 0 -1 4202496 20784 0 0 0 9409 7 0 0 20 0 2 0 274133965 157016064 20752 33554432000 4194304 5963574 140734193849184 140734193848704 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/14511/statm: 38334 20752 185 432 0 37899 0
[pid=14511/tid=14513] ppid=14509 vsize=153336 CPUtime=94.16 cores=1,3,5,7
/proc/14511/task/14513/stat : 14513 (wbo1.7) R 14509 14511 12452 0 -1 4202560 19994 0 0 0 9407 9 0 0 20 0 2 0 274133966 157016064 20752 33554432000 4194304 5963574 140734193849184 140089283233592 4399456 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 94.16
Current children cumulated vsize (KiB) 153336
Child status: 255
Real time (s): 94.277
CPU time (s): 94.2557
CPU user time (s): 94.1527
CPU system time (s): 0.102984
CPU usage (%): 99.9773
Max. virtual memory (cumulated for all children) (KiB): 153336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 94.1527
system time used= 0.102984
maximum resident set size= 83020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20787
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= 23
involuntary context switches= 140
runsolver used 0.162975 second user time and 0.467928 second system time
The end