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-3463421-1307175073/watcher-3463421-1307175073 -o /tmp/evaluation-result-3463421-1307175073/solver-3463421-1307175073 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463421-1307175073.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: 1.58 1.91 1.97 2/489 30156
/proc/meminfo: memFree=27139424/32951124 swapFree=63649284/67111528
[pid=30156] ppid=30154 vsize=16952 CPUtime=0.01 cores=1,3,5,7
/proc/30156/stat : 30156 (bsolo) R 30154 30156 28154 0 -1 4202496 486 0 0 0 1 0 0 0 20 0 1 0 829105798 17358848 441 33554432000 134512640 137138936 4287755872 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30156/statm: 4238 442 217 642 0 2224 0
[startup+0.112687 s]
/proc/loadavg: 1.58 1.91 1.97 2/489 30156
/proc/meminfo: memFree=27139424/32951124 swapFree=63649284/67111528
[pid=30156] ppid=30154 vsize=21032 CPUtime=0.11 cores=1,3,5,7
/proc/30156/stat : 30156 (bsolo) R 30154 30156 28154 0 -1 4202496 1888 0 0 0 11 0 0 0 21 0 1 0 829105798 21536768 1843 33554432000 134512640 137138936 4287755872 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30156/statm: 5258 1843 584 642 0 3244 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 21032
[startup+0.200673 s]
/proc/loadavg: 1.58 1.91 1.97 2/489 30156
/proc/meminfo: memFree=27139424/32951124 swapFree=63649284/67111528
[pid=30156] ppid=30154 vsize=24700 CPUtime=0.19 cores=1,3,5,7
/proc/30156/stat : 30156 (bsolo) R 30154 30156 28154 0 -1 4202496 3141 0 0 0 19 0 0 0 21 0 1 0 829105798 25292800 3096 33554432000 134512640 137138936 4287755872 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30156/statm: 6175 3097 913 642 0 4161 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 24700
[startup+0.300666 s]
/proc/loadavg: 1.58 1.91 1.97 2/489 30156
/proc/meminfo: memFree=27139424/32951124 swapFree=63649284/67111528
[pid=30156] ppid=30154 vsize=28912 CPUtime=0.29 cores=1,3,5,7
/proc/30156/stat : 30156 (bsolo) R 30154 30156 28154 0 -1 4202496 4552 0 0 0 29 0 0 0 21 0 1 0 829105798 29605888 4507 33554432000 134512640 137138936 4287755872 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30156/statm: 7228 4508 1282 642 0 5214 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28912
[startup+0.700606 s]
/proc/loadavg: 1.58 1.91 1.97 2/489 30156
/proc/meminfo: memFree=27139424/32951124 swapFree=63649284/67111528
[pid=30156] ppid=30154 vsize=40824 CPUtime=0.69 cores=1,3,5,7
/proc/30156/stat : 30156 (bsolo) R 30154 30156 28154 0 -1 4202496 9159 0 0 0 68 1 0 0 22 0 1 0 829105798 41803776 7744 33554432000 134512640 137138936 4287755872 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30156/statm: 10206 7744 185 642 0 9562 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 40824
[startup+1.50047 s]
/proc/loadavg: 1.58 1.91 1.97 3/490 30157
/proc/meminfo: memFree=27100108/32951124 swapFree=63649284/67111528
[pid=30156] ppid=30154 vsize=40824 CPUtime=1.49 cores=1,3,5,7
/proc/30156/stat : 30156 (bsolo) R 30154 30156 28154 0 -1 4202496 9159 0 0 0 147 2 0 0 25 0 1 0 829105798 41803776 7744 33554432000 134512640 137138936 4287755872 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30156/statm: 10206 7744 185 642 0 9562 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 40824
[startup+3.1002 s]
/proc/loadavg: 1.58 1.91 1.97 3/490 30157
/proc/meminfo: memFree=27092420/32951124 swapFree=63649284/67111528
[pid=30156] ppid=30154 vsize=40824 CPUtime=3.09 cores=1,3,5,7
/proc/30156/stat : 30156 (bsolo) R 30154 30156 28154 0 -1 4202496 9159 0 0 0 304 5 0 0 25 0 1 0 829105798 41803776 7744 33554432000 134512640 137138936 4287755872 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30156/statm: 10206 7744 185 642 0 9562 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 40824
[startup+6.30066 s]
/proc/loadavg: 1.61 1.91 1.97 3/490 30158
/proc/meminfo: memFree=27083548/32951124 swapFree=63649284/67111528
[pid=30156] ppid=30154 vsize=40696 CPUtime=6.29 cores=1,3,5,7
/proc/30156/stat : 30156 (bsolo) R 30154 30156 28154 0 -1 4202496 11350 0 0 0 621 8 0 0 25 0 1 0 829105798 41672704 7721 33554432000 134512640 137138936 4287755872 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30156/statm: 10174 7721 192 642 0 9530 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 40696
[startup+12.7006 s]
/proc/loadavg: 1.64 1.92 1.97 3/490 30158
/proc/meminfo: memFree=27041292/32951124 swapFree=63649284/67111528
[pid=30156] ppid=30154 vsize=55644 CPUtime=12.7 cores=1,3,5,7
/proc/30156/stat : 30156 (bsolo) R 30154 30156 28154 0 -1 4202496 15117 0 0 0 1260 10 0 0 25 0 1 0 829105798 56979456 11488 33554432000 134512640 137138936 4287755872 18446744073709551615 134542755 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30156/statm: 13911 11488 192 642 0 13267 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 55644
[startup+25.5004 s]
/proc/loadavg: 1.72 1.92 1.97 3/490 30158
/proc/meminfo: memFree=26978184/32951124 swapFree=63649284/67111528
[pid=30156] ppid=30154 vsize=86860 CPUtime=25.5 cores=1,3,5,7
/proc/30156/stat : 30156 (bsolo) R 30154 30156 28154 0 -1 4202496 22897 0 0 0 2537 13 0 0 25 0 1 0 829105798 88944640 19268 33554432000 134512640 137138936 4287755872 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30156/statm: 21715 19268 192 642 0 21071 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 86860
[startup+51.1011 s]
/proc/loadavg: 1.81 1.92 1.97 3/490 30159
/proc/meminfo: memFree=26920068/32951124 swapFree=63649284/67111528
[pid=30156] ppid=30154 vsize=134280 CPUtime=51.09 cores=1,3,5,7
/proc/30156/stat : 30156 (bsolo) R 30154 30156 28154 0 -1 4202496 34757 0 0 0 5091 18 0 0 25 0 1 0 829105798 137502720 31128 33554432000 134512640 137138936 4287755872 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30156/statm: 33570 31128 192 642 0 32926 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 134280
[startup+102.301 s]
/proc/loadavg: 1.92 1.93 1.97 3/490 30160
/proc/meminfo: memFree=26841192/32951124 swapFree=63649284/67111528
[pid=30156] ppid=30154 vsize=197836 CPUtime=102.3 cores=1,3,5,7
/proc/30156/stat : 30156 (bsolo) R 30154 30156 28154 0 -1 4202496 50644 0 0 0 10204 26 0 0 25 0 1 0 829105798 202584064 47015 33554432000 134512640 137138936 4287755872 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30156/statm: 49459 47015 192 642 0 48815 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 197836
[startup+162.3 s]
/proc/loadavg: 1.97 1.94 1.97 3/490 30162
/proc/meminfo: memFree=26766756/32951124 swapFree=63649284/67111528
[pid=30156] ppid=30154 vsize=258616 CPUtime=162.29 cores=1,3,5,7
/proc/30156/stat : 30156 (bsolo) R 30154 30156 28154 0 -1 4202496 65856 0 0 0 16196 33 0 0 25 0 1 0 829105798 264822784 62227 33554432000 134512640 137138936 4287755872 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30156/statm: 64654 62227 192 642 0 64010 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 258616
[startup+222.319 s]
/proc/loadavg: 2.22 2.01 1.99 3/490 30163
/proc/meminfo: memFree=26732248/32951124 swapFree=63649284/67111528
[pid=30156] ppid=30154 vsize=273176 CPUtime=222.29 cores=1,3,5,7
/proc/30156/stat : 30156 (bsolo) R 30154 30156 28154 0 -1 4202496 69643 0 0 0 22190 39 0 0 25 0 1 0 829105798 279732224 65869 33554432000 134512640 137138936 4287755872 18446744073709551615 134607604 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30156/statm: 68294 65869 192 642 0 67650 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 273176
[startup+282.3 s]
/proc/loadavg: 2.18 2.04 2.00 3/490 30165
/proc/meminfo: memFree=26733336/32951124 swapFree=63649284/67111528
[pid=30156] ppid=30154 vsize=273176 CPUtime=282.27 cores=1,3,5,7
/proc/30156/stat : 30156 (bsolo) R 30154 30156 28154 0 -1 4202496 69643 0 0 0 28185 42 0 0 25 0 1 0 829105798 279732224 65869 33554432000 134512640 137138936 4287755872 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30156/statm: 68294 65869 192 642 0 67650 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 273176
[startup+342.301 s]
/proc/loadavg: 2.07 2.03 2.00 3/490 30166
/proc/meminfo: memFree=26722032/32951124 swapFree=63649284/67111528
[pid=30156] ppid=30154 vsize=273176 CPUtime=342.28 cores=1,3,5,7
/proc/30156/stat : 30156 (bsolo) R 30154 30156 28154 0 -1 4202496 69643 0 0 0 34183 45 0 0 25 0 1 0 829105798 279732224 65869 33554432000 134512640 137138936 4287755872 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30156/statm: 68294 65869 192 642 0 67650 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 273176
[startup+402.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/490 30168
/proc/meminfo: memFree=26675740/32951124 swapFree=63649284/67111528
[pid=30156] ppid=30154 vsize=306136 CPUtime=402.27 cores=1,3,5,7
/proc/30156/stat : 30156 (bsolo) R 30154 30156 28154 0 -1 4202496 77886 0 0 0 40177 50 0 0 25 0 1 0 829105798 313483264 74112 33554432000 134512640 137138936 4287755872 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30156/statm: 76534 74112 192 642 0 75890 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 306136
[startup+462.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/490 30170
/proc/meminfo: memFree=26636776/32951124 swapFree=63649284/67111528
[pid=30156] ppid=30154 vsize=343680 CPUtime=462.27 cores=1,3,5,7
/proc/30156/stat : 30156 (bsolo) R 30154 30156 28154 0 -1 4202496 87441 0 0 0 46168 59 0 0 25 0 1 0 829105798 351928320 83492 33554432000 134512640 137138936 4287755872 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30156/statm: 85920 83492 192 642 0 85276 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 343680
[startup+522.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/490 30171
/proc/meminfo: memFree=26636856/32951124 swapFree=63649284/67111528
[pid=30156] ppid=30154 vsize=343680 CPUtime=522.28 cores=1,3,5,7
/proc/30156/stat : 30156 (bsolo) R 30154 30156 28154 0 -1 4202496 87441 0 0 0 52166 62 0 0 25 0 1 0 829105798 351928320 83492 33554432000 134512640 137138936 4287755872 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30156/statm: 85920 83492 192 642 0 85276 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 343680
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/490 30173
/proc/meminfo: memFree=26633224/32951124 swapFree=63649284/67111528
[pid=30156] ppid=30154 vsize=343680 CPUtime=582.28 cores=1,3,5,7
/proc/30156/stat : 30156 (bsolo) R 30154 30156 28154 0 -1 4202496 87441 0 0 0 58162 66 0 0 25 0 1 0 829105798 351928320 83492 33554432000 134512640 137138936 4287755872 18446744073709551615 134542439 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30156/statm: 85920 83492 192 642 0 85276 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 343680
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=26597108/32951124 swapFree=63649284/67111528
[pid=30156] ppid=30154 vsize=374540 CPUtime=1062.29 cores=1,3,5,7
/proc/30156/stat : 30156 (bsolo) R 30154 30156 28154 0 -1 4202496 95339 0 0 0 106141 88 0 0 25 0 1 0 829105798 383528960 91197 33554432000 134512640 137138936 4287755872 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30156/statm: 93635 91197 192 642 0 92991 0
Current children cumulated CPU time (s) 1062.29
Current children cumulated vsize (KiB) 374540
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/490 30187
/proc/meminfo: memFree=26596944/32951124 swapFree=63649284/67111528
[pid=30156] ppid=30154 vsize=374540 CPUtime=1122.28 cores=1,3,5,7
/proc/30156/stat : 30156 (bsolo) R 30154 30156 28154 0 -1 4202496 95339 0 0 0 112138 90 0 0 25 0 1 0 829105798 383528960 91197 33554432000 134512640 137138936 4287755872 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30156/statm: 93635 91197 192 642 0 92991 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 374540
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/490 30189
/proc/meminfo: memFree=26596648/32951124 swapFree=63649284/67111528
[pid=30156] ppid=30154 vsize=374540 CPUtime=1182.29 cores=1,3,5,7
/proc/30156/stat : 30156 (bsolo) R 30154 30156 28154 0 -1 4202496 95339 0 0 0 118135 94 0 0 25 0 1 0 829105798 383528960 91197 33554432000 134512640 137138936 4287755872 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30156/statm: 93635 91197 192 642 0 92991 0
Current children cumulated CPU time (s) 1182.29
Current children cumulated vsize (KiB) 374540
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/490 30190
/proc/meminfo: memFree=26578008/32951124 swapFree=63649284/67111528
[pid=30156] ppid=30154 vsize=374540 CPUtime=1242.29 cores=1,3,5,7
/proc/30156/stat : 30156 (bsolo) R 30154 30156 28154 0 -1 4202496 95339 0 0 0 124133 96 0 0 25 0 1 0 829105798 383528960 91197 33554432000 134512640 137138936 4287755872 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30156/statm: 93635 91197 192 642 0 92991 0
Current children cumulated CPU time (s) 1242.29
Current children cumulated vsize (KiB) 374540
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/490 30192
/proc/meminfo: memFree=26577600/32951124 swapFree=63649284/67111528
[pid=30156] ppid=30154 vsize=374540 CPUtime=1302.29 cores=1,3,5,7
/proc/30156/stat : 30156 (bsolo) R 30154 30156 28154 0 -1 4202496 95339 0 0 0 130131 98 0 0 25 0 1 0 829105798 383528960 91197 33554432000 134512640 137138936 4287755872 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30156/statm: 93635 91197 192 642 0 92991 0
Current children cumulated CPU time (s) 1302.29
Current children cumulated vsize (KiB) 374540
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/490 30194
/proc/meminfo: memFree=26578804/32951124 swapFree=63649284/67111528
[pid=30156] ppid=30154 vsize=374540 CPUtime=1362.29 cores=1,3,5,7
/proc/30156/stat : 30156 (bsolo) R 30154 30156 28154 0 -1 4202496 95339 0 0 0 136129 100 0 0 25 0 1 0 829105798 383528960 91197 33554432000 134512640 137138936 4287755872 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30156/statm: 93635 91197 192 642 0 92991 0
Current children cumulated CPU time (s) 1362.29
Current children cumulated vsize (KiB) 374540
[startup+1422.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/490 30195
/proc/meminfo: memFree=26568736/32951124 swapFree=63649284/67111528
[pid=30156] ppid=30154 vsize=385256 CPUtime=1422.3 cores=1,3,5,7
/proc/30156/stat : 30156 (bsolo) R 30154 30156 28154 0 -1 4202496 98003 0 0 0 142127 103 0 0 25 0 1 0 829105798 394502144 93861 33554432000 134512640 137138936 4287755872 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30156/statm: 96314 93861 192 642 0 95670 0
Current children cumulated CPU time (s) 1422.3
Current children cumulated vsize (KiB) 385256
[startup+1482.3 s]
/proc/loadavg: 2.19 2.06 2.02 3/490 30197
/proc/meminfo: memFree=26551460/32951124 swapFree=63649284/67111528
[pid=30156] ppid=30154 vsize=401404 CPUtime=1482.29 cores=1,3,5,7
/proc/30156/stat : 30156 (bsolo) R 30154 30156 28154 0 -1 4202496 102269 0 0 0 148123 106 0 0 25 0 1 0 829105798 411037696 97915 33554432000 134512640 137138936 4287755872 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30156/statm: 100351 97915 192 642 0 99707 0
Current children cumulated CPU time (s) 1482.29
Current children cumulated vsize (KiB) 401404
[startup+1542.32 s]
/proc/loadavg: 2.09 2.06 2.02 3/490 30198
/proc/meminfo: memFree=26552168/32951124 swapFree=63649284/67111528
[pid=30156] ppid=30154 vsize=401404 CPUtime=1542.31 cores=1,3,5,7
/proc/30156/stat : 30156 (bsolo) R 30154 30156 28154 0 -1 4202496 102269 0 0 0 154122 109 0 0 25 0 1 0 829105798 411037696 97915 33554432000 134512640 137138936 4287755872 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30156/statm: 100351 97915 192 642 0 99707 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 401404
[startup+1602.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/490 30200
/proc/meminfo: memFree=26543576/32951124 swapFree=63649284/67111528
[pid=30156] ppid=30154 vsize=401404 CPUtime=1602.3 cores=1,3,5,7
/proc/30156/stat : 30156 (bsolo) R 30154 30156 28154 0 -1 4202496 102269 0 0 0 160118 112 0 0 25 0 1 0 829105798 411037696 97915 33554432000 134512640 137138936 4287755872 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30156/statm: 100351 97915 192 642 0 99707 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 401404
[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/490 30202
/proc/meminfo: memFree=26543548/32951124 swapFree=63649284/67111528
[pid=30156] ppid=30154 vsize=401404 CPUtime=1662.29 cores=1,3,5,7
/proc/30156/stat : 30156 (bsolo) R 30154 30156 28154 0 -1 4202496 102269 0 0 0 166116 113 0 0 25 0 1 0 829105798 411037696 97915 33554432000 134512640 137138936 4287755872 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30156/statm: 100351 97915 192 642 0 99707 0
Current children cumulated CPU time (s) 1662.29
Current children cumulated vsize (KiB) 401404
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/490 30203
/proc/meminfo: memFree=26543140/32951124 swapFree=63649284/67111528
[pid=30156] ppid=30154 vsize=401404 CPUtime=1722.3 cores=1,3,5,7
/proc/30156/stat : 30156 (bsolo) R 30154 30156 28154 0 -1 4202496 102269 0 0 0 172114 116 0 0 25 0 1 0 829105798 411037696 97915 33554432000 134512640 137138936 4287755872 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30156/statm: 100351 97915 192 642 0 99707 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 401404
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/490 30205
/proc/meminfo: memFree=26540996/32951124 swapFree=63649284/67111528
[pid=30156] ppid=30154 vsize=401404 CPUtime=1782.3 cores=1,3,5,7
/proc/30156/stat : 30156 (bsolo) R 30154 30156 28154 0 -1 4202496 102269 0 0 0 178112 118 0 0 25 0 1 0 829105798 411037696 97915 33554432000 134512640 137138936 4287755872 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30156/statm: 100351 97915 192 642 0 99707 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 401404
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 2.00 2.02 2.00 3/490 30205
/proc/meminfo: memFree=26540996/32951124 swapFree=63649284/67111528
[pid=30156] ppid=30154 vsize=401404 CPUtime=1785.59 cores=1,3,5,7
/proc/30156/stat : 30156 (bsolo) R 30154 30156 28154 0 -1 4202496 102269 0 0 0 178441 118 0 0 25 0 1 0 829105798 411037696 97915 33554432000 134512640 137138936 4287755872 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30156/statm: 100351 97915 192 642 0 99707 0
Current children cumulated CPU time (s) 1785.59
Current children cumulated vsize (KiB) 401404
[startup+1792.02 s]
/proc/loadavg: 2.00 2.02 2.00 3/490 30205
/proc/meminfo: memFree=26542096/32951124 swapFree=63649284/67111528
[pid=30156] ppid=30154 vsize=401404 CPUtime=1792.01 cores=1,3,5,7
/proc/30156/stat : 30156 (bsolo) R 30154 30156 28154 0 -1 4202496 102269 0 0 0 179083 118 0 0 25 0 1 0 829105798 411037696 97915 33554432000 134512640 137138936 4287755872 18446744073709551615 135984544 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30156/statm: 100351 97915 192 642 0 99707 0
Current children cumulated CPU time (s) 1792.01
Current children cumulated vsize (KiB) 401404
[startup+1795.2 s]
/proc/loadavg: 2.00 2.02 2.00 3/490 30205
/proc/meminfo: memFree=26542096/32951124 swapFree=63649284/67111528
[pid=30156] ppid=30154 vsize=401404 CPUtime=1795.21 cores=1,3,5,7
/proc/30156/stat : 30156 (bsolo) R 30154 30156 28154 0 -1 4202496 102269 0 0 0 179403 118 0 0 25 0 1 0 829105798 411037696 97915 33554432000 134512640 137138936 4287755872 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30156/statm: 100351 97915 192 642 0 99707 0
Current children cumulated CPU time (s) 1795.21
Current children cumulated vsize (KiB) 401404
[startup+1796.8 s]
/proc/loadavg: 2.00 2.02 2.00 3/490 30205
/proc/meminfo: memFree=26542096/32951124 swapFree=63649284/67111528
[pid=30156] ppid=30154 vsize=401404 CPUtime=1796.79 cores=1,3,5,7
/proc/30156/stat : 30156 (bsolo) R 30154 30156 28154 0 -1 4202496 102269 0 0 0 179561 118 0 0 25 0 1 0 829105798 411037696 97915 33554432000 134512640 137138936 4287755872 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30156/statm: 100351 97915 192 642 0 99707 0
Current children cumulated CPU time (s) 1796.79
Current children cumulated vsize (KiB) 401404
[startup+1797.6 s]
/proc/loadavg: 2.00 2.02 2.00 3/490 30205
/proc/meminfo: memFree=26541724/32951124 swapFree=63649284/67111528
[pid=30156] ppid=30154 vsize=401404 CPUtime=1797.59 cores=1,3,5,7
/proc/30156/stat : 30156 (bsolo) R 30154 30156 28154 0 -1 4202496 102269 0 0 0 179641 118 0 0 25 0 1 0 829105798 411037696 97915 33554432000 134512640 137138936 4287755872 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/30156/statm: 100351 97915 192 642 0 99707 0
Current children cumulated CPU time (s) 1797.59
Current children cumulated vsize (KiB) 401404
[startup+1798 s]
/proc/loadavg: 2.00 2.02 2.00 3/490 30205
/proc/meminfo: memFree=26541724/32951124 swapFree=63649284/67111528
[pid=30156] ppid=30154 vsize=0 CPUtime=1798 cores=1,3,5,7
/proc/30156/stat : 30156 (bsolo) R 30154 30156 28154 0 -1 4202500 102269 0 0 0 179681 119 0 0 25 0 1 0 829105798 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/30156/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 1798.02
CPU time (s): 1798.02
CPU user time (s): 1796.81
CPU system time (s): 1.20482
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 402252
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.81
system time used= 1.20482
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102269
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= 3
involuntary context switches= 2801
runsolver used 8.61969 second user time and 20.8038 second system time
The end