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-3728025-1338662455/watcher-3728025-1338662455 -o /tmp/evaluation-result-3728025-1338662455/solver-3728025-1338662455 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3728025-1338662455.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.07 2.02 2.23 3/176 23687
/proc/meminfo: memFree=28455092/32873852 swapFree=7624/7624
[pid=23687] ppid=23685 vsize=4312 CPUtime=0 cores=0,2,4,6
/proc/23687/stat : 23687 (wbo1.72) R 23685 23687 23631 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 332370935 4415488 486 33554432000 4194304 5964350 140734291969104 140735000307672 5136410 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/23687/statm: 1078 487 169 433 0 575 0
[startup+0.0433949 s]
/proc/loadavg: 2.07 2.02 2.23 3/176 23687
/proc/meminfo: memFree=28455092/32873852 swapFree=7624/7624
[pid=23687] ppid=23685 vsize=85568 CPUtime=0.04 cores=0,2,4,6
/proc/23687/stat : 23687 (wbo1.72) S 23685 23687 23631 0 -1 4202496 2038 0 0 0 4 0 0 0 20 0 2 0 332370935 87621632 1923 33554432000 4194304 5964350 140734291969104 140734291968624 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23687/statm: 21392 1923 190 433 0 20956 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 85568
[startup+0.100318 s]
/proc/loadavg: 2.07 2.02 2.23 3/176 23687
/proc/meminfo: memFree=28455092/32873852 swapFree=7624/7624
[pid=23687] ppid=23685 vsize=85568 CPUtime=0.09 cores=0,2,4,6
/proc/23687/stat : 23687 (wbo1.72) S 23685 23687 23631 0 -1 4202496 2134 0 0 0 9 0 0 0 20 0 2 0 332370935 87621632 1979 33554432000 4194304 5964350 140734291969104 140734291968624 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23687/statm: 21392 1979 190 433 0 20956 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 85568
[startup+0.300225 s]
/proc/loadavg: 2.07 2.02 2.23 3/176 23687
/proc/meminfo: memFree=28455092/32873852 swapFree=7624/7624
[pid=23687] ppid=23685 vsize=85568 CPUtime=0.29 cores=0,2,4,6
/proc/23687/stat : 23687 (wbo1.72) S 23685 23687 23631 0 -1 4202496 2664 0 0 0 29 0 0 0 20 0 2 0 332370935 87621632 2060 33554432000 4194304 5964350 140734291969104 140734291968624 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23687/statm: 21392 2060 190 433 0 20956 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 85568
[startup+0.700213 s]
/proc/loadavg: 2.07 2.02 2.23 3/176 23687
/proc/meminfo: memFree=28455092/32873852 swapFree=7624/7624
[pid=23687] ppid=23685 vsize=85568 CPUtime=0.69 cores=0,2,4,6
/proc/23687/stat : 23687 (wbo1.72) S 23685 23687 23631 0 -1 4202496 4981 0 0 0 69 0 0 0 20 0 2 0 332370935 87621632 2503 33554432000 4194304 5964350 140734291969104 140734291968624 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23687/statm: 21392 2503 192 433 0 20956 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 85568
[startup+1.50023 s]
/proc/loadavg: 2.06 2.02 2.23 3/178 23696
/proc/meminfo: memFree=28419712/32873852 swapFree=7624/7624
[pid=23687] ppid=23685 vsize=85568 CPUtime=1.49 cores=0,2,4,6
/proc/23687/stat : 23687 (wbo1.72) S 23685 23687 23631 0 -1 4202496 5525 0 0 0 149 0 0 0 20 0 2 0 332370935 87621632 3004 33554432000 4194304 5964350 140734291969104 140734291968624 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23687/statm: 21392 3004 194 433 0 20956 0
[pid=23687/tid=23689] ppid=23685 vsize=85568 CPUtime=1.46 cores=0,2,4,6
/proc/23687/task/23689/stat : 23689 (wbo1.72) R 23685 23687 23631 0 -1 4202560 4288 0 0 0 146 0 0 0 20 0 2 0 332370937 87621632 3004 33554432000 4194304 5964350 140734291969104 140030585514344 4400035 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) 85568
[startup+3.10023 s]
/proc/loadavg: 2.06 2.02 2.23 3/178 23696
/proc/meminfo: memFree=28414348/32873852 swapFree=7624/7624
[pid=23687] ppid=23685 vsize=85784 CPUtime=3.09 cores=0,2,4,6
/proc/23687/stat : 23687 (wbo1.72) S 23685 23687 23631 0 -1 4202496 6960 0 0 0 308 1 0 0 20 0 2 0 332370935 87842816 4439 33554432000 4194304 5964350 140734291969104 140734291968624 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23687/statm: 21446 4439 194 433 0 21010 0
[pid=23687/tid=23689] ppid=23685 vsize=85784 CPUtime=3.05 cores=0,2,4,6
/proc/23687/task/23689/stat : 23689 (wbo1.72) R 23685 23687 23631 0 -1 4202560 5724 0 0 0 304 1 0 0 20 0 2 0 332370937 87842816 4440 33554432000 4194304 5964350 140734291969104 140030585513976 5136340 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) 85784
[startup+6.30022 s]
/proc/loadavg: 2.06 2.01 2.23 3/178 23696
/proc/meminfo: memFree=28403212/32873852 swapFree=7624/7624
[pid=23687] ppid=23685 vsize=85784 CPUtime=6.29 cores=0,2,4,6
/proc/23687/stat : 23687 (wbo1.72) S 23685 23687 23631 0 -1 4202496 8215 0 0 0 628 1 0 0 20 0 2 0 332370935 87842816 5694 33554432000 4194304 5964350 140734291969104 140734291968624 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23687/statm: 21446 5694 194 433 0 21010 0
[pid=23687/tid=23689] ppid=23685 vsize=85784 CPUtime=6.24 cores=0,2,4,6
/proc/23687/task/23689/stat : 23689 (wbo1.72) R 23685 23687 23631 0 -1 4202560 6978 0 0 0 623 1 0 0 20 0 2 0 332370937 87842816 5694 33554432000 4194304 5964350 140734291969104 140030585513784 4399996 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) 85784
[startup+12.7003 s]
/proc/loadavg: 2.05 2.01 2.23 3/177 23696
/proc/meminfo: memFree=28387344/32873852 swapFree=7624/7624
[pid=23687] ppid=23685 vsize=85568 CPUtime=12.68 cores=0,2,4,6
/proc/23687/stat : 23687 (wbo1.72) S 23685 23687 23631 0 -1 4202496 9981 0 0 0 1267 1 0 0 20 0 2 0 332370935 87621632 7409 33554432000 4194304 5964350 140734291969104 140734291968624 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23687/statm: 21392 7409 194 433 0 20956 0
[pid=23687/tid=23689] ppid=23685 vsize=85568 CPUtime=12.63 cores=0,2,4,6
/proc/23687/task/23689/stat : 23689 (wbo1.72) R 23685 23687 23631 0 -1 4202560 8744 0 0 0 1262 1 0 0 20 0 2 0 332370937 87621632 7409 33554432000 4194304 5964350 140734291969104 140030585514936 4399976 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) 85568
[startup+25.5003 s]
/proc/loadavg: 2.04 2.01 2.22 3/177 23696
/proc/meminfo: memFree=28338984/32873852 swapFree=7624/7624
[pid=23687] ppid=23685 vsize=85568 CPUtime=25.48 cores=0,2,4,6
/proc/23687/stat : 23687 (wbo1.72) S 23685 23687 23631 0 -1 4202496 12876 0 0 0 2546 2 0 0 20 0 2 0 332370935 87621632 10346 33554432000 4194304 5964350 140734291969104 140734291968624 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23687/statm: 21392 10346 194 433 0 20956 0
[pid=23687/tid=23689] ppid=23685 vsize=85568 CPUtime=25.39 cores=0,2,4,6
/proc/23687/task/23689/stat : 23689 (wbo1.72) R 23685 23687 23631 0 -1 4202560 11639 0 0 0 2537 2 0 0 20 0 2 0 332370937 87621632 10346 33554432000 4194304 5964350 140734291969104 140030585513784 4400424 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) 85568
[startup+51.1003 s]
/proc/loadavg: 2.02 2.01 2.22 3/176 23696
/proc/meminfo: memFree=28310376/32873852 swapFree=7624/7624
[pid=23687] ppid=23685 vsize=86052 CPUtime=51.07 cores=0,2,4,6
/proc/23687/stat : 23687 (wbo1.72) S 23685 23687 23631 0 -1 4202496 17194 0 0 0 5104 3 0 0 20 0 2 0 332370935 88117248 15439 33554432000 4194304 5964350 140734291969104 140734291968624 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23687/statm: 21513 15439 194 433 0 21077 0
[pid=23687/tid=23689] ppid=23685 vsize=86052 CPUtime=50.91 cores=0,2,4,6
/proc/23687/task/23689/stat : 23689 (wbo1.72) R 23685 23687 23631 0 -1 4202560 15957 0 0 0 5088 3 0 0 20 0 2 0 332370937 88117248 15439 33554432000 4194304 5964350 140734291969104 140030585513784 4400439 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 86052
[startup+102.306 s]
/proc/loadavg: 2.01 2.01 2.20 3/177 23697
/proc/meminfo: memFree=28253380/32873852 swapFree=7624/7624
[pid=23687] ppid=23685 vsize=151828 CPUtime=102.26 cores=0,2,4,6
/proc/23687/stat : 23687 (wbo1.72) S 23685 23687 23631 0 -1 4202496 25652 0 0 0 10220 6 0 0 20 0 2 0 332370935 155471872 23896 33554432000 4194304 5964350 140734291969104 140734291968624 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23687/statm: 37957 23897 194 433 0 37521 0
[pid=23687/tid=23689] ppid=23685 vsize=151828 CPUtime=101.99 cores=0,2,4,6
/proc/23687/task/23689/stat : 23689 (wbo1.72) R 23685 23687 23631 0 -1 4202560 24416 0 0 0 10192 7 0 0 20 0 2 0 332370937 155471872 23897 33554432000 4194304 5964350 140734291969104 140030585513784 5136340 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 151828
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.18 3/177 23697
/proc/meminfo: memFree=28213768/32873852 swapFree=7624/7624
[pid=23687] ppid=23685 vsize=151828 CPUtime=162.23 cores=0,2,4,6
/proc/23687/stat : 23687 (wbo1.72) S 23685 23687 23631 0 -1 4202496 35206 0 0 0 16212 11 0 0 20 0 2 0 332370935 155471872 33735 33554432000 4194304 5964350 140734291969104 140734291968624 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23687/statm: 37957 33735 194 433 0 37521 0
[pid=23687/tid=23689] ppid=23685 vsize=151828 CPUtime=161.81 cores=0,2,4,6
/proc/23687/task/23689/stat : 23689 (wbo1.72) R 23685 23687 23631 0 -1 4202560 33969 0 0 0 16168 13 0 0 20 0 2 0 332370937 155471872 33735 33554432000 4194304 5964350 140734291969104 140030585513784 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 151828
[startup+222.3 s]
/proc/loadavg: 2.04 2.01 2.18 3/177 23697
/proc/meminfo: memFree=28191160/32873852 swapFree=7624/7624
[pid=23687] ppid=23685 vsize=217364 CPUtime=222.2 cores=0,2,4,6
/proc/23687/stat : 23687 (wbo1.72) S 23685 23687 23631 0 -1 4202496 40694 0 0 0 22206 14 0 0 20 0 2 0 332370935 222580736 39266 33554432000 4194304 5964350 140734291969104 140734291968624 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23687/statm: 54341 39266 194 433 0 53905 0
[pid=23687/tid=23689] ppid=23685 vsize=217364 CPUtime=221.64 cores=0,2,4,6
/proc/23687/task/23689/stat : 23689 (wbo1.72) R 23685 23687 23631 0 -1 4202560 39457 0 0 0 22147 17 0 0 20 0 2 0 332370937 222580736 39266 33554432000 4194304 5964350 140734291969104 140030585514024 4400007 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 217364
[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.16 3/177 23697
/proc/meminfo: memFree=28151292/32873852 swapFree=7624/7624
[pid=23687] ppid=23685 vsize=220064 CPUtime=282.2 cores=0,2,4,6
/proc/23687/stat : 23687 (wbo1.72) S 23685 23687 23631 0 -1 4202496 48617 0 0 0 28202 18 0 0 20 0 2 0 332370935 225345536 47119 33554432000 4194304 5964350 140734291969104 140734291968624 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23687/statm: 55016 47119 194 433 0 54580 0
[pid=23687/tid=23689] ppid=23685 vsize=220064 CPUtime=281.49 cores=0,2,4,6
/proc/23687/task/23689/stat : 23689 (wbo1.72) R 23685 23687 23631 0 -1 4202560 47380 0 0 0 28127 22 0 0 20 0 2 0 332370937 225345536 47119 33554432000 4194304 5964350 140734291969104 140030585514024 4399998 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 220064
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.15 3/177 23697
/proc/meminfo: memFree=28100032/32873852 swapFree=7624/7624
[pid=23687] ppid=23685 vsize=286572 CPUtime=342.16 cores=0,2,4,6
/proc/23687/stat : 23687 (wbo1.72) S 23685 23687 23631 0 -1 4202496 56444 0 0 0 34193 23 0 0 20 0 2 0 332370935 293449728 55269 33554432000 4194304 5964350 140734291969104 140734291968624 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23687/statm: 71643 55269 194 433 0 71207 0
[pid=23687/tid=23689] ppid=23685 vsize=286572 CPUtime=341.31 cores=0,2,4,6
/proc/23687/task/23689/stat : 23689 (wbo1.72) R 23685 23687 23631 0 -1 4202560 55207 0 0 0 34103 28 0 0 20 0 2 0 332370937 293449728 55269 33554432000 4194304 5964350 140734291969104 140030585513976 4400007 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 286572
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.14 3/176 23698
/proc/meminfo: memFree=28069272/32873852 swapFree=7624/7624
[pid=23687] ppid=23685 vsize=287544 CPUtime=402.15 cores=0,2,4,6
/proc/23687/stat : 23687 (wbo1.72) S 23685 23687 23631 0 -1 4202496 58457 0 0 0 40191 24 0 0 20 0 2 0 332370935 294445056 57350 33554432000 4194304 5964350 140734291969104 140734291968624 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23687/statm: 71886 57350 194 433 0 71450 0
[pid=23687/tid=23689] ppid=23685 vsize=287544 CPUtime=401.15 cores=0,2,4,6
/proc/23687/task/23689/stat : 23689 (wbo1.72) R 23685 23687 23631 0 -1 4202560 57220 0 0 0 40085 30 0 0 20 0 2 0 332370937 294445056 57350 33554432000 4194304 5964350 140734291969104 140030585513848 4400007 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 287544
[startup+462.3 s]
/proc/loadavg: 2.06 2.01 2.13 3/177 23699
/proc/meminfo: memFree=28046640/32873852 swapFree=7624/7624
[pid=23687] ppid=23685 vsize=289000 CPUtime=462.14 cores=0,2,4,6
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.03 3/177 23731
/proc/meminfo: memFree=27501364/32873852 swapFree=7624/7624
[pid=23687] ppid=23685 vsize=578576 CPUtime=1421.89 cores=0,2,4,6
/proc/23687/stat : 23687 (wbo1.72) S 23685 23687 23631 0 -1 4202496 136820 0 0 0 142116 73 0 0 20 0 2 0 332370935 592461824 136322 33554432000 4194304 5964350 140734291969104 140734291968624 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23687/statm: 144644 136322 194 433 0 144208 0
[pid=23687/tid=23689] ppid=23685 vsize=578576 CPUtime=1418.43 cores=0,2,4,6
/proc/23687/task/23689/stat : 23689 (wbo1.72) R 23685 23687 23631 0 -1 4202560 135583 0 0 0 141749 94 0 0 20 0 2 0 332370937 592461824 136322 33554432000 4194304 5964350 140734291969104 140030585513848 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 578576
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/177 23731
/proc/meminfo: memFree=27458460/32873852 swapFree=7624/7624
[pid=23687] ppid=23685 vsize=645408 CPUtime=1481.87 cores=0,2,4,6
/proc/23687/stat : 23687 (wbo1.72) S 23685 23687 23631 0 -1 4202496 144055 0 0 0 148108 79 0 0 20 0 2 0 332370935 660897792 143556 33554432000 4194304 5964350 140734291969104 140734291968624 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23687/statm: 161352 143556 194 433 0 160916 0
[pid=23687/tid=23689] ppid=23685 vsize=645408 CPUtime=1478.27 cores=0,2,4,6
/proc/23687/task/23689/stat : 23689 (wbo1.72) R 23685 23687 23631 0 -1 4202560 142818 0 0 0 147726 101 0 0 20 0 2 0 332370937 660897792 143556 33554432000 4194304 5964350 140734291969104 140030585513976 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 645408
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/177 23731
/proc/meminfo: memFree=27420144/32873852 swapFree=7624/7624
[pid=23687] ppid=23685 vsize=646940 CPUtime=1541.87 cores=0,2,4,6
/proc/23687/stat : 23687 (wbo1.72) S 23685 23687 23631 0 -1 4202496 149479 0 0 0 154103 84 0 0 20 0 2 0 332370935 662466560 148978 33554432000 4194304 5964350 140734291969104 140734291968624 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23687/statm: 161735 148978 194 433 0 161299 0
[pid=23687/tid=23689] ppid=23685 vsize=646940 CPUtime=1538.12 cores=0,2,4,6
/proc/23687/task/23689/stat : 23689 (wbo1.72) R 23685 23687 23631 0 -1 4202560 148242 0 0 0 153705 107 0 0 20 0 2 0 332370937 662466560 148978 33554432000 4194304 5964350 140734291969104 140030585513784 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 646940
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/177 23732
/proc/meminfo: memFree=27398004/32873852 swapFree=7624/7624
[pid=23687] ppid=23685 vsize=648472 CPUtime=1601.86 cores=0,2,4,6
/proc/23687/stat : 23687 (wbo1.72) S 23685 23687 23631 0 -1 4202496 151206 0 0 0 160100 86 0 0 20 0 2 0 332370935 664035328 150679 33554432000 4194304 5964350 140734291969104 140734291968624 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23687/statm: 162118 150679 194 433 0 161682 0
[pid=23687/tid=23689] ppid=23685 vsize=648472 CPUtime=1597.97 cores=0,2,4,6
/proc/23687/task/23689/stat : 23689 (wbo1.72) R 23685 23687 23631 0 -1 4202560 149969 0 0 0 159687 110 0 0 20 0 2 0 332370937 664035328 150679 33554432000 4194304 5964350 140734291969104 140030585513976 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 648472
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/177 23732
/proc/meminfo: memFree=27353308/32873852 swapFree=7624/7624
[pid=23687] ppid=23685 vsize=714492 CPUtime=1661.85 cores=0,2,4,6
/proc/23687/stat : 23687 (wbo1.72) S 23685 23687 23631 0 -1 4202496 158181 0 0 0 166093 92 0 0 20 0 2 0 332370935 731639808 157633 33554432000 4194304 5964350 140734291969104 140734291968624 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23687/statm: 178623 157633 194 433 0 178187 0
[pid=23687/tid=23689] ppid=23685 vsize=714492 CPUtime=1657.81 cores=0,2,4,6
/proc/23687/task/23689/stat : 23689 (wbo1.72) R 23685 23687 23631 0 -1 4202560 156944 0 0 0 165664 117 0 0 20 0 2 0 332370937 731639808 157633 33554432000 4194304 5964350 140734291969104 140030585513976 4399840 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 714492
[startup+1722.3 s]
/proc/loadavg: 2.05 2.01 2.01 3/177 23732
/proc/meminfo: memFree=27338100/32873852 swapFree=7624/7624
[pid=23687] ppid=23685 vsize=714816 CPUtime=1721.84 cores=0,2,4,6
/proc/23687/stat : 23687 (wbo1.72) S 23685 23687 23631 0 -1 4202496 161265 0 0 0 172089 95 0 0 20 0 2 0 332370935 731971584 160717 33554432000 4194304 5964350 140734291969104 140734291968624 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23687/statm: 178704 160717 194 433 0 178268 0
[pid=23687/tid=23689] ppid=23685 vsize=714816 CPUtime=1717.66 cores=0,2,4,6
/proc/23687/task/23689/stat : 23689 (wbo1.72) R 23685 23687 23631 0 -1 4202560 160028 0 0 0 171645 121 0 0 20 0 2 0 332370937 731971584 160717 33554432000 4194304 5964350 140734291969104 140030585514024 4400715 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 714816
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 23735
/proc/meminfo: memFree=27333504/32873852 swapFree=7624/7624
[pid=23687] ppid=23685 vsize=715464 CPUtime=1781.83 cores=0,2,4,6
/proc/23687/stat : 23687 (wbo1.72) S 23685 23687 23631 0 -1 4202496 161686 0 0 0 178088 95 0 0 20 0 2 0 332370935 732635136 161138 33554432000 4194304 5964350 140734291969104 140734291968624 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23687/statm: 178866 161138 194 433 0 178430 0
[pid=23687/tid=23689] ppid=23685 vsize=715464 CPUtime=1777.5 cores=0,2,4,6
/proc/23687/task/23689/stat : 23689 (wbo1.72) R 23685 23687 23631 0 -1 4202560 160449 0 0 0 177628 122 0 0 20 0 2 0 332370937 732635136 161138 33554432000 4194304 5964350 140734291969104 140030585513976 4400352 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 715464
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 23735
/proc/meminfo: memFree=27325940/32873852 swapFree=7624/7624
[pid=23687] ppid=23685 vsize=715948 CPUtime=1791.44 cores=0,2,4,6
/proc/23687/stat : 23687 (wbo1.72) S 23685 23687 23631 0 -1 4202496 163509 0 0 0 179047 97 0 0 20 0 2 0 332370935 733130752 162961 33554432000 4194304 5964350 140734291969104 140734291968624 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23687/statm: 178987 162961 194 433 0 178551 0
[pid=23687/tid=23689] ppid=23685 vsize=715948 CPUtime=1787.09 cores=0,2,4,6
/proc/23687/task/23689/stat : 23689 (wbo1.72) R 23685 23687 23631 0 -1 4202560 162272 0 0 0 178585 124 0 0 20 0 2 0 332370937 733130752 162961 33554432000 4194304 5964350 140734291969104 140030585513976 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1791.44
Current children cumulated vsize (KiB) 715948
[startup+1795.1 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 23735
/proc/meminfo: memFree=27323460/32873852 swapFree=7624/7624
[pid=23687] ppid=23685 vsize=716272 CPUtime=1794.63 cores=0,2,4,6
/proc/23687/stat : 23687 (wbo1.72) S 23685 23687 23631 0 -1 4202496 164193 0 0 0 179366 97 0 0 20 0 2 0 332370935 733462528 163645 33554432000 4194304 5964350 140734291969104 140734291968624 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23687/statm: 179068 163645 194 433 0 178632 0
[pid=23687/tid=23689] ppid=23685 vsize=716272 CPUtime=1790.28 cores=0,2,4,6
/proc/23687/task/23689/stat : 23689 (wbo1.72) R 23685 23687 23631 0 -1 4202560 162956 0 0 0 178904 124 0 0 20 0 2 0 332370937 733462528 163645 33554432000 4194304 5964350 140734291969104 140030585513976 4399866 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1794.63
Current children cumulated vsize (KiB) 716272
[startup+1798.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 23735
/proc/meminfo: memFree=27321476/32873852 swapFree=7624/7624
[pid=23687] ppid=23685 vsize=716756 CPUtime=1797.83 cores=0,2,4,6
/proc/23687/stat : 23687 (wbo1.72) S 23685 23687 23631 0 -1 4202496 164756 0 0 0 179685 98 0 0 20 0 2 0 332370935 733958144 164208 33554432000 4194304 5964350 140734291969104 140734291968624 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23687/statm: 179189 164208 194 433 0 178753 0
[pid=23687/tid=23689] ppid=23685 vsize=716756 CPUtime=1793.46 cores=0,2,4,6
/proc/23687/task/23689/stat : 23689 (wbo1.72) R 23685 23687 23631 0 -1 4202560 163519 0 0 0 179221 125 0 0 20 0 2 0 332370937 733958144 164208 33554432000 4194304 5964350 140734291969104 140030585514024 4399987 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1797.83
Current children cumulated vsize (KiB) 716756
[startup+1799.1 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 23735
/proc/meminfo: memFree=27320732/32873852 swapFree=7624/7624
[pid=23687] ppid=23685 vsize=716756 CPUtime=1798.63 cores=0,2,4,6
/proc/23687/stat : 23687 (wbo1.72) S 23685 23687 23631 0 -1 4202496 164823 0 0 0 179765 98 0 0 20 0 2 0 332370935 733958144 164275 33554432000 4194304 5964350 140734291969104 140734291968624 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23687/statm: 179189 164275 194 433 0 178753 0
[pid=23687/tid=23689] ppid=23685 vsize=716756 CPUtime=1794.26 cores=0,2,4,6
/proc/23687/task/23689/stat : 23689 (wbo1.72) R 23685 23687 23631 0 -1 4202560 163586 0 0 0 179301 125 0 0 20 0 2 0 332370937 733958144 164275 33554432000 4194304 5964350 140734291969104 140030585513784 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.63
Current children cumulated vsize (KiB) 716756
[startup+1799.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 23735
/proc/meminfo: memFree=27320236/32873852 swapFree=7624/7624
[pid=23687] ppid=23685 vsize=716756 CPUtime=1799.03 cores=0,2,4,6
/proc/23687/stat : 23687 (wbo1.72) S 23685 23687 23631 0 -1 4202496 164885 0 0 0 179805 98 0 0 20 0 2 0 332370935 733958144 164337 33554432000 4194304 5964350 140734291969104 140734291968624 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23687/statm: 179189 164337 194 433 0 178753 0
[pid=23687/tid=23689] ppid=23685 vsize=716756 CPUtime=1794.67 cores=0,2,4,6
/proc/23687/task/23689/stat : 23689 (wbo1.72) R 23685 23687 23631 0 -1 4202560 163648 0 0 0 179342 125 0 0 20 0 2 0 332370937 733958144 164337 33554432000 4194304 5964350 140734291969104 140030585513976 4399944 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.03
Current children cumulated vsize (KiB) 716756
[startup+1799.9 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 23735
/proc/meminfo: memFree=27320236/32873852 swapFree=7624/7624
[pid=23687] ppid=23685 vsize=716756 CPUtime=1799.42 cores=0,2,4,6
/proc/23687/stat : 23687 (wbo1.72) S 23685 23687 23631 0 -1 4202496 164959 0 0 0 179844 98 0 0 20 0 2 0 332370935 733958144 164411 33554432000 4194304 5964350 140734291969104 140734291968624 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23687/statm: 179189 164411 194 433 0 178753 0
[pid=23687/tid=23689] ppid=23685 vsize=716756 CPUtime=1795.06 cores=0,2,4,6
/proc/23687/task/23689/stat : 23689 (wbo1.72) R 23685 23687 23631 0 -1 4202560 163722 0 0 0 179381 125 0 0 20 0 2 0 332370937 733958144 164411 33554432000 4194304 5964350 140734291969104 140030585513976 4400007 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.42
Current children cumulated vsize (KiB) 716756
[startup+1800 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 23735
/proc/meminfo: memFree=27320236/32873852 swapFree=7624/7624
[pid=23687] ppid=23685 vsize=716756 CPUtime=1799.52 cores=0,2,4,6
/proc/23687/stat : 23687 (wbo1.72) S 23685 23687 23631 0 -1 4202496 164971 0 0 0 179854 98 0 0 20 0 2 0 332370935 733958144 164423 33554432000 4194304 5964350 140734291969104 140734291968624 4546605 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23687/statm: 179189 164423 194 433 0 178753 0
[pid=23687/tid=23689] ppid=23685 vsize=716756 CPUtime=1795.16 cores=0,2,4,6
/proc/23687/task/23689/stat : 23689 (wbo1.72) R 23685 23687 23631 0 -1 4202560 163734 0 0 0 179391 125 0 0 20 0 2 0 332370937 733958144 164423 33554432000 4194304 5964350 140734291969104 140030585513976 4399858 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.52
Current children cumulated vsize (KiB) 716756
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23687 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=941279
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=275806
# CPU time returned by wait4() is 1795.22
# while last known CPU time is 1799.52
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.02
CPU time (s): 1799.52
CPU user time (s): 1798.54
CPU system time (s): 0.98
CPU usage (%): 99.9724
Max. virtual memory (cumulated for all children) (KiB): 716756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.94
system time used= 1.27581
maximum resident set size= 657700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 164973
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= 231
involuntary context switches= 1876
runsolver used 4.36634 second user time and 18.3512 second system time
The end