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-3463204-1307177615/watcher-3463204-1307177615 -o /tmp/evaluation-result-3463204-1307177615/solver-3463204-1307177615 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463204-1307177615.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 2/446 23931
/proc/meminfo: memFree=31308292/32950928 swapFree=34365992/67111528
[pid=23931] ppid=23929 vsize=12304 CPUtime=0 cores=0,2,4,6
/proc/23931/stat : 23931 (bsolo) R 23929 23931 22425 0 -1 4202496 469 0 0 0 0 0 0 0 25 0 1 0 829360298 12599296 424 33554432000 134512640 137138936 4292924976 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23931/statm: 3076 424 205 642 0 2192 0
[startup+0.106291 s]
/proc/loadavg: 2.00 2.00 2.00 2/446 23931
/proc/meminfo: memFree=31308292/32950928 swapFree=34365992/67111528
[pid=23931] ppid=23929 vsize=18080 CPUtime=0.09 cores=0,2,4,6
/proc/23931/stat : 23931 (bsolo) R 23929 23931 22425 0 -1 4202496 2353 0 0 0 9 0 0 0 25 0 1 0 829360298 18513920 2068 33554432000 134512640 137138936 4292924976 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23931/statm: 4520 2068 185 642 0 3876 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18080
[startup+0.201269 s]
/proc/loadavg: 2.00 2.00 2.00 2/446 23931
/proc/meminfo: memFree=31308292/32950928 swapFree=34365992/67111528
[pid=23931] ppid=23929 vsize=18080 CPUtime=0.19 cores=0,2,4,6
/proc/23931/stat : 23931 (bsolo) R 23929 23931 22425 0 -1 4202496 2353 0 0 0 18 1 0 0 25 0 1 0 829360298 18513920 2068 33554432000 134512640 137138936 4292924976 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23931/statm: 4520 2068 185 642 0 3876 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 18080
[startup+0.300255 s]
/proc/loadavg: 2.00 2.00 2.00 2/446 23931
/proc/meminfo: memFree=31308292/32950928 swapFree=34365992/67111528
[pid=23931] ppid=23929 vsize=17156 CPUtime=0.29 cores=0,2,4,6
/proc/23931/stat : 23931 (bsolo) R 23929 23931 22425 0 -1 4202496 2431 0 0 0 28 1 0 0 25 0 1 0 829360298 17567744 1845 33554432000 134512640 137138936 4292924976 18446744073709551615 136700814 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23931/statm: 4289 1845 192 642 0 3645 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17156
[startup+0.701181 s]
/proc/loadavg: 2.00 2.00 2.00 2/446 23931
/proc/meminfo: memFree=31308292/32950928 swapFree=34365992/67111528
[pid=23931] ppid=23929 vsize=22664 CPUtime=0.69 cores=0,2,4,6
/proc/23931/stat : 23931 (bsolo) R 23929 23931 22425 0 -1 4202496 3810 0 0 0 67 2 0 0 25 0 1 0 829360298 23207936 3224 33554432000 134512640 137138936 4292924976 18446744073709551615 134602746 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23931/statm: 5666 3224 192 642 0 5022 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22664
[startup+1.50093 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 23932
/proc/meminfo: memFree=31290556/32950928 swapFree=34365992/67111528
[pid=23931] ppid=23929 vsize=32668 CPUtime=1.49 cores=0,2,4,6
/proc/23931/stat : 23931 (bsolo) R 23929 23931 22425 0 -1 4202496 6314 0 0 0 147 2 0 0 25 0 1 0 829360298 33452032 5728 33554432000 134512640 137138936 4292924976 18446744073709551615 134552471 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23931/statm: 8167 5728 192 642 0 7523 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32668
[startup+3.10076 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 23932
/proc/meminfo: memFree=31276344/32950928 swapFree=34365992/67111528
[pid=23931] ppid=23929 vsize=51896 CPUtime=3.09 cores=0,2,4,6
/proc/23931/stat : 23931 (bsolo) R 23929 23931 22425 0 -1 4202496 11133 0 0 0 306 3 0 0 25 0 1 0 829360298 53141504 10547 33554432000 134512640 137138936 4292924976 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23931/statm: 12974 10547 192 642 0 12330 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 51896
[startup+6.3002 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 23932
/proc/meminfo: memFree=31241664/32950928 swapFree=34365992/67111528
[pid=23931] ppid=23929 vsize=84472 CPUtime=6.29 cores=0,2,4,6
/proc/23931/stat : 23931 (bsolo) R 23929 23931 22425 0 -1 4202496 19277 0 0 0 624 5 0 0 25 0 1 0 829360298 86499328 18691 33554432000 134512640 137138936 4292924976 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23931/statm: 21118 18691 192 642 0 20474 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 84472
[startup+12.7011 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 23932
/proc/meminfo: memFree=31175348/32950928 swapFree=34365992/67111528
[pid=23931] ppid=23929 vsize=146232 CPUtime=12.69 cores=0,2,4,6
/proc/23931/stat : 23931 (bsolo) R 23929 23931 22425 0 -1 4202496 34706 0 0 0 1261 8 0 0 25 0 1 0 829360298 149741568 34120 33554432000 134512640 137138936 4292924976 18446744073709551615 134551808 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23931/statm: 36558 34120 192 642 0 35914 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 146232
[startup+25.5008 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 23933
/proc/meminfo: memFree=31072544/32950928 swapFree=34365992/67111528
[pid=23931] ppid=23929 vsize=244892 CPUtime=25.49 cores=0,2,4,6
/proc/23931/stat : 23931 (bsolo) R 23929 23931 22425 0 -1 4202496 59366 0 0 0 2536 13 0 0 25 0 1 0 829360298 250769408 58780 33554432000 134512640 137138936 4292924976 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23931/statm: 61223 58780 192 642 0 60579 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 244892
[startup+51.1013 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 23933
/proc/meminfo: memFree=30968012/32950928 swapFree=34365992/67111528
[pid=23931] ppid=23929 vsize=345904 CPUtime=51.09 cores=0,2,4,6
/proc/23931/stat : 23931 (bsolo) R 23929 23931 22425 0 -1 4202496 84666 0 0 0 5091 18 0 0 25 0 1 0 829360298 354205696 84045 33554432000 134512640 137138936 4292924976 18446744073709551615 136504179 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23931/statm: 86476 84045 192 642 0 85832 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 345904
[startup+102.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 23935
/proc/meminfo: memFree=30936600/32950928 swapFree=34365992/67111528
[pid=23931] ppid=23929 vsize=378032 CPUtime=102.3 cores=0,2,4,6
/proc/23931/stat : 23931 (bsolo) R 23929 23931 22425 0 -1 4202496 92715 0 0 0 10208 22 0 0 25 0 1 0 829360298 387104768 92056 33554432000 134512640 137138936 4292924976 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23931/statm: 94508 92056 192 642 0 93864 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 378032
[startup+162.301 s]
/proc/loadavg: 2.06 2.02 2.00 3/447 23936
/proc/meminfo: memFree=30881152/32950928 swapFree=34365992/67111528
[pid=23931] ppid=23929 vsize=413180 CPUtime=162.3 cores=0,2,4,6
/proc/23931/stat : 23931 (bsolo) R 23929 23931 22425 0 -1 4202496 101558 0 0 0 16204 26 0 0 25 0 1 0 829360298 423096320 100857 33554432000 134512640 137138936 4292924976 18446744073709551615 134551922 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23931/statm: 103295 100857 192 642 0 102651 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 413180
[startup+222.317 s]
/proc/loadavg: 2.22 2.07 2.02 3/447 23938
/proc/meminfo: memFree=30853216/32950928 swapFree=34365992/67111528
[pid=23931] ppid=23929 vsize=436652 CPUtime=222.32 cores=0,2,4,6
/proc/23931/stat : 23931 (bsolo) R 23929 23931 22425 0 -1 4202496 107427 0 0 0 22203 29 0 0 25 0 1 0 829360298 447131648 106726 33554432000 134512640 137138936 4292924976 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23931/statm: 109163 106726 192 642 0 108519 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 436652
[startup+282.301 s]
/proc/loadavg: 2.08 2.05 2.01 3/447 23940
/proc/meminfo: memFree=30804476/32950928 swapFree=34365992/67111528
[pid=23931] ppid=23929 vsize=452152 CPUtime=282.3 cores=0,2,4,6
/proc/23931/stat : 23931 (bsolo) R 23929 23931 22425 0 -1 4202496 111350 0 0 0 28198 32 0 0 25 0 1 0 829360298 463003648 110603 33554432000 134512640 137138936 4292924976 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23931/statm: 113038 110603 192 642 0 112394 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 452152
[startup+342.301 s]
/proc/loadavg: 2.03 2.04 2.01 3/447 23941
/proc/meminfo: memFree=30720748/32950928 swapFree=34365992/67111528
[pid=23931] ppid=23929 vsize=495568 CPUtime=342.3 cores=0,2,4,6
/proc/23931/stat : 23931 (bsolo) R 23929 23931 22425 0 -1 4202496 122262 0 0 0 34195 35 0 0 25 0 1 0 829360298 507461632 121464 33554432000 134512640 137138936 4292924976 18446744073709551615 134577137 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23931/statm: 123892 121464 192 642 0 123248 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 495568
[startup+402.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/447 23943
/proc/meminfo: memFree=30697280/32950928 swapFree=34365992/67111528
[pid=23931] ppid=23929 vsize=495568 CPUtime=402.3 cores=0,2,4,6
/proc/23931/stat : 23931 (bsolo) R 23929 23931 22425 0 -1 4202496 122262 0 0 0 40193 37 0 0 25 0 1 0 829360298 507461632 121464 33554432000 134512640 137138936 4292924976 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23931/statm: 123892 121464 192 642 0 123248 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 495568
[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/447 23953
/proc/meminfo: memFree=30687308/32950928 swapFree=34365992/67111528
[pid=23931] ppid=23929 vsize=495964 CPUtime=462.3 cores=0,2,4,6
/proc/23931/stat : 23931 (bsolo) R 23929 23931 22425 0 -1 4202496 122334 0 0 0 46191 39 0 0 25 0 1 0 829360298 507867136 121536 33554432000 134512640 137138936 4292924976 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23931/statm: 123991 121536 192 642 0 123347 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 495964
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/447 23955
/proc/meminfo: memFree=30653060/32950928 swapFree=34365992/67111528
[pid=23931] ppid=23929 vsize=495964 CPUtime=522.3 cores=0,2,4,6
/proc/23931/stat : 23931 (bsolo) R 23929 23931 22425 0 -1 4202496 122334 0 0 0 52189 41 0 0 25 0 1 0 829360298 507867136 121536 33554432000 134512640 137138936 4292924976 18446744073709551615 134542319 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23931/statm: 123991 121536 192 642 0 123347 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 495964
[startup+582.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 23957
/proc/meminfo: memFree=30559416/32950928 swapFree=34365992/67111528
[pid=23931] ppid=23929 vsize=543356 CPUtime=582.31 cores=0,2,4,6
/proc/23931/stat : 23931 (bsolo) R 23929 23931 22425 0 -1 4202496 134268 0 0 0 58185 46 0 0 25 0 1 0 829360298 556396544 133414 33554432000 134512640 137138936 4292924976 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23931/statm: 135839 133414 192 642 0 135195 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 543356
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=30360292/32950928 swapFree=34365992/67111528
[pid=23931] ppid=23929 vsize=595028 CPUtime=1122.32 cores=0,2,4,6
/proc/23931/stat : 23931 (bsolo) R 23929 23931 22425 0 -1 4202496 147236 0 0 0 112164 68 0 0 25 0 1 0 829360298 609308672 146321 33554432000 134512640 137138936 4292924976 18446744073709551615 134542503 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23931/statm: 148757 146321 192 642 0 148113 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 595028
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 23976
/proc/meminfo: memFree=30358292/32950928 swapFree=34365992/67111528
[pid=23931] ppid=23929 vsize=595028 CPUtime=1182.31 cores=0,2,4,6
/proc/23931/stat : 23931 (bsolo) R 23929 23931 22425 0 -1 4202496 147236 0 0 0 118161 70 0 0 25 0 1 0 829360298 609308672 146321 33554432000 134512640 137138936 4292924976 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23931/statm: 148757 146321 192 642 0 148113 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 595028
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 23977
/proc/meminfo: memFree=30350336/32950928 swapFree=34365992/67111528
[pid=23931] ppid=23929 vsize=595028 CPUtime=1242.32 cores=0,2,4,6
/proc/23931/stat : 23931 (bsolo) R 23929 23931 22425 0 -1 4202496 147236 0 0 0 124160 72 0 0 25 0 1 0 829360298 609308672 146321 33554432000 134512640 137138936 4292924976 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23931/statm: 148757 146321 192 642 0 148113 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 595028
[startup+1302.3 s]
/proc/loadavg: 2.12 2.03 2.01 3/447 23979
/proc/meminfo: memFree=30340140/32950928 swapFree=34365992/67111528
[pid=23931] ppid=23929 vsize=595028 CPUtime=1302.32 cores=0,2,4,6
/proc/23931/stat : 23931 (bsolo) R 23929 23931 22425 0 -1 4202496 147236 0 0 0 130158 74 0 0 25 0 1 0 829360298 609308672 146321 33554432000 134512640 137138936 4292924976 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23931/statm: 148757 146321 192 642 0 148113 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 595028
[startup+1362.3 s]
/proc/loadavg: 2.18 2.07 2.02 3/447 23980
/proc/meminfo: memFree=30314948/32950928 swapFree=34365992/67111528
[pid=23931] ppid=23929 vsize=595028 CPUtime=1362.33 cores=0,2,4,6
/proc/23931/stat : 23931 (bsolo) R 23929 23931 22425 0 -1 4202496 147236 0 0 0 136156 77 0 0 25 0 1 0 829360298 609308672 146321 33554432000 134512640 137138936 4292924976 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23931/statm: 148757 146321 192 642 0 148113 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 595028
[startup+1422.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/447 23982
/proc/meminfo: memFree=30235668/32950928 swapFree=34365992/67111528
[pid=23931] ppid=23929 vsize=652096 CPUtime=1422.34 cores=0,2,4,6
/proc/23931/stat : 23931 (bsolo) R 23929 23931 22425 0 -1 4202496 161580 0 0 0 142152 82 0 0 25 0 1 0 829360298 667746304 160598 33554432000 134512640 137138936 4292924976 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23931/statm: 163024 160598 192 642 0 162380 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 652096
[startup+1482.3 s]
/proc/loadavg: 2.02 2.04 2.01 3/447 23984
/proc/meminfo: memFree=30214924/32950928 swapFree=34365992/67111528
[pid=23931] ppid=23929 vsize=652096 CPUtime=1482.33 cores=0,2,4,6
/proc/23931/stat : 23931 (bsolo) R 23929 23931 22425 0 -1 4202496 161580 0 0 0 148149 84 0 0 25 0 1 0 829360298 667746304 160598 33554432000 134512640 137138936 4292924976 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23931/statm: 163024 160598 192 642 0 162380 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 652096
[startup+1542.32 s]
/proc/loadavg: 2.01 2.03 2.00 3/447 23985
/proc/meminfo: memFree=30179560/32950928 swapFree=34365992/67111528
[pid=23931] ppid=23929 vsize=652096 CPUtime=1542.34 cores=0,2,4,6
/proc/23931/stat : 23931 (bsolo) R 23929 23931 22425 0 -1 4202496 161580 0 0 0 154148 86 0 0 25 0 1 0 829360298 667746304 160598 33554432000 134512640 137138936 4292924976 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23931/statm: 163024 160598 192 642 0 162380 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 652096
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/447 23987
/proc/meminfo: memFree=30155000/32950928 swapFree=34365992/67111528
[pid=23931] ppid=23929 vsize=652096 CPUtime=1602.32 cores=0,2,4,6
/proc/23931/stat : 23931 (bsolo) R 23929 23931 22425 0 -1 4202496 161580 0 0 0 160145 87 0 0 25 0 1 0 829360298 667746304 160598 33554432000 134512640 137138936 4292924976 18446744073709551615 134542342 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23931/statm: 163024 160598 192 642 0 162380 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 652096
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/447 23988
/proc/meminfo: memFree=30138124/32950928 swapFree=34365992/67111528
[pid=23931] ppid=23929 vsize=652096 CPUtime=1662.33 cores=0,2,4,6
/proc/23931/stat : 23931 (bsolo) R 23929 23931 22425 0 -1 4202496 161580 0 0 0 166144 89 0 0 25 0 1 0 829360298 667746304 160598 33554432000 134512640 137138936 4292924976 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23931/statm: 163024 160598 192 642 0 162380 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 652096
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 23990
/proc/meminfo: memFree=30108232/32950928 swapFree=34365992/67111528
[pid=23931] ppid=23929 vsize=652096 CPUtime=1722.33 cores=0,2,4,6
/proc/23931/stat : 23931 (bsolo) R 23929 23931 22425 0 -1 4202496 161580 0 0 0 172142 91 0 0 25 0 1 0 829360298 667746304 160598 33554432000 134512640 137138936 4292924976 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23931/statm: 163024 160598 192 642 0 162380 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 652096
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 24019
/proc/meminfo: memFree=30662460/32950928 swapFree=34365992/67111528
[pid=23931] ppid=23929 vsize=652096 CPUtime=1782.33 cores=0,2,4,6
/proc/23931/stat : 23931 (bsolo) R 23929 23931 22425 0 -1 4202496 161580 0 0 0 178139 94 0 0 25 0 1 0 829360298 667746304 160598 33554432000 134512640 137138936 4292924976 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23931/statm: 163024 160598 192 642 0 162380 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 652096
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 24019
/proc/meminfo: memFree=30662816/32950928 swapFree=34365992/67111528
[pid=23931] ppid=23929 vsize=652096 CPUtime=1785.63 cores=0,2,4,6
/proc/23931/stat : 23931 (bsolo) R 23929 23931 22425 0 -1 4202496 161580 0 0 0 178469 94 0 0 25 0 1 0 829360298 667746304 160598 33554432000 134512640 137138936 4292924976 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23931/statm: 163024 160598 192 642 0 162380 0
Current children cumulated CPU time (s) 1785.63
Current children cumulated vsize (KiB) 652096
[startup+1792.02 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 24019
/proc/meminfo: memFree=30663924/32950928 swapFree=34365992/67111528
[pid=23931] ppid=23929 vsize=652096 CPUtime=1792.05 cores=0,2,4,6
/proc/23931/stat : 23931 (bsolo) R 23929 23931 22425 0 -1 4202496 161580 0 0 0 179111 94 0 0 25 0 1 0 829360298 667746304 160598 33554432000 134512640 137138936 4292924976 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23931/statm: 163024 160598 192 642 0 162380 0
Current children cumulated CPU time (s) 1792.05
Current children cumulated vsize (KiB) 652096
[startup+1795.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 24019
/proc/meminfo: memFree=30663924/32950928 swapFree=34365992/67111528
[pid=23931] ppid=23929 vsize=652096 CPUtime=1795.24 cores=0,2,4,6
/proc/23931/stat : 23931 (bsolo) R 23929 23931 22425 0 -1 4202496 161580 0 0 0 179430 94 0 0 25 0 1 0 829360298 667746304 160598 33554432000 134512640 137138936 4292924976 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23931/statm: 163024 160598 192 642 0 162380 0
Current children cumulated CPU time (s) 1795.24
Current children cumulated vsize (KiB) 652096
[startup+1796.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 24019
/proc/meminfo: memFree=30663924/32950928 swapFree=34365992/67111528
[pid=23931] ppid=23929 vsize=652096 CPUtime=1796.83 cores=0,2,4,6
/proc/23931/stat : 23931 (bsolo) R 23929 23931 22425 0 -1 4202496 161580 0 0 0 179589 94 0 0 25 0 1 0 829360298 667746304 160598 33554432000 134512640 137138936 4292924976 18446744073709551615 134603164 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23931/statm: 163024 160598 192 642 0 162380 0
Current children cumulated CPU time (s) 1796.83
Current children cumulated vsize (KiB) 652096
[startup+1797.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 24019
/proc/meminfo: memFree=30663428/32950928 swapFree=34365992/67111528
[pid=23931] ppid=23929 vsize=652096 CPUtime=1797.63 cores=0,2,4,6
/proc/23931/stat : 23931 (bsolo) R 23929 23931 22425 0 -1 4202496 161580 0 0 0 179669 94 0 0 25 0 1 0 829360298 667746304 160598 33554432000 134512640 137138936 4292924976 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23931/statm: 163024 160598 192 642 0 162380 0
Current children cumulated CPU time (s) 1797.63
Current children cumulated vsize (KiB) 652096
[startup+1797.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 24019
/proc/meminfo: memFree=30663428/32950928 swapFree=34365992/67111528
[pid=23931] ppid=23929 vsize=652096 CPUtime=1797.83 cores=0,2,4,6
/proc/23931/stat : 23931 (bsolo) R 23929 23931 22425 0 -1 4202496 161580 0 0 0 179689 94 0 0 25 0 1 0 829360298 667746304 160598 33554432000 134512640 137138936 4292924976 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23931/statm: 163024 160598 192 642 0 162380 0
Current children cumulated CPU time (s) 1797.83
Current children cumulated vsize (KiB) 652096
[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 24019
/proc/meminfo: memFree=30663428/32950928 swapFree=34365992/67111528
[pid=23931] ppid=23929 vsize=652096 CPUtime=1797.93 cores=0,2,4,6
/proc/23931/stat : 23931 (bsolo) R 23929 23931 22425 0 -1 4202496 161580 0 0 0 179699 94 0 0 25 0 1 0 829360298 667746304 160598 33554432000 134512640 137138936 4292924976 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/23931/statm: 163024 160598 192 642 0 162380 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 652096
Child status: 0
Real time (s): 1797.99
CPU time (s): 1798.03
CPU user time (s): 1797.05
CPU system time (s): 0.976851
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 652096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.05
system time used= 0.976851
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 161581
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= 4
involuntary context switches= 2618
runsolver used 8.36773 second user time and 17.7953 second system time
The end