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-3726646-1338660654/watcher-3726646-1338660654 -o /tmp/evaluation-result-3726646-1338660654/solver-3726646-1338660654 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3726646-1338660654.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.02 2.00 3/176 3042
/proc/meminfo: memFree=23076388/32873852 swapFree=6856/6856
[pid=3042] ppid=3040 vsize=52836 CPUtime=0 cores=1,3,5,7
/proc/3042/stat : 3042 (pwbo2.02) R 3040 3042 909 0 -1 4202496 321 0 0 0 0 0 0 0 20 0 1 0 332190990 54104064 273 33554432000 4194304 5964478 140736343748688 140736343748104 5136490 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/3042/statm: 13209 273 173 433 0 349 0
[startup+0.0547369 s]
/proc/loadavg: 2.03 2.02 2.00 3/176 3042
/proc/meminfo: memFree=23076388/32873852 swapFree=6856/6856
[pid=3042] ppid=3040 vsize=55176 CPUtime=0.05 cores=1,3,5,7
/proc/3042/stat : 3042 (pwbo2.02) R 3040 3042 909 0 -1 4202496 1066 0 0 0 5 0 0 0 20 0 1 0 332190990 56500224 1018 33554432000 4194304 5964478 140736343748688 140736343748104 5136490 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/3042/statm: 13794 1018 347 433 0 934 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 55176
[startup+0.10028 s]
/proc/loadavg: 2.03 2.02 2.00 3/176 3042
/proc/meminfo: memFree=23076388/32873852 swapFree=6856/6856
[pid=3042] ppid=3040 vsize=57344 CPUtime=0.09 cores=1,3,5,7
/proc/3042/stat : 3042 (pwbo2.02) R 3040 3042 909 0 -1 4202496 1795 0 0 0 9 0 0 0 20 0 1 0 332190990 58720256 1714 33554432000 4194304 5964478 140736343748688 140736343748104 5136490 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/3042/statm: 14336 1714 524 433 0 1476 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 57344
[startup+0.300273 s]
/proc/loadavg: 2.03 2.02 2.00 3/176 3042
/proc/meminfo: memFree=23076388/32873852 swapFree=6856/6856
[pid=3042] ppid=3040 vsize=66288 CPUtime=0.29 cores=1,3,5,7
/proc/3042/stat : 3042 (pwbo2.02) R 3040 3042 909 0 -1 4202496 4786 0 0 0 29 0 0 0 20 0 1 0 332190990 67878912 4640 33554432000 4194304 5964478 140736343748688 140736343748104 5136490 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/3042/statm: 16572 4640 1269 433 0 3712 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 66288
[startup+0.700283 s]
/proc/loadavg: 2.03 2.02 2.00 3/176 3042
/proc/meminfo: memFree=23076388/32873852 swapFree=6856/6856
[pid=3042] ppid=3040 vsize=83628 CPUtime=0.69 cores=1,3,5,7
/proc/3042/stat : 3042 (pwbo2.02) R 3040 3042 909 0 -1 4202496 10652 0 0 0 69 0 0 0 20 0 1 0 332190990 85635072 10377 33554432000 4194304 5964478 140736343748688 140736343748104 4353281 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/3042/statm: 20907 10378 2753 433 0 8047 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 83628
[startup+1.50029 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 3043
/proc/meminfo: memFree=23032956/32873852 swapFree=6856/6856
[pid=3042] ppid=3040 vsize=120564 CPUtime=1.49 cores=1,3,5,7
/proc/3042/stat : 3042 (pwbo2.02) R 3040 3042 909 0 -1 4202496 22761 0 0 0 148 1 0 0 20 0 1 0 332190990 123457536 22227 33554432000 4194304 5964478 140736343748688 140736343747176 5156218 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/3042/statm: 30141 22227 5858 433 0 17281 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 120564
[startup+3.10032 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 3043
/proc/meminfo: memFree=22986888/32873852 swapFree=6856/6856
[pid=3042] ppid=3040 vsize=188492 CPUtime=3.09 cores=1,3,5,7
/proc/3042/stat : 3042 (pwbo2.02) R 3040 3042 909 0 -1 4202496 44008 0 0 0 305 4 0 0 20 0 1 0 332190990 193015808 43982 33554432000 4194304 5964478 140736343748688 140736343746760 4344768 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/3042/statm: 47123 43983 11781 433 0 34263 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 188492
[startup+6.30033 s]
/proc/loadavg: 2.11 2.04 2.00 3/178 3044
/proc/meminfo: memFree=22768320/32873852 swapFree=6856/6856
[pid=3042] ppid=3040 vsize=359248 CPUtime=6.28 cores=1,3,5,7
/proc/3042/stat : 3042 (pwbo2.02) S 3040 3042 909 0 -1 4202496 90144 0 0 0 615 13 0 0 20 0 2 0 332190990 367869952 77542 33554432000 4194304 5964478 140736343748688 140736343748208 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3042/statm: 89812 77542 186 433 0 89376 0
[pid=3042/tid=3044] ppid=3040 vsize=359248 CPUtime=2.95 cores=1,3,5,7
/proc/3042/task/3044/stat : 3044 (pwbo2.02) R 3040 3042 909 0 -1 4202560 42865 0 0 0 287 8 0 0 20 0 2 0 332191323 367869952 77542 33554432000 4194304 5964478 140736343748688 140631166056440 4403376 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 359248
[startup+12.7003 s]
/proc/loadavg: 2.10 2.04 2.00 3/177 3083
/proc/meminfo: memFree=25562116/32873852 swapFree=6856/6856
[pid=3042] ppid=3040 vsize=359248 CPUtime=12.68 cores=1,3,5,7
/proc/3042/stat : 3042 (pwbo2.02) S 3040 3042 909 0 -1 4202496 91736 0 0 0 1253 15 0 0 20 0 2 0 332190990 367869952 79134 33554432000 4194304 5964478 140736343748688 140736343748208 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3042/statm: 89812 79134 186 433 0 89376 0
[pid=3042/tid=3044] ppid=3040 vsize=359248 CPUtime=9.33 cores=1,3,5,7
/proc/3042/task/3044/stat : 3044 (pwbo2.02) R 3040 3042 909 0 -1 4202560 44457 0 0 0 924 9 0 0 20 0 2 0 332191323 367869952 79134 33554432000 4194304 5964478 140736343748688 140631166056248 4403376 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 359248
[startup+25.5003 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 3083
/proc/meminfo: memFree=25477860/32873852 swapFree=6856/6856
[pid=3042] ppid=3040 vsize=359248 CPUtime=25.48 cores=1,3,5,7
/proc/3042/stat : 3042 (pwbo2.02) S 3040 3042 909 0 -1 4202496 93875 0 0 0 2531 17 0 0 20 0 2 0 332190990 367869952 81273 33554432000 4194304 5964478 140736343748688 140736343748208 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3042/statm: 89812 81273 186 433 0 89376 0
[pid=3042/tid=3044] ppid=3040 vsize=359248 CPUtime=22.1 cores=1,3,5,7
/proc/3042/task/3044/stat : 3044 (pwbo2.02) R 3040 3042 909 0 -1 4202560 46596 0 0 0 2199 11 0 0 20 0 2 0 332191323 367869952 81273 33554432000 4194304 5964478 140736343748688 140631166056248 4392968 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 359248
[startup+51.1003 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 3083
/proc/meminfo: memFree=25454144/32873852 swapFree=6856/6856
[pid=3042] ppid=3040 vsize=424784 CPUtime=51.07 cores=1,3,5,7
/proc/3042/stat : 3042 (pwbo2.02) S 3040 3042 909 0 -1 4202496 99337 0 0 0 5088 19 0 0 20 0 2 0 332190990 434978816 86747 33554432000 4194304 5964478 140736343748688 140736343748208 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3042/statm: 106196 86747 186 433 0 105760 0
[pid=3042/tid=3044] ppid=3040 vsize=424784 CPUtime=47.63 cores=1,3,5,7
/proc/3042/task/3044/stat : 3044 (pwbo2.02) R 3040 3042 909 0 -1 4202560 52058 0 0 0 4749 14 0 0 20 0 2 0 332191323 434978816 86747 33554432000 4194304 5964478 140736343748688 140631166056440 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 424784
[startup+102.307 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 3084
/proc/meminfo: memFree=25391568/32873852 swapFree=6856/6856
[pid=3042] ppid=3040 vsize=424784 CPUtime=102.26 cores=1,3,5,7
/proc/3042/stat : 3042 (pwbo2.02) S 3040 3042 909 0 -1 4202496 107249 0 0 0 10201 25 0 0 20 0 2 0 332190990 434978816 95939 33554432000 4194304 5964478 140736343748688 140736343748208 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3042/statm: 106196 95939 186 433 0 105760 0
[pid=3042/tid=3044] ppid=3040 vsize=424784 CPUtime=98.69 cores=1,3,5,7
/proc/3042/task/3044/stat : 3044 (pwbo2.02) R 3040 3042 909 0 -1 4202560 59970 0 0 0 9849 20 0 0 20 0 2 0 332191323 434978816 95939 33554432000 4194304 5964478 140736343748688 140631166056248 4392968 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 424784
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 3084
/proc/meminfo: memFree=25318004/32873852 swapFree=6856/6856
[pid=3042] ppid=3040 vsize=490320 CPUtime=162.22 cores=1,3,5,7
/proc/3042/stat : 3042 (pwbo2.02) S 3040 3042 909 0 -1 4202496 114375 0 0 0 16190 32 0 0 20 0 2 0 332190990 502087680 103202 33554432000 4194304 5964478 140736343748688 140736343748208 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3042/statm: 122580 103202 186 433 0 122144 0
[pid=3042/tid=3044] ppid=3040 vsize=490320 CPUtime=158.5 cores=1,3,5,7
/proc/3042/task/3044/stat : 3044 (pwbo2.02) R 3040 3042 909 0 -1 4202560 67096 0 0 0 15821 29 0 0 20 0 2 0 332191323 502087680 103202 33554432000 4194304 5964478 140736343748688 140631166056440 4400069 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 490320
[startup+222.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 3084
/proc/meminfo: memFree=25250512/32873852 swapFree=6856/6856
[pid=3042] ppid=3040 vsize=490320 CPUtime=222.19 cores=1,3,5,7
/proc/3042/stat : 3042 (pwbo2.02) S 3040 3042 909 0 -1 4202496 119663 0 0 0 22183 36 0 0 20 0 2 0 332190990 502087680 108535 33554432000 4194304 5964478 140736343748688 140736343748208 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3042/statm: 122580 108535 186 433 0 122144 0
[pid=3042/tid=3044] ppid=3040 vsize=490320 CPUtime=218.32 cores=1,3,5,7
/proc/3042/task/3044/stat : 3044 (pwbo2.02) R 3040 3042 909 0 -1 4202560 72384 0 0 0 21799 33 0 0 20 0 2 0 332191323 502087680 108535 33554432000 4194304 5964478 140736343748688 140631166056440 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 490320
[startup+282.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/177 3084
/proc/meminfo: memFree=25176216/32873852 swapFree=6856/6856
[pid=3042] ppid=3040 vsize=490320 CPUtime=282.17 cores=1,3,5,7
/proc/3042/stat : 3042 (pwbo2.02) S 3040 3042 909 0 -1 4202496 126236 0 0 0 28174 43 0 0 20 0 2 0 332190990 502087680 115422 33554432000 4194304 5964478 140736343748688 140736343748208 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3042/statm: 122580 115422 186 433 0 122144 0
[pid=3042/tid=3044] ppid=3040 vsize=490320 CPUtime=278.16 cores=1,3,5,7
/proc/3042/task/3044/stat : 3044 (pwbo2.02) R 3040 3042 909 0 -1 4202560 78957 0 0 0 27774 42 0 0 20 0 2 0 332191323 502087680 115422 33554432000 4194304 5964478 140736343748688 140631166056440 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 490320
[startup+342.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 3084
/proc/meminfo: memFree=25115548/32873852 swapFree=6856/6856
[pid=3042] ppid=3040 vsize=555856 CPUtime=342.17 cores=1,3,5,7
/proc/3042/stat : 3042 (pwbo2.02) S 3040 3042 909 0 -1 4202496 131582 0 0 0 34168 49 0 0 20 0 2 0 332190990 569196544 120768 33554432000 4194304 5964478 140736343748688 140736343748208 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3042/statm: 138964 120768 186 433 0 138528 0
[pid=3042/tid=3044] ppid=3040 vsize=555856 CPUtime=338 cores=1,3,5,7
/proc/3042/task/3044/stat : 3044 (pwbo2.02) R 3040 3042 909 0 -1 4202560 84303 0 0 0 33752 48 0 0 20 0 2 0 332191323 569196544 120768 33554432000 4194304 5964478 140736343748688 140631166056440 5135124 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 555856
[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 3085
/proc/meminfo: memFree=25060708/32873852 swapFree=6856/6856
[pid=3042] ppid=3040 vsize=555856 CPUtime=402.16 cores=1,3,5,7
/proc/3042/stat : 3042 (pwbo2.02) S 3040 3042 909 0 -1 4202496 137160 0 0 0 40159 57 0 0 20 0 2 0 332190990 569196544 126346 33554432000 4194304 5964478 140736343748688 140736343748208 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3042/statm: 138964 126346 186 433 0 138528 0
[pid=3042/tid=3044] ppid=3040 vsize=555856 CPUtime=397.84 cores=1,3,5,7
/proc/3042/task/3044/stat : 3044 (pwbo2.02) R 3040 3042 909 0 -1 4202560 89881 0 0 0 39727 57 0 0 20 0 2 0 332191323 569196544 126346 33554432000 4194304 5964478 140736343748688 140631166056440 4400103 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 555856
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 3085
/proc/meminfo: memFree=25012496/32873852 swapFree=6856/6856
[pid=3042] ppid=3040 vsize=555856 CPUtime=462.15 cores=1,3,5,7
/proc/3042/stat : 3042 (pwbo2.02) S 3040 3042 909 0 -1 4202496 142292 0 0 0 46150 65 0 0 20 0 2 0 332190990 569196544 131478 33554432000 4194304 5964478 140736343748688 140736343748208 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3042/statm: 138964 131478 186 433 0 138528 0
[pid=3042/tid=3044] ppid=3040 vsize=555856 CPUtime=457.68 cores=1,3,5,7
/proc/3042/task/3044/stat : 3044 (pwbo2.02) R 3040 3042 909 0 -1 4202560 95013 0 0 0 45703 65 0 0 20 0 2 0 332191323 569196544 131478 33554432000 4194304 5964478 140736343748688 140631166056440 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3096
/proc/meminfo: memFree=24508584/32873852 swapFree=6856/6856
[pid=3042] ppid=3040 vsize=818000 CPUtime=1421.92 cores=1,3,5,7
/proc/3042/stat : 3042 (pwbo2.02) S 3040 3042 909 0 -1 4202496 198871 0 0 0 142059 133 0 0 20 0 2 0 332190990 837632000 191978 33554432000 4194304 5964478 140736343748688 140736343748208 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3042/statm: 204500 191978 186 433 0 204064 0
[pid=3042/tid=3044] ppid=3040 vsize=818000 CPUtime=1415.04 cores=1,3,5,7
/proc/3042/task/3044/stat : 3044 (pwbo2.02) R 3040 3042 909 0 -1 4202560 151592 0 0 0 141355 149 0 0 20 0 2 0 332191323 837632000 191978 33554432000 4194304 5964478 140736343748688 140631166056440 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 818000
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3096
/proc/meminfo: memFree=24476764/32873852 swapFree=6856/6856
[pid=3042] ppid=3040 vsize=818000 CPUtime=1481.91 cores=1,3,5,7
/proc/3042/stat : 3042 (pwbo2.02) S 3040 3042 909 0 -1 4202496 202471 0 0 0 148054 137 0 0 20 0 2 0 332190990 837632000 195647 33554432000 4194304 5964478 140736343748688 140736343748208 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3042/statm: 204500 195647 186 433 0 204064 0
[pid=3042/tid=3044] ppid=3040 vsize=818000 CPUtime=1474.87 cores=1,3,5,7
/proc/3042/task/3044/stat : 3044 (pwbo2.02) R 3040 3042 909 0 -1 4202560 155192 0 0 0 147334 153 0 0 20 0 2 0 332191323 837632000 195647 33554432000 4194304 5964478 140736343748688 140631166056248 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 818000
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3096
/proc/meminfo: memFree=24456040/32873852 swapFree=6856/6856
[pid=3042] ppid=3040 vsize=818000 CPUtime=1541.89 cores=1,3,5,7
/proc/3042/stat : 3042 (pwbo2.02) S 3040 3042 909 0 -1 4202496 205145 0 0 0 154049 140 0 0 20 0 2 0 332190990 837632000 198439 33554432000 4194304 5964478 140736343748688 140736343748208 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3042/statm: 204500 198439 186 433 0 204064 0
[pid=3042/tid=3044] ppid=3040 vsize=818000 CPUtime=1534.71 cores=1,3,5,7
/proc/3042/task/3044/stat : 3044 (pwbo2.02) R 3040 3042 909 0 -1 4202560 157866 0 0 0 153313 158 0 0 20 0 2 0 332191323 837632000 198439 33554432000 4194304 5964478 140736343748688 140631166056440 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 818000
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3096
/proc/meminfo: memFree=24436572/32873852 swapFree=6856/6856
[pid=3042] ppid=3040 vsize=883536 CPUtime=1601.88 cores=1,3,5,7
/proc/3042/stat : 3042 (pwbo2.02) S 3040 3042 909 0 -1 4202496 207452 0 0 0 160044 144 0 0 20 0 2 0 332190990 904740864 200746 33554432000 4194304 5964478 140736343748688 140736343748208 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3042/statm: 220884 200746 186 433 0 220448 0
[pid=3042/tid=3044] ppid=3040 vsize=883536 CPUtime=1594.55 cores=1,3,5,7
/proc/3042/task/3044/stat : 3044 (pwbo2.02) R 3040 3042 909 0 -1 4202560 160173 0 0 0 159293 162 0 0 20 0 2 0 332191323 904740864 200746 33554432000 4194304 5964478 140736343748688 140631166056488 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 883536
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3097
/proc/meminfo: memFree=24414748/32873852 swapFree=6856/6856
[pid=3042] ppid=3040 vsize=883536 CPUtime=1661.87 cores=1,3,5,7
/proc/3042/stat : 3042 (pwbo2.02) S 3040 3042 909 0 -1 4202496 209500 0 0 0 166040 147 0 0 20 0 2 0 332190990 904740864 202794 33554432000 4194304 5964478 140736343748688 140736343748208 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3042/statm: 220884 202794 186 433 0 220448 0
[pid=3042/tid=3044] ppid=3040 vsize=883536 CPUtime=1654.39 cores=1,3,5,7
/proc/3042/task/3044/stat : 3044 (pwbo2.02) R 3040 3042 909 0 -1 4202560 162221 0 0 0 165272 167 0 0 20 0 2 0 332191323 904740864 202794 33554432000 4194304 5964478 140736343748688 140631166056440 4399926 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 883536
[startup+1722.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 3097
/proc/meminfo: memFree=24396768/32873852 swapFree=6856/6856
[pid=3042] ppid=3040 vsize=883536 CPUtime=1721.86 cores=1,3,5,7
/proc/3042/stat : 3042 (pwbo2.02) S 3040 3042 909 0 -1 4202496 211531 0 0 0 172036 150 0 0 20 0 2 0 332190990 904740864 204824 33554432000 4194304 5964478 140736343748688 140736343748208 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3042/statm: 220884 204824 186 433 0 220448 0
[pid=3042/tid=3044] ppid=3040 vsize=883536 CPUtime=1714.23 cores=1,3,5,7
/proc/3042/task/3044/stat : 3044 (pwbo2.02) R 3040 3042 909 0 -1 4202560 164252 0 0 0 171253 170 0 0 20 0 2 0 332191323 904740864 204824 33554432000 4194304 5964478 140736343748688 140631166056440 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 883536
[startup+1782.3 s]
/proc/loadavg: 2.10 2.02 2.01 3/178 3100
/proc/meminfo: memFree=24378032/32873852 swapFree=6856/6856
[pid=3042] ppid=3040 vsize=883536 CPUtime=1781.85 cores=1,3,5,7
/proc/3042/stat : 3042 (pwbo2.02) S 3040 3042 909 0 -1 4202496 213294 0 0 0 178034 151 0 0 20 0 2 0 332190990 904740864 206587 33554432000 4194304 5964478 140736343748688 140736343748208 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3042/statm: 220884 206587 186 433 0 220448 0
[pid=3042/tid=3044] ppid=3040 vsize=883536 CPUtime=1774.07 cores=1,3,5,7
/proc/3042/task/3044/stat : 3044 (pwbo2.02) R 3040 3042 909 0 -1 4202560 166015 0 0 0 177235 172 0 0 20 0 2 0 332191323 904740864 206587 33554432000 4194304 5964478 140736343748688 140631166056440 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 883536
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.08 2.02 2.00 3/178 3100
/proc/meminfo: memFree=24374296/32873852 swapFree=6856/6856
[pid=3042] ppid=3040 vsize=883536 CPUtime=1791.46 cores=1,3,5,7
/proc/3042/stat : 3042 (pwbo2.02) S 3040 3042 909 0 -1 4202496 213634 0 0 0 178994 152 0 0 20 0 2 0 332190990 904740864 206926 33554432000 4194304 5964478 140736343748688 140736343748208 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3042/statm: 220884 206926 186 433 0 220448 0
[pid=3042/tid=3044] ppid=3040 vsize=883536 CPUtime=1783.66 cores=1,3,5,7
/proc/3042/task/3044/stat : 3044 (pwbo2.02) R 3040 3042 909 0 -1 4202560 166355 0 0 0 178193 173 0 0 20 0 2 0 332191323 904740864 206926 33554432000 4194304 5964478 140736343748688 140631166056248 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.46
Current children cumulated vsize (KiB) 883536
[startup+1795.1 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 3100
/proc/meminfo: memFree=24372420/32873852 swapFree=6856/6856
[pid=3042] ppid=3040 vsize=883536 CPUtime=1794.66 cores=1,3,5,7
/proc/3042/stat : 3042 (pwbo2.02) S 3040 3042 909 0 -1 4202496 213768 0 0 0 179314 152 0 0 20 0 2 0 332190990 904740864 207060 33554432000 4194304 5964478 140736343748688 140736343748208 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3042/statm: 220884 207060 186 433 0 220448 0
[pid=3042/tid=3044] ppid=3040 vsize=883536 CPUtime=1786.85 cores=1,3,5,7
/proc/3042/task/3044/stat : 3044 (pwbo2.02) R 3040 3042 909 0 -1 4202560 166489 0 0 0 178512 173 0 0 20 0 2 0 332191323 904740864 207060 33554432000 4194304 5964478 140736343748688 140631166056248 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.66
Current children cumulated vsize (KiB) 883536
[startup+1798.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 3100
/proc/meminfo: memFree=24370808/32873852 swapFree=6856/6856
[pid=3042] ppid=3040 vsize=883536 CPUtime=1797.85 cores=1,3,5,7
/proc/3042/stat : 3042 (pwbo2.02) S 3040 3042 909 0 -1 4202496 213853 0 0 0 179633 152 0 0 20 0 2 0 332190990 904740864 207145 33554432000 4194304 5964478 140736343748688 140736343748208 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3042/statm: 220884 207145 186 433 0 220448 0
[pid=3042/tid=3044] ppid=3040 vsize=883536 CPUtime=1790.03 cores=1,3,5,7
/proc/3042/task/3044/stat : 3044 (pwbo2.02) R 3040 3042 909 0 -1 4202560 166574 0 0 0 178830 173 0 0 20 0 2 0 332191323 904740864 207145 33554432000 4194304 5964478 140736343748688 140631166056440 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.85
Current children cumulated vsize (KiB) 883536
[startup+1799.1 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 3100
/proc/meminfo: memFree=24370436/32873852 swapFree=6856/6856
[pid=3042] ppid=3040 vsize=883536 CPUtime=1798.65 cores=1,3,5,7
/proc/3042/stat : 3042 (pwbo2.02) S 3040 3042 909 0 -1 4202496 213879 0 0 0 179713 152 0 0 20 0 2 0 332190990 904740864 207171 33554432000 4194304 5964478 140736343748688 140736343748208 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3042/statm: 220884 207171 186 433 0 220448 0
[pid=3042/tid=3044] ppid=3040 vsize=883536 CPUtime=1790.83 cores=1,3,5,7
/proc/3042/task/3044/stat : 3044 (pwbo2.02) R 3040 3042 909 0 -1 4202560 166600 0 0 0 178910 173 0 0 20 0 2 0 332191323 904740864 207171 33554432000 4194304 5964478 140736343748688 140631166056440 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.65
Current children cumulated vsize (KiB) 883536
[startup+1799.5 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 3100
/proc/meminfo: memFree=24370312/32873852 swapFree=6856/6856
[pid=3042] ppid=3040 vsize=883536 CPUtime=1799.06 cores=1,3,5,7
/proc/3042/stat : 3042 (pwbo2.02) S 3040 3042 909 0 -1 4202496 213893 0 0 0 179754 152 0 0 20 0 2 0 332190990 904740864 207185 33554432000 4194304 5964478 140736343748688 140736343748208 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3042/statm: 220884 207185 186 433 0 220448 0
[pid=3042/tid=3044] ppid=3040 vsize=883536 CPUtime=1791.24 cores=1,3,5,7
/proc/3042/task/3044/stat : 3044 (pwbo2.02) R 3040 3042 909 0 -1 4202560 166614 0 0 0 178951 173 0 0 20 0 2 0 332191323 904740864 207185 33554432000 4194304 5964478 140736343748688 140631166056440 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.06
Current children cumulated vsize (KiB) 883536
[startup+1799.9 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 3100
/proc/meminfo: memFree=24370312/32873852 swapFree=6856/6856
[pid=3042] ppid=3040 vsize=883536 CPUtime=1799.45 cores=1,3,5,7
/proc/3042/stat : 3042 (pwbo2.02) S 3040 3042 909 0 -1 4202496 213901 0 0 0 179793 152 0 0 20 0 2 0 332190990 904740864 207193 33554432000 4194304 5964478 140736343748688 140736343748208 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3042/statm: 220884 207193 186 433 0 220448 0
[pid=3042/tid=3044] ppid=3040 vsize=883536 CPUtime=1791.63 cores=1,3,5,7
/proc/3042/task/3044/stat : 3044 (pwbo2.02) R 3040 3042 909 0 -1 4202560 166622 0 0 0 178990 173 0 0 20 0 2 0 332191323 904740864 207193 33554432000 4194304 5964478 140736343748688 140631166056440 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.45
Current children cumulated vsize (KiB) 883536
[startup+1800 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 3100
/proc/meminfo: memFree=24370312/32873852 swapFree=6856/6856
[pid=3042] ppid=3040 vsize=883536 CPUtime=1799.55 cores=1,3,5,7
/proc/3042/stat : 3042 (pwbo2.02) S 3040 3042 909 0 -1 4202496 213903 0 0 0 179803 152 0 0 20 0 2 0 332190990 904740864 207195 33554432000 4194304 5964478 140736343748688 140736343748208 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3042/statm: 220884 207195 186 433 0 220448 0
[pid=3042/tid=3044] ppid=3040 vsize=883536 CPUtime=1791.73 cores=1,3,5,7
/proc/3042/task/3044/stat : 3044 (pwbo2.02) R 3040 3042 909 0 -1 4202560 166624 0 0 0 179000 173 0 0 20 0 2 0 332191323 904740864 207195 33554432000 4194304 5964478 140736343748688 140631166056440 4400519 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.55
Current children cumulated vsize (KiB) 883536
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3042 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=269381
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=806725
# CPU time returned by wait4() is 1795.08
# while last known CPU time is 1799.55
#
# 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.55
CPU user time (s): 1798.03
CPU system time (s): 1.52
CPU usage (%): 99.9743
Max. virtual memory (cumulated for all children) (KiB): 883536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.27
system time used= 1.80672
maximum resident set size= 828800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 213908
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= 266
involuntary context switches= 1921
runsolver used 11.4563 second user time and 12.5341 second system time
The end