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-3463420-1307175073/watcher-3463420-1307175073 -o /tmp/evaluation-result-3463420-1307175073/solver-3463420-1307175073 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463420-1307175073.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: 1.58 1.91 1.97 2/486 30150
/proc/meminfo: memFree=27147764/32951124 swapFree=63649284/67111528
[pid=30150] ppid=30148 vsize=12820 CPUtime=0.01 cores=0,2,4,6
/proc/30150/stat : 30150 (bsolo) R 30148 30150 28154 0 -1 4202496 479 0 0 0 1 0 0 0 23 0 1 0 829105788 13127680 433 33554432000 134512640 137138936 4291940752 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30150/statm: 3205 434 212 642 0 2226 0
[startup+0.112542 s]
/proc/loadavg: 1.58 1.91 1.97 2/486 30150
/proc/meminfo: memFree=27147764/32951124 swapFree=63649284/67111528
[pid=30150] ppid=30148 vsize=17828 CPUtime=0.1 cores=0,2,4,6
/proc/30150/stat : 30150 (bsolo) R 30148 30150 28154 0 -1 4202496 2373 0 0 0 10 0 0 0 24 0 1 0 829105788 18255872 1992 33554432000 134512640 137138936 4291940752 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30150/statm: 4457 1992 184 642 0 3813 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 17828
[startup+0.200538 s]
/proc/loadavg: 1.58 1.91 1.97 2/486 30150
/proc/meminfo: memFree=27147764/32951124 swapFree=63649284/67111528
[pid=30150] ppid=30148 vsize=19808 CPUtime=0.19 cores=0,2,4,6
/proc/30150/stat : 30150 (bsolo) R 30148 30150 28154 0 -1 4202496 2899 0 0 0 19 0 0 0 25 0 1 0 829105788 20283392 2518 33554432000 134512640 137138936 4291940752 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30150/statm: 4952 2518 185 642 0 4308 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 19808
[startup+0.300526 s]
/proc/loadavg: 1.58 1.91 1.97 2/486 30150
/proc/meminfo: memFree=27147764/32951124 swapFree=63649284/67111528
[pid=30150] ppid=30148 vsize=19808 CPUtime=0.29 cores=0,2,4,6
/proc/30150/stat : 30150 (bsolo) R 30148 30150 28154 0 -1 4202496 2899 0 0 0 28 1 0 0 25 0 1 0 829105788 20283392 2518 33554432000 134512640 137138936 4291940752 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30150/statm: 4952 2518 185 642 0 4308 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19808
[startup+0.700477 s]
/proc/loadavg: 1.58 1.91 1.97 2/486 30150
/proc/meminfo: memFree=27147764/32951124 swapFree=63649284/67111528
[pid=30150] ppid=30148 vsize=19812 CPUtime=0.69 cores=0,2,4,6
/proc/30150/stat : 30150 (bsolo) R 30148 30150 28154 0 -1 4202496 3386 0 0 0 68 1 0 0 25 0 1 0 829105788 20287488 2512 33554432000 134512640 137138936 4291940752 18446744073709551615 134618922 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30150/statm: 4953 2512 192 642 0 4309 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19812
[startup+1.5003 s]
/proc/loadavg: 1.58 1.91 1.97 4/490 30157
/proc/meminfo: memFree=27101720/32951124 swapFree=63649284/67111528
[pid=30150] ppid=30148 vsize=24972 CPUtime=1.49 cores=0,2,4,6
/proc/30150/stat : 30150 (bsolo) R 30148 30150 28154 0 -1 4202496 4672 0 0 0 148 1 0 0 25 0 1 0 829105788 25571328 3798 33554432000 134512640 137138936 4291940752 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30150/statm: 6243 3798 192 642 0 5599 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24972
[startup+3.10105 s]
/proc/loadavg: 1.58 1.91 1.97 4/490 30157
/proc/meminfo: memFree=27092916/32951124 swapFree=63649284/67111528
[pid=30150] ppid=30148 vsize=33628 CPUtime=3.09 cores=0,2,4,6
/proc/30150/stat : 30150 (bsolo) R 30148 30150 28154 0 -1 4202496 6833 0 0 0 307 2 0 0 25 0 1 0 829105788 34435072 5959 33554432000 134512640 137138936 4291940752 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30150/statm: 8407 5959 192 642 0 7763 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 33628
[startup+6.30054 s]
/proc/loadavg: 1.61 1.91 1.97 4/490 30158
/proc/meminfo: memFree=27077720/32951124 swapFree=63649284/67111528
[pid=30150] ppid=30148 vsize=46860 CPUtime=6.29 cores=0,2,4,6
/proc/30150/stat : 30150 (bsolo) R 30148 30150 28154 0 -1 4202496 10156 0 0 0 625 4 0 0 25 0 1 0 829105788 47984640 9282 33554432000 134512640 137138936 4291940752 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30150/statm: 11715 9282 192 642 0 11071 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 46860
[startup+12.7004 s]
/proc/loadavg: 1.64 1.92 1.97 3/490 30158
/proc/meminfo: memFree=27041788/32951124 swapFree=63649284/67111528
[pid=30150] ppid=30148 vsize=66972 CPUtime=12.69 cores=0,2,4,6
/proc/30150/stat : 30150 (bsolo) R 30148 30150 28154 0 -1 4202496 15174 0 0 0 1264 5 0 0 25 0 1 0 829105788 68579328 14300 33554432000 134512640 137138936 4291940752 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30150/statm: 16743 14300 192 642 0 16099 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 66972
[startup+25.5013 s]
/proc/loadavg: 1.72 1.92 1.97 3/490 30158
/proc/meminfo: memFree=26978680/32951124 swapFree=63649284/67111528
[pid=30150] ppid=30148 vsize=96908 CPUtime=25.49 cores=0,2,4,6
/proc/30150/stat : 30150 (bsolo) R 30148 30150 28154 0 -1 4202496 22645 0 0 0 2541 8 0 0 25 0 1 0 829105788 99233792 21771 33554432000 134512640 137138936 4291940752 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30150/statm: 24227 21771 192 642 0 23583 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 96908
[startup+51.101 s]
/proc/loadavg: 1.81 1.92 1.97 3/490 30159
/proc/meminfo: memFree=26920564/32951124 swapFree=63649284/67111528
[pid=30150] ppid=30148 vsize=108156 CPUtime=51.09 cores=0,2,4,6
/proc/30150/stat : 30150 (bsolo) R 30148 30150 28154 0 -1 4202496 25520 0 0 0 5099 10 0 0 25 0 1 0 829105788 110751744 24600 33554432000 134512640 137138936 4291940752 18446744073709551615 134582512 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30150/statm: 27039 24600 192 642 0 26395 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 108156
[startup+102.3 s]
/proc/loadavg: 1.92 1.93 1.97 4/490 30160
/proc/meminfo: memFree=26840200/32951124 swapFree=63649284/67111528
[pid=30150] ppid=30148 vsize=121000 CPUtime=102.31 cores=0,2,4,6
/proc/30150/stat : 30150 (bsolo) R 30148 30150 28154 0 -1 4202496 28846 0 0 0 10216 15 0 0 25 0 1 0 829105788 123904000 27821 33554432000 134512640 137138936 4291940752 18446744073709551615 136511072 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30150/statm: 30250 27821 192 642 0 29606 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 121000
[startup+162.3 s]
/proc/loadavg: 1.97 1.94 1.97 3/490 30162
/proc/meminfo: memFree=26767252/32951124 swapFree=63649284/67111528
[pid=30150] ppid=30148 vsize=133700 CPUtime=162.3 cores=0,2,4,6
/proc/30150/stat : 30150 (bsolo) R 30148 30150 28154 0 -1 4202496 32082 0 0 0 16211 19 0 0 25 0 1 0 829105788 136908800 30997 33554432000 134512640 137138936 4291940752 18446744073709551615 136504020 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30150/statm: 33425 30997 192 642 0 32781 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 133700
[startup+222.319 s]
/proc/loadavg: 2.22 2.01 1.99 4/490 30163
/proc/meminfo: memFree=26732248/32951124 swapFree=63649284/67111528
[pid=30150] ppid=30148 vsize=152472 CPUtime=222.31 cores=0,2,4,6
/proc/30150/stat : 30150 (bsolo) R 30148 30150 28154 0 -1 4202496 36845 0 0 0 22209 22 0 0 25 0 1 0 829105788 156131328 35694 33554432000 134512640 137138936 4291940752 18446744073709551615 134542898 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30150/statm: 38118 35694 192 642 0 37474 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 152472
[startup+282.301 s]
/proc/loadavg: 2.18 2.04 2.00 3/490 30165
/proc/meminfo: memFree=26733336/32951124 swapFree=63649284/67111528
[pid=30150] ppid=30148 vsize=152472 CPUtime=282.3 cores=0,2,4,6
/proc/30150/stat : 30150 (bsolo) R 30148 30150 28154 0 -1 4202496 36845 0 0 0 28206 24 0 0 25 0 1 0 829105788 156131328 35694 33554432000 134512640 137138936 4291940752 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30150/statm: 38118 35694 192 642 0 37474 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 152472
[startup+342.301 s]
/proc/loadavg: 2.07 2.03 2.00 3/490 30166
/proc/meminfo: memFree=26722032/32951124 swapFree=63649284/67111528
[pid=30150] ppid=30148 vsize=164088 CPUtime=342.29 cores=0,2,4,6
/proc/30150/stat : 30150 (bsolo) R 30148 30150 28154 0 -1 4202496 39717 0 0 0 34203 26 0 0 25 0 1 0 829105788 168026112 38566 33554432000 134512640 137138936 4291940752 18446744073709551615 134542351 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30150/statm: 41022 38566 192 642 0 40378 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 164088
[startup+402.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/490 30168
/proc/meminfo: memFree=26675740/32951124 swapFree=63649284/67111528
[pid=30150] ppid=30148 vsize=178636 CPUtime=402.3 cores=0,2,4,6
/proc/30150/stat : 30150 (bsolo) R 30148 30150 28154 0 -1 4202496 43449 0 0 0 40199 31 0 0 25 0 1 0 829105788 182923264 42225 33554432000 134512640 137138936 4291940752 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30150/statm: 44659 42225 192 642 0 44015 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 178636
[startup+462.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/490 30170
/proc/meminfo: memFree=26636776/32951124 swapFree=63649284/67111528
[pid=30150] ppid=30148 vsize=179012 CPUtime=462.3 cores=0,2,4,6
/proc/30150/stat : 30150 (bsolo) R 30148 30150 28154 0 -1 4202496 43521 0 0 0 46196 34 0 0 25 0 1 0 829105788 183308288 42297 33554432000 134512640 137138936 4291940752 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30150/statm: 44753 42297 192 642 0 44109 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 179012
[startup+522.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/490 30171
/proc/meminfo: memFree=26636856/32951124 swapFree=63649284/67111528
[pid=30150] ppid=30148 vsize=179012 CPUtime=522.3 cores=0,2,4,6
/proc/30150/stat : 30150 (bsolo) R 30148 30150 28154 0 -1 4202496 43521 0 0 0 52193 37 0 0 25 0 1 0 829105788 183308288 42297 33554432000 134512640 137138936 4291940752 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30150/statm: 44753 42297 192 642 0 44109 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 179012
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 4/490 30173
/proc/meminfo: memFree=26633720/32951124 swapFree=63649284/67111528
[pid=30150] ppid=30148 vsize=182248 CPUtime=582.29 cores=0,2,4,6
/proc/30150/stat : 30150 (bsolo) R 30148 30150 28154 0 -1 4202496 44330 0 0 0 58190 39 0 0 25 0 1 0 829105788 186621952 43106 33554432000 134512640 137138936 4291940752 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30150/statm: 45562 43106 192 642 0 44918 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 182248
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=26597108/32951124 swapFree=63649284/67111528
[pid=30150] ppid=30148 vsize=188040 CPUtime=1062.3 cores=0,2,4,6
/proc/30150/stat : 30150 (bsolo) R 30148 30150 28154 0 -1 4202496 45859 0 0 0 106171 59 0 0 25 0 1 0 829105788 192552960 44555 33554432000 134512640 137138936 4291940752 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30150/statm: 47010 44555 192 642 0 46366 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 188040
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/490 30187
/proc/meminfo: memFree=26596944/32951124 swapFree=63649284/67111528
[pid=30150] ppid=30148 vsize=188040 CPUtime=1122.3 cores=0,2,4,6
/proc/30150/stat : 30150 (bsolo) R 30148 30150 28154 0 -1 4202496 45859 0 0 0 112169 61 0 0 25 0 1 0 829105788 192552960 44555 33554432000 134512640 137138936 4291940752 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30150/statm: 47010 44555 192 642 0 46366 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 188040
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/490 30189
/proc/meminfo: memFree=26596648/32951124 swapFree=63649284/67111528
[pid=30150] ppid=30148 vsize=188040 CPUtime=1182.31 cores=0,2,4,6
/proc/30150/stat : 30150 (bsolo) R 30148 30150 28154 0 -1 4202496 45859 0 0 0 118168 63 0 0 25 0 1 0 829105788 192552960 44555 33554432000 134512640 137138936 4291940752 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30150/statm: 47010 44555 192 642 0 46366 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 188040
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/490 30190
/proc/meminfo: memFree=26578008/32951124 swapFree=63649284/67111528
[pid=30150] ppid=30148 vsize=206400 CPUtime=1242.3 cores=0,2,4,6
/proc/30150/stat : 30150 (bsolo) R 30148 30150 28154 0 -1 4202496 50556 0 0 0 124165 65 0 0 25 0 1 0 829105788 211353600 49164 33554432000 134512640 137138936 4291940752 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30150/statm: 51600 49164 192 642 0 50956 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 206400
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/490 30192
/proc/meminfo: memFree=26577600/32951124 swapFree=63649284/67111528
[pid=30150] ppid=30148 vsize=206400 CPUtime=1302.3 cores=0,2,4,6
/proc/30150/stat : 30150 (bsolo) R 30148 30150 28154 0 -1 4202496 50556 0 0 0 130163 67 0 0 25 0 1 0 829105788 211353600 49164 33554432000 134512640 137138936 4291940752 18446744073709551615 134542915 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30150/statm: 51600 49164 192 642 0 50956 0
Current children cumulated CPU time (s) 1302.3
Current children cumulated vsize (KiB) 206400
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/490 30194
/proc/meminfo: memFree=26578804/32951124 swapFree=63649284/67111528
[pid=30150] ppid=30148 vsize=206400 CPUtime=1362.3 cores=0,2,4,6
/proc/30150/stat : 30150 (bsolo) R 30148 30150 28154 0 -1 4202496 50556 0 0 0 136161 69 0 0 25 0 1 0 829105788 211353600 49164 33554432000 134512640 137138936 4291940752 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30150/statm: 51600 49164 192 642 0 50956 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 206400
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/490 30195
/proc/meminfo: memFree=26568860/32951124 swapFree=63649284/67111528
[pid=30150] ppid=30148 vsize=206828 CPUtime=1422.31 cores=0,2,4,6
/proc/30150/stat : 30150 (bsolo) R 30148 30150 28154 0 -1 4202496 50643 0 0 0 142160 71 0 0 25 0 1 0 829105788 211791872 49251 33554432000 134512640 137138936 4291940752 18446744073709551615 135984576 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30150/statm: 51707 49251 192 642 0 51063 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 206828
[startup+1482.3 s]
/proc/loadavg: 2.19 2.06 2.02 3/490 30197
/proc/meminfo: memFree=26551460/32951124 swapFree=63649284/67111528
[pid=30150] ppid=30148 vsize=206828 CPUtime=1482.3 cores=0,2,4,6
/proc/30150/stat : 30150 (bsolo) R 30148 30150 28154 0 -1 4202496 50643 0 0 0 148157 73 0 0 25 0 1 0 829105788 211791872 49251 33554432000 134512640 137138936 4291940752 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30150/statm: 51707 49251 192 642 0 51063 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 206828
[startup+1542.32 s]
/proc/loadavg: 2.10 2.06 2.02 4/490 30198
/proc/meminfo: memFree=26552168/32951124 swapFree=63649284/67111528
[pid=30150] ppid=30148 vsize=206828 CPUtime=1542.32 cores=0,2,4,6
/proc/30150/stat : 30150 (bsolo) R 30148 30150 28154 0 -1 4202496 50643 0 0 0 154158 74 0 0 25 0 1 0 829105788 211791872 49251 33554432000 134512640 137138936 4291940752 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30150/statm: 51707 49251 192 642 0 51063 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 206828
[startup+1602.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/490 30200
/proc/meminfo: memFree=26543576/32951124 swapFree=63649284/67111528
[pid=30150] ppid=30148 vsize=215532 CPUtime=1602.31 cores=0,2,4,6
/proc/30150/stat : 30150 (bsolo) R 30148 30150 28154 0 -1 4202496 52819 0 0 0 160155 76 0 0 25 0 1 0 829105788 220704768 51427 33554432000 134512640 137138936 4291940752 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30150/statm: 53883 51427 192 642 0 53239 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 215532
[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.00 4/490 30202
/proc/meminfo: memFree=26543548/32951124 swapFree=63649284/67111528
[pid=30150] ppid=30148 vsize=215532 CPUtime=1662.31 cores=0,2,4,6
/proc/30150/stat : 30150 (bsolo) R 30148 30150 28154 0 -1 4202496 52819 0 0 0 166151 80 0 0 25 0 1 0 829105788 220704768 51427 33554432000 134512640 137138936 4291940752 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30150/statm: 53883 51427 192 642 0 53239 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 215532
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 4/490 30203
/proc/meminfo: memFree=26543140/32951124 swapFree=63649284/67111528
[pid=30150] ppid=30148 vsize=215532 CPUtime=1722.31 cores=0,2,4,6
/proc/30150/stat : 30150 (bsolo) R 30148 30150 28154 0 -1 4202496 52819 0 0 0 172149 82 0 0 25 0 1 0 829105788 220704768 51427 33554432000 134512640 137138936 4291940752 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30150/statm: 53883 51427 192 642 0 53239 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 215532
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/490 30205
/proc/meminfo: memFree=26540996/32951124 swapFree=63649284/67111528
[pid=30150] ppid=30148 vsize=215532 CPUtime=1782.31 cores=0,2,4,6
/proc/30150/stat : 30150 (bsolo) R 30148 30150 28154 0 -1 4202496 52819 0 0 0 178147 84 0 0 25 0 1 0 829105788 220704768 51427 33554432000 134512640 137138936 4291940752 18446744073709551615 134606944 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30150/statm: 53883 51427 192 642 0 53239 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 215532
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=30150] ppid=30148 vsize=215532 CPUtime=1785.61 cores=0,2,4,6
/proc/30150/stat : 30150 (bsolo) R 30148 30150 28154 0 -1 4202496 52819 0 0 0 178477 84 0 0 25 0 1 0 829105788 220704768 51427 33554432000 134512640 137138936 4291940752 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30150/statm: 53883 51427 192 642 0 53239 0
Current children cumulated CPU time (s) 1785.61
Current children cumulated vsize (KiB) 215532
[startup+1792.02 s]
/proc/loadavg: 2.00 2.02 2.00 4/490 30205
/proc/meminfo: memFree=26542096/32951124 swapFree=63649284/67111528
[pid=30150] ppid=30148 vsize=215532 CPUtime=1792.03 cores=0,2,4,6
/proc/30150/stat : 30150 (bsolo) R 30148 30150 28154 0 -1 4202496 52819 0 0 0 179118 85 0 0 25 0 1 0 829105788 220704768 51427 33554432000 134512640 137138936 4291940752 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30150/statm: 53883 51427 192 642 0 53239 0
Current children cumulated CPU time (s) 1792.03
Current children cumulated vsize (KiB) 215532
[startup+1795.2 s]
/proc/loadavg: 2.00 2.02 2.00 3/490 30205
/proc/meminfo: memFree=26542096/32951124 swapFree=63649284/67111528
[pid=30150] ppid=30148 vsize=215532 CPUtime=1795.22 cores=0,2,4,6
/proc/30150/stat : 30150 (bsolo) R 30148 30150 28154 0 -1 4202496 52819 0 0 0 179437 85 0 0 25 0 1 0 829105788 220704768 51427 33554432000 134512640 137138936 4291940752 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30150/statm: 53883 51427 192 642 0 53239 0
Current children cumulated CPU time (s) 1795.22
Current children cumulated vsize (KiB) 215532
[startup+1796.8 s]
/proc/loadavg: 2.00 2.02 2.00 3/490 30205
/proc/meminfo: memFree=26542096/32951124 swapFree=63649284/67111528
[pid=30150] ppid=30148 vsize=215532 CPUtime=1796.81 cores=0,2,4,6
/proc/30150/stat : 30150 (bsolo) R 30148 30150 28154 0 -1 4202496 52819 0 0 0 179596 85 0 0 25 0 1 0 829105788 220704768 51427 33554432000 134512640 137138936 4291940752 18446744073709551615 134542495 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30150/statm: 53883 51427 192 642 0 53239 0
Current children cumulated CPU time (s) 1796.81
Current children cumulated vsize (KiB) 215532
[startup+1797.6 s]
/proc/loadavg: 2.00 2.02 2.00 4/490 30205
/proc/meminfo: memFree=26541724/32951124 swapFree=63649284/67111528
[pid=30150] ppid=30148 vsize=215532 CPUtime=1797.61 cores=0,2,4,6
/proc/30150/stat : 30150 (bsolo) R 30148 30150 28154 0 -1 4202496 52819 0 0 0 179676 85 0 0 25 0 1 0 829105788 220704768 51427 33554432000 134512640 137138936 4291940752 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/30150/statm: 53883 51427 192 642 0 53239 0
Current children cumulated CPU time (s) 1797.61
Current children cumulated vsize (KiB) 215532
[startup+1798 s]
/proc/loadavg: 2.00 2.02 2.00 4/490 30205
/proc/meminfo: memFree=26541724/32951124 swapFree=63649284/67111528
[pid=30150] ppid=30148 vsize=0 CPUtime=1798.01 cores=0,2,4,6
/proc/30150/stat : 30150 (bsolo) S 30148 30150 28154 0 -1 4202500 52819 0 0 0 179715 86 0 0 25 0 1 0 829105788 0 0 33554432000 0 0 0 0 0 0 2147483391 4096 16384 18446744073709551615 0 0 17 0 0 0 0
/proc/30150/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.01
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 1798
CPU time (s): 1798.02
CPU user time (s): 1797.15
CPU system time (s): 0.862868
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 215532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.15
system time used= 0.862868
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52819
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= 6
involuntary context switches= 21716
runsolver used 9.64053 second user time and 19.2861 second system time
The end