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-3712864-1338184252/watcher-3712864-1338184252 -o /tmp/evaluation-result-3712864-1338184252/solver-3712864-1338184252 -C 1800 -W 1900 -M 15500 wbo1.71 -file-format=wbo HOME/instance-3712864-1338184252.wbo
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: 1.84 1.94 1.89 2/172 1342
/proc/meminfo: memFree=31399208/32873844 swapFree=7112/7112
[pid=1342] ppid=1340 vsize=3820 CPUtime=0 cores=0,2,4,6
/proc/1342/stat : 1342 (wbo1.71) R 1340 1342 1215 0 -1 4202496 459 0 0 0 0 0 0 0 20 0 1 0 284550919 3911680 412 33554432000 4194304 5964318 140733786832224 140733786830008 4395243 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/1342/statm: 955 412 161 433 0 496 0
[startup+0.064961 s]
/proc/loadavg: 1.84 1.94 1.89 2/172 1342
/proc/meminfo: memFree=31399208/32873844 swapFree=7112/7112
[pid=1342] ppid=1340 vsize=85252 CPUtime=0.05 cores=0,2,4,6
/proc/1342/stat : 1342 (wbo1.71) S 1340 1342 1215 0 -1 4202496 1931 0 0 0 5 0 0 0 20 0 2 0 284550919 87298048 1747 33554432000 4194304 5964318 140733786832224 140733786831744 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1342/statm: 21313 1747 194 433 0 20877 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 85252
[startup+0.100162 s]
/proc/loadavg: 1.84 1.94 1.89 2/172 1342
/proc/meminfo: memFree=31399208/32873844 swapFree=7112/7112
[pid=1342] ppid=1340 vsize=85252 CPUtime=0.09 cores=0,2,4,6
/proc/1342/stat : 1342 (wbo1.71) S 1340 1342 1215 0 -1 4202496 2023 0 0 0 9 0 0 0 20 0 2 0 284550919 87298048 1839 33554432000 4194304 5964318 140733786832224 140733786831744 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1342/statm: 21313 1839 194 433 0 20877 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 85252
[startup+0.30011 s]
/proc/loadavg: 1.84 1.94 1.89 2/172 1342
/proc/meminfo: memFree=31399208/32873844 swapFree=7112/7112
[pid=1342] ppid=1340 vsize=85252 CPUtime=0.29 cores=0,2,4,6
/proc/1342/stat : 1342 (wbo1.71) S 1340 1342 1215 0 -1 4202496 2495 0 0 0 29 0 0 0 20 0 2 0 284550919 87298048 2311 33554432000 4194304 5964318 140733786832224 140733786831744 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1342/statm: 21313 2311 194 433 0 20877 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 85252
[startup+0.700111 s]
/proc/loadavg: 1.84 1.94 1.89 2/172 1342
/proc/meminfo: memFree=31399208/32873844 swapFree=7112/7112
[pid=1342] ppid=1340 vsize=85252 CPUtime=0.69 cores=0,2,4,6
/proc/1342/stat : 1342 (wbo1.71) S 1340 1342 1215 0 -1 4202496 3379 0 0 0 69 0 0 0 20 0 2 0 284550919 87298048 3195 33554432000 4194304 5964318 140733786832224 140733786831744 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1342/statm: 21313 3195 194 433 0 20877 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 85252
[startup+1.5002 s]
/proc/loadavg: 1.84 1.94 1.89 3/180 1360
/proc/meminfo: memFree=31373444/32873844 swapFree=7112/7112
[pid=1342] ppid=1340 vsize=85252 CPUtime=1.48 cores=0,2,4,6
/proc/1342/stat : 1342 (wbo1.71) S 1340 1342 1215 0 -1 4202496 4854 0 0 0 148 0 0 0 20 0 2 0 284550919 87298048 4670 33554432000 4194304 5964318 140733786832224 140733786831744 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1342/statm: 21313 4670 194 433 0 20877 0
[pid=1342/tid=1349] ppid=1340 vsize=85252 CPUtime=1.46 cores=0,2,4,6
/proc/1342/task/1349/stat : 1349 (wbo1.71) R 1340 1342 1215 0 -1 4202560 3741 0 0 0 146 0 0 0 20 0 2 0 284550920 87298048 4670 33554432000 4194304 5964318 140733786832224 140602574796728 4400007 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 85252
[startup+3.1002 s]
/proc/loadavg: 1.84 1.94 1.89 3/180 1360
/proc/meminfo: memFree=31363764/32873844 swapFree=7112/7112
[pid=1342] ppid=1340 vsize=85252 CPUtime=3.08 cores=0,2,4,6
/proc/1342/stat : 1342 (wbo1.71) S 1340 1342 1215 0 -1 4202496 5912 0 0 0 307 1 0 0 20 0 2 0 284550919 87298048 5728 33554432000 4194304 5964318 140733786832224 140733786831744 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1342/statm: 21313 5728 194 433 0 20877 0
[pid=1342/tid=1349] ppid=1340 vsize=85252 CPUtime=3.06 cores=0,2,4,6
/proc/1342/task/1349/stat : 1349 (wbo1.71) R 1340 1342 1215 0 -1 4202560 4799 0 0 0 305 1 0 0 20 0 2 0 284550920 87298048 5728 33554432000 4194304 5964318 140733786832224 140602574796792 4399920 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 85252
[startup+6.3002 s]
/proc/loadavg: 1.85 1.94 1.89 3/180 1360
/proc/meminfo: memFree=31353968/32873844 swapFree=7112/7112
[pid=1342] ppid=1340 vsize=85252 CPUtime=6.28 cores=0,2,4,6
/proc/1342/stat : 1342 (wbo1.71) S 1340 1342 1215 0 -1 4202496 9014 0 0 0 626 2 0 0 20 0 2 0 284550919 87298048 8830 33554432000 4194304 5964318 140733786832224 140733786831744 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1342/statm: 21313 8830 194 433 0 20877 0
[pid=1342/tid=1349] ppid=1340 vsize=85252 CPUtime=6.25 cores=0,2,4,6
/proc/1342/task/1349/stat : 1349 (wbo1.71) R 1340 1342 1215 0 -1 4202560 7901 0 0 0 623 2 0 0 20 0 2 0 284550920 87298048 8830 33554432000 4194304 5964318 140733786832224 140602574796792 4220672 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 85252
[startup+12.7002 s]
/proc/loadavg: 1.94 1.96 1.89 3/179 1360
/proc/meminfo: memFree=31329264/32873844 swapFree=7112/7112
[pid=1342] ppid=1340 vsize=85468 CPUtime=12.67 cores=0,2,4,6
/proc/1342/stat : 1342 (wbo1.71) S 1340 1342 1215 0 -1 4202496 12840 0 0 0 1263 4 0 0 20 0 2 0 284550919 87519232 12649 33554432000 4194304 5964318 140733786832224 140733786831744 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1342/statm: 21367 12649 194 433 0 20931 0
[pid=1342/tid=1349] ppid=1340 vsize=85468 CPUtime=12.62 cores=0,2,4,6
/proc/1342/task/1349/stat : 1349 (wbo1.71) R 1340 1342 1215 0 -1 4202560 11727 0 0 0 1258 4 0 0 20 0 2 0 284550920 87519232 12649 33554432000 4194304 5964318 140733786832224 140602574796792 4399991 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 85468
[startup+25.5002 s]
/proc/loadavg: 1.96 1.96 1.90 3/179 1360
/proc/meminfo: memFree=31302100/32873844 swapFree=7112/7112
[pid=1342] ppid=1340 vsize=151112 CPUtime=25.46 cores=0,2,4,6
/proc/1342/stat : 1342 (wbo1.71) S 1340 1342 1215 0 -1 4202496 17772 0 0 0 2540 6 0 0 20 0 2 0 284550919 154738688 17574 33554432000 4194304 5964318 140733786832224 140733786831744 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1342/statm: 37778 17574 194 433 0 37342 0
[pid=1342/tid=1349] ppid=1340 vsize=151112 CPUtime=25.38 cores=0,2,4,6
/proc/1342/task/1349/stat : 1349 (wbo1.71) R 1340 1342 1215 0 -1 4202560 16659 0 0 0 2533 5 0 0 20 0 2 0 284550920 154738688 17574 33554432000 4194304 5964318 140733786832224 140602574796600 4400019 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 151112
[startup+51.1002 s]
/proc/loadavg: 1.97 1.96 1.90 3/179 1360
/proc/meminfo: memFree=31251904/32873844 swapFree=7112/7112
[pid=1342] ppid=1340 vsize=151272 CPUtime=51.04 cores=0,2,4,6
/proc/1342/stat : 1342 (wbo1.71) S 1340 1342 1215 0 -1 4202496 28178 0 0 0 5094 10 0 0 20 0 2 0 284550919 154902528 27972 33554432000 4194304 5964318 140733786832224 140733786831744 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1342/statm: 37818 27972 194 433 0 37382 0
[pid=1342/tid=1349] ppid=1340 vsize=151272 CPUtime=50.9 cores=0,2,4,6
/proc/1342/task/1349/stat : 1349 (wbo1.71) R 1340 1342 1215 0 -1 4202560 27065 0 0 0 5080 10 0 0 20 0 2 0 284550920 154902528 27972 33554432000 4194304 5964318 140733786832224 140602574796792 4381505 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 151272
[startup+102.306 s]
/proc/loadavg: 1.98 1.97 1.90 3/179 1360
/proc/meminfo: memFree=31201036/32873844 swapFree=7112/7112
[pid=1342] ppid=1340 vsize=217048 CPUtime=102.23 cores=0,2,4,6
/proc/1342/stat : 1342 (wbo1.71) S 1340 1342 1215 0 -1 4202496 37387 0 0 0 10210 13 0 0 20 0 2 0 284550919 222257152 37182 33554432000 4194304 5964318 140733786832224 140733786831744 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1342/statm: 54262 37182 194 433 0 53826 0
[pid=1342/tid=1349] ppid=1340 vsize=217048 CPUtime=101.96 cores=0,2,4,6
/proc/1342/task/1349/stat : 1349 (wbo1.71) R 1340 1342 1215 0 -1 4202560 36274 0 0 0 10182 14 0 0 20 0 2 0 284550920 222257152 37182 33554432000 4194304 5964318 140733786832224 140602574796600 4381864 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 217048
[startup+162.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/179 1360
/proc/meminfo: memFree=31060324/32873844 swapFree=7112/7112
[pid=1342] ppid=1340 vsize=348120 CPUtime=162.18 cores=0,2,4,6
/proc/1342/stat : 1342 (wbo1.71) S 1340 1342 1215 0 -1 4202496 69250 0 0 0 16196 22 0 0 20 0 2 0 284550919 356474880 69160 33554432000 4194304 5964318 140733786832224 140733786831744 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1342/statm: 87030 69160 194 433 0 86594 0
[pid=1342/tid=1349] ppid=1340 vsize=348120 CPUtime=161.76 cores=0,2,4,6
/proc/1342/task/1349/stat : 1349 (wbo1.71) R 1340 1342 1215 0 -1 4202560 68137 0 0 0 16152 24 0 0 20 0 2 0 284550920 356474880 69160 33554432000 4194304 5964318 140733786832224 140602574796792 4399995 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 348120
[startup+222.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/179 1362
/proc/meminfo: memFree=31050748/32873844 swapFree=7112/7112
[pid=1342] ppid=1340 vsize=348120 CPUtime=222.16 cores=0,2,4,6
/proc/1342/stat : 1342 (wbo1.71) S 1340 1342 1215 0 -1 4202496 69268 0 0 0 22194 22 0 0 20 0 2 0 284550919 356474880 69168 33554432000 4194304 5964318 140733786832224 140733786831744 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1342/statm: 87030 69168 194 433 0 86594 0
[pid=1342/tid=1349] ppid=1340 vsize=348120 CPUtime=221.59 cores=0,2,4,6
/proc/1342/task/1349/stat : 1349 (wbo1.71) R 1340 1342 1215 0 -1 4202560 68155 0 0 0 22134 25 0 0 20 0 2 0 284550920 356474880 69168 33554432000 4194304 5964318 140733786832224 140602574796792 4399991 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 348120
[startup+282.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/179 1362
/proc/meminfo: memFree=31031444/32873844 swapFree=7112/7112
[pid=1342] ppid=1340 vsize=348120 CPUtime=282.16 cores=0,2,4,6
/proc/1342/stat : 1342 (wbo1.71) S 1340 1342 1215 0 -1 4202496 71650 0 0 0 28193 23 0 0 20 0 2 0 284550919 356474880 71478 33554432000 4194304 5964318 140733786832224 140733786831744 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1342/statm: 87030 71478 194 433 0 86594 0
[pid=1342/tid=1349] ppid=1340 vsize=348120 CPUtime=281.44 cores=0,2,4,6
/proc/1342/task/1349/stat : 1349 (wbo1.71) R 1340 1342 1215 0 -1 4202560 70537 0 0 0 28118 26 0 0 20 0 2 0 284550920 356474880 71478 33554432000 4194304 5964318 140733786832224 140602574796792 4399991 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 348120
[startup+342.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/179 1362
/proc/meminfo: memFree=30996952/32873844 swapFree=7112/7112
[pid=1342] ppid=1340 vsize=348120 CPUtime=342.11 cores=0,2,4,6
/proc/1342/stat : 1342 (wbo1.71) S 1340 1342 1215 0 -1 4202496 78295 0 0 0 34185 26 0 0 20 0 2 0 284550919 356474880 78113 33554432000 4194304 5964318 140733786832224 140733786831744 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1342/statm: 87030 78113 194 433 0 86594 0
[pid=1342/tid=1349] ppid=1340 vsize=348120 CPUtime=341.24 cores=0,2,4,6
/proc/1342/task/1349/stat : 1349 (wbo1.71) R 1340 1342 1215 0 -1 4202560 77182 0 0 0 34093 31 0 0 20 0 2 0 284550920 356474880 78113 33554432000 4194304 5964318 140733786832224 140602574796792 5136324 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 348120
[startup+402.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/179 1362
/proc/meminfo: memFree=30945384/32873844 swapFree=7112/7112
[pid=1342] ppid=1340 vsize=414016 CPUtime=402.07 cores=0,2,4,6
/proc/1342/stat : 1342 (wbo1.71) S 1340 1342 1215 0 -1 4202496 89370 0 0 0 40176 31 0 0 20 0 2 0 284550919 423952384 89211 33554432000 4194304 5964318 140733786832224 140733786831744 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1342/statm: 103504 89211 194 433 0 103068 0
[pid=1342/tid=1349] ppid=1340 vsize=414016 CPUtime=401.06 cores=0,2,4,6
/proc/1342/task/1349/stat : 1349 (wbo1.71) R 1340 1342 1215 0 -1 4202560 88257 0 0 0 40069 37 0 0 20 0 2 0 284550920 423952384 89211 33554432000 4194304 5964318 140733786832224 140602574796792 4399982 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 402.07
Current children cumulated vsize (KiB) 414016
[startup+462.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/179 1362
/proc/meminfo: memFree=30942904/32873844 swapFree=7112/7112
[pid=1342] ppid=1340 vsize=414016 CPUtime=462.06 cores=0,2,4,6
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 1396
/proc/meminfo: memFree=30468728/32873844 swapFree=7112/7112
[pid=1342] ppid=1340 vsize=751456 CPUtime=1421.8 cores=0,2,4,6
/proc/1342/stat : 1342 (wbo1.71) S 1340 1342 1215 0 -1 4202496 183167 0 0 0 142114 66 0 0 20 0 2 0 284550919 769490944 183937 33554432000 4194304 5964318 140733786832224 140733786831744 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1342/statm: 187864 183937 194 433 0 187428 0
[pid=1342/tid=1349] ppid=1340 vsize=751456 CPUtime=1418.27 cores=0,2,4,6
/proc/1342/task/1349/stat : 1349 (wbo1.71) R 1340 1342 1215 0 -1 4202560 182054 0 0 0 141740 87 0 0 20 0 2 0 284550920 769490944 183937 33554432000 4194304 5964318 140733786832224 140602574796968 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 751456
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 1397
/proc/meminfo: memFree=30462728/32873844 swapFree=7112/7112
[pid=1342] ppid=1340 vsize=751456 CPUtime=1481.79 cores=0,2,4,6
/proc/1342/stat : 1342 (wbo1.71) S 1340 1342 1215 0 -1 4202496 183167 0 0 0 148112 67 0 0 20 0 2 0 284550919 769490944 183937 33554432000 4194304 5964318 140733786832224 140733786831744 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1342/statm: 187864 183937 194 433 0 187428 0
[pid=1342/tid=1349] ppid=1340 vsize=751456 CPUtime=1478.11 cores=0,2,4,6
/proc/1342/task/1349/stat : 1349 (wbo1.71) R 1340 1342 1215 0 -1 4202560 182054 0 0 0 147723 88 0 0 20 0 2 0 284550920 769490944 183937 33554432000 4194304 5964318 140733786832224 140602574796968 4221984 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 751456
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 1397
/proc/meminfo: memFree=30457520/32873844 swapFree=7112/7112
[pid=1342] ppid=1340 vsize=751456 CPUtime=1541.78 cores=0,2,4,6
/proc/1342/stat : 1342 (wbo1.71) S 1340 1342 1215 0 -1 4202496 183167 0 0 0 154111 67 0 0 20 0 2 0 284550919 769490944 183937 33554432000 4194304 5964318 140733786832224 140733786831744 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1342/statm: 187864 183937 194 433 0 187428 0
[pid=1342/tid=1349] ppid=1340 vsize=751456 CPUtime=1537.95 cores=0,2,4,6
/proc/1342/task/1349/stat : 1349 (wbo1.71) R 1340 1342 1215 0 -1 4202560 182054 0 0 0 153706 89 0 0 20 0 2 0 284550920 769490944 183937 33554432000 4194304 5964318 140733786832224 140602574796968 4400007 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 751456
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 1397
/proc/meminfo: memFree=30419204/32873844 swapFree=7112/7112
[pid=1342] ppid=1340 vsize=817316 CPUtime=1601.77 cores=0,2,4,6
/proc/1342/stat : 1342 (wbo1.71) S 1340 1342 1215 0 -1 4202496 192021 0 0 0 160106 71 0 0 20 0 2 0 284550919 836931584 192791 33554432000 4194304 5964318 140733786832224 140733786831744 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1342/statm: 204329 192791 194 433 0 203893 0
[pid=1342/tid=1349] ppid=1340 vsize=817316 CPUtime=1597.79 cores=0,2,4,6
/proc/1342/task/1349/stat : 1349 (wbo1.71) R 1340 1342 1215 0 -1 4202560 190908 0 0 0 159685 94 0 0 20 0 2 0 284550920 836931584 192791 33554432000 4194304 5964318 140733786832224 140602574796600 4399991 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 817316
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 1397
/proc/meminfo: memFree=30398744/32873844 swapFree=7112/7112
[pid=1342] ppid=1340 vsize=818072 CPUtime=1661.75 cores=0,2,4,6
/proc/1342/stat : 1342 (wbo1.71) S 1340 1342 1215 0 -1 4202496 196759 0 0 0 166103 72 0 0 20 0 2 0 284550919 837705728 197525 33554432000 4194304 5964318 140733786832224 140733786831744 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1342/statm: 204518 197525 194 433 0 204082 0
[pid=1342/tid=1349] ppid=1340 vsize=818072 CPUtime=1657.64 cores=0,2,4,6
/proc/1342/task/1349/stat : 1349 (wbo1.71) R 1340 1342 1215 0 -1 4202560 195646 0 0 0 165667 97 0 0 20 0 2 0 284550920 837705728 197525 33554432000 4194304 5964318 140733786832224 140602574796792 4399991 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 818072
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 1397
/proc/meminfo: memFree=30433836/32873844 swapFree=7112/7112
[pid=1342] ppid=1340 vsize=818072 CPUtime=1721.74 cores=0,2,4,6
/proc/1342/stat : 1342 (wbo1.71) S 1340 1342 1215 0 -1 4202496 196759 0 0 0 172102 72 0 0 20 0 2 0 284550919 837705728 197525 33554432000 4194304 5964318 140733786832224 140733786831744 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1342/statm: 204518 197525 194 433 0 204082 0
[pid=1342/tid=1349] ppid=1340 vsize=818072 CPUtime=1717.48 cores=0,2,4,6
/proc/1342/task/1349/stat : 1349 (wbo1.71) R 1340 1342 1215 0 -1 4202560 195646 0 0 0 171650 98 0 0 20 0 2 0 284550920 837705728 197525 33554432000 4194304 5964318 140733786832224 140602574796792 4399991 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 818072
[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 1.93 3/180 1401
/proc/meminfo: memFree=30433332/32873844 swapFree=7112/7112
[pid=1342] ppid=1340 vsize=818072 CPUtime=1781.74 cores=0,2,4,6
/proc/1342/stat : 1342 (wbo1.71) S 1340 1342 1215 0 -1 4202496 196944 0 0 0 178101 73 0 0 20 0 2 0 284550919 837705728 197710 33554432000 4194304 5964318 140733786832224 140733786831744 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1342/statm: 204518 197710 194 433 0 204082 0
[pid=1342/tid=1349] ppid=1340 vsize=818072 CPUtime=1777.32 cores=0,2,4,6
/proc/1342/task/1349/stat : 1349 (wbo1.71) R 1340 1342 1215 0 -1 4202560 195831 0 0 0 177632 100 0 0 20 0 2 0 284550920 837705728 197710 33554432000 4194304 5964318 140733786832224 140602574796792 4399824 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 818072
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.03 2.01 1.93 3/180 1401
/proc/meminfo: memFree=30423908/32873844 swapFree=7112/7112
[pid=1342] ppid=1340 vsize=818396 CPUtime=1791.35 cores=0,2,4,6
/proc/1342/stat : 1342 (wbo1.71) S 1340 1342 1215 0 -1 4202496 199290 0 0 0 179061 74 0 0 20 0 2 0 284550919 838037504 200056 33554432000 4194304 5964318 140733786832224 140733786831744 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1342/statm: 204599 200056 194 433 0 204163 0
[pid=1342/tid=1349] ppid=1340 vsize=818396 CPUtime=1786.9 cores=0,2,4,6
/proc/1342/task/1349/stat : 1349 (wbo1.71) R 1340 1342 1215 0 -1 4202560 198177 0 0 0 178589 101 0 0 20 0 2 0 284550920 838037504 200056 33554432000 4194304 5964318 140733786832224 140602574796840 4399991 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1791.35
Current children cumulated vsize (KiB) 818396
[startup+1795.1 s]
/proc/loadavg: 2.03 2.01 1.93 3/180 1401
/proc/meminfo: memFree=30418948/32873844 swapFree=7112/7112
[pid=1342] ppid=1340 vsize=884092 CPUtime=1794.54 cores=0,2,4,6
/proc/1342/stat : 1342 (wbo1.71) S 1340 1342 1215 0 -1 4202496 200419 0 0 0 179380 74 0 0 20 0 2 0 284550919 905310208 201185 33554432000 4194304 5964318 140733786832224 140733786831744 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1342/statm: 221023 201185 194 433 0 220587 0
[pid=1342/tid=1349] ppid=1340 vsize=884092 CPUtime=1790.09 cores=0,2,4,6
/proc/1342/task/1349/stat : 1349 (wbo1.71) R 1340 1342 1215 0 -1 4202560 199307 0 0 0 178908 101 0 0 20 0 2 0 284550920 905310208 201186 33554432000 4194304 5964318 140733786832224 140602574796792 4399971 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1794.54
Current children cumulated vsize (KiB) 884092
[startup+1798.3 s]
/proc/loadavg: 2.03 2.01 1.93 3/180 1401
/proc/meminfo: memFree=30415352/32873844 swapFree=7112/7112
[pid=1342] ppid=1340 vsize=884092 CPUtime=1797.74 cores=0,2,4,6
/proc/1342/stat : 1342 (wbo1.71) S 1340 1342 1215 0 -1 4202496 201867 0 0 0 179699 75 0 0 20 0 2 0 284550919 905310208 202633 33554432000 4194304 5964318 140733786832224 140733786831744 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1342/statm: 221023 202633 194 433 0 220587 0
[pid=1342/tid=1349] ppid=1340 vsize=884092 CPUtime=1793.28 cores=0,2,4,6
/proc/1342/task/1349/stat : 1349 (wbo1.71) R 1340 1342 1215 0 -1 4202560 200754 0 0 0 179226 102 0 0 20 0 2 0 284550920 905310208 202633 33554432000 4194304 5964318 140733786832224 140602574796792 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1797.74
Current children cumulated vsize (KiB) 884092
[startup+1799.1 s]
/proc/loadavg: 2.03 2.01 1.93 3/180 1401
/proc/meminfo: memFree=30413244/32873844 swapFree=7112/7112
[pid=1342] ppid=1340 vsize=884092 CPUtime=1798.53 cores=0,2,4,6
/proc/1342/stat : 1342 (wbo1.71) S 1340 1342 1215 0 -1 4202496 202280 0 0 0 179778 75 0 0 20 0 2 0 284550919 905310208 203046 33554432000 4194304 5964318 140733786832224 140733786831744 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1342/statm: 221023 203046 194 433 0 220587 0
[pid=1342/tid=1349] ppid=1340 vsize=884092 CPUtime=1794.08 cores=0,2,4,6
/proc/1342/task/1349/stat : 1349 (wbo1.71) R 1340 1342 1215 0 -1 4202560 201167 0 0 0 179306 102 0 0 20 0 2 0 284550920 905310208 203046 33554432000 4194304 5964318 140733786832224 140602574796792 4399971 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.53
Current children cumulated vsize (KiB) 884092
[startup+1799.5 s]
/proc/loadavg: 2.03 2.01 1.93 3/180 1401
/proc/meminfo: memFree=30410888/32873844 swapFree=7112/7112
[pid=1342] ppid=1340 vsize=884092 CPUtime=1798.94 cores=0,2,4,6
/proc/1342/stat : 1342 (wbo1.71) S 1340 1342 1215 0 -1 4202496 202485 0 0 0 179819 75 0 0 20 0 2 0 284550919 905310208 203251 33554432000 4194304 5964318 140733786832224 140733786831744 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1342/statm: 221023 203251 194 433 0 220587 0
[pid=1342/tid=1349] ppid=1340 vsize=884092 CPUtime=1794.48 cores=0,2,4,6
/proc/1342/task/1349/stat : 1349 (wbo1.71) R 1340 1342 1215 0 -1 4202560 201372 0 0 0 179346 102 0 0 20 0 2 0 284550920 905310208 203251 33554432000 4194304 5964318 140733786832224 140602574796792 4399995 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.94
Current children cumulated vsize (KiB) 884092
[startup+1799.9 s]
/proc/loadavg: 2.03 2.01 1.93 3/180 1401
/proc/meminfo: memFree=30410888/32873844 swapFree=7112/7112
[pid=1342] ppid=1340 vsize=884092 CPUtime=1799.33 cores=0,2,4,6
/proc/1342/stat : 1342 (wbo1.71) S 1340 1342 1215 0 -1 4202496 202641 0 0 0 179858 75 0 0 20 0 2 0 284550919 905310208 203407 33554432000 4194304 5964318 140733786832224 140733786831744 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1342/statm: 221023 203407 194 433 0 220587 0
[pid=1342/tid=1349] ppid=1340 vsize=884092 CPUtime=1794.88 cores=0,2,4,6
/proc/1342/task/1349/stat : 1349 (wbo1.71) R 1340 1342 1215 0 -1 4202560 201528 0 0 0 179386 102 0 0 20 0 2 0 284550920 905310208 203407 33554432000 4194304 5964318 140733786832224 140602574796792 4399991 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.33
Current children cumulated vsize (KiB) 884092
[startup+1800 s]
/proc/loadavg: 2.03 2.01 1.93 3/180 1401
/proc/meminfo: memFree=30410888/32873844 swapFree=7112/7112
[pid=1342] ppid=1340 vsize=884092 CPUtime=1799.43 cores=0,2,4,6
/proc/1342/stat : 1342 (wbo1.71) S 1340 1342 1215 0 -1 4202496 202678 0 0 0 179868 75 0 0 20 0 2 0 284550919 905310208 203444 33554432000 4194304 5964318 140733786832224 140733786831744 4546589 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1342/statm: 221023 203444 194 433 0 220587 0
[pid=1342/tid=1349] ppid=1340 vsize=884092 CPUtime=1794.98 cores=0,2,4,6
/proc/1342/task/1349/stat : 1349 (wbo1.71) R 1340 1342 1215 0 -1 4202560 201565 0 0 0 179396 102 0 0 20 0 2 0 284550920 905310208 203444 33554432000 4194304 5964318 140733786832224 140602574796792 4399971 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.43
Current children cumulated vsize (KiB) 884092
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1342 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=975274
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=39841
# CPU time returned by wait4() is 1795.02
# while last known CPU time is 1799.43
#
# 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.43
CPU user time (s): 1798.68
CPU system time (s): 0.75
CPU usage (%): 99.9678
Max. virtual memory (cumulated for all children) (KiB): 884092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.98
system time used= 1.03984
maximum resident set size= 813792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 202682
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= 294
involuntary context switches= 2028
runsolver used 2.68159 second user time and 7.14191 second system time
The end