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-3703706-1338093337/watcher-3703706-1338093337 -o /tmp/evaluation-result-3703706-1338093337/solver-3703706-1338093337 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703706-1338093337.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: 3.96 3.97 3.92 3/178 21469
/proc/meminfo: memFree=31371484/32873844 swapFree=7112/7112
[pid=21469] ppid=21467 vsize=4224 CPUtime=0 cores=0,2,4,6
/proc/21469/stat : 21469 (pwbo2.0) R 21467 21469 19605 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 275459418 4325376 312 33554432000 4194304 5965102 140737164938416 140733533432808 5160542 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/21469/statm: 1056 312 170 433 0 579 0
[startup+0.053708 s]
/proc/loadavg: 3.96 3.97 3.92 3/178 21469
/proc/meminfo: memFree=31371484/32873844 swapFree=7112/7112
[pid=21469] ppid=21467 vsize=168564 CPUtime=0.08 cores=0,2,4,6
/proc/21469/stat : 21469 (pwbo2.0) S 21467 21469 19605 0 -1 4202496 3508 0 0 0 6 2 0 0 20 0 3 0 275459418 172609536 3402 33554432000 4194304 5965102 140737164938416 140737164937936 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21469/statm: 42141 3402 205 433 0 41705 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 168564
[startup+0.100212 s]
/proc/loadavg: 3.96 3.97 3.92 3/178 21469
/proc/meminfo: memFree=31371484/32873844 swapFree=7112/7112
[pid=21469] ppid=21467 vsize=168564 CPUtime=0.17 cores=0,2,4,6
/proc/21469/stat : 21469 (pwbo2.0) S 21467 21469 19605 0 -1 4202496 3611 0 0 0 15 2 0 0 20 0 3 0 275459418 172609536 3505 33554432000 4194304 5965102 140737164938416 140737164937936 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21469/statm: 42141 3505 207 433 0 41705 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 168564
[startup+0.300121 s]
/proc/loadavg: 3.96 3.97 3.92 3/178 21469
/proc/meminfo: memFree=31371484/32873844 swapFree=7112/7112
[pid=21469] ppid=21467 vsize=168564 CPUtime=0.57 cores=0,2,4,6
/proc/21469/stat : 21469 (pwbo2.0) S 21467 21469 19605 0 -1 4202496 4074 0 0 0 55 2 0 0 20 0 3 0 275459418 172609536 3968 33554432000 4194304 5965102 140737164938416 140737164937936 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21469/statm: 42141 3968 207 433 0 41705 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 168564
[startup+0.700121 s]
/proc/loadavg: 3.96 3.97 3.92 3/178 21469
/proc/meminfo: memFree=31371484/32873844 swapFree=7112/7112
[pid=21469] ppid=21467 vsize=168564 CPUtime=1.37 cores=0,2,4,6
/proc/21469/stat : 21469 (pwbo2.0) S 21467 21469 19605 0 -1 4202496 4802 0 0 0 135 2 0 0 20 0 3 0 275459418 172609536 4696 33554432000 4194304 5965102 140737164938416 140737164937936 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21469/statm: 42141 4696 207 433 0 41705 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 168564
[startup+1.50028 s]
/proc/loadavg: 3.96 3.97 3.92 5/181 21472
/proc/meminfo: memFree=31349604/32873844 swapFree=7112/7112
[pid=21469] ppid=21467 vsize=168564 CPUtime=2.97 cores=0,2,4,6
/proc/21469/stat : 21469 (pwbo2.0) S 21467 21469 19605 0 -1 4202496 5604 0 0 0 294 3 0 0 20 0 3 0 275459418 172609536 5498 33554432000 4194304 5965102 140737164938416 140737164937936 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21469/statm: 42141 5498 207 433 0 41705 0
[pid=21469/tid=21471] ppid=21467 vsize=168564 CPUtime=1.46 cores=0,2,4,6
/proc/21469/task/21471/stat : 21471 (pwbo2.0) R 21467 21469 19605 0 -1 4202560 1928 0 0 0 146 0 0 0 20 0 3 0 275459419 172609536 5498 33554432000 4194304 5965102 140737164938416 140093877406152 4401026 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=21469/tid=21472] ppid=21467 vsize=168564 CPUtime=1.47 cores=0,2,4,6
/proc/21469/task/21472/stat : 21472 (pwbo2.0) R 21467 21469 19605 0 -1 4202560 2727 0 0 0 144 3 0 0 20 0 3 0 275459419 172609536 5498 33554432000 4194304 5965102 140737164938416 140093866916200 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 168564
[startup+3.10029 s]
/proc/loadavg: 3.97 3.97 3.92 5/181 21472
/proc/meminfo: memFree=31343776/32873844 swapFree=7112/7112
[pid=21469] ppid=21467 vsize=168564 CPUtime=6.17 cores=0,2,4,6
/proc/21469/stat : 21469 (pwbo2.0) S 21467 21469 19605 0 -1 4202496 6553 0 0 0 612 5 0 0 20 0 3 0 275459418 172609536 6447 33554432000 4194304 5965102 140737164938416 140737164937936 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21469/statm: 42141 6447 207 433 0 41705 0
[pid=21469/tid=21471] ppid=21467 vsize=168564 CPUtime=3.06 cores=0,2,4,6
/proc/21469/task/21471/stat : 21471 (pwbo2.0) R 21467 21469 19605 0 -1 4202560 2311 0 0 0 306 0 0 0 20 0 3 0 275459419 172609536 6447 33554432000 4194304 5965102 140737164938416 140093877405496 4401472 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=21469/tid=21472] ppid=21467 vsize=168564 CPUtime=3.06 cores=0,2,4,6
/proc/21469/task/21472/stat : 21472 (pwbo2.0) R 21467 21469 19605 0 -1 4202560 3293 0 0 0 302 4 0 0 20 0 3 0 275459419 172609536 6447 33554432000 4194304 5965102 140737164938416 140093866916152 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 168564
[startup+6.30028 s]
/proc/loadavg: 3.97 3.97 3.92 5/181 21472
/proc/meminfo: memFree=31330880/32873844 swapFree=7112/7112
[pid=21469] ppid=21467 vsize=168996 CPUtime=12.57 cores=0,2,4,6
/proc/21469/stat : 21469 (pwbo2.0) S 21467 21469 19605 0 -1 4202496 9661 0 0 0 1248 9 0 0 20 0 3 0 275459418 173051904 9555 33554432000 4194304 5965102 140737164938416 140737164937936 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21469/statm: 42249 9555 207 433 0 41813 0
[pid=21469/tid=21471] ppid=21467 vsize=168996 CPUtime=6.25 cores=0,2,4,6
/proc/21469/task/21471/stat : 21471 (pwbo2.0) R 21467 21469 19605 0 -1 4202560 4199 0 0 0 624 1 0 0 20 0 3 0 275459419 173051904 9555 33554432000 4194304 5965102 140737164938416 140093877405496 4401064 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=21469/tid=21472] ppid=21467 vsize=168996 CPUtime=6.25 cores=0,2,4,6
/proc/21469/task/21472/stat : 21472 (pwbo2.0) R 21467 21469 19605 0 -1 4202560 4513 0 0 0 618 7 0 0 20 0 3 0 275459419 173051904 9555 33554432000 4194304 5965102 140737164938416 140093866916200 4401050 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 168996
[startup+12.7003 s]
/proc/loadavg: 3.97 3.97 3.92 5/181 21472
/proc/meminfo: memFree=31298656/32873844 swapFree=7112/7112
[pid=21469] ppid=21467 vsize=169356 CPUtime=25.37 cores=0,2,4,6
/proc/21469/stat : 21469 (pwbo2.0) S 21467 21469 19605 0 -1 4202496 16405 0 0 0 2523 14 0 0 20 0 3 0 275459418 173420544 16299 33554432000 4194304 5965102 140737164938416 140737164937936 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21469/statm: 42339 16299 207 433 0 41903 0
[pid=21469/tid=21471] ppid=21467 vsize=169356 CPUtime=12.63 cores=0,2,4,6
/proc/21469/task/21471/stat : 21471 (pwbo2.0) R 21467 21469 19605 0 -1 4202560 8806 0 0 0 1260 3 0 0 20 0 3 0 275459419 173420544 16299 33554432000 4194304 5965102 140737164938416 140093877405496 4401143 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=21469/tid=21472] ppid=21467 vsize=169356 CPUtime=12.63 cores=0,2,4,6
/proc/21469/task/21472/stat : 21472 (pwbo2.0) R 21467 21469 19605 0 -1 4202560 6650 0 0 0 1252 11 0 0 20 0 3 0 275459419 173420544 16299 33554432000 4194304 5965102 140737164938416 140093866916152 5137076 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 169356
[startup+25.5003 s]
/proc/loadavg: 3.98 3.97 3.92 5/181 21472
/proc/meminfo: memFree=31245320/32873844 swapFree=7112/7112
[pid=21469] ppid=21467 vsize=171244 CPUtime=50.95 cores=0,2,4,6
/proc/21469/stat : 21469 (pwbo2.0) S 21467 21469 19605 0 -1 4202496 26789 0 0 0 5074 21 0 0 20 0 3 0 275459418 175353856 26683 33554432000 4194304 5965102 140737164938416 140737164937936 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21469/statm: 42811 26683 207 433 0 42375 0
[pid=21469/tid=21471] ppid=21467 vsize=171244 CPUtime=25.39 cores=0,2,4,6
/proc/21469/task/21471/stat : 21471 (pwbo2.0) R 21467 21469 19605 0 -1 4202560 15394 0 0 0 2532 7 0 0 20 0 3 0 275459419 175353856 26683 33554432000 4194304 5965102 140737164938416 140093877405496 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21469/tid=21472] ppid=21467 vsize=171244 CPUtime=25.4 cores=0,2,4,6
/proc/21469/task/21472/stat : 21472 (pwbo2.0) R 21467 21469 19605 0 -1 4202560 10446 0 0 0 2526 14 0 0 20 0 3 0 275459419 175353856 26683 33554432000 4194304 5965102 140737164938416 140093866915960 4401736 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 171244
[startup+51.1003 s]
/proc/loadavg: 3.98 3.97 3.92 5/181 21472
/proc/meminfo: memFree=31186248/32873844 swapFree=7112/7112
[pid=21469] ppid=21467 vsize=237308 CPUtime=102.15 cores=0,2,4,6
/proc/21469/stat : 21469 (pwbo2.0) S 21467 21469 19605 0 -1 4202496 32158 0 0 0 10189 26 0 0 20 0 3 0 275459418 243003392 32052 33554432000 4194304 5965102 140737164938416 140737164937936 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21469/statm: 59327 32052 207 433 0 58891 0
[pid=21469/tid=21471] ppid=21467 vsize=237308 CPUtime=50.93 cores=0,2,4,6
/proc/21469/task/21471/stat : 21471 (pwbo2.0) R 21467 21469 19605 0 -1 4202560 18465 0 0 0 5085 8 0 0 20 0 3 0 275459419 243003392 32052 33554432000 4194304 5965102 140737164938416 140093877405496 4589710 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21469/tid=21472] ppid=21467 vsize=237308 CPUtime=50.93 cores=0,2,4,6
/proc/21469/task/21472/stat : 21472 (pwbo2.0) R 21467 21469 19605 0 -1 4202560 12744 0 0 0 5076 17 0 0 20 0 3 0 275459419 243003392 32052 33554432000 4194304 5965102 140737164938416 140093866916296 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 237308
[startup+102.306 s]
/proc/loadavg: 3.99 3.97 3.92 5/181 21472
/proc/meminfo: memFree=31032780/32873844 swapFree=7112/7112
[pid=21469] ppid=21467 vsize=300908 CPUtime=204.54 cores=0,2,4,6
/proc/21469/stat : 21469 (pwbo2.0) S 21467 21469 19605 0 -1 4202496 49939 0 0 0 20400 54 0 0 20 0 3 0 275459418 308129792 49390 33554432000 4194304 5965102 140737164938416 140737164937936 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21469/statm: 75227 49390 207 433 0 74791 0
[pid=21469/tid=21471] ppid=21467 vsize=300908 CPUtime=102 cores=0,2,4,6
/proc/21469/task/21471/stat : 21471 (pwbo2.0) R 21467 21469 19605 0 -1 4202560 29525 0 0 0 10169 31 0 0 20 0 3 0 275459419 308129792 49390 33554432000 4194304 5965102 140737164938416 140093877405496 4222416 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21469/tid=21472] ppid=21467 vsize=300908 CPUtime=102.01 cores=0,2,4,6
/proc/21469/task/21472/stat : 21472 (pwbo2.0) R 21467 21469 19605 0 -1 4202560 19465 0 0 0 10177 24 0 0 20 0 3 0 275459419 308129792 49390 33554432000 4194304 5965102 140737164938416 140093866916200 4401441 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 204.54
Current children cumulated vsize (KiB) 300908
[startup+162.3 s]
/proc/loadavg: 3.99 3.97 3.92 5/181 21473
/proc/meminfo: memFree=30936296/32873844 swapFree=7112/7112
[pid=21469] ppid=21467 vsize=367308 CPUtime=324.51 cores=0,2,4,6
/proc/21469/stat : 21469 (pwbo2.0) S 21467 21469 19605 0 -1 4202496 62578 0 0 0 32385 66 0 0 20 0 3 0 275459418 376123392 62028 33554432000 4194304 5965102 140737164938416 140737164937936 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21469/statm: 91827 62028 207 433 0 91391 0
[pid=21469/tid=21471] ppid=21467 vsize=367308 CPUtime=161.84 cores=0,2,4,6
/proc/21469/task/21471/stat : 21471 (pwbo2.0) R 21467 21469 19605 0 -1 4202560 41618 0 0 0 16141 43 0 0 20 0 3 0 275459419 376123392 62028 33554432000 4194304 5965102 140737164938416 140093877405496 4400960 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21469/tid=21472] ppid=21467 vsize=367308 CPUtime=161.84 cores=0,2,4,6
/proc/21469/task/21472/stat : 21472 (pwbo2.0) R 21467 21469 19605 0 -1 4202560 20011 0 0 0 16158 26 0 0 20 0 3 0 275459419 376123392 62028 33554432000 4194304 5965102 140737164938416 140093866916296 4401050 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 324.51
Current children cumulated vsize (KiB) 367308
[startup+222.3 s]
/proc/loadavg: 3.99 3.97 3.92 5/181 21473
/proc/meminfo: memFree=30859020/32873844 swapFree=7112/7112
[pid=21469] ppid=21467 vsize=432992 CPUtime=444.44 cores=0,2,4,6
/proc/21469/stat : 21469 (pwbo2.0) S 21467 21469 19605 0 -1 4202496 74958 0 0 0 44366 78 0 0 20 0 3 0 275459418 443383808 75153 33554432000 4194304 5965102 140737164938416 140737164937936 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21469/statm: 108248 75153 207 433 0 107812 0
[pid=21469/tid=21471] ppid=21467 vsize=432992 CPUtime=221.64 cores=0,2,4,6
/proc/21469/task/21471/stat : 21471 (pwbo2.0) R 21467 21469 19605 0 -1 4202560 53832 0 0 0 22108 56 0 0 20 0 3 0 275459419 443383808 75153 33554432000 4194304 5965102 140737164938416 140093877405688 4401155 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21469/tid=21472] ppid=21467 vsize=432992 CPUtime=221.68 cores=0,2,4,6
/proc/21469/task/21472/stat : 21472 (pwbo2.0) R 21467 21469 19605 0 -1 4202560 20177 0 0 0 22141 27 0 0 20 0 3 0 275459419 443383808 75153 33554432000 4194304 5965102 140737164938416 140093866916152 4393922 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 444.44
Current children cumulated vsize (KiB) 432992
[startup+282.3 s]
/proc/loadavg: 3.99 3.97 3.92 5/182 21476
/proc/meminfo: memFree=30753148/32873844 swapFree=7112/7112
[pid=21469] ppid=21467 vsize=434000 CPUtime=564.37 cores=0,2,4,6
/proc/21469/stat : 21469 (pwbo2.0) S 21467 21469 19605 0 -1 4202496 93644 0 0 0 56321 116 0 0 20 0 3 0 275459418 444416000 93861 33554432000 4194304 5965102 140737164938416 140737164937936 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21469/statm: 108500 93861 207 433 0 108064 0
[pid=21469/tid=21471] ppid=21467 vsize=434000 CPUtime=281.46 cores=0,2,4,6
/proc/21469/task/21471/stat : 21471 (pwbo2.0) R 21467 21469 19605 0 -1 4202560 63240 0 0 0 28068 78 0 0 20 0 3 0 275459419 444416000 93861 33554432000 4194304 5965102 140737164938416 140093877405496 4390150 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21469/tid=21472] ppid=21467 vsize=434000 CPUtime=281.49 cores=0,2,4,6
/proc/21469/task/21472/stat : 21472 (pwbo2.0) R 21467 21469 19605 0 -1 4202560 29455 0 0 0 28103 46 0 0 20 0 3 0 275459419 444416000 93861 33554432000 4194304 5965102 140737164938416 140093866916152 4401127 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 564.37
Current children cumulated vsize (KiB) 434000
[startup+342.3 s]
/proc/loadavg: 3.99 3.97 3.92 5/181 21476
/proc/meminfo: memFree=30737808/32873844 swapFree=7112/7112
[pid=21469] ppid=21467 vsize=499836 CPUtime=684.29 cores=0,2,4,6
/proc/21469/stat : 21469 (pwbo2.0) S 21467 21469 19605 0 -1 4202496 97158 0 0 0 68308 121 0 0 20 0 3 0 275459418 511832064 97333 33554432000 4194304 5965102 140737164938416 140737164937936 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21469/statm: 124959 97333 207 433 0 124523 0
[pid=21469/tid=21471] ppid=21467 vsize=499836 CPUtime=341.28 cores=0,2,4,6
/proc/21469/task/21471/stat : 21471 (pwbo2.0) R 21467 21469 19605 0 -1 4202560 66671 0 0 0 34044 84 0 0 20 0 3 0 275459419 511832064 97333 33554432000 4194304 5965102 140737164938416 140093877405688 4401127 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21469/tid=21472] ppid=21467 vsize=499836 CPUtime=341.3 cores=0,2,4,6
/proc/21469/task/21472/stat : 21472 (pwbo2.0) R 21467 21469 19605 0 -1 4202560 29538 0 0 0 34083 47 0 0 20 0 3 0 275459419 511832064 97333 33554432000 4194304 5965102 140737164938416 140093866915912 4401123 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 684.29
Current children cumulated vsize (KiB) 499836
[startup+402.3 s]
/proc/loadavg: 3.99 3.97 3.92 5/181 21476
/proc/meminfo: memFree=30605340/32873844 swapFree=7112/7112
[pid=21469] ppid=21467 vsize=500016 CPUtime=804.27 cores=0,2,4,6
/proc/21469/stat : 21469 (pwbo2.0) S 21467 21469 19605 0 -1 4202496 114061 0 0 0 80284 143 0 0 20 0 3 0 275459418 512016384 115425 33554432000 4194304 5965102 140737164938416 140737164937936 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21469/statm: 125004 115425 207 433 0 124568 0
[pid=21469/tid=21471] ppid=21467 vsize=500016 CPUtime=401.12 cores=0,2,4,6
/proc/21469/task/21471/stat : 21471 (pwbo2.0) R 21467 21469 19605 0 -1 4202560 79825 0 0 0 40011 101 0 0 20 0 3 0 275459419 512016384 115425 33554432000 4194304 5965102 140737164938416 140093877405688 4401155 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21469/tid=21472] ppid=21467 vsize=500016 CPUtime=401.15 cores=0,2,4,6
/proc/21469/task/21472/stat : 21472 (pwbo2.0) R 21467 21469 19605 0 -1 4202560 33287 0 0 0 40062 53 0 0 20 0 3 0 275459419 512016384 115425 33554432000 4194304 5965102 140737164938416 140093866916200 4400960 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 804.27
Current children cumulated vsize (KiB) 500016
[startup+462.3 s]
/proc/loadavg: 3.99 3.97 3.92 5/181 21477
/proc/meminfo: memFree=30535060/32873844 swapFree=7112/7112
[pid=21469] ppid=21467 vsize=631764 CPUtime=924.25 cores=0,2,4,6
/proc/21469/stat : 21469 (pwbo2.0) S 21467 21469 19605 0 -1 4202496 124950 0 0 0 92272 153 0 0 20 0 3 0 275459418 646926336 126313 33554432000 4194304 5965102 140737164938416 140737164937936 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21469/statm: 157941 126313 207 433 0 157505 0
[pid=21469/tid=21471] ppid=21467 vsize=631764 CPUtime=460.97 cores=0,2,4,6
/proc/21469/task/21471/stat : 21471 (pwbo2.0) R 21467 21469 19605 0 -1 4202560 84855 0 0 0 45993 104 0 0 20 0 3 0 275459419 646926336 126313 33554432000 4194304 5965102 140737164938416 140093877405688 4401096 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21469/tid=21472] ppid=21467 vsize=631764 CPUtime=460.99 cores=0,2,4,6
/proc/21469/task/21472/stat : 21472 (pwbo2.0) R 21467 21469 19605 0 -1 4202560 39146 0 0 0 46039 60 0 0 20 0 3 0 275459419 646926336 126313 33554432000 4194304 5965102 140737164938416 140093866915912 4400894 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 924.25
Current children cumulated vsize (KiB) 631764
############
# WARNING:
# current cumulated CPU time (942.7 s) is less than in the last sample (943.65 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (0.950012 s) to the 'lost time'.
[startup+472 s]
/proc/loadavg: 3.99 3.97 3.92 5/181 21477
/proc/meminfo: memFree=30505284/32873844 swapFree=7112/7112
[pid=21469] ppid=21467 vsize=631764 CPUtime=943.65 cores=0,2,4,6
/proc/21469/stat : 21469 (pwbo2.0) S 21467 21469 19605 0 -1 4202496 129001 0 0 0 94209 156 0 0 20 0 3 0 275459418 646926336 130364 33554432000 4194304 5965102 140737164938416 140737164937936 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21469/statm: 157941 130364 207 433 0 157505 0
[pid=21469/tid=21471] ppid=21467 vsize=631764 CPUtime=470.64 cores=0,2,4,6
/proc/21469/task/21471/stat : 21471 (pwbo2.0) R 21467 21469 19605 0 -1 4202560 88902 0 0 0 46956 108 0 0 20 0 3 0 275459419 646926336 130364 33554432000 4194304 5965102 140737164938416 140093877405688 4221984 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21469/tid=21472] ppid=21467 vsize=631764 CPUtime=470.66 cores=0,2,4,6
/proc/21469/task/21472/stat : 21472 (pwbo2.0) R 21467 21469 19605 0 -1 4202560 39150 0 0 0 47005 61 0 0 20 0 3 0 275459419 646926336 130364 33554432000 4194304 5965102 140737164938416 140093866915912 4404383 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 943.65
Current children cumulated vsize (KiB) 631764
[startup+472.1 s]
/proc/loadavg: 3.99 3.97 3.92 5/181 21477
/proc/meminfo: memFree=30505284/32873844 swapFree=7112/7112
[pid=21469] ppid=21467 vsize=0 CPUtime=942.7 cores=0,2,4,6
/proc/21469/stat : 21469 (pwbo2.0) Z 21467 21469 19605 0 -1 4203532 129005 0 0 0 94105 165 0 0 20 0 2 0 275459418 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21469/statm: 0 0 0 0 0 0 0
[pid=21469/tid=21472] ppid=21467 vsize=0 CPUtime=470.76 cores=0,2,4,6
/proc/21469/task/21472/stat : 21472 (pwbo2.0) R 21467 21469 19605 0 -1 4203588 39150 0 0 0 47014 62 0 0 20 0 2 0 275459419 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 942.7
Current children cumulated vsize (KiB) 0
#
############
Solver just ended. Dumping a history of the last processes samples
[startup+467.1 s]
/proc/loadavg: 3.99 3.97 3.92 5/181 21477
/proc/meminfo: memFree=30521916/32873844 swapFree=7112/7112
[pid=21469] ppid=21467 vsize=631764 CPUtime=933.85 cores=0,2,4,6
/proc/21469/stat : 21469 (pwbo2.0) S 21467 21469 19605 0 -1 4202496 127420 0 0 0 93230 155 0 0 20 0 3 0 275459418 646926336 128783 33554432000 4194304 5965102 140737164938416 140737164937936 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21469/statm: 157941 128783 207 433 0 157505 0
[pid=21469/tid=21471] ppid=21467 vsize=631764 CPUtime=465.75 cores=0,2,4,6
/proc/21469/task/21471/stat : 21471 (pwbo2.0) R 21467 21469 19605 0 -1 4202560 87321 0 0 0 46468 107 0 0 20 0 3 0 275459419 646926336 128783 33554432000 4194304 5965102 140737164938416 140093877405688 4401118 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21469/tid=21472] ppid=21467 vsize=631764 CPUtime=465.78 cores=0,2,4,6
/proc/21469/task/21472/stat : 21472 (pwbo2.0) R 21467 21469 19605 0 -1 4202560 39150 0 0 0 46517 61 0 0 20 0 3 0 275459419 646926336 128783 33554432000 4194304 5965102 140737164938416 140093866915912 4401118 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 933.85
Current children cumulated vsize (KiB) 631764
[startup+470.3 s]
/proc/loadavg: 3.99 3.97 3.92 5/181 21477
/proc/meminfo: memFree=30508880/32873844 swapFree=7112/7112
[pid=21469] ppid=21467 vsize=631764 CPUtime=940.25 cores=0,2,4,6
/proc/21469/stat : 21469 (pwbo2.0) S 21467 21469 19605 0 -1 4202496 129001 0 0 0 93869 156 0 0 20 0 3 0 275459418 646926336 130364 33554432000 4194304 5965102 140737164938416 140737164937936 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21469/statm: 157941 130364 207 433 0 157505 0
[pid=21469/tid=21471] ppid=21467 vsize=631764 CPUtime=468.95 cores=0,2,4,6
/proc/21469/task/21471/stat : 21471 (pwbo2.0) R 21467 21469 19605 0 -1 4202560 88902 0 0 0 46787 108 0 0 20 0 3 0 275459419 646926336 130364 33554432000 4194304 5965102 140737164938416 140093877405688 4401123 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21469/tid=21472] ppid=21467 vsize=631764 CPUtime=468.97 cores=0,2,4,6
/proc/21469/task/21472/stat : 21472 (pwbo2.0) R 21467 21469 19605 0 -1 4202560 39150 0 0 0 46836 61 0 0 20 0 3 0 275459419 646926336 130364 33554432000 4194304 5965102 140737164938416 140093866915912 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 940.25
Current children cumulated vsize (KiB) 631764
[startup+471.1 s]
/proc/loadavg: 3.99 3.97 3.92 5/181 21477
/proc/meminfo: memFree=30506772/32873844 swapFree=7112/7112
[pid=21469] ppid=21467 vsize=631764 CPUtime=941.85 cores=0,2,4,6
/proc/21469/stat : 21469 (pwbo2.0) S 21467 21469 19605 0 -1 4202496 129001 0 0 0 94029 156 0 0 20 0 3 0 275459418 646926336 130364 33554432000 4194304 5965102 140737164938416 140737164937936 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21469/statm: 157941 130364 207 433 0 157505 0
[pid=21469/tid=21471] ppid=21467 vsize=631764 CPUtime=469.74 cores=0,2,4,6
/proc/21469/task/21471/stat : 21471 (pwbo2.0) R 21467 21469 19605 0 -1 4202560 88902 0 0 0 46866 108 0 0 20 0 3 0 275459419 646926336 130364 33554432000 4194304 5965102 140737164938416 140093877405688 4401127 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21469/tid=21472] ppid=21467 vsize=631764 CPUtime=469.76 cores=0,2,4,6
/proc/21469/task/21472/stat : 21472 (pwbo2.0) R 21467 21469 19605 0 -1 4202560 39150 0 0 0 46915 61 0 0 20 0 3 0 275459419 646926336 130364 33554432000 4194304 5965102 140737164938416 140093866915912 4394048 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 941.85
Current children cumulated vsize (KiB) 631764
[startup+471.906 s]
/proc/loadavg: 3.99 3.97 3.92 5/181 21477
/proc/meminfo: memFree=30505284/32873844 swapFree=7112/7112
[pid=21469] ppid=21467 vsize=631764 CPUtime=943.46 cores=0,2,4,6
/proc/21469/stat : 21469 (pwbo2.0) S 21467 21469 19605 0 -1 4202496 129001 0 0 0 94190 156 0 0 20 0 3 0 275459418 646926336 130364 33554432000 4194304 5965102 140737164938416 140737164937936 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21469/statm: 157941 130364 207 433 0 157505 0
[pid=21469/tid=21471] ppid=21467 vsize=631764 CPUtime=470.55 cores=0,2,4,6
/proc/21469/task/21471/stat : 21471 (pwbo2.0) R 21467 21469 19605 0 -1 4202560 88902 0 0 0 46947 108 0 0 20 0 3 0 275459419 646926336 130364 33554432000 4194304 5965102 140737164938416 140093877405688 4390187 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=21469/tid=21472] ppid=21467 vsize=631764 CPUtime=470.57 cores=0,2,4,6
/proc/21469/task/21472/stat : 21472 (pwbo2.0) R 21467 21469 19605 0 -1 4202560 39150 0 0 0 46996 61 0 0 20 0 3 0 275459419 646926336 130364 33554432000 4194304 5965102 140737164938416 140093866915912 4404383 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 943.46
Current children cumulated vsize (KiB) 631764
[startup+472.1 s]
/proc/loadavg: 3.99 3.97 3.92 5/181 21477
/proc/meminfo: memFree=30505284/32873844 swapFree=7112/7112
[pid=21469] ppid=21467 vsize=0 CPUtime=942.7 cores=0,2,4,6
/proc/21469/stat : 21469 (pwbo2.0) Z 21467 21469 19605 0 -1 4203532 129005 0 0 0 94105 165 0 0 20 0 2 0 275459418 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21469/statm: 0 0 0 0 0 0 0
[pid=21469/tid=21472] ppid=21467 vsize=0 CPUtime=470.76 cores=0,2,4,6
/proc/21469/task/21472/stat : 21472 (pwbo2.0) R 21467 21469 19605 0 -1 4203588 39150 0 0 0 47014 62 0 0 20 0 2 0 275459419 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 942.7
Current children cumulated vsize (KiB) 0
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21469 and gives
# childrusage.ru_utime.tv_sec=939
# childrusage.ru_utime.tv_usec=820125
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=730736
# CPU time returned by wait4() is 941.551
# while last known CPU time is 942.7
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 0.950012
# lost CPU user time (s): 1.04004
# lost CPU system time (s): -0.09
Real time (s): 472.105
CPU time (s): 943.65
CPU user time (s): 942.09
CPU system time (s): 1.56
CPU usage (%): 199.882
Max. virtual memory (cumulated for all children) (KiB): 631764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 939.82
system time used= 1.73074
maximum resident set size= 521472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 129005
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= 381
involuntary context switches= 1076
runsolver used 0.72089 second user time and 1.86072 second system time
The end