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-3704399-1338106168/watcher-3704399-1338106168 -o /tmp/evaluation-result-3704399-1338106168/solver-3704399-1338106168 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3704399-1338106168.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.03 2.01 2.00 2/177 21145
/proc/meminfo: memFree=27745260/32873844 swapFree=6856/6856
[pid=21145] ppid=21143 vsize=5456 CPUtime=0 cores=1,3,5,7
/proc/21145/stat : 21145 (pwbo2.0) R 21143 21145 18256 0 -1 4202496 565 0 0 0 0 0 0 0 20 0 1 0 276745319 5586944 518 33554432000 4194304 5965102 140736759444272 140737034132984 4396569 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/21145/statm: 1364 520 165 433 0 625 0
[startup+0.0937521 s]
/proc/loadavg: 2.03 2.01 2.00 2/177 21145
/proc/meminfo: memFree=27745260/32873844 swapFree=6856/6856
[pid=21145] ppid=21143 vsize=11896 CPUtime=0.08 cores=1,3,5,7
/proc/21145/stat : 21145 (pwbo2.0) R 21143 21145 18256 0 -1 4202496 2381 0 0 0 8 0 0 0 20 0 1 0 276745319 12181504 2333 33554432000 4194304 5965102 140736759444272 140737034132984 4350875 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/21145/statm: 2974 2333 454 433 0 2235 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11896
[startup+0.100178 s]
/proc/loadavg: 2.03 2.01 2.00 2/177 21145
/proc/meminfo: memFree=27745260/32873844 swapFree=6856/6856
[pid=21145] ppid=21143 vsize=93252 CPUtime=0.08 cores=1,3,5,7
/proc/21145/stat : 21145 (pwbo2.0) S 21143 21145 18256 0 -1 4202496 3465 0 0 0 8 0 0 0 20 0 2 0 276745319 95490048 3114 33554432000 4194304 5965102 140736759444272 140736759443792 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21145/statm: 23313 3114 176 433 0 22877 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 93252
[startup+0.300175 s]
/proc/loadavg: 2.03 2.01 2.00 2/177 21145
/proc/meminfo: memFree=27745260/32873844 swapFree=6856/6856
[pid=21145] ppid=21143 vsize=93088 CPUtime=0.29 cores=1,3,5,7
/proc/21145/stat : 21145 (pwbo2.0) S 21143 21145 18256 0 -1 4202496 5680 0 0 0 28 1 0 0 20 0 2 0 276745319 95322112 4862 33554432000 4194304 5965102 140736759444272 140736759443792 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21145/statm: 23272 4862 190 433 0 22836 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 93088
[startup+0.70013 s]
/proc/loadavg: 2.03 2.01 2.00 2/177 21145
/proc/meminfo: memFree=27745260/32873844 swapFree=6856/6856
[pid=21145] ppid=21143 vsize=93088 CPUtime=0.68 cores=1,3,5,7
/proc/21145/stat : 21145 (pwbo2.0) S 21143 21145 18256 0 -1 4202496 6015 0 0 0 67 1 0 0 20 0 2 0 276745319 95322112 5197 33554432000 4194304 5965102 140736759444272 140736759443792 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21145/statm: 23272 5197 190 433 0 22836 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 93088
[startup+1.50026 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 21147
/proc/meminfo: memFree=27724876/32873844 swapFree=6856/6856
[pid=21145] ppid=21143 vsize=93088 CPUtime=1.48 cores=1,3,5,7
/proc/21145/stat : 21145 (pwbo2.0) S 21143 21145 18256 0 -1 4202496 6469 0 0 0 147 1 0 0 20 0 2 0 276745319 95322112 5651 33554432000 4194304 5965102 140736759444272 140736759443792 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21145/statm: 23272 5651 190 433 0 22836 0
[pid=21145/tid=21147] ppid=21143 vsize=93088 CPUtime=1.38 cores=1,3,5,7
/proc/21145/task/21147/stat : 21147 (pwbo2.0) R 21143 21145 18256 0 -1 4202560 3596 0 0 0 137 1 0 0 20 0 2 0 276745328 95322112 5651 33554432000 4194304 5965102 140736759444272 139806498789368 4222416 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 93088
[startup+3.10027 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 21147
/proc/meminfo: memFree=27721900/32873844 swapFree=6856/6856
[pid=21145] ppid=21143 vsize=93088 CPUtime=3.09 cores=1,3,5,7
/proc/21145/stat : 21145 (pwbo2.0) S 21143 21145 18256 0 -1 4202496 7382 0 0 0 307 2 0 0 20 0 2 0 276745319 95322112 6564 33554432000 4194304 5965102 140736759444272 140736759443792 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21145/statm: 23272 6564 190 433 0 22836 0
[pid=21145/tid=21147] ppid=21143 vsize=93088 CPUtime=2.98 cores=1,3,5,7
/proc/21145/task/21147/stat : 21147 (pwbo2.0) R 21143 21145 18256 0 -1 4202560 4509 0 0 0 297 1 0 0 20 0 2 0 276745328 95322112 6564 33554432000 4194304 5965102 140736759444272 139806498789368 4401582 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 93088
[startup+6.30032 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 21147
/proc/meminfo: memFree=27713344/32873844 swapFree=6856/6856
[pid=21145] ppid=21143 vsize=93088 CPUtime=6.28 cores=1,3,5,7
/proc/21145/stat : 21145 (pwbo2.0) S 21143 21145 18256 0 -1 4202496 9500 0 0 0 625 3 0 0 20 0 2 0 276745319 95322112 8682 33554432000 4194304 5965102 140736759444272 140736759443792 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21145/statm: 23272 8682 190 433 0 22836 0
[pid=21145/tid=21147] ppid=21143 vsize=93088 CPUtime=6.17 cores=1,3,5,7
/proc/21145/task/21147/stat : 21147 (pwbo2.0) R 21143 21145 18256 0 -1 4202560 6627 0 0 0 615 2 0 0 20 0 2 0 276745328 95322112 8682 33554432000 4194304 5965102 140736759444272 139806498789176 18446744073699066235 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 93088
[startup+12.7003 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 21147
/proc/meminfo: memFree=27703952/32873844 swapFree=6856/6856
[pid=21145] ppid=21143 vsize=93088 CPUtime=12.68 cores=1,3,5,7
/proc/21145/stat : 21145 (pwbo2.0) S 21143 21145 18256 0 -1 4202496 11202 0 0 0 1265 3 0 0 20 0 2 0 276745319 95322112 10384 33554432000 4194304 5965102 140736759444272 140736759443792 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21145/statm: 23272 10384 190 433 0 22836 0
[pid=21145/tid=21147] ppid=21143 vsize=93088 CPUtime=12.55 cores=1,3,5,7
/proc/21145/task/21147/stat : 21147 (pwbo2.0) R 21143 21145 18256 0 -1 4202560 8329 0 0 0 1252 3 0 0 20 0 2 0 276745328 95322112 10384 33554432000 4194304 5965102 140736759444272 139806498789368 4382641 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 93088
[startup+25.5003 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 21147
/proc/meminfo: memFree=27675680/32873844 swapFree=6856/6856
[pid=21145] ppid=21143 vsize=93088 CPUtime=25.48 cores=1,3,5,7
/proc/21145/stat : 21145 (pwbo2.0) S 21143 21145 18256 0 -1 4202496 15356 0 0 0 2542 6 0 0 20 0 2 0 276745319 95322112 14538 33554432000 4194304 5965102 140736759444272 140736759443792 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21145/statm: 23272 14538 190 433 0 22836 0
[pid=21145/tid=21147] ppid=21143 vsize=93088 CPUtime=25.32 cores=1,3,5,7
/proc/21145/task/21147/stat : 21147 (pwbo2.0) R 21143 21145 18256 0 -1 4202560 12483 0 0 0 2527 5 0 0 20 0 2 0 276745328 95322112 14538 33554432000 4194304 5965102 140736759444272 139806498789368 4401582 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 93088
[startup+51.1003 s]
/proc/loadavg: 2.06 2.02 2.00 3/180 21150
/proc/meminfo: memFree=27581308/32873844 swapFree=6856/6856
[pid=21145] ppid=21143 vsize=158624 CPUtime=51.08 cores=1,3,5,7
/proc/21145/stat : 21145 (pwbo2.0) S 21143 21145 18256 0 -1 4202496 25780 0 0 0 5098 10 0 0 20 0 2 0 276745319 162430976 24962 33554432000 4194304 5965102 140736759444272 140736759443792 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21145/statm: 39656 24962 190 433 0 39220 0
[pid=21145/tid=21147] ppid=21143 vsize=158624 CPUtime=50.86 cores=1,3,5,7
/proc/21145/task/21147/stat : 21147 (pwbo2.0) R 21143 21145 18256 0 -1 4202560 22907 0 0 0 5077 9 0 0 20 0 2 0 276745328 162430976 24962 33554432000 4194304 5965102 140736759444272 139806498789368 5137146 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 158624
[startup+102.307 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 21150
/proc/meminfo: memFree=27511316/32873844 swapFree=6856/6856
[pid=21145] ppid=21143 vsize=159348 CPUtime=102.26 cores=1,3,5,7
/proc/21145/stat : 21145 (pwbo2.0) S 21143 21145 18256 0 -1 4202496 34491 0 0 0 10213 13 0 0 20 0 2 0 276745319 163172352 33784 33554432000 4194304 5965102 140736759444272 140736759443792 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21145/statm: 39837 33784 190 433 0 39401 0
[pid=21145/tid=21147] ppid=21143 vsize=159348 CPUtime=101.91 cores=1,3,5,7
/proc/21145/task/21147/stat : 21147 (pwbo2.0) R 21143 21145 18256 0 -1 4202560 31618 0 0 0 10178 13 0 0 20 0 2 0 276745328 163172352 33784 33554432000 4194304 5965102 140736759444272 139806498789368 4390172 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 159348
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 21151
/proc/meminfo: memFree=27492080/32873844 swapFree=6856/6856
[pid=21145] ppid=21143 vsize=224884 CPUtime=162.23 cores=1,3,5,7
/proc/21145/stat : 21145 (pwbo2.0) S 21143 21145 18256 0 -1 4202496 38809 0 0 0 16208 15 0 0 20 0 2 0 276745319 230281216 38576 33554432000 4194304 5965102 140736759444272 140736759443792 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21145/statm: 56221 38576 190 433 0 55785 0
[pid=21145/tid=21147] ppid=21143 vsize=224884 CPUtime=161.73 cores=1,3,5,7
/proc/21145/task/21147/stat : 21147 (pwbo2.0) R 21143 21145 18256 0 -1 4202560 35936 0 0 0 16157 16 0 0 20 0 2 0 276745328 230281216 38576 33554432000 4194304 5965102 140736759444272 139806498789176 4400949 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 224884
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 21151
/proc/meminfo: memFree=27456460/32873844 swapFree=6856/6856
[pid=21145] ppid=21143 vsize=225244 CPUtime=222.22 cores=1,3,5,7
/proc/21145/stat : 21145 (pwbo2.0) S 21143 21145 18256 0 -1 4202496 47646 0 0 0 22204 18 0 0 20 0 2 0 276745319 230649856 47413 33554432000 4194304 5965102 140736759444272 140736759443792 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21145/statm: 56311 47413 190 433 0 55875 0
[pid=21145/tid=21147] ppid=21143 vsize=225244 CPUtime=221.58 cores=1,3,5,7
/proc/21145/task/21147/stat : 21147 (pwbo2.0) R 21143 21145 18256 0 -1 4202560 44773 0 0 0 22138 20 0 0 20 0 2 0 276745328 230649856 47413 33554432000 4194304 5965102 140736759444272 139806498789368 4383254 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 225244
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21151
/proc/meminfo: memFree=27446432/32873844 swapFree=6856/6856
[pid=21145] ppid=21143 vsize=225244 CPUtime=282.21 cores=1,3,5,7
/proc/21145/stat : 21145 (pwbo2.0) S 21143 21145 18256 0 -1 4202496 50564 0 0 0 28202 19 0 0 20 0 2 0 276745319 230649856 50331 33554432000 4194304 5965102 140736759444272 140736759443792 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21145/statm: 56311 50331 190 433 0 55875 0
[pid=21145/tid=21147] ppid=21143 vsize=225244 CPUtime=281.42 cores=1,3,5,7
/proc/21145/task/21147/stat : 21147 (pwbo2.0) R 21143 21145 18256 0 -1 4202560 47691 0 0 0 28120 22 0 0 20 0 2 0 276745328 230649856 50331 33554432000 4194304 5965102 140736759444272 139806498789368 5244967 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 225244
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21151
/proc/meminfo: memFree=27399496/32873844 swapFree=6856/6856
[pid=21145] ppid=21143 vsize=290780 CPUtime=342.2 cores=1,3,5,7
/proc/21145/stat : 21145 (pwbo2.0) S 21143 21145 18256 0 -1 4202496 62080 0 0 0 34195 25 0 0 20 0 2 0 276745319 297758720 61847 33554432000 4194304 5965102 140736759444272 140736759443792 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21145/statm: 72695 61847 190 433 0 72259 0
[pid=21145/tid=21147] ppid=21143 vsize=290780 CPUtime=341.27 cores=1,3,5,7
/proc/21145/task/21147/stat : 21147 (pwbo2.0) R 21143 21145 18256 0 -1 4202560 59207 0 0 0 34098 29 0 0 20 0 2 0 276745328 297758720 61847 33554432000 4194304 5965102 140736759444272 139806498789176 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 290780
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21151
/proc/meminfo: memFree=27393544/32873844 swapFree=6856/6856
[pid=21145] ppid=21143 vsize=290780 CPUtime=402.19 cores=1,3,5,7
/proc/21145/stat : 21145 (pwbo2.0) S 21143 21145 18256 0 -1 4202496 63454 0 0 0 40193 26 0 0 20 0 2 0 276745319 297758720 63221 33554432000 4194304 5965102 140736759444272 140736759443792 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21145/statm: 72695 63221 190 433 0 72259 0
[pid=21145/tid=21147] ppid=21143 vsize=290780 CPUtime=401.12 cores=1,3,5,7
/proc/21145/task/21147/stat : 21147 (pwbo2.0) R 21143 21145 18256 0 -1 4202560 60581 0 0 0 40080 32 0 0 20 0 2 0 276745328 297758720 63221 33554432000 4194304 5965102 140736759444272 139806498789368 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 290780
[startup+462.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 21152
/proc/meminfo: memFree=27345732/32873844 swapFree=6856/6856
[pid=21145] ppid=21143 vsize=356316 CPUtime=462.18 cores=1,3,5,7
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21200
/proc/meminfo: memFree=27330384/32873844 swapFree=6856/6856
[pid=21145] ppid=21143 vsize=619000 CPUtime=1421.94 cores=1,3,5,7
/proc/21145/stat : 21145 (pwbo2.0) S 21143 21145 18256 0 -1 4202496 136838 0 0 0 142138 56 0 0 20 0 2 0 276745319 633856000 136738 33554432000 4194304 5965102 140736759444272 140736759443792 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21145/statm: 154750 136738 190 433 0 154314 0
[pid=21145/tid=21147] ppid=21143 vsize=619000 CPUtime=1418.41 cores=1,3,5,7
/proc/21145/task/21147/stat : 21147 (pwbo2.0) R 21143 21145 18256 0 -1 4202560 133965 0 0 0 141765 76 0 0 20 0 2 0 276745328 633856000 136738 33554432000 4194304 5965102 140736759444272 139806498789416 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 619000
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21200
/proc/meminfo: memFree=27310948/32873844 swapFree=6856/6856
[pid=21145] ppid=21143 vsize=619000 CPUtime=1481.92 cores=1,3,5,7
/proc/21145/stat : 21145 (pwbo2.0) S 21143 21145 18256 0 -1 4202496 136841 0 0 0 148136 56 0 0 20 0 2 0 276745319 633856000 136742 33554432000 4194304 5965102 140736759444272 140736759443792 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21145/statm: 154750 136742 190 433 0 154314 0
[pid=21145/tid=21147] ppid=21143 vsize=619000 CPUtime=1478.25 cores=1,3,5,7
/proc/21145/task/21147/stat : 21147 (pwbo2.0) R 21143 21145 18256 0 -1 4202560 133968 0 0 0 147748 77 0 0 20 0 2 0 276745328 633856000 136742 33554432000 4194304 5965102 140736759444272 139806498789416 4392200 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 619000
[startup+1542.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/180 21201
/proc/meminfo: memFree=27294120/32873844 swapFree=6856/6856
[pid=21145] ppid=21143 vsize=619000 CPUtime=1541.9 cores=1,3,5,7
/proc/21145/stat : 21145 (pwbo2.0) S 21143 21145 18256 0 -1 4202496 136849 0 0 0 154134 56 0 0 20 0 2 0 276745319 633856000 136758 33554432000 4194304 5965102 140736759444272 140736759443792 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21145/statm: 154750 136758 190 433 0 154314 0
[pid=21145/tid=21147] ppid=21143 vsize=619000 CPUtime=1538.09 cores=1,3,5,7
/proc/21145/task/21147/stat : 21147 (pwbo2.0) R 21143 21145 18256 0 -1 4202560 133976 0 0 0 153731 78 0 0 20 0 2 0 276745328 633856000 136758 33554432000 4194304 5965102 140736759444272 139806498789416 4221984 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 619000
[startup+1602.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/179 21201
/proc/meminfo: memFree=27294252/32873844 swapFree=6856/6856
[pid=21145] ppid=21143 vsize=619000 CPUtime=1601.89 cores=1,3,5,7
/proc/21145/stat : 21145 (pwbo2.0) S 21143 21145 18256 0 -1 4202496 136849 0 0 0 160133 56 0 0 20 0 2 0 276745319 633856000 136758 33554432000 4194304 5965102 140736759444272 140736759443792 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21145/statm: 154750 136758 190 433 0 154314 0
[pid=21145/tid=21147] ppid=21143 vsize=619000 CPUtime=1597.94 cores=1,3,5,7
/proc/21145/task/21147/stat : 21147 (pwbo2.0) R 21143 21145 18256 0 -1 4202560 133976 0 0 0 159715 79 0 0 20 0 2 0 276745328 633856000 136758 33554432000 4194304 5965102 140736759444272 139806498789416 4382659 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 619000
[startup+1662.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/179 21201
/proc/meminfo: memFree=27294128/32873844 swapFree=6856/6856
[pid=21145] ppid=21143 vsize=619000 CPUtime=1661.88 cores=1,3,5,7
/proc/21145/stat : 21145 (pwbo2.0) S 21143 21145 18256 0 -1 4202496 136853 0 0 0 166132 56 0 0 20 0 2 0 276745319 633856000 136762 33554432000 4194304 5965102 140736759444272 140736759443792 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21145/statm: 154750 136762 190 433 0 154314 0
[pid=21145/tid=21147] ppid=21143 vsize=619000 CPUtime=1657.78 cores=1,3,5,7
/proc/21145/task/21147/stat : 21147 (pwbo2.0) R 21143 21145 18256 0 -1 4202560 133980 0 0 0 165698 80 0 0 20 0 2 0 276745328 633856000 136762 33554432000 4194304 5965102 140736759444272 139806498789416 4383048 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 619000
[startup+1722.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/179 21202
/proc/meminfo: memFree=27265856/32873844 swapFree=6856/6856
[pid=21145] ppid=21143 vsize=619000 CPUtime=1721.88 cores=1,3,5,7
/proc/21145/stat : 21145 (pwbo2.0) S 21143 21145 18256 0 -1 4202496 136853 0 0 0 172132 56 0 0 20 0 2 0 276745319 633856000 136762 33554432000 4194304 5965102 140736759444272 140736759443792 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21145/statm: 154750 136762 190 433 0 154314 0
[pid=21145/tid=21147] ppid=21143 vsize=619000 CPUtime=1717.63 cores=1,3,5,7
/proc/21145/task/21147/stat : 21147 (pwbo2.0) R 21143 21145 18256 0 -1 4202560 133980 0 0 0 171682 81 0 0 20 0 2 0 276745328 633856000 136762 33554432000 4194304 5965102 140736759444272 139806498789416 4221984 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 619000
[startup+1782.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/179 21202
/proc/meminfo: memFree=27242288/32873844 swapFree=6856/6856
[pid=21145] ppid=21143 vsize=619000 CPUtime=1781.87 cores=1,3,5,7
/proc/21145/stat : 21145 (pwbo2.0) S 21143 21145 18256 0 -1 4202496 136853 0 0 0 178131 56 0 0 20 0 2 0 276745319 633856000 136762 33554432000 4194304 5965102 140736759444272 140736759443792 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21145/statm: 154750 136762 190 433 0 154314 0
[pid=21145/tid=21147] ppid=21143 vsize=619000 CPUtime=1777.48 cores=1,3,5,7
/proc/21145/task/21147/stat : 21147 (pwbo2.0) R 21143 21145 18256 0 -1 4202560 133980 0 0 0 177666 82 0 0 20 0 2 0 276745328 633856000 136762 33554432000 4194304 5965102 140736759444272 139806498789416 4383039 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 619000
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.02 2.04 2.00 3/179 21202
/proc/meminfo: memFree=27238676/32873844 swapFree=6856/6856
[pid=21145] ppid=21143 vsize=619000 CPUtime=1791.47 cores=1,3,5,7
/proc/21145/stat : 21145 (pwbo2.0) S 21143 21145 18256 0 -1 4202496 136854 0 0 0 179091 56 0 0 20 0 2 0 276745319 633856000 136763 33554432000 4194304 5965102 140736759444272 140736759443792 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21145/statm: 154750 136763 190 433 0 154314 0
[pid=21145/tid=21147] ppid=21143 vsize=619000 CPUtime=1787.06 cores=1,3,5,7
/proc/21145/task/21147/stat : 21147 (pwbo2.0) R 21143 21145 18256 0 -1 4202560 133981 0 0 0 178624 82 0 0 20 0 2 0 276745328 633856000 136763 33554432000 4194304 5965102 140736759444272 139806498789416 4400960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1791.47
Current children cumulated vsize (KiB) 619000
[startup+1795.1 s]
/proc/loadavg: 2.02 2.04 2.00 3/179 21202
/proc/meminfo: memFree=27237312/32873844 swapFree=6856/6856
[pid=21145] ppid=21143 vsize=619000 CPUtime=1794.67 cores=1,3,5,7
/proc/21145/stat : 21145 (pwbo2.0) S 21143 21145 18256 0 -1 4202496 136855 0 0 0 179411 56 0 0 20 0 2 0 276745319 633856000 136764 33554432000 4194304 5965102 140736759444272 140736759443792 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21145/statm: 154750 136764 190 433 0 154314 0
[pid=21145/tid=21147] ppid=21143 vsize=619000 CPUtime=1790.25 cores=1,3,5,7
/proc/21145/task/21147/stat : 21147 (pwbo2.0) R 21143 21145 18256 0 -1 4202560 133982 0 0 0 178943 82 0 0 20 0 2 0 276745328 633856000 136764 33554432000 4194304 5965102 140736759444272 139806498789416 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1794.67
Current children cumulated vsize (KiB) 619000
[startup+1798.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/179 21202
/proc/meminfo: memFree=27235944/32873844 swapFree=6856/6856
[pid=21145] ppid=21143 vsize=619000 CPUtime=1797.86 cores=1,3,5,7
/proc/21145/stat : 21145 (pwbo2.0) S 21143 21145 18256 0 -1 4202496 136857 0 0 0 179730 56 0 0 20 0 2 0 276745319 633856000 136766 33554432000 4194304 5965102 140736759444272 140736759443792 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21145/statm: 154750 136766 190 433 0 154314 0
[pid=21145/tid=21147] ppid=21143 vsize=619000 CPUtime=1793.43 cores=1,3,5,7
/proc/21145/task/21147/stat : 21147 (pwbo2.0) R 21143 21145 18256 0 -1 4202560 133984 0 0 0 179261 82 0 0 20 0 2 0 276745328 633856000 136766 33554432000 4194304 5965102 140736759444272 139806498789416 4382732 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1797.86
Current children cumulated vsize (KiB) 619000
[startup+1799.1 s]
/proc/loadavg: 2.02 2.04 2.00 3/179 21202
/proc/meminfo: memFree=27235944/32873844 swapFree=6856/6856
[pid=21145] ppid=21143 vsize=619000 CPUtime=1798.66 cores=1,3,5,7
/proc/21145/stat : 21145 (pwbo2.0) S 21143 21145 18256 0 -1 4202496 136857 0 0 0 179810 56 0 0 20 0 2 0 276745319 633856000 136766 33554432000 4194304 5965102 140736759444272 140736759443792 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21145/statm: 154750 136766 190 433 0 154314 0
[pid=21145/tid=21147] ppid=21143 vsize=619000 CPUtime=1794.23 cores=1,3,5,7
/proc/21145/task/21147/stat : 21147 (pwbo2.0) R 21143 21145 18256 0 -1 4202560 133984 0 0 0 179341 82 0 0 20 0 2 0 276745328 633856000 136766 33554432000 4194304 5965102 140736759444272 139806498789416 4221120 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1798.66
Current children cumulated vsize (KiB) 619000
[startup+1799.5 s]
/proc/loadavg: 2.02 2.04 2.00 3/179 21202
/proc/meminfo: memFree=27235200/32873844 swapFree=6856/6856
[pid=21145] ppid=21143 vsize=619000 CPUtime=1799.07 cores=1,3,5,7
/proc/21145/stat : 21145 (pwbo2.0) S 21143 21145 18256 0 -1 4202496 136857 0 0 0 179851 56 0 0 20 0 2 0 276745319 633856000 136766 33554432000 4194304 5965102 140736759444272 140736759443792 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21145/statm: 154750 136766 190 433 0 154314 0
[pid=21145/tid=21147] ppid=21143 vsize=619000 CPUtime=1794.64 cores=1,3,5,7
/proc/21145/task/21147/stat : 21147 (pwbo2.0) R 21143 21145 18256 0 -1 4202560 133984 0 0 0 179382 82 0 0 20 0 2 0 276745328 633856000 136766 33554432000 4194304 5965102 140736759444272 139806498789416 4401109 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1799.07
Current children cumulated vsize (KiB) 619000
[startup+1799.9 s]
/proc/loadavg: 2.02 2.04 2.00 3/179 21202
/proc/meminfo: memFree=27235200/32873844 swapFree=6856/6856
[pid=21145] ppid=21143 vsize=619000 CPUtime=1799.46 cores=1,3,5,7
/proc/21145/stat : 21145 (pwbo2.0) S 21143 21145 18256 0 -1 4202496 136858 0 0 0 179890 56 0 0 20 0 2 0 276745319 633856000 136767 33554432000 4194304 5965102 140736759444272 140736759443792 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21145/statm: 154750 136767 190 433 0 154314 0
[pid=21145/tid=21147] ppid=21143 vsize=619000 CPUtime=1795.03 cores=1,3,5,7
/proc/21145/task/21147/stat : 21147 (pwbo2.0) R 21143 21145 18256 0 -1 4202560 133985 0 0 0 179421 82 0 0 20 0 2 0 276745328 633856000 136767 33554432000 4194304 5965102 140736759444272 139806498789416 4382732 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1799.46
Current children cumulated vsize (KiB) 619000
[startup+1800 s]
/proc/loadavg: 2.02 2.04 2.00 3/179 21202
/proc/meminfo: memFree=27235200/32873844 swapFree=6856/6856
[pid=21145] ppid=21143 vsize=619000 CPUtime=1799.56 cores=1,3,5,7
/proc/21145/stat : 21145 (pwbo2.0) S 21143 21145 18256 0 -1 4202496 136858 0 0 0 179900 56 0 0 20 0 2 0 276745319 633856000 136767 33554432000 4194304 5965102 140736759444272 140736759443792 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/21145/statm: 154750 136767 190 433 0 154314 0
[pid=21145/tid=21147] ppid=21143 vsize=619000 CPUtime=1795.13 cores=1,3,5,7
/proc/21145/task/21147/stat : 21147 (pwbo2.0) R 21143 21145 18256 0 -1 4202560 133985 0 0 0 179431 82 0 0 20 0 2 0 276745328 633856000 136767 33554432000 4194304 5965102 140736759444272 139806498789416 4401127 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1799.56
Current children cumulated vsize (KiB) 619000
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21145 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=415207
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=840872
# CPU time returned by wait4() is 1795.26
# while last known CPU time is 1799.56
#
# 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.56
CPU user time (s): 1799
CPU system time (s): 0.56
CPU usage (%): 99.975
Max. virtual memory (cumulated for all children) (KiB): 619000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.42
system time used= 0.840872
maximum resident set size= 547080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 136861
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= 197
involuntary context switches= 2613
runsolver used 2.6176 second user time and 7.2109 second system time
The end