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-3726738-1338662456/watcher-3726738-1338662456 -o /tmp/evaluation-result-3726738-1338662456/solver-3726738-1338662456 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3726738-1338662456.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.07 2.02 2.00 3/176 3137
/proc/meminfo: memFree=25249872/32873852 swapFree=6856/6856
[pid=3137] ppid=3135 vsize=4668 CPUtime=0 cores=1,3,5,7
/proc/3137/stat : 3137 (pwbo2.02) R 3135 3137 909 0 -1 4202496 561 0 0 0 0 0 0 0 20 0 1 0 332371016 4780032 514 33554432000 4194304 5964478 140733438444640 140736805754376 4395406 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/3137/statm: 1167 514 163 433 0 634 0
[startup+0.010473 s]
/proc/loadavg: 2.07 2.02 2.00 3/176 3137
/proc/meminfo: memFree=25249872/32873852 swapFree=6856/6856
[pid=3137] ppid=3135 vsize=5164 CPUtime=0 cores=1,3,5,7
/proc/3137/stat : 3137 (pwbo2.02) R 3135 3137 909 0 -1 4202496 669 0 0 0 0 0 0 0 20 0 1 0 332371016 5287936 622 33554432000 4194304 5964478 140733438444640 140736805754376 4344768 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/3137/statm: 1291 623 177 433 0 758 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5164
[startup+0.100197 s]
/proc/loadavg: 2.07 2.02 2.00 3/176 3137
/proc/meminfo: memFree=25249872/32873852 swapFree=6856/6856
[pid=3137] ppid=3135 vsize=86444 CPUtime=0.09 cores=1,3,5,7
/proc/3137/stat : 3137 (pwbo2.02) S 3135 3137 909 0 -1 4202496 2519 0 0 0 9 0 0 0 20 0 2 0 332371016 88518656 2238 33554432000 4194304 5964478 140733438444640 140733438444160 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3137/statm: 21611 2238 186 433 0 21175 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 86444
[startup+0.300116 s]
/proc/loadavg: 2.07 2.02 2.00 3/176 3137
/proc/meminfo: memFree=25249872/32873852 swapFree=6856/6856
[pid=3137] ppid=3135 vsize=86444 CPUtime=0.29 cores=1,3,5,7
/proc/3137/stat : 3137 (pwbo2.02) S 3135 3137 909 0 -1 4202496 2769 0 0 0 29 0 0 0 20 0 2 0 332371016 88518656 2488 33554432000 4194304 5964478 140733438444640 140733438444160 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3137/statm: 21611 2488 186 433 0 21175 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 86444
[startup+0.700124 s]
/proc/loadavg: 2.07 2.02 2.00 3/176 3137
/proc/meminfo: memFree=25249872/32873852 swapFree=6856/6856
[pid=3137] ppid=3135 vsize=86444 CPUtime=0.68 cores=1,3,5,7
/proc/3137/stat : 3137 (pwbo2.02) S 3135 3137 909 0 -1 4202496 3237 0 0 0 68 0 0 0 20 0 2 0 332371016 88518656 2956 33554432000 4194304 5964478 140733438444640 140733438444160 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3137/statm: 21611 2956 186 433 0 21175 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 86444
[startup+1.50026 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 3139
/proc/meminfo: memFree=25237464/32873852 swapFree=6856/6856
[pid=3137] ppid=3135 vsize=86444 CPUtime=1.48 cores=1,3,5,7
/proc/3137/stat : 3137 (pwbo2.02) S 3135 3137 909 0 -1 4202496 4147 0 0 0 148 0 0 0 20 0 2 0 332371016 88518656 3866 33554432000 4194304 5964478 140733438444640 140733438444160 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3137/statm: 21611 3867 186 433 0 21175 0
[pid=3137/tid=3139] ppid=3135 vsize=86444 CPUtime=1.45 cores=1,3,5,7
/proc/3137/task/3139/stat : 3139 (pwbo2.02) R 3135 3137 909 0 -1 4202560 2688 0 0 0 145 0 0 0 20 0 2 0 332371019 88518656 3867 33554432000 4194304 5964478 140733438444640 140492554819576 5136420 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 86444
[startup+3.10026 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 3139
/proc/meminfo: memFree=25231876/32873852 swapFree=6856/6856
[pid=3137] ppid=3135 vsize=86444 CPUtime=3.09 cores=1,3,5,7
/proc/3137/stat : 3137 (pwbo2.02) S 3135 3137 909 0 -1 4202496 5109 0 0 0 308 1 0 0 20 0 2 0 332371016 88518656 4828 33554432000 4194304 5964478 140733438444640 140733438444160 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3137/statm: 21611 4828 186 433 0 21175 0
[pid=3137/tid=3139] ppid=3135 vsize=86444 CPUtime=3.04 cores=1,3,5,7
/proc/3137/task/3139/stat : 3139 (pwbo2.02) R 3135 3137 909 0 -1 4202560 3649 0 0 0 303 1 0 0 20 0 2 0 332371019 88518656 4828 33554432000 4194304 5964478 140733438444640 140492554819384 4400091 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 86444
[startup+6.30026 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 3139
/proc/meminfo: memFree=25226156/32873852 swapFree=6856/6856
[pid=3137] ppid=3135 vsize=86444 CPUtime=6.29 cores=1,3,5,7
/proc/3137/stat : 3137 (pwbo2.02) S 3135 3137 909 0 -1 4202496 6830 0 0 0 627 2 0 0 20 0 2 0 332371016 88518656 6549 33554432000 4194304 5964478 140733438444640 140733438444160 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3137/statm: 21611 6549 186 433 0 21175 0
[pid=3137/tid=3139] ppid=3135 vsize=86444 CPUtime=6.23 cores=1,3,5,7
/proc/3137/task/3139/stat : 3139 (pwbo2.02) R 3135 3137 909 0 -1 4202560 5370 0 0 0 621 2 0 0 20 0 2 0 332371019 88518656 6549 33554432000 4194304 5964478 140733438444640 140492554819576 4382023 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 86444
[startup+12.7003 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 3178
/proc/meminfo: memFree=26039296/32873852 swapFree=6856/6856
[pid=3137] ppid=3135 vsize=86444 CPUtime=12.68 cores=1,3,5,7
/proc/3137/stat : 3137 (pwbo2.02) S 3135 3137 909 0 -1 4202496 9517 0 0 0 1265 3 0 0 20 0 2 0 332371016 88518656 9236 33554432000 4194304 5964478 140733438444640 140733438444160 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3137/statm: 21611 9236 186 433 0 21175 0
[pid=3137/tid=3139] ppid=3135 vsize=86444 CPUtime=12.62 cores=1,3,5,7
/proc/3137/task/3139/stat : 3139 (pwbo2.02) R 3135 3137 909 0 -1 4202560 8057 0 0 0 1259 3 0 0 20 0 2 0 332371019 88518656 9236 33554432000 4194304 5964478 140733438444640 140492554819576 4221120 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) 86444
[startup+25.5003 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 3178
/proc/meminfo: memFree=26002104/32873852 swapFree=6856/6856
[pid=3137] ppid=3135 vsize=86768 CPUtime=25.47 cores=1,3,5,7
/proc/3137/stat : 3137 (pwbo2.02) S 3135 3137 909 0 -1 4202496 13246 0 0 0 2543 4 0 0 20 0 2 0 332371016 88850432 13023 33554432000 4194304 5964478 140733438444640 140733438444160 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3137/statm: 21692 13023 186 433 0 21256 0
[pid=3137/tid=3139] ppid=3135 vsize=86768 CPUtime=25.38 cores=1,3,5,7
/proc/3137/task/3139/stat : 3139 (pwbo2.02) R 3135 3137 909 0 -1 4202560 11786 0 0 0 2534 4 0 0 20 0 2 0 332371019 88850432 13023 33554432000 4194304 5964478 140733438444640 140492554819576 4400432 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 86768
[startup+51.1003 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 3178
/proc/meminfo: memFree=25948628/32873852 swapFree=6856/6856
[pid=3137] ppid=3135 vsize=152464 CPUtime=51.06 cores=1,3,5,7
/proc/3137/stat : 3137 (pwbo2.02) S 3135 3137 909 0 -1 4202496 18403 0 0 0 5099 7 0 0 20 0 2 0 332371016 156123136 18165 33554432000 4194304 5964478 140733438444640 140733438444160 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3137/statm: 38116 18165 186 433 0 37680 0
[pid=3137/tid=3139] ppid=3135 vsize=152464 CPUtime=50.9 cores=1,3,5,7
/proc/3137/task/3139/stat : 3139 (pwbo2.02) R 3135 3137 909 0 -1 4202560 16943 0 0 0 5083 7 0 0 20 0 2 0 332371019 156123136 18165 33554432000 4194304 5964478 140733438444640 140492554819384 4400056 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 152464
[startup+102.307 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 3178
/proc/meminfo: memFree=25863184/32873852 swapFree=6856/6856
[pid=3137] ppid=3135 vsize=152464 CPUtime=102.25 cores=1,3,5,7
/proc/3137/stat : 3137 (pwbo2.02) S 3135 3137 909 0 -1 4202496 26607 0 0 0 10212 13 0 0 20 0 2 0 332371016 156123136 26702 33554432000 4194304 5964478 140733438444640 140733438444160 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3137/statm: 38116 26702 186 433 0 37680 0
[pid=3137/tid=3139] ppid=3135 vsize=152464 CPUtime=101.96 cores=1,3,5,7
/proc/3137/task/3139/stat : 3139 (pwbo2.02) R 3135 3137 909 0 -1 4202560 25147 0 0 0 10182 14 0 0 20 0 2 0 332371019 156123136 26702 33554432000 4194304 5964478 140733438444640 140492554819576 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 152464
[startup+162.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 3179
/proc/meminfo: memFree=25840360/32873852 swapFree=6856/6856
[pid=3137] ppid=3135 vsize=152704 CPUtime=162.23 cores=1,3,5,7
/proc/3137/stat : 3137 (pwbo2.02) S 3135 3137 909 0 -1 4202496 30556 0 0 0 16207 16 0 0 20 0 2 0 332371016 156368896 30821 33554432000 4194304 5964478 140733438444640 140733438444160 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3137/statm: 38176 30821 186 433 0 37740 0
[pid=3137/tid=3139] ppid=3135 vsize=152704 CPUtime=161.78 cores=1,3,5,7
/proc/3137/task/3139/stat : 3139 (pwbo2.02) R 3135 3137 909 0 -1 4202560 29096 0 0 0 16160 18 0 0 20 0 2 0 332371019 156368896 30821 33554432000 4194304 5964478 140733438444640 140492554819576 4221072 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 152704
[startup+222.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 3179
/proc/meminfo: memFree=25795280/32873852 swapFree=6856/6856
[pid=3137] ppid=3135 vsize=152704 CPUtime=222.21 cores=1,3,5,7
/proc/3137/stat : 3137 (pwbo2.02) S 3135 3137 909 0 -1 4202496 32972 0 0 0 22203 18 0 0 20 0 2 0 332371016 156368896 33237 33554432000 4194304 5964478 140733438444640 140733438444160 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3137/statm: 38176 33237 186 433 0 37740 0
[pid=3137/tid=3139] ppid=3135 vsize=152704 CPUtime=221.62 cores=1,3,5,7
/proc/3137/task/3139/stat : 3139 (pwbo2.02) R 3135 3137 909 0 -1 4202560 31512 0 0 0 22141 21 0 0 20 0 2 0 332371019 156368896 33237 33554432000 4194304 5964478 140733438444640 140492554819576 4400074 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 152704
[startup+282.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 3179
/proc/meminfo: memFree=25755948/32873852 swapFree=6856/6856
[pid=3137] ppid=3135 vsize=218240 CPUtime=282.2 cores=1,3,5,7
/proc/3137/stat : 3137 (pwbo2.02) S 3135 3137 909 0 -1 4202496 38156 0 0 0 28198 22 0 0 20 0 2 0 332371016 223477760 38421 33554432000 4194304 5964478 140733438444640 140733438444160 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3137/statm: 54560 38421 186 433 0 54124 0
[pid=3137/tid=3139] ppid=3135 vsize=218240 CPUtime=281.46 cores=1,3,5,7
/proc/3137/task/3139/stat : 3139 (pwbo2.02) R 3135 3137 909 0 -1 4202560 36696 0 0 0 28120 26 0 0 20 0 2 0 332371019 223477760 38421 33554432000 4194304 5964478 140733438444640 140492554819576 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 218240
[startup+342.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 3179
/proc/meminfo: memFree=25716888/32873852 swapFree=6856/6856
[pid=3137] ppid=3135 vsize=218240 CPUtime=342.2 cores=1,3,5,7
/proc/3137/stat : 3137 (pwbo2.02) S 3135 3137 909 0 -1 4202496 38199 0 0 0 34198 22 0 0 20 0 2 0 332371016 223477760 38464 33554432000 4194304 5964478 140733438444640 140733438444160 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3137/statm: 54560 38464 186 433 0 54124 0
[pid=3137/tid=3139] ppid=3135 vsize=218240 CPUtime=341.31 cores=1,3,5,7
/proc/3137/task/3139/stat : 3139 (pwbo2.02) R 3135 3137 909 0 -1 4202560 36739 0 0 0 34104 27 0 0 20 0 2 0 332371019 223477760 38464 33554432000 4194304 5964478 140733438444640 140492554819384 4381692 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 218240
[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 3179
/proc/meminfo: memFree=25714868/32873852 swapFree=6856/6856
[pid=3137] ppid=3135 vsize=218240 CPUtime=402.18 cores=1,3,5,7
/proc/3137/stat : 3137 (pwbo2.02) S 3135 3137 909 0 -1 4202496 38533 0 0 0 40196 22 0 0 20 0 2 0 332371016 223477760 38933 33554432000 4194304 5964478 140733438444640 140733438444160 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3137/statm: 54560 38933 186 433 0 54124 0
[pid=3137/tid=3139] ppid=3135 vsize=218240 CPUtime=401.13 cores=1,3,5,7
/proc/3137/task/3139/stat : 3139 (pwbo2.02) R 3135 3137 909 0 -1 4202560 37073 0 0 0 40085 28 0 0 20 0 2 0 332371019 223477760 38933 33554432000 4194304 5964478 140733438444640 140492554819384 4392707 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 218240
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 3219
/proc/meminfo: memFree=25874920/32873852 swapFree=6856/6856
[pid=3137] ppid=3135 vsize=218240 CPUtime=462.18 cores=1,3,5,7
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3251
/proc/meminfo: memFree=25508076/32873852 swapFree=6856/6856
[pid=3137] ppid=3135 vsize=417800 CPUtime=1421.98 cores=1,3,5,7
/proc/3137/stat : 3137 (pwbo2.02) S 3135 3137 909 0 -1 4202496 88942 0 0 0 142144 54 0 0 20 0 2 0 332371016 427827200 90131 33554432000 4194304 5964478 140733438444640 140733438444160 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3137/statm: 104450 90131 186 433 0 104014 0
[pid=3137/tid=3139] ppid=3135 vsize=417800 CPUtime=1418.39 cores=1,3,5,7
/proc/3137/task/3139/stat : 3139 (pwbo2.02) R 3135 3137 909 0 -1 4202560 87482 0 0 0 141764 75 0 0 20 0 2 0 332371019 427827200 90131 33554432000 4194304 5964478 140733438444640 140492554819384 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 417800
[startup+1482.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 3251
/proc/meminfo: memFree=25507084/32873852 swapFree=6856/6856
[pid=3137] ppid=3135 vsize=417800 CPUtime=1481.97 cores=1,3,5,7
/proc/3137/stat : 3137 (pwbo2.02) S 3135 3137 909 0 -1 4202496 88942 0 0 0 148143 54 0 0 20 0 2 0 332371016 427827200 90131 33554432000 4194304 5964478 140733438444640 140733438444160 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3137/statm: 104450 90131 186 433 0 104014 0
[pid=3137/tid=3139] ppid=3135 vsize=417800 CPUtime=1478.23 cores=1,3,5,7
/proc/3137/task/3139/stat : 3139 (pwbo2.02) R 3135 3137 909 0 -1 4202560 87482 0 0 0 147747 76 0 0 20 0 2 0 332371019 427827200 90131 33554432000 4194304 5964478 140733438444640 140492554819384 4400056 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 417800
[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 3251
/proc/meminfo: memFree=25506880/32873852 swapFree=6856/6856
[pid=3137] ppid=3135 vsize=417800 CPUtime=1541.96 cores=1,3,5,7
/proc/3137/stat : 3137 (pwbo2.02) S 3135 3137 909 0 -1 4202496 88942 0 0 0 154142 54 0 0 20 0 2 0 332371016 427827200 90131 33554432000 4194304 5964478 140733438444640 140733438444160 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3137/statm: 104450 90131 186 433 0 104014 0
[pid=3137/tid=3139] ppid=3135 vsize=417800 CPUtime=1538.07 cores=1,3,5,7
/proc/3137/task/3139/stat : 3139 (pwbo2.02) R 3135 3137 909 0 -1 4202560 87482 0 0 0 153730 77 0 0 20 0 2 0 332371019 427827200 90131 33554432000 4194304 5964478 140733438444640 140492554819384 4400115 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 417800
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3251
/proc/meminfo: memFree=25505688/32873852 swapFree=6856/6856
[pid=3137] ppid=3135 vsize=417800 CPUtime=1601.95 cores=1,3,5,7
/proc/3137/stat : 3137 (pwbo2.02) S 3135 3137 909 0 -1 4202496 88942 0 0 0 160141 54 0 0 20 0 2 0 332371016 427827200 90131 33554432000 4194304 5964478 140733438444640 140733438444160 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3137/statm: 104450 90131 186 433 0 104014 0
[pid=3137/tid=3139] ppid=3135 vsize=417800 CPUtime=1597.91 cores=1,3,5,7
/proc/3137/task/3139/stat : 3139 (pwbo2.02) R 3135 3137 909 0 -1 4202560 87482 0 0 0 159713 78 0 0 20 0 2 0 332371019 427827200 90131 33554432000 4194304 5964478 140733438444640 140492554819384 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 417800
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3252
/proc/meminfo: memFree=25495208/32873852 swapFree=6856/6856
[pid=3137] ppid=3135 vsize=417800 CPUtime=1661.94 cores=1,3,5,7
/proc/3137/stat : 3137 (pwbo2.02) S 3135 3137 909 0 -1 4202496 88943 0 0 0 166140 54 0 0 20 0 2 0 332371016 427827200 90148 33554432000 4194304 5964478 140733438444640 140733438444160 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3137/statm: 104450 90148 186 433 0 104014 0
[pid=3137/tid=3139] ppid=3135 vsize=417800 CPUtime=1657.76 cores=1,3,5,7
/proc/3137/task/3139/stat : 3139 (pwbo2.02) R 3135 3137 909 0 -1 4202560 87483 0 0 0 165697 79 0 0 20 0 2 0 332371019 427827200 90148 33554432000 4194304 5964478 140733438444640 140492554819384 4400056 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 417800
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3252
/proc/meminfo: memFree=25461104/32873852 swapFree=6856/6856
[pid=3137] ppid=3135 vsize=418124 CPUtime=1721.94 cores=1,3,5,7
/proc/3137/stat : 3137 (pwbo2.02) S 3135 3137 909 0 -1 4202496 91987 0 0 0 172137 57 0 0 20 0 2 0 332371016 428158976 93199 33554432000 4194304 5964478 140733438444640 140733438444160 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3137/statm: 104531 93199 186 433 0 104095 0
[pid=3137/tid=3139] ppid=3135 vsize=418124 CPUtime=1717.6 cores=1,3,5,7
/proc/3137/task/3139/stat : 3139 (pwbo2.02) R 3135 3137 909 0 -1 4202560 90527 0 0 0 171677 83 0 0 20 0 2 0 332371019 428158976 93199 33554432000 4194304 5964478 140733438444640 140492554819576 4400115 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 418124
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3255
/proc/meminfo: memFree=25441256/32873852 swapFree=6856/6856
[pid=3137] ppid=3135 vsize=418124 CPUtime=1781.93 cores=1,3,5,7
/proc/3137/stat : 3137 (pwbo2.02) S 3135 3137 909 0 -1 4202496 93575 0 0 0 178135 58 0 0 20 0 2 0 332371016 428158976 94787 33554432000 4194304 5964478 140733438444640 140733438444160 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3137/statm: 104531 94787 186 433 0 104095 0
[pid=3137/tid=3139] ppid=3135 vsize=418124 CPUtime=1777.44 cores=1,3,5,7
/proc/3137/task/3139/stat : 3139 (pwbo2.02) R 3135 3137 909 0 -1 4202560 92115 0 0 0 177659 85 0 0 20 0 2 0 332371019 428158976 94787 33554432000 4194304 5964478 140733438444640 140492554819576 4381702 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 418124
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3255
/proc/meminfo: memFree=25441132/32873852 swapFree=6856/6856
[pid=3137] ppid=3135 vsize=418124 CPUtime=1791.53 cores=1,3,5,7
/proc/3137/stat : 3137 (pwbo2.02) S 3135 3137 909 0 -1 4202496 93615 0 0 0 179095 58 0 0 20 0 2 0 332371016 428158976 94827 33554432000 4194304 5964478 140733438444640 140733438444160 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3137/statm: 104531 94827 186 433 0 104095 0
[pid=3137/tid=3139] ppid=3135 vsize=418124 CPUtime=1787.02 cores=1,3,5,7
/proc/3137/task/3139/stat : 3139 (pwbo2.02) R 3135 3137 909 0 -1 4202560 92155 0 0 0 178617 85 0 0 20 0 2 0 332371019 428158976 94827 33554432000 4194304 5964478 140733438444640 140492554819384 4400078 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.53
Current children cumulated vsize (KiB) 418124
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3255
/proc/meminfo: memFree=25441008/32873852 swapFree=6856/6856
[pid=3137] ppid=3135 vsize=418124 CPUtime=1794.73 cores=1,3,5,7
/proc/3137/stat : 3137 (pwbo2.02) S 3135 3137 909 0 -1 4202496 93640 0 0 0 179415 58 0 0 20 0 2 0 332371016 428158976 94852 33554432000 4194304 5964478 140733438444640 140733438444160 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3137/statm: 104531 94852 186 433 0 104095 0
[pid=3137/tid=3139] ppid=3135 vsize=418124 CPUtime=1790.21 cores=1,3,5,7
/proc/3137/task/3139/stat : 3139 (pwbo2.02) R 3135 3137 909 0 -1 4202560 92180 0 0 0 178936 85 0 0 20 0 2 0 332371019 428158976 94852 33554432000 4194304 5964478 140733438444640 140492554819384 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.73
Current children cumulated vsize (KiB) 418124
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3255
/proc/meminfo: memFree=25441008/32873852 swapFree=6856/6856
[pid=3137] ppid=3135 vsize=418124 CPUtime=1797.92 cores=1,3,5,7
/proc/3137/stat : 3137 (pwbo2.02) S 3135 3137 909 0 -1 4202496 93641 0 0 0 179734 58 0 0 20 0 2 0 332371016 428158976 94853 33554432000 4194304 5964478 140733438444640 140733438444160 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3137/statm: 104531 94853 186 433 0 104095 0
[pid=3137/tid=3139] ppid=3135 vsize=418124 CPUtime=1793.4 cores=1,3,5,7
/proc/3137/task/3139/stat : 3139 (pwbo2.02) R 3135 3137 909 0 -1 4202560 92181 0 0 0 179255 85 0 0 20 0 2 0 332371019 428158976 94853 33554432000 4194304 5964478 140733438444640 140492554819384 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.92
Current children cumulated vsize (KiB) 418124
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3255
/proc/meminfo: memFree=25441008/32873852 swapFree=6856/6856
[pid=3137] ppid=3135 vsize=418124 CPUtime=1798.72 cores=1,3,5,7
/proc/3137/stat : 3137 (pwbo2.02) S 3135 3137 909 0 -1 4202496 93641 0 0 0 179814 58 0 0 20 0 2 0 332371016 428158976 94853 33554432000 4194304 5964478 140733438444640 140733438444160 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3137/statm: 104531 94853 186 433 0 104095 0
[pid=3137/tid=3139] ppid=3135 vsize=418124 CPUtime=1794.19 cores=1,3,5,7
/proc/3137/task/3139/stat : 3139 (pwbo2.02) R 3135 3137 909 0 -1 4202560 92181 0 0 0 179334 85 0 0 20 0 2 0 332371019 428158976 94853 33554432000 4194304 5964478 140733438444640 140492554819384 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.72
Current children cumulated vsize (KiB) 418124
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3255
/proc/meminfo: memFree=25441008/32873852 swapFree=6856/6856
[pid=3137] ppid=3135 vsize=418124 CPUtime=1799.13 cores=1,3,5,7
/proc/3137/stat : 3137 (pwbo2.02) S 3135 3137 909 0 -1 4202496 93641 0 0 0 179855 58 0 0 20 0 2 0 332371016 428158976 94853 33554432000 4194304 5964478 140733438444640 140733438444160 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3137/statm: 104531 94853 186 433 0 104095 0
[pid=3137/tid=3139] ppid=3135 vsize=418124 CPUtime=1794.6 cores=1,3,5,7
/proc/3137/task/3139/stat : 3139 (pwbo2.02) R 3135 3137 909 0 -1 4202560 92181 0 0 0 179375 85 0 0 20 0 2 0 332371019 428158976 94853 33554432000 4194304 5964478 140733438444640 140492554819384 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.13
Current children cumulated vsize (KiB) 418124
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3255
/proc/meminfo: memFree=25441008/32873852 swapFree=6856/6856
[pid=3137] ppid=3135 vsize=418124 CPUtime=1799.52 cores=1,3,5,7
/proc/3137/stat : 3137 (pwbo2.02) S 3135 3137 909 0 -1 4202496 93641 0 0 0 179894 58 0 0 20 0 2 0 332371016 428158976 94853 33554432000 4194304 5964478 140733438444640 140733438444160 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3137/statm: 104531 94853 186 433 0 104095 0
[pid=3137/tid=3139] ppid=3135 vsize=418124 CPUtime=1794.99 cores=1,3,5,7
/proc/3137/task/3139/stat : 3139 (pwbo2.02) R 3135 3137 909 0 -1 4202560 92181 0 0 0 179414 85 0 0 20 0 2 0 332371019 428158976 94853 33554432000 4194304 5964478 140733438444640 140492554819384 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.52
Current children cumulated vsize (KiB) 418124
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3255
/proc/meminfo: memFree=25441008/32873852 swapFree=6856/6856
[pid=3137] ppid=3135 vsize=418124 CPUtime=1799.62 cores=1,3,5,7
/proc/3137/stat : 3137 (pwbo2.02) S 3135 3137 909 0 -1 4202496 93641 0 0 0 179904 58 0 0 20 0 2 0 332371016 428158976 94853 33554432000 4194304 5964478 140733438444640 140733438444160 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3137/statm: 104531 94853 186 433 0 104095 0
[pid=3137/tid=3139] ppid=3135 vsize=418124 CPUtime=1795.09 cores=1,3,5,7
/proc/3137/task/3139/stat : 3139 (pwbo2.02) R 3135 3137 909 0 -1 4202560 92181 0 0 0 179424 85 0 0 20 0 2 0 332371019 428158976 94853 33554432000 4194304 5964478 140733438444640 140492554819384 4400087 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.62
Current children cumulated vsize (KiB) 418124
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3137 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=277228
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=863868
# CPU time returned by wait4() is 1795.14
# while last known CPU time is 1799.62
#
# 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.62
CPU user time (s): 1799.04
CPU system time (s): 0.58
CPU usage (%): 99.9786
Max. virtual memory (cumulated for all children) (KiB): 418124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.28
system time used= 0.863868
maximum resident set size= 379424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93644
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= 173
involuntary context switches= 1898
runsolver used 12.2281 second user time and 12.4251 second system time
The end