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-3708468-1338174705/watcher-3708468-1338174705 -o /tmp/evaluation-result-3708468-1338174705/solver-3708468-1338174705 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708468-1338174705.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.00 2.00 2.00 3/176 10295
/proc/meminfo: memFree=29070028/32873844 swapFree=7628/7628
[pid=10295] ppid=10293 vsize=12168 CPUtime=0 cores=0,2,4,6
/proc/10295/stat : 10295 (bsolo) R 10293 10295 8717 0 -1 4202496 395 0 0 0 0 0 0 0 20 0 1 0 283594899 12460032 349 33554432000 134512640 137138936 4294055152 4294052392 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10295/statm: 3042 349 178 642 0 2159 0
[startup+0.059113 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 10295
/proc/meminfo: memFree=29070028/32873844 swapFree=7628/7628
[pid=10295] ppid=10293 vsize=18732 CPUtime=0.05 cores=0,2,4,6
/proc/10295/stat : 10295 (bsolo) R 10293 10295 8717 0 -1 4202496 2126 0 0 0 5 0 0 0 20 0 1 0 283594899 19181568 2039 33554432000 134512640 137138936 4294055152 4294053432 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10295/statm: 4683 2040 241 642 0 3800 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 18732
[startup+0.100258 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 10295
/proc/meminfo: memFree=29070028/32873844 swapFree=7628/7628
[pid=10295] ppid=10293 vsize=23464 CPUtime=0.09 cores=0,2,4,6
/proc/10295/stat : 10295 (bsolo) R 10293 10295 8717 0 -1 4202496 3362 0 0 0 9 0 0 0 20 0 1 0 283594899 24027136 3275 33554432000 134512640 137138936 4294055152 4294053572 136525312 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10295/statm: 5866 3276 288 642 0 4983 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23464
[startup+0.300156 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 10295
/proc/meminfo: memFree=29070028/32873844 swapFree=7628/7628
[pid=10295] ppid=10293 vsize=53468 CPUtime=0.29 cores=0,2,4,6
/proc/10295/stat : 10295 (bsolo) R 10293 10295 8717 0 -1 4202496 11104 0 0 0 27 2 0 0 20 0 1 0 283594899 54751232 10650 33554432000 134512640 137138936 4294055152 4293134608 134542199 0 0 4096 16384 0 0 0 17 6 0 0 0 0 0
/proc/10295/statm: 13367 10650 185 642 0 12723 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 53468
[startup+0.70016 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 10295
/proc/meminfo: memFree=29070028/32873844 swapFree=7628/7628
[pid=10295] ppid=10293 vsize=53468 CPUtime=0.69 cores=0,2,4,6
/proc/10295/stat : 10295 (bsolo) R 10293 10295 8717 0 -1 4202496 11104 0 0 0 67 2 0 0 20 0 1 0 283594899 54751232 10650 33554432000 134512640 137138936 4294055152 4293134608 134542187 0 0 4096 16384 0 0 0 17 6 0 0 0 0 0
/proc/10295/statm: 13367 10650 185 642 0 12723 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 53468
[startup+1.50024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10296
/proc/meminfo: memFree=29027836/32873844 swapFree=7628/7628
[pid=10295] ppid=10293 vsize=53468 CPUtime=1.49 cores=0,2,4,6
/proc/10295/stat : 10295 (bsolo) R 10293 10295 8717 0 -1 4202496 11104 0 0 0 147 2 0 0 20 0 1 0 283594899 54751232 10650 33554432000 134512640 137138936 4294055152 4293134608 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10295/statm: 13367 10650 185 642 0 12723 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 53468
[startup+3.10021 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10296
/proc/meminfo: memFree=29024596/32873844 swapFree=7628/7628
[pid=10295] ppid=10293 vsize=57732 CPUtime=3.08 cores=0,2,4,6
/proc/10295/stat : 10295 (bsolo) R 10293 10295 8717 0 -1 4202496 69873 0 0 0 295 13 0 0 20 0 1 0 283594899 59117568 11669 33554432000 134512640 137138936 4294055152 4294053904 134572768 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10295/statm: 14433 11696 192 642 0 13789 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 57732
[startup+6.3002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10296
/proc/meminfo: memFree=29006740/32873844 swapFree=7628/7628
[pid=10295] ppid=10293 vsize=77820 CPUtime=6.28 cores=0,2,4,6
/proc/10295/stat : 10295 (bsolo) R 10293 10295 8717 0 -1 4202496 359200 0 0 0 582 46 0 0 20 0 1 0 283594899 79687680 16746 33554432000 134512640 137138936 4294055152 4294042280 134599698 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10295/statm: 19455 16746 192 642 0 18811 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 77820
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10296
/proc/meminfo: memFree=28964852/32873844 swapFree=7628/7628
[pid=10295] ppid=10293 vsize=116660 CPUtime=12.69 cores=0,2,4,6
/proc/10295/stat : 10295 (bsolo) R 10293 10295 8717 0 -1 4202496 891636 0 0 0 1158 111 0 0 20 0 1 0 283594899 119459840 26432 33554432000 134512640 137138936 4294055152 4294053856 136297647 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10295/statm: 29165 26432 192 642 0 28521 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 116660
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10296
/proc/meminfo: memFree=28883980/32873844 swapFree=7628/7628
[pid=10295] ppid=10293 vsize=188624 CPUtime=25.48 cores=0,2,4,6
/proc/10295/stat : 10295 (bsolo) R 10293 10295 8717 0 -1 4202496 1847152 0 0 0 2323 225 0 0 20 0 1 0 283594899 193150976 44448 33554432000 134512640 137138936 4294055152 4294054104 136515987 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10295/statm: 47156 44448 192 642 0 46512 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 188624
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10297
/proc/meminfo: memFree=28767636/32873844 swapFree=7628/7628
[pid=10295] ppid=10293 vsize=295892 CPUtime=51.08 cores=0,2,4,6
/proc/10295/stat : 10295 (bsolo) R 10293 10295 8717 0 -1 4202496 3222294 0 0 0 4712 396 0 0 20 0 1 0 283594899 302993408 71240 33554432000 134512640 137138936 4294055152 4294053668 134550966 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10295/statm: 73973 71240 192 642 0 73329 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 295892
[startup+102.306 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 10297
/proc/meminfo: memFree=28528608/32873844 swapFree=7628/7628
[pid=10295] ppid=10293 vsize=516780 CPUtime=102.26 cores=0,2,4,6
/proc/10295/stat : 10295 (bsolo) R 10293 10295 8717 0 -1 4202496 6066174 0 0 0 9491 735 0 0 20 0 1 0 283594899 529182720 126471 33554432000 134512640 137138936 4294055152 4294053904 134572768 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10295/statm: 129195 126492 192 642 0 128551 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 516780
[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 10297
/proc/meminfo: memFree=28312876/32873844 swapFree=7628/7628
[pid=10295] ppid=10293 vsize=711112 CPUtime=162.25 cores=0,2,4,6
/proc/10295/stat : 10295 (bsolo) R 10293 10295 8717 0 -1 4202496 8585710 0 0 0 15174 1051 0 0 20 0 1 0 283594899 728178688 175056 33554432000 134512640 137138936 4294055152 4294053816 136574033 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10295/statm: 177778 175056 192 642 0 177134 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 711112
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10297
/proc/meminfo: memFree=28140296/32873844 swapFree=7628/7628
[pid=10295] ppid=10293 vsize=863644 CPUtime=222.24 cores=0,2,4,6
/proc/10295/stat : 10295 (bsolo) R 10293 10295 8717 0 -1 4202496 10556594 0 0 0 20924 1300 0 0 20 0 1 0 283594899 884371456 213190 33554432000 134512640 137138936 4294055152 4294054268 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10295/statm: 215911 213190 192 642 0 215267 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 863644
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10297
/proc/meminfo: memFree=27924936/32873844 swapFree=7628/7628
[pid=10295] ppid=10293 vsize=1053872 CPUtime=282.23 cores=0,2,4,6
/proc/10295/stat : 10295 (bsolo) R 10293 10295 8717 0 -1 4202496 13017278 0 0 0 26617 1606 0 0 20 0 1 0 283594899 1079164928 260740 33554432000 134512640 137138936 4294055152 4294054032 134540747 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10295/statm: 263468 260740 192 642 0 262824 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 1053872
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 10297
/proc/meminfo: memFree=27903232/32873844 swapFree=7628/7628
[pid=10295] ppid=10293 vsize=1053872 CPUtime=342.21 cores=0,2,4,6
/proc/10295/stat : 10295 (bsolo) R 10293 10295 8717 0 -1 4202496 13017295 0 0 0 32612 1609 0 0 20 0 1 0 283594899 1079164928 260740 33554432000 134512640 137138936 4294055152 4294054080 134542513 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10295/statm: 263468 260740 192 642 0 262824 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 1053872
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10298
/proc/meminfo: memFree=27879072/32873844 swapFree=7628/7628
[pid=10295] ppid=10293 vsize=1053872 CPUtime=402.19 cores=0,2,4,6
/proc/10295/stat : 10295 (bsolo) R 10293 10295 8717 0 -1 4202496 13017295 0 0 0 38608 1611 0 0 20 0 1 0 283594899 1079164928 260740 33554432000 134512640 137138936 4294055152 4294053664 134533415 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10295/statm: 263468 260740 192 642 0 262824 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 1053872
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10298
/proc/meminfo: memFree=27858020/32873844 swapFree=7628/7628
[pid=10295] ppid=10293 vsize=1053872 CPUtime=462.19 cores=0,2,4,6
/proc/10295/stat : 10295 (bsolo) R 10293 10295 8717 0 -1 4202496 13017295 0 0 0 44606 1613 0 0 20 0 1 0 283594899 1079164928 260740 33554432000 134512640 137138936 4294055152 4294054268 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10295/statm: 263468 260740 192 642 0 262824 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 1053872
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10301
/proc/meminfo: memFree=27840308/32873844 swapFree=7628/7628
[pid=10295] ppid=10293 vsize=1053872 CPUtime=522.18 cores=0,2,4,6
/proc/10295/stat : 10295 (bsolo) R 10293 10295 8717 0 -1 4202496 13017295 0 0 0 50603 1615 0 0 20 0 1 0 283594899 1079164928 260740 33554432000 134512640 137138936 4294055152 4294054080 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10295/statm: 263468 260740 192 642 0 262824 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 1053872
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10339
/proc/meminfo: memFree=28685604/32873844 swapFree=7628/7628
[pid=10295] ppid=10293 vsize=1053872 CPUtime=582.17 cores=0,2,4,6
/proc/10295/stat : 10295 (bsolo) R 10293 10295 8717 0 -1 4202496 13017296 0 0 0 56599 1618 0 0 20 0 1 0 283594899 1079164928 260740 33554432000 134512640 137138936 4294055152 4294054080 134542525 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10295/statm: 263468 260740 192 642 0 262824 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 1053872
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28639524/32873844 swapFree=7628/7628
[pid=10295] ppid=10293 vsize=1062156 CPUtime=1062.06 cores=0,2,4,6
/proc/10295/stat : 10295 (bsolo) R 10293 10295 8717 0 -1 4202496 13133498 0 0 0 104554 1652 0 0 20 0 1 0 283594899 1087647744 263417 33554432000 134512640 137138936 4294055152 4294054268 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10295/statm: 265539 263417 192 642 0 264895 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 1062156
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 10344
/proc/meminfo: memFree=28638028/32873844 swapFree=7628/7628
[pid=10295] ppid=10293 vsize=1062156 CPUtime=1122.05 cores=0,2,4,6
/proc/10295/stat : 10295 (bsolo) R 10293 10295 8717 0 -1 4202496 13133498 0 0 0 110551 1654 0 0 20 0 1 0 283594899 1087647744 263417 33554432000 134512640 137138936 4294055152 4294054080 134542516 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10295/statm: 265539 263417 192 642 0 264895 0
Current children cumulated CPU time (s) 1122.05
Current children cumulated vsize (KiB) 1062156
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10344
/proc/meminfo: memFree=28645972/32873844 swapFree=7628/7628
[pid=10295] ppid=10293 vsize=1054360 CPUtime=1182.04 cores=0,2,4,6
/proc/10295/stat : 10295 (bsolo) R 10293 10295 8717 0 -1 4202496 13133498 0 0 0 116548 1656 0 0 20 0 1 0 283594899 1079664640 261492 33554432000 134512640 137138936 4294055152 4294054268 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10295/statm: 263590 261492 192 642 0 262946 0
Current children cumulated CPU time (s) 1182.04
Current children cumulated vsize (KiB) 1054360
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10344
/proc/meminfo: memFree=28645476/32873844 swapFree=7628/7628
[pid=10295] ppid=10293 vsize=1054360 CPUtime=1242.04 cores=0,2,4,6
/proc/10295/stat : 10295 (bsolo) R 10293 10295 8717 0 -1 4202496 13133498 0 0 0 122545 1659 0 0 20 0 1 0 283594899 1079664640 261492 33554432000 134512640 137138936 4294055152 4294054080 134542613 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10295/statm: 263590 261492 192 642 0 262946 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 1054360
[startup+1302.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 10345
/proc/meminfo: memFree=28645600/32873844 swapFree=7628/7628
[pid=10295] ppid=10293 vsize=1054360 CPUtime=1302.03 cores=0,2,4,6
/proc/10295/stat : 10295 (bsolo) R 10293 10295 8717 0 -1 4202496 13133498 0 0 0 128542 1661 0 0 20 0 1 0 283594899 1079664640 261492 33554432000 134512640 137138936 4294055152 4294054080 134542187 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10295/statm: 263590 261492 192 642 0 262946 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 1054360
[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 10345
/proc/meminfo: memFree=28636920/32873844 swapFree=7628/7628
[pid=10295] ppid=10293 vsize=1054360 CPUtime=1362.02 cores=0,2,4,6
/proc/10295/stat : 10295 (bsolo) R 10293 10295 8717 0 -1 4202496 13133498 0 0 0 134538 1664 0 0 20 0 1 0 283594899 1079664640 261492 33554432000 134512640 137138936 4294055152 4294054080 134542516 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10295/statm: 263590 261492 192 642 0 262946 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 1054360
[startup+1422.31 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 10345
/proc/meminfo: memFree=28637168/32873844 swapFree=7628/7628
[pid=10295] ppid=10293 vsize=1054360 CPUtime=1422.01 cores=0,2,4,6
/proc/10295/stat : 10295 (bsolo) R 10293 10295 8717 0 -1 4202496 13133498 0 0 0 140535 1666 0 0 20 0 1 0 283594899 1079664640 261492 33554432000 134512640 137138936 4294055152 4294054080 134542503 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10295/statm: 263590 261492 192 642 0 262946 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 1054360
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10346
/proc/meminfo: memFree=28636912/32873844 swapFree=7628/7628
[pid=10295] ppid=10293 vsize=1054360 CPUtime=1482 cores=0,2,4,6
/proc/10295/stat : 10295 (bsolo) R 10293 10295 8717 0 -1 4202496 13133498 0 0 0 146532 1668 0 0 20 0 1 0 283594899 1079664640 261492 33554432000 134512640 137138936 4294055152 4294054080 134542497 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10295/statm: 263590 261492 192 642 0 262946 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 1054360
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10346
/proc/meminfo: memFree=28636920/32873844 swapFree=7628/7628
[pid=10295] ppid=10293 vsize=1054360 CPUtime=1541.99 cores=0,2,4,6
/proc/10295/stat : 10295 (bsolo) R 10293 10295 8717 0 -1 4202496 13133498 0 0 0 152529 1670 0 0 20 0 1 0 283594899 1079664640 261492 33554432000 134512640 137138936 4294055152 4294054080 134542490 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10295/statm: 263590 261492 192 642 0 262946 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 1054360
[startup+1602.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 10347
/proc/meminfo: memFree=28637044/32873844 swapFree=7628/7628
[pid=10295] ppid=10293 vsize=1054360 CPUtime=1601.98 cores=0,2,4,6
/proc/10295/stat : 10295 (bsolo) R 10293 10295 8717 0 -1 4202496 13133498 0 0 0 158527 1671 0 0 20 0 1 0 283594899 1079664640 261492 33554432000 134512640 137138936 4294055152 4294054080 134542333 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10295/statm: 263590 261492 192 642 0 262946 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 1054360
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 10347
/proc/meminfo: memFree=28630844/32873844 swapFree=7628/7628
[pid=10295] ppid=10293 vsize=1060936 CPUtime=1661.96 cores=0,2,4,6
/proc/10295/stat : 10295 (bsolo) R 10293 10295 8717 0 -1 4202496 13221340 0 0 0 164513 1683 0 0 20 0 1 0 283594899 1086398464 263104 33554432000 134512640 137138936 4294055152 4294053668 134551531 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10295/statm: 265234 263104 192 642 0 264590 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 1060936
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10350
/proc/meminfo: memFree=28622956/32873844 swapFree=7628/7628
[pid=10295] ppid=10293 vsize=1060936 CPUtime=1721.95 cores=0,2,4,6
/proc/10295/stat : 10295 (bsolo) R 10293 10295 8717 0 -1 4202496 13221343 0 0 0 170509 1686 0 0 20 0 1 0 283594899 1086398464 263104 33554432000 134512640 137138936 4294055152 4294054080 134542770 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10295/statm: 265234 263104 192 642 0 264590 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 1060936
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10350
/proc/meminfo: memFree=28622468/32873844 swapFree=7628/7628
[pid=10295] ppid=10293 vsize=1060936 CPUtime=1781.95 cores=0,2,4,6
/proc/10295/stat : 10295 (bsolo) R 10293 10295 8717 0 -1 4202496 13221343 0 0 0 176506 1689 0 0 20 0 1 0 283594899 1086398464 263104 33554432000 134512640 137138936 4294055152 4294054080 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10295/statm: 265234 263104 192 642 0 264590 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 1060936
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 10350
/proc/meminfo: memFree=28622344/32873844 swapFree=7628/7628
[pid=10295] ppid=10293 vsize=1060936 CPUtime=1791.55 cores=0,2,4,6
/proc/10295/stat : 10295 (bsolo) R 10293 10295 8717 0 -1 4202496 13221343 0 0 0 177466 1689 0 0 20 0 1 0 283594899 1086398464 263104 33554432000 134512640 137138936 4294055152 4294053572 136501684 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10295/statm: 265234 263104 192 642 0 264590 0
Current children cumulated CPU time (s) 1791.55
Current children cumulated vsize (KiB) 1060936
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10350
/proc/meminfo: memFree=28622344/32873844 swapFree=7628/7628
[pid=10295] ppid=10293 vsize=1060936 CPUtime=1794.75 cores=0,2,4,6
/proc/10295/stat : 10295 (bsolo) R 10293 10295 8717 0 -1 4202496 13221343 0 0 0 177786 1689 0 0 20 0 1 0 283594899 1086398464 263104 33554432000 134512640 137138936 4294055152 4294054080 134542516 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10295/statm: 265234 263104 192 642 0 264590 0
Current children cumulated CPU time (s) 1794.75
Current children cumulated vsize (KiB) 1060936
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10350
/proc/meminfo: memFree=28622344/32873844 swapFree=7628/7628
[pid=10295] ppid=10293 vsize=1060936 CPUtime=1796.34 cores=0,2,4,6
/proc/10295/stat : 10295 (bsolo) R 10293 10295 8717 0 -1 4202496 13221343 0 0 0 177945 1689 0 0 20 0 1 0 283594899 1086398464 263104 33554432000 134512640 137138936 4294055152 4294054080 134542325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10295/statm: 265234 263104 192 642 0 264590 0
Current children cumulated CPU time (s) 1796.34
Current children cumulated vsize (KiB) 1060936
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10350
/proc/meminfo: memFree=28622344/32873844 swapFree=7628/7628
[pid=10295] ppid=10293 vsize=1060936 CPUtime=1797.14 cores=0,2,4,6
/proc/10295/stat : 10295 (bsolo) R 10293 10295 8717 0 -1 4202496 13221343 0 0 0 178025 1689 0 0 20 0 1 0 283594899 1086398464 263104 33554432000 134512640 137138936 4294055152 4294053752 135984569 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10295/statm: 265234 263104 192 642 0 264590 0
Current children cumulated CPU time (s) 1797.14
Current children cumulated vsize (KiB) 1060936
[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10350
/proc/meminfo: memFree=28622344/32873844 swapFree=7628/7628
[pid=10295] ppid=10293 vsize=1060936 CPUtime=1797.54 cores=0,2,4,6
/proc/10295/stat : 10295 (bsolo) R 10293 10295 8717 0 -1 4202496 13221343 0 0 0 178065 1689 0 0 20 0 1 0 283594899 1086398464 263104 33554432000 134512640 137138936 4294055152 4294054080 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10295/statm: 265234 263104 192 642 0 264590 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (KiB) 1060936
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10350
/proc/meminfo: memFree=28622344/32873844 swapFree=7628/7628
[pid=10295] ppid=10293 vsize=1060936 CPUtime=1797.94 cores=0,2,4,6
/proc/10295/stat : 10295 (bsolo) R 10293 10295 8717 0 -1 4202496 13221343 0 0 0 178105 1689 0 0 20 0 1 0 283594899 1086398464 263104 33554432000 134512640 137138936 4294055152 4294054080 134542516 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10295/statm: 265234 263104 192 642 0 264590 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 1060936
Child status: 0
Real time (s): 1798.35
CPU time (s): 1798.01
CPU user time (s): 1781.11
CPU system time (s): 16.9014
CPU usage (%): 99.9808
Max. virtual memory (cumulated for all children) (KiB): 1062156
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1781.11
system time used= 16.9014
maximum resident set size= 1053668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13221344
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= 68
involuntary context switches= 2213
runsolver used 3.49547 second user time and 9.30559 second system time
The end