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-3463423-1307175103/watcher-3463423-1307175103 -o /tmp/evaluation-result-3463423-1307175103/solver-3463423-1307175103 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463423-1307175103.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: 1.00 1.05 1.31 2/514 16703
/proc/meminfo: memFree=21526392/32950928 swapFree=34259960/67111528
[pid=16703] ppid=16701 vsize=14912 CPUtime=0.01 cores=1,3,5,7
/proc/16703/stat : 16703 (bsolo) R 16701 16703 15618 0 -1 4202496 486 0 0 0 1 0 0 0 21 0 1 0 829107035 15269888 440 33554432000 134512640 137138936 4290788064 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16703/statm: 3728 441 217 642 0 2225 0
[startup+0.0416151 s]
/proc/loadavg: 1.00 1.05 1.31 2/514 16703
/proc/meminfo: memFree=21526392/32950928 swapFree=34259960/67111528
[pid=16703] ppid=16701 vsize=16140 CPUtime=0.04 cores=1,3,5,7
/proc/16703/stat : 16703 (bsolo) R 16701 16703 15618 0 -1 4202496 895 0 0 0 4 0 0 0 21 0 1 0 829107035 16527360 849 33554432000 134512640 137138936 4290788064 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16703/statm: 4035 849 318 642 0 2532 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 16140
[startup+0.100605 s]
/proc/loadavg: 1.00 1.05 1.31 2/514 16703
/proc/meminfo: memFree=21526392/32950928 swapFree=34259960/67111528
[pid=16703] ppid=16701 vsize=18736 CPUtime=0.09 cores=1,3,5,7
/proc/16703/stat : 16703 (bsolo) R 16701 16703 15618 0 -1 4202496 1793 0 0 0 9 0 0 0 21 0 1 0 829107035 19185664 1747 33554432000 134512640 137138936 4290788064 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16703/statm: 4684 1747 541 642 0 3181 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18736
[startup+0.300578 s]
/proc/loadavg: 1.00 1.05 1.31 2/514 16703
/proc/meminfo: memFree=21526392/32950928 swapFree=34259960/67111528
[pid=16703] ppid=16701 vsize=30044 CPUtime=0.29 cores=1,3,5,7
/proc/16703/stat : 16703 (bsolo) R 16701 16703 15618 0 -1 4202496 5968 0 0 0 28 1 0 0 22 0 1 0 829107035 30765056 5063 33554432000 134512640 137138936 4290788064 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16703/statm: 7511 5070 185 642 0 6867 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30044
[startup+0.700497 s]
/proc/loadavg: 1.00 1.05 1.31 2/514 16703
/proc/meminfo: memFree=21526392/32950928 swapFree=34259960/67111528
[pid=16703] ppid=16701 vsize=30968 CPUtime=0.69 cores=1,3,5,7
/proc/16703/stat : 16703 (bsolo) R 16701 16703 15618 0 -1 4202496 6188 0 0 0 67 2 0 0 24 0 1 0 829107035 31711232 5283 33554432000 134512640 137138936 4290788064 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16703/statm: 7742 5283 185 642 0 7098 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30968
[startup+1.50034 s]
/proc/loadavg: 1.00 1.05 1.31 3/513 16704
/proc/meminfo: memFree=21472636/32950928 swapFree=34259960/67111528
[pid=16703] ppid=16701 vsize=30968 CPUtime=1.49 cores=1,3,5,7
/proc/16703/stat : 16703 (bsolo) R 16701 16703 15618 0 -1 4202496 6188 0 0 0 145 4 0 0 25 0 1 0 829107035 31711232 5283 33554432000 134512640 137138936 4290788064 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16703/statm: 7742 5283 185 642 0 7098 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 30968
[startup+3.10102 s]
/proc/loadavg: 1.00 1.05 1.31 3/518 16710
/proc/meminfo: memFree=21433600/32950928 swapFree=34259960/67111528
[pid=16703] ppid=16701 vsize=30764 CPUtime=3.09 cores=1,3,5,7
/proc/16703/stat : 16703 (bsolo) R 16701 16703 15618 0 -1 4202496 7516 0 0 0 300 9 0 0 25 0 1 0 829107035 31502336 5266 33554432000 134512640 137138936 4290788064 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16703/statm: 7691 5266 192 642 0 7047 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30764
[startup+6.30038 s]
/proc/loadavg: 1.08 1.06 1.31 3/518 16710
/proc/meminfo: memFree=21262340/32950928 swapFree=34259960/67111528
[pid=16703] ppid=16701 vsize=44652 CPUtime=6.29 cores=1,3,5,7
/proc/16703/stat : 16703 (bsolo) R 16701 16703 15618 0 -1 4202496 10988 0 0 0 618 11 0 0 25 0 1 0 829107035 45723648 8738 33554432000 134512640 137138936 4290788064 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16703/statm: 11163 8738 192 642 0 10519 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 44652
[startup+12.7011 s]
/proc/loadavg: 1.15 1.08 1.31 3/518 16711
/proc/meminfo: memFree=21235464/32950928 swapFree=34259960/67111528
[pid=16703] ppid=16701 vsize=68760 CPUtime=12.69 cores=1,3,5,7
/proc/16703/stat : 16703 (bsolo) R 16701 16703 15618 0 -1 4202496 16997 0 0 0 1256 13 0 0 25 0 1 0 829107035 70410240 14747 33554432000 134512640 137138936 4290788064 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16703/statm: 17190 14747 192 642 0 16546 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 68760
[startup+25.5005 s]
/proc/loadavg: 1.34 1.12 1.32 3/518 16711
/proc/meminfo: memFree=21203020/32950928 swapFree=34259960/67111528
[pid=16703] ppid=16701 vsize=100824 CPUtime=25.49 cores=1,3,5,7
/proc/16703/stat : 16703 (bsolo) R 16701 16703 15618 0 -1 4202496 25021 0 0 0 2532 17 0 0 25 0 1 0 829107035 103243776 22771 33554432000 134512640 137138936 4290788064 18446744073709551615 135984589 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16703/statm: 25206 22771 192 642 0 24562 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 100824
[startup+51.1005 s]
/proc/loadavg: 1.56 1.19 1.34 3/518 16712
/proc/meminfo: memFree=21154812/32950928 swapFree=34259960/67111528
[pid=16703] ppid=16701 vsize=148636 CPUtime=51.09 cores=1,3,5,7
/proc/16703/stat : 16703 (bsolo) R 16701 16703 15618 0 -1 4202496 36986 0 0 0 5086 23 0 0 25 0 1 0 829107035 152203264 34736 33554432000 134512640 137138936 4290788064 18446744073709551615 134542214 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16703/statm: 37159 34736 192 642 0 36515 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 148636
[startup+102.32 s]
/proc/loadavg: 1.81 1.31 1.37 3/518 16713
/proc/meminfo: memFree=21098632/32950928 swapFree=34259960/67111528
[pid=16703] ppid=16701 vsize=203368 CPUtime=102.31 cores=1,3,5,7
/proc/16703/stat : 16703 (bsolo) R 16701 16703 15618 0 -1 4202496 50751 0 0 0 10202 29 0 0 25 0 1 0 829107035 208248832 48398 33554432000 134512640 137138936 4290788064 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16703/statm: 50842 48398 192 642 0 50198 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 203368
[startup+162.3 s]
/proc/loadavg: 1.93 1.43 1.41 3/518 16742
/proc/meminfo: memFree=21081112/32950928 swapFree=34259960/67111528
[pid=16703] ppid=16701 vsize=203368 CPUtime=162.29 cores=1,3,5,7
/proc/16703/stat : 16703 (bsolo) R 16701 16703 15618 0 -1 4202496 50751 0 0 0 16196 33 0 0 25 0 1 0 829107035 208248832 48398 33554432000 134512640 137138936 4290788064 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16703/statm: 50842 48398 192 642 0 50198 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 203368
[startup+222.3 s]
/proc/loadavg: 1.97 1.54 1.44 3/518 16743
/proc/meminfo: memFree=21048260/32950928 swapFree=34259960/67111528
[pid=16703] ppid=16701 vsize=237548 CPUtime=222.3 cores=1,3,5,7
/proc/16703/stat : 16703 (bsolo) R 16701 16703 15618 0 -1 4202496 59302 0 0 0 22191 39 0 0 25 0 1 0 829107035 243249152 56949 33554432000 134512640 137138936 4290788064 18446744073709551615 134618950 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16703/statm: 59387 56949 192 642 0 58743 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 237548
[startup+282.3 s]
/proc/loadavg: 1.99 1.62 1.47 3/518 16745
/proc/meminfo: memFree=21028976/32950928 swapFree=34259960/67111528
[pid=16703] ppid=16701 vsize=256772 CPUtime=282.3 cores=1,3,5,7
/proc/16703/stat : 16703 (bsolo) R 16701 16703 15618 0 -1 4202496 64230 0 0 0 28185 45 0 0 25 0 1 0 829107035 262934528 61753 33554432000 134512640 137138936 4290788064 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16703/statm: 64193 61753 192 642 0 63549 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 256772
[startup+342.3 s]
/proc/loadavg: 1.99 1.68 1.50 3/518 16827
/proc/meminfo: memFree=20931468/32950928 swapFree=34259960/67111528
[pid=16703] ppid=16701 vsize=256772 CPUtime=342.31 cores=1,3,5,7
/proc/16703/stat : 16703 (bsolo) R 16701 16703 15618 0 -1 4202496 64230 0 0 0 34182 49 0 0 25 0 1 0 829107035 262934528 61753 33554432000 134512640 137138936 4290788064 18446744073709551615 134542149 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16703/statm: 64193 61753 192 642 0 63549 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 256772
[startup+402.3 s]
/proc/loadavg: 1.99 1.74 1.53 3/518 16829
/proc/meminfo: memFree=20925276/32950928 swapFree=34259960/67111528
[pid=16703] ppid=16701 vsize=256772 CPUtime=402.31 cores=1,3,5,7
/proc/16703/stat : 16703 (bsolo) R 16701 16703 15618 0 -1 4202496 64230 0 0 0 40178 53 0 0 25 0 1 0 829107035 262934528 61753 33554432000 134512640 137138936 4290788064 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16703/statm: 64193 61753 192 642 0 63549 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 256772
[startup+462.301 s]
/proc/loadavg: 2.04 1.80 1.56 3/518 16831
/proc/meminfo: memFree=20893272/32950928 swapFree=34259960/67111528
[pid=16703] ppid=16701 vsize=288456 CPUtime=462.31 cores=1,3,5,7
/proc/16703/stat : 16703 (bsolo) R 16701 16703 15618 0 -1 4202496 72295 0 0 0 46173 58 0 0 25 0 1 0 829107035 295378944 69682 33554432000 134512640 137138936 4290788064 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16703/statm: 72114 69682 192 642 0 71470 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 288456
[startup+522.301 s]
/proc/loadavg: 2.05 1.85 1.59 4/518 16832
/proc/meminfo: memFree=20882200/32950928 swapFree=34259960/67111528
[pid=16703] ppid=16701 vsize=288456 CPUtime=522.32 cores=1,3,5,7
/proc/16703/stat : 16703 (bsolo) R 16701 16703 15618 0 -1 4202496 72295 0 0 0 52170 62 0 0 25 0 1 0 829107035 295378944 69682 33554432000 134512640 137138936 4290788064 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16703/statm: 72114 69682 192 642 0 71470 0
Current children cumulated CPU time (s) 522.32
Current children cumulated vsize (KiB) 288456
[startup+582.301 s]
/proc/loadavg: 2.05 1.89 1.62 3/518 16834
/proc/meminfo: memFree=20870280/32950928 swapFree=34259960/67111528
[pid=16703] ppid=16701 vsize=288456 CPUtime=582.31 cores=1,3,5,7
/proc/16703/stat : 16703 (bsolo) R 16701 16703 15618 0 -1 4202496 72295 0 0 0 58167 64 0 0 25 0 1 0 829107035 295378944 69682 33554432000 134512640 137138936 4290788064 18446744073709551615 134542817 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16703/statm: 72114 69682 192 642 0 71470 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 288456
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=20604028/32950928 swapFree=34259960/67111528
[pid=16703] ppid=16701 vsize=351440 CPUtime=1062.34 cores=1,3,5,7
/proc/16703/stat : 16703 (bsolo) R 16701 16703 15618 0 -1 4202496 88195 0 0 0 106141 93 0 0 25 0 1 0 829107035 359874560 85432 33554432000 134512640 137138936 4290788064 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16703/statm: 87860 85432 192 642 0 87216 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 351440
[startup+1122.3 s]
/proc/loadavg: 2.03 2.00 1.78 3/518 16848
/proc/meminfo: memFree=20601272/32950928 swapFree=34259960/67111528
[pid=16703] ppid=16701 vsize=351440 CPUtime=1122.34 cores=1,3,5,7
/proc/16703/stat : 16703 (bsolo) R 16701 16703 15618 0 -1 4202496 88345 0 0 0 112138 96 0 0 25 0 1 0 829107035 359874560 85432 33554432000 134512640 137138936 4290788064 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16703/statm: 87860 85432 192 642 0 87216 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 351440
[startup+1182.3 s]
/proc/loadavg: 2.01 2.00 1.79 3/518 16850
/proc/meminfo: memFree=20583632/32950928 swapFree=34259960/67111528
[pid=16703] ppid=16701 vsize=351440 CPUtime=1182.34 cores=1,3,5,7
/proc/16703/stat : 16703 (bsolo) R 16701 16703 15618 0 -1 4202496 88345 0 0 0 118135 99 0 0 25 0 1 0 829107035 359874560 85432 33554432000 134512640 137138936 4290788064 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16703/statm: 87860 85432 192 642 0 87216 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 351440
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.80 4/518 16851
/proc/meminfo: memFree=20573564/32950928 swapFree=34259960/67111528
[pid=16703] ppid=16701 vsize=351440 CPUtime=1242.35 cores=1,3,5,7
/proc/16703/stat : 16703 (bsolo) R 16701 16703 15618 0 -1 4202496 88345 0 0 0 124132 103 0 0 25 0 1 0 829107035 359874560 85432 33554432000 134512640 137138936 4290788064 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16703/statm: 87860 85432 192 642 0 87216 0
Current children cumulated CPU time (s) 1242.35
Current children cumulated vsize (KiB) 351440
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.82 4/518 16853
/proc/meminfo: memFree=20567460/32950928 swapFree=34259960/67111528
[pid=16703] ppid=16701 vsize=351440 CPUtime=1302.36 cores=1,3,5,7
/proc/16703/stat : 16703 (bsolo) R 16701 16703 15618 0 -1 4202496 88345 0 0 0 130131 105 0 0 25 0 1 0 829107035 359874560 85432 33554432000 134512640 137138936 4290788064 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16703/statm: 87860 85432 192 642 0 87216 0
Current children cumulated CPU time (s) 1302.36
Current children cumulated vsize (KiB) 351440
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.82 3/518 16855
/proc/meminfo: memFree=20551912/32950928 swapFree=34259960/67111528
[pid=16703] ppid=16701 vsize=351440 CPUtime=1362.36 cores=1,3,5,7
/proc/16703/stat : 16703 (bsolo) R 16701 16703 15618 0 -1 4202496 88345 0 0 0 136128 108 0 0 25 0 1 0 829107035 359874560 85432 33554432000 134512640 137138936 4290788064 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16703/statm: 87860 85432 192 642 0 87216 0
Current children cumulated CPU time (s) 1362.36
Current children cumulated vsize (KiB) 351440
[startup+1422.32 s]
/proc/loadavg: 2.00 2.00 1.83 3/518 16856
/proc/meminfo: memFree=20531792/32950928 swapFree=34259960/67111528
[pid=16703] ppid=16701 vsize=362844 CPUtime=1422.38 cores=1,3,5,7
/proc/16703/stat : 16703 (bsolo) R 16701 16703 15618 0 -1 4202496 91171 0 0 0 142127 111 0 0 25 0 1 0 829107035 371552256 88258 33554432000 134512640 137138936 4290788064 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16703/statm: 90711 88258 192 642 0 90067 0
Current children cumulated CPU time (s) 1422.38
Current children cumulated vsize (KiB) 362844
[startup+1482.3 s]
/proc/loadavg: 2.03 2.01 1.84 3/518 16858
/proc/meminfo: memFree=20516872/32950928 swapFree=34259960/67111528
[pid=16703] ppid=16701 vsize=368148 CPUtime=1482.36 cores=1,3,5,7
/proc/16703/stat : 16703 (bsolo) R 16701 16703 15618 0 -1 4202496 92665 0 0 0 148121 115 0 0 25 0 1 0 829107035 376983552 89587 33554432000 134512640 137138936 4290788064 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16703/statm: 92037 89587 192 642 0 91393 0
Current children cumulated CPU time (s) 1482.36
Current children cumulated vsize (KiB) 368148
[startup+1542.3 s]
/proc/loadavg: 2.17 2.04 1.86 4/518 16859
/proc/meminfo: memFree=20505192/32950928 swapFree=34259960/67111528
[pid=16703] ppid=16701 vsize=368148 CPUtime=1542.36 cores=1,3,5,7
/proc/16703/stat : 16703 (bsolo) R 16701 16703 15618 0 -1 4202496 92665 0 0 0 154118 118 0 0 25 0 1 0 829107035 376983552 89587 33554432000 134512640 137138936 4290788064 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16703/statm: 92037 89587 192 642 0 91393 0
Current children cumulated CPU time (s) 1542.36
Current children cumulated vsize (KiB) 368148
[startup+1602.3 s]
/proc/loadavg: 2.06 2.03 1.86 4/518 16861
/proc/meminfo: memFree=20494740/32950928 swapFree=34259960/67111528
[pid=16703] ppid=16701 vsize=368148 CPUtime=1602.37 cores=1,3,5,7
/proc/16703/stat : 16703 (bsolo) R 16701 16703 15618 0 -1 4202496 92665 0 0 0 160117 120 0 0 25 0 1 0 829107035 376983552 89587 33554432000 134512640 137138936 4290788064 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16703/statm: 92037 89587 192 642 0 91393 0
Current children cumulated CPU time (s) 1602.37
Current children cumulated vsize (KiB) 368148
[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 1.87 4/518 16863
/proc/meminfo: memFree=20478952/32950928 swapFree=34259960/67111528
[pid=16703] ppid=16701 vsize=368148 CPUtime=1662.37 cores=1,3,5,7
/proc/16703/stat : 16703 (bsolo) R 16701 16703 15618 0 -1 4202496 92665 0 0 0 166115 122 0 0 25 0 1 0 829107035 376983552 89587 33554432000 134512640 137138936 4290788064 18446744073709551615 134606680 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16703/statm: 92037 89587 192 642 0 91393 0
Current children cumulated CPU time (s) 1662.37
Current children cumulated vsize (KiB) 368148
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 1.87 3/518 16864
/proc/meminfo: memFree=20471604/32950928 swapFree=34259960/67111528
[pid=16703] ppid=16701 vsize=368148 CPUtime=1722.37 cores=1,3,5,7
/proc/16703/stat : 16703 (bsolo) R 16701 16703 15618 0 -1 4202496 92665 0 0 0 172113 124 0 0 25 0 1 0 829107035 376983552 89587 33554432000 134512640 137138936 4290788064 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16703/statm: 92037 89587 192 642 0 91393 0
Current children cumulated CPU time (s) 1722.37
Current children cumulated vsize (KiB) 368148
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.88 3/518 16866
/proc/meminfo: memFree=20459400/32950928 swapFree=34259960/67111528
[pid=16703] ppid=16701 vsize=368148 CPUtime=1782.37 cores=1,3,5,7
/proc/16703/stat : 16703 (bsolo) R 16701 16703 15618 0 -1 4202496 92665 0 0 0 178111 126 0 0 25 0 1 0 829107035 376983552 89587 33554432000 134512640 137138936 4290788064 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16703/statm: 92037 89587 192 642 0 91393 0
Current children cumulated CPU time (s) 1782.37
Current children cumulated vsize (KiB) 368148
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.01 1.88 3/518 16866
/proc/meminfo: memFree=20462140/32950928 swapFree=34259960/67111528
[pid=16703] ppid=16701 vsize=368148 CPUtime=1785.57 cores=1,3,5,7
/proc/16703/stat : 16703 (bsolo) R 16701 16703 15618 0 -1 4202496 92665 0 0 0 178431 126 0 0 25 0 1 0 829107035 376983552 89587 33554432000 134512640 137138936 4290788064 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16703/statm: 92037 89587 192 642 0 91393 0
Current children cumulated CPU time (s) 1785.57
Current children cumulated vsize (KiB) 368148
[startup+1791.92 s]
/proc/loadavg: 2.00 2.01 1.88 3/518 16866
/proc/meminfo: memFree=20461396/32950928 swapFree=34259960/67111528
[pid=16703] ppid=16701 vsize=368148 CPUtime=1791.99 cores=1,3,5,7
/proc/16703/stat : 16703 (bsolo) R 16701 16703 15618 0 -1 4202496 92665 0 0 0 179073 126 0 0 25 0 1 0 829107035 376983552 89587 33554432000 134512640 137138936 4290788064 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16703/statm: 92037 89587 192 642 0 91393 0
Current children cumulated CPU time (s) 1791.99
Current children cumulated vsize (KiB) 368148
[startup+1795.1 s]
/proc/loadavg: 2.00 2.01 1.88 3/518 16866
/proc/meminfo: memFree=20460900/32950928 swapFree=34259960/67111528
[pid=16703] ppid=16701 vsize=368148 CPUtime=1795.19 cores=1,3,5,7
/proc/16703/stat : 16703 (bsolo) R 16701 16703 15618 0 -1 4202496 92665 0 0 0 179393 126 0 0 25 0 1 0 829107035 376983552 89587 33554432000 134512640 137138936 4290788064 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16703/statm: 92037 89587 192 642 0 91393 0
Current children cumulated CPU time (s) 1795.19
Current children cumulated vsize (KiB) 368148
[startup+1796.7 s]
/proc/loadavg: 2.00 2.01 1.88 4/518 16866
/proc/meminfo: memFree=20455692/32950928 swapFree=34259960/67111528
[pid=16703] ppid=16701 vsize=368148 CPUtime=1796.77 cores=1,3,5,7
/proc/16703/stat : 16703 (bsolo) R 16701 16703 15618 0 -1 4202496 92665 0 0 0 179551 126 0 0 25 0 1 0 829107035 376983552 89587 33554432000 134512640 137138936 4290788064 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16703/statm: 92037 89587 192 642 0 91393 0
Current children cumulated CPU time (s) 1796.77
Current children cumulated vsize (KiB) 368148
[startup+1797.5 s]
/proc/loadavg: 2.00 2.01 1.88 3/518 16866
/proc/meminfo: memFree=20452964/32950928 swapFree=34259960/67111528
[pid=16703] ppid=16701 vsize=368148 CPUtime=1797.57 cores=1,3,5,7
/proc/16703/stat : 16703 (bsolo) R 16701 16703 15618 0 -1 4202496 92665 0 0 0 179631 126 0 0 25 0 1 0 829107035 376983552 89587 33554432000 134512640 137138936 4290788064 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16703/statm: 92037 89587 192 642 0 91393 0
Current children cumulated CPU time (s) 1797.57
Current children cumulated vsize (KiB) 368148
[startup+1797.9 s]
/proc/loadavg: 2.00 2.01 1.88 3/518 16866
/proc/meminfo: memFree=20452964/32950928 swapFree=34259960/67111528
[pid=16703] ppid=16701 vsize=368148 CPUtime=1797.97 cores=1,3,5,7
/proc/16703/stat : 16703 (bsolo) R 16701 16703 15618 0 -1 4202496 92665 0 0 0 179671 126 0 0 25 0 1 0 829107035 376983552 89587 33554432000 134512640 137138936 4290788064 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/16703/statm: 92037 89587 192 642 0 91393 0
Current children cumulated CPU time (s) 1797.97
Current children cumulated vsize (KiB) 368148
Child status: 0
Real time (s): 1797.94
CPU time (s): 1798.02
CPU user time (s): 1796.73
CPU system time (s): 1.2848
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 368808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.73
system time used= 1.2848
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92665
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= 2680
runsolver used 8.68168 second user time and 22.2486 second system time
The end