runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3463788-1307185768/watcher-3463788-1307185768 -o /tmp/evaluation-result-3463788-1307185768/solver-3463788-1307185768 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463788-1307185768.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.01 2.00 2/273 13993
/proc/meminfo: memFree=27837900/32951124 swapFree=55664332/67111528
[pid=13993] ppid=13991 vsize=14360 CPUtime=0 cores=0,2,4,6
/proc/13993/stat : 13993 (bsolo) R 13991 13993 10640 0 -1 4202496 395 0 0 0 0 0 0 0 25 0 1 0 830177545 14704640 349 33554432000 134512640 137138936 4288006816 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13993/statm: 3590 350 185 642 0 2163 0
[startup+0.108954 s]
/proc/loadavg: 2.00 2.01 2.00 2/273 13993
/proc/meminfo: memFree=27837900/32951124 swapFree=55664332/67111528
[pid=13993] ppid=13991 vsize=21008 CPUtime=0.1 cores=0,2,4,6
/proc/13993/stat : 13993 (bsolo) R 13991 13993 10640 0 -1 4202496 2435 0 0 0 10 0 0 0 25 0 1 0 830177545 21512192 2389 33554432000 134512640 137138936 4288006816 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13993/statm: 5252 2390 560 642 0 3825 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 21008
[startup+0.200938 s]
/proc/loadavg: 2.00 2.01 2.00 2/273 13993
/proc/meminfo: memFree=27837900/32951124 swapFree=55664332/67111528
[pid=13993] ppid=13991 vsize=25496 CPUtime=0.19 cores=0,2,4,6
/proc/13993/stat : 13993 (bsolo) R 13991 13993 10640 0 -1 4202496 3888 0 0 0 19 0 0 0 25 0 1 0 830177545 26107904 3802 33554432000 134512640 137138936 4288006816 18446744073709551615 134517511 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13993/statm: 6374 3802 853 642 0 4947 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 25496
[startup+0.30091 s]
/proc/loadavg: 2.00 2.01 2.00 2/273 13993
/proc/meminfo: memFree=27837900/32951124 swapFree=55664332/67111528
[pid=13993] ppid=13991 vsize=32120 CPUtime=0.29 cores=0,2,4,6
/proc/13993/stat : 13993 (bsolo) R 13991 13993 10640 0 -1 4202496 6323 0 0 0 29 0 0 0 25 0 1 0 830177545 32890880 5454 33554432000 134512640 137138936 4288006816 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13993/statm: 8030 5454 184 642 0 7386 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32120
[startup+0.700841 s]
/proc/loadavg: 2.00 2.01 2.00 2/273 13993
/proc/meminfo: memFree=27837900/32951124 swapFree=55664332/67111528
[pid=13993] ppid=13991 vsize=32120 CPUtime=0.69 cores=0,2,4,6
/proc/13993/stat : 13993 (bsolo) R 13991 13993 10640 0 -1 4202496 6333 0 0 0 69 0 0 0 25 0 1 0 830177545 32890880 5464 33554432000 134512640 137138936 4288006816 18446744073709551615 134542243 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13993/statm: 8030 5464 184 642 0 7386 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 32120
[startup+1.50069 s]
/proc/loadavg: 2.00 2.01 2.00 3/274 13994
/proc/meminfo: memFree=27815696/32951124 swapFree=55664332/67111528
[pid=13993] ppid=13991 vsize=32120 CPUtime=1.49 cores=0,2,4,6
/proc/13993/stat : 13993 (bsolo) R 13991 13993 10640 0 -1 4202496 6336 0 0 0 148 1 0 0 25 0 1 0 830177545 32890880 5467 33554432000 134512640 137138936 4288006816 18446744073709551615 134543059 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13993/statm: 8030 5467 184 642 0 7386 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32120
[startup+3.1004 s]
/proc/loadavg: 2.00 2.01 2.00 3/274 13994
/proc/meminfo: memFree=27814452/32951124 swapFree=55664332/67111528
[pid=13993] ppid=13991 vsize=32252 CPUtime=3.09 cores=0,2,4,6
/proc/13993/stat : 13993 (bsolo) R 13991 13993 10640 0 -1 4202496 6363 0 0 0 308 1 0 0 25 0 1 0 830177545 33026048 5494 33554432000 134512640 137138936 4288006816 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13993/statm: 8063 5494 184 642 0 7419 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 32252
[startup+6.30081 s]
/proc/loadavg: 2.00 2.01 2.00 3/274 13994
/proc/meminfo: memFree=27811224/32951124 swapFree=55664332/67111528
[pid=13993] ppid=13991 vsize=32708 CPUtime=6.29 cores=0,2,4,6
/proc/13993/stat : 13993 (bsolo) R 13991 13993 10640 0 -1 4202496 6777 0 0 0 626 3 0 0 25 0 1 0 830177545 33492992 5623 33554432000 134512640 137138936 4288006816 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13993/statm: 8177 5623 192 642 0 7533 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32708
[startup+12.7006 s]
/proc/loadavg: 2.00 2.01 2.00 3/274 13994
/proc/meminfo: memFree=27802732/32951124 swapFree=55664332/67111528
[pid=13993] ppid=13991 vsize=37052 CPUtime=12.69 cores=0,2,4,6
/proc/13993/stat : 13993 (bsolo) R 13991 13993 10640 0 -1 4202496 7864 0 0 0 1265 4 0 0 25 0 1 0 830177545 37941248 6710 33554432000 134512640 137138936 4288006816 18446744073709551615 134603337 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13993/statm: 9263 6710 192 642 0 8619 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 37052
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.00 3/274 13995
/proc/meminfo: memFree=27778920/32951124 swapFree=55664332/67111528
[pid=13993] ppid=13991 vsize=52100 CPUtime=25.49 cores=0,2,4,6
/proc/13993/stat : 13993 (bsolo) R 13991 13993 10640 0 -1 4202496 11626 0 0 0 2544 5 0 0 25 0 1 0 830177545 53350400 10472 33554432000 134512640 137138936 4288006816 18446744073709551615 134599777 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13993/statm: 13025 10472 192 642 0 12381 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 52100
[startup+51.1006 s]
/proc/loadavg: 2.00 2.01 2.00 3/274 13995
/proc/meminfo: memFree=27727308/32951124 swapFree=55664332/67111528
[pid=13993] ppid=13991 vsize=87192 CPUtime=51.09 cores=0,2,4,6
/proc/13993/stat : 13993 (bsolo) R 13991 13993 10640 0 -1 4202496 20400 0 0 0 5101 8 0 0 25 0 1 0 830177545 89284608 19246 33554432000 134512640 137138936 4288006816 18446744073709551615 135984577 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13993/statm: 21798 19246 192 642 0 21154 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 87192
[startup+102.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/274 13997
/proc/meminfo: memFree=27639052/32951124 swapFree=55664332/67111528
[pid=13993] ppid=13991 vsize=146928 CPUtime=102.3 cores=0,2,4,6
/proc/13993/stat : 13993 (bsolo) R 13991 13993 10640 0 -1 4202496 35334 0 0 0 10215 15 0 0 25 0 1 0 830177545 150454272 34180 33554432000 134512640 137138936 4288006816 18446744073709551615 134606852 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13993/statm: 36732 34180 192 642 0 36088 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 146928
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/274 13998
/proc/meminfo: memFree=27549996/32951124 swapFree=55664332/67111528
[pid=13993] ppid=13991 vsize=199816 CPUtime=162.29 cores=0,2,4,6
/proc/13993/stat : 13993 (bsolo) R 13991 13993 10640 0 -1 4202496 48556 0 0 0 16209 20 0 0 25 0 1 0 830177545 204611584 47402 33554432000 134512640 137138936 4288006816 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13993/statm: 49954 47402 192 642 0 49310 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 199816
[startup+222.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/274 14000
/proc/meminfo: memFree=27452272/32951124 swapFree=55664332/67111528
[pid=13993] ppid=13991 vsize=261088 CPUtime=222.3 cores=0,2,4,6
/proc/13993/stat : 13993 (bsolo) R 13991 13993 10640 0 -1 4202496 63874 0 0 0 22205 25 0 0 25 0 1 0 830177545 267354112 62720 33554432000 134512640 137138936 4288006816 18446744073709551615 134544582 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13993/statm: 65272 62720 192 642 0 64628 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 261088
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/274 14001
/proc/meminfo: memFree=27378836/32951124 swapFree=55664332/67111528
[pid=13993] ppid=13991 vsize=304704 CPUtime=282.3 cores=0,2,4,6
/proc/13993/stat : 13993 (bsolo) R 13991 13993 10640 0 -1 4202496 74778 0 0 0 28201 29 0 0 25 0 1 0 830177545 312016896 73624 33554432000 134512640 137138936 4288006816 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13993/statm: 76176 73624 192 642 0 75532 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 304704
[startup+342.301 s]
/proc/loadavg: 2.04 2.01 2.00 3/274 14003
/proc/meminfo: memFree=27306656/32951124 swapFree=55664332/67111528
[pid=13993] ppid=13991 vsize=344660 CPUtime=342.31 cores=0,2,4,6
/proc/13993/stat : 13993 (bsolo) R 13991 13993 10640 0 -1 4202496 84767 0 0 0 34198 33 0 0 25 0 1 0 830177545 352931840 83613 33554432000 134512640 137138936 4288006816 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13993/statm: 86165 83613 192 642 0 85521 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 344660
[startup+402.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/274 14005
/proc/meminfo: memFree=27236708/32951124 swapFree=55664332/67111528
[pid=13993] ppid=13991 vsize=379192 CPUtime=402.3 cores=0,2,4,6
/proc/13993/stat : 13993 (bsolo) R 13991 13993 10640 0 -1 4202496 93400 0 0 0 40195 35 0 0 25 0 1 0 830177545 388292608 92246 33554432000 134512640 137138936 4288006816 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13993/statm: 94798 92246 192 642 0 94154 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 379192
[startup+462.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/274 14006
/proc/meminfo: memFree=27167876/32951124 swapFree=55664332/67111528
[pid=13993] ppid=13991 vsize=413196 CPUtime=462.3 cores=0,2,4,6
/proc/13993/stat : 13993 (bsolo) R 13991 13993 10640 0 -1 4202496 101901 0 0 0 46191 39 0 0 25 0 1 0 830177545 423112704 100747 33554432000 134512640 137138936 4288006816 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13993/statm: 103299 100747 192 642 0 102655 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 413196
[startup+522.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/274 14008
/proc/meminfo: memFree=27101756/32951124 swapFree=55664332/67111528
[pid=13993] ppid=13991 vsize=447004 CPUtime=522.3 cores=0,2,4,6
/proc/13993/stat : 13993 (bsolo) R 13991 13993 10640 0 -1 4202496 110353 0 0 0 52187 43 0 0 25 0 1 0 830177545 457732096 109199 33554432000 134512640 137138936 4288006816 18446744073709551615 136502585 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13993/statm: 111751 109199 192 642 0 111107 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 447004
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/274 14009
/proc/meminfo: memFree=27041984/32951124 swapFree=55664332/67111528
[pid=13993] ppid=13991 vsize=478420 CPUtime=582.31 cores=0,2,4,6
/proc/13993/stat : 13993 (bsolo) R 13991 13993 10640 0 -1 4202496 118207 0 0 0 58184 47 0 0 25 0 1 0 830177545 489902080 117053 33554432000 134512640 137138936 4288006816 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13993/statm: 119605 117053 192 642 0 118961 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 478420
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27878032/32951124 swapFree=55664332/67111528
[pid=13993] ppid=13991 vsize=574036 CPUtime=1122.33 cores=0,2,4,6
/proc/13993/stat : 13993 (bsolo) R 13991 13993 10640 0 -1 4202496 142405 0 0 0 112160 73 0 0 25 0 1 0 830177545 587812864 140957 33554432000 134512640 137138936 4288006816 18446744073709551615 134551477 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13993/statm: 143509 140957 192 642 0 142865 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 574036
[startup+1182.3 s]
/proc/loadavg: 1.04 1.54 1.81 2/268 14042
/proc/meminfo: memFree=27877896/32951124 swapFree=55664332/67111528
[pid=13993] ppid=13991 vsize=574036 CPUtime=1182.33 cores=0,2,4,6
/proc/13993/stat : 13993 (bsolo) R 13991 13993 10640 0 -1 4202496 142405 0 0 0 118157 76 0 0 25 0 1 0 830177545 587812864 140957 33554432000 134512640 137138936 4288006816 18446744073709551615 135984589 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13993/statm: 143509 140957 192 642 0 142865 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 574036
[startup+1242.3 s]
/proc/loadavg: 1.01 1.44 1.76 2/268 14044
/proc/meminfo: memFree=27877752/32951124 swapFree=55664332/67111528
[pid=13993] ppid=13991 vsize=574036 CPUtime=1242.32 cores=0,2,4,6
/proc/13993/stat : 13993 (bsolo) R 13991 13993 10640 0 -1 4202496 142405 0 0 0 124154 78 0 0 25 0 1 0 830177545 587812864 140957 33554432000 134512640 137138936 4288006816 18446744073709551615 134606630 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13993/statm: 143509 140957 192 642 0 142865 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 574036
[startup+1302.3 s]
/proc/loadavg: 1.00 1.36 1.71 2/268 14046
/proc/meminfo: memFree=27877860/32951124 swapFree=55664332/67111528
[pid=13993] ppid=13991 vsize=574036 CPUtime=1302.33 cores=0,2,4,6
/proc/13993/stat : 13993 (bsolo) R 13991 13993 10640 0 -1 4202496 142405 0 0 0 130152 81 0 0 25 0 1 0 830177545 587812864 140957 33554432000 134512640 137138936 4288006816 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13993/statm: 143509 140957 192 642 0 142865 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 574036
[startup+1362.3 s]
/proc/loadavg: 1.00 1.29 1.66 2/268 14047
/proc/meminfo: memFree=27877468/32951124 swapFree=55664332/67111528
[pid=13993] ppid=13991 vsize=574036 CPUtime=1362.33 cores=0,2,4,6
/proc/13993/stat : 13993 (bsolo) R 13991 13993 10640 0 -1 4202496 142405 0 0 0 136149 84 0 0 25 0 1 0 830177545 587812864 140957 33554432000 134512640 137138936 4288006816 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13993/statm: 143509 140957 192 642 0 142865 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 574036
[startup+1422.3 s]
/proc/loadavg: 1.06 1.26 1.63 2/268 14049
/proc/meminfo: memFree=27877948/32951124 swapFree=55664332/67111528
[pid=13993] ppid=13991 vsize=574036 CPUtime=1422.33 cores=0,2,4,6
/proc/13993/stat : 13993 (bsolo) R 13991 13993 10640 0 -1 4202496 142405 0 0 0 142148 85 0 0 25 0 1 0 830177545 587812864 140957 33554432000 134512640 137138936 4288006816 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13993/statm: 143509 140957 192 642 0 142865 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 574036
[startup+1482.3 s]
/proc/loadavg: 1.02 1.21 1.58 2/268 14050
/proc/meminfo: memFree=27877932/32951124 swapFree=55664332/67111528
[pid=13993] ppid=13991 vsize=574036 CPUtime=1482.33 cores=0,2,4,6
/proc/13993/stat : 13993 (bsolo) R 13991 13993 10640 0 -1 4202496 142405 0 0 0 148146 87 0 0 25 0 1 0 830177545 587812864 140957 33554432000 134512640 137138936 4288006816 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13993/statm: 143509 140957 192 642 0 142865 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 574036
[startup+1542.31 s]
/proc/loadavg: 1.01 1.17 1.54 2/268 14052
/proc/meminfo: memFree=27878164/32951124 swapFree=55664332/67111528
[pid=13993] ppid=13991 vsize=574036 CPUtime=1542.35 cores=0,2,4,6
/proc/13993/stat : 13993 (bsolo) R 13991 13993 10640 0 -1 4202496 142405 0 0 0 154145 90 0 0 25 0 1 0 830177545 587812864 140957 33554432000 134512640 137138936 4288006816 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13993/statm: 143509 140957 192 642 0 142865 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 574036
[startup+1602.3 s]
/proc/loadavg: 1.00 1.14 1.51 2/268 14054
/proc/meminfo: memFree=27878260/32951124 swapFree=55664332/67111528
[pid=13993] ppid=13991 vsize=574036 CPUtime=1602.34 cores=0,2,4,6
/proc/13993/stat : 13993 (bsolo) R 13991 13993 10640 0 -1 4202496 142405 0 0 0 160141 93 0 0 25 0 1 0 830177545 587812864 140957 33554432000 134512640 137138936 4288006816 18446744073709551615 134606628 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13993/statm: 143509 140957 192 642 0 142865 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 574036
[startup+1662.3 s]
/proc/loadavg: 1.00 1.11 1.47 2/268 14055
/proc/meminfo: memFree=27877992/32951124 swapFree=55664332/67111528
[pid=13993] ppid=13991 vsize=574044 CPUtime=1662.34 cores=0,2,4,6
/proc/13993/stat : 13993 (bsolo) R 13991 13993 10640 0 -1 4202496 142407 0 0 0 166139 95 0 0 25 0 1 0 830177545 587821056 140959 33554432000 134512640 137138936 4288006816 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13993/statm: 143511 140959 192 642 0 142867 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 574044
[startup+1722.3 s]
/proc/loadavg: 1.00 1.09 1.44 2/268 14057
/proc/meminfo: memFree=27874880/32951124 swapFree=55664332/67111528
[pid=13993] ppid=13991 vsize=578256 CPUtime=1722.34 cores=0,2,4,6
/proc/13993/stat : 13993 (bsolo) R 13991 13993 10640 0 -1 4202496 143460 0 0 0 172136 98 0 0 25 0 1 0 830177545 592134144 142012 33554432000 134512640 137138936 4288006816 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13993/statm: 144564 142012 192 642 0 143920 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 578256
[startup+1782.3 s]
/proc/loadavg: 1.00 1.07 1.41 2/268 14058
/proc/meminfo: memFree=27842876/32951124 swapFree=55664332/67111528
[pid=13993] ppid=13991 vsize=609296 CPUtime=1782.35 cores=0,2,4,6
/proc/13993/stat : 13993 (bsolo) R 13991 13993 10640 0 -1 4202496 151220 0 0 0 178134 101 0 0 25 0 1 0 830177545 623919104 149772 33554432000 134512640 137138936 4288006816 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13993/statm: 152324 149772 192 642 0 151680 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 609296
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 1.00 1.07 1.41 2/268 14059
/proc/meminfo: memFree=27840892/32951124 swapFree=55664332/67111528
[pid=13993] ppid=13991 vsize=611248 CPUtime=1785.65 cores=0,2,4,6
/proc/13993/stat : 13993 (bsolo) R 13991 13993 10640 0 -1 4202496 151708 0 0 0 178464 101 0 0 25 0 1 0 830177545 625917952 150260 33554432000 134512640 137138936 4288006816 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13993/statm: 152812 150260 192 642 0 152168 0
Current children cumulated CPU time (s) 1785.65
Current children cumulated vsize (KiB) 611248
[startup+1792.01 s]
/proc/loadavg: 1.00 1.07 1.41 2/268 14059
/proc/meminfo: memFree=27836300/32951124 swapFree=55664332/67111528
[pid=13993] ppid=13991 vsize=615640 CPUtime=1792.05 cores=0,2,4,6
/proc/13993/stat : 13993 (bsolo) R 13991 13993 10640 0 -1 4202496 152806 0 0 0 179104 101 0 0 25 0 1 0 830177545 630415360 151358 33554432000 134512640 137138936 4288006816 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13993/statm: 153910 151358 192 642 0 153266 0
Current children cumulated CPU time (s) 1792.05
Current children cumulated vsize (KiB) 615640
[startup+1795.2 s]
/proc/loadavg: 1.00 1.06 1.40 2/268 14059
/proc/meminfo: memFree=27833200/32951124 swapFree=55664332/67111528
[pid=13993] ppid=13991 vsize=618564 CPUtime=1795.25 cores=0,2,4,6
/proc/13993/stat : 13993 (bsolo) R 13991 13993 10640 0 -1 4202496 153551 0 0 0 179424 101 0 0 25 0 1 0 830177545 633409536 152103 33554432000 134512640 137138936 4288006816 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13993/statm: 154641 152103 192 642 0 153997 0
Current children cumulated CPU time (s) 1795.25
Current children cumulated vsize (KiB) 618564
[startup+1796.8 s]
/proc/loadavg: 1.00 1.06 1.40 2/268 14059
/proc/meminfo: memFree=27832452/32951124 swapFree=55664332/67111528
[pid=13993] ppid=13991 vsize=619816 CPUtime=1796.84 cores=0,2,4,6
/proc/13993/stat : 13993 (bsolo) R 13991 13993 10640 0 -1 4202496 153850 0 0 0 179583 101 0 0 25 0 1 0 830177545 634691584 152402 33554432000 134512640 137138936 4288006816 18446744073709551615 134542537 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13993/statm: 154954 152402 192 642 0 154310 0
Current children cumulated CPU time (s) 1796.84
Current children cumulated vsize (KiB) 619816
[startup+1797.6 s]
/proc/loadavg: 1.00 1.06 1.40 2/268 14059
/proc/meminfo: memFree=27831708/32951124 swapFree=55664332/67111528
[pid=13993] ppid=13991 vsize=620436 CPUtime=1797.64 cores=0,2,4,6
/proc/13993/stat : 13993 (bsolo) R 13991 13993 10640 0 -1 4202496 154005 0 0 0 179663 101 0 0 25 0 1 0 830177545 635326464 152557 33554432000 134512640 137138936 4288006816 18446744073709551615 136501669 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/13993/statm: 155109 152557 192 642 0 154465 0
Current children cumulated CPU time (s) 1797.64
Current children cumulated vsize (KiB) 620436
[startup+1798 s]
/proc/loadavg: 1.00 1.06 1.40 2/268 14059
/proc/meminfo: memFree=27831708/32951124 swapFree=55664332/67111528
[pid=13993] ppid=13991 vsize=0 CPUtime=1798.02 cores=0,2,4,6
/proc/13993/stat : 13993 (bsolo) S 13991 13993 10640 0 -1 4202500 154072 0 0 0 179698 104 0 0 25 0 1 0 830177545 0 0 33554432000 0 0 0 0 0 0 2147483391 4096 16384 18446744073709551615 0 0 17 2 0 0 0
/proc/13993/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.02
Current children cumulated vsize (KiB) 0
[startup+1798.1 s]
/proc/loadavg: 1.00 1.06 1.40 2/268 14059
/proc/meminfo: memFree=27831708/32951124 swapFree=55664332/67111528
[pid=13993] ppid=13991 vsize=0 CPUtime=1798.02 cores=0,2,4,6
/proc/13993/stat : 13993 (bsolo) S 13991 13993 10640 0 -1 4202500 154072 0 0 0 179698 104 0 0 25 0 1 0 830177545 0 0 33554432000 0 0 0 0 0 0 2147483391 4096 16384 18446744073709551615 0 0 17 2 0 0 0
/proc/13993/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.02
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 1798.18
CPU time (s): 1798.03
CPU user time (s): 1796.99
CPU system time (s): 1.04184
CPU usage (%): 99.9918
Max. virtual memory (cumulated for all children) (KiB): 620704
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.99
system time used= 1.04184
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154072
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= 6
involuntary context switches= 1805
runsolver used 4.79027 second user time and 9.92349 second system time
The end