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-3705125-1338088817/watcher-3705125-1338088817 -o /tmp/evaluation-result-3705125-1338088817/solver-3705125-1338088817 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705125-1338088817.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/176 9961
/proc/meminfo: memFree=29954596/32873852 swapFree=7624/7624
[pid=9961] ppid=9959 vsize=21444 CPUtime=0 cores=0,2,4,6
/proc/9961/stat : 9961 (wbo1.7) R 9959 9961 9313 0 -1 4202496 622 0 0 0 0 0 0 0 20 0 1 0 275007229 21958656 574 33554432000 4194304 5963574 140737449052048 140733672070952 5178170 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/9961/statm: 5402 578 163 432 0 759 0
[startup+0.0848141 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 9961
/proc/meminfo: memFree=29954596/32873852 swapFree=7624/7624
[pid=9961] ppid=9959 vsize=26448 CPUtime=0.08 cores=0,2,4,6
/proc/9961/stat : 9961 (wbo1.7) R 9959 9961 9313 0 -1 4202496 2125 0 0 0 8 0 0 0 20 0 1 0 275007229 27082752 2044 33554432000 4194304 5963574 140737449052048 140733672070952 5367289 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/9961/statm: 6612 2045 459 432 0 1969 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 26448
[startup+0.100293 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 9961
/proc/meminfo: memFree=29954596/32873852 swapFree=7624/7624
[pid=9961] ppid=9959 vsize=26976 CPUtime=0.09 cores=0,2,4,6
/proc/9961/stat : 9961 (wbo1.7) R 9959 9961 9313 0 -1 4202496 2339 0 0 0 9 0 0 0 20 0 1 0 275007229 27623424 2258 33554432000 4194304 5963574 140737449052048 140733672070952 5135642 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/9961/statm: 6744 2258 518 432 0 2101 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26976
[startup+0.30026 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 9961
/proc/meminfo: memFree=29954596/32873852 swapFree=7624/7624
[pid=9961] ppid=9959 vsize=37068 CPUtime=0.28 cores=0,2,4,6
/proc/9961/stat : 9961 (wbo1.7) R 9959 9961 9313 0 -1 4202496 5679 0 0 0 28 0 0 0 20 0 1 0 275007229 37957632 5404 33554432000 4194304 5963574 140737449052048 140733672070952 4348547 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/9961/statm: 9267 5404 1254 432 0 4624 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 37068
[startup+0.700262 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 9961
/proc/meminfo: memFree=29954596/32873852 swapFree=7624/7624
[pid=9961] ppid=9959 vsize=55824 CPUtime=0.69 cores=0,2,4,6
/proc/9961/stat : 9961 (wbo1.7) R 9959 9961 9313 0 -1 4202496 12029 0 0 0 68 1 0 0 20 0 1 0 275007229 57163776 11497 33554432000 4194304 5963574 140737449052048 140737449050536 4419071 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/9961/statm: 13989 11499 2729 432 0 9346 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 55824
[startup+1.50016 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9962
/proc/meminfo: memFree=29901584/32873852 swapFree=7624/7624
[pid=9961] ppid=9959 vsize=206152 CPUtime=1.49 cores=0,2,4,6
/proc/9961/stat : 9961 (wbo1.7) S 9959 9961 9313 0 -1 4202496 41517 0 0 0 143 6 0 0 20 0 2 0 275007229 211099648 36775 33554432000 4194304 5963574 140737449052048 140737449051568 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9961/statm: 51538 36775 183 432 0 51103 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 206152
[startup+3.10031 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9963
/proc/meminfo: memFree=29734408/32873852 swapFree=7624/7624
[pid=9961] ppid=9959 vsize=265360 CPUtime=3.09 cores=0,2,4,6
/proc/9961/stat : 9961 (wbo1.7) S 9959 9961 9313 0 -1 4202496 58912 0 0 0 299 10 0 0 20 0 2 0 275007229 271728640 53468 33554432000 4194304 5963574 140737449052048 140737449051568 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9961/statm: 66340 53468 192 432 0 65905 0
[pid=9961/tid=9963] ppid=9959 vsize=265360 CPUtime=1.93 cores=0,2,4,6
/proc/9961/task/9963/stat : 9963 (wbo1.7) R 9959 9961 9313 0 -1 4202560 39626 0 0 0 186 7 0 0 20 0 2 0 275007344 271728640 53468 33554432000 4194304 5963574 140737449052048 140448043477528 4418992 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) 265360
[startup+6.30034 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9963
/proc/meminfo: memFree=29729316/32873852 swapFree=7624/7624
[pid=9961] ppid=9959 vsize=265360 CPUtime=6.29 cores=0,2,4,6
/proc/9961/stat : 9961 (wbo1.7) S 9959 9961 9313 0 -1 4202496 59131 0 0 0 619 10 0 0 20 0 2 0 275007229 271728640 53687 33554432000 4194304 5963574 140737449052048 140737449051568 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9961/statm: 66340 53687 192 432 0 65905 0
[pid=9961/tid=9963] ppid=9959 vsize=265360 CPUtime=5.12 cores=0,2,4,6
/proc/9961/task/9963/stat : 9963 (wbo1.7) R 9959 9961 9313 0 -1 4202560 39845 0 0 0 505 7 0 0 20 0 2 0 275007344 271728640 53687 33554432000 4194304 5963574 140737449052048 140448043477528 4444377 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) 265360
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9963
/proc/meminfo: memFree=29715072/32873852 swapFree=7624/7624
[pid=9961] ppid=9959 vsize=265360 CPUtime=12.69 cores=0,2,4,6
/proc/9961/stat : 9961 (wbo1.7) S 9959 9961 9313 0 -1 4202496 59713 0 0 0 1259 10 0 0 20 0 2 0 275007229 271728640 54269 33554432000 4194304 5963574 140737449052048 140737449051568 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9961/statm: 66340 54269 192 432 0 65905 0
[pid=9961/tid=9963] ppid=9959 vsize=265360 CPUtime=11.5 cores=0,2,4,6
/proc/9961/task/9963/stat : 9963 (wbo1.7) R 9959 9961 9313 0 -1 4202560 40427 0 0 0 1143 7 0 0 20 0 2 0 275007344 271728640 54269 33554432000 4194304 5963574 140737449052048 140448043477528 5132943 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 265360
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9963
/proc/meminfo: memFree=29689752/32873852 swapFree=7624/7624
[pid=9961] ppid=9959 vsize=273564 CPUtime=25.48 cores=0,2,4,6
/proc/9961/stat : 9961 (wbo1.7) S 9959 9961 9313 0 -1 4202496 72639 0 0 0 2535 13 0 0 20 0 2 0 275007229 280129536 59476 33554432000 4194304 5963574 140737449052048 140737449051568 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9961/statm: 68391 59476 195 432 0 67956 0
[pid=9961/tid=9963] ppid=9959 vsize=273564 CPUtime=24.27 cores=0,2,4,6
/proc/9961/task/9963/stat : 9963 (wbo1.7) R 9959 9961 9313 0 -1 4202560 53353 0 0 0 2417 10 0 0 20 0 2 0 275007344 280129536 59476 33554432000 4194304 5963574 140737449052048 140448043477400 4406699 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) 273564
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9963
/proc/meminfo: memFree=29534488/32873852 swapFree=7624/7624
[pid=9961] ppid=9959 vsize=461968 CPUtime=51.08 cores=0,2,4,6
/proc/9961/stat : 9961 (wbo1.7) S 9959 9961 9313 0 -1 4202496 109838 0 0 0 5089 19 0 0 20 0 2 0 275007229 473055232 95069 33554432000 4194304 5963574 140737449052048 140737449051568 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9961/statm: 115492 95069 196 432 0 115057 0
[pid=9961/tid=9963] ppid=9959 vsize=461968 CPUtime=49.8 cores=0,2,4,6
/proc/9961/task/9963/stat : 9963 (wbo1.7) R 9959 9961 9313 0 -1 4202560 90552 0 0 0 4964 16 0 0 20 0 2 0 275007344 473055232 95069 33554432000 4194304 5963574 140737449052048 140448043476984 4399623 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) 461968
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9963
/proc/meminfo: memFree=29349648/32873852 swapFree=7624/7624
[pid=9961] ppid=9959 vsize=593040 CPUtime=102.28 cores=0,2,4,6
/proc/9961/stat : 9961 (wbo1.7) S 9959 9961 9313 0 -1 4202496 144900 0 0 0 10204 24 0 0 20 0 2 0 275007229 607272960 133703 33554432000 4194304 5963574 140737449052048 140737449051568 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9961/statm: 148260 133703 196 432 0 147825 0
[pid=9961/tid=9963] ppid=9959 vsize=593040 CPUtime=100.87 cores=0,2,4,6
/proc/9961/task/9963/stat : 9963 (wbo1.7) R 9959 9961 9313 0 -1 4202560 125614 0 0 0 10066 21 0 0 20 0 2 0 275007344 607272960 133703 33554432000 4194304 5963574 140737449052048 140448043477336 4399623 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) 593040
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9964
/proc/meminfo: memFree=29239384/32873852 swapFree=7624/7624
[pid=9961] ppid=9959 vsize=658576 CPUtime=162.24 cores=0,2,4,6
/proc/9961/stat : 9961 (wbo1.7) S 9959 9961 9313 0 -1 4202496 162688 0 0 0 16197 27 0 0 20 0 2 0 275007229 674381824 152221 33554432000 4194304 5963574 140737449052048 140737449051568 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9961/statm: 164644 152221 196 432 0 164209 0
[pid=9961/tid=9963] ppid=9959 vsize=658576 CPUtime=160.7 cores=0,2,4,6
/proc/9961/task/9963/stat : 9963 (wbo1.7) R 9959 9961 9313 0 -1 4202560 143402 0 0 0 16044 26 0 0 20 0 2 0 275007344 674381824 152221 33554432000 4194304 5963574 140737449052048 140448043476984 4399614 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 658576
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9964
/proc/meminfo: memFree=28873620/32873852 swapFree=7624/7624
[pid=9961] ppid=9959 vsize=986256 CPUtime=222.22 cores=0,2,4,6
/proc/9961/stat : 9961 (wbo1.7) S 9959 9961 9313 0 -1 4202496 244906 0 0 0 22178 44 0 0 20 0 2 0 275007229 1009926144 234418 33554432000 4194304 5963574 140737449052048 140737449051568 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9961/statm: 246564 234418 196 432 0 246129 0
[pid=9961/tid=9963] ppid=9959 vsize=986256 CPUtime=220.52 cores=0,2,4,6
/proc/9961/task/9963/stat : 9963 (wbo1.7) R 9959 9961 9313 0 -1 4202560 225620 0 0 0 22009 43 0 0 20 0 2 0 275007344 1009926144 234418 33554432000 4194304 5963574 140737449052048 140448043476984 5135572 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 986256
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9964
/proc/meminfo: memFree=28572576/32873852 swapFree=7624/7624
[pid=9961] ppid=9959 vsize=1248400 CPUtime=282.18 cores=0,2,4,6
/proc/9961/stat : 9961 (wbo1.7) S 9959 9961 9313 0 -1 4202496 315742 0 0 0 28160 58 0 0 20 0 2 0 275007229 1278361600 305238 33554432000 4194304 5963574 140737449052048 140737449051568 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9961/statm: 312100 305238 196 432 0 311665 0
[pid=9961/tid=9963] ppid=9959 vsize=1248400 CPUtime=280.35 cores=0,2,4,6
/proc/9961/task/9963/stat : 9963 (wbo1.7) R 9959 9961 9313 0 -1 4202560 296456 0 0 0 27976 59 0 0 20 0 2 0 275007344 1278361600 305238 33554432000 4194304 5963574 140737449052048 140448043476984 5135572 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 1248400
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9964
/proc/meminfo: memFree=28217292/32873852 swapFree=7624/7624
[pid=9961] ppid=9959 vsize=1576080 CPUtime=342.16 cores=0,2,4,6
/proc/9961/stat : 9961 (wbo1.7) S 9959 9961 9313 0 -1 4202496 387749 0 0 0 34143 73 0 0 20 0 2 0 275007229 1613905920 377225 33554432000 4194304 5963574 140737449052048 140737449051568 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9961/statm: 394020 377225 196 432 0 393585 0
[pid=9961/tid=9963] ppid=9959 vsize=1576080 CPUtime=340.18 cores=0,2,4,6
/proc/9961/task/9963/stat : 9963 (wbo1.7) R 9959 9961 9313 0 -1 4202560 368463 0 0 0 33943 75 0 0 20 0 2 0 275007344 1613905920 377225 33554432000 4194304 5963574 140737449052048 140448043476984 4399651 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) 1576080
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9965
/proc/meminfo: memFree=27945212/32873852 swapFree=7624/7624
[pid=9961] ppid=9959 vsize=1838224 CPUtime=402.15 cores=0,2,4,6
/proc/9961/stat : 9961 (wbo1.7) S 9959 9961 9313 0 -1 4202496 449731 0 0 0 40127 88 0 0 20 0 2 0 275007229 1882341376 439712 33554432000 4194304 5963574 140737449052048 140737449051568 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9961/statm: 459556 439712 196 432 0 459121 0
[pid=9961/tid=9963] ppid=9959 vsize=1838224 CPUtime=400.02 cores=0,2,4,6
/proc/9961/task/9963/stat : 9963 (wbo1.7) R 9959 9961 9313 0 -1 4202560 430445 0 0 0 39912 90 0 0 20 0 2 0 275007344 1882341376 439712 33554432000 4194304 5963574 140737449052048 140448043476984 4388636 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) 1838224
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9966
/proc/meminfo: memFree=27618756/32873852 swapFree=7624/7624
[pid=9961] ppid=9959 vsize=2100368 CPUtime=462.14 cores=0,2,4,6
/proc/9961/stat : 9961 (wbo1.7) S 9959 9961 9313 0 -1 4202496 516233 0 0 0 46112 102 0 0 20 0 2 0 275007229 2150776832 506214 33554432000 4194304 5963574 140737449052048 140737449051568 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9961/statm: 525092 506214 196 432 0 524657 0
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 9975
/proc/meminfo: memFree=24019900/32873852 swapFree=7624/7624
[pid=9961] ppid=9959 vsize=5311632 CPUtime=1421.82 cores=0,2,4,6
/proc/9961/stat : 9961 (wbo1.7) S 9959 9961 9313 0 -1 4202496 1331397 0 0 0 141903 279 0 0 20 0 2 0 275007229 5439111168 1321288 33554432000 4194304 5963574 140737449052048 140737449051568 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9961/statm: 1327908 1321288 196 432 0 1327473 0
[pid=9961/tid=9963] ppid=9959 vsize=5311632 CPUtime=1417.24 cores=0,2,4,6
/proc/9961/task/9963/stat : 9963 (wbo1.7) R 9959 9961 9313 0 -1 4202560 1312111 0 0 0 141428 296 0 0 20 0 2 0 275007344 5439111168 1321288 33554432000 4194304 5963574 140737449052048 140448043476984 4399614 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 5311632
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 9975
/proc/meminfo: memFree=23880800/32873852 swapFree=7624/7624
[pid=9961] ppid=9959 vsize=5508240 CPUtime=1481.78 cores=0,2,4,6
/proc/9961/stat : 9961 (wbo1.7) S 9959 9961 9313 0 -1 4202496 1366397 0 0 0 147891 287 0 0 20 0 2 0 275007229 5640437760 1356278 33554432000 4194304 5963574 140737449052048 140737449051568 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9961/statm: 1377060 1356278 196 432 0 1376625 0
[pid=9961/tid=9963] ppid=9959 vsize=5508240 CPUtime=1477.06 cores=0,2,4,6
/proc/9961/task/9963/stat : 9963 (wbo1.7) R 9959 9961 9313 0 -1 4202560 1347111 0 0 0 147400 306 0 0 20 0 2 0 275007344 5640437760 1356278 33554432000 4194304 5963574 140737449052048 140448043476984 4399623 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 5508240
[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 9975
/proc/meminfo: memFree=23700036/32873852 swapFree=7624/7624
[pid=9961] ppid=9959 vsize=5639312 CPUtime=1541.75 cores=0,2,4,6
/proc/9961/stat : 9961 (wbo1.7) S 9959 9961 9313 0 -1 4202496 1401417 0 0 0 153880 295 0 0 20 0 2 0 275007229 5774655488 1391282 33554432000 4194304 5963574 140737449052048 140737449051568 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9961/statm: 1409828 1391282 196 432 0 1409393 0
[pid=9961/tid=9963] ppid=9959 vsize=5639312 CPUtime=1536.88 cores=0,2,4,6
/proc/9961/task/9963/stat : 9963 (wbo1.7) R 9959 9961 9313 0 -1 4202560 1382131 0 0 0 153374 314 0 0 20 0 2 0 275007344 5774655488 1391282 33554432000 4194304 5963574 140737449052048 140448043476984 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 5639312
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9975
/proc/meminfo: memFree=23508980/32873852 swapFree=7624/7624
[pid=9961] ppid=9959 vsize=5770384 CPUtime=1601.71 cores=0,2,4,6
/proc/9961/stat : 9961 (wbo1.7) S 9959 9961 9313 0 -1 4202496 1444151 0 0 0 159865 306 0 0 20 0 2 0 275007229 5908873216 1434002 33554432000 4194304 5963574 140737449052048 140737449051568 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9961/statm: 1442596 1434002 196 432 0 1442161 0
[pid=9961/tid=9963] ppid=9959 vsize=5770384 CPUtime=1596.71 cores=0,2,4,6
/proc/9961/task/9963/stat : 9963 (wbo1.7) R 9959 9961 9313 0 -1 4202560 1424865 0 0 0 159344 327 0 0 20 0 2 0 275007344 5908873216 1434002 33554432000 4194304 5963574 140737449052048 140448043476984 4222464 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 5770384
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9976
/proc/meminfo: memFree=23397036/32873852 swapFree=7624/7624
[pid=9961] ppid=9959 vsize=5901456 CPUtime=1661.68 cores=0,2,4,6
/proc/9961/stat : 9961 (wbo1.7) S 9959 9961 9313 0 -1 4202496 1471257 0 0 0 165856 312 0 0 20 0 2 0 275007229 6043090944 1461102 33554432000 4194304 5963574 140737449052048 140737449051568 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9961/statm: 1475364 1461102 196 432 0 1474929 0
[pid=9961/tid=9963] ppid=9959 vsize=5901456 CPUtime=1656.54 cores=0,2,4,6
/proc/9961/task/9963/stat : 9963 (wbo1.7) R 9959 9961 9313 0 -1 4202560 1451971 0 0 0 165320 334 0 0 20 0 2 0 275007344 6043090944 1461102 33554432000 4194304 5963574 140737449052048 140448043476984 4399592 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 5901456
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9976
/proc/meminfo: memFree=23209824/32873852 swapFree=7624/7624
[pid=9961] ppid=9959 vsize=6098064 CPUtime=1721.66 cores=0,2,4,6
/proc/9961/stat : 9961 (wbo1.7) S 9959 9961 9313 0 -1 4202496 1518255 0 0 0 171842 324 0 0 20 0 2 0 275007229 6244417536 1508089 33554432000 4194304 5963574 140737449052048 140737449051568 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9961/statm: 1524516 1508089 196 432 0 1524081 0
[pid=9961/tid=9963] ppid=9959 vsize=6098064 CPUtime=1716.37 cores=0,2,4,6
/proc/9961/task/9963/stat : 9963 (wbo1.7) R 9959 9961 9313 0 -1 4202560 1498969 0 0 0 171291 346 0 0 20 0 2 0 275007344 6244417536 1508089 33554432000 4194304 5963574 140737449052048 140448043476984 5135572 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.66
Current children cumulated vsize (KiB) 6098064
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 9976
/proc/meminfo: memFree=23055004/32873852 swapFree=7624/7624
[pid=9961] ppid=9959 vsize=6229136 CPUtime=1781.64 cores=0,2,4,6
/proc/9961/stat : 9961 (wbo1.7) S 9959 9961 9313 0 -1 4202496 1556281 0 0 0 177832 332 0 0 20 0 2 0 275007229 6378635264 1546372 33554432000 4194304 5963574 140737449052048 140737449051568 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9961/statm: 1557284 1546372 196 432 0 1556849 0
[pid=9961/tid=9963] ppid=9959 vsize=6229136 CPUtime=1776.21 cores=0,2,4,6
/proc/9961/task/9963/stat : 9963 (wbo1.7) R 9959 9961 9313 0 -1 4202560 1536995 0 0 0 177267 354 0 0 20 0 2 0 275007344 6378635264 1546372 33554432000 4194304 5963574 140737449052048 140448043476984 5135572 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.64
Current children cumulated vsize (KiB) 6229136
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 9979
/proc/meminfo: memFree=23022972/32873852 swapFree=7624/7624
[pid=9961] ppid=9959 vsize=6294672 CPUtime=1791.24 cores=0,2,4,6
/proc/9961/stat : 9961 (wbo1.7) S 9959 9961 9313 0 -1 4202496 1562918 0 0 0 178791 333 0 0 20 0 2 0 275007229 6445744128 1553009 33554432000 4194304 5963574 140737449052048 140737449051568 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9961/statm: 1573668 1553009 196 432 0 1573233 0
[pid=9961/tid=9963] ppid=9959 vsize=6294672 CPUtime=1785.79 cores=0,2,4,6
/proc/9961/task/9963/stat : 9963 (wbo1.7) R 9959 9961 9313 0 -1 4202560 1543632 0 0 0 178222 357 0 0 20 0 2 0 275007344 6445744128 1553009 33554432000 4194304 5963574 140737449052048 140448043476984 4399623 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1791.24
Current children cumulated vsize (KiB) 6294672
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10018
/proc/meminfo: memFree=23732148/32873852 swapFree=7624/7624
[pid=9961] ppid=9959 vsize=6294672 CPUtime=1794.44 cores=0,2,4,6
/proc/9961/stat : 9961 (wbo1.7) S 9959 9961 9313 0 -1 4202496 1565890 0 0 0 179110 334 0 0 20 0 2 0 275007229 6445744128 1555981 33554432000 4194304 5963574 140737449052048 140737449051568 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9961/statm: 1573668 1555981 196 432 0 1573233 0
[pid=9961/tid=9963] ppid=9959 vsize=6294672 CPUtime=1788.98 cores=0,2,4,6
/proc/9961/task/9963/stat : 9963 (wbo1.7) R 9959 9961 9313 0 -1 4202560 1546604 0 0 0 178540 358 0 0 20 0 2 0 275007344 6445744128 1555981 33554432000 4194304 5963574 140737449052048 140448043476984 4399603 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1794.44
Current children cumulated vsize (KiB) 6294672
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10018
/proc/meminfo: memFree=23710440/32873852 swapFree=7624/7624
[pid=9961] ppid=9959 vsize=6294672 CPUtime=1797.64 cores=0,2,4,6
/proc/9961/stat : 9961 (wbo1.7) S 9959 9961 9313 0 -1 4202496 1568135 0 0 0 179429 335 0 0 20 0 2 0 275007229 6445744128 1558226 33554432000 4194304 5963574 140737449052048 140737449051568 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9961/statm: 1573668 1558226 196 432 0 1573233 0
[pid=9961/tid=9963] ppid=9959 vsize=6294672 CPUtime=1792.17 cores=0,2,4,6
/proc/9961/task/9963/stat : 9963 (wbo1.7) R 9959 9961 9313 0 -1 4202560 1548849 0 0 0 178859 358 0 0 20 0 2 0 275007344 6445744128 1558226 33554432000 4194304 5963574 140737449052048 140448043476984 4388700 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1797.64
Current children cumulated vsize (KiB) 6294672
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10018
/proc/meminfo: memFree=23707092/32873852 swapFree=7624/7624
[pid=9961] ppid=9959 vsize=6294672 CPUtime=1798.44 cores=0,2,4,6
/proc/9961/stat : 9961 (wbo1.7) S 9959 9961 9313 0 -1 4202496 1568468 0 0 0 179509 335 0 0 20 0 2 0 275007229 6445744128 1558559 33554432000 4194304 5963574 140737449052048 140737449051568 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9961/statm: 1573668 1558559 196 432 0 1573233 0
[pid=9961/tid=9963] ppid=9959 vsize=6294672 CPUtime=1792.96 cores=0,2,4,6
/proc/9961/task/9963/stat : 9963 (wbo1.7) R 9959 9961 9313 0 -1 4202560 1549182 0 0 0 178938 358 0 0 20 0 2 0 275007344 6445744128 1558559 33554432000 4194304 5963574 140737449052048 140448043476984 4399592 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.44
Current children cumulated vsize (KiB) 6294672
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10018
/proc/meminfo: memFree=23701760/32873852 swapFree=7624/7624
[pid=9961] ppid=9959 vsize=6294672 CPUtime=1799.24 cores=0,2,4,6
/proc/9961/stat : 9961 (wbo1.7) S 9959 9961 9313 0 -1 4202496 1568906 0 0 0 179589 335 0 0 20 0 2 0 275007229 6445744128 1558997 33554432000 4194304 5963574 140737449052048 140737449051568 4545837 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9961/statm: 1573668 1558997 196 432 0 1573233 0
[pid=9961/tid=9963] ppid=9959 vsize=6294672 CPUtime=1793.76 cores=0,2,4,6
/proc/9961/task/9963/stat : 9963 (wbo1.7) R 9959 9961 9313 0 -1 4202560 1549620 0 0 0 179018 358 0 0 20 0 2 0 275007344 6445744128 1558997 33554432000 4194304 5963574 140737449052048 140448043476984 4400055 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.24
Current children cumulated vsize (KiB) 6294672
[startup+1800.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10018
/proc/meminfo: memFree=23701760/32873852 swapFree=7624/7624
[pid=9961] ppid=9959 vsize=0 CPUtime=1799.43 cores=0,2,4,6
/proc/9961/stat : 9961 (wbo1.7) Z 9959 9961 9313 0 -1 4203532 1568943 0 0 0 179599 344 0 0 20 0 2 0 275007229 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9961/statm: 0 0 0 0 0 0 0
[pid=9961/tid=9963] ppid=9959 vsize=0 CPUtime=1793.96 cores=0,2,4,6
/proc/9961/task/9963/stat : 9963 (wbo1.7) R 9959 9961 9313 0 -1 4202564 1549657 0 0 0 179028 368 0 0 20 0 2 0 275007344 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.43
Current children cumulated vsize (KiB) 0
[startup+1800.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10018
/proc/meminfo: memFree=23701760/32873852 swapFree=7624/7624
[pid=9961] ppid=9959 vsize=0 CPUtime=1799.53 cores=0,2,4,6
/proc/9961/stat : 9961 (wbo1.7) Z 9959 9961 9313 0 -1 4203532 1568943 0 0 0 179599 354 0 0 20 0 2 0 275007229 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9961/statm: 0 0 0 0 0 0 0
[pid=9961/tid=9963] ppid=9959 vsize=0 CPUtime=1794.06 cores=0,2,4,6
/proc/9961/task/9963/stat : 9963 (wbo1.7) R 9959 9961 9313 0 -1 4202564 1549657 0 0 0 179028 378 0 0 20 0 2 0 275007344 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.53
Current children cumulated vsize (KiB) 0
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9961 and gives
# childrusage.ru_utime.tv_sec=1791
# childrusage.ru_utime.tv_usec=406664
# childrusage.ru_stime.tv_sec=3
# childrusage.ru_stime.tv_usec=851414
# CPU time returned by wait4() is 1795.26
# while last known CPU time is 1799.53
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.23
CPU time (s): 1799.53
CPU user time (s): 1795.99
CPU system time (s): 3.54
CPU usage (%): 99.961
Max. virtual memory (cumulated for all children) (KiB): 6294672
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.41
system time used= 3.85141
maximum resident set size= 6236136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1568943
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= 575
involuntary context switches= 1817
runsolver used 2.72059 second user time and 7.10392 second system time
The end