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-3462390-1307184490/watcher-3462390-1307184490 -o /tmp/evaluation-result-3462390-1307184490/solver-3462390-1307184490 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462390-1307184490.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.03 2.00 3/526 8504
/proc/meminfo: memFree=22681392/32951124 swapFree=64303760/67111528
[pid=8504] ppid=8502 vsize=11496 CPUtime=0 cores=0,2,4,6
/proc/8504/stat : 8504 (bsolo) R 8502 8504 4512 0 -1 4202496 362 0 0 0 0 0 0 0 25 0 1 0 810864896 11771904 316 33554432000 134512640 137138936 4288652768 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8504/statm: 2874 317 175 642 0 2124 0
[startup+0.031872 s]
/proc/loadavg: 2.00 2.03 2.00 3/526 8504
/proc/meminfo: memFree=22681392/32951124 swapFree=64303760/67111528
[pid=8504] ppid=8502 vsize=14744 CPUtime=0.02 cores=0,2,4,6
/proc/8504/stat : 8504 (bsolo) R 8502 8504 4512 0 -1 4202496 1202 0 0 0 2 0 0 0 25 0 1 0 810864896 15097856 1156 33554432000 134512640 137138936 4288652768 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8504/statm: 3686 1157 208 642 0 2936 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 14744
[startup+0.100849 s]
/proc/loadavg: 2.00 2.03 2.00 3/526 8504
/proc/meminfo: memFree=22681392/32951124 swapFree=64303760/67111528
[pid=8504] ppid=8502 vsize=25736 CPUtime=0.08 cores=0,2,4,6
/proc/8504/stat : 8504 (bsolo) R 8502 8504 4512 0 -1 4202496 4108 0 0 0 8 0 0 0 25 0 1 0 810864896 26353664 3916 33554432000 134512640 137138936 4288652768 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8504/statm: 6434 3919 183 642 0 5790 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 25736
[startup+0.300862 s]
/proc/loadavg: 2.00 2.03 2.00 3/526 8504
/proc/meminfo: memFree=22681392/32951124 swapFree=64303760/67111528
[pid=8504] ppid=8502 vsize=28296 CPUtime=0.28 cores=0,2,4,6
/proc/8504/stat : 8504 (bsolo) R 8502 8504 4512 0 -1 4202496 4706 0 0 0 28 0 0 0 25 0 1 0 810864896 28975104 4514 33554432000 134512640 137138936 4288652768 18446744073709551615 136511173 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8504/statm: 7074 4514 185 642 0 6430 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 28296
[startup+0.7008 s]
/proc/loadavg: 2.00 2.03 2.00 3/526 8504
/proc/meminfo: memFree=22681392/32951124 swapFree=64303760/67111528
[pid=8504] ppid=8502 vsize=28296 CPUtime=0.69 cores=0,2,4,6
/proc/8504/stat : 8504 (bsolo) R 8502 8504 4512 0 -1 4202496 4709 0 0 0 68 1 0 0 25 0 1 0 810864896 28975104 4517 33554432000 134512640 137138936 4288652768 18446744073709551615 134566350 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8504/statm: 7074 4517 185 642 0 6430 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 28296
[startup+1.50065 s]
/proc/loadavg: 2.00 2.03 2.00 3/527 8505
/proc/meminfo: memFree=22663648/32951124 swapFree=64303760/67111528
[pid=8504] ppid=8502 vsize=28296 CPUtime=1.49 cores=0,2,4,6
/proc/8504/stat : 8504 (bsolo) R 8502 8504 4512 0 -1 4202496 4710 0 0 0 148 1 0 0 25 0 1 0 810864896 28975104 4518 33554432000 134512640 137138936 4288652768 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8504/statm: 7074 4518 185 642 0 6430 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28296
[startup+3.10035 s]
/proc/loadavg: 2.00 2.03 2.00 3/527 8505
/proc/meminfo: memFree=22662532/32951124 swapFree=64303760/67111528
[pid=8504] ppid=8502 vsize=28296 CPUtime=3.09 cores=0,2,4,6
/proc/8504/stat : 8504 (bsolo) R 8502 8504 4512 0 -1 4202496 4710 0 0 0 308 1 0 0 25 0 1 0 810864896 28975104 4518 33554432000 134512640 137138936 4288652768 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8504/statm: 7074 4518 185 642 0 6430 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 28296
[startup+6.30078 s]
/proc/loadavg: 2.00 2.03 2.00 3/527 8505
/proc/meminfo: memFree=22662036/32951124 swapFree=64303760/67111528
[pid=8504] ppid=8502 vsize=28296 CPUtime=6.29 cores=0,2,4,6
/proc/8504/stat : 8504 (bsolo) R 8502 8504 4512 0 -1 4202496 4710 0 0 0 628 1 0 0 25 0 1 0 810864896 28975104 4518 33554432000 134512640 137138936 4288652768 18446744073709551615 135984582 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8504/statm: 7074 4518 185 642 0 6430 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28296
[startup+12.7006 s]
/proc/loadavg: 2.00 2.03 2.00 3/527 8505
/proc/meminfo: memFree=22661356/32951124 swapFree=64303760/67111528
[pid=8504] ppid=8502 vsize=28296 CPUtime=12.69 cores=0,2,4,6
/proc/8504/stat : 8504 (bsolo) R 8502 8504 4512 0 -1 4202496 4710 0 0 0 1268 1 0 0 25 0 1 0 810864896 28975104 4518 33554432000 134512640 137138936 4288652768 18446744073709551615 134542128 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8504/statm: 7074 4518 185 642 0 6430 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 28296
[startup+25.5003 s]
/proc/loadavg: 2.00 2.02 2.00 3/527 8506
/proc/meminfo: memFree=22661588/32951124 swapFree=64303760/67111528
[pid=8504] ppid=8502 vsize=28296 CPUtime=25.49 cores=0,2,4,6
/proc/8504/stat : 8504 (bsolo) R 8502 8504 4512 0 -1 4202496 4711 0 0 0 2547 2 0 0 25 0 1 0 810864896 28975104 4519 33554432000 134512640 137138936 4288652768 18446744073709551615 136504449 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8504/statm: 7074 4519 185 642 0 6430 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 28296
[startup+51.1007 s]
/proc/loadavg: 2.00 2.02 2.00 3/527 8506
/proc/meminfo: memFree=22661560/32951124 swapFree=64303760/67111528
[pid=8504] ppid=8502 vsize=28296 CPUtime=51.09 cores=0,2,4,6
/proc/8504/stat : 8504 (bsolo) R 8502 8504 4512 0 -1 4202496 4711 0 0 0 5106 3 0 0 25 0 1 0 810864896 28975104 4519 33554432000 134512640 137138936 4288652768 18446744073709551615 134542128 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8504/statm: 7074 4519 185 642 0 6430 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 28296
[startup+102.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/527 8508
/proc/meminfo: memFree=22541380/32951124 swapFree=64303760/67111528
[pid=8504] ppid=8502 vsize=147180 CPUtime=102.3 cores=0,2,4,6
/proc/8504/stat : 8504 (bsolo) R 8502 8504 4512 0 -1 4202496 35657 0 0 0 10211 19 0 0 25 0 1 0 810864896 150712320 34326 33554432000 134512640 137138936 4288652768 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8504/statm: 36795 34326 192 642 0 36151 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 147180
[startup+162.301 s]
/proc/loadavg: 2.16 2.04 2.01 3/527 8509
/proc/meminfo: memFree=22423408/32951124 swapFree=64303760/67111528
[pid=8504] ppid=8502 vsize=265340 CPUtime=162.29 cores=0,2,4,6
/proc/8504/stat : 8504 (bsolo) R 8502 8504 4512 0 -1 4202496 65188 0 0 0 16199 30 0 0 25 0 1 0 810864896 271708160 63857 33554432000 134512640 137138936 4288652768 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8504/statm: 66335 63857 192 642 0 65691 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 265340
[startup+222.301 s]
/proc/loadavg: 2.13 2.05 2.01 3/527 8511
/proc/meminfo: memFree=22314100/32951124 swapFree=64303760/67111528
[pid=8504] ppid=8502 vsize=374236 CPUtime=222.29 cores=0,2,4,6
/proc/8504/stat : 8504 (bsolo) R 8502 8504 4512 0 -1 4202496 92398 0 0 0 22184 45 0 0 25 0 1 0 810864896 383217664 91067 33554432000 134512640 137138936 4288652768 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8504/statm: 93559 91067 192 642 0 92915 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 374236
[startup+282.301 s]
/proc/loadavg: 2.19 2.07 2.02 3/527 8512
/proc/meminfo: memFree=22212108/32951124 swapFree=64303760/67111528
[pid=8504] ppid=8502 vsize=477008 CPUtime=282.29 cores=0,2,4,6
/proc/8504/stat : 8504 (bsolo) R 8502 8504 4512 0 -1 4202496 118098 0 0 0 28170 59 0 0 25 0 1 0 810864896 488456192 116767 33554432000 134512640 137138936 4288652768 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8504/statm: 119252 116767 192 642 0 118608 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 477008
[startup+342.3 s]
/proc/loadavg: 2.14 2.07 2.01 3/527 8514
/proc/meminfo: memFree=22123876/32951124 swapFree=64303760/67111528
[pid=8504] ppid=8502 vsize=564820 CPUtime=342.3 cores=0,2,4,6
/proc/8504/stat : 8504 (bsolo) R 8502 8504 4512 0 -1 4202496 140044 0 0 0 34163 67 0 0 25 0 1 0 810864896 578375680 138713 33554432000 134512640 137138936 4288652768 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8504/statm: 141205 138713 192 642 0 140561 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 564820
[startup+402.301 s]
/proc/loadavg: 2.05 2.05 2.01 3/527 8516
/proc/meminfo: memFree=22060336/32951124 swapFree=64303760/67111528
[pid=8504] ppid=8502 vsize=627900 CPUtime=402.29 cores=0,2,4,6
/proc/8504/stat : 8504 (bsolo) R 8502 8504 4512 0 -1 4202496 155814 0 0 0 40155 74 0 0 25 0 1 0 810864896 642969600 154483 33554432000 134512640 137138936 4288652768 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8504/statm: 156975 154483 192 642 0 156331 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 627900
[startup+462.301 s]
/proc/loadavg: 2.02 2.04 2.00 3/527 8517
/proc/meminfo: memFree=21990204/32951124 swapFree=64303760/67111528
[pid=8504] ppid=8502 vsize=688888 CPUtime=462.29 cores=0,2,4,6
/proc/8504/stat : 8504 (bsolo) R 8502 8504 4512 0 -1 4202496 171061 0 0 0 46150 79 0 0 25 0 1 0 810864896 705421312 169730 33554432000 134512640 137138936 4288652768 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8504/statm: 172222 169730 192 642 0 171578 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 688888
[startup+522.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/527 8519
/proc/meminfo: memFree=21938564/32951124 swapFree=64303760/67111528
[pid=8504] ppid=8502 vsize=733180 CPUtime=522.29 cores=0,2,4,6
/proc/8504/stat : 8504 (bsolo) R 8502 8504 4512 0 -1 4202496 182165 0 0 0 52142 87 0 0 25 0 1 0 810864896 750776320 180834 33554432000 134512640 137138936 4288652768 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8504/statm: 183295 180834 192 642 0 182651 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 733180
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/527 8520
/proc/meminfo: memFree=21875760/32951124 swapFree=64303760/67111528
[pid=8504] ppid=8502 vsize=789196 CPUtime=582.3 cores=0,2,4,6
/proc/8504/stat : 8504 (bsolo) R 8502 8504 4512 0 -1 4202496 196160 0 0 0 58134 96 0 0 25 0 1 0 810864896 808136704 194829 33554432000 134512640 137138936 4288652768 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8504/statm: 197299 194829 192 642 0 196655 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 789196
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=21766748/32951124 swapFree=64303760/67111528
[pid=8504] ppid=8502 vsize=1045272 CPUtime=1122.3 cores=0,2,4,6
/proc/8504/stat : 8504 (bsolo) R 8502 8504 4512 0 -1 4202496 260157 0 0 0 112083 147 0 0 25 0 1 0 810864896 1070358528 258826 33554432000 134512640 137138936 4288652768 18446744073709551615 134539684 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8504/statm: 261318 258826 192 642 0 260674 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 1045272
[startup+1182.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/527 8572
/proc/meminfo: memFree=21762864/32951124 swapFree=64303760/67111528
[pid=8504] ppid=8502 vsize=1045272 CPUtime=1182.31 cores=0,2,4,6
/proc/8504/stat : 8504 (bsolo) R 8502 8504 4512 0 -1 4202496 260157 0 0 0 118080 151 0 0 25 0 1 0 810864896 1070358528 258826 33554432000 134512640 137138936 4288652768 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8504/statm: 261318 258826 192 642 0 260674 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 1045272
[startup+1242.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/527 8574
/proc/meminfo: memFree=21759352/32951124 swapFree=64303760/67111528
[pid=8504] ppid=8502 vsize=1045272 CPUtime=1242.31 cores=0,2,4,6
/proc/8504/stat : 8504 (bsolo) R 8502 8504 4512 0 -1 4202496 260157 0 0 0 124079 152 0 0 25 0 1 0 810864896 1070358528 258826 33554432000 134512640 137138936 4288652768 18446744073709551615 134618091 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8504/statm: 261318 258826 192 642 0 260674 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 1045272
[startup+1302.3 s]
/proc/loadavg: 2.13 2.07 2.01 3/527 8576
/proc/meminfo: memFree=21754972/32951124 swapFree=64303760/67111528
[pid=8504] ppid=8502 vsize=1045272 CPUtime=1302.31 cores=0,2,4,6
/proc/8504/stat : 8504 (bsolo) R 8502 8504 4512 0 -1 4202496 260157 0 0 0 130078 153 0 0 25 0 1 0 810864896 1070358528 258826 33554432000 134512640 137138936 4288652768 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8504/statm: 261318 258826 192 642 0 260674 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 1045272
[startup+1362.3 s]
/proc/loadavg: 2.10 2.07 2.01 3/527 8577
/proc/meminfo: memFree=21739920/32951124 swapFree=64303760/67111528
[pid=8504] ppid=8502 vsize=1045272 CPUtime=1362.31 cores=0,2,4,6
/proc/8504/stat : 8504 (bsolo) R 8502 8504 4512 0 -1 4202496 260157 0 0 0 136070 161 0 0 25 0 1 0 810864896 1070358528 258826 33554432000 134512640 137138936 4288652768 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8504/statm: 261318 258826 192 642 0 260674 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 1045272
[startup+1422.32 s]
/proc/loadavg: 2.03 2.05 2.00 3/527 8579
/proc/meminfo: memFree=21732080/32951124 swapFree=64303760/67111528
[pid=8504] ppid=8502 vsize=1045272 CPUtime=1422.33 cores=0,2,4,6
/proc/8504/stat : 8504 (bsolo) R 8502 8504 4512 0 -1 4202496 260157 0 0 0 142069 164 0 0 25 0 1 0 810864896 1070358528 258826 33554432000 134512640 137138936 4288652768 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8504/statm: 261318 258826 192 642 0 260674 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 1045272
[startup+1482.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/527 8580
/proc/meminfo: memFree=21723972/32951124 swapFree=64303760/67111528
[pid=8504] ppid=8502 vsize=1045272 CPUtime=1482.32 cores=0,2,4,6
/proc/8504/stat : 8504 (bsolo) R 8502 8504 4512 0 -1 4202496 260157 0 0 0 148066 166 0 0 25 0 1 0 810864896 1070358528 258826 33554432000 134512640 137138936 4288652768 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8504/statm: 261318 258826 192 642 0 260674 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 1045272
[startup+1542.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/527 8582
/proc/meminfo: memFree=21723672/32951124 swapFree=64303760/67111528
[pid=8504] ppid=8502 vsize=1045272 CPUtime=1542.31 cores=0,2,4,6
/proc/8504/stat : 8504 (bsolo) R 8502 8504 4512 0 -1 4202496 260157 0 0 0 154061 170 0 0 25 0 1 0 810864896 1070358528 258826 33554432000 134512640 137138936 4288652768 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8504/statm: 261318 258826 192 642 0 260674 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 1045272
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/527 8584
/proc/meminfo: memFree=21723880/32951124 swapFree=64303760/67111528
[pid=8504] ppid=8502 vsize=1045272 CPUtime=1602.32 cores=0,2,4,6
/proc/8504/stat : 8504 (bsolo) R 8502 8504 4512 0 -1 4202496 260157 0 0 0 160053 179 0 0 25 0 1 0 810864896 1070358528 258826 33554432000 134512640 137138936 4288652768 18446744073709551615 134601123 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8504/statm: 261318 258826 192 642 0 260674 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 1045272
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/527 8585
/proc/meminfo: memFree=21723940/32951124 swapFree=64303760/67111528
[pid=8504] ppid=8502 vsize=1045272 CPUtime=1662.31 cores=0,2,4,6
/proc/8504/stat : 8504 (bsolo) R 8502 8504 4512 0 -1 4202496 260157 0 0 0 166046 185 0 0 25 0 1 0 810864896 1070358528 258826 33554432000 134512640 137138936 4288652768 18446744073709551615 134600694 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8504/statm: 261318 258826 192 642 0 260674 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 1045272
[startup+1722.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/527 8587
/proc/meminfo: memFree=21723172/32951124 swapFree=64303760/67111528
[pid=8504] ppid=8502 vsize=1045272 CPUtime=1722.32 cores=0,2,4,6
/proc/8504/stat : 8504 (bsolo) R 8502 8504 4512 0 -1 4202496 260157 0 0 0 172045 187 0 0 25 0 1 0 810864896 1070358528 258826 33554432000 134512640 137138936 4288652768 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8504/statm: 261318 258826 192 642 0 260674 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 1045272
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/527 8588
/proc/meminfo: memFree=21722840/32951124 swapFree=64303760/67111528
[pid=8504] ppid=8502 vsize=1045272 CPUtime=1782.32 cores=0,2,4,6
/proc/8504/stat : 8504 (bsolo) R 8502 8504 4512 0 -1 4202496 260157 0 0 0 178042 190 0 0 25 0 1 0 810864896 1070358528 258826 33554432000 134512640 137138936 4288652768 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8504/statm: 261318 258826 192 642 0 260674 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 1045272
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.01 2.02 2.00 3/527 8589
/proc/meminfo: memFree=21722944/32951124 swapFree=64303760/67111528
[pid=8504] ppid=8502 vsize=1045272 CPUtime=1785.52 cores=0,2,4,6
/proc/8504/stat : 8504 (bsolo) R 8502 8504 4512 0 -1 4202496 260157 0 0 0 178362 190 0 0 25 0 1 0 810864896 1070358528 258826 33554432000 134512640 137138936 4288652768 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8504/statm: 261318 258826 192 642 0 260674 0
Current children cumulated CPU time (s) 1785.52
Current children cumulated vsize (KiB) 1045272
[startup+1791.92 s]
/proc/loadavg: 2.01 2.02 2.00 3/527 8589
/proc/meminfo: memFree=21723316/32951124 swapFree=64303760/67111528
[pid=8504] ppid=8502 vsize=1045272 CPUtime=1791.93 cores=0,2,4,6
/proc/8504/stat : 8504 (bsolo) R 8502 8504 4512 0 -1 4202496 260157 0 0 0 179003 190 0 0 25 0 1 0 810864896 1070358528 258826 33554432000 134512640 137138936 4288652768 18446744073709551615 134539684 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8504/statm: 261318 258826 192 642 0 260674 0
Current children cumulated CPU time (s) 1791.93
Current children cumulated vsize (KiB) 1045272
[startup+1795.1 s]
/proc/loadavg: 2.01 2.02 2.00 3/527 8589
/proc/meminfo: memFree=21723192/32951124 swapFree=64303760/67111528
[pid=8504] ppid=8502 vsize=1045272 CPUtime=1795.13 cores=0,2,4,6
/proc/8504/stat : 8504 (bsolo) R 8502 8504 4512 0 -1 4202496 260157 0 0 0 179322 191 0 0 25 0 1 0 810864896 1070358528 258826 33554432000 134512640 137138936 4288652768 18446744073709551615 134542503 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8504/statm: 261318 258826 192 642 0 260674 0
Current children cumulated CPU time (s) 1795.13
Current children cumulated vsize (KiB) 1045272
[startup+1796.7 s]
/proc/loadavg: 2.01 2.02 2.00 3/527 8589
/proc/meminfo: memFree=21722944/32951124 swapFree=64303760/67111528
[pid=8504] ppid=8502 vsize=1045272 CPUtime=1796.72 cores=0,2,4,6
/proc/8504/stat : 8504 (bsolo) R 8502 8504 4512 0 -1 4202496 260157 0 0 0 179481 191 0 0 25 0 1 0 810864896 1070358528 258826 33554432000 134512640 137138936 4288652768 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8504/statm: 261318 258826 192 642 0 260674 0
Current children cumulated CPU time (s) 1796.72
Current children cumulated vsize (KiB) 1045272
[startup+1797.5 s]
/proc/loadavg: 2.01 2.02 2.00 3/527 8589
/proc/meminfo: memFree=21722944/32951124 swapFree=64303760/67111528
[pid=8504] ppid=8502 vsize=1045272 CPUtime=1797.53 cores=0,2,4,6
/proc/8504/stat : 8504 (bsolo) R 8502 8504 4512 0 -1 4202496 260157 0 0 0 179562 191 0 0 25 0 1 0 810864896 1070358528 258826 33554432000 134512640 137138936 4288652768 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8504/statm: 261318 258826 192 642 0 260674 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (KiB) 1045272
[startup+1797.9 s]
/proc/loadavg: 2.01 2.02 2.00 3/527 8589
/proc/meminfo: memFree=21722944/32951124 swapFree=64303760/67111528
[pid=8504] ppid=8502 vsize=1045272 CPUtime=1797.92 cores=0,2,4,6
/proc/8504/stat : 8504 (bsolo) R 8502 8504 4512 0 -1 4202496 260157 0 0 0 179601 191 0 0 25 0 1 0 810864896 1070358528 258826 33554432000 134512640 137138936 4288652768 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/8504/statm: 261318 258826 192 642 0 260674 0
Current children cumulated CPU time (s) 1797.92
Current children cumulated vsize (KiB) 1045272
[startup+1798 s]
/proc/loadavg: 2.01 2.02 2.00 3/527 8589
/proc/meminfo: memFree=21722944/32951124 swapFree=64303760/67111528
[pid=8504] ppid=8502 vsize=0 CPUtime=1798.02 cores=0,2,4,6
/proc/8504/stat : 8504 (bsolo) R 8502 8504 4512 0 -1 4202500 260157 0 0 0 179611 191 0 0 25 0 1 0 810864896 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 0 0 0 0
/proc/8504/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.05
CPU time (s): 1798.08
CPU user time (s): 1796.12
CPU system time (s): 1.9627
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1045272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.12
system time used= 1.9627
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 260157
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= 8182
runsolver used 10.0655 second user time and 20.9848 second system time
The end