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-3726020-1338655931/watcher-3726020-1338655931 -o /tmp/evaluation-result-3726020-1338655931/solver-3726020-1338655931 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 HOME/instance-3726020-1338655931.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: 3.91 3.98 3.94 4/178 27033
/proc/meminfo: memFree=31345004/32873844 swapFree=7116/7116
[pid=27033] ppid=27031 vsize=162380 CPUtime=0 cores=1,3,5,7
/proc/27033/stat : 27033 (pwbo2.02) S 27031 27033 24826 0 -1 4202496 825 0 0 0 0 0 0 0 20 0 3 0 331720071 166277120 773 33554432000 4194304 5964478 140733820603328 140733820602848 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27033/statm: 40595 773 198 433 0 40159 0
[pid=27033/tid=27034] ppid=27031 vsize=162380 CPUtime=0 cores=1,3,5,7
/proc/27033/task/27034/stat : 27034 (pwbo2.02) R 27031 27033 24826 0 -1 4202560 35 0 0 0 0 0 0 0 20 0 3 0 331720071 166277120 773 33554432000 4194304 5964478 140733820603328 140736838414360 5136490 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27033/tid=27035] ppid=27031 vsize=162380 CPUtime=0 cores=1,3,5,7
/proc/27033/task/27035/stat : 27035 (pwbo2.02) R 27031 27033 24826 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 3 0 331720071 166277120 773 33554432000 4194304 5964478 140733820603328 140736838414360 5136490 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[startup+0.036406 s]
/proc/loadavg: 3.91 3.98 3.94 4/178 27033
/proc/meminfo: memFree=31345004/32873844 swapFree=7116/7116
[pid=27033] ppid=27031 vsize=162380 CPUtime=0.06 cores=1,3,5,7
/proc/27033/stat : 27033 (pwbo2.02) S 27031 27033 24826 0 -1 4202496 990 0 0 0 6 0 0 0 20 0 3 0 331720071 166277120 938 33554432000 4194304 5964478 140733820603328 140733820602848 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27033/statm: 40595 938 200 433 0 40159 0
[pid=27033/tid=27034] ppid=27031 vsize=162380 CPUtime=0.02 cores=1,3,5,7
/proc/27033/task/27034/stat : 27034 (pwbo2.02) R 27031 27033 24826 0 -1 4202560 130 0 0 0 2 0 0 0 20 0 3 0 331720071 166277120 939 33554432000 4194304 5964478 140733820603328 140736838414360 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27033/tid=27035] ppid=27031 vsize=162380 CPUtime=0.02 cores=1,3,5,7
/proc/27033/task/27035/stat : 27035 (pwbo2.02) R 27031 27033 24826 0 -1 4202560 119 0 0 0 2 0 0 0 20 0 3 0 331720071 166277120 939 33554432000 4194304 5964478 140733820603328 140736838414360 5136420 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 162380
[startup+0.100329 s]
/proc/loadavg: 3.91 3.98 3.94 4/178 27033
/proc/meminfo: memFree=31345004/32873844 swapFree=7116/7116
[pid=27033] ppid=27031 vsize=162380 CPUtime=0.18 cores=1,3,5,7
/proc/27033/stat : 27033 (pwbo2.02) S 27031 27033 24826 0 -1 4202496 1255 0 0 0 18 0 0 0 20 0 3 0 331720071 166277120 1203 33554432000 4194304 5964478 140733820603328 140733820602848 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27033/statm: 40595 1203 200 433 0 40159 0
[pid=27033/tid=27034] ppid=27031 vsize=162380 CPUtime=0.08 cores=1,3,5,7
/proc/27033/task/27034/stat : 27034 (pwbo2.02) R 27031 27033 24826 0 -1 4202560 293 0 0 0 8 0 0 0 20 0 3 0 331720071 166277120 1204 33554432000 4194304 5964478 140733820603328 140393536112632 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27033/tid=27035] ppid=27031 vsize=162380 CPUtime=0.08 cores=1,3,5,7
/proc/27033/task/27035/stat : 27035 (pwbo2.02) R 27031 27033 24826 0 -1 4202560 221 0 0 0 8 0 0 0 20 0 3 0 331720071 166277120 1204 33554432000 4194304 5964478 140733820603328 140736838414360 4400087 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 162380
[startup+0.300288 s]
/proc/loadavg: 3.91 3.98 3.94 4/178 27033
/proc/meminfo: memFree=31345004/32873844 swapFree=7116/7116
[pid=27033] ppid=27031 vsize=162380 CPUtime=0.58 cores=1,3,5,7
/proc/27033/stat : 27033 (pwbo2.02) S 27031 27033 24826 0 -1 4202496 1796 0 0 0 58 0 0 0 20 0 3 0 331720071 166277120 1744 33554432000 4194304 5964478 140733820603328 140733820602848 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27033/statm: 40595 1744 200 433 0 40159 0
[pid=27033/tid=27034] ppid=27031 vsize=162380 CPUtime=0.28 cores=1,3,5,7
/proc/27033/task/27034/stat : 27034 (pwbo2.02) R 27031 27033 24826 0 -1 4202560 655 0 0 0 28 0 0 0 20 0 3 0 331720071 166277120 1744 33554432000 4194304 5964478 140733820603328 140393536112632 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27033/tid=27035] ppid=27031 vsize=162380 CPUtime=0.28 cores=1,3,5,7
/proc/27033/task/27035/stat : 27035 (pwbo2.02) R 27031 27033 24826 0 -1 4202560 399 0 0 0 28 0 0 0 20 0 3 0 331720071 166277120 1744 33554432000 4194304 5964478 140733820603328 140393525622904 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 162380
[startup+0.700297 s]
/proc/loadavg: 3.91 3.98 3.94 4/178 27033
/proc/meminfo: memFree=31345004/32873844 swapFree=7116/7116
[pid=27033] ppid=27031 vsize=162520 CPUtime=1.38 cores=1,3,5,7
/proc/27033/stat : 27033 (pwbo2.02) S 27031 27033 24826 0 -1 4202496 2583 0 0 0 138 0 0 0 20 0 3 0 331720071 166420480 2531 33554432000 4194304 5964478 140733820603328 140733820602848 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27033/statm: 40630 2531 200 433 0 40194 0
[pid=27033/tid=27034] ppid=27031 vsize=162520 CPUtime=0.68 cores=1,3,5,7
/proc/27033/task/27034/stat : 27034 (pwbo2.02) R 27031 27033 24826 0 -1 4202560 1119 0 0 0 68 0 0 0 20 0 3 0 331720071 166420480 2531 33554432000 4194304 5964478 140733820603328 140393536112632 4400091 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27033/tid=27035] ppid=27031 vsize=162520 CPUtime=0.68 cores=1,3,5,7
/proc/27033/task/27035/stat : 27035 (pwbo2.02) R 27031 27033 24826 0 -1 4202560 722 0 0 0 68 0 0 0 20 0 3 0 331720071 166420480 2531 33554432000 4194304 5964478 140733820603328 140393525622904 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 162520
[startup+1.5003 s]
/proc/loadavg: 3.91 3.98 3.94 5/181 27036
/proc/meminfo: memFree=31333696/32873844 swapFree=7116/7116
[pid=27033] ppid=27031 vsize=162664 CPUtime=2.98 cores=1,3,5,7
/proc/27033/stat : 27033 (pwbo2.02) S 27031 27033 24826 0 -1 4202496 3113 0 0 0 298 0 0 0 20 0 3 0 331720071 166567936 3035 33554432000 4194304 5964478 140733820603328 140733820602848 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27033/statm: 40666 3035 200 433 0 40230 0
[pid=27033/tid=27034] ppid=27031 vsize=162664 CPUtime=1.48 cores=1,3,5,7
/proc/27033/task/27034/stat : 27034 (pwbo2.02) R 27031 27033 24826 0 -1 4202560 1324 0 0 0 148 0 0 0 20 0 3 0 331720071 166567936 3035 33554432000 4194304 5964478 140733820603328 140393536113592 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27033/tid=27035] ppid=27031 vsize=162664 CPUtime=1.48 cores=1,3,5,7
/proc/27033/task/27035/stat : 27035 (pwbo2.02) R 27031 27033 24826 0 -1 4202560 1047 0 0 0 148 0 0 0 20 0 3 0 331720071 166567936 3035 33554432000 4194304 5964478 140733820603328 140393525622904 4400508 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 162664
Solver just ended. Dumping a history of the last processes samples
[startup+1.90031 s]
/proc/loadavg: 3.91 3.98 3.94 5/181 27036
/proc/meminfo: memFree=31333696/32873844 swapFree=7116/7116
[pid=27033] ppid=27031 vsize=162664 CPUtime=3.78 cores=1,3,5,7
/proc/27033/stat : 27033 (pwbo2.02) S 27031 27033 24826 0 -1 4202496 3270 0 0 0 378 0 0 0 20 0 3 0 331720071 166567936 3192 33554432000 4194304 5964478 140733820603328 140733820602848 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27033/statm: 40666 3192 200 433 0 40230 0
[pid=27033/tid=27034] ppid=27031 vsize=162664 CPUtime=1.88 cores=1,3,5,7
/proc/27033/task/27034/stat : 27034 (pwbo2.02) R 27031 27033 24826 0 -1 4202560 1462 0 0 0 188 0 0 0 20 0 3 0 331720071 166567936 3192 33554432000 4194304 5964478 140733820603328 140393536113592 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27033/tid=27035] ppid=27031 vsize=162664 CPUtime=1.88 cores=1,3,5,7
/proc/27033/task/27035/stat : 27035 (pwbo2.02) R 27031 27033 24826 0 -1 4202560 1066 0 0 0 188 0 0 0 20 0 3 0 331720071 166567936 3192 33554432000 4194304 5964478 140733820603328 140393525622904 4400010 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.78
Current children cumulated vsize (KiB) 162664
[startup+2.10033 s]
/proc/loadavg: 3.91 3.98 3.94 5/181 27036
/proc/meminfo: memFree=31331464/32873844 swapFree=7116/7116
[pid=27033] ppid=27031 vsize=162848 CPUtime=4.2 cores=1,3,5,7
/proc/27033/stat : 27033 (pwbo2.02) S 27031 27033 24826 0 -1 4202496 3468 0 0 0 419 1 0 0 20 0 3 0 331720071 166756352 3390 33554432000 4194304 5964478 140733820603328 140733820602848 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27033/statm: 40712 3390 200 433 0 40276 0
[pid=27033/tid=27034] ppid=27031 vsize=162848 CPUtime=2.09 cores=1,3,5,7
/proc/27033/task/27034/stat : 27034 (pwbo2.02) R 27031 27033 24826 0 -1 4202560 1591 0 0 0 209 0 0 0 20 0 3 0 331720071 166756352 3390 33554432000 4194304 5964478 140733820603328 140393536112680 4400115 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27033/tid=27035] ppid=27031 vsize=162848 CPUtime=2.09 cores=1,3,5,7
/proc/27033/task/27035/stat : 27035 (pwbo2.02) R 27031 27033 24826 0 -1 4202560 1135 0 0 0 209 0 0 0 20 0 3 0 331720071 166756352 3390 33554432000 4194304 5964478 140733820603328 140393525622904 4379248 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.2
Current children cumulated vsize (KiB) 162848
[startup+2.2069 s]
/proc/loadavg: 3.91 3.98 3.94 5/181 27036
/proc/meminfo: memFree=31331464/32873844 swapFree=7116/7116
[pid=27033] ppid=27031 vsize=162848 CPUtime=4.4 cores=1,3,5,7
/proc/27033/stat : 27033 (pwbo2.02) S 27031 27033 24826 0 -1 4202496 3492 0 0 0 439 1 0 0 20 0 3 0 331720071 166756352 3414 33554432000 4194304 5964478 140733820603328 140733820602848 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27033/statm: 40712 3414 200 433 0 40276 0
[pid=27033/tid=27034] ppid=27031 vsize=162848 CPUtime=2.19 cores=1,3,5,7
/proc/27033/task/27034/stat : 27034 (pwbo2.02) R 27031 27033 24826 0 -1 4202560 1615 0 0 0 219 0 0 0 20 0 3 0 331720071 166756352 3414 33554432000 4194304 5964478 140733820603328 140393536112680 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27033/tid=27035] ppid=27031 vsize=162848 CPUtime=2.19 cores=1,3,5,7
/proc/27033/task/27035/stat : 27035 (pwbo2.02) R 27031 27033 24826 0 -1 4202560 1135 0 0 0 219 0 0 0 20 0 3 0 331720071 166756352 3414 33554432000 4194304 5964478 140733820603328 140393525622904 4400067 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.4
Current children cumulated vsize (KiB) 162848
Child status: 255
Real time (s): 2.24963
CPU time (s): 4.50231
CPU user time (s): 4.48232
CPU system time (s): 0.019996
CPU usage (%): 200.136
Max. virtual memory (cumulated for all children) (KiB): 162848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.48232
system time used= 0.019996
maximum resident set size= 13692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3501
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= 7
runsolver used 0.006998 second user time and 0.014997 second system time
The end