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-3707642-1338238954/watcher-3707642-1338238954 -o /tmp/evaluation-result-3707642-1338238954/solver-3707642-1338238954 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707642-1338238954.opb
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: 2.03 2.01 2.00 2/176 25355
/proc/meminfo: memFree=30978392/32873844 swapFree=6080/6080
[pid=25355] ppid=25353 vsize=11292 CPUtime=0 cores=0,2,4,6
/proc/25355/stat : 25355 (bsolo) R 25353 25355 24091 0 -1 4202496 345 0 0 0 0 0 0 0 20 0 1 0 290019981 11563008 298 33554432000 134512640 137138936 4293700896 4293699256 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/25355/statm: 2823 298 179 642 0 2124 0
[startup+0.0961189 s]
/proc/loadavg: 2.03 2.01 2.00 2/176 25355
/proc/meminfo: memFree=30978392/32873844 swapFree=6080/6080
[pid=25355] ppid=25353 vsize=12004 CPUtime=0.09 cores=0,2,4,6
/proc/25355/stat : 25355 (bsolo) R 25353 25355 24091 0 -1 4202496 662 0 0 0 9 0 0 0 20 0 1 0 290019981 12292096 560 33554432000 134512640 137138936 4293700896 4293655560 136504446 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/25355/statm: 3001 560 184 642 0 2357 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12004
[startup+0.100213 s]
/proc/loadavg: 2.03 2.01 2.00 2/176 25355
/proc/meminfo: memFree=30978392/32873844 swapFree=6080/6080
[pid=25355] ppid=25353 vsize=12004 CPUtime=0.09 cores=0,2,4,6
/proc/25355/stat : 25355 (bsolo) R 25353 25355 24091 0 -1 4202496 662 0 0 0 9 0 0 0 20 0 1 0 290019981 12292096 560 33554432000 134512640 137138936 4293700896 4293656000 134543407 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/25355/statm: 3001 560 184 642 0 2357 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12004
[startup+0.300176 s]
/proc/loadavg: 2.03 2.01 2.00 2/176 25355
/proc/meminfo: memFree=30978392/32873844 swapFree=6080/6080
[pid=25355] ppid=25353 vsize=12004 CPUtime=0.29 cores=0,2,4,6
/proc/25355/stat : 25355 (bsolo) R 25353 25355 24091 0 -1 4202496 662 0 0 0 29 0 0 0 20 0 1 0 290019981 12292096 560 33554432000 134512640 137138936 4293700896 4293655608 136506283 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/25355/statm: 3001 560 184 642 0 2357 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12004
[startup+0.700224 s]
/proc/loadavg: 2.03 2.01 2.00 2/176 25355
/proc/meminfo: memFree=30978392/32873844 swapFree=6080/6080
[pid=25355] ppid=25353 vsize=12244 CPUtime=0.69 cores=0,2,4,6
/proc/25355/stat : 25355 (bsolo) R 25353 25355 24091 0 -1 4202496 733 0 0 0 69 0 0 0 20 0 1 0 290019981 12537856 616 33554432000 134512640 137138936 4293700896 4293699572 136511187 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25355/statm: 3061 616 192 642 0 2417 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12244
[startup+1.50022 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 25356
/proc/meminfo: memFree=30971820/32873844 swapFree=6080/6080
[pid=25355] ppid=25353 vsize=16144 CPUtime=1.49 cores=0,2,4,6
/proc/25355/stat : 25355 (bsolo) R 25353 25355 24091 0 -1 4202496 1712 0 0 0 148 1 0 0 20 0 1 0 290019981 16531456 1595 33554432000 134512640 137138936 4293700896 4293699320 134606663 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25355/statm: 4036 1595 192 642 0 3392 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16144
[startup+3.10023 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 25356
/proc/meminfo: memFree=30962164/32873844 swapFree=6080/6080
[pid=25355] ppid=25353 vsize=23536 CPUtime=3.08 cores=0,2,4,6
/proc/25355/stat : 25355 (bsolo) R 25353 25355 24091 0 -1 4202496 3566 0 0 0 307 1 0 0 20 0 1 0 290019981 24100864 3449 33554432000 134512640 137138936 4293700896 4293699824 134542941 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25355/statm: 5884 3449 192 642 0 5240 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 23536
[startup+6.30023 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 25356
/proc/meminfo: memFree=30939480/32873844 swapFree=6080/6080
[pid=25355] ppid=25353 vsize=36092 CPUtime=6.29 cores=0,2,4,6
/proc/25355/stat : 25355 (bsolo) R 25353 25355 24091 0 -1 4202496 6718 0 0 0 626 3 0 0 20 0 1 0 290019981 36958208 6601 33554432000 134512640 137138936 4293700896 4293700012 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25355/statm: 9023 6601 192 642 0 8379 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 36092
[startup+12.7003 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 25356
/proc/meminfo: memFree=30908612/32873844 swapFree=6080/6080
[pid=25355] ppid=25353 vsize=49896 CPUtime=12.68 cores=0,2,4,6
/proc/25355/stat : 25355 (bsolo) R 25353 25355 24091 0 -1 4202496 10158 0 0 0 1262 6 0 0 20 0 1 0 290019981 51093504 10041 33554432000 134512640 137138936 4293700896 4293700000 134543403 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25355/statm: 12474 10041 192 642 0 11830 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 49896
[startup+25.5003 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 25356
/proc/meminfo: memFree=30856648/32873844 swapFree=6080/6080
[pid=25355] ppid=25353 vsize=76120 CPUtime=25.48 cores=0,2,4,6
/proc/25355/stat : 25355 (bsolo) R 25353 25355 24091 0 -1 4202496 16721 0 0 0 2539 9 0 0 20 0 1 0 290019981 77946880 16604 33554432000 134512640 137138936 4293700896 4293699432 136504086 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25355/statm: 19030 16604 192 642 0 18386 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 76120
[startup+51.1003 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 25356
/proc/meminfo: memFree=30782820/32873844 swapFree=6080/6080
[pid=25355] ppid=25353 vsize=112580 CPUtime=51.08 cores=0,2,4,6
/proc/25355/stat : 25355 (bsolo) R 25353 25355 24091 0 -1 4202496 25823 0 0 0 5094 14 0 0 20 0 1 0 290019981 115281920 25706 33554432000 134512640 137138936 4293700896 4293699320 134606964 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25355/statm: 28145 25706 192 642 0 27501 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 112580
[startup+102.306 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 25356
/proc/meminfo: memFree=30642992/32873844 swapFree=6080/6080
[pid=25355] ppid=25353 vsize=182116 CPUtime=102.28 cores=0,2,4,6
/proc/25355/stat : 25355 (bsolo) R 25353 25355 24091 0 -1 4202496 43199 0 0 0 10204 24 0 0 20 0 1 0 290019981 186486784 43082 33554432000 134512640 137138936 4293700896 4293699824 134542490 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25355/statm: 45529 43082 192 642 0 44885 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 182116
[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 25356
/proc/meminfo: memFree=30526836/32873844 swapFree=6080/6080
[pid=25355] ppid=25353 vsize=237684 CPUtime=162.26 cores=0,2,4,6
/proc/25355/stat : 25355 (bsolo) R 25353 25355 24091 0 -1 4202496 57104 0 0 0 16194 32 0 0 20 0 1 0 290019981 243388416 56987 33554432000 134512640 137138936 4293700896 4293699628 136520964 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/25355/statm: 59421 56987 192 642 0 58777 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 237684
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 25356
/proc/meminfo: memFree=30395300/32873844 swapFree=6080/6080
[pid=25355] ppid=25353 vsize=292540 CPUtime=222.21 cores=0,2,4,6
/proc/25355/stat : 25355 (bsolo) R 25353 25355 24091 0 -1 4202496 70869 0 0 0 22181 40 0 0 20 0 1 0 290019981 299560960 70709 33554432000 134512640 137138936 4293700896 4293699824 134542770 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/25355/statm: 73135 70709 192 642 0 72491 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 292540
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25357
/proc/meminfo: memFree=30282924/32873844 swapFree=6080/6080
[pid=25355] ppid=25353 vsize=343116 CPUtime=282.16 cores=0,2,4,6
/proc/25355/stat : 25355 (bsolo) R 25353 25355 24091 0 -1 4202496 83569 0 0 0 28169 47 0 0 20 0 1 0 290019981 351350784 83362 33554432000 134512640 137138936 4293700896 4293699824 134542339 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25355/statm: 85779 83362 192 642 0 85135 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 343116
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25357
/proc/meminfo: memFree=30171600/32873844 swapFree=6080/6080
[pid=25355] ppid=25353 vsize=393768 CPUtime=342.12 cores=0,2,4,6
/proc/25355/stat : 25355 (bsolo) R 25353 25355 24091 0 -1 4202496 96278 0 0 0 34159 53 0 0 20 0 1 0 290019981 403218432 96023 33554432000 134512640 137138936 4293700896 4293699320 134606663 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/25355/statm: 98442 96023 192 642 0 97798 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 393768
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25357
/proc/meminfo: memFree=30081976/32873844 swapFree=6080/6080
[pid=25355] ppid=25353 vsize=431636 CPUtime=402.07 cores=0,2,4,6
/proc/25355/stat : 25355 (bsolo) R 25353 25355 24091 0 -1 4202496 105783 0 0 0 40146 61 0 0 20 0 1 0 290019981 441995264 105480 33554432000 134512640 137138936 4293700896 4293699320 134606964 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25355/statm: 107909 105480 192 642 0 107265 0
Current children cumulated CPU time (s) 402.07
Current children cumulated vsize (KiB) 431636
[startup+462.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 25360
/proc/meminfo: memFree=30001576/32873844 swapFree=6080/6080
[pid=25355] ppid=25353 vsize=464472 CPUtime=462.05 cores=0,2,4,6
/proc/25355/stat : 25355 (bsolo) R 25353 25355 24091 0 -1 4202496 113999 0 0 0 46138 67 0 0 20 0 1 0 290019981 475619328 114154 33554432000 134512640 137138936 4293700896 4293699792 134542319 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25355/statm: 116118 114154 192 642 0 115474 0
Current children cumulated CPU time (s) 462.05
Current children cumulated vsize (KiB) 464472
[startup+522.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 25360
/proc/meminfo: memFree=29935864/32873844 swapFree=6080/6080
[pid=25355] ppid=25353 vsize=495480 CPUtime=522.05 cores=0,2,4,6
/proc/25355/stat : 25355 (bsolo) R 25353 25355 24091 0 -1 4202496 121755 0 0 0 52134 71 0 0 20 0 1 0 290019981 507371520 121910 33554432000 134512640 137138936 4293700896 4293699824 134542941 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25355/statm: 123870 121910 192 642 0 123226 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 495480
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25361
/proc/meminfo: memFree=29863200/32873844 swapFree=6080/6080
[pid=25355] ppid=25353 vsize=526856 CPUtime=582.04 cores=0,2,4,6
/proc/25355/stat : 25355 (bsolo) R 25353 25355 24091 0 -1 4202496 129601 0 0 0 58128 76 0 0 20 0 1 0 290019981 539500544 129756 33554432000 134512640 137138936 4293700896 4293699824 134542310 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25355/statm: 131714 129756 192 642 0 131070 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 526856
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=30234224/32873844 swapFree=6080/6080
[pid=25355] ppid=25353 vsize=785172 CPUtime=1121.96 cores=0,2,4,6
/proc/25355/stat : 25355 (bsolo) R 25353 25355 24091 0 -1 4202496 194184 0 0 0 112081 115 0 0 20 0 1 0 290019981 804016128 194338 33554432000 134512640 137138936 4293700896 4293699824 134542508 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25355/statm: 196293 194338 192 642 0 195649 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 785172
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25442
/proc/meminfo: memFree=30206324/32873844 swapFree=6080/6080
[pid=25355] ppid=25353 vsize=812168 CPUtime=1181.94 cores=0,2,4,6
/proc/25355/stat : 25355 (bsolo) R 25353 25355 24091 0 -1 4202496 200920 0 0 0 118076 118 0 0 20 0 1 0 290019981 831660032 201074 33554432000 134512640 137138936 4293700896 4293699792 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25355/statm: 203042 201074 192 642 0 202398 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 812168
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25442
/proc/meminfo: memFree=30173340/32873844 swapFree=6080/6080
[pid=25355] ppid=25353 vsize=836476 CPUtime=1241.94 cores=0,2,4,6
/proc/25355/stat : 25355 (bsolo) R 25353 25355 24091 0 -1 4202496 207012 0 0 0 124072 122 0 0 20 0 1 0 290019981 856551424 207166 33554432000 134512640 137138936 4293700896 4293699824 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25355/statm: 209119 207166 192 642 0 208475 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 836476
[startup+1302.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 25442
/proc/meminfo: memFree=30147024/32873844 swapFree=6080/6080
[pid=25355] ppid=25353 vsize=857556 CPUtime=1301.9 cores=0,2,4,6
/proc/25355/stat : 25355 (bsolo) R 25353 25355 24091 0 -1 4202496 212328 0 0 0 130065 125 0 0 20 0 1 0 290019981 878137344 212442 33554432000 134512640 137138936 4293700896 4293699824 134542508 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25355/statm: 214389 212442 192 642 0 213745 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 857556
[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 25442
/proc/meminfo: memFree=30124980/32873844 swapFree=6080/6080
[pid=25355] ppid=25353 vsize=875544 CPUtime=1361.85 cores=0,2,4,6
/proc/25355/stat : 25355 (bsolo) R 25353 25355 24091 0 -1 4202496 216872 0 0 0 136057 128 0 0 20 0 1 0 290019981 896557056 216938 33554432000 134512640 137138936 4293700896 4293699824 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25355/statm: 218886 216938 192 642 0 218242 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 875544
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25442
/proc/meminfo: memFree=30101448/32873844 swapFree=6080/6080
[pid=25355] ppid=25353 vsize=894260 CPUtime=1421.82 cores=0,2,4,6
/proc/25355/stat : 25355 (bsolo) R 25353 25355 24091 0 -1 4202496 221597 0 0 0 142051 131 0 0 20 0 1 0 290019981 915722240 221617 33554432000 134512640 137138936 4293700896 4293699824 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25355/statm: 223565 221617 192 642 0 222921 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 894260
[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 25443
/proc/meminfo: memFree=30073452/32873844 swapFree=6080/6080
[pid=25355] ppid=25353 vsize=918332 CPUtime=1481.77 cores=0,2,4,6
/proc/25355/stat : 25355 (bsolo) R 25353 25355 24091 0 -1 4202496 227656 0 0 0 148044 133 0 0 20 0 1 0 290019981 940371968 227629 33554432000 134512640 137138936 4293700896 4293699824 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25355/statm: 229583 227629 192 642 0 228939 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 918332
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 25443
/proc/meminfo: memFree=30044588/32873844 swapFree=6080/6080
[pid=25355] ppid=25353 vsize=942748 CPUtime=1541.73 cores=0,2,4,6
/proc/25355/stat : 25355 (bsolo) R 25353 25355 24091 0 -1 4202496 233813 0 0 0 154037 136 0 0 20 0 1 0 290019981 965373952 233739 33554432000 134512640 137138936 4293700896 4293700012 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25355/statm: 235687 233739 192 642 0 235043 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 942748
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25443
/proc/meminfo: memFree=30012844/32873844 swapFree=6080/6080
[pid=25355] ppid=25353 vsize=970100 CPUtime=1601.72 cores=0,2,4,6
/proc/25355/stat : 25355 (bsolo) R 25353 25355 24091 0 -1 4202496 240653 0 0 0 160034 138 0 0 20 0 1 0 290019981 993382400 240572 33554432000 134512640 137138936 4293700896 4293699824 134542490 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25355/statm: 242525 240572 192 642 0 241881 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 970100
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 25446
/proc/meminfo: memFree=29975760/32873844 swapFree=6080/6080
[pid=25355] ppid=25353 vsize=1000000 CPUtime=1661.71 cores=0,2,4,6
/proc/25355/stat : 25355 (bsolo) R 25353 25355 24091 0 -1 4202496 248140 0 0 0 166028 143 0 0 20 0 1 0 290019981 1024000000 248059 33554432000 134512640 137138936 4293700896 4293699792 134542624 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25355/statm: 250000 248059 192 642 0 249356 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 1000000
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25446
/proc/meminfo: memFree=29946876/32873844 swapFree=6080/6080
[pid=25355] ppid=25353 vsize=1024152 CPUtime=1721.71 cores=0,2,4,6
/proc/25355/stat : 25355 (bsolo) R 25353 25355 24091 0 -1 4202496 254176 0 0 0 172025 146 0 0 20 0 1 0 290019981 1048731648 254095 33554432000 134512640 137138936 4293700896 4293699824 134542333 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25355/statm: 256038 254095 192 642 0 255394 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 1024152
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25447
/proc/meminfo: memFree=29922448/32873844 swapFree=6080/6080
[pid=25355] ppid=25353 vsize=1042612 CPUtime=1781.69 cores=0,2,4,6
/proc/25355/stat : 25355 (bsolo) R 25353 25355 24091 0 -1 4202496 258944 0 0 0 178020 149 0 0 20 0 1 0 290019981 1067634688 258699 33554432000 134512640 137138936 4293700896 4293699824 134542513 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25355/statm: 260653 258699 192 642 0 260009 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 1042612
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25447
/proc/meminfo: memFree=29921456/32873844 swapFree=6080/6080
[pid=25355] ppid=25353 vsize=1042612 CPUtime=1791.3 cores=0,2,4,6
/proc/25355/stat : 25355 (bsolo) R 25353 25355 24091 0 -1 4202496 258944 0 0 0 178980 150 0 0 20 0 1 0 290019981 1067634688 258699 33554432000 134512640 137138936 4293700896 4293699824 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25355/statm: 260653 258699 192 642 0 260009 0
Current children cumulated CPU time (s) 1791.3
Current children cumulated vsize (KiB) 1042612
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25447
/proc/meminfo: memFree=29921084/32873844 swapFree=6080/6080
[pid=25355] ppid=25353 vsize=1042612 CPUtime=1794.5 cores=0,2,4,6
/proc/25355/stat : 25355 (bsolo) R 25353 25355 24091 0 -1 4202496 258944 0 0 0 179300 150 0 0 20 0 1 0 290019981 1067634688 258699 33554432000 134512640 137138936 4293700896 4293700012 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25355/statm: 260653 258699 192 642 0 260009 0
Current children cumulated CPU time (s) 1794.5
Current children cumulated vsize (KiB) 1042612
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25447
/proc/meminfo: memFree=29920836/32873844 swapFree=6080/6080
[pid=25355] ppid=25353 vsize=1042612 CPUtime=1796.09 cores=0,2,4,6
/proc/25355/stat : 25355 (bsolo) R 25353 25355 24091 0 -1 4202496 258944 0 0 0 179459 150 0 0 20 0 1 0 290019981 1067634688 258699 33554432000 134512640 137138936 4293700896 4293699440 134607574 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25355/statm: 260653 258699 192 642 0 260009 0
Current children cumulated CPU time (s) 1796.09
Current children cumulated vsize (KiB) 1042612
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25447
/proc/meminfo: memFree=29920588/32873844 swapFree=6080/6080
[pid=25355] ppid=25353 vsize=1042612 CPUtime=1796.89 cores=0,2,4,6
/proc/25355/stat : 25355 (bsolo) R 25353 25355 24091 0 -1 4202496 258944 0 0 0 179539 150 0 0 20 0 1 0 290019981 1067634688 258699 33554432000 134512640 137138936 4293700896 4293699824 134542965 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25355/statm: 260653 258699 192 642 0 260009 0
Current children cumulated CPU time (s) 1796.89
Current children cumulated vsize (KiB) 1042612
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25447
/proc/meminfo: memFree=29920588/32873844 swapFree=6080/6080
[pid=25355] ppid=25353 vsize=1042612 CPUtime=1797.69 cores=0,2,4,6
/proc/25355/stat : 25355 (bsolo) R 25353 25355 24091 0 -1 4202496 258944 0 0 0 179619 150 0 0 20 0 1 0 290019981 1067634688 258699 33554432000 134512640 137138936 4293700896 4293699748 136511176 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25355/statm: 260653 258699 192 642 0 260009 0
Current children cumulated CPU time (s) 1797.69
Current children cumulated vsize (KiB) 1042612
[startup+1798.51 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25447
/proc/meminfo: memFree=29920712/32873844 swapFree=6080/6080
[pid=25355] ppid=25353 vsize=1042612 CPUtime=1797.9 cores=0,2,4,6
/proc/25355/stat : 25355 (bsolo) R 25353 25355 24091 0 -1 4202496 258944 0 0 0 179640 150 0 0 20 0 1 0 290019981 1067634688 258699 33554432000 134512640 137138936 4293700896 4293699412 134550981 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25355/statm: 260653 258699 192 642 0 260009 0
Current children cumulated CPU time (s) 1797.9
Current children cumulated vsize (KiB) 1042612
[startup+1798.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25447
/proc/meminfo: memFree=29920712/32873844 swapFree=6080/6080
[pid=25355] ppid=25353 vsize=1042612 CPUtime=1797.99 cores=0,2,4,6
/proc/25355/stat : 25355 (bsolo) R 25353 25355 24091 0 -1 4202496 258944 0 0 0 179649 150 0 0 20 0 1 0 290019981 1067634688 258699 33554432000 134512640 137138936 4293700896 4293699320 134606663 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/25355/statm: 260653 258699 192 642 0 260009 0
Current children cumulated CPU time (s) 1797.99
Current children cumulated vsize (KiB) 1042612
Child status: 0
Real time (s): 1798.64
CPU time (s): 1798.04
CPU user time (s): 1796.52
CPU system time (s): 1.51877
CPU usage (%): 99.9669
Max. virtual memory (cumulated for all children) (KiB): 1043268
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.52
system time used= 1.51877
maximum resident set size= 1035452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 258944
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= 452
involuntary context switches= 2000
runsolver used 3.62245 second user time and 8.58269 second system time
The end