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-3726628-1338658036/watcher-3726628-1338658036 -o /tmp/evaluation-result-3726628-1338658036/solver-3726628-1338658036 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3726628-1338658036.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.13 2.05 1.97 3/177 30811
/proc/meminfo: memFree=27356424/32873844 swapFree=7628/7628
[pid=30811] ppid=30809 vsize=7104 CPUtime=0 cores=1,3,5,7
/proc/30811/stat : 30811 (pwbo2.02) R 30809 30811 27854 0 -1 4202496 459 0 0 0 0 0 0 0 20 0 1 0 331927988 7274496 411 33554432000 4194304 5964478 140733891956384 140733891954264 5136490 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/30811/statm: 1776 411 169 433 0 483 0
[startup+0.0638881 s]
/proc/loadavg: 2.13 2.05 1.97 3/177 30811
/proc/meminfo: memFree=27356424/32873844 swapFree=7628/7628
[pid=30811] ppid=30809 vsize=13940 CPUtime=0.06 cores=1,3,5,7
/proc/30811/stat : 30811 (pwbo2.02) R 30809 30811 27854 0 -1 4202496 2238 0 0 0 6 0 0 0 20 0 1 0 331927988 14274560 2157 33554432000 4194304 5964478 140733891956384 140733891954264 4344768 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/30811/statm: 3485 2158 359 433 0 2192 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13940
[startup+0.100315 s]
/proc/loadavg: 2.13 2.05 1.97 3/177 30811
/proc/meminfo: memFree=27356424/32873844 swapFree=7628/7628
[pid=30811] ppid=30809 vsize=15176 CPUtime=0.09 cores=1,3,5,7
/proc/30811/stat : 30811 (pwbo2.02) R 30809 30811 27854 0 -1 4202496 2690 0 0 0 9 0 0 0 20 0 1 0 331927988 15540224 2609 33554432000 4194304 5964478 140733891956384 140733891954264 5162098 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/30811/statm: 3794 2609 486 433 0 2501 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15176
[startup+0.300221 s]
/proc/loadavg: 2.13 2.05 1.97 3/177 30811
/proc/meminfo: memFree=27356424/32873844 swapFree=7628/7628
[pid=30811] ppid=30809 vsize=106412 CPUtime=0.28 cores=1,3,5,7
/proc/30811/stat : 30811 (pwbo2.02) S 30809 30811 27854 0 -1 4202496 9245 0 0 0 28 0 0 0 20 0 2 0 331927988 108965888 8128 33554432000 4194304 5964478 140733891956384 140733891955904 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30811/statm: 26603 8128 176 433 0 26167 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 106412
[startup+0.700124 s]
/proc/loadavg: 2.13 2.05 1.97 3/177 30811
/proc/meminfo: memFree=27356424/32873844 swapFree=7628/7628
[pid=30811] ppid=30809 vsize=105448 CPUtime=0.68 cores=1,3,5,7
/proc/30811/stat : 30811 (pwbo2.02) S 30809 30811 27854 0 -1 4202496 12198 0 0 0 67 1 0 0 20 0 2 0 331927988 107978752 9969 33554432000 4194304 5964478 140733891956384 140733891955904 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30811/statm: 26362 9969 187 433 0 25926 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 105448
[startup+1.50032 s]
/proc/loadavg: 2.13 2.05 1.97 3/179 30813
/proc/meminfo: memFree=27317008/32873844 swapFree=7628/7628
[pid=30811] ppid=30809 vsize=105448 CPUtime=1.48 cores=1,3,5,7
/proc/30811/stat : 30811 (pwbo2.02) S 30809 30811 27854 0 -1 4202496 12461 0 0 0 147 1 0 0 20 0 2 0 331927988 107978752 10232 33554432000 4194304 5964478 140733891956384 140733891955904 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30811/statm: 26362 10232 187 433 0 25926 0
[pid=30811/tid=30813] ppid=30809 vsize=105448 CPUtime=1.21 cores=1,3,5,7
/proc/30811/task/30813/stat : 30813 (pwbo2.02) R 30809 30811 27854 0 -1 4202560 6163 0 0 0 120 1 0 0 20 0 2 0 331928015 107978752 10232 33554432000 4194304 5964478 140733891956384 139856089139000 4389974 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) 105448
[startup+3.10034 s]
/proc/loadavg: 2.13 2.05 1.97 3/179 30813
/proc/meminfo: memFree=27312660/32873844 swapFree=7628/7628
[pid=30811] ppid=30809 vsize=105448 CPUtime=3.08 cores=1,3,5,7
/proc/30811/stat : 30811 (pwbo2.02) S 30809 30811 27854 0 -1 4202496 13145 0 0 0 307 1 0 0 20 0 2 0 331927988 107978752 10916 33554432000 4194304 5964478 140733891956384 140733891955904 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30811/statm: 26362 10916 187 433 0 25926 0
[pid=30811/tid=30813] ppid=30809 vsize=105448 CPUtime=2.81 cores=1,3,5,7
/proc/30811/task/30813/stat : 30813 (pwbo2.02) R 30809 30811 27854 0 -1 4202560 6847 0 0 0 280 1 0 0 20 0 2 0 331928015 107978752 10916 33554432000 4194304 5964478 140733891956384 139856089139000 4392696 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 105448
[startup+6.30028 s]
/proc/loadavg: 2.12 2.05 1.97 3/179 30813
/proc/meminfo: memFree=27302740/32873844 swapFree=7628/7628
[pid=30811] ppid=30809 vsize=105448 CPUtime=6.28 cores=1,3,5,7
/proc/30811/stat : 30811 (pwbo2.02) S 30809 30811 27854 0 -1 4202496 14342 0 0 0 626 2 0 0 20 0 2 0 331927988 107978752 12113 33554432000 4194304 5964478 140733891956384 140733891955904 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30811/statm: 26362 12113 187 433 0 25926 0
[pid=30811/tid=30813] ppid=30809 vsize=105448 CPUtime=6 cores=1,3,5,7
/proc/30811/task/30813/stat : 30813 (pwbo2.02) R 30809 30811 27854 0 -1 4202560 8044 0 0 0 598 2 0 0 20 0 2 0 331928015 107978752 12113 33554432000 4194304 5964478 140733891956384 139856089139000 4387939 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) 105448
[startup+12.7003 s]
/proc/loadavg: 2.11 2.05 1.97 3/179 30813
/proc/meminfo: memFree=27288092/32873844 swapFree=7628/7628
[pid=30811] ppid=30809 vsize=105448 CPUtime=12.68 cores=1,3,5,7
/proc/30811/stat : 30811 (pwbo2.02) S 30809 30811 27854 0 -1 4202496 16431 0 0 0 1265 3 0 0 20 0 2 0 331927988 107978752 14202 33554432000 4194304 5964478 140733891956384 140733891955904 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30811/statm: 26362 14202 187 433 0 25926 0
[pid=30811/tid=30813] ppid=30809 vsize=105448 CPUtime=12.38 cores=1,3,5,7
/proc/30811/task/30813/stat : 30813 (pwbo2.02) R 30809 30811 27854 0 -1 4202560 10133 0 0 0 1236 2 0 0 20 0 2 0 331928015 107978752 14202 33554432000 4194304 5964478 140733891956384 139856089139000 4399920 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) 105448
[startup+25.5004 s]
/proc/loadavg: 2.16 2.06 1.97 3/179 30813
/proc/meminfo: memFree=27266632/32873844 swapFree=7628/7628
[pid=30811] ppid=30809 vsize=105448 CPUtime=25.48 cores=1,3,5,7
/proc/30811/stat : 30811 (pwbo2.02) S 30809 30811 27854 0 -1 4202496 20252 0 0 0 2543 5 0 0 20 0 2 0 331927988 107978752 18023 33554432000 4194304 5964478 140733891956384 140733891955904 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30811/statm: 26362 18023 187 433 0 25926 0
[pid=30811/tid=30813] ppid=30809 vsize=105448 CPUtime=25.15 cores=1,3,5,7
/proc/30811/task/30813/stat : 30813 (pwbo2.02) R 30809 30811 27854 0 -1 4202560 13954 0 0 0 2510 5 0 0 20 0 2 0 331928015 107978752 18023 33554432000 4194304 5964478 140733891956384 139856089139240 4399920 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) 105448
[startup+51.1004 s]
/proc/loadavg: 2.11 2.05 1.97 3/179 30813
/proc/meminfo: memFree=27257160/32873844 swapFree=7628/7628
[pid=30811] ppid=30809 vsize=105448 CPUtime=51.08 cores=1,3,5,7
/proc/30811/stat : 30811 (pwbo2.02) S 30809 30811 27854 0 -1 4202496 22524 0 0 0 5101 7 0 0 20 0 2 0 331927988 107978752 20295 33554432000 4194304 5964478 140733891956384 140733891955904 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30811/statm: 26362 20295 187 433 0 25926 0
[pid=30811/tid=30813] ppid=30809 vsize=105448 CPUtime=50.69 cores=1,3,5,7
/proc/30811/task/30813/stat : 30813 (pwbo2.02) R 30809 30811 27854 0 -1 4202560 16226 0 0 0 5063 6 0 0 20 0 2 0 331928015 107978752 20295 33554432000 4194304 5964478 140733891956384 139856089139000 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 105448
[startup+102.307 s]
/proc/loadavg: 2.04 2.04 1.97 3/179 30813
/proc/meminfo: memFree=27222112/32873844 swapFree=7628/7628
[pid=30811] ppid=30809 vsize=172608 CPUtime=102.28 cores=1,3,5,7
/proc/30811/stat : 30811 (pwbo2.02) S 30809 30811 27854 0 -1 4202496 31054 0 0 0 10213 15 0 0 20 0 2 0 331927988 176750592 28825 33554432000 4194304 5964478 140733891956384 140733891955904 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30811/statm: 43152 28825 187 433 0 42716 0
[pid=30811/tid=30813] ppid=30809 vsize=172608 CPUtime=101.76 cores=1,3,5,7
/proc/30811/task/30813/stat : 30813 (pwbo2.02) R 30809 30811 27854 0 -1 4202560 24756 0 0 0 10161 15 0 0 20 0 2 0 331928015 176750592 28825 33554432000 4194304 5964478 140733891956384 139856089139000 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 172608
[startup+162.3 s]
/proc/loadavg: 2.05 2.05 1.98 3/179 30813
/proc/meminfo: memFree=27207880/32873844 swapFree=7628/7628
[pid=30811] ppid=30809 vsize=172608 CPUtime=162.26 cores=1,3,5,7
/proc/30811/stat : 30811 (pwbo2.02) S 30809 30811 27854 0 -1 4202496 34502 0 0 0 16206 20 0 0 20 0 2 0 331927988 176750592 32273 33554432000 4194304 5964478 140733891956384 140733891955904 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30811/statm: 43152 32273 187 433 0 42716 0
[pid=30811/tid=30813] ppid=30809 vsize=172608 CPUtime=161.6 cores=1,3,5,7
/proc/30811/task/30813/stat : 30813 (pwbo2.02) R 30809 30811 27854 0 -1 4202560 28204 0 0 0 16139 21 0 0 20 0 2 0 331928015 176750592 32273 33554432000 4194304 5964478 140733891956384 139856089139000 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 172608
[startup+222.3 s]
/proc/loadavg: 2.02 2.04 1.98 3/180 30816
/proc/meminfo: memFree=27116228/32873844 swapFree=7628/7628
[pid=30811] ppid=30809 vsize=172608 CPUtime=222.26 cores=1,3,5,7
/proc/30811/stat : 30811 (pwbo2.02) S 30809 30811 27854 0 -1 4202496 38822 0 0 0 22202 24 0 0 20 0 2 0 331927988 176750592 36593 33554432000 4194304 5964478 140733891956384 140733891955904 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30811/statm: 43152 36593 187 433 0 42716 0
[pid=30811/tid=30813] ppid=30809 vsize=172608 CPUtime=221.45 cores=1,3,5,7
/proc/30811/task/30813/stat : 30813 (pwbo2.02) R 30809 30811 27854 0 -1 4202560 32524 0 0 0 22119 26 0 0 20 0 2 0 331928015 176750592 36593 33554432000 4194304 5964478 140733891956384 139856089139240 4403367 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 172608
[startup+282.3 s]
/proc/loadavg: 2.00 2.03 1.98 3/179 30817
/proc/meminfo: memFree=27041892/32873844 swapFree=7628/7628
[pid=30811] ppid=30809 vsize=238952 CPUtime=282.24 cores=1,3,5,7
/proc/30811/stat : 30811 (pwbo2.02) S 30809 30811 27854 0 -1 4202496 43890 0 0 0 28194 30 0 0 20 0 2 0 331927988 244686848 41661 33554432000 4194304 5964478 140733891956384 140733891955904 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30811/statm: 59738 41661 187 433 0 59302 0
[pid=30811/tid=30813] ppid=30809 vsize=238952 CPUtime=281.3 cores=1,3,5,7
/proc/30811/task/30813/stat : 30813 (pwbo2.02) R 30809 30811 27854 0 -1 4202560 37592 0 0 0 28096 34 0 0 20 0 2 0 331928015 244686848 41661 33554432000 4194304 5964478 140733891956384 139856089139000 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 238952
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/179 30817
/proc/meminfo: memFree=27039908/32873844 swapFree=7628/7628
[pid=30811] ppid=30809 vsize=238952 CPUtime=342.23 cores=1,3,5,7
/proc/30811/stat : 30811 (pwbo2.02) S 30809 30811 27854 0 -1 4202496 44940 0 0 0 34192 31 0 0 20 0 2 0 331927988 244686848 42711 33554432000 4194304 5964478 140733891956384 140733891955904 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30811/statm: 59738 42711 187 433 0 59302 0
[pid=30811/tid=30813] ppid=30809 vsize=238952 CPUtime=341.15 cores=1,3,5,7
/proc/30811/task/30813/stat : 30813 (pwbo2.02) R 30809 30811 27854 0 -1 4202560 38642 0 0 0 34079 36 0 0 20 0 2 0 331928015 244686848 42711 33554432000 4194304 5964478 140733891956384 139856089139192 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 238952
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/179 30817
/proc/meminfo: memFree=27002056/32873844 swapFree=7628/7628
[pid=30811] ppid=30809 vsize=238952 CPUtime=402.21 cores=1,3,5,7
/proc/30811/stat : 30811 (pwbo2.02) S 30809 30811 27854 0 -1 4202496 53911 0 0 0 40181 40 0 0 20 0 2 0 331927988 244686848 52127 33554432000 4194304 5964478 140733891956384 140733891955904 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30811/statm: 59738 52127 187 433 0 59302 0
[pid=30811/tid=30813] ppid=30809 vsize=238952 CPUtime=400.99 cores=1,3,5,7
/proc/30811/task/30813/stat : 30813 (pwbo2.02) R 30809 30811 27854 0 -1 4202560 47613 0 0 0 40053 46 0 0 20 0 2 0 331928015 244686848 52127 33554432000 4194304 5964478 140733891956384 139856089139192 4388139 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 238952
[startup+462.3 s]
/proc/loadavg: 2.06 2.03 1.98 3/179 30817
/proc/meminfo: memFree=26972324/32873844 swapFree=7628/7628
[pid=30811] ppid=30809 vsize=304488 CPUtime=462.16 cores=1,3,5,7
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 31255
/proc/meminfo: memFree=27292632/32873844 swapFree=7628/7628
[pid=30811] ppid=30809 vsize=438600 CPUtime=1421.95 cores=1,3,5,7
/proc/30811/stat : 30811 (pwbo2.02) S 30809 30811 27854 0 -1 4202496 105003 0 0 0 142079 116 0 0 20 0 2 0 331927988 449126400 103500 33554432000 4194304 5964478 140733891956384 140733891955904 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30811/statm: 109650 103500 187 433 0 109214 0
[pid=30811/tid=30813] ppid=30809 vsize=438600 CPUtime=1418.27 cores=1,3,5,7
/proc/30811/task/30813/stat : 30813 (pwbo2.02) R 30809 30811 27854 0 -1 4202560 98705 0 0 0 141690 137 0 0 20 0 2 0 331928015 449126400 103500 33554432000 4194304 5964478 140733891956384 139856089139240 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 438600
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31256
/proc/meminfo: memFree=27265292/32873844 swapFree=7628/7628
[pid=30811] ppid=30809 vsize=504136 CPUtime=1481.94 cores=1,3,5,7
/proc/30811/stat : 30811 (pwbo2.02) S 30809 30811 27854 0 -1 4202496 107843 0 0 0 148073 121 0 0 20 0 2 0 331927988 516235264 106339 33554432000 4194304 5964478 140733891956384 140733891955904 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30811/statm: 126034 106339 187 433 0 125598 0
[pid=30811/tid=30813] ppid=30809 vsize=504136 CPUtime=1478.11 cores=1,3,5,7
/proc/30811/task/30813/stat : 30813 (pwbo2.02) R 30809 30811 27854 0 -1 4202560 101545 0 0 0 147669 142 0 0 20 0 2 0 331928015 516235264 106339 33554432000 4194304 5964478 140733891956384 139856089139240 4222314 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 504136
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31256
/proc/meminfo: memFree=27236028/32873844 swapFree=7628/7628
[pid=30811] ppid=30809 vsize=504136 CPUtime=1541.92 cores=1,3,5,7
/proc/30811/stat : 30811 (pwbo2.02) S 30809 30811 27854 0 -1 4202496 110656 0 0 0 154067 125 0 0 20 0 2 0 331927988 516235264 109531 33554432000 4194304 5964478 140733891956384 140733891955904 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30811/statm: 126034 109531 187 433 0 125598 0
[pid=30811/tid=30813] ppid=30809 vsize=504136 CPUtime=1537.94 cores=1,3,5,7
/proc/30811/task/30813/stat : 30813 (pwbo2.02) R 30809 30811 27854 0 -1 4202560 104358 0 0 0 153646 148 0 0 20 0 2 0 331928015 516235264 109531 33554432000 4194304 5964478 140733891956384 139856089139192 4389160 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 504136
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31256
/proc/meminfo: memFree=27209368/32873844 swapFree=7628/7628
[pid=30811] ppid=30809 vsize=504136 CPUtime=1601.91 cores=1,3,5,7
/proc/30811/stat : 30811 (pwbo2.02) S 30809 30811 27854 0 -1 4202496 113332 0 0 0 160062 129 0 0 20 0 2 0 331927988 516235264 112207 33554432000 4194304 5964478 140733891956384 140733891955904 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30811/statm: 126034 112207 187 433 0 125598 0
[pid=30811/tid=30813] ppid=30809 vsize=504136 CPUtime=1597.78 cores=1,3,5,7
/proc/30811/task/30813/stat : 30813 (pwbo2.02) R 30809 30811 27854 0 -1 4202560 107034 0 0 0 159625 153 0 0 20 0 2 0 331928015 516235264 112207 33554432000 4194304 5964478 140733891956384 139856089139000 4400519 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 504136
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31256
/proc/meminfo: memFree=27177004/32873844 swapFree=7628/7628
[pid=30811] ppid=30809 vsize=504136 CPUtime=1661.9 cores=1,3,5,7
/proc/30811/stat : 30811 (pwbo2.02) S 30809 30811 27854 0 -1 4202496 115776 0 0 0 166057 133 0 0 20 0 2 0 331927988 516235264 114651 33554432000 4194304 5964478 140733891956384 140733891955904 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30811/statm: 126034 114651 187 433 0 125598 0
[pid=30811/tid=30813] ppid=30809 vsize=504136 CPUtime=1657.63 cores=1,3,5,7
/proc/30811/task/30813/stat : 30813 (pwbo2.02) R 30809 30811 27854 0 -1 4202560 109478 0 0 0 165605 158 0 0 20 0 2 0 331928015 516235264 114651 33554432000 4194304 5964478 140733891956384 139856089139240 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 504136
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 31256
/proc/meminfo: memFree=27164812/32873844 swapFree=7628/7628
[pid=30811] ppid=30809 vsize=504136 CPUtime=1721.88 cores=1,3,5,7
/proc/30811/stat : 30811 (pwbo2.02) S 30809 30811 27854 0 -1 4202496 118147 0 0 0 172051 137 0 0 20 0 2 0 331927988 516235264 117103 33554432000 4194304 5964478 140733891956384 140733891955904 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30811/statm: 126034 117103 187 433 0 125598 0
[pid=30811/tid=30813] ppid=30809 vsize=504136 CPUtime=1717.46 cores=1,3,5,7
/proc/30811/task/30813/stat : 30813 (pwbo2.02) R 30809 30811 27854 0 -1 4202560 111849 0 0 0 171584 162 0 0 20 0 2 0 331928015 516235264 117103 33554432000 4194304 5964478 140733891956384 139856089139240 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 504136
[startup+1782.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 31257
/proc/meminfo: memFree=27135828/32873844 swapFree=7628/7628
[pid=30811] ppid=30809 vsize=504136 CPUtime=1781.87 cores=1,3,5,7
/proc/30811/stat : 30811 (pwbo2.02) S 30809 30811 27854 0 -1 4202496 120421 0 0 0 178047 140 0 0 20 0 2 0 331927988 516235264 119377 33554432000 4194304 5964478 140733891956384 140733891955904 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30811/statm: 126034 119377 187 433 0 125598 0
[pid=30811/tid=30813] ppid=30809 vsize=504136 CPUtime=1777.31 cores=1,3,5,7
/proc/30811/task/30813/stat : 30813 (pwbo2.02) R 30809 30811 27854 0 -1 4202560 114123 0 0 0 177565 166 0 0 20 0 2 0 331928015 516235264 119377 33554432000 4194304 5964478 140733891956384 139856089139192 4400519 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 504136
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 31257
/proc/meminfo: memFree=27133828/32873844 swapFree=7628/7628
[pid=30811] ppid=30809 vsize=504136 CPUtime=1791.47 cores=1,3,5,7
/proc/30811/stat : 30811 (pwbo2.02) S 30809 30811 27854 0 -1 4202496 120776 0 0 0 179006 141 0 0 20 0 2 0 331927988 516235264 119732 33554432000 4194304 5964478 140733891956384 140733891955904 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30811/statm: 126034 119732 187 433 0 125598 0
[pid=30811/tid=30813] ppid=30809 vsize=504136 CPUtime=1786.89 cores=1,3,5,7
/proc/30811/task/30813/stat : 30813 (pwbo2.02) R 30809 30811 27854 0 -1 4202560 114478 0 0 0 178522 167 0 0 20 0 2 0 331928015 516235264 119732 33554432000 4194304 5964478 140733891956384 139856089139240 4399920 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.47
Current children cumulated vsize (KiB) 504136
[startup+1795.1 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 31257
/proc/meminfo: memFree=27133704/32873844 swapFree=7628/7628
[pid=30811] ppid=30809 vsize=504136 CPUtime=1794.67 cores=1,3,5,7
/proc/30811/stat : 30811 (pwbo2.02) S 30809 30811 27854 0 -1 4202496 120790 0 0 0 179326 141 0 0 20 0 2 0 331927988 516235264 119746 33554432000 4194304 5964478 140733891956384 140733891955904 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30811/statm: 126034 119746 187 433 0 125598 0
[pid=30811/tid=30813] ppid=30809 vsize=504136 CPUtime=1790.08 cores=1,3,5,7
/proc/30811/task/30813/stat : 30813 (pwbo2.02) R 30809 30811 27854 0 -1 4202560 114492 0 0 0 178841 167 0 0 20 0 2 0 331928015 516235264 119746 33554432000 4194304 5964478 140733891956384 139856089139000 18446744073699066235 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.67
Current children cumulated vsize (KiB) 504136
[startup+1798.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 31257
/proc/meminfo: memFree=27133580/32873844 swapFree=7628/7628
[pid=30811] ppid=30809 vsize=504136 CPUtime=1797.87 cores=1,3,5,7
/proc/30811/stat : 30811 (pwbo2.02) S 30809 30811 27854 0 -1 4202496 120796 0 0 0 179646 141 0 0 20 0 2 0 331927988 516235264 119752 33554432000 4194304 5964478 140733891956384 140733891955904 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30811/statm: 126034 119752 187 433 0 125598 0
[pid=30811/tid=30813] ppid=30809 vsize=504136 CPUtime=1793.27 cores=1,3,5,7
/proc/30811/task/30813/stat : 30813 (pwbo2.02) R 30809 30811 27854 0 -1 4202560 114498 0 0 0 179160 167 0 0 20 0 2 0 331928015 516235264 119752 33554432000 4194304 5964478 140733891956384 139856089139000 18446744073699066235 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.87
Current children cumulated vsize (KiB) 504136
[startup+1799.1 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 31257
/proc/meminfo: memFree=27133440/32873844 swapFree=7628/7628
[pid=30811] ppid=30809 vsize=504136 CPUtime=1798.67 cores=1,3,5,7
/proc/30811/stat : 30811 (pwbo2.02) S 30809 30811 27854 0 -1 4202496 120796 0 0 0 179726 141 0 0 20 0 2 0 331927988 516235264 119752 33554432000 4194304 5964478 140733891956384 140733891955904 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30811/statm: 126034 119752 187 433 0 125598 0
[pid=30811/tid=30813] ppid=30809 vsize=504136 CPUtime=1794.07 cores=1,3,5,7
/proc/30811/task/30813/stat : 30813 (pwbo2.02) R 30809 30811 27854 0 -1 4202560 114498 0 0 0 179240 167 0 0 20 0 2 0 331928015 516235264 119752 33554432000 4194304 5964478 140733891956384 139856089139000 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.67
Current children cumulated vsize (KiB) 504136
[startup+1799.5 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 31257
/proc/meminfo: memFree=27133564/32873844 swapFree=7628/7628
[pid=30811] ppid=30809 vsize=504136 CPUtime=1799.07 cores=1,3,5,7
/proc/30811/stat : 30811 (pwbo2.02) S 30809 30811 27854 0 -1 4202496 120796 0 0 0 179766 141 0 0 20 0 2 0 331927988 516235264 119752 33554432000 4194304 5964478 140733891956384 140733891955904 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30811/statm: 126034 119752 187 433 0 125598 0
[pid=30811/tid=30813] ppid=30809 vsize=504136 CPUtime=1794.47 cores=1,3,5,7
/proc/30811/task/30813/stat : 30813 (pwbo2.02) R 30809 30811 27854 0 -1 4202560 114498 0 0 0 179280 167 0 0 20 0 2 0 331928015 516235264 119752 33554432000 4194304 5964478 140733891956384 139856089139000 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.07
Current children cumulated vsize (KiB) 504136
[startup+1799.9 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 31257
/proc/meminfo: memFree=27133564/32873844 swapFree=7628/7628
[pid=30811] ppid=30809 vsize=504136 CPUtime=1799.47 cores=1,3,5,7
/proc/30811/stat : 30811 (pwbo2.02) S 30809 30811 27854 0 -1 4202496 120796 0 0 0 179806 141 0 0 20 0 2 0 331927988 516235264 119752 33554432000 4194304 5964478 140733891956384 140733891955904 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30811/statm: 126034 119752 187 433 0 125598 0
[pid=30811/tid=30813] ppid=30809 vsize=504136 CPUtime=1794.86 cores=1,3,5,7
/proc/30811/task/30813/stat : 30813 (pwbo2.02) R 30809 30811 27854 0 -1 4202560 114498 0 0 0 179319 167 0 0 20 0 2 0 331928015 516235264 119752 33554432000 4194304 5964478 140733891956384 139856089139000 4392882 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.47
Current children cumulated vsize (KiB) 504136
[startup+1800 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 31257
/proc/meminfo: memFree=27133564/32873844 swapFree=7628/7628
[pid=30811] ppid=30809 vsize=504136 CPUtime=1799.57 cores=1,3,5,7
/proc/30811/stat : 30811 (pwbo2.02) S 30809 30811 27854 0 -1 4202496 120796 0 0 0 179816 141 0 0 20 0 2 0 331927988 516235264 119752 33554432000 4194304 5964478 140733891956384 140733891955904 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30811/statm: 126034 119752 187 433 0 125598 0
[pid=30811/tid=30813] ppid=30809 vsize=504136 CPUtime=1794.96 cores=1,3,5,7
/proc/30811/task/30813/stat : 30813 (pwbo2.02) R 30809 30811 27854 0 -1 4202560 114498 0 0 0 179329 167 0 0 20 0 2 0 331928015 516235264 119752 33554432000 4194304 5964478 140733891956384 139856089139000 18446744073699066235 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.57
Current children cumulated vsize (KiB) 504136
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 30811 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=558337
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=687743
# CPU time returned by wait4() is 1795.25
# while last known CPU time is 1799.57
#
# 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.57
CPU user time (s): 1798.16
CPU system time (s): 1.41
CPU usage (%): 99.9758
Max. virtual memory (cumulated for all children) (KiB): 504136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.56
system time used= 1.68774
maximum resident set size= 479024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 120800
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= 216
involuntary context switches= 1989
runsolver used 7.82081 second user time and 10.6464 second system time
The end