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-3726670-1338660654/watcher-3726670-1338660654 -o /tmp/evaluation-result-3726670-1338660654/solver-3726670-1338660654 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3726670-1338660654.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.00 2.00 2.00 3/177 27892
/proc/meminfo: memFree=27637204/32873648 swapFree=7112/7112
[pid=27892] ppid=27890 vsize=10380 CPUtime=0 cores=0,2,4,6
/proc/27892/stat : 27892 (pwbo2.02) R 27890 27892 25232 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 332191370 10629120 278 33554432000 4194304 5964478 140734917475888 140735088498120 5136490 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/27892/statm: 2595 279 175 433 0 349 0
[startup+0.0769139 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27892
/proc/meminfo: memFree=27637204/32873648 swapFree=7112/7112
[pid=27892] ppid=27890 vsize=13864 CPUtime=0.07 cores=0,2,4,6
/proc/27892/stat : 27892 (pwbo2.02) R 27890 27892 25232 0 -1 4202496 1416 0 0 0 7 0 0 0 20 0 1 0 332191370 14196736 1369 33554432000 4194304 5964478 140734917475888 140735088498120 5136490 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/27892/statm: 3466 1370 439 433 0 1220 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13864
[startup+0.100182 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27892
/proc/meminfo: memFree=27637204/32873648 swapFree=7112/7112
[pid=27892] ppid=27890 vsize=14996 CPUtime=0.09 cores=0,2,4,6
/proc/27892/stat : 27892 (pwbo2.02) R 27890 27892 25232 0 -1 4202496 1811 0 0 0 9 0 0 0 20 0 1 0 332191370 15355904 1731 33554432000 4194304 5964478 140734917475888 140735088498120 4344643 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/27892/statm: 3749 1731 530 433 0 1503 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14996
[startup+0.30014 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27892
/proc/meminfo: memFree=27637204/32873648 swapFree=7112/7112
[pid=27892] ppid=27890 vsize=23972 CPUtime=0.29 cores=0,2,4,6
/proc/27892/stat : 27892 (pwbo2.02) R 27890 27892 25232 0 -1 4202496 4821 0 0 0 29 0 0 0 20 0 1 0 332191370 24547328 4676 33554432000 4194304 5964478 140734917475888 140735088498120 5136490 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/27892/statm: 5993 4677 1281 433 0 3747 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23972
[startup+0.700181 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27892
/proc/meminfo: memFree=27637204/32873648 swapFree=7112/7112
[pid=27892] ppid=27890 vsize=105556 CPUtime=0.68 cores=0,2,4,6
/proc/27892/stat : 27892 (pwbo2.02) S 27890 27892 25232 0 -1 4202496 14935 0 0 0 67 1 0 0 20 0 2 0 332191370 108089344 12505 33554432000 4194304 5964478 140734917475888 140734917475408 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27892/statm: 26389 12505 185 433 0 25953 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 105556
[startup+1.50019 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 27894
/proc/meminfo: memFree=27551228/32873648 swapFree=7112/7112
[pid=27892] ppid=27890 vsize=105556 CPUtime=1.49 cores=0,2,4,6
/proc/27892/stat : 27892 (pwbo2.02) S 27890 27892 25232 0 -1 4202496 15324 0 0 0 147 2 0 0 20 0 2 0 332191370 108089344 12894 33554432000 4194304 5964478 140734917475888 140734917475408 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27892/statm: 26389 12894 186 433 0 25953 0
[pid=27892/tid=27894] ppid=27890 vsize=105556 CPUtime=0.99 cores=0,2,4,6
/proc/27892/task/27894/stat : 27894 (pwbo2.02) R 27890 27892 25232 0 -1 4202560 7240 0 0 0 99 0 0 0 20 0 2 0 332191419 108089344 12894 33554432000 4194304 5964478 140734917475888 140059574224696 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 105556
[startup+3.10028 s]
/proc/loadavg: 2.08 2.02 2.01 3/178 27894
/proc/meminfo: memFree=27509808/32873648 swapFree=7112/7112
[pid=27892] ppid=27890 vsize=105556 CPUtime=3.09 cores=0,2,4,6
/proc/27892/stat : 27892 (pwbo2.02) S 27890 27892 25232 0 -1 4202496 15897 0 0 0 307 2 0 0 20 0 2 0 332191370 108089344 13467 33554432000 4194304 5964478 140734917475888 140734917475408 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27892/statm: 26389 13467 186 433 0 25953 0
[pid=27892/tid=27894] ppid=27890 vsize=105556 CPUtime=2.59 cores=0,2,4,6
/proc/27892/task/27894/stat : 27894 (pwbo2.02) R 27890 27892 25232 0 -1 4202560 7813 0 0 0 258 1 0 0 20 0 2 0 332191419 108089344 13467 33554432000 4194304 5964478 140734917475888 140059574224696 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 105556
[startup+6.30032 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 27895
/proc/meminfo: memFree=27351356/32873648 swapFree=7112/7112
[pid=27892] ppid=27890 vsize=105556 CPUtime=6.29 cores=0,2,4,6
/proc/27892/stat : 27892 (pwbo2.02) S 27890 27892 25232 0 -1 4202496 16815 0 0 0 627 2 0 0 20 0 2 0 332191370 108089344 14385 33554432000 4194304 5964478 140734917475888 140734917475408 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27892/statm: 26389 14385 186 433 0 25953 0
[pid=27892/tid=27894] ppid=27890 vsize=105556 CPUtime=5.79 cores=0,2,4,6
/proc/27892/task/27894/stat : 27894 (pwbo2.02) R 27890 27892 25232 0 -1 4202560 8731 0 0 0 578 1 0 0 20 0 2 0 332191419 108089344 14385 33554432000 4194304 5964478 140734917475888 140059574224936 4400087 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 105556
[startup+12.7003 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 27896
/proc/meminfo: memFree=27104572/32873648 swapFree=7112/7112
[pid=27892] ppid=27890 vsize=105556 CPUtime=12.68 cores=0,2,4,6
/proc/27892/stat : 27892 (pwbo2.02) S 27890 27892 25232 0 -1 4202496 18907 0 0 0 1266 2 0 0 20 0 2 0 332191370 108089344 16477 33554432000 4194304 5964478 140734917475888 140734917475408 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27892/statm: 26389 16477 186 433 0 25953 0
[pid=27892/tid=27894] ppid=27890 vsize=105556 CPUtime=12.2 cores=0,2,4,6
/proc/27892/task/27894/stat : 27894 (pwbo2.02) R 27890 27892 25232 0 -1 4202560 10823 0 0 0 1218 2 0 0 20 0 2 0 332191419 108089344 16477 33554432000 4194304 5964478 140734917475888 140059574224696 5136420 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 105556
[startup+25.5003 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 27896
/proc/meminfo: memFree=27091436/32873648 swapFree=7112/7112
[pid=27892] ppid=27890 vsize=105556 CPUtime=25.48 cores=0,2,4,6
/proc/27892/stat : 27892 (pwbo2.02) S 27890 27892 25232 0 -1 4202496 22207 0 0 0 2544 4 0 0 20 0 2 0 332191370 108089344 19777 33554432000 4194304 5964478 140734917475888 140734917475408 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27892/statm: 26389 19777 186 433 0 25953 0
[pid=27892/tid=27894] ppid=27890 vsize=105556 CPUtime=25 cores=0,2,4,6
/proc/27892/task/27894/stat : 27894 (pwbo2.02) R 27890 27892 25232 0 -1 4202560 14123 0 0 0 2496 4 0 0 20 0 2 0 332191419 108089344 19777 33554432000 4194304 5964478 140734917475888 140059574224936 4400784 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 105556
[startup+51.1002 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 27896
/proc/meminfo: memFree=27065720/32873648 swapFree=7112/7112
[pid=27892] ppid=27890 vsize=171092 CPUtime=51.08 cores=0,2,4,6
/proc/27892/stat : 27892 (pwbo2.02) S 27890 27892 25232 0 -1 4202496 28740 0 0 0 5100 8 0 0 20 0 2 0 332191370 175198208 26310 33554432000 4194304 5964478 140734917475888 140734917475408 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27892/statm: 42773 26310 186 433 0 42337 0
[pid=27892/tid=27894] ppid=27890 vsize=171092 CPUtime=50.6 cores=0,2,4,6
/proc/27892/task/27894/stat : 27894 (pwbo2.02) R 27890 27892 25232 0 -1 4202560 20656 0 0 0 5052 8 0 0 20 0 2 0 332191419 175198208 26310 33554432000 4194304 5964478 140734917475888 140059574224696 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 171092
[startup+102.306 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 27896
/proc/meminfo: memFree=27019264/32873648 swapFree=7112/7112
[pid=27892] ppid=27890 vsize=173524 CPUtime=102.28 cores=0,2,4,6
/proc/27892/stat : 27892 (pwbo2.02) S 27890 27892 25232 0 -1 4202496 38774 0 0 0 10214 14 0 0 20 0 2 0 332191370 177688576 36344 33554432000 4194304 5964478 140734917475888 140734917475408 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27892/statm: 43381 36344 186 433 0 42945 0
[pid=27892/tid=27894] ppid=27890 vsize=173524 CPUtime=101.8 cores=0,2,4,6
/proc/27892/task/27894/stat : 27894 (pwbo2.02) R 27890 27892 25232 0 -1 4202560 30690 0 0 0 10165 15 0 0 20 0 2 0 332191419 177688576 36344 33554432000 4194304 5964478 140734917475888 140059574224936 4400091 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 173524
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27896
/proc/meminfo: memFree=27007992/32873648 swapFree=7112/7112
[pid=27892] ppid=27890 vsize=173524 CPUtime=162.26 cores=0,2,4,6
/proc/27892/stat : 27892 (pwbo2.02) S 27890 27892 25232 0 -1 4202496 39403 0 0 0 16212 14 0 0 20 0 2 0 332191370 177688576 36973 33554432000 4194304 5964478 140734917475888 140734917475408 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27892/statm: 43381 36973 186 433 0 42945 0
[pid=27892/tid=27894] ppid=27890 vsize=173524 CPUtime=161.8 cores=0,2,4,6
/proc/27892/task/27894/stat : 27894 (pwbo2.02) R 27890 27892 25232 0 -1 4202560 31319 0 0 0 16164 16 0 0 20 0 2 0 332191419 177688576 36973 33554432000 4194304 5964478 140734917475888 140059574224888 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 173524
Solver just ended. Dumping a history of the last processes samples
[startup+166.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27896
/proc/meminfo: memFree=27005140/32873648 swapFree=7112/7112
[pid=27892] ppid=27890 vsize=173524 CPUtime=166.27 cores=0,2,4,6
/proc/27892/stat : 27892 (pwbo2.02) S 27890 27892 25232 0 -1 4202496 39841 0 0 0 16612 15 0 0 20 0 2 0 332191370 177688576 37411 33554432000 4194304 5964478 140734917475888 140734917475408 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27892/statm: 43381 37411 186 433 0 42945 0
[pid=27892/tid=27894] ppid=27890 vsize=173524 CPUtime=165.8 cores=0,2,4,6
/proc/27892/task/27894/stat : 27894 (pwbo2.02) R 27890 27892 25232 0 -1 4202560 31757 0 0 0 16564 16 0 0 20 0 2 0 332191419 177688576 37411 33554432000 4194304 5964478 140734917475888 140059574224888 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 166.27
Current children cumulated vsize (KiB) 173524
[startup+169.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27896
/proc/meminfo: memFree=27002908/32873648 swapFree=7112/7112
[pid=27892] ppid=27890 vsize=173524 CPUtime=169.46 cores=0,2,4,6
/proc/27892/stat : 27892 (pwbo2.02) S 27890 27892 25232 0 -1 4202496 40233 0 0 0 16931 15 0 0 20 0 2 0 332191370 177688576 37803 33554432000 4194304 5964478 140734917475888 140734917475408 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27892/statm: 43381 37803 186 433 0 42945 0
[pid=27892/tid=27894] ppid=27890 vsize=173524 CPUtime=169 cores=0,2,4,6
/proc/27892/task/27894/stat : 27894 (pwbo2.02) R 27890 27892 25232 0 -1 4202560 32149 0 0 0 16883 17 0 0 20 0 2 0 332191419 177688576 37803 33554432000 4194304 5964478 140734917475888 140059574224696 4399920 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 169.46
Current children cumulated vsize (KiB) 173524
[startup+171.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27896
/proc/meminfo: memFree=27002784/32873648 swapFree=7112/7112
[pid=27892] ppid=27890 vsize=173524 CPUtime=171.06 cores=0,2,4,6
/proc/27892/stat : 27892 (pwbo2.02) S 27890 27892 25232 0 -1 4202496 40298 0 0 0 17091 15 0 0 20 0 2 0 332191370 177688576 37868 33554432000 4194304 5964478 140734917475888 140734917475408 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27892/statm: 43381 37868 186 433 0 42945 0
[pid=27892/tid=27894] ppid=27890 vsize=173524 CPUtime=170.6 cores=0,2,4,6
/proc/27892/task/27894/stat : 27894 (pwbo2.02) R 27890 27892 25232 0 -1 4202560 32214 0 0 0 17043 17 0 0 20 0 2 0 332191419 177688576 37868 33554432000 4194304 5964478 140734917475888 140059574224888 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 171.06
Current children cumulated vsize (KiB) 173524
[startup+171.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27896
/proc/meminfo: memFree=26999360/32873648 swapFree=7112/7112
[pid=27892] ppid=27890 vsize=173524 CPUtime=171.47 cores=0,2,4,6
/proc/27892/stat : 27892 (pwbo2.02) S 27890 27892 25232 0 -1 4202496 40339 0 0 0 17132 15 0 0 20 0 2 0 332191370 177688576 37909 33554432000 4194304 5964478 140734917475888 140734917475408 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27892/statm: 43381 37909 186 433 0 42945 0
[pid=27892/tid=27894] ppid=27890 vsize=173524 CPUtime=171.01 cores=0,2,4,6
/proc/27892/task/27894/stat : 27894 (pwbo2.02) R 27890 27892 25232 0 -1 4202560 32255 0 0 0 17084 17 0 0 20 0 2 0 332191419 177688576 37909 33554432000 4194304 5964478 140734917475888 140059574224888 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 171.47
Current children cumulated vsize (KiB) 173524
[startup+171.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27896
/proc/meminfo: memFree=26999360/32873648 swapFree=7112/7112
[pid=27892] ppid=27890 vsize=173524 CPUtime=171.66 cores=0,2,4,6
/proc/27892/stat : 27892 (pwbo2.02) S 27890 27892 25232 0 -1 4202496 40356 0 0 0 17151 15 0 0 20 0 2 0 332191370 177688576 37926 33554432000 4194304 5964478 140734917475888 140734917475408 4546685 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/27892/statm: 43381 37926 186 433 0 42945 0
[pid=27892/tid=27894] ppid=27890 vsize=173524 CPUtime=171.2 cores=0,2,4,6
/proc/27892/task/27894/stat : 27894 (pwbo2.02) R 27890 27892 25232 0 -1 4202560 32272 0 0 0 17103 17 0 0 20 0 2 0 332191419 177688576 37926 33554432000 4194304 5964478 140734917475888 140059574224888 4399986 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 171.66
Current children cumulated vsize (KiB) 173524
Child status: 255
Real time (s): 171.714
CPU time (s): 171.714
CPU user time (s): 171.511
CPU system time (s): 0.202969
CPU usage (%): 99.9999
Max. virtual memory (cumulated for all children) (KiB): 173524
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 171.511
system time used= 0.202969
maximum resident set size= 151732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40363
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= 177
runsolver used 0.307953 second user time and 0.758884 second system time
The end