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-3462695-1307181830/watcher-3462695-1307181830 -o /tmp/evaluation-result-3462695-1307181830/solver-3462695-1307181830 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462695-1307181830.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.09 2.05 2.01 3/535 18797
/proc/meminfo: memFree=25057604/32951124 swapFree=46970528/67111528
[pid=18797] ppid=18795 vsize=12168 CPUtime=0 cores=1,3,5,7
/proc/18797/stat : 18797 (bsolo) R 18795 18797 16282 0 -1 4202496 666 0 0 0 0 0 0 0 25 0 1 0 810599284 12460032 610 33554432000 134512640 137138936 4287479280 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18797/statm: 3042 610 185 642 0 2398 0
[startup+0.0595361 s]
/proc/loadavg: 2.09 2.05 2.01 3/535 18797
/proc/meminfo: memFree=25057604/32951124 swapFree=46970528/67111528
[pid=18797] ppid=18795 vsize=12168 CPUtime=0.05 cores=1,3,5,7
/proc/18797/stat : 18797 (bsolo) R 18795 18797 16282 0 -1 4202496 666 0 0 0 5 0 0 0 25 0 1 0 810599284 12460032 610 33554432000 134512640 137138936 4287479280 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18797/statm: 3042 610 185 642 0 2398 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 12168
[startup+0.10054 s]
/proc/loadavg: 2.09 2.05 2.01 3/535 18797
/proc/meminfo: memFree=25057604/32951124 swapFree=46970528/67111528
[pid=18797] ppid=18795 vsize=12560 CPUtime=0.08 cores=1,3,5,7
/proc/18797/stat : 18797 (bsolo) R 18795 18797 16282 0 -1 4202496 819 0 0 0 8 0 0 0 25 0 1 0 810599284 12861440 698 33554432000 134512640 137138936 4287479280 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18797/statm: 3140 698 188 642 0 2496 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 12560
[startup+0.300491 s]
/proc/loadavg: 2.09 2.05 2.01 3/535 18797
/proc/meminfo: memFree=25057604/32951124 swapFree=46970528/67111528
[pid=18797] ppid=18795 vsize=13136 CPUtime=0.28 cores=1,3,5,7
/proc/18797/stat : 18797 (bsolo) R 18795 18797 16282 0 -1 4202496 975 0 0 0 28 0 0 0 25 0 1 0 810599284 13451264 854 33554432000 134512640 137138936 4287479280 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18797/statm: 3284 854 192 642 0 2640 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 13136
[startup+0.700423 s]
/proc/loadavg: 2.09 2.05 2.01 3/535 18797
/proc/meminfo: memFree=25057604/32951124 swapFree=46970528/67111528
[pid=18797] ppid=18795 vsize=14972 CPUtime=0.69 cores=1,3,5,7
/proc/18797/stat : 18797 (bsolo) R 18795 18797 16282 0 -1 4202496 1425 0 0 0 68 1 0 0 25 0 1 0 810599284 15331328 1304 33554432000 134512640 137138936 4287479280 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18797/statm: 3743 1304 192 642 0 3099 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14972
[startup+1.50029 s]
/proc/loadavg: 2.09 2.05 2.01 3/536 18798
/proc/meminfo: memFree=25051272/32951124 swapFree=46970528/67111528
[pid=18797] ppid=18795 vsize=17836 CPUtime=1.48 cores=1,3,5,7
/proc/18797/stat : 18797 (bsolo) R 18795 18797 16282 0 -1 4202496 2146 0 0 0 147 1 0 0 25 0 1 0 810599284 18264064 2025 33554432000 134512640 137138936 4287479280 18446744073709551615 135984564 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18797/statm: 4459 2025 192 642 0 3815 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 17836
[startup+3.10099 s]
/proc/loadavg: 2.09 2.05 2.01 3/536 18798
/proc/meminfo: memFree=25046560/32951124 swapFree=46970528/67111528
[pid=18797] ppid=18795 vsize=22324 CPUtime=3.09 cores=1,3,5,7
/proc/18797/stat : 18797 (bsolo) R 18795 18797 16282 0 -1 4202496 3260 0 0 0 307 2 0 0 25 0 1 0 810599284 22859776 3139 33554432000 134512640 137138936 4287479280 18446744073709551615 134599777 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18797/statm: 5581 3139 192 642 0 4937 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22324
[startup+6.30042 s]
/proc/loadavg: 2.08 2.05 2.01 3/536 18798
/proc/meminfo: memFree=25036544/32951124 swapFree=46970528/67111528
[pid=18797] ppid=18795 vsize=31900 CPUtime=6.29 cores=1,3,5,7
/proc/18797/stat : 18797 (bsolo) R 18795 18797 16282 0 -1 4202496 5669 0 0 0 627 2 0 0 25 0 1 0 810599284 32665600 5548 33554432000 134512640 137138936 4287479280 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18797/statm: 7975 5548 192 642 0 7331 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 31900
[startup+12.7003 s]
/proc/loadavg: 2.08 2.05 2.01 3/536 18798
/proc/meminfo: memFree=25021988/32951124 swapFree=46970528/67111528
[pid=18797] ppid=18795 vsize=44260 CPUtime=12.69 cores=1,3,5,7
/proc/18797/stat : 18797 (bsolo) R 18795 18797 16282 0 -1 4202496 8746 0 0 0 1266 3 0 0 25 0 1 0 810599284 45322240 8625 33554432000 134512640 137138936 4287479280 18446744073709551615 134576069 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18797/statm: 11065 8625 192 642 0 10421 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 44260
[startup+25.501 s]
/proc/loadavg: 2.06 2.04 2.00 3/536 18798
/proc/meminfo: memFree=25001308/32951124 swapFree=46970528/67111528
[pid=18797] ppid=18795 vsize=64524 CPUtime=25.48 cores=1,3,5,7
/proc/18797/stat : 18797 (bsolo) R 18795 18797 16282 0 -1 4202496 13824 0 0 0 2543 5 0 0 25 0 1 0 810599284 66072576 13703 33554432000 134512640 137138936 4287479280 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18797/statm: 16131 13703 192 642 0 15487 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 64524
[startup+51.1004 s]
/proc/loadavg: 2.09 2.06 2.01 3/536 18799
/proc/meminfo: memFree=24975228/32951124 swapFree=46970528/67111528
[pid=18797] ppid=18795 vsize=91008 CPUtime=51.08 cores=1,3,5,7
/proc/18797/stat : 18797 (bsolo) R 18795 18797 16282 0 -1 4202496 20427 0 0 0 5100 8 0 0 25 0 1 0 810599284 93192192 20306 33554432000 134512640 137138936 4287479280 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18797/statm: 22752 20306 192 642 0 22108 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 91008
[startup+102.32 s]
/proc/loadavg: 2.04 2.05 2.00 3/536 18800
/proc/meminfo: memFree=24938004/32951124 swapFree=46970528/67111528
[pid=18797] ppid=18795 vsize=125820 CPUtime=102.31 cores=1,3,5,7
/proc/18797/stat : 18797 (bsolo) R 18795 18797 16282 0 -1 4202496 29176 0 0 0 10217 14 0 0 25 0 1 0 810599284 128839680 29015 33554432000 134512640 137138936 4287479280 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18797/statm: 31455 29015 192 642 0 30811 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 125820
[startup+162.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/536 18802
/proc/meminfo: memFree=24926076/32951124 swapFree=46970528/67111528
[pid=18797] ppid=18795 vsize=137664 CPUtime=162.29 cores=1,3,5,7
/proc/18797/stat : 18797 (bsolo) R 18795 18797 16282 0 -1 4202496 32144 0 0 0 16212 17 0 0 25 0 1 0 810599284 140967936 31983 33554432000 134512640 137138936 4287479280 18446744073709551615 134542115 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18797/statm: 34416 31983 192 642 0 33772 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 137664
[startup+222.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 18804
/proc/meminfo: memFree=24877440/32951124 swapFree=46970528/67111528
[pid=18797] ppid=18795 vsize=185912 CPUtime=222.3 cores=1,3,5,7
/proc/18797/stat : 18797 (bsolo) R 18795 18797 16282 0 -1 4202496 44197 0 0 0 22206 24 0 0 25 0 1 0 810599284 190373888 44036 33554432000 134512640 137138936 4287479280 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18797/statm: 46478 44036 192 642 0 45834 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 185912
[startup+282.301 s]
/proc/loadavg: 2.08 2.04 2.01 3/536 18805
/proc/meminfo: memFree=24849372/32951124 swapFree=46970528/67111528
[pid=18797] ppid=18795 vsize=215348 CPUtime=282.29 cores=1,3,5,7
/proc/18797/stat : 18797 (bsolo) R 18795 18797 16282 0 -1 4202496 51572 0 0 0 28201 28 0 0 25 0 1 0 810599284 220516352 51411 33554432000 134512640 137138936 4287479280 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18797/statm: 53837 51411 192 642 0 53193 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 215348
[startup+342.3 s]
/proc/loadavg: 2.10 2.04 2.00 3/536 18807
/proc/meminfo: memFree=24817964/32951124 swapFree=46970528/67111528
[pid=18797] ppid=18795 vsize=246728 CPUtime=342.29 cores=1,3,5,7
/proc/18797/stat : 18797 (bsolo) R 18795 18797 16282 0 -1 4202496 59403 0 0 0 34196 33 0 0 25 0 1 0 810599284 252649472 59242 33554432000 134512640 137138936 4287479280 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18797/statm: 61682 59242 192 642 0 61038 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 246728
[startup+402.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/536 18808
/proc/meminfo: memFree=24792396/32951124 swapFree=46970528/67111528
[pid=18797] ppid=18795 vsize=271460 CPUtime=402.3 cores=1,3,5,7
/proc/18797/stat : 18797 (bsolo) R 18795 18797 16282 0 -1 4202496 65581 0 0 0 40193 37 0 0 25 0 1 0 810599284 277975040 65420 33554432000 134512640 137138936 4287479280 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18797/statm: 67865 65420 192 642 0 67221 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 271460
[startup+462.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/536 18810
/proc/meminfo: memFree=24774620/32951124 swapFree=46970528/67111528
[pid=18797] ppid=18795 vsize=288332 CPUtime=462.3 cores=1,3,5,7
/proc/18797/stat : 18797 (bsolo) R 18795 18797 16282 0 -1 4202496 69815 0 0 0 46190 40 0 0 25 0 1 0 810599284 295251968 69654 33554432000 134512640 137138936 4287479280 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18797/statm: 72083 69654 192 642 0 71439 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 288332
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 18812
/proc/meminfo: memFree=24756740/32951124 swapFree=46970528/67111528
[pid=18797] ppid=18795 vsize=307028 CPUtime=522.3 cores=1,3,5,7
/proc/18797/stat : 18797 (bsolo) R 18795 18797 16282 0 -1 4202496 74479 0 0 0 52186 44 0 0 25 0 1 0 810599284 314396672 74318 33554432000 134512640 137138936 4287479280 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18797/statm: 76757 74318 192 642 0 76113 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 307028
[startup+582.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/536 18813
/proc/meminfo: memFree=24741576/32951124 swapFree=46970528/67111528
[pid=18797] ppid=18795 vsize=322992 CPUtime=582.3 cores=1,3,5,7
/proc/18797/stat : 18797 (bsolo) R 18795 18797 16282 0 -1 4202496 78475 0 0 0 58182 48 0 0 25 0 1 0 810599284 330743808 78314 33554432000 134512640 137138936 4287479280 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18797/statm: 80748 78314 192 642 0 80104 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 322992
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=24285388/32951124 swapFree=46970528/67111528
[pid=18797] ppid=18795 vsize=372368 CPUtime=1062.32 cores=1,3,5,7
/proc/18797/stat : 18797 (bsolo) R 18795 18797 16282 0 -1 4202496 90920 0 0 0 106157 75 0 0 25 0 1 0 810599284 381304832 90636 33554432000 134512640 137138936 4287479280 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18797/statm: 93092 90636 192 642 0 92448 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 372368
[startup+1122.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/536 18882
/proc/meminfo: memFree=24168808/32951124 swapFree=46970528/67111528
[pid=18797] ppid=18795 vsize=372368 CPUtime=1122.31 cores=1,3,5,7
/proc/18797/stat : 18797 (bsolo) R 18795 18797 16282 0 -1 4202496 90920 0 0 0 112153 78 0 0 25 0 1 0 810599284 381304832 90636 33554432000 134512640 137138936 4287479280 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18797/statm: 93092 90636 192 642 0 92448 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 372368
[startup+1182.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/536 18883
/proc/meminfo: memFree=24152888/32951124 swapFree=46970528/67111528
[pid=18797] ppid=18795 vsize=372368 CPUtime=1182.31 cores=1,3,5,7
/proc/18797/stat : 18797 (bsolo) R 18795 18797 16282 0 -1 4202496 90920 0 0 0 118151 80 0 0 25 0 1 0 810599284 381304832 90636 33554432000 134512640 137138936 4287479280 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18797/statm: 93092 90636 192 642 0 92448 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 372368
[startup+1242.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/536 18885
/proc/meminfo: memFree=24131792/32951124 swapFree=46970528/67111528
[pid=18797] ppid=18795 vsize=372368 CPUtime=1242.32 cores=1,3,5,7
/proc/18797/stat : 18797 (bsolo) R 18795 18797 16282 0 -1 4202496 90920 0 0 0 124151 81 0 0 25 0 1 0 810599284 381304832 90636 33554432000 134512640 137138936 4287479280 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18797/statm: 93092 90636 192 642 0 92448 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 372368
[startup+1302.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/536 18889
/proc/meminfo: memFree=24117196/32951124 swapFree=46970528/67111528
[pid=18797] ppid=18795 vsize=372368 CPUtime=1302.34 cores=1,3,5,7
/proc/18797/stat : 18797 (bsolo) R 18795 18797 16282 0 -1 4202496 90920 0 0 0 130151 83 0 0 25 0 1 0 810599284 381304832 90636 33554432000 134512640 137138936 4287479280 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18797/statm: 93092 90636 192 642 0 92448 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 372368
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 18891
/proc/meminfo: memFree=24108812/32951124 swapFree=46970528/67111528
[pid=18797] ppid=18795 vsize=372376 CPUtime=1362.32 cores=1,3,5,7
/proc/18797/stat : 18797 (bsolo) R 18795 18797 16282 0 -1 4202496 90923 0 0 0 136147 85 0 0 25 0 1 0 810599284 381313024 90639 33554432000 134512640 137138936 4287479280 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18797/statm: 93094 90639 192 642 0 92450 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 372376
[startup+1422.32 s]
/proc/loadavg: 2.09 2.05 2.01 3/536 18893
/proc/meminfo: memFree=24086940/32951124 swapFree=46970528/67111528
[pid=18797] ppid=18795 vsize=372400 CPUtime=1422.34 cores=1,3,5,7
/proc/18797/stat : 18797 (bsolo) R 18795 18797 16282 0 -1 4202496 90929 0 0 0 142147 87 0 0 25 0 1 0 810599284 381337600 90645 33554432000 134512640 137138936 4287479280 18446744073709551615 135984556 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18797/statm: 93100 90645 192 642 0 92456 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 372400
[startup+1482.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/536 18894
/proc/meminfo: memFree=24086672/32951124 swapFree=46970528/67111528
[pid=18797] ppid=18795 vsize=372420 CPUtime=1482.32 cores=1,3,5,7
/proc/18797/stat : 18797 (bsolo) R 18795 18797 16282 0 -1 4202496 90934 0 0 0 148144 88 0 0 25 0 1 0 810599284 381358080 90650 33554432000 134512640 137138936 4287479280 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18797/statm: 93105 90650 192 642 0 92461 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 372420
[startup+1542.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/536 18896
/proc/meminfo: memFree=24086628/32951124 swapFree=46970528/67111528
[pid=18797] ppid=18795 vsize=372444 CPUtime=1542.33 cores=1,3,5,7
/proc/18797/stat : 18797 (bsolo) R 18795 18797 16282 0 -1 4202496 90940 0 0 0 154143 90 0 0 25 0 1 0 810599284 381382656 90656 33554432000 134512640 137138936 4287479280 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18797/statm: 93111 90656 192 642 0 92467 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 372444
[startup+1602.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/536 18897
/proc/meminfo: memFree=24085488/32951124 swapFree=46970528/67111528
[pid=18797] ppid=18795 vsize=372468 CPUtime=1602.33 cores=1,3,5,7
/proc/18797/stat : 18797 (bsolo) R 18795 18797 16282 0 -1 4202496 90946 0 0 0 160142 91 0 0 25 0 1 0 810599284 381407232 90662 33554432000 134512640 137138936 4287479280 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18797/statm: 93117 90662 192 642 0 92473 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 372468
[startup+1662.3 s]
/proc/loadavg: 2.15 2.06 2.01 3/536 18899
/proc/meminfo: memFree=24085812/32951124 swapFree=46970528/67111528
[pid=18797] ppid=18795 vsize=372468 CPUtime=1662.33 cores=1,3,5,7
/proc/18797/stat : 18797 (bsolo) R 18795 18797 16282 0 -1 4202496 90946 0 0 0 166137 96 0 0 25 0 1 0 810599284 381407232 90662 33554432000 134512640 137138936 4287479280 18446744073709551615 134542322 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18797/statm: 93117 90662 192 642 0 92473 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 372468
[startup+1722.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/536 18901
/proc/meminfo: memFree=24085168/32951124 swapFree=46970528/67111528
[pid=18797] ppid=18795 vsize=372468 CPUtime=1722.33 cores=1,3,5,7
/proc/18797/stat : 18797 (bsolo) R 18795 18797 16282 0 -1 4202496 90946 0 0 0 172134 99 0 0 25 0 1 0 810599284 381407232 90662 33554432000 134512640 137138936 4287479280 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18797/statm: 93117 90662 192 642 0 92473 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 372468
[startup+1782.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/536 18902
/proc/meminfo: memFree=24062184/32951124 swapFree=46970528/67111528
[pid=18797] ppid=18795 vsize=372468 CPUtime=1782.33 cores=1,3,5,7
/proc/18797/stat : 18797 (bsolo) R 18795 18797 16282 0 -1 4202496 90946 0 0 0 178130 103 0 0 25 0 1 0 810599284 381407232 90662 33554432000 134512640 137138936 4287479280 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18797/statm: 93117 90662 192 642 0 92473 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 372468
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.04 2.05 2.00 3/536 18902
/proc/meminfo: memFree=24062680/32951124 swapFree=46970528/67111528
[pid=18797] ppid=18795 vsize=372468 CPUtime=1785.53 cores=1,3,5,7
/proc/18797/stat : 18797 (bsolo) R 18795 18797 16282 0 -1 4202496 90946 0 0 0 178450 103 0 0 25 0 1 0 810599284 381407232 90662 33554432000 134512640 137138936 4287479280 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18797/statm: 93117 90662 192 642 0 92473 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 372468
[startup+1791.92 s]
/proc/loadavg: 2.04 2.04 2.00 3/536 18902
/proc/meminfo: memFree=24063792/32951124 swapFree=46970528/67111528
[pid=18797] ppid=18795 vsize=372468 CPUtime=1791.95 cores=1,3,5,7
/proc/18797/stat : 18797 (bsolo) R 18795 18797 16282 0 -1 4202496 90946 0 0 0 179091 104 0 0 25 0 1 0 810599284 381407232 90662 33554432000 134512640 137138936 4287479280 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18797/statm: 93117 90662 192 642 0 92473 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 372468
[startup+1795.1 s]
/proc/loadavg: 2.03 2.04 2.00 3/536 18903
/proc/meminfo: memFree=24063668/32951124 swapFree=46970528/67111528
[pid=18797] ppid=18795 vsize=372468 CPUtime=1795.15 cores=1,3,5,7
/proc/18797/stat : 18797 (bsolo) R 18795 18797 16282 0 -1 4202496 90946 0 0 0 179411 104 0 0 25 0 1 0 810599284 381407232 90662 33554432000 134512640 137138936 4287479280 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18797/statm: 93117 90662 192 642 0 92473 0
Current children cumulated CPU time (s) 1795.15
Current children cumulated vsize (KiB) 372468
[startup+1796.7 s]
/proc/loadavg: 2.03 2.04 2.00 3/536 18903
/proc/meminfo: memFree=24063668/32951124 swapFree=46970528/67111528
[pid=18797] ppid=18795 vsize=372468 CPUtime=1796.73 cores=1,3,5,7
/proc/18797/stat : 18797 (bsolo) R 18795 18797 16282 0 -1 4202496 90946 0 0 0 179569 104 0 0 25 0 1 0 810599284 381407232 90662 33554432000 134512640 137138936 4287479280 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18797/statm: 93117 90662 192 642 0 92473 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 372468
[startup+1797.5 s]
/proc/loadavg: 2.03 2.04 2.00 3/536 18903
/proc/meminfo: memFree=24063172/32951124 swapFree=46970528/67111528
[pid=18797] ppid=18795 vsize=372468 CPUtime=1797.53 cores=1,3,5,7
/proc/18797/stat : 18797 (bsolo) R 18795 18797 16282 0 -1 4202496 90946 0 0 0 179649 104 0 0 25 0 1 0 810599284 381407232 90662 33554432000 134512640 137138936 4287479280 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18797/statm: 93117 90662 192 642 0 92473 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (KiB) 372468
[startup+1797.9 s]
/proc/loadavg: 2.03 2.04 2.00 3/536 18903
/proc/meminfo: memFree=24063172/32951124 swapFree=46970528/67111528
[pid=18797] ppid=18795 vsize=372468 CPUtime=1797.93 cores=1,3,5,7
/proc/18797/stat : 18797 (bsolo) R 18795 18797 16282 0 -1 4202496 90946 0 0 0 179689 104 0 0 25 0 1 0 810599284 381407232 90662 33554432000 134512640 137138936 4287479280 18446744073709551615 134542444 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/18797/statm: 93117 90662 192 642 0 92473 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 372468
Child status: 0
Real time (s): 1798
CPU time (s): 1798.04
CPU user time (s): 1796.98
CPU system time (s): 1.05984
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 372468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.98
system time used= 1.05984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90947
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= 15283
runsolver used 8.99963 second user time and 22.0686 second system time
The end