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-3704433-1338099710/watcher-3704433-1338099710 -o /tmp/evaluation-result-3704433-1338099710/solver-3704433-1338099710 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3704433-1338099710.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 8374
/proc/meminfo: memFree=28266424/32873844 swapFree=7620/7620
[pid=8374] ppid=8372 vsize=4652 CPUtime=0 cores=0,2,4,6
/proc/8374/stat : 8374 (pwbo2.0) R 8372 8374 6880 0 -1 4202496 571 0 0 0 0 0 0 0 20 0 1 0 276099585 4763648 524 33554432000 4194304 5965102 140736812681888 140735154357064 4396488 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/8374/statm: 1163 524 165 433 0 634 0
[startup+0.049387 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8374
/proc/meminfo: memFree=28266424/32873844 swapFree=7620/7620
[pid=8374] ppid=8372 vsize=85992 CPUtime=0.04 cores=0,2,4,6
/proc/8374/stat : 8374 (pwbo2.0) S 8372 8374 6880 0 -1 4202496 2362 0 0 0 4 0 0 0 20 0 2 0 276099585 88055808 2099 33554432000 4194304 5965102 140736812681888 140736812681408 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8374/statm: 21498 2099 188 433 0 21062 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 85992
[startup+0.100177 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8374
/proc/meminfo: memFree=28266424/32873844 swapFree=7620/7620
[pid=8374] ppid=8372 vsize=85992 CPUtime=0.09 cores=0,2,4,6
/proc/8374/stat : 8374 (pwbo2.0) S 8372 8374 6880 0 -1 4202496 2426 0 0 0 9 0 0 0 20 0 2 0 276099585 88055808 2163 33554432000 4194304 5965102 140736812681888 140736812681408 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8374/statm: 21498 2163 190 433 0 21062 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 85992
[startup+0.300115 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8374
/proc/meminfo: memFree=28266424/32873844 swapFree=7620/7620
[pid=8374] ppid=8372 vsize=85992 CPUtime=0.29 cores=0,2,4,6
/proc/8374/stat : 8374 (pwbo2.0) S 8372 8374 6880 0 -1 4202496 2640 0 0 0 29 0 0 0 20 0 2 0 276099585 88055808 2377 33554432000 4194304 5965102 140736812681888 140736812681408 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8374/statm: 21498 2377 190 433 0 21062 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 85992
[startup+0.700113 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 8374
/proc/meminfo: memFree=28266424/32873844 swapFree=7620/7620
[pid=8374] ppid=8372 vsize=85992 CPUtime=0.69 cores=0,2,4,6
/proc/8374/stat : 8374 (pwbo2.0) S 8372 8374 6880 0 -1 4202496 3049 0 0 0 69 0 0 0 20 0 2 0 276099585 88055808 2786 33554432000 4194304 5965102 140736812681888 140736812681408 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8374/statm: 21498 2786 190 433 0 21062 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 85992
[startup+1.50021 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8376
/proc/meminfo: memFree=28255108/32873844 swapFree=7620/7620
[pid=8374] ppid=8372 vsize=85992 CPUtime=1.48 cores=0,2,4,6
/proc/8374/stat : 8374 (pwbo2.0) S 8372 8374 6880 0 -1 4202496 3939 0 0 0 148 0 0 0 20 0 2 0 276099585 88055808 3676 33554432000 4194304 5965102 140736812681888 140736812681408 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8374/statm: 21498 3676 190 433 0 21062 0
[pid=8374/tid=8376] ppid=8372 vsize=85992 CPUtime=1.45 cores=0,2,4,6
/proc/8374/task/8376/stat : 8376 (pwbo2.0) R 8372 8374 6880 0 -1 4202560 2521 0 0 0 145 0 0 0 20 0 2 0 276099588 88055808 3676 33554432000 4194304 5965102 140736812681888 139836602152952 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 85992
[startup+3.10022 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8376
/proc/meminfo: memFree=28250024/32873844 swapFree=7620/7620
[pid=8374] ppid=8372 vsize=85992 CPUtime=3.08 cores=0,2,4,6
/proc/8374/stat : 8374 (pwbo2.0) S 8372 8374 6880 0 -1 4202496 4939 0 0 0 308 0 0 0 20 0 2 0 276099585 88055808 4676 33554432000 4194304 5965102 140736812681888 140736812681408 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8374/statm: 21498 4676 190 433 0 21062 0
[pid=8374/tid=8376] ppid=8372 vsize=85992 CPUtime=3.04 cores=0,2,4,6
/proc/8374/task/8376/stat : 8376 (pwbo2.0) R 8372 8374 6880 0 -1 4202560 3521 0 0 0 304 0 0 0 20 0 2 0 276099588 88055808 4676 33554432000 4194304 5965102 140736812681888 139836602152952 4404383 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) 85992
[startup+6.30023 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8376
/proc/meminfo: memFree=28245312/32873844 swapFree=7620/7620
[pid=8374] ppid=8372 vsize=85992 CPUtime=6.29 cores=0,2,4,6
/proc/8374/stat : 8374 (pwbo2.0) S 8372 8374 6880 0 -1 4202496 6625 0 0 0 628 1 0 0 20 0 2 0 276099585 88055808 6362 33554432000 4194304 5965102 140736812681888 140736812681408 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8374/statm: 21498 6362 190 433 0 21062 0
[pid=8374/tid=8376] ppid=8372 vsize=85992 CPUtime=6.23 cores=0,2,4,6
/proc/8374/task/8376/stat : 8376 (pwbo2.0) R 8372 8374 6880 0 -1 4202560 5207 0 0 0 623 0 0 0 20 0 2 0 276099588 88055808 6362 33554432000 4194304 5965102 140736812681888 139836602152952 4394588 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 85992
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8376
/proc/meminfo: memFree=28230068/32873844 swapFree=7620/7620
[pid=8374] ppid=8372 vsize=86208 CPUtime=12.69 cores=0,2,4,6
/proc/8374/stat : 8374 (pwbo2.0) S 8372 8374 6880 0 -1 4202496 9566 0 0 0 1267 2 0 0 20 0 2 0 276099585 88276992 9303 33554432000 4194304 5965102 140736812681888 140736812681408 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8374/statm: 21552 9303 190 433 0 21116 0
[pid=8374/tid=8376] ppid=8372 vsize=86208 CPUtime=12.62 cores=0,2,4,6
/proc/8374/task/8376/stat : 8376 (pwbo2.0) R 8372 8374 6880 0 -1 4202560 8148 0 0 0 1260 2 0 0 20 0 2 0 276099588 88276992 9303 33554432000 4194304 5965102 140736812681888 139836602152952 4401096 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) 86208
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8376
/proc/meminfo: memFree=28209980/32873844 swapFree=7620/7620
[pid=8374] ppid=8372 vsize=86316 CPUtime=25.48 cores=0,2,4,6
/proc/8374/stat : 8374 (pwbo2.0) S 8372 8374 6880 0 -1 4202496 14405 0 0 0 2544 4 0 0 20 0 2 0 276099585 88387584 14142 33554432000 4194304 5965102 140736812681888 140736812681408 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8374/statm: 21579 14142 190 433 0 21143 0
[pid=8374/tid=8376] ppid=8372 vsize=86316 CPUtime=25.38 cores=0,2,4,6
/proc/8374/task/8376/stat : 8376 (pwbo2.0) R 8372 8374 6880 0 -1 4202560 12987 0 0 0 2534 4 0 0 20 0 2 0 276099588 88387584 14142 33554432000 4194304 5965102 140736812681888 139836602152952 4401131 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 86316
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8376
/proc/meminfo: memFree=28191800/32873844 swapFree=7620/7620
[pid=8374] ppid=8372 vsize=86316 CPUtime=51.08 cores=0,2,4,6
/proc/8374/stat : 8374 (pwbo2.0) S 8372 8374 6880 0 -1 4202496 16817 0 0 0 5103 5 0 0 20 0 2 0 276099585 88387584 16554 33554432000 4194304 5965102 140736812681888 140736812681408 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8374/statm: 21579 16554 190 433 0 21143 0
[pid=8374/tid=8376] ppid=8372 vsize=86316 CPUtime=50.92 cores=0,2,4,6
/proc/8374/task/8376/stat : 8376 (pwbo2.0) R 8372 8374 6880 0 -1 4202560 15399 0 0 0 5088 4 0 0 20 0 2 0 276099588 88387584 16554 33554432000 4194304 5965102 140736812681888 139836602152952 4401475 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 86316
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8377
/proc/meminfo: memFree=28164100/32873844 swapFree=7620/7620
[pid=8374] ppid=8372 vsize=152012 CPUtime=102.27 cores=0,2,4,6
/proc/8374/stat : 8374 (pwbo2.0) S 8372 8374 6880 0 -1 4202496 21054 0 0 0 10220 7 0 0 20 0 2 0 276099585 155660288 20791 33554432000 4194304 5965102 140736812681888 140736812681408 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8374/statm: 38003 20791 190 433 0 37567 0
[pid=8374/tid=8376] ppid=8372 vsize=152012 CPUtime=101.99 cores=0,2,4,6
/proc/8374/task/8376/stat : 8376 (pwbo2.0) R 8372 8374 6880 0 -1 4202560 19636 0 0 0 10191 8 0 0 20 0 2 0 276099588 155660288 20791 33554432000 4194304 5965102 140736812681888 139836602152760 4382720 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 152012
[startup+162.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 8377
/proc/meminfo: memFree=28126384/32873844 swapFree=7620/7620
[pid=8374] ppid=8372 vsize=152012 CPUtime=162.25 cores=0,2,4,6
/proc/8374/stat : 8374 (pwbo2.0) S 8372 8374 6880 0 -1 4202496 29743 0 0 0 16213 12 0 0 20 0 2 0 276099585 155660288 29620 33554432000 4194304 5965102 140736812681888 140736812681408 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8374/statm: 38003 29620 190 433 0 37567 0
[pid=8374/tid=8376] ppid=8372 vsize=152012 CPUtime=161.82 cores=0,2,4,6
/proc/8374/task/8376/stat : 8376 (pwbo2.0) R 8372 8374 6880 0 -1 4202560 28325 0 0 0 16168 14 0 0 20 0 2 0 276099588 155660288 29620 33554432000 4194304 5965102 140736812681888 139836602152952 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 152012
[startup+222.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 8377
/proc/meminfo: memFree=28112776/32873844 swapFree=7620/7620
[pid=8374] ppid=8372 vsize=152252 CPUtime=222.22 cores=0,2,4,6
/proc/8374/stat : 8374 (pwbo2.0) S 8372 8374 6880 0 -1 4202496 30325 0 0 0 22209 13 0 0 20 0 2 0 276099585 155906048 30383 33554432000 4194304 5965102 140736812681888 140736812681408 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8374/statm: 38063 30383 190 433 0 37627 0
[pid=8374/tid=8376] ppid=8372 vsize=152252 CPUtime=221.63 cores=0,2,4,6
/proc/8374/task/8376/stat : 8376 (pwbo2.0) R 8372 8374 6880 0 -1 4202560 28907 0 0 0 22148 15 0 0 20 0 2 0 276099588 155906048 30383 33554432000 4194304 5965102 140736812681888 139836602152760 4401127 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 152252
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8377
/proc/meminfo: memFree=28089868/32873844 swapFree=7620/7620
[pid=8374] ppid=8372 vsize=152468 CPUtime=282.21 cores=0,2,4,6
/proc/8374/stat : 8374 (pwbo2.0) S 8372 8374 6880 0 -1 4202496 33308 0 0 0 28206 15 0 0 20 0 2 0 276099585 156127232 33870 33554432000 4194304 5965102 140736812681888 140736812681408 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8374/statm: 38117 33870 190 433 0 37681 0
[pid=8374/tid=8376] ppid=8372 vsize=152468 CPUtime=281.48 cores=0,2,4,6
/proc/8374/task/8376/stat : 8376 (pwbo2.0) R 8372 8374 6880 0 -1 4202560 31890 0 0 0 28130 18 0 0 20 0 2 0 276099588 156127232 33870 33554432000 4194304 5965102 140736812681888 139836602152760 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 152468
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8377
/proc/meminfo: memFree=28075608/32873844 swapFree=7620/7620
[pid=8374] ppid=8372 vsize=218004 CPUtime=342.2 cores=0,2,4,6
/proc/8374/stat : 8374 (pwbo2.0) S 8372 8374 6880 0 -1 4202496 36572 0 0 0 34203 17 0 0 20 0 2 0 276099585 223236096 37134 33554432000 4194304 5965102 140736812681888 140736812681408 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8374/statm: 54501 37134 190 433 0 54065 0
[pid=8374/tid=8376] ppid=8372 vsize=218004 CPUtime=341.33 cores=0,2,4,6
/proc/8374/task/8376/stat : 8376 (pwbo2.0) R 8372 8374 6880 0 -1 4202560 35154 0 0 0 34111 22 0 0 20 0 2 0 276099588 223236096 37134 33554432000 4194304 5965102 140736812681888 139836602152760 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 218004
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 8377
/proc/meminfo: memFree=28059248/32873844 swapFree=7620/7620
[pid=8374] ppid=8372 vsize=218004 CPUtime=402.19 cores=0,2,4,6
/proc/8374/stat : 8374 (pwbo2.0) S 8372 8374 6880 0 -1 4202496 36576 0 0 0 40202 17 0 0 20 0 2 0 276099585 223236096 37138 33554432000 4194304 5965102 140736812681888 140736812681408 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8374/statm: 54501 37138 190 433 0 54065 0
[pid=8374/tid=8376] ppid=8372 vsize=218004 CPUtime=401.17 cores=0,2,4,6
/proc/8374/task/8376/stat : 8376 (pwbo2.0) R 8372 8374 6880 0 -1 4202560 35158 0 0 0 40094 23 0 0 20 0 2 0 276099588 223236096 37138 33554432000 4194304 5965102 140736812681888 139836602152760 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 218004
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8378
/proc/meminfo: memFree=28028504/32873844 swapFree=7620/7620
[pid=8374] ppid=8372 vsize=218436 CPUtime=462.16 cores=0,2,4,6
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 8426
/proc/meminfo: memFree=28005368/32873844 swapFree=7620/7620
[pid=8374] ppid=8372 vsize=292864 CPUtime=1422 cores=0,2,4,6
/proc/8374/stat : 8374 (pwbo2.0) S 8372 8374 6880 0 -1 4202496 68027 0 0 0 142166 34 0 0 20 0 2 0 276099585 299892736 69638 33554432000 4194304 5965102 140736812681888 140736812681408 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8374/statm: 73216 69638 190 433 0 72780 0
[pid=8374/tid=8376] ppid=8372 vsize=292864 CPUtime=1418.52 cores=0,2,4,6
/proc/8374/task/8376/stat : 8376 (pwbo2.0) R 8372 8374 6880 0 -1 4202560 66609 0 0 0 141797 55 0 0 20 0 2 0 276099588 299892736 69638 33554432000 4194304 5965102 140736812681888 139836602152952 4401127 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 292864
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 8426
/proc/meminfo: memFree=27999080/32873844 swapFree=7620/7620
[pid=8374] ppid=8372 vsize=358616 CPUtime=1481.98 cores=0,2,4,6
/proc/8374/stat : 8374 (pwbo2.0) S 8372 8374 6880 0 -1 4202496 69401 0 0 0 148164 34 0 0 20 0 2 0 276099585 367222784 71012 33554432000 4194304 5965102 140736812681888 140736812681408 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8374/statm: 89654 71012 190 433 0 89218 0
[pid=8374/tid=8376] ppid=8372 vsize=358616 CPUtime=1478.36 cores=0,2,4,6
/proc/8374/task/8376/stat : 8376 (pwbo2.0) R 8372 8374 6880 0 -1 4202560 67983 0 0 0 147780 56 0 0 20 0 2 0 276099588 367222784 71012 33554432000 4194304 5965102 140736812681888 139836602152952 4401131 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 358616
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8426
/proc/meminfo: memFree=27984444/32873844 swapFree=7620/7620
[pid=8374] ppid=8372 vsize=358832 CPUtime=1541.97 cores=0,2,4,6
/proc/8374/stat : 8374 (pwbo2.0) S 8372 8374 6880 0 -1 4202496 69439 0 0 0 154163 34 0 0 20 0 2 0 276099585 367443968 71050 33554432000 4194304 5965102 140736812681888 140736812681408 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8374/statm: 89708 71050 190 433 0 89272 0
[pid=8374/tid=8376] ppid=8372 vsize=358832 CPUtime=1538.21 cores=0,2,4,6
/proc/8374/task/8376/stat : 8376 (pwbo2.0) R 8372 8374 6880 0 -1 4202560 68021 0 0 0 153764 57 0 0 20 0 2 0 276099588 367443968 71050 33554432000 4194304 5965102 140736812681888 139836602152760 4401107 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 358832
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8426
/proc/meminfo: memFree=27982996/32873844 swapFree=7620/7620
[pid=8374] ppid=8372 vsize=358832 CPUtime=1601.95 cores=0,2,4,6
/proc/8374/stat : 8374 (pwbo2.0) S 8372 8374 6880 0 -1 4202496 69451 0 0 0 160161 34 0 0 20 0 2 0 276099585 367443968 71072 33554432000 4194304 5965102 140736812681888 140736812681408 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8374/statm: 89708 71072 190 433 0 89272 0
[pid=8374/tid=8376] ppid=8372 vsize=358832 CPUtime=1598.05 cores=0,2,4,6
/proc/8374/task/8376/stat : 8376 (pwbo2.0) R 8372 8374 6880 0 -1 4202560 68033 0 0 0 159747 58 0 0 20 0 2 0 276099588 367443968 71072 33554432000 4194304 5965102 140736812681888 139836602152760 4221120 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 358832
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8427
/proc/meminfo: memFree=27981880/32873844 swapFree=7620/7620
[pid=8374] ppid=8372 vsize=359264 CPUtime=1661.94 cores=0,2,4,6
/proc/8374/stat : 8374 (pwbo2.0) S 8372 8374 6880 0 -1 4202496 69537 0 0 0 166160 34 0 0 20 0 2 0 276099585 367886336 71158 33554432000 4194304 5965102 140736812681888 140736812681408 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8374/statm: 89816 71158 190 433 0 89380 0
[pid=8374/tid=8376] ppid=8372 vsize=359264 CPUtime=1657.89 cores=0,2,4,6
/proc/8374/task/8376/stat : 8376 (pwbo2.0) R 8372 8374 6880 0 -1 4202560 68119 0 0 0 165730 59 0 0 20 0 2 0 276099588 367886336 71158 33554432000 4194304 5965102 140736812681888 139836602152760 4401118 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 359264
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 8430
/proc/meminfo: memFree=27963272/32873844 swapFree=7620/7620
[pid=8374] ppid=8372 vsize=360668 CPUtime=1721.94 cores=0,2,4,6
/proc/8374/stat : 8374 (pwbo2.0) S 8372 8374 6880 0 -1 4202496 70743 0 0 0 172159 35 0 0 20 0 2 0 276099585 369324032 72364 33554432000 4194304 5965102 140736812681888 140736812681408 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8374/statm: 90167 72364 190 433 0 89731 0
[pid=8374/tid=8376] ppid=8372 vsize=360668 CPUtime=1717.74 cores=0,2,4,6
/proc/8374/task/8376/stat : 8376 (pwbo2.0) R 8372 8374 6880 0 -1 4202560 69325 0 0 0 171714 60 0 0 20 0 2 0 276099588 369324032 72364 33554432000 4194304 5965102 140736812681888 139836602152952 4401118 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 360668
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8430
/proc/meminfo: memFree=27926680/32873844 swapFree=7620/7620
[pid=8374] ppid=8372 vsize=362072 CPUtime=1781.93 cores=0,2,4,6
/proc/8374/stat : 8374 (pwbo2.0) S 8372 8374 6880 0 -1 4202496 75546 0 0 0 178155 38 0 0 20 0 2 0 276099585 370761728 77167 33554432000 4194304 5965102 140736812681888 140736812681408 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8374/statm: 90518 77167 190 433 0 90082 0
[pid=8374/tid=8376] ppid=8372 vsize=362072 CPUtime=1777.59 cores=0,2,4,6
/proc/8374/task/8376/stat : 8376 (pwbo2.0) R 8372 8374 6880 0 -1 4202560 74128 0 0 0 177695 64 0 0 20 0 2 0 276099588 370761728 77167 33554432000 4194304 5965102 140736812681888 139836602152952 4401096 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 362072
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8430
/proc/meminfo: memFree=27924324/32873844 swapFree=7620/7620
[pid=8374] ppid=8372 vsize=362072 CPUtime=1791.54 cores=0,2,4,6
/proc/8374/stat : 8374 (pwbo2.0) S 8372 8374 6880 0 -1 4202496 75546 0 0 0 179116 38 0 0 20 0 2 0 276099585 370761728 77167 33554432000 4194304 5965102 140736812681888 140736812681408 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8374/statm: 90518 77167 190 433 0 90082 0
[pid=8374/tid=8376] ppid=8372 vsize=362072 CPUtime=1787.17 cores=0,2,4,6
/proc/8374/task/8376/stat : 8376 (pwbo2.0) R 8372 8374 6880 0 -1 4202560 74128 0 0 0 178653 64 0 0 20 0 2 0 276099588 370761728 77167 33554432000 4194304 5965102 140736812681888 139836602152952 4220672 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1791.54
Current children cumulated vsize (KiB) 362072
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8430
/proc/meminfo: memFree=27923084/32873844 swapFree=7620/7620
[pid=8374] ppid=8372 vsize=362072 CPUtime=1794.74 cores=0,2,4,6
/proc/8374/stat : 8374 (pwbo2.0) S 8372 8374 6880 0 -1 4202496 75546 0 0 0 179436 38 0 0 20 0 2 0 276099585 370761728 77167 33554432000 4194304 5965102 140736812681888 140736812681408 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8374/statm: 90518 77167 190 433 0 90082 0
[pid=8374/tid=8376] ppid=8372 vsize=362072 CPUtime=1790.36 cores=0,2,4,6
/proc/8374/task/8376/stat : 8376 (pwbo2.0) R 8372 8374 6880 0 -1 4202560 74128 0 0 0 178972 64 0 0 20 0 2 0 276099588 370761728 77167 33554432000 4194304 5965102 140736812681888 139836602152952 4401544 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1794.74
Current children cumulated vsize (KiB) 362072
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8430
/proc/meminfo: memFree=27921968/32873844 swapFree=7620/7620
[pid=8374] ppid=8372 vsize=362072 CPUtime=1797.93 cores=0,2,4,6
/proc/8374/stat : 8374 (pwbo2.0) S 8372 8374 6880 0 -1 4202496 75546 0 0 0 179755 38 0 0 20 0 2 0 276099585 370761728 77167 33554432000 4194304 5965102 140736812681888 140736812681408 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8374/statm: 90518 77167 190 433 0 90082 0
[pid=8374/tid=8376] ppid=8372 vsize=362072 CPUtime=1793.55 cores=0,2,4,6
/proc/8374/task/8376/stat : 8376 (pwbo2.0) R 8372 8374 6880 0 -1 4202560 74128 0 0 0 179291 64 0 0 20 0 2 0 276099588 370761728 77167 33554432000 4194304 5965102 140736812681888 139836602152952 4220672 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 362072
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8430
/proc/meminfo: memFree=27921844/32873844 swapFree=7620/7620
[pid=8374] ppid=8372 vsize=362072 CPUtime=1798.73 cores=0,2,4,6
/proc/8374/stat : 8374 (pwbo2.0) S 8372 8374 6880 0 -1 4202496 75546 0 0 0 179835 38 0 0 20 0 2 0 276099585 370761728 77167 33554432000 4194304 5965102 140736812681888 140736812681408 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8374/statm: 90518 77167 190 433 0 90082 0
[pid=8374/tid=8376] ppid=8372 vsize=362072 CPUtime=1794.34 cores=0,2,4,6
/proc/8374/task/8376/stat : 8376 (pwbo2.0) R 8372 8374 6880 0 -1 4202560 74128 0 0 0 179370 64 0 0 20 0 2 0 276099588 370761728 77167 33554432000 4194304 5965102 140736812681888 139836602152952 4382704 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.73
Current children cumulated vsize (KiB) 362072
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8430
/proc/meminfo: memFree=27921720/32873844 swapFree=7620/7620
[pid=8374] ppid=8372 vsize=362072 CPUtime=1799.14 cores=0,2,4,6
/proc/8374/stat : 8374 (pwbo2.0) S 8372 8374 6880 0 -1 4202496 75546 0 0 0 179876 38 0 0 20 0 2 0 276099585 370761728 77167 33554432000 4194304 5965102 140736812681888 140736812681408 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8374/statm: 90518 77167 190 433 0 90082 0
[pid=8374/tid=8376] ppid=8372 vsize=362072 CPUtime=1794.75 cores=0,2,4,6
/proc/8374/task/8376/stat : 8376 (pwbo2.0) R 8372 8374 6880 0 -1 4202560 74128 0 0 0 179411 64 0 0 20 0 2 0 276099588 370761728 77167 33554432000 4194304 5965102 140736812681888 139836602152952 4383069 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1799.14
Current children cumulated vsize (KiB) 362072
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8430
/proc/meminfo: memFree=27921720/32873844 swapFree=7620/7620
[pid=8374] ppid=8372 vsize=362072 CPUtime=1799.53 cores=0,2,4,6
/proc/8374/stat : 8374 (pwbo2.0) S 8372 8374 6880 0 -1 4202496 75546 0 0 0 179915 38 0 0 20 0 2 0 276099585 370761728 77167 33554432000 4194304 5965102 140736812681888 140736812681408 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8374/statm: 90518 77167 190 433 0 90082 0
[pid=8374/tid=8376] ppid=8372 vsize=362072 CPUtime=1795.14 cores=0,2,4,6
/proc/8374/task/8376/stat : 8376 (pwbo2.0) R 8372 8374 6880 0 -1 4202560 74128 0 0 0 179450 64 0 0 20 0 2 0 276099588 370761728 77167 33554432000 4194304 5965102 140736812681888 139836602152952 4401127 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1799.53
Current children cumulated vsize (KiB) 362072
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 8430
/proc/meminfo: memFree=27921720/32873844 swapFree=7620/7620
[pid=8374] ppid=8372 vsize=362072 CPUtime=1799.63 cores=0,2,4,6
/proc/8374/stat : 8374 (pwbo2.0) S 8372 8374 6880 0 -1 4202496 75546 0 0 0 179925 38 0 0 20 0 2 0 276099585 370761728 77167 33554432000 4194304 5965102 140736812681888 140736812681408 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8374/statm: 90518 77167 190 433 0 90082 0
[pid=8374/tid=8376] ppid=8372 vsize=362072 CPUtime=1795.24 cores=0,2,4,6
/proc/8374/task/8376/stat : 8376 (pwbo2.0) R 8372 8374 6880 0 -1 4202560 74128 0 0 0 179460 64 0 0 20 0 2 0 276099588 370761728 77167 33554432000 4194304 5965102 140736812681888 139836602152952 4401155 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1799.63
Current children cumulated vsize (KiB) 362072
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8374 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=635173
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=655900
# CPU time returned by wait4() is 1795.29
# while last known CPU time is 1799.63
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.01
CPU time (s): 1799.63
CPU user time (s): 1799.25
CPU system time (s): 0.38
CPU usage (%): 99.9791
Max. virtual memory (cumulated for all children) (KiB): 362072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.64
system time used= 0.6559
maximum resident set size= 308680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75549
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= 128
involuntary context switches= 2074
runsolver used 2.76858 second user time and 7.18991 second system time
The end