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-3707595-1338195882/watcher-3707595-1338195882 -o /tmp/evaluation-result-3707595-1338195882/solver-3707595-1338195882 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707595-1338195882.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: 0.92 1.12 1.50 3/176 24126
/proc/meminfo: memFree=31610048/32873844 swapFree=7372/7372
[pid=24126] ppid=24124 vsize=13708 CPUtime=0 cores=1,3,5,7
/proc/24126/stat : 24126 (bsolo) R 24124 24126 24082 0 -1 4202496 376 0 0 0 0 0 0 0 20 0 1 0 285716783 14036992 330 33554432000 134512640 137138936 4291848704 4291846984 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24126/statm: 3428 331 183 642 0 2126 0
[startup+0.0974759 s]
/proc/loadavg: 0.92 1.12 1.50 3/176 24126
/proc/meminfo: memFree=31610048/32873844 swapFree=7372/7372
[pid=24126] ppid=24124 vsize=19548 CPUtime=0.09 cores=1,3,5,7
/proc/24126/stat : 24126 (bsolo) R 24124 24126 24082 0 -1 4202496 2153 0 0 0 9 0 0 0 20 0 1 0 285716783 20017152 2107 33554432000 134512640 137138936 4291848704 4291846968 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24126/statm: 4887 2107 506 642 0 3585 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19548
[startup+0.100324 s]
/proc/loadavg: 0.92 1.12 1.50 3/176 24126
/proc/meminfo: memFree=31610048/32873844 swapFree=7372/7372
[pid=24126] ppid=24124 vsize=19688 CPUtime=0.09 cores=1,3,5,7
/proc/24126/stat : 24126 (bsolo) R 24124 24126 24082 0 -1 4202496 2206 0 0 0 9 0 0 0 20 0 1 0 285716783 20160512 2160 33554432000 134512640 137138936 4291848704 4291846968 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24126/statm: 4922 2161 516 642 0 3620 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19688
[startup+0.300229 s]
/proc/loadavg: 0.92 1.12 1.50 3/176 24126
/proc/meminfo: memFree=31610048/32873844 swapFree=7372/7372
[pid=24126] ppid=24124 vsize=28880 CPUtime=0.29 cores=1,3,5,7
/proc/24126/stat : 24126 (bsolo) R 24124 24126 24082 0 -1 4202496 5425 0 0 0 29 0 0 0 20 0 1 0 285716783 29573120 4681 33554432000 134512640 137138936 4291848704 4291551196 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24126/statm: 7220 4681 184 642 0 6576 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28880
[startup+0.700186 s]
/proc/loadavg: 0.92 1.12 1.50 3/176 24126
/proc/meminfo: memFree=31610048/32873844 swapFree=7372/7372
[pid=24126] ppid=24124 vsize=28880 CPUtime=0.69 cores=1,3,5,7
/proc/24126/stat : 24126 (bsolo) R 24124 24126 24082 0 -1 4202496 5426 0 0 0 68 1 0 0 20 0 1 0 285716783 29573120 4682 33554432000 134512640 137138936 4291848704 4291551196 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24126/statm: 7220 4682 184 642 0 6576 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28880
[startup+1.50023 s]
/proc/loadavg: 0.92 1.12 1.50 3/177 24165
/proc/meminfo: memFree=31580836/32873844 swapFree=7372/7372
[pid=24126] ppid=24124 vsize=28880 CPUtime=1.48 cores=1,3,5,7
/proc/24126/stat : 24126 (bsolo) R 24124 24126 24082 0 -1 4202496 5494 0 0 0 146 2 0 0 20 0 1 0 285716783 29573120 4701 33554432000 134512640 137138936 4291848704 4291847416 136504423 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24126/statm: 7220 4701 192 642 0 6576 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 28880
[startup+3.10025 s]
/proc/loadavg: 0.92 1.12 1.50 3/177 24165
/proc/meminfo: memFree=31578976/32873844 swapFree=7372/7372
[pid=24126] ppid=24124 vsize=28880 CPUtime=3.09 cores=1,3,5,7
/proc/24126/stat : 24126 (bsolo) R 24124 24126 24082 0 -1 4202496 5495 0 0 0 306 3 0 0 20 0 1 0 285716783 29573120 4702 33554432000 134512640 137138936 4291848704 4291847820 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24126/statm: 7220 4702 192 642 0 6576 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28880
[startup+6.30025 s]
/proc/loadavg: 1.01 1.13 1.51 3/177 24165
/proc/meminfo: memFree=31576980/32873844 swapFree=7372/7372
[pid=24126] ppid=24124 vsize=30612 CPUtime=6.28 cores=1,3,5,7
/proc/24126/stat : 24126 (bsolo) R 24124 24126 24082 0 -1 4202496 5913 0 0 0 625 3 0 0 20 0 1 0 285716783 31346688 5114 33554432000 134512640 137138936 4291848704 4291847128 134606670 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24126/statm: 7653 5114 192 642 0 7009 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 30612
[startup+12.7003 s]
/proc/loadavg: 1.09 1.15 1.51 3/177 24165
/proc/meminfo: memFree=31558144/32873844 swapFree=7372/7372
[pid=24126] ppid=24124 vsize=41876 CPUtime=12.68 cores=1,3,5,7
/proc/24126/stat : 24126 (bsolo) R 24124 24126 24082 0 -1 4202496 8730 0 0 0 1263 5 0 0 20 0 1 0 285716783 42881024 7931 33554432000 134512640 137138936 4291848704 4291847624 135984584 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24126/statm: 10469 7931 192 642 0 9825 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 41876
[startup+25.5003 s]
/proc/loadavg: 1.29 1.19 1.52 3/177 24165
/proc/meminfo: memFree=31515040/32873844 swapFree=7372/7372
[pid=24126] ppid=24124 vsize=69808 CPUtime=25.48 cores=1,3,5,7
/proc/24126/stat : 24126 (bsolo) R 24124 24126 24082 0 -1 4202496 15708 0 0 0 2540 8 0 0 20 0 1 0 285716783 71483392 14909 33554432000 134512640 137138936 4291848704 4291847820 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24126/statm: 17452 14909 192 642 0 16808 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 69808
[startup+51.1003 s]
/proc/loadavg: 1.59 1.27 1.53 3/177 24165
/proc/meminfo: memFree=31418660/32873844 swapFree=7372/7372
[pid=24126] ppid=24124 vsize=106720 CPUtime=51.08 cores=1,3,5,7
/proc/24126/stat : 24126 (bsolo) R 24124 24126 24082 0 -1 4202496 24936 0 0 0 5095 13 0 0 20 0 1 0 285716783 109281280 24137 33554432000 134512640 137138936 4291848704 4291847624 135984561 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24126/statm: 26680 24137 192 642 0 26036 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 106720
[startup+102.307 s]
/proc/loadavg: 1.82 1.38 1.56 3/177 24165
/proc/meminfo: memFree=31292348/32873844 swapFree=7372/7372
[pid=24126] ppid=24124 vsize=171208 CPUtime=102.27 cores=1,3,5,7
/proc/24126/stat : 24126 (bsolo) R 24124 24126 24082 0 -1 4202496 41058 0 0 0 10206 21 0 0 20 0 1 0 285716783 175316992 40259 33554432000 134512640 137138936 4291848704 4291847456 134578220 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24126/statm: 42802 40259 192 642 0 42158 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 171208
[startup+162.3 s]
/proc/loadavg: 1.93 1.49 1.58 3/176 24165
/proc/meminfo: memFree=31229100/32873844 swapFree=7372/7372
[pid=24126] ppid=24124 vsize=218672 CPUtime=162.22 cores=1,3,5,7
/proc/24126/stat : 24126 (bsolo) R 24124 24126 24082 0 -1 4202496 52958 0 0 0 16194 28 0 0 20 0 1 0 285716783 223920128 52125 33554432000 134512640 137138936 4291848704 4291847632 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24126/statm: 54668 52125 192 642 0 54024 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 218672
[startup+222.3 s]
/proc/loadavg: 1.97 1.58 1.60 3/177 24166
/proc/meminfo: memFree=31190804/32873844 swapFree=7372/7372
[pid=24126] ppid=24124 vsize=256312 CPUtime=222.17 cores=1,3,5,7
/proc/24126/stat : 24126 (bsolo) R 24124 24126 24082 0 -1 4202496 62416 0 0 0 22184 33 0 0 20 0 1 0 285716783 262463488 61535 33554432000 134512640 137138936 4291848704 4291847632 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24126/statm: 64078 61535 192 642 0 63434 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 256312
[startup+282.3 s]
/proc/loadavg: 1.99 1.65 1.63 3/177 24166
/proc/meminfo: memFree=31121644/32873844 swapFree=7372/7372
[pid=24126] ppid=24124 vsize=293504 CPUtime=282.12 cores=1,3,5,7
/proc/24126/stat : 24126 (bsolo) R 24124 24126 24082 0 -1 4202496 71760 0 0 0 28171 41 0 0 20 0 1 0 285716783 300548096 70833 33554432000 134512640 137138936 4291848704 4291847820 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24126/statm: 73376 70833 192 642 0 72732 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 293504
[startup+342.3 s]
/proc/loadavg: 1.99 1.71 1.65 3/178 24169
/proc/meminfo: memFree=31108624/32873844 swapFree=7372/7372
[pid=24126] ppid=24124 vsize=305244 CPUtime=342.11 cores=1,3,5,7
/proc/24126/stat : 24126 (bsolo) R 24124 24126 24082 0 -1 4202496 74884 0 0 0 34165 46 0 0 20 0 1 0 285716783 312569856 73768 33554432000 134512640 137138936 4291848704 4291847632 134542205 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24126/statm: 76311 73768 192 642 0 75667 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 305244
[startup+402.3 s]
/proc/loadavg: 1.99 1.76 1.66 3/177 24169
/proc/meminfo: memFree=31108656/32873844 swapFree=7372/7372
[pid=24126] ppid=24124 vsize=305244 CPUtime=402.09 cores=1,3,5,7
/proc/24126/stat : 24126 (bsolo) R 24124 24126 24082 0 -1 4202496 74884 0 0 0 40160 49 0 0 20 0 1 0 285716783 312569856 73768 33554432000 134512640 137138936 4291848704 4291847632 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24126/statm: 76311 73768 192 642 0 75667 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 305244
[startup+462.3 s]
/proc/loadavg: 1.99 1.80 1.68 3/177 24169
/proc/meminfo: memFree=31091784/32873844 swapFree=7372/7372
[pid=24126] ppid=24124 vsize=305244 CPUtime=462.08 cores=1,3,5,7
/proc/24126/stat : 24126 (bsolo) R 24124 24126 24082 0 -1 4202496 74884 0 0 0 46157 51 0 0 20 0 1 0 285716783 312569856 73768 33554432000 134512640 137138936 4291848704 4291847632 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24126/statm: 76311 73768 192 642 0 75667 0
Current children cumulated CPU time (s) 462.08
Current children cumulated vsize (KiB) 305244
[startup+522.3 s]
/proc/loadavg: 1.99 1.84 1.70 3/177 24170
/proc/meminfo: memFree=31092032/32873844 swapFree=7372/7372
[pid=24126] ppid=24124 vsize=305244 CPUtime=522.07 cores=1,3,5,7
/proc/24126/stat : 24126 (bsolo) R 24124 24126 24082 0 -1 4202496 74884 0 0 0 52153 54 0 0 20 0 1 0 285716783 312569856 73768 33554432000 134512640 137138936 4291848704 4291847200 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24126/statm: 76311 73768 192 642 0 75667 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 305244
[startup+582.3 s]
/proc/loadavg: 1.99 1.86 1.72 3/176 24170
/proc/meminfo: memFree=31092840/32873844 swapFree=7372/7372
[pid=24126] ppid=24124 vsize=305244 CPUtime=582.06 cores=1,3,5,7
/proc/24126/stat : 24126 (bsolo) R 24124 24126 24082 0 -1 4202496 74887 0 0 0 58150 56 0 0 20 0 1 0 285716783 312569856 73768 33554432000 134512640 137138936 4291848704 4291847564 136520975 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24126/statm: 76311 73768 192 642 0 75667 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 305244
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=30721712/32873844 swapFree=7372/7372
[pid=24126] ppid=24124 vsize=521888 CPUtime=1061.89 cores=1,3,5,7
/proc/24126/stat : 24126 (bsolo) R 24124 24126 24082 0 -1 4202496 129377 0 0 0 106090 99 0 0 20 0 1 0 285716783 534413312 127929 33554432000 134512640 137138936 4291848704 4291847632 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24126/statm: 130472 127929 192 642 0 129828 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 521888
[startup+1122.3 s]
/proc/loadavg: 2.02 1.97 1.83 3/177 24214
/proc/meminfo: memFree=30693220/32873844 swapFree=7372/7372
[pid=24126] ppid=24124 vsize=521888 CPUtime=1121.88 cores=1,3,5,7
/proc/24126/stat : 24126 (bsolo) R 24124 24126 24082 0 -1 4202496 129377 0 0 0 112085 103 0 0 20 0 1 0 285716783 534413312 127929 33554432000 134512640 137138936 4291848704 4291847632 134542378 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24126/statm: 130472 127929 192 642 0 129828 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 521888
[startup+1182.3 s]
/proc/loadavg: 2.01 1.97 1.83 3/177 24214
/proc/meminfo: memFree=30693124/32873844 swapFree=7372/7372
[pid=24126] ppid=24124 vsize=521888 CPUtime=1181.88 cores=1,3,5,7
/proc/24126/stat : 24126 (bsolo) R 24124 24126 24082 0 -1 4202496 129377 0 0 0 118080 108 0 0 20 0 1 0 285716783 534413312 127929 33554432000 134512640 137138936 4291848704 4291847632 134542787 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24126/statm: 130472 127929 192 642 0 129828 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 521888
[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.84 3/177 24214
/proc/meminfo: memFree=30693028/32873844 swapFree=7372/7372
[pid=24126] ppid=24124 vsize=521888 CPUtime=1241.87 cores=1,3,5,7
/proc/24126/stat : 24126 (bsolo) R 24124 24126 24082 0 -1 4202496 129377 0 0 0 124076 111 0 0 20 0 1 0 285716783 534413312 127929 33554432000 134512640 137138936 4291848704 4291847632 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24126/statm: 130472 127929 192 642 0 129828 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 521888
[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.84 3/177 24214
/proc/meminfo: memFree=30692980/32873844 swapFree=7372/7372
[pid=24126] ppid=24124 vsize=521888 CPUtime=1301.87 cores=1,3,5,7
/proc/24126/stat : 24126 (bsolo) R 24124 24126 24082 0 -1 4202496 129377 0 0 0 130072 115 0 0 20 0 1 0 285716783 534413312 127929 33554432000 134512640 137138936 4291848704 4291847632 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24126/statm: 130472 127929 192 642 0 129828 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 521888
[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.85 3/177 24214
/proc/meminfo: memFree=30692732/32873844 swapFree=7372/7372
[pid=24126] ppid=24124 vsize=521888 CPUtime=1361.85 cores=1,3,5,7
/proc/24126/stat : 24126 (bsolo) R 24124 24126 24082 0 -1 4202496 129377 0 0 0 136068 117 0 0 20 0 1 0 285716783 534413312 127929 33554432000 134512640 137138936 4291848704 4291847632 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24126/statm: 130472 127929 192 642 0 129828 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 521888
[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.85 3/177 24215
/proc/meminfo: memFree=30679092/32873844 swapFree=7372/7372
[pid=24126] ppid=24124 vsize=521888 CPUtime=1421.84 cores=1,3,5,7
/proc/24126/stat : 24126 (bsolo) R 24124 24126 24082 0 -1 4202496 129377 0 0 0 142063 121 0 0 20 0 1 0 285716783 534413312 127929 33554432000 134512640 137138936 4291848704 4291847632 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24126/statm: 130472 127929 192 642 0 129828 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 521888
[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.86 3/177 24215
/proc/meminfo: memFree=30641024/32873844 swapFree=7372/7372
[pid=24126] ppid=24124 vsize=521888 CPUtime=1481.83 cores=1,3,5,7
/proc/24126/stat : 24126 (bsolo) R 24124 24126 24082 0 -1 4202496 129377 0 0 0 148057 126 0 0 20 0 1 0 285716783 534413312 127929 33554432000 134512640 137138936 4291848704 4291847632 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24126/statm: 130472 127929 192 642 0 129828 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 521888
[startup+1542.3 s]
/proc/loadavg: 2.08 1.99 1.87 3/178 24218
/proc/meminfo: memFree=30604064/32873844 swapFree=7372/7372
[pid=24126] ppid=24124 vsize=521888 CPUtime=1541.82 cores=1,3,5,7
/proc/24126/stat : 24126 (bsolo) R 24124 24126 24082 0 -1 4202496 129377 0 0 0 154054 128 0 0 20 0 1 0 285716783 534413312 127929 33554432000 134512640 137138936 4291848704 4291847820 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24126/statm: 130472 127929 192 642 0 129828 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 521888
[startup+1602.3 s]
/proc/loadavg: 2.07 2.00 1.88 3/177 24218
/proc/meminfo: memFree=30552736/32873844 swapFree=7372/7372
[pid=24126] ppid=24124 vsize=521888 CPUtime=1601.81 cores=1,3,5,7
/proc/24126/stat : 24126 (bsolo) R 24124 24126 24082 0 -1 4202496 129377 0 0 0 160050 131 0 0 20 0 1 0 285716783 534413312 127929 33554432000 134512640 137138936 4291848704 4291847632 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24126/statm: 130472 127929 192 642 0 129828 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 521888
[startup+1662.3 s]
/proc/loadavg: 2.02 2.00 1.89 3/177 24218
/proc/meminfo: memFree=30496068/32873844 swapFree=7372/7372
[pid=24126] ppid=24124 vsize=521908 CPUtime=1661.8 cores=1,3,5,7
/proc/24126/stat : 24126 (bsolo) R 24124 24126 24082 0 -1 4202496 129382 0 0 0 166046 134 0 0 20 0 1 0 285716783 534433792 127934 33554432000 134512640 137138936 4291848704 4291847128 134606964 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24126/statm: 130477 127934 192 642 0 129833 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 521908
[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 1.89 3/177 24219
/proc/meminfo: memFree=30436672/32873844 swapFree=7372/7372
[pid=24126] ppid=24124 vsize=521944 CPUtime=1721.79 cores=1,3,5,7
/proc/24126/stat : 24126 (bsolo) R 24124 24126 24082 0 -1 4202496 129391 0 0 0 172043 136 0 0 20 0 1 0 285716783 534470656 127943 33554432000 134512640 137138936 4291848704 4291847632 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24126/statm: 130486 127943 192 642 0 129842 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 521944
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/177 24219
/proc/meminfo: memFree=30376036/32873844 swapFree=7372/7372
[pid=24126] ppid=24124 vsize=521964 CPUtime=1781.78 cores=1,3,5,7
/proc/24126/stat : 24126 (bsolo) R 24124 24126 24082 0 -1 4202496 129639 0 0 0 178040 138 0 0 20 0 1 0 285716783 534491136 127948 33554432000 134512640 137138936 4291848704 4291847556 136511136 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24126/statm: 130491 127948 192 642 0 129847 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 521964
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.90 3/177 24219
/proc/meminfo: memFree=30365744/32873844 swapFree=7372/7372
[pid=24126] ppid=24124 vsize=521964 CPUtime=1791.39 cores=1,3,5,7
/proc/24126/stat : 24126 (bsolo) R 24124 24126 24082 0 -1 4202496 129639 0 0 0 179001 138 0 0 20 0 1 0 285716783 534491136 127948 33554432000 134512640 137138936 4291848704 4291847632 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24126/statm: 130491 127948 192 642 0 129847 0
Current children cumulated CPU time (s) 1791.39
Current children cumulated vsize (KiB) 521964
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.90 3/177 24219
/proc/meminfo: memFree=30362396/32873844 swapFree=7372/7372
[pid=24126] ppid=24124 vsize=521964 CPUtime=1794.59 cores=1,3,5,7
/proc/24126/stat : 24126 (bsolo) R 24124 24126 24082 0 -1 4202496 129639 0 0 0 179320 139 0 0 20 0 1 0 285716783 534491136 127948 33554432000 134512640 137138936 4291848704 4291847632 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24126/statm: 130491 127948 192 642 0 129847 0
Current children cumulated CPU time (s) 1794.59
Current children cumulated vsize (KiB) 521964
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.90 3/177 24219
/proc/meminfo: memFree=30361776/32873844 swapFree=7372/7372
[pid=24126] ppid=24124 vsize=521964 CPUtime=1796.19 cores=1,3,5,7
/proc/24126/stat : 24126 (bsolo) R 24124 24126 24082 0 -1 4202496 129639 0 0 0 179480 139 0 0 20 0 1 0 285716783 534491136 127948 33554432000 134512640 137138936 4291848704 4291847820 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24126/statm: 130491 127948 192 642 0 129847 0
Current children cumulated CPU time (s) 1796.19
Current children cumulated vsize (KiB) 521964
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 1.90 3/177 24219
/proc/meminfo: memFree=30361280/32873844 swapFree=7372/7372
[pid=24126] ppid=24124 vsize=521964 CPUtime=1796.98 cores=1,3,5,7
/proc/24126/stat : 24126 (bsolo) R 24124 24126 24082 0 -1 4202496 129639 0 0 0 179559 139 0 0 20 0 1 0 285716783 534491136 127948 33554432000 134512640 137138936 4291848704 4291847456 134572783 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24126/statm: 130491 127948 192 642 0 129847 0
Current children cumulated CPU time (s) 1796.98
Current children cumulated vsize (KiB) 521964
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/177 24219
/proc/meminfo: memFree=30361280/32873844 swapFree=7372/7372
[pid=24126] ppid=24124 vsize=521964 CPUtime=1797.78 cores=1,3,5,7
/proc/24126/stat : 24126 (bsolo) R 24124 24126 24082 0 -1 4202496 129639 0 0 0 179639 139 0 0 20 0 1 0 285716783 534491136 127948 33554432000 134512640 137138936 4291848704 4291847820 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24126/statm: 130491 127948 192 642 0 129847 0
Current children cumulated CPU time (s) 1797.78
Current children cumulated vsize (KiB) 521964
[startup+1798.51 s]
/proc/loadavg: 2.00 2.00 1.90 3/177 24219
/proc/meminfo: memFree=30360412/32873844 swapFree=7372/7372
[pid=24126] ppid=24124 vsize=521964 CPUtime=1797.99 cores=1,3,5,7
/proc/24126/stat : 24126 (bsolo) R 24124 24126 24082 0 -1 4202496 129639 0 0 0 179660 139 0 0 20 0 1 0 285716783 534491136 127948 33554432000 134512640 137138936 4291848704 4291847128 134606995 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24126/statm: 130491 127948 192 642 0 129847 0
Current children cumulated CPU time (s) 1797.99
Current children cumulated vsize (KiB) 521964
Child status: 0
Real time (s): 1798.51
CPU time (s): 1798
CPU user time (s): 1796.61
CPU system time (s): 1.39779
CPU usage (%): 99.9717
Max. virtual memory (cumulated for all children) (KiB): 522936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.61
system time used= 1.39779
maximum resident set size= 512764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 129639
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= 245
involuntary context switches= 1861
runsolver used 3.71743 second user time and 8.86565 second system time
The end