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-3463231-1307173971/watcher-3463231-1307173971 -o /tmp/evaluation-result-3463231-1307173971/solver-3463231-1307173971 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463231-1307173971.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.64 1.95 1.88 3/435 30094
/proc/meminfo: memFree=20701580/32951124 swapFree=60787360/67111528
[pid=30094] ppid=30090 vsize=10924 CPUtime=0.01 cores=1,3,5,7
/proc/30094/stat : 30094 (bsolo) R 30090 30094 29081 0 -1 4202496 347 0 0 0 1 0 0 0 18 0 1 0 828994950 11186176 296 33554432000 134512640 137138936 4290868096 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30094/statm: 2731 296 192 642 0 2087 0
[startup+0.0787829 s]
/proc/loadavg: 1.64 1.95 1.88 3/435 30094
/proc/meminfo: memFree=20701580/32951124 swapFree=60787360/67111528
[pid=30094] ppid=30090 vsize=11556 CPUtime=0.07 cores=1,3,5,7
/proc/30094/stat : 30094 (bsolo) R 30090 30094 29081 0 -1 4202496 504 0 0 0 7 0 0 0 18 0 1 0 828994950 11833344 453 33554432000 134512640 137138936 4290868096 18446744073709551615 134542941 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30094/statm: 2889 453 192 642 0 2245 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11556
[startup+0.100793 s]
/proc/loadavg: 1.64 1.95 1.88 3/435 30094
/proc/meminfo: memFree=20701580/32951124 swapFree=60787360/67111528
[pid=30094] ppid=30090 vsize=11808 CPUtime=0.09 cores=1,3,5,7
/proc/30094/stat : 30094 (bsolo) R 30090 30094 29081 0 -1 4202496 551 0 0 0 9 0 0 0 18 0 1 0 828994950 12091392 500 33554432000 134512640 137138936 4290868096 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30094/statm: 2952 500 192 642 0 2308 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11808
[startup+0.300745 s]
/proc/loadavg: 1.64 1.95 1.88 3/435 30094
/proc/meminfo: memFree=20701580/32951124 swapFree=60787360/67111528
[pid=30094] ppid=30090 vsize=13200 CPUtime=0.29 cores=1,3,5,7
/proc/30094/stat : 30094 (bsolo) R 30090 30094 29081 0 -1 4202496 921 0 0 0 29 0 0 0 18 0 1 0 828994950 13516800 870 33554432000 134512640 137138936 4290868096 18446744073709551615 134544728 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30094/statm: 3300 870 192 642 0 2656 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13200
[startup+0.700682 s]
/proc/loadavg: 1.64 1.95 1.88 3/435 30094
/proc/meminfo: memFree=20701580/32951124 swapFree=60787360/67111528
[pid=30094] ppid=30090 vsize=15480 CPUtime=0.69 cores=1,3,5,7
/proc/30094/stat : 30094 (bsolo) R 30090 30094 29081 0 -1 4202496 1488 0 0 0 68 1 0 0 18 0 1 0 828994950 15851520 1437 33554432000 134512640 137138936 4290868096 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30094/statm: 3870 1437 192 642 0 3226 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15480
[startup+1.50053 s]
/proc/loadavg: 1.67 1.96 1.88 3/437 30096
/proc/meminfo: memFree=20686032/32951124 swapFree=60787360/67111528
[pid=30094] ppid=30090 vsize=17616 CPUtime=1.49 cores=1,3,5,7
/proc/30094/stat : 30094 (bsolo) R 30090 30094 29081 0 -1 4202496 2020 0 0 0 148 1 0 0 20 0 1 0 828994950 18038784 1969 33554432000 134512640 137138936 4290868096 18446744073709551615 136500369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30094/statm: 4404 1969 192 642 0 3760 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17616
[startup+3.10024 s]
/proc/loadavg: 1.67 1.96 1.88 4/437 30096
/proc/meminfo: memFree=20676980/32951124 swapFree=60787360/67111528
[pid=30094] ppid=30090 vsize=19132 CPUtime=3.09 cores=1,3,5,7
/proc/30094/stat : 30094 (bsolo) R 30090 30094 29081 0 -1 4202496 2387 0 0 0 307 2 0 0 25 0 1 0 828994950 19591168 2336 33554432000 134512640 137138936 4290868096 18446744073709551615 134575867 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30094/statm: 4783 2336 192 642 0 4139 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19132
[startup+6.30064 s]
/proc/loadavg: 1.67 1.96 1.88 4/437 30096
/proc/meminfo: memFree=20669772/32951124 swapFree=60787360/67111528
[pid=30094] ppid=30090 vsize=19876 CPUtime=6.29 cores=1,3,5,7
/proc/30094/stat : 30094 (bsolo) R 30090 30094 29081 0 -1 4202496 2586 0 0 0 625 4 0 0 25 0 1 0 828994950 20353024 2535 33554432000 134512640 137138936 4290868096 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30094/statm: 4969 2535 192 642 0 4325 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19876
[startup+12.7005 s]
/proc/loadavg: 1.72 1.96 1.89 3/437 30123
/proc/meminfo: memFree=20659860/32951124 swapFree=60787360/67111528
[pid=30094] ppid=30090 vsize=21876 CPUtime=12.69 cores=1,3,5,7
/proc/30094/stat : 30094 (bsolo) R 30090 30094 29081 0 -1 4202496 3074 0 0 0 1263 6 0 0 25 0 1 0 828994950 22401024 3023 33554432000 134512640 137138936 4290868096 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30094/statm: 5469 3023 192 642 0 4825 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21876
[startup+25.5011 s]
/proc/loadavg: 1.76 1.96 1.89 3/437 30124
/proc/meminfo: memFree=20638648/32951124 swapFree=60787360/67111528
[pid=30094] ppid=30090 vsize=23264 CPUtime=25.49 cores=1,3,5,7
/proc/30094/stat : 30094 (bsolo) R 30090 30094 29081 0 -1 4202496 3439 0 0 0 2539 10 0 0 25 0 1 0 828994950 23822336 3388 33554432000 134512640 137138936 4290868096 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30094/statm: 5816 3388 192 642 0 5172 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 23264
[startup+51.1003 s]
/proc/loadavg: 1.84 1.96 1.89 3/437 30124
/proc/meminfo: memFree=20625316/32951124 swapFree=60787360/67111528
[pid=30094] ppid=30090 vsize=25724 CPUtime=51.09 cores=1,3,5,7
/proc/30094/stat : 30094 (bsolo) R 30090 30094 29081 0 -1 4202496 4051 0 0 0 5093 16 0 0 25 0 1 0 828994950 26341376 4000 33554432000 134512640 137138936 4290868096 18446744073709551615 135984567 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30094/statm: 6431 4000 192 642 0 5787 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 25724
[startup+102.317 s]
/proc/loadavg: 1.93 1.97 1.89 3/437 30126
/proc/meminfo: memFree=20608572/32951124 swapFree=60787360/67111528
[pid=30094] ppid=30090 vsize=27772 CPUtime=102.31 cores=1,3,5,7
/proc/30094/stat : 30094 (bsolo) R 30090 30094 29081 0 -1 4202496 4557 0 0 0 10205 26 0 0 25 0 1 0 828994950 28438528 4506 33554432000 134512640 137138936 4290868096 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30094/statm: 6943 4506 192 642 0 6299 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 27772
[startup+162.301 s]
/proc/loadavg: 2.04 1.99 1.91 3/437 30127
/proc/meminfo: memFree=20600876/32951124 swapFree=60787360/67111528
[pid=30094] ppid=30090 vsize=29144 CPUtime=162.29 cores=1,3,5,7
/proc/30094/stat : 30094 (bsolo) R 30090 30094 29081 0 -1 4202496 4912 0 0 0 16190 39 0 0 25 0 1 0 828994950 29843456 4861 33554432000 134512640 137138936 4290868096 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30094/statm: 7286 4861 192 642 0 6642 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 29144
[startup+222.301 s]
/proc/loadavg: 2.15 2.03 1.92 3/437 30129
/proc/meminfo: memFree=20599508/32951124 swapFree=60787360/67111528
[pid=30094] ppid=30090 vsize=30748 CPUtime=222.3 cores=1,3,5,7
/proc/30094/stat : 30094 (bsolo) R 30090 30094 29081 0 -1 4202496 5305 0 0 0 22179 51 0 0 25 0 1 0 828994950 31485952 5254 33554432000 134512640 137138936 4290868096 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30094/statm: 7687 5254 192 642 0 7043 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 30748
[startup+282.301 s]
/proc/loadavg: 2.10 2.04 1.93 3/437 30130
/proc/meminfo: memFree=20590948/32951124 swapFree=60787360/67111528
[pid=30094] ppid=30090 vsize=31240 CPUtime=282.3 cores=1,3,5,7
/proc/30094/stat : 30094 (bsolo) R 30090 30094 29081 0 -1 4202496 5426 0 0 0 28170 60 0 0 25 0 1 0 828994950 31989760 5375 33554432000 134512640 137138936 4290868096 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30094/statm: 7810 5375 192 642 0 7166 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 31240
[startup+342.3 s]
/proc/loadavg: 2.20 2.06 1.94 3/437 30132
/proc/meminfo: memFree=20589204/32951124 swapFree=60787360/67111528
[pid=30094] ppid=30090 vsize=32624 CPUtime=342.31 cores=1,3,5,7
/proc/30094/stat : 30094 (bsolo) R 30090 30094 29081 0 -1 4202496 5779 0 0 0 34160 71 0 0 25 0 1 0 828994950 33406976 5728 33554432000 134512640 137138936 4290868096 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30094/statm: 8156 5728 192 642 0 7512 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 32624
[startup+402.3 s]
/proc/loadavg: 2.14 2.06 1.94 3/437 30134
/proc/meminfo: memFree=20582004/32951124 swapFree=60787360/67111528
[pid=30094] ppid=30090 vsize=33088 CPUtime=402.3 cores=1,3,5,7
/proc/30094/stat : 30094 (bsolo) R 30090 30094 29081 0 -1 4202496 5882 0 0 0 40148 82 0 0 25 0 1 0 828994950 33882112 5831 33554432000 134512640 137138936 4290868096 18446744073709551615 134606620 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30094/statm: 8272 5831 192 642 0 7628 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 33088
[startup+462.3 s]
/proc/loadavg: 2.05 2.05 1.94 3/437 30135
/proc/meminfo: memFree=20581752/32951124 swapFree=60787360/67111528
[pid=30094] ppid=30090 vsize=33200 CPUtime=462.31 cores=1,3,5,7
/proc/30094/stat : 30094 (bsolo) R 30090 30094 29081 0 -1 4202496 5922 0 0 0 46139 92 0 0 25 0 1 0 828994950 33996800 5871 33554432000 134512640 137138936 4290868096 18446744073709551615 136520979 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30094/statm: 8300 5871 192 642 0 7656 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 33200
[startup+522.301 s]
/proc/loadavg: 2.02 2.04 1.94 3/437 30146
/proc/meminfo: memFree=20577276/32951124 swapFree=60787360/67111528
[pid=30094] ppid=30090 vsize=35304 CPUtime=522.31 cores=1,3,5,7
/proc/30094/stat : 30094 (bsolo) R 30090 30094 29081 0 -1 4202496 6436 0 0 0 52129 102 0 0 25 0 1 0 828994950 36151296 6385 33554432000 134512640 137138936 4290868096 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30094/statm: 8826 6385 192 642 0 8182 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 35304
[startup+582.301 s]
/proc/loadavg: 2.00 2.03 1.94 3/437 30147
/proc/meminfo: memFree=20576900/32951124 swapFree=60787360/67111528
[pid=30094] ppid=30090 vsize=35432 CPUtime=582.31 cores=1,3,5,7
/proc/30094/stat : 30094 (bsolo) R 30090 30094 29081 0 -1 4202496 6467 0 0 0 58121 110 0 0 25 0 1 0 828994950 36282368 6416 33554432000 134512640 137138936 4290868096 18446744073709551615 136520996 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30094/statm: 8858 6416 192 642 0 8214 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 35432
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=20559392/32951124 swapFree=60787360/67111528
[pid=30094] ppid=30090 vsize=37828 CPUtime=1062.33 cores=1,3,5,7
/proc/30094/stat : 30094 (bsolo) R 30090 30094 29081 0 -1 4202496 7084 0 0 0 106055 178 0 0 25 0 1 0 828994950 38735872 7029 33554432000 134512640 137138936 4290868096 18446744073709551615 136504022 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30094/statm: 9457 7029 192 642 0 8813 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 37828
[startup+1122.3 s]
/proc/loadavg: 2.00 2.04 1.99 3/437 30165
/proc/meminfo: memFree=20557652/32951124 swapFree=60787360/67111528
[pid=30094] ppid=30090 vsize=37828 CPUtime=1122.33 cores=1,3,5,7
/proc/30094/stat : 30094 (bsolo) R 30090 30094 29081 0 -1 4202496 7084 0 0 0 112046 187 0 0 25 0 1 0 828994950 38735872 7029 33554432000 134512640 137138936 4290868096 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30094/statm: 9457 7029 192 642 0 8813 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 37828
[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 1.99 3/437 30166
/proc/meminfo: memFree=20557272/32951124 swapFree=60787360/67111528
[pid=30094] ppid=30090 vsize=37820 CPUtime=1182.33 cores=1,3,5,7
/proc/30094/stat : 30094 (bsolo) R 30090 30094 29081 0 -1 4202496 7084 0 0 0 118037 196 0 0 25 0 1 0 828994950 38727680 7029 33554432000 134512640 137138936 4290868096 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30094/statm: 9455 7029 192 642 0 8811 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 37820
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 1.99 3/437 30168
/proc/meminfo: memFree=20555024/32951124 swapFree=60787360/67111528
[pid=30094] ppid=30090 vsize=37816 CPUtime=1242.34 cores=1,3,5,7
/proc/30094/stat : 30094 (bsolo) R 30090 30094 29081 0 -1 4202496 7084 0 0 0 124029 205 0 0 25 0 1 0 828994950 38723584 7029 33554432000 134512640 137138936 4290868096 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30094/statm: 9454 7029 192 642 0 8810 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 37816
[startup+1302.3 s]
/proc/loadavg: 2.04 2.03 1.99 3/437 30170
/proc/meminfo: memFree=20552040/32951124 swapFree=60787360/67111528
[pid=30094] ppid=30090 vsize=37800 CPUtime=1302.35 cores=1,3,5,7
/proc/30094/stat : 30094 (bsolo) R 30090 30094 29081 0 -1 4202496 7084 0 0 0 130019 216 0 0 25 0 1 0 828994950 38707200 7025 33554432000 134512640 137138936 4290868096 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30094/statm: 9450 7025 192 642 0 8806 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 37800
[startup+1362.3 s]
/proc/loadavg: 2.09 2.05 2.00 3/437 30171
/proc/meminfo: memFree=20552396/32951124 swapFree=60787360/67111528
[pid=30094] ppid=30090 vsize=39688 CPUtime=1362.33 cores=1,3,5,7
/proc/30094/stat : 30094 (bsolo) R 30090 30094 29081 0 -1 4202496 7553 0 0 0 136010 223 0 0 25 0 1 0 828994950 40640512 7493 33554432000 134512640 137138936 4290868096 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30094/statm: 9922 7493 192 642 0 9278 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 39688
[startup+1422.32 s]
/proc/loadavg: 2.15 2.07 2.01 3/437 30173
/proc/meminfo: memFree=20551888/32951124 swapFree=60787360/67111528
[pid=30094] ppid=30090 vsize=40352 CPUtime=1422.36 cores=1,3,5,7
/proc/30094/stat : 30094 (bsolo) R 30090 30094 29081 0 -1 4202496 7710 0 0 0 142004 232 0 0 25 0 1 0 828994950 41320448 7650 33554432000 134512640 137138936 4290868096 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30094/statm: 10088 7650 192 642 0 9444 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 40352
[startup+1482.3 s]
/proc/loadavg: 2.31 2.12 2.02 3/437 30174
/proc/meminfo: memFree=20551380/32951124 swapFree=60787360/67111528
[pid=30094] ppid=30090 vsize=40572 CPUtime=1482.34 cores=1,3,5,7
/proc/30094/stat : 30094 (bsolo) R 30090 30094 29081 0 -1 4202496 7766 0 0 0 147993 241 0 0 25 0 1 0 828994950 41545728 7706 33554432000 134512640 137138936 4290868096 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30094/statm: 10143 7706 192 642 0 9499 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 40572
[startup+1542.3 s]
/proc/loadavg: 2.11 2.09 2.02 3/437 30176
/proc/meminfo: memFree=20551624/32951124 swapFree=60787360/67111528
[pid=30094] ppid=30090 vsize=40544 CPUtime=1542.34 cores=1,3,5,7
/proc/30094/stat : 30094 (bsolo) R 30090 30094 29081 0 -1 4202496 7766 0 0 0 153985 249 0 0 25 0 1 0 828994950 41517056 7706 33554432000 134512640 137138936 4290868096 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30094/statm: 10136 7706 192 642 0 9492 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 40544
[startup+1602.3 s]
/proc/loadavg: 2.04 2.07 2.01 3/437 30178
/proc/meminfo: memFree=20552112/32951124 swapFree=60787360/67111528
[pid=30094] ppid=30090 vsize=40524 CPUtime=1602.35 cores=1,3,5,7
/proc/30094/stat : 30094 (bsolo) R 30090 30094 29081 0 -1 4202496 7766 0 0 0 159978 257 0 0 25 0 1 0 828994950 41496576 7706 33554432000 134512640 137138936 4290868096 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30094/statm: 10131 7706 192 642 0 9487 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 40524
[startup+1662.3 s]
/proc/loadavg: 2.01 2.06 2.01 3/437 30179
/proc/meminfo: memFree=20546156/32951124 swapFree=60787360/67111528
[pid=30094] ppid=30090 vsize=40520 CPUtime=1662.34 cores=1,3,5,7
/proc/30094/stat : 30094 (bsolo) R 30090 30094 29081 0 -1 4202496 7766 0 0 0 165971 263 0 0 25 0 1 0 828994950 41492480 7705 33554432000 134512640 137138936 4290868096 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30094/statm: 10130 7705 192 642 0 9486 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 40520
[startup+1722.3 s]
/proc/loadavg: 2.03 2.06 2.01 3/437 30181
/proc/meminfo: memFree=20545656/32951124 swapFree=60787360/67111528
[pid=30094] ppid=30090 vsize=40588 CPUtime=1722.34 cores=1,3,5,7
/proc/30094/stat : 30094 (bsolo) R 30090 30094 29081 0 -1 4202496 7770 0 0 0 171963 271 0 0 25 0 1 0 828994950 41562112 7709 33554432000 134512640 137138936 4290868096 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30094/statm: 10147 7709 192 642 0 9503 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 40588
[startup+1782.3 s]
/proc/loadavg: 2.05 2.06 2.01 3/437 30182
/proc/meminfo: memFree=20543904/32951124 swapFree=60787360/67111528
[pid=30094] ppid=30090 vsize=40584 CPUtime=1782.35 cores=1,3,5,7
/proc/30094/stat : 30094 (bsolo) R 30090 30094 29081 0 -1 4202496 7770 0 0 0 177956 279 0 0 25 0 1 0 828994950 41558016 7709 33554432000 134512640 137138936 4290868096 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30094/statm: 10146 7709 192 642 0 9502 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 40584
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.05 2.06 2.01 3/437 30183
/proc/meminfo: memFree=20544772/32951124 swapFree=60787360/67111528
[pid=30094] ppid=30090 vsize=40584 CPUtime=1785.55 cores=1,3,5,7
/proc/30094/stat : 30094 (bsolo) R 30090 30094 29081 0 -1 4202496 7770 0 0 0 178276 279 0 0 25 0 1 0 828994950 41558016 7709 33554432000 134512640 137138936 4290868096 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30094/statm: 10146 7709 192 642 0 9502 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (KiB) 40584
[startup+1791.92 s]
/proc/loadavg: 2.04 2.06 2.01 3/437 30183
/proc/meminfo: memFree=20545020/32951124 swapFree=60787360/67111528
[pid=30094] ppid=30090 vsize=40584 CPUtime=1791.97 cores=1,3,5,7
/proc/30094/stat : 30094 (bsolo) R 30090 30094 29081 0 -1 4202496 7770 0 0 0 178917 280 0 0 25 0 1 0 828994950 41558016 7709 33554432000 134512640 137138936 4290868096 18446744073709551615 134542898 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30094/statm: 10146 7709 192 642 0 9502 0
Current children cumulated CPU time (s) 1791.97
Current children cumulated vsize (KiB) 40584
[startup+1795.1 s]
/proc/loadavg: 2.04 2.06 2.01 3/437 30183
/proc/meminfo: memFree=20544772/32951124 swapFree=60787360/67111528
[pid=30094] ppid=30090 vsize=40584 CPUtime=1795.16 cores=1,3,5,7
/proc/30094/stat : 30094 (bsolo) R 30090 30094 29081 0 -1 4202496 7770 0 0 0 179236 280 0 0 25 0 1 0 828994950 41558016 7709 33554432000 134512640 137138936 4290868096 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30094/statm: 10146 7709 192 642 0 9502 0
Current children cumulated CPU time (s) 1795.16
Current children cumulated vsize (KiB) 40584
[startup+1796.7 s]
/proc/loadavg: 2.04 2.06 2.00 3/437 30183
/proc/meminfo: memFree=20544772/32951124 swapFree=60787360/67111528
[pid=30094] ppid=30090 vsize=40532 CPUtime=1796.75 cores=1,3,5,7
/proc/30094/stat : 30094 (bsolo) R 30090 30094 29081 0 -1 4202496 7770 0 0 0 179395 280 0 0 25 0 1 0 828994950 41504768 7708 33554432000 134512640 137138936 4290868096 18446744073709551615 134542214 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30094/statm: 10133 7708 192 642 0 9489 0
Current children cumulated CPU time (s) 1796.75
Current children cumulated vsize (KiB) 40532
[startup+1797.5 s]
/proc/loadavg: 2.04 2.06 2.00 3/437 30183
/proc/meminfo: memFree=20544772/32951124 swapFree=60787360/67111528
[pid=30094] ppid=30090 vsize=40532 CPUtime=1797.55 cores=1,3,5,7
/proc/30094/stat : 30094 (bsolo) R 30090 30094 29081 0 -1 4202496 7770 0 0 0 179475 280 0 0 25 0 1 0 828994950 41504768 7708 33554432000 134512640 137138936 4290868096 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30094/statm: 10133 7708 192 642 0 9489 0
Current children cumulated CPU time (s) 1797.55
Current children cumulated vsize (KiB) 40532
[startup+1797.9 s]
/proc/loadavg: 2.04 2.06 2.00 3/437 30183
/proc/meminfo: memFree=20544772/32951124 swapFree=60787360/67111528
[pid=30094] ppid=30090 vsize=40532 CPUtime=1797.96 cores=1,3,5,7
/proc/30094/stat : 30094 (bsolo) R 30090 30094 29081 0 -1 4202496 7770 0 0 0 179515 281 0 0 25 0 1 0 828994950 41504768 7708 33554432000 134512640 137138936 4290868096 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/30094/statm: 10133 7708 192 642 0 9489 0
Current children cumulated CPU time (s) 1797.96
Current children cumulated vsize (KiB) 40532
Child status: 0
Real time (s): 1797.94
CPU time (s): 1798
CPU user time (s): 1795.19
CPU system time (s): 2.81257
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 40592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.19
system time used= 2.81257
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7770
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= 7
involuntary context switches= 2757
runsolver used 7.38888 second user time and 18.7172 second system time
The end