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-3462729-1307182327/watcher-3462729-1307182327 -o /tmp/evaluation-result-3462729-1307182327/solver-3462729-1307182327 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462729-1307182327.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.04 2.06 2.01 2/572 2205
/proc/meminfo: memFree=31659292/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=11428 CPUtime=0 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 413 0 0 0 0 0 0 0 25 0 1 0 829831492 11702272 367 33554432000 134512640 137138936 4291310432 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2205/statm: 2857 368 177 642 0 2192 0
[startup+0.033725 s]
/proc/loadavg: 2.04 2.06 2.01 2/572 2205
/proc/meminfo: memFree=31659292/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=13916 CPUtime=0.03 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 1080 0 0 0 3 0 0 0 25 0 1 0 829831492 14249984 1013 33554432000 134512640 137138936 4291310432 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2205/statm: 3479 1013 185 642 0 2835 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13916
[startup+0.100744 s]
/proc/loadavg: 2.04 2.06 2.01 2/572 2205
/proc/meminfo: memFree=31659292/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=13916 CPUtime=0.09 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 1080 0 0 0 9 0 0 0 25 0 1 0 829831492 14249984 1013 33554432000 134512640 137138936 4291310432 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2205/statm: 3479 1013 185 642 0 2835 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13916
[startup+0.300705 s]
/proc/loadavg: 2.04 2.06 2.01 2/572 2205
/proc/meminfo: memFree=31659292/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=14056 CPUtime=0.29 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 1451 0 0 0 28 1 0 0 25 0 1 0 829831492 14393344 1077 33554432000 134512640 137138936 4291310432 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2205/statm: 3514 1077 188 642 0 2870 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14056
[startup+0.700632 s]
/proc/loadavg: 2.04 2.06 2.01 2/572 2205
/proc/meminfo: memFree=31659292/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=15476 CPUtime=0.69 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 1811 0 0 0 68 1 0 0 25 0 1 0 829831492 15847424 1437 33554432000 134512640 137138936 4291310432 18446744073709551615 136504449 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2205/statm: 3869 1437 192 642 0 3225 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15476
[startup+1.5005 s]
/proc/loadavg: 2.04 2.06 2.01 3/573 2206
/proc/meminfo: memFree=31652340/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=18492 CPUtime=1.49 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 2572 0 0 0 148 1 0 0 25 0 1 0 829831492 18935808 2198 33554432000 134512640 137138936 4291310432 18446744073709551615 134543015 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2205/statm: 4623 2198 192 642 0 3979 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18492
[startup+3.10014 s]
/proc/loadavg: 2.04 2.06 2.01 3/573 2206
/proc/meminfo: memFree=31646512/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=24544 CPUtime=3.09 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 4081 0 0 0 307 2 0 0 25 0 1 0 829831492 25133056 3707 33554432000 134512640 137138936 4291310432 18446744073709551615 136500291 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2205/statm: 6136 3707 192 642 0 5492 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24544
[startup+6.30064 s]
/proc/loadavg: 2.03 2.06 2.01 3/573 2206
/proc/meminfo: memFree=31635296/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=35580 CPUtime=6.29 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 6831 0 0 0 626 3 0 0 25 0 1 0 829831492 36433920 6457 33554432000 134512640 137138936 4291310432 18446744073709551615 134542868 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2205/statm: 8895 6457 192 642 0 8251 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35580
[startup+12.7005 s]
/proc/loadavg: 2.03 2.06 2.01 3/573 2206
/proc/meminfo: memFree=31617972/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=50284 CPUtime=12.69 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 10492 0 0 0 1265 4 0 0 25 0 1 0 829831492 51490816 10118 33554432000 134512640 137138936 4291310432 18446744073709551615 136511155 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2205/statm: 12571 10118 192 642 0 11927 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 50284
[startup+25.5012 s]
/proc/loadavg: 2.02 2.06 2.01 3/573 2206
/proc/meminfo: memFree=31590664/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=77184 CPUtime=25.49 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 17239 0 0 0 2543 6 0 0 25 0 1 0 829831492 79036416 16865 33554432000 134512640 137138936 4291310432 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2205/statm: 19296 16865 192 642 0 18652 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 77184
[startup+51.1007 s]
/proc/loadavg: 2.01 2.05 2.01 3/573 2207
/proc/meminfo: memFree=31556636/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=112148 CPUtime=51.04 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 25968 0 0 0 5095 9 0 0 25 0 1 0 829831492 114839552 25594 33554432000 134512640 137138936 4291310432 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2205/statm: 28037 25594 192 642 0 27393 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 112148
[startup+102.322 s]
/proc/loadavg: 2.00 2.04 2.00 3/573 2208
/proc/meminfo: memFree=31496956/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=170608 CPUtime=102.26 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 40587 0 0 0 10211 15 0 0 25 0 1 0 829831492 174702592 40213 33554432000 134512640 137138936 4291310432 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2205/statm: 42652 40213 192 642 0 42008 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 170608
[startup+162.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/573 2210
/proc/meminfo: memFree=31437020/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=229568 CPUtime=162.24 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 55329 0 0 0 16203 21 0 0 25 0 1 0 829831492 235077632 54955 33554432000 134512640 137138936 4291310432 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2205/statm: 57392 54955 192 642 0 56748 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 229568
[startup+222.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 2245
/proc/meminfo: memFree=31455252/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=275940 CPUtime=222.24 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 66924 0 0 0 22199 25 0 0 25 0 1 0 829831492 282562560 66550 33554432000 134512640 137138936 4291310432 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2205/statm: 68985 66550 192 642 0 68341 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 275940
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 2253
/proc/meminfo: memFree=31304952/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=314716 CPUtime=282.23 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 76628 0 0 0 28195 28 0 0 25 0 1 0 829831492 322269184 76254 33554432000 134512640 137138936 4291310432 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2205/statm: 78679 76254 192 642 0 78035 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 314716
[startup+342.301 s]
/proc/loadavg: 2.12 2.04 2.01 3/573 2255
/proc/meminfo: memFree=31190312/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=353144 CPUtime=342.24 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 86231 0 0 0 34191 33 0 0 25 0 1 0 829831492 361619456 85857 33554432000 134512640 137138936 4291310432 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2205/statm: 88286 85857 192 642 0 87642 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 353144
[startup+402.301 s]
/proc/loadavg: 2.10 2.05 2.01 3/573 2256
/proc/meminfo: memFree=31090560/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=391116 CPUtime=402.24 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 95711 0 0 0 40188 36 0 0 25 0 1 0 829831492 400502784 95337 33554432000 134512640 137138936 4291310432 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2205/statm: 97779 95337 192 642 0 97135 0
Current children cumulated CPU time (s) 402.24
Current children cumulated vsize (KiB) 391116
[startup+462.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/573 2258
/proc/meminfo: memFree=30993160/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=428816 CPUtime=462.23 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 105153 0 0 0 46183 40 0 0 25 0 1 0 829831492 439107584 104779 33554432000 134512640 137138936 4291310432 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2205/statm: 107204 104779 192 642 0 106560 0
Current children cumulated CPU time (s) 462.23
Current children cumulated vsize (KiB) 428816
[startup+522.301 s]
/proc/loadavg: 2.14 2.06 2.01 3/573 2260
/proc/meminfo: memFree=30912256/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=463176 CPUtime=522.23 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 113744 0 0 0 52180 43 0 0 25 0 1 0 829831492 474292224 113370 33554432000 134512640 137138936 4291310432 18446744073709551615 134602762 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2205/statm: 115794 113370 192 642 0 115150 0
Current children cumulated CPU time (s) 522.23
Current children cumulated vsize (KiB) 463176
[startup+582.301 s]
/proc/loadavg: 2.10 2.06 2.01 3/573 2261
/proc/meminfo: memFree=30836968/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=493104 CPUtime=582.24 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 121219 0 0 0 58176 48 0 0 25 0 1 0 829831492 504938496 120845 33554432000 134512640 137138936 4291310432 18446744073709551615 134542764 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2205/statm: 123276 120845 192 642 0 122632 0
Current children cumulated CPU time (s) 582.24
Current children cumulated vsize (KiB) 493104
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=30333884/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=720428 CPUtime=1062.23 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 178043 0 0 0 106149 74 0 0 25 0 1 0 829831492 737718272 177669 33554432000 134512640 137138936 4291310432 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/2205/statm: 180107 177669 192 642 0 179463 0
Current children cumulated CPU time (s) 1062.23
Current children cumulated vsize (KiB) 720428
[startup+1122.3 s]
/proc/loadavg: 2.15 2.07 2.01 3/573 2276
/proc/meminfo: memFree=30280012/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=743824 CPUtime=1122.23 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 183891 0 0 0 112146 77 0 0 25 0 1 0 829831492 761675776 183517 33554432000 134512640 137138936 4291310432 18446744073709551615 134542764 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2205/statm: 185956 183517 192 642 0 185312 0
Current children cumulated CPU time (s) 1122.23
Current children cumulated vsize (KiB) 743824
[startup+1182.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/573 2277
/proc/meminfo: memFree=30236460/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=763744 CPUtime=1182.23 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 188880 0 0 0 118144 79 0 0 25 0 1 0 829831492 782073856 188506 33554432000 134512640 137138936 4291310432 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2205/statm: 190936 188506 192 642 0 190292 0
Current children cumulated CPU time (s) 1182.23
Current children cumulated vsize (KiB) 763744
[startup+1242.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/573 2279
/proc/meminfo: memFree=30188296/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=787152 CPUtime=1242.23 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 194719 0 0 0 124142 81 0 0 25 0 1 0 829831492 806043648 194345 33554432000 134512640 137138936 4291310432 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2205/statm: 196788 194345 192 642 0 196144 0
Current children cumulated CPU time (s) 1242.23
Current children cumulated vsize (KiB) 787152
[startup+1302.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/573 2280
/proc/meminfo: memFree=30139756/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=806692 CPUtime=1302.23 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 199616 0 0 0 130140 83 0 0 25 0 1 0 829831492 826052608 199242 33554432000 134512640 137138936 4291310432 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2205/statm: 201673 199242 192 642 0 201029 0
Current children cumulated CPU time (s) 1302.23
Current children cumulated vsize (KiB) 806692
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 2282
/proc/meminfo: memFree=30089460/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=823316 CPUtime=1362.23 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 203779 0 0 0 136138 85 0 0 25 0 1 0 829831492 843075584 203405 33554432000 134512640 137138936 4291310432 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2205/statm: 205829 203405 192 642 0 205185 0
Current children cumulated CPU time (s) 1362.23
Current children cumulated vsize (KiB) 823316
[startup+1422.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 2284
/proc/meminfo: memFree=30042544/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=844276 CPUtime=1422.26 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 209002 0 0 0 142138 88 0 0 25 0 1 0 829831492 864538624 208628 33554432000 134512640 137138936 4291310432 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2205/statm: 211069 208628 192 642 0 210425 0
Current children cumulated CPU time (s) 1422.26
Current children cumulated vsize (KiB) 844276
[startup+1482.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/573 2286
/proc/meminfo: memFree=30004040/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=863476 CPUtime=1482.24 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 213810 0 0 0 148135 89 0 0 25 0 1 0 829831492 884199424 213436 33554432000 134512640 137138936 4291310432 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2205/statm: 215869 213436 192 642 0 215225 0
Current children cumulated CPU time (s) 1482.24
Current children cumulated vsize (KiB) 863476
[startup+1542.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/573 2289
/proc/meminfo: memFree=29961568/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=885752 CPUtime=1542.23 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 219375 0 0 0 154132 91 0 0 25 0 1 0 829831492 907010048 219001 33554432000 134512640 137138936 4291310432 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2205/statm: 221438 219001 192 642 0 220794 0
Current children cumulated CPU time (s) 1542.23
Current children cumulated vsize (KiB) 885752
[startup+1602.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/573 2290
/proc/meminfo: memFree=29914124/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=906792 CPUtime=1602.24 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 224644 0 0 0 160130 94 0 0 25 0 1 0 829831492 928555008 224270 33554432000 134512640 137138936 4291310432 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2205/statm: 226698 224270 192 642 0 226054 0
Current children cumulated CPU time (s) 1602.24
Current children cumulated vsize (KiB) 906792
[startup+1662.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/573 2292
/proc/meminfo: memFree=29865068/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=927880 CPUtime=1662.24 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 229901 0 0 0 166128 96 0 0 25 0 1 0 829831492 950149120 229527 33554432000 134512640 137138936 4291310432 18446744073709551615 134542796 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2205/statm: 231970 229527 192 642 0 231326 0
Current children cumulated CPU time (s) 1662.24
Current children cumulated vsize (KiB) 927880
[startup+1722.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/573 2294
/proc/meminfo: memFree=29818884/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=950816 CPUtime=1722.24 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 235635 0 0 0 172126 98 0 0 25 0 1 0 829831492 973635584 235261 33554432000 134512640 137138936 4291310432 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2205/statm: 237704 235261 192 642 0 237060 0
Current children cumulated CPU time (s) 1722.24
Current children cumulated vsize (KiB) 950816
[startup+1782.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/573 2295
/proc/meminfo: memFree=29775060/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=972540 CPUtime=1782.25 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 241070 0 0 0 178125 100 0 0 25 0 1 0 829831492 995880960 240696 33554432000 134512640 137138936 4291310432 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2205/statm: 243135 240696 192 642 0 242491 0
Current children cumulated CPU time (s) 1782.25
Current children cumulated vsize (KiB) 972540
Solver just ended. Dumping a history of the last processes samples
[startup+1791.92 s]
/proc/loadavg: 2.02 2.04 2.00 3/573 2296
/proc/meminfo: memFree=29770456/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=974544 CPUtime=1791.86 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 241577 0 0 0 179086 100 0 0 25 0 1 0 829831492 997933056 241203 33554432000 134512640 137138936 4291310432 18446744073709551615 136520965 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2205/statm: 243636 241203 192 642 0 242992 0
Current children cumulated CPU time (s) 1791.86
Current children cumulated vsize (KiB) 974544
[startup+1795.1 s]
/proc/loadavg: 2.02 2.04 2.00 3/573 2296
/proc/meminfo: memFree=29768224/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=975152 CPUtime=1795.05 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 241733 0 0 0 179405 100 0 0 25 0 1 0 829831492 998555648 241359 33554432000 134512640 137138936 4291310432 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2205/statm: 243788 241359 192 642 0 243144 0
Current children cumulated CPU time (s) 1795.05
Current children cumulated vsize (KiB) 975152
[startup+1796.7 s]
/proc/loadavg: 2.02 2.04 2.00 3/573 2296
/proc/meminfo: memFree=29767728/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=975400 CPUtime=1796.64 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 241793 0 0 0 179564 100 0 0 25 0 1 0 829831492 998809600 241419 33554432000 134512640 137138936 4291310432 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2205/statm: 243850 241419 192 642 0 243206 0
Current children cumulated CPU time (s) 1796.64
Current children cumulated vsize (KiB) 975400
[startup+1797.5 s]
/proc/loadavg: 2.02 2.04 2.00 3/573 2296
/proc/meminfo: memFree=29766860/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=975600 CPUtime=1797.44 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 241847 0 0 0 179644 100 0 0 25 0 1 0 829831492 999014400 241473 33554432000 134512640 137138936 4291310432 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2205/statm: 243900 241473 192 642 0 243256 0
Current children cumulated CPU time (s) 1797.44
Current children cumulated vsize (KiB) 975600
[startup+1797.9 s]
/proc/loadavg: 2.02 2.04 2.00 3/573 2296
/proc/meminfo: memFree=29766860/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=975600 CPUtime=1797.84 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202496 241851 0 0 0 179684 100 0 0 25 0 1 0 829831492 999014400 241477 33554432000 134512640 137138936 4291310432 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/2205/statm: 243900 241477 192 642 0 243256 0
Current children cumulated CPU time (s) 1797.84
Current children cumulated vsize (KiB) 975600
[startup+1798.1 s]
/proc/loadavg: 2.02 2.04 2.00 3/573 2296
/proc/meminfo: memFree=29766860/32950928 swapFree=43925852/67111528
[pid=2205] ppid=2203 vsize=0 CPUtime=1798.05 cores=0,2,4,6
/proc/2205/stat : 2205 (bsolo) R 2203 2205 32216 0 -1 4202500 241853 0 0 0 179703 102 0 0 25 0 1 0 829831492 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 0 0 0 0
/proc/2205/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.05
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 1798.13
CPU time (s): 1798.09
CPU user time (s): 1797.03
CPU system time (s): 1.05384
CPU usage (%): 99.9973
Max. virtual memory (cumulated for all children) (KiB): 975600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.03
system time used= 1.05384
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 241853
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= 5
involuntary context switches= 8698
runsolver used 10.8314 second user time and 23.2395 second system time
The end