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-3727545-1338660638/watcher-3727545-1338660638 -o /tmp/evaluation-result-3727545-1338660638/solver-3727545-1338660638 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727545-1338660638.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.00 2.00 2.00 3/178 22981
/proc/meminfo: memFree=28093320/32873844 swapFree=7128/7128
[pid=22981] ppid=22979 vsize=83568 CPUtime=0 cores=1,3,5,7
/proc/22981/stat : 22981 (wbo1.72) S 22979 22981 20159 0 -1 4202496 759 0 0 0 0 0 0 0 20 0 2 0 332130804 85573632 710 33554432000 4194304 5964350 140737458576160 140737458575680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22981/statm: 20892 710 190 433 0 20456 0
[pid=22981/tid=22982] ppid=22979 vsize=83568 CPUtime=0 cores=1,3,5,7
/proc/22981/task/22982/stat : 22982 (wbo1.72) R 22979 22981 20159 0 -1 4202560 63 0 0 0 0 0 0 0 20 0 2 0 332130805 85573632 710 33554432000 4194304 5964350 140737458576160 140736058668248 5136340 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[startup+0.0329911 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22981
/proc/meminfo: memFree=28093320/32873844 swapFree=7128/7128
[pid=22981] ppid=22979 vsize=83568 CPUtime=0.03 cores=1,3,5,7
/proc/22981/stat : 22981 (wbo1.72) S 22979 22981 20159 0 -1 4202496 846 0 0 0 3 0 0 0 20 0 2 0 332130804 85573632 797 33554432000 4194304 5964350 140737458576160 140737458575680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22981/statm: 20892 797 192 433 0 20456 0
[pid=22981/tid=22982] ppid=22979 vsize=83568 CPUtime=0.01 cores=1,3,5,7
/proc/22981/task/22982/stat : 22982 (wbo1.72) R 22979 22981 20159 0 -1 4202560 150 0 0 0 1 0 0 0 20 0 2 0 332130805 85573632 797 33554432000 4194304 5964350 140737458576160 140736058668248 5136340 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 83568
[startup+0.100295 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22981
/proc/meminfo: memFree=28093320/32873844 swapFree=7128/7128
[pid=22981] ppid=22979 vsize=83568 CPUtime=0.09 cores=1,3,5,7
/proc/22981/stat : 22981 (wbo1.72) S 22979 22981 20159 0 -1 4202496 1003 0 0 0 9 0 0 0 20 0 2 0 332130804 85573632 954 33554432000 4194304 5964350 140737458576160 140737458575680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22981/statm: 20892 954 192 433 0 20456 0
[pid=22981/tid=22982] ppid=22979 vsize=83568 CPUtime=0.08 cores=1,3,5,7
/proc/22981/task/22982/stat : 22982 (wbo1.72) R 22979 22981 20159 0 -1 4202560 307 0 0 0 8 0 0 0 20 0 2 0 332130805 85573632 954 33554432000 4194304 5964350 140737458576160 140736058668248 5179179 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83568
[startup+0.300255 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22981
/proc/meminfo: memFree=28093320/32873844 swapFree=7128/7128
[pid=22981] ppid=22979 vsize=83568 CPUtime=0.29 cores=1,3,5,7
/proc/22981/stat : 22981 (wbo1.72) S 22979 22981 20159 0 -1 4202496 1366 0 0 0 29 0 0 0 20 0 2 0 332130804 85573632 1317 33554432000 4194304 5964350 140737458576160 140737458575680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22981/statm: 20892 1317 192 433 0 20456 0
[pid=22981/tid=22982] ppid=22979 vsize=83568 CPUtime=0.28 cores=1,3,5,7
/proc/22981/task/22982/stat : 22982 (wbo1.72) R 22979 22981 20159 0 -1 4202560 670 0 0 0 28 0 0 0 20 0 2 0 332130805 85573632 1317 33554432000 4194304 5964350 140737458576160 140736058668248 4389743 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83568
[startup+0.700262 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22981
/proc/meminfo: memFree=28093320/32873844 swapFree=7128/7128
[pid=22981] ppid=22979 vsize=83568 CPUtime=0.69 cores=1,3,5,7
/proc/22981/stat : 22981 (wbo1.72) S 22979 22981 20159 0 -1 4202496 1761 0 0 0 69 0 0 0 20 0 2 0 332130804 85573632 1712 33554432000 4194304 5964350 140737458576160 140737458575680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22981/statm: 20892 1712 192 433 0 20456 0
[pid=22981/tid=22982] ppid=22979 vsize=83568 CPUtime=0.68 cores=1,3,5,7
/proc/22981/task/22982/stat : 22982 (wbo1.72) R 22979 22981 20159 0 -1 4202560 1065 0 0 0 68 0 0 0 20 0 2 0 332130805 85573632 1712 33554432000 4194304 5964350 140737458576160 140176219142488 4400035 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83568
[startup+1.50026 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 22983
/proc/meminfo: memFree=28086948/32873844 swapFree=7128/7128
[pid=22981] ppid=22979 vsize=83712 CPUtime=1.49 cores=1,3,5,7
/proc/22981/stat : 22981 (wbo1.72) S 22979 22981 20159 0 -1 4202496 2291 0 0 0 149 0 0 0 20 0 2 0 332130804 85721088 2242 33554432000 4194304 5964350 140737458576160 140737458575680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22981/statm: 20928 2242 192 433 0 20492 0
[pid=22981/tid=22982] ppid=22979 vsize=83712 CPUtime=1.48 cores=1,3,5,7
/proc/22981/task/22982/stat : 22982 (wbo1.72) R 22979 22981 20159 0 -1 4202560 1595 0 0 0 148 0 0 0 20 0 2 0 332130805 85721088 2242 33554432000 4194304 5964350 140737458576160 140176219142488 4373414 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 83712
[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 22983
/proc/meminfo: memFree=28083228/32873844 swapFree=7128/7128
[pid=22981] ppid=22979 vsize=83784 CPUtime=3.09 cores=1,3,5,7
/proc/22981/stat : 22981 (wbo1.72) S 22979 22981 20159 0 -1 4202496 3457 0 0 0 309 0 0 0 20 0 2 0 332130804 85794816 3419 33554432000 4194304 5964350 140737458576160 140737458575680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22981/statm: 20946 3419 192 433 0 20510 0
[pid=22981/tid=22982] ppid=22979 vsize=83784 CPUtime=3.07 cores=1,3,5,7
/proc/22981/task/22982/stat : 22982 (wbo1.72) R 22979 22981 20159 0 -1 4202560 2761 0 0 0 307 0 0 0 20 0 2 0 332130805 85794816 3419 33554432000 4194304 5964350 140737458576160 140176219141944 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 83784
[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 22983
/proc/meminfo: memFree=28075348/32873844 swapFree=7128/7128
[pid=22981] ppid=22979 vsize=83784 CPUtime=6.28 cores=1,3,5,7
/proc/22981/stat : 22981 (wbo1.72) S 22979 22981 20159 0 -1 4202496 5165 0 0 0 628 0 0 0 20 0 2 0 332130804 85794816 5127 33554432000 4194304 5964350 140737458576160 140737458575680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22981/statm: 20946 5127 192 433 0 20510 0
[pid=22981/tid=22982] ppid=22979 vsize=83784 CPUtime=6.26 cores=1,3,5,7
/proc/22981/task/22982/stat : 22982 (wbo1.72) R 22979 22981 20159 0 -1 4202560 4469 0 0 0 626 0 0 0 20 0 2 0 332130805 85794816 5127 33554432000 4194304 5964350 140737458576160 140176219141944 5136340 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 83784
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 22983
/proc/meminfo: memFree=28065764/32873844 swapFree=7128/7128
[pid=22981] ppid=22979 vsize=84340 CPUtime=12.68 cores=1,3,5,7
/proc/22981/stat : 22981 (wbo1.72) S 22979 22981 20159 0 -1 4202496 8249 0 0 0 1267 1 0 0 20 0 2 0 332130804 86364160 8211 33554432000 4194304 5964350 140737458576160 140737458575680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22981/statm: 21085 8211 192 433 0 20649 0
[pid=22981/tid=22982] ppid=22979 vsize=84340 CPUtime=12.65 cores=1,3,5,7
/proc/22981/task/22982/stat : 22982 (wbo1.72) R 22979 22981 20159 0 -1 4202560 7553 0 0 0 1264 1 0 0 20 0 2 0 332130805 86364160 8211 33554432000 4194304 5964350 140737458576160 140176219142184 18446744073699066235 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 84340
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22983
/proc/meminfo: memFree=28048804/32873844 swapFree=7128/7128
[pid=22981] ppid=22979 vsize=85564 CPUtime=25.48 cores=1,3,5,7
/proc/22981/stat : 22981 (wbo1.72) S 22979 22981 20159 0 -1 4202496 11502 0 0 0 2546 2 0 0 20 0 2 0 332130804 87617536 12162 33554432000 4194304 5964350 140737458576160 140737458575680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22981/statm: 21391 12162 192 433 0 20955 0
[pid=22981/tid=22982] ppid=22979 vsize=85564 CPUtime=25.41 cores=1,3,5,7
/proc/22981/task/22982/stat : 22982 (wbo1.72) R 22979 22981 20159 0 -1 4202560 10806 0 0 0 2539 2 0 0 20 0 2 0 332130805 87617536 12162 33554432000 4194304 5964350 140737458576160 140176219142136 4389030 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 85564
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22983
/proc/meminfo: memFree=28008864/32873844 swapFree=7128/7128
[pid=22981] ppid=22979 vsize=152744 CPUtime=51.07 cores=1,3,5,7
/proc/22981/stat : 22981 (wbo1.72) S 22979 22981 20159 0 -1 4202496 18221 0 0 0 5101 6 0 0 20 0 2 0 332130804 156409856 18881 33554432000 4194304 5964350 140737458576160 140737458575680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22981/statm: 38186 18881 192 433 0 37750 0
[pid=22981/tid=22982] ppid=22979 vsize=152744 CPUtime=50.95 cores=1,3,5,7
/proc/22981/task/22982/stat : 22982 (wbo1.72) R 22979 22981 20159 0 -1 4202560 17525 0 0 0 5089 6 0 0 20 0 2 0 332130805 156409856 18881 33554432000 4194304 5964350 140737458576160 140176219142136 5136340 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 152744
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22983
/proc/meminfo: memFree=27944824/32873844 swapFree=7128/7128
[pid=22981] ppid=22979 vsize=155752 CPUtime=102.26 cores=1,3,5,7
/proc/22981/stat : 22981 (wbo1.72) S 22979 22981 20159 0 -1 4202496 29901 0 0 0 10214 12 0 0 20 0 2 0 332130804 159490048 30683 33554432000 4194304 5964350 140737458576160 140737458575680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22981/statm: 38938 30683 192 433 0 38502 0
[pid=22981/tid=22982] ppid=22979 vsize=155752 CPUtime=102.01 cores=1,3,5,7
/proc/22981/task/22982/stat : 22982 (wbo1.72) R 22979 22981 20159 0 -1 4202560 29205 0 0 0 10188 13 0 0 20 0 2 0 332130805 159490048 30683 33554432000 4194304 5964350 140737458576160 140176219142136 4378928 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 155752
[startup+162.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 22983
/proc/meminfo: memFree=27928144/32873844 swapFree=7128/7128
[pid=22981] ppid=22979 vsize=149104 CPUtime=162.23 cores=1,3,5,7
/proc/22981/stat : 22981 (wbo1.72) S 22979 22981 20159 0 -1 4202496 29959 0 0 0 16211 12 0 0 20 0 2 0 332130804 152682496 29426 33554432000 4194304 5964350 140737458576160 140737458575680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22981/statm: 37276 29426 192 433 0 36840 0
[pid=22981/tid=22982] ppid=22979 vsize=149104 CPUtime=161.84 cores=1,3,5,7
/proc/22981/task/22982/stat : 22982 (wbo1.72) R 22979 22981 20159 0 -1 4202560 29263 0 0 0 16170 14 0 0 20 0 2 0 332130805 152682496 29426 33554432000 4194304 5964350 140737458576160 140176219143096 4400439 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 149104
[startup+222.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 22983
/proc/meminfo: memFree=27895888/32873844 swapFree=7128/7128
[pid=22981] ppid=22979 vsize=149104 CPUtime=222.21 cores=1,3,5,7
/proc/22981/stat : 22981 (wbo1.72) S 22979 22981 20159 0 -1 4202496 32732 0 0 0 22208 13 0 0 20 0 2 0 332130804 152682496 32190 33554432000 4194304 5964350 140737458576160 140737458575680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22981/statm: 37276 32190 192 433 0 36840 0
[pid=22981/tid=22982] ppid=22979 vsize=149104 CPUtime=221.68 cores=1,3,5,7
/proc/22981/task/22982/stat : 22982 (wbo1.72) R 22979 22981 20159 0 -1 4202560 32036 0 0 0 22152 16 0 0 20 0 2 0 332130805 152682496 32190 33554432000 4194304 5964350 140737458576160 140176219141944 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 149104
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22984
/proc/meminfo: memFree=27832184/32873844 swapFree=7128/7128
[pid=22981] ppid=22979 vsize=215724 CPUtime=282.2 cores=1,3,5,7
/proc/22981/stat : 22981 (wbo1.72) S 22979 22981 20159 0 -1 4202496 44124 0 0 0 28200 20 0 0 20 0 2 0 332130804 220901376 43639 33554432000 4194304 5964350 140737458576160 140737458575680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22981/statm: 53931 43639 192 433 0 53495 0
[pid=22981/tid=22982] ppid=22979 vsize=215724 CPUtime=281.51 cores=1,3,5,7
/proc/22981/task/22982/stat : 22982 (wbo1.72) R 22979 22981 20159 0 -1 4202560 43428 0 0 0 28127 24 0 0 20 0 2 0 332130805 220901376 43639 33554432000 4194304 5964350 140737458576160 140176219141944 4399938 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 215724
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22984
/proc/meminfo: memFree=27793572/32873844 swapFree=7128/7128
[pid=22981] ppid=22979 vsize=215724 CPUtime=342.19 cores=1,3,5,7
/proc/22981/stat : 22981 (wbo1.72) S 22979 22981 20159 0 -1 4202496 47601 0 0 0 34197 22 0 0 20 0 2 0 332130804 220901376 47112 33554432000 4194304 5964350 140737458576160 140737458575680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22981/statm: 53931 47112 192 433 0 53495 0
[pid=22981/tid=22982] ppid=22979 vsize=215724 CPUtime=341.36 cores=1,3,5,7
/proc/22981/task/22982/stat : 22982 (wbo1.72) R 22979 22981 20159 0 -1 4202560 46905 0 0 0 34109 27 0 0 20 0 2 0 332130805 220901376 47112 33554432000 4194304 5964350 140737458576160 140176219142008 4399976 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 215724
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22984
/proc/meminfo: memFree=27740292/32873844 swapFree=7128/7128
[pid=22981] ppid=22979 vsize=281260 CPUtime=402.17 cores=1,3,5,7
/proc/22981/stat : 22981 (wbo1.72) S 22979 22981 20159 0 -1 4202496 56537 0 0 0 40190 27 0 0 20 0 2 0 332130804 288010240 56045 33554432000 4194304 5964350 140737458576160 140737458575680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22994
/proc/meminfo: memFree=27161136/32873844 swapFree=7128/7128
[pid=22981] ppid=22979 vsize=614652 CPUtime=1421.89 cores=1,3,5,7
/proc/22981/stat : 22981 (wbo1.72) S 22979 22981 20159 0 -1 4202496 141003 0 0 0 142089 100 0 0 20 0 2 0 332130804 629403648 144216 33554432000 4194304 5964350 140737458576160 140737458575680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22981/statm: 153663 144216 192 433 0 153227 0
[pid=22981/tid=22982] ppid=22979 vsize=614652 CPUtime=1418.48 cores=1,3,5,7
/proc/22981/task/22982/stat : 22982 (wbo1.72) R 22979 22981 20159 0 -1 4202560 140307 0 0 0 141727 121 0 0 20 0 2 0 332130805 629403648 144216 33554432000 4194304 5964350 140737458576160 140176219142136 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 614652
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22995
/proc/meminfo: memFree=27129036/32873844 swapFree=7128/7128
[pid=22981] ppid=22979 vsize=614652 CPUtime=1481.87 cores=1,3,5,7
/proc/22981/stat : 22981 (wbo1.72) S 22979 22981 20159 0 -1 4202496 142538 0 0 0 148085 102 0 0 20 0 2 0 332130804 629403648 145751 33554432000 4194304 5964350 140737458576160 140737458575680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22981/statm: 153663 145751 192 433 0 153227 0
[pid=22981/tid=22982] ppid=22979 vsize=614652 CPUtime=1478.32 cores=1,3,5,7
/proc/22981/task/22982/stat : 22982 (wbo1.72) R 22979 22981 20159 0 -1 4202560 141842 0 0 0 147708 124 0 0 20 0 2 0 332130805 629403648 145751 33554432000 4194304 5964350 140737458576160 140176219141944 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 614652
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22995
/proc/meminfo: memFree=27108284/32873844 swapFree=7128/7128
[pid=22981] ppid=22979 vsize=615736 CPUtime=1541.87 cores=1,3,5,7
/proc/22981/stat : 22981 (wbo1.72) S 22979 22981 20159 0 -1 4202496 146766 0 0 0 154080 107 0 0 20 0 2 0 332130804 630513664 149974 33554432000 4194304 5964350 140737458576160 140737458575680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22981/statm: 153934 149974 192 433 0 153498 0
[pid=22981/tid=22982] ppid=22979 vsize=615736 CPUtime=1538.16 cores=1,3,5,7
/proc/22981/task/22982/stat : 22982 (wbo1.72) R 22979 22981 20159 0 -1 4202560 146070 0 0 0 153686 130 0 0 20 0 2 0 332130805 630513664 149974 33554432000 4194304 5964350 140737458576160 140176219142136 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 615736
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22995
/proc/meminfo: memFree=27077096/32873844 swapFree=7128/7128
[pid=22981] ppid=22979 vsize=681272 CPUtime=1601.86 cores=1,3,5,7
/proc/22981/stat : 22981 (wbo1.72) S 22979 22981 20159 0 -1 4202496 149374 0 0 0 160076 110 0 0 20 0 2 0 332130804 697622528 152581 33554432000 4194304 5964350 140737458576160 140737458575680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22981/statm: 170318 152581 192 433 0 169882 0
[pid=22981/tid=22982] ppid=22979 vsize=681272 CPUtime=1598.01 cores=1,3,5,7
/proc/22981/task/22982/stat : 22982 (wbo1.72) R 22979 22981 20159 0 -1 4202560 148678 0 0 0 159667 134 0 0 20 0 2 0 332130805 697622528 152581 33554432000 4194304 5964350 140737458576160 140176219141944 4399962 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 681272
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22995
/proc/meminfo: memFree=27038532/32873844 swapFree=7128/7128
[pid=22981] ppid=22979 vsize=681272 CPUtime=1661.85 cores=1,3,5,7
/proc/22981/stat : 22981 (wbo1.72) S 22979 22981 20159 0 -1 4202496 154783 0 0 0 166069 116 0 0 20 0 2 0 332130804 697622528 157988 33554432000 4194304 5964350 140737458576160 140737458575680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22981/statm: 170318 157988 192 433 0 169882 0
[pid=22981/tid=22982] ppid=22979 vsize=681272 CPUtime=1657.86 cores=1,3,5,7
/proc/22981/task/22982/stat : 22982 (wbo1.72) R 22979 22981 20159 0 -1 4202560 154087 0 0 0 165645 141 0 0 20 0 2 0 332130805 697622528 157988 33554432000 4194304 5964350 140737458576160 140176219142184 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 681272
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23034
/proc/meminfo: memFree=27470816/32873844 swapFree=7128/7128
[pid=22981] ppid=22979 vsize=682080 CPUtime=1721.84 cores=1,3,5,7
/proc/22981/stat : 22981 (wbo1.72) S 22979 22981 20159 0 -1 4202496 162622 0 0 0 172057 127 0 0 20 0 2 0 332130804 698449920 165926 33554432000 4194304 5964350 140737458576160 140737458575680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22981/statm: 170520 165926 192 433 0 170084 0
[pid=22981/tid=22982] ppid=22979 vsize=682080 CPUtime=1717.7 cores=1,3,5,7
/proc/22981/task/22982/stat : 22982 (wbo1.72) R 22979 22981 20159 0 -1 4202560 161926 0 0 0 171617 153 0 0 20 0 2 0 332130805 698449920 165926 33554432000 4194304 5964350 140737458576160 140176219142136 4379323 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 682080
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 23038
/proc/meminfo: memFree=27420696/32873844 swapFree=7128/7128
[pid=22981] ppid=22979 vsize=682080 CPUtime=1781.79 cores=1,3,5,7
/proc/22981/stat : 22981 (wbo1.72) S 22979 22981 20159 0 -1 4202496 162663 0 0 0 178052 127 0 0 20 0 2 0 332130804 698449920 166175 33554432000 4194304 5964350 140737458576160 140737458575680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22981/statm: 170520 166175 192 433 0 170084 0
[pid=22981/tid=22982] ppid=22979 vsize=682080 CPUtime=1777.51 cores=1,3,5,7
/proc/22981/task/22982/stat : 22982 (wbo1.72) R 22979 22981 20159 0 -1 4202560 161967 0 0 0 177598 153 0 0 20 0 2 0 332130805 698449920 166175 33554432000 4194304 5964350 140737458576160 140176219142136 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 682080
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 23038
/proc/meminfo: memFree=27418452/32873844 swapFree=7128/7128
[pid=22981] ppid=22979 vsize=682080 CPUtime=1791.39 cores=1,3,5,7
/proc/22981/stat : 22981 (wbo1.72) S 22979 22981 20159 0 -1 4202496 162669 0 0 0 179012 127 0 0 20 0 2 0 332130804 698449920 166176 33554432000 4194304 5964350 140737458576160 140737458575680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22981/statm: 170520 166176 192 433 0 170084 0
[pid=22981/tid=22982] ppid=22979 vsize=682080 CPUtime=1787.09 cores=1,3,5,7
/proc/22981/task/22982/stat : 22982 (wbo1.72) R 22979 22981 20159 0 -1 4202560 161973 0 0 0 178555 154 0 0 20 0 2 0 332130805 698449920 166176 33554432000 4194304 5964350 140737458576160 140176219142136 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.39
Current children cumulated vsize (KiB) 682080
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 23038
/proc/meminfo: memFree=27413864/32873844 swapFree=7128/7128
[pid=22981] ppid=22979 vsize=682080 CPUtime=1794.59 cores=1,3,5,7
/proc/22981/stat : 22981 (wbo1.72) S 22979 22981 20159 0 -1 4202496 162670 0 0 0 179332 127 0 0 20 0 2 0 332130804 698449920 166177 33554432000 4194304 5964350 140737458576160 140737458575680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22981/statm: 170520 166177 192 433 0 170084 0
[pid=22981/tid=22982] ppid=22979 vsize=682080 CPUtime=1790.28 cores=1,3,5,7
/proc/22981/task/22982/stat : 22982 (wbo1.72) R 22979 22981 20159 0 -1 4202560 161974 0 0 0 178874 154 0 0 20 0 2 0 332130805 698449920 166177 33554432000 4194304 5964350 140737458576160 140176219142136 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.59
Current children cumulated vsize (KiB) 682080
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 23038
/proc/meminfo: memFree=27410268/32873844 swapFree=7128/7128
[pid=22981] ppid=22979 vsize=682080 CPUtime=1797.78 cores=1,3,5,7
/proc/22981/stat : 22981 (wbo1.72) S 22979 22981 20159 0 -1 4202496 162671 0 0 0 179651 127 0 0 20 0 2 0 332130804 698449920 166178 33554432000 4194304 5964350 140737458576160 140737458575680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22981/statm: 170520 166178 192 433 0 170084 0
[pid=22981/tid=22982] ppid=22979 vsize=682080 CPUtime=1793.47 cores=1,3,5,7
/proc/22981/task/22982/stat : 22982 (wbo1.72) R 22979 22981 20159 0 -1 4202560 161975 0 0 0 179193 154 0 0 20 0 2 0 332130805 698449920 166178 33554432000 4194304 5964350 140737458576160 140176219142136 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.78
Current children cumulated vsize (KiB) 682080
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 23038
/proc/meminfo: memFree=27409152/32873844 swapFree=7128/7128
[pid=22981] ppid=22979 vsize=682080 CPUtime=1798.58 cores=1,3,5,7
/proc/22981/stat : 22981 (wbo1.72) S 22979 22981 20159 0 -1 4202496 162671 0 0 0 179731 127 0 0 20 0 2 0 332130804 698449920 166178 33554432000 4194304 5964350 140737458576160 140737458575680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22981/statm: 170520 166178 192 433 0 170084 0
[pid=22981/tid=22982] ppid=22979 vsize=682080 CPUtime=1794.26 cores=1,3,5,7
/proc/22981/task/22982/stat : 22982 (wbo1.72) R 22979 22981 20159 0 -1 4202560 161975 0 0 0 179272 154 0 0 20 0 2 0 332130805 698449920 166178 33554432000 4194304 5964350 140737458576160 140176219142136 4399840 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.58
Current children cumulated vsize (KiB) 682080
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 23038
/proc/meminfo: memFree=27408780/32873844 swapFree=7128/7128
[pid=22981] ppid=22979 vsize=682080 CPUtime=1798.99 cores=1,3,5,7
/proc/22981/stat : 22981 (wbo1.72) S 22979 22981 20159 0 -1 4202496 162671 0 0 0 179772 127 0 0 20 0 2 0 332130804 698449920 166178 33554432000 4194304 5964350 140737458576160 140737458575680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22981/statm: 170520 166178 192 433 0 170084 0
[pid=22981/tid=22982] ppid=22979 vsize=682080 CPUtime=1794.67 cores=1,3,5,7
/proc/22981/task/22982/stat : 22982 (wbo1.72) R 22979 22981 20159 0 -1 4202560 161975 0 0 0 179313 154 0 0 20 0 2 0 332130805 698449920 166178 33554432000 4194304 5964350 140737458576160 140176219142136 4399852 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.99
Current children cumulated vsize (KiB) 682080
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 23038
/proc/meminfo: memFree=27408780/32873844 swapFree=7128/7128
[pid=22981] ppid=22979 vsize=682080 CPUtime=1799.38 cores=1,3,5,7
/proc/22981/stat : 22981 (wbo1.72) S 22979 22981 20159 0 -1 4202496 162671 0 0 0 179811 127 0 0 20 0 2 0 332130804 698449920 166178 33554432000 4194304 5964350 140737458576160 140737458575680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22981/statm: 170520 166178 192 433 0 170084 0
[pid=22981/tid=22982] ppid=22979 vsize=682080 CPUtime=1795.06 cores=1,3,5,7
/proc/22981/task/22982/stat : 22982 (wbo1.72) R 22979 22981 20159 0 -1 4202560 161975 0 0 0 179352 154 0 0 20 0 2 0 332130805 698449920 166178 33554432000 4194304 5964350 140737458576160 140176219142136 4388525 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.38
Current children cumulated vsize (KiB) 682080
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 23038
/proc/meminfo: memFree=27408780/32873844 swapFree=7128/7128
[pid=22981] ppid=22979 vsize=682080 CPUtime=1799.48 cores=1,3,5,7
/proc/22981/stat : 22981 (wbo1.72) S 22979 22981 20159 0 -1 4202496 162671 0 0 0 179821 127 0 0 20 0 2 0 332130804 698449920 166178 33554432000 4194304 5964350 140737458576160 140737458575680 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22981/statm: 170520 166178 192 433 0 170084 0
[pid=22981/tid=22982] ppid=22979 vsize=682080 CPUtime=1795.16 cores=1,3,5,7
/proc/22981/task/22982/stat : 22982 (wbo1.72) R 22979 22981 20159 0 -1 4202560 161975 0 0 0 179362 154 0 0 20 0 2 0 332130805 698449920 166178 33554432000 4194304 5964350 140737458576160 140176219142136 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.48
Current children cumulated vsize (KiB) 682080
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22981 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=628327
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=554763
# CPU time returned by wait4() is 1795.18
# while last known CPU time is 1799.48
#
# 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.48
CPU user time (s): 1798.21
CPU system time (s): 1.27
CPU usage (%): 99.9707
Max. virtual memory (cumulated for all children) (KiB): 682080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.63
system time used= 1.55476
maximum resident set size= 664720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 162673
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= 290
involuntary context switches= 1840
runsolver used 3.01254 second user time and 8.49371 second system time
The end