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-3727515-1338660174/watcher-3727515-1338660174 -o /tmp/evaluation-result-3727515-1338660174/solver-3727515-1338660174 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727515-1338660174.opb
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: 2.09 2.02 1.98 3/177 6695
/proc/meminfo: memFree=26772764/32873648 swapFree=6860/6860
[pid=6695] ppid=6693 vsize=3336 CPUtime=0 cores=0,2,4,6
/proc/6695/stat : 6695 (wbo1.72) R 6693 6695 4467 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 332143491 3416064 311 33554432000 4194304 5964350 140735868267120 140734146091096 5136410 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/6695/statm: 834 312 166 433 0 382 0
[startup+0.020503 s]
/proc/loadavg: 2.09 2.02 1.98 3/177 6695
/proc/meminfo: memFree=26772764/32873648 swapFree=6860/6860
[pid=6695] ppid=6693 vsize=84116 CPUtime=0.01 cores=0,2,4,6
/proc/6695/stat : 6695 (wbo1.72) S 6693 6695 4467 0 -1 4202496 1163 0 0 0 1 0 0 0 20 0 2 0 332143491 86134784 1099 33554432000 4194304 5964350 140735868267120 140735868266640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6695/statm: 21029 1099 193 433 0 20593 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 84116
[startup+0.100163 s]
/proc/loadavg: 2.09 2.02 1.98 3/177 6695
/proc/meminfo: memFree=26772764/32873648 swapFree=6860/6860
[pid=6695] ppid=6693 vsize=84116 CPUtime=0.09 cores=0,2,4,6
/proc/6695/stat : 6695 (wbo1.72) S 6693 6695 4467 0 -1 4202496 1221 0 0 0 9 0 0 0 20 0 2 0 332143491 86134784 1157 33554432000 4194304 5964350 140735868267120 140735868266640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6695/statm: 21029 1157 195 433 0 20593 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 84116
[startup+0.300111 s]
/proc/loadavg: 2.09 2.02 1.98 3/177 6695
/proc/meminfo: memFree=26772764/32873648 swapFree=6860/6860
[pid=6695] ppid=6693 vsize=84116 CPUtime=0.29 cores=0,2,4,6
/proc/6695/stat : 6695 (wbo1.72) S 6693 6695 4467 0 -1 4202496 1266 0 0 0 29 0 0 0 20 0 2 0 332143491 86134784 1202 33554432000 4194304 5964350 140735868267120 140735868266640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6695/statm: 21029 1202 195 433 0 20593 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 84116
[startup+0.700112 s]
/proc/loadavg: 2.09 2.02 1.98 3/177 6695
/proc/meminfo: memFree=26772764/32873648 swapFree=6860/6860
[pid=6695] ppid=6693 vsize=84116 CPUtime=0.69 cores=0,2,4,6
/proc/6695/stat : 6695 (wbo1.72) S 6693 6695 4467 0 -1 4202496 1445 0 0 0 69 0 0 0 20 0 2 0 332143491 86134784 1381 33554432000 4194304 5964350 140735868267120 140735868266640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6695/statm: 21029 1381 195 433 0 20593 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 84116
[startup+1.5002 s]
/proc/loadavg: 2.09 2.02 1.98 3/179 6697
/proc/meminfo: memFree=26767648/32873648 swapFree=6860/6860
[pid=6695] ppid=6693 vsize=84116 CPUtime=1.49 cores=0,2,4,6
/proc/6695/stat : 6695 (wbo1.72) S 6693 6695 4467 0 -1 4202496 1787 0 0 0 149 0 0 0 20 0 2 0 332143491 86134784 1723 33554432000 4194304 5964350 140735868267120 140735868266640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6695/statm: 21029 1723 195 433 0 20593 0
[pid=6695/tid=6697] ppid=6693 vsize=84116 CPUtime=1.47 cores=0,2,4,6
/proc/6695/task/6697/stat : 6697 (wbo1.72) R 6693 6695 4467 0 -1 4202560 957 0 0 0 147 0 0 0 20 0 2 0 332143491 86134784 1723 33554432000 4194304 5964350 140735868267120 139947416371520 4403290 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 84116
[startup+3.10021 s]
/proc/loadavg: 2.09 2.02 1.98 3/179 6697
/proc/meminfo: memFree=26765340/32873648 swapFree=6860/6860
[pid=6695] ppid=6693 vsize=84116 CPUtime=3.08 cores=0,2,4,6
/proc/6695/stat : 6695 (wbo1.72) S 6693 6695 4467 0 -1 4202496 2838 0 0 0 308 0 0 0 20 0 2 0 332143491 86134784 2748 33554432000 4194304 5964350 140735868267120 140735868266640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6695/statm: 21029 2748 195 433 0 20593 0
[pid=6695/tid=6697] ppid=6693 vsize=84116 CPUtime=3.07 cores=0,2,4,6
/proc/6695/task/6697/stat : 6697 (wbo1.72) R 6693 6695 4467 0 -1 4202560 2008 0 0 0 307 0 0 0 20 0 2 0 332143491 86134784 2748 33554432000 4194304 5964350 140735868267120 139947416371520 4403296 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 84116
[startup+6.3002 s]
/proc/loadavg: 2.08 2.02 1.98 3/179 6697
/proc/meminfo: memFree=26760504/32873648 swapFree=6860/6860
[pid=6695] ppid=6693 vsize=84116 CPUtime=6.28 cores=0,2,4,6
/proc/6695/stat : 6695 (wbo1.72) S 6693 6695 4467 0 -1 4202496 3466 0 0 0 628 0 0 0 20 0 2 0 332143491 86134784 3376 33554432000 4194304 5964350 140735868267120 140735868266640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6695/statm: 21029 3376 195 433 0 20593 0
[pid=6695/tid=6697] ppid=6693 vsize=84116 CPUtime=6.27 cores=0,2,4,6
/proc/6695/task/6697/stat : 6697 (wbo1.72) R 6693 6695 4467 0 -1 4202560 2636 0 0 0 627 0 0 0 20 0 2 0 332143491 86134784 3376 33554432000 4194304 5964350 140735868267120 139947416381240 4399840 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 84116
[startup+12.7002 s]
/proc/loadavg: 2.07 2.02 1.98 3/179 6697
/proc/meminfo: memFree=26752472/32873648 swapFree=6860/6860
[pid=6695] ppid=6693 vsize=84332 CPUtime=12.69 cores=0,2,4,6
/proc/6695/stat : 6695 (wbo1.72) S 6693 6695 4467 0 -1 4202496 5464 0 0 0 1268 1 0 0 20 0 2 0 332143491 86355968 5374 33554432000 4194304 5964350 140735868267120 140735868266640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6695/statm: 21083 5374 195 433 0 20647 0
[pid=6695/tid=6697] ppid=6693 vsize=84332 CPUtime=12.67 cores=0,2,4,6
/proc/6695/task/6697/stat : 6697 (wbo1.72) R 6693 6695 4467 0 -1 4202560 4634 0 0 0 1267 0 0 0 20 0 2 0 332143491 86355968 5374 33554432000 4194304 5964350 140735868267120 139947416381432 4379236 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 84332
[startup+25.5002 s]
/proc/loadavg: 2.06 2.01 1.98 3/179 6697
/proc/meminfo: memFree=26743404/32873648 swapFree=6860/6860
[pid=6695] ppid=6693 vsize=84440 CPUtime=25.48 cores=0,2,4,6
/proc/6695/stat : 6695 (wbo1.72) S 6693 6695 4467 0 -1 4202496 7532 0 0 0 2546 2 0 0 20 0 2 0 332143491 86466560 7442 33554432000 4194304 5964350 140735868267120 140735868266640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6695/statm: 21110 7442 195 433 0 20674 0
[pid=6695/tid=6697] ppid=6693 vsize=84440 CPUtime=25.48 cores=0,2,4,6
/proc/6695/task/6697/stat : 6697 (wbo1.72) R 6693 6695 4467 0 -1 4202560 6702 0 0 0 2545 3 0 0 20 0 2 0 332143491 86466560 7442 33554432000 4194304 5964350 140735868267120 139947416381240 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 84440
[startup+51.1002 s]
/proc/loadavg: 2.04 2.01 1.98 3/179 6697
/proc/meminfo: memFree=26731716/32873648 swapFree=6860/6860
[pid=6695] ppid=6693 vsize=84816 CPUtime=51.08 cores=0,2,4,6
/proc/6695/stat : 6695 (wbo1.72) S 6693 6695 4467 0 -1 4202496 10732 0 0 0 5105 3 0 0 20 0 2 0 332143491 86851584 10642 33554432000 4194304 5964350 140735868267120 140735868266640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6695/statm: 21204 10642 195 433 0 20768 0
[pid=6695/tid=6697] ppid=6693 vsize=84816 CPUtime=51.07 cores=0,2,4,6
/proc/6695/task/6697/stat : 6697 (wbo1.72) R 6693 6695 4467 0 -1 4202560 9902 0 0 0 5103 4 0 0 20 0 2 0 332143491 86851584 10642 33554432000 4194304 5964350 140735868267120 139947416381480 4399846 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 84816
[startup+102.306 s]
/proc/loadavg: 2.01 2.01 1.98 3/179 6697
/proc/meminfo: memFree=26710048/32873648 swapFree=6860/6860
[pid=6695] ppid=6693 vsize=87432 CPUtime=102.27 cores=0,2,4,6
/proc/6695/stat : 6695 (wbo1.72) S 6693 6695 4467 0 -1 4202496 15823 0 0 0 10222 5 0 0 20 0 2 0 332143491 89530368 15727 33554432000 4194304 5964350 140735868267120 140735868266640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6695/statm: 21858 15727 195 433 0 21422 0
[pid=6695/tid=6697] ppid=6693 vsize=87432 CPUtime=102.28 cores=0,2,4,6
/proc/6695/task/6697/stat : 6697 (wbo1.72) R 6693 6695 4467 0 -1 4202560 14993 0 0 0 10221 7 0 0 20 0 2 0 332143491 89530368 15727 33554432000 4194304 5964350 140735868267120 139947416381240 4379231 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 87432
Solver just ended. Dumping a history of the last processes samples
[startup+127.9 s]
/proc/loadavg: 2.01 2.00 1.98 3/179 6697
/proc/meminfo: memFree=26697152/32873648 swapFree=6860/6860
[pid=6695] ppid=6693 vsize=155344 CPUtime=127.86 cores=0,2,4,6
/proc/6695/stat : 6695 (wbo1.72) S 6693 6695 4467 0 -1 4202496 19116 0 0 0 12779 7 0 0 20 0 2 0 332143491 159072256 19017 33554432000 4194304 5964350 140735868267120 140735868266640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6695/statm: 38836 19017 195 433 0 38400 0
[pid=6695/tid=6697] ppid=6693 vsize=155344 CPUtime=127.88 cores=0,2,4,6
/proc/6695/task/6697/stat : 6697 (wbo1.72) R 6693 6695 4467 0 -1 4202560 18286 0 0 0 12779 9 0 0 20 0 2 0 332143491 159072256 19017 33554432000 4194304 5964350 140735868267120 139947416381432 4399938 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 127.86
Current children cumulated vsize (KiB) 155344
[startup+134.3 s]
/proc/loadavg: 2.01 2.00 1.98 3/178 6697
/proc/meminfo: memFree=26695424/32873648 swapFree=6860/6860
[pid=6695] ppid=6693 vsize=155884 CPUtime=134.26 cores=0,2,4,6
/proc/6695/stat : 6695 (wbo1.72) S 6693 6695 4467 0 -1 4202496 19461 0 0 0 13419 7 0 0 20 0 2 0 332143491 159625216 19362 33554432000 4194304 5964350 140735868267120 140735868266640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6695/statm: 38971 19362 195 433 0 38535 0
[pid=6695/tid=6697] ppid=6693 vsize=155884 CPUtime=134.27 cores=0,2,4,6
/proc/6695/task/6697/stat : 6697 (wbo1.72) R 6693 6695 4467 0 -1 4202560 18631 0 0 0 13417 10 0 0 20 0 2 0 332143491 159625216 19362 33554432000 4194304 5964350 140735868267120 139947416381240 4400026 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 134.26
Current children cumulated vsize (KiB) 155884
[startup+140.7 s]
/proc/loadavg: 2.01 2.00 1.98 3/179 6698
/proc/meminfo: memFree=26695044/32873648 swapFree=6860/6860
[pid=6695] ppid=6693 vsize=156316 CPUtime=140.67 cores=0,2,4,6
/proc/6695/stat : 6695 (wbo1.72) S 6693 6695 4467 0 -1 4202496 19576 0 0 0 14060 7 0 0 20 0 2 0 332143491 160067584 19477 33554432000 4194304 5964350 140735868267120 140735868266640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6695/statm: 39079 19477 195 433 0 38643 0
[pid=6695/tid=6697] ppid=6693 vsize=156316 CPUtime=140.68 cores=0,2,4,6
/proc/6695/task/6697/stat : 6697 (wbo1.72) R 6693 6695 4467 0 -1 4202560 18746 0 0 0 14058 10 0 0 20 0 2 0 332143491 160067584 19477 33554432000 4194304 5964350 140735868267120 139947416381240 4399987 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 140.67
Current children cumulated vsize (KiB) 156316
[startup+143.9 s]
/proc/loadavg: 2.01 2.00 1.98 3/179 6698
/proc/meminfo: memFree=26693556/32873648 swapFree=6860/6860
[pid=6695] ppid=6693 vsize=156424 CPUtime=143.86 cores=0,2,4,6
/proc/6695/stat : 6695 (wbo1.72) S 6693 6695 4467 0 -1 4202496 22915 0 0 0 14378 8 0 0 20 0 2 0 332143491 160178176 22816 33554432000 4194304 5964350 140735868267120 140735868266640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6695/statm: 39106 22816 195 433 0 38670 0
[pid=6695/tid=6697] ppid=6693 vsize=156424 CPUtime=143.87 cores=0,2,4,6
/proc/6695/task/6697/stat : 6697 (wbo1.72) R 6693 6695 4467 0 -1 4202560 22085 0 0 0 14376 11 0 0 20 0 2 0 332143491 160178176 22816 33554432000 4194304 5964350 140735868267120 139947416381432 5136340 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 143.86
Current children cumulated vsize (KiB) 156424
[startup+144.7 s]
/proc/loadavg: 2.01 2.00 1.98 3/179 6698
/proc/meminfo: memFree=26680784/32873648 swapFree=6860/6860
[pid=6695] ppid=6693 vsize=156424 CPUtime=144.66 cores=0,2,4,6
/proc/6695/stat : 6695 (wbo1.72) S 6693 6695 4467 0 -1 4202496 24189 0 0 0 14457 9 0 0 20 0 2 0 332143491 160178176 24090 33554432000 4194304 5964350 140735868267120 140735868266640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6695/statm: 39106 24090 195 433 0 38670 0
[pid=6695/tid=6697] ppid=6693 vsize=156424 CPUtime=144.68 cores=0,2,4,6
/proc/6695/task/6697/stat : 6697 (wbo1.72) R 6693 6695 4467 0 -1 4202560 23359 0 0 0 14456 12 0 0 20 0 2 0 332143491 160178176 24090 33554432000 4194304 5964350 140735868267120 139947416381432 4398312 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 144.66
Current children cumulated vsize (KiB) 156424
[startup+145.5 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 6698
/proc/meminfo: memFree=26676568/32873648 swapFree=6860/6860
[pid=6695] ppid=6693 vsize=156424 CPUtime=145.46 cores=0,2,4,6
/proc/6695/stat : 6695 (wbo1.72) S 6693 6695 4467 0 -1 4202496 24193 0 0 0 14537 9 0 0 20 0 2 0 332143491 160178176 24094 33554432000 4194304 5964350 140735868267120 140735868266640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6695/statm: 39106 24094 195 433 0 38670 0
[pid=6695/tid=6697] ppid=6693 vsize=156424 CPUtime=145.48 cores=0,2,4,6
/proc/6695/task/6697/stat : 6697 (wbo1.72) R 6693 6695 4467 0 -1 4202560 23363 0 0 0 14536 12 0 0 20 0 2 0 332143491 160178176 24094 33554432000 4194304 5964350 140735868267120 139947416381784 4398312 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 145.46
Current children cumulated vsize (KiB) 156424
[startup+145.9 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 6698
/proc/meminfo: memFree=26676568/32873648 swapFree=6860/6860
[pid=6695] ppid=6693 vsize=156424 CPUtime=145.86 cores=0,2,4,6
/proc/6695/stat : 6695 (wbo1.72) S 6693 6695 4467 0 -1 4202496 24233 0 0 0 14577 9 0 0 20 0 2 0 332143491 160178176 24134 33554432000 4194304 5964350 140735868267120 140735868266640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6695/statm: 39106 24134 195 433 0 38670 0
[pid=6695/tid=6697] ppid=6693 vsize=156424 CPUtime=145.88 cores=0,2,4,6
/proc/6695/task/6697/stat : 6697 (wbo1.72) R 6693 6695 4467 0 -1 4202560 23403 0 0 0 14576 12 0 0 20 0 2 0 332143491 160178176 24134 33554432000 4194304 5964350 140735868267120 139947416381784 5130914 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 145.86
Current children cumulated vsize (KiB) 156424
[startup+146 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 6698
/proc/meminfo: memFree=26676568/32873648 swapFree=6860/6860
[pid=6695] ppid=6693 vsize=156424 CPUtime=145.96 cores=0,2,4,6
/proc/6695/stat : 6695 (wbo1.72) S 6693 6695 4467 0 -1 4202496 24233 0 0 0 14587 9 0 0 20 0 2 0 332143491 160178176 24134 33554432000 4194304 5964350 140735868267120 140735868266640 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6695/statm: 39106 24134 195 433 0 38670 0
[pid=6695/tid=6697] ppid=6693 vsize=156424 CPUtime=145.98 cores=0,2,4,6
/proc/6695/task/6697/stat : 6697 (wbo1.72) R 6693 6695 4467 0 -1 4202560 23403 0 0 0 14586 12 0 0 20 0 2 0 332143491 160178176 24134 33554432000 4194304 5964350 140735868267120 139947416381784 5122344 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 145.96
Current children cumulated vsize (KiB) 156424
Child status: 255
Real time (s): 146.1
CPU time (s): 146.101
CPU user time (s): 145.964
CPU system time (s): 0.136979
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 156424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 145.964
system time used= 0.136979
maximum resident set size= 96536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24236
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= 219
runsolver used 0.267959 second user time and 0.695894 second system time
The end