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-3462488-1307181051/watcher-3462488-1307181051 -o /tmp/evaluation-result-3462488-1307181051/solver-3462488-1307181051 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462488-1307181051.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.16 2.09 2.03 2/558 9231
/proc/meminfo: memFree=28548548/32951124 swapFree=34426104/67111528
[pid=9231] ppid=9229 vsize=10924 CPUtime=0 cores=0,2,4,6
/proc/9231/stat : 9231 (bsolo) R 9229 9231 7463 0 -1 4202496 339 0 0 0 0 0 0 0 25 0 1 0 908335736 11186176 291 33554432000 134512640 137138936 4294884432 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9231/statm: 2731 291 192 642 0 2087 0
[startup+0.064513 s]
/proc/loadavg: 2.16 2.09 2.03 2/558 9231
/proc/meminfo: memFree=28548548/32951124 swapFree=34426104/67111528
[pid=9231] ppid=9229 vsize=11572 CPUtime=0.06 cores=0,2,4,6
/proc/9231/stat : 9231 (bsolo) R 9229 9231 7463 0 -1 4202496 511 0 0 0 6 0 0 0 25 0 1 0 908335736 11849728 463 33554432000 134512640 137138936 4294884432 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9231/statm: 2893 463 192 642 0 2249 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11572
[startup+0.10053 s]
/proc/loadavg: 2.16 2.09 2.03 2/558 9231
/proc/meminfo: memFree=28548548/32951124 swapFree=34426104/67111528
[pid=9231] ppid=9229 vsize=11956 CPUtime=0.09 cores=0,2,4,6
/proc/9231/stat : 9231 (bsolo) R 9229 9231 7463 0 -1 4202496 594 0 0 0 9 0 0 0 25 0 1 0 908335736 12242944 547 33554432000 134512640 137138936 4294884432 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9231/statm: 2989 547 192 642 0 2345 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11956
[startup+0.300502 s]
/proc/loadavg: 2.16 2.09 2.03 2/558 9231
/proc/meminfo: memFree=28548548/32951124 swapFree=34426104/67111528
[pid=9231] ppid=9229 vsize=14032 CPUtime=0.29 cores=0,2,4,6
/proc/9231/stat : 9231 (bsolo) R 9229 9231 7463 0 -1 4202496 1126 0 0 0 29 0 0 0 25 0 1 0 908335736 14368768 1078 33554432000 134512640 137138936 4294884432 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9231/statm: 3508 1078 192 642 0 2864 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14032
[startup+0.700435 s]
/proc/loadavg: 2.16 2.09 2.03 2/558 9231
/proc/meminfo: memFree=28548548/32951124 swapFree=34426104/67111528
[pid=9231] ppid=9229 vsize=17384 CPUtime=0.69 cores=0,2,4,6
/proc/9231/stat : 9231 (bsolo) R 9229 9231 7463 0 -1 4202496 1938 0 0 0 69 0 0 0 25 0 1 0 908335736 17801216 1890 33554432000 134512640 137138936 4294884432 18446744073709551615 134606854 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9231/statm: 4346 1890 192 642 0 3702 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17384
[startup+1.50031 s]
/proc/loadavg: 2.16 2.09 2.03 3/559 9232
/proc/meminfo: memFree=28540356/32951124 swapFree=34426104/67111528
[pid=9231] ppid=9229 vsize=18900 CPUtime=1.49 cores=0,2,4,6
/proc/9231/stat : 9231 (bsolo) R 9229 9231 7463 0 -1 4202496 2336 0 0 0 149 0 0 0 25 0 1 0 908335736 19353600 2288 33554432000 134512640 137138936 4294884432 18446744073709551615 134618019 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9231/statm: 4725 2288 192 642 0 4081 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18900
[startup+3.10104 s]
/proc/loadavg: 2.16 2.09 2.03 3/559 9232
/proc/meminfo: memFree=28538248/32951124 swapFree=34426104/67111528
[pid=9231] ppid=9229 vsize=19156 CPUtime=3.09 cores=0,2,4,6
/proc/9231/stat : 9231 (bsolo) R 9229 9231 7463 0 -1 4202496 2389 0 0 0 308 1 0 0 25 0 1 0 908335736 19615744 2341 33554432000 134512640 137138936 4294884432 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9231/statm: 4789 2341 192 642 0 4145 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19156
[startup+6.30048 s]
/proc/loadavg: 2.15 2.09 2.03 3/559 9232
/proc/meminfo: memFree=28536136/32951124 swapFree=34426104/67111528
[pid=9231] ppid=9229 vsize=21612 CPUtime=6.3 cores=0,2,4,6
/proc/9231/stat : 9231 (bsolo) R 9229 9231 7463 0 -1 4202496 3005 0 0 0 628 2 0 0 25 0 1 0 908335736 22130688 2957 33554432000 134512640 137138936 4294884432 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9231/statm: 5403 2957 192 642 0 4759 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 21612
[startup+12.7004 s]
/proc/loadavg: 2.14 2.09 2.03 3/559 9232
/proc/meminfo: memFree=28534124/32951124 swapFree=34426104/67111528
[pid=9231] ppid=9229 vsize=22140 CPUtime=12.7 cores=0,2,4,6
/proc/9231/stat : 9231 (bsolo) R 9229 9231 7463 0 -1 4202496 3155 0 0 0 1267 3 0 0 25 0 1 0 908335736 22671360 3107 33554432000 134512640 137138936 4294884432 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9231/statm: 5535 3107 192 642 0 4891 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 22140
[startup+25.5003 s]
/proc/loadavg: 2.18 2.10 2.03 3/559 9232
/proc/meminfo: memFree=28532004/32951124 swapFree=34426104/67111528
[pid=9231] ppid=9229 vsize=24776 CPUtime=25.49 cores=0,2,4,6
/proc/9231/stat : 9231 (bsolo) R 9229 9231 7463 0 -1 4202496 3798 0 0 0 2545 4 0 0 25 0 1 0 908335736 25370624 3750 33554432000 134512640 137138936 4294884432 18446744073709551615 134573444 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9231/statm: 6194 3750 192 642 0 5550 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 24776
[startup+51.101 s]
/proc/loadavg: 2.12 2.09 2.03 3/559 9232
/proc/meminfo: memFree=28529124/32951124 swapFree=34426104/67111528
[pid=9231] ppid=9229 vsize=27440 CPUtime=51.09 cores=0,2,4,6
/proc/9231/stat : 9231 (bsolo) R 9229 9231 7463 0 -1 4202496 4466 0 0 0 5101 8 0 0 25 0 1 0 908335736 28098560 4418 33554432000 134512640 137138936 4294884432 18446744073709551615 134599804 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9231/statm: 6860 4418 192 642 0 6216 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 27440
[startup+102.321 s]
/proc/loadavg: 2.05 2.07 2.02 3/559 9234
/proc/meminfo: memFree=28525748/32951124 swapFree=34426104/67111528
[pid=9231] ppid=9229 vsize=29592 CPUtime=102.32 cores=0,2,4,6
/proc/9231/stat : 9231 (bsolo) R 9229 9231 7463 0 -1 4202496 5013 0 0 0 10218 14 0 0 25 0 1 0 908335736 30302208 4965 33554432000 134512640 137138936 4294884432 18446744073709551615 136364491 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9231/statm: 7398 4965 192 642 0 6754 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 29592
[startup+162.3 s]
/proc/loadavg: 2.02 2.06 2.02 3/559 9236
/proc/meminfo: memFree=28524452/32951124 swapFree=34426104/67111528
[pid=9231] ppid=9229 vsize=31204 CPUtime=162.29 cores=0,2,4,6
/proc/9231/stat : 9231 (bsolo) R 9229 9231 7463 0 -1 4202496 5420 0 0 0 16205 24 0 0 25 0 1 0 908335736 31952896 5372 33554432000 134512640 137138936 4294884432 18446744073709551615 136500305 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9231/statm: 7801 5372 192 642 0 7157 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 31204
[startup+222.3 s]
/proc/loadavg: 2.00 2.05 2.01 3/559 9238
/proc/meminfo: memFree=28524048/32951124 swapFree=34426104/67111528
[pid=9231] ppid=9229 vsize=31204 CPUtime=222.29 cores=0,2,4,6
/proc/9231/stat : 9231 (bsolo) R 9229 9231 7463 0 -1 4202496 5420 0 0 0 22195 34 0 0 25 0 1 0 908335736 31952896 5372 33554432000 134512640 137138936 4294884432 18446744073709551615 135984550 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9231/statm: 7801 5372 192 642 0 7157 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 31204
[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.01 3/559 9292
/proc/meminfo: memFree=28677284/32951124 swapFree=34426104/67111528
[pid=9231] ppid=9229 vsize=31204 CPUtime=282.29 cores=0,2,4,6
/proc/9231/stat : 9231 (bsolo) R 9229 9231 7463 0 -1 4202496 5420 0 0 0 28188 41 0 0 25 0 1 0 908335736 31952896 5372 33554432000 134512640 137138936 4294884432 18446744073709551615 134607004 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9231/statm: 7801 5372 192 642 0 7157 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 31204
[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/559 9294
/proc/meminfo: memFree=28673032/32951124 swapFree=34426104/67111528
[pid=9231] ppid=9229 vsize=31204 CPUtime=342.29 cores=0,2,4,6
/proc/9231/stat : 9231 (bsolo) R 9229 9231 7463 0 -1 4202496 5420 0 0 0 34179 50 0 0 25 0 1 0 908335736 31952896 5372 33554432000 134512640 137138936 4294884432 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9231/statm: 7801 5372 192 642 0 7157 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 31204
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/559 9296
/proc/meminfo: memFree=28673008/32951124 swapFree=34426104/67111528
[pid=9231] ppid=9229 vsize=31204 CPUtime=402.3 cores=0,2,4,6
/proc/9231/stat : 9231 (bsolo) R 9229 9231 7463 0 -1 4202496 5420 0 0 0 40173 57 0 0 25 0 1 0 908335736 31952896 5372 33554432000 134512640 137138936 4294884432 18446744073709551615 136504479 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9231/statm: 7801 5372 192 642 0 7157 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 31204
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/559 9298
/proc/meminfo: memFree=28672092/32951124 swapFree=34426104/67111528
[pid=9231] ppid=9229 vsize=31204 CPUtime=462.3 cores=0,2,4,6
/proc/9231/stat : 9231 (bsolo) R 9229 9231 7463 0 -1 4202496 5420 0 0 0 46165 65 0 0 25 0 1 0 908335736 31952896 5372 33554432000 134512640 137138936 4294884432 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9231/statm: 7801 5372 192 642 0 7157 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 31204
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/559 9300
/proc/meminfo: memFree=28671184/32951124 swapFree=34426104/67111528
[pid=9231] ppid=9229 vsize=31204 CPUtime=522.29 cores=0,2,4,6
/proc/9231/stat : 9231 (bsolo) R 9229 9231 7463 0 -1 4202496 5420 0 0 0 52157 72 0 0 25 0 1 0 908335736 31952896 5372 33554432000 134512640 137138936 4294884432 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9231/statm: 7801 5372 192 642 0 7157 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 31204
[startup+582.3 s]
/proc/loadavg: 2.29 2.07 2.02 3/559 9300
/proc/meminfo: memFree=28670768/32951124 swapFree=34426104/67111528
[pid=9231] ppid=9229 vsize=31204 CPUtime=582.3 cores=0,2,4,6
/proc/9231/stat : 9231 (bsolo) R 9229 9231 7463 0 -1 4202496 5420 0 0 0 58149 81 0 0 25 0 1 0 908335736 31952896 5372 33554432000 134512640 137138936 4294884432 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9231/statm: 7801 5372 192 642 0 7157 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 31204
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28668164/32951124 swapFree=34426104/67111528
[pid=9231] ppid=9229 vsize=32484 CPUtime=642.27 cores=0,2,4,6
/proc/9231/stat : 9231 (bsolo) R 9229 9231 7463 0 -1 4202496 5733 0 0 0 64140 87 0 0 25 0 1 0 908335736 33263616 5685 33554432000 134512640 137138936 4294884432 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9231/statm: 8121 5685 192 642 0 7477 0
Current children cumulated CPU time (s) 642.27
Current children cumulated vsize (KiB) 32484
[startup+702.3 s]
/proc/loadavg: 2.13 2.09 2.03 3/559 9397
/proc/meminfo: memFree=28678312/32951124 swapFree=34426104/67111528
[pid=9231] ppid=9229 vsize=33324 CPUtime=702.27 cores=0,2,4,6
/proc/9231/stat : 9231 (bsolo) R 9229 9231 7463 0 -1 4202496 5942 0 0 0 70133 94 0 0 25 0 1 0 908335736 34123776 5894 33554432000 134512640 137138936 4294884432 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9231/statm: 8331 5894 192 642 0 7687 0
Current children cumulated CPU time (s) 702.27
Current children cumulated vsize (KiB) 33324
[startup+762.321 s]
/proc/loadavg: 2.04 2.07 2.02 3/559 9426
/proc/meminfo: memFree=28634608/32951124 swapFree=34426104/67111528
[pid=9231] ppid=9229 vsize=33640 CPUtime=762.28 cores=0,2,4,6
/proc/9231/stat : 9231 (bsolo) R 9229 9231 7463 0 -1 4202496 6024 0 0 0 76127 101 0 0 25 0 1 0 908335736 34447360 5976 33554432000 134512640 137138936 4294884432 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9231/statm: 8410 5976 192 642 0 7766 0
Current children cumulated CPU time (s) 762.28
Current children cumulated vsize (KiB) 33640
[startup+822.3 s]
/proc/loadavg: 2.01 2.06 2.02 3/559 9428
/proc/meminfo: memFree=28613008/32951124 swapFree=34426104/67111528
[pid=9231] ppid=9229 vsize=35108 CPUtime=822.26 cores=0,2,4,6
/proc/9231/stat : 9231 (bsolo) R 9229 9231 7463 0 -1 4202496 6391 0 0 0 82119 107 0 0 25 0 1 0 908335736 35950592 6343 33554432000 134512640 137138936 4294884432 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9231/statm: 8777 6343 192 642 0 8133 0
Current children cumulated CPU time (s) 822.26
Current children cumulated vsize (KiB) 35108
[startup+882.301 s]
/proc/loadavg: 2.00 2.04 2.01 3/559 9428
/proc/meminfo: memFree=28601436/32951124 swapFree=34426104/67111528
[pid=9231] ppid=9229 vsize=35064 CPUtime=882.27 cores=0,2,4,6
/proc/9231/stat : 9231 (bsolo) R 9229 9231 7463 0 -1 4202496 6391 0 0 0 88115 112 0 0 25 0 1 0 908335736 35905536 6341 33554432000 134512640 137138936 4294884432 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9231/statm: 8766 6341 192 642 0 8122 0
Current children cumulated CPU time (s) 882.27
Current children cumulated vsize (KiB) 35064
[startup+942.301 s]
/proc/loadavg: 2.00 2.03 2.01 3/559 9430
/proc/meminfo: memFree=28594212/32951124 swapFree=34426104/67111528
[pid=9231] ppid=9229 vsize=35048 CPUtime=942.26 cores=0,2,4,6
/proc/9231/stat : 9231 (bsolo) R 9229 9231 7463 0 -1 4202496 6391 0 0 0 94109 117 0 0 25 0 1 0 908335736 35889152 6337 33554432000 134512640 137138936 4294884432 18446744073709551615 134552101 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9231/statm: 8762 6337 192 642 0 8118 0
Current children cumulated CPU time (s) 942.26
Current children cumulated vsize (KiB) 35048
[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/559 9432
/proc/meminfo: memFree=28593296/32951124 swapFree=34426104/67111528
[pid=9231] ppid=9229 vsize=35052 CPUtime=1002.27 cores=0,2,4,6
/proc/9231/stat : 9231 (bsolo) R 9229 9231 7463 0 -1 4202496 6392 0 0 0 100104 123 0 0 25 0 1 0 908335736 35893248 6337 33554432000 134512640 137138936 4294884432 18446744073709551615 136502581 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9231/statm: 8763 6337 192 642 0 8119 0
Current children cumulated CPU time (s) 1002.27
Current children cumulated vsize (KiB) 35052
[startup+1062.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/559 9434
/proc/meminfo: memFree=28582600/32951124 swapFree=34426104/67111528
[pid=9231] ppid=9229 vsize=35048 CPUtime=1062.26 cores=0,2,4,6
/proc/9231/stat : 9231 (bsolo) R 9229 9231 7463 0 -1 4202496 6393 0 0 0 106098 128 0 0 25 0 1 0 908335736 35889152 6337 33554432000 134512640 137138936 4294884432 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9231/statm: 8762 6337 192 642 0 8118 0
Current children cumulated CPU time (s) 1062.26
Current children cumulated vsize (KiB) 35048
[startup+1122.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/559 9436
/proc/meminfo: memFree=28581812/32951124 swapFree=34426104/67111528
[pid=9231] ppid=9229 vsize=35044 CPUtime=1122.27 cores=0,2,4,6
/proc/9231/stat : 9231 (bsolo) R 9229 9231 7463 0 -1 4202496 6393 0 0 0 112094 133 0 0 25 0 1 0 908335736 35885056 6336 33554432000 134512640 137138936 4294884432 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9231/statm: 8761 6336 192 642 0 8117 0
Current children cumulated CPU time (s) 1122.27
Current children cumulated vsize (KiB) 35044
[startup+1182.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/559 9436
/proc/meminfo: memFree=28581760/32951124 swapFree=34426104/67111528
[pid=9231] ppid=9229 vsize=35032 CPUtime=1182.27 cores=0,2,4,6
/proc/9231/stat : 9231 (bsolo) R 9229 9231 7463 0 -1 4202496 6393 0 0 0 118087 140 0 0 25 0 1 0 908335736 35872768 6333 33554432000 134512640 137138936 4294884432 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9231/statm: 8758 6333 192 642 0 8114 0
Current children cumulated CPU time (s) 1182.27
Current children cumulated vsize (KiB) 35032
[startup+1242.3 s]
/proc/loadavg: 2.11 2.07 2.01 3/559 9438
/proc/meminfo: memFree=28581968/32951124 swapFree=34426104/67111528
[pid=9231] ppid=9229 vsize=34916 CPUtime=1242.27 cores=0,2,4,6
/proc/9231/stat : 9231 (bsolo) R 9229 9231 7463 0 -1 4202496 6393 0 0 0 124082 145 0 0 25 0 1 0 908335736 35753984 6304 33554432000 134512640 137138936 4294884432 18446744073709551615 134618483 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9231/statm: 8729 6304 192 642 0 8085 0
Current children cumulated CPU time (s) 1242.27
Current children cumulated vsize (KiB) 34916
[startup+1302.3 s]
/proc/loadavg: 2.07 2.07 2.01 3/559 9440
/proc/meminfo: memFree=28580808/32951124 swapFree=34426104/67111528
[pid=9231] ppid=9229 vsize=34916 CPUtime=1302.27 cores=0,2,4,6
/proc/9231/stat : 9231 (bsolo) R 9229 9231 7463 0 -1 4202496 6393 0 0 0 130076 151 0 0 25 0 1 0 908335736 35753984 6304 33554432000 134512640 137138936 4294884432 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9231/statm: 8729 6304 192 642 0 8085 0
Current children cumulated CPU time (s) 1302.27
Current children cumulated vsize (KiB) 34916
[startup+1362.3 s]
/proc/loadavg: 2.02 2.06 2.01 3/559 9442
/proc/meminfo: memFree=28578284/32951124 swapFree=34426104/67111528
[pid=9231] ppid=9229 vsize=34916 CPUtime=1362.27 cores=0,2,4,6
/proc/9231/stat : 9231 (bsolo) R 9229 9231 7463 0 -1 4202496 6393 0 0 0 136070 157 0 0 25 0 1 0 908335736 35753984 6304 33554432000 134512640 137138936 4294884432 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9231/statm: 8729 6304 192 642 0 8085 0
Current children cumulated CPU time (s) 1362.27
Current children cumulated vsize (KiB) 34916
[startup+1422.32 s]
/proc/loadavg: 2.01 2.04 2.00 3/559 9444
/proc/meminfo: memFree=28578484/32951124 swapFree=34426104/67111528
[pid=9231] ppid=9229 vsize=34908 CPUtime=1422.3 cores=0,2,4,6
/proc/9231/stat : 9231 (bsolo) R 9229 9231 7463 0 -1 4202496 6393 0 0 0 142066 164 0 0 25 0 1 0 908335736 35745792 6302 33554432000 134512640 137138936 4294884432 18446744073709551615 134542495 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9231/statm: 8727 6302 192 642 0 8083 0
Current children cumulated CPU time (s) 1422.3
Current children cumulated vsize (KiB) 34908
[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/559 9444
/proc/meminfo: memFree=28567656/32951124 swapFree=34426104/67111528
[pid=9231] ppid=9229 vsize=34916 CPUtime=1482.27 cores=0,2,4,6
/proc/9231/stat : 9231 (bsolo) R 9229 9231 7463 0 -1 4202496 6395 0 0 0 148056 171 0 0 25 0 1 0 908335736 35753984 6304 33554432000 134512640 137138936 4294884432 18446744073709551615 135984544 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9231/statm: 8729 6304 192 642 0 8085 0
Current children cumulated CPU time (s) 1482.27
Current children cumulated vsize (KiB) 34916
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/559 9446
/proc/meminfo: memFree=28567736/32951124 swapFree=34426104/67111528
[pid=9231] ppid=9229 vsize=35308 CPUtime=1542.27 cores=0,2,4,6
/proc/9231/stat : 9231 (bsolo) R 9229 9231 7463 0 -1 4202496 6488 0 0 0 154051 176 0 0 25 0 1 0 908335736 36155392 6397 33554432000 134512640 137138936 4294884432 18446744073709551615 134606982 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9231/statm: 8827 6397 192 642 0 8183 0
Current children cumulated CPU time (s) 1542.27
Current children cumulated vsize (KiB) 35308
[startup+1602.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/559 9448
/proc/meminfo: memFree=28567692/32951124 swapFree=34426104/67111528
[pid=9231] ppid=9229 vsize=35304 CPUtime=1602.28 cores=0,2,4,6
/proc/9231/stat : 9231 (bsolo) R 9229 9231 7463 0 -1 4202496 6488 0 0 0 160046 182 0 0 25 0 1 0 908335736 36151296 6397 33554432000 134512640 137138936 4294884432 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9231/statm: 8826 6397 192 642 0 8182 0
Current children cumulated CPU time (s) 1602.28
Current children cumulated vsize (KiB) 35304
Solver just ended. Dumping a history of the last processes samples
[startup+1602.72 s]
/proc/loadavg: 2.11 2.05 2.01 3/559 9448
/proc/meminfo: memFree=28567692/32951124 swapFree=34426104/67111528
[pid=9231] ppid=9229 vsize=35304 CPUtime=1602.7 cores=0,2,4,6
/proc/9231/stat : 9231 (bsolo) R 9229 9231 7463 0 -1 4202496 6488 0 0 0 160088 182 0 0 25 0 1 0 908335736 36151296 6397 33554432000 134512640 137138936 4294884432 18446744073709551615 134540738 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9231/statm: 8826 6397 192 642 0 8182 0
Current children cumulated CPU time (s) 1602.7
Current children cumulated vsize (KiB) 35304
[startup+1603.1 s]
/proc/loadavg: 2.11 2.05 2.01 3/559 9448
/proc/meminfo: memFree=28567692/32951124 swapFree=34426104/67111528
[pid=9231] ppid=9229 vsize=35304 CPUtime=1603.08 cores=0,2,4,6
/proc/9231/stat : 9231 (bsolo) R 9229 9231 7463 0 -1 4202496 6488 0 0 0 160126 182 0 0 25 0 1 0 908335736 36151296 6397 33554432000 134512640 137138936 4294884432 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/9231/statm: 8826 6397 192 642 0 8182 0
Current children cumulated CPU time (s) 1603.08
Current children cumulated vsize (KiB) 35304
Child status: 0
Real time (s): 1603.16
CPU time (s): 1603.14
CPU user time (s): 1601.32
CPU system time (s): 1.82172
CPU usage (%): 99.999
Max. virtual memory (cumulated for all children) (KiB): 35316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1601.32
system time used= 1.82172
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6489
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= 2486
runsolver used 9.56255 second user time and 19.83 second system time
The end