runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3735169-1338719793/watcher-3735169-1338719793 -o /tmp/evaluation-result-3735169-1338719793/solver-3735169-1338719793 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3735169-1338719793.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 15250
/proc/meminfo: memFree=29144732/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=18284 CPUtime=0 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 305 0 0 0 0 0 0 0 20 0 1 0 338104095 18722816 259 33554432000 134512640 137136520 4287536464 4287534312 136504651 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/15250/statm: 4571 260 189 641 0 2053 0
[startup+0.0717651 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 15250
/proc/meminfo: memFree=29144732/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=19968 CPUtime=0.07 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 940 0 0 0 7 0 0 0 20 0 1 0 338104095 20447232 894 33554432000 134512640 137136520 4287536464 4287534988 134529504 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/15250/statm: 4992 895 415 641 0 2474 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 19968
[startup+0.100202 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 15250
/proc/meminfo: memFree=29144732/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=20628 CPUtime=0.09 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 1220 0 0 0 9 0 0 0 20 0 1 0 338104095 21123072 1174 33554432000 134512640 137136520 4287536464 4287534992 134517586 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/15250/statm: 5157 1174 514 641 0 2639 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20628
[startup+0.300163 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 15250
/proc/meminfo: memFree=29144732/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=25736 CPUtime=0.29 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 3190 0 0 0 29 0 0 0 20 0 1 0 338104095 26353664 3144 33554432000 134512640 137136520 4287536464 4287534376 134598944 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/15250/statm: 6434 3144 1202 641 0 3916 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25736
[startup+0.700272 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 15250
/proc/meminfo: memFree=29144732/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=45416 CPUtime=0.69 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 10794 0 0 0 68 1 0 0 20 0 1 0 338104095 46505984 8874 33554432000 134512640 137136520 4287536464 4287373212 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 11354 8874 191 641 0 10710 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 45416
[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 15251
/proc/meminfo: memFree=29110592/32873844 swapFree=7616/7616
[pid=15250] ppid=15248 vsize=45416 CPUtime=1.49 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 10794 0 0 0 147 2 0 0 20 0 1 0 338104095 46505984 8874 33554432000 134512640 137136520 4287536464 4287373212 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 11354 8874 191 641 0 10710 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 45416
[startup+3.10028 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 15251
/proc/meminfo: memFree=29110096/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=39276 CPUtime=3.09 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 12871 0 0 0 306 3 0 0 20 0 1 0 338104095 40218624 7353 33554432000 134512640 137136520 4287536464 4287535392 134544112 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 9819 7353 197 641 0 9175 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 39276
[startup+6.30027 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 15251
/proc/meminfo: memFree=29114560/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=40572 CPUtime=6.29 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 13201 0 0 0 625 4 0 0 20 0 1 0 338104095 41545728 7683 33554432000 134512640 137136520 4287536464 4287535392 134543957 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 10143 7683 198 641 0 9499 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 40572
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 15251
/proc/meminfo: memFree=29112476/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=42416 CPUtime=12.68 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 13686 0 0 0 1264 4 0 0 20 0 1 0 338104095 43433984 8168 33554432000 134512640 137136520 4287536464 4287535392 134544148 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 10604 8168 198 641 0 9960 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 42416
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 15251
/proc/meminfo: memFree=29106772/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=48188 CPUtime=25.49 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 15117 0 0 0 2543 6 0 0 20 0 1 0 338104095 49344512 9599 33554432000 134512640 137136520 4287536464 4287535360 134543846 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 12047 9599 198 641 0 11403 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 48188
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 15251
/proc/meminfo: memFree=29094268/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=60760 CPUtime=51.06 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 18263 0 0 0 5098 8 0 0 20 0 1 0 338104095 62218240 12731 33554432000 134512640 137136520 4287536464 4287535232 134576268 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 15190 12731 198 641 0 14546 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 60760
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 15251
/proc/meminfo: memFree=29074112/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=80876 CPUtime=102.26 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 23318 0 0 0 10215 11 0 0 20 0 1 0 338104095 82817024 17783 33554432000 134512640 137136520 4287536464 4287535392 134543939 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 20219 17783 198 641 0 19575 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 80876
[startup+162.3 s]
/proc/loadavg: 2.05 2.01 1.97 3/179 15251
/proc/meminfo: memFree=29048780/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=106528 CPUtime=162.22 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 29727 0 0 0 16207 15 0 0 20 0 1 0 338104095 109084672 24174 33554432000 134512640 137136520 4287536464 4287535360 134543939 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 26632 24174 198 641 0 25988 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 106528
[startup+222.3 s]
/proc/loadavg: 2.02 2.01 1.97 3/180 15254
/proc/meminfo: memFree=29030048/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=124536 CPUtime=222.22 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 34229 0 0 0 22201 21 0 0 20 0 1 0 338104095 127524864 28676 33554432000 134512640 137136520 4287536464 4287535360 134544148 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 31134 28676 198 641 0 30490 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 124536
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 15254
/proc/meminfo: memFree=29011980/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=142636 CPUtime=282.19 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 38798 0 0 0 28194 25 0 0 20 0 1 0 338104095 146059264 33228 33554432000 134512640 137136520 4287536464 4287535580 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 35659 33228 198 641 0 35015 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 142636
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 15255
/proc/meminfo: memFree=28979988/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=174620 CPUtime=342.18 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 46799 0 0 0 34188 30 0 0 20 0 1 0 338104095 178810880 41229 33554432000 134512640 137136520 4287536464 4287535392 134544148 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 43655 41229 198 641 0 43011 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 174620
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 15255
/proc/meminfo: memFree=28954024/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=201100 CPUtime=402.14 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 53408 0 0 0 40179 35 0 0 20 0 1 0 338104095 205926400 47817 33554432000 134512640 137136520 4287536464 4287535392 134543939 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 50275 47817 198 641 0 49631 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 201100
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 15255
/proc/meminfo: memFree=28933108/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=221916 CPUtime=462.12 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 58651 0 0 0 46173 39 0 0 20 0 1 0 338104095 227241984 53049 33554432000 134512640 137136520 4287536464 4287535392 134543846 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 55479 53049 198 641 0 54835 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 221916
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 15255
/proc/meminfo: memFree=28914880/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=240288 CPUtime=522.11 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 63216 0 0 0 52169 42 0 0 20 0 1 0 338104095 246054912 57614 33554432000 134512640 137136520 4287536464 4287535360 134544135 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 60072 57614 198 641 0 59428 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 240288
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 15303
/proc/meminfo: memFree=28734780/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=255832 CPUtime=582.09 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 67137 0 0 0 58163 46 0 0 20 0 1 0 338104095 261971968 61527 33554432000 134512640 137136520 4287536464 4287535360 134543834 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 63958 61527 198 641 0 63314 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 255832
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28413972/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=371380 CPUtime=1061.95 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 96065 0 0 0 106123 72 0 0 20 0 1 0 338104095 380293120 90386 33554432000 134512640 137136520 4287536464 4287535392 134543865 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 92845 90386 198 641 0 92201 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 371380
[startup+1122.3 s]
/proc/loadavg: 2.07 2.02 1.98 3/179 15308
/proc/meminfo: memFree=28401696/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=383300 CPUtime=1121.94 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 99046 0 0 0 112118 76 0 0 20 0 1 0 338104095 392499200 93367 33554432000 134512640 137136520 4287536464 4287535360 134543831 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 95825 93367 198 641 0 95181 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 383300
[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 1.98 3/179 15308
/proc/meminfo: memFree=28390536/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=394668 CPUtime=1181.93 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 101888 0 0 0 118113 80 0 0 20 0 1 0 338104095 404140032 96209 33554432000 134512640 137136520 4287536464 4287535392 134544384 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 98667 96209 198 641 0 98023 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 394668
[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 1.98 3/179 15309
/proc/meminfo: memFree=28324364/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=404416 CPUtime=1241.93 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 104353 0 0 0 124110 83 0 0 20 0 1 0 338104095 414121984 98674 33554432000 134512640 137136520 4287536464 4287535392 134544472 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 101104 98674 198 641 0 100460 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 404416
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 15309
/proc/meminfo: memFree=28314780/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=413952 CPUtime=1301.92 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 106737 0 0 0 130107 85 0 0 20 0 1 0 338104095 423886848 101058 33554432000 134512640 137136520 4287536464 4287535392 134543865 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 103488 101058 198 641 0 102844 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 413952
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 15309
/proc/meminfo: memFree=28305480/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=423264 CPUtime=1361.91 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 109065 0 0 0 136104 87 0 0 20 0 1 0 338104095 433422336 103386 33554432000 134512640 137136520 4287536464 4287535392 134543875 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 105816 103386 198 641 0 105172 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 423264
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/180 15312
/proc/meminfo: memFree=28295800/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=432924 CPUtime=1421.9 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 111478 0 0 0 142100 90 0 0 20 0 1 0 338104095 443314176 105799 33554432000 134512640 137136520 4287536464 4287535392 134543865 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 108231 105799 198 641 0 107587 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 432924
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/180 15335
/proc/meminfo: memFree=28287368/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=442224 CPUtime=1481.89 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 113777 0 0 0 148097 92 0 0 20 0 1 0 338104095 452837376 108098 33554432000 134512640 137136520 4287536464 4287535360 134543942 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 110556 108098 198 641 0 109912 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 442224
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 15336
/proc/meminfo: memFree=28268712/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=461080 CPUtime=1541.85 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 118553 0 0 0 154089 96 0 0 20 0 1 0 338104095 472145920 112842 33554432000 134512640 137136520 4287536464 4287535392 134544396 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 115270 112842 198 641 0 114626 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 461080
[startup+1602.3 s]
/proc/loadavg: 2.07 2.02 1.98 3/179 15336
/proc/meminfo: memFree=28249208/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=480692 CPUtime=1601.82 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 123444 0 0 0 160082 100 0 0 20 0 1 0 338104095 492228608 117715 33554432000 134512640 137136520 4287536464 4287535392 134544112 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 120173 117715 198 641 0 119529 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 480692
[startup+1662.31 s]
/proc/loadavg: 2.02 2.01 1.98 3/179 15336
/proc/meminfo: memFree=28234204/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=495292 CPUtime=1661.81 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 127123 0 0 0 166079 102 0 0 20 0 1 0 338104095 507179008 121394 33554432000 134512640 137136520 4287536464 4287535392 134544425 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 123823 121394 198 641 0 123179 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 495292
[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 1.98 3/179 15336
/proc/meminfo: memFree=28218332/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=511572 CPUtime=1721.8 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 131164 0 0 0 172074 106 0 0 20 0 1 0 338104095 523849728 125435 33554432000 134512640 137136520 4287536464 4287535580 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 127893 125435 198 641 0 127249 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 511572
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 15336
/proc/meminfo: memFree=28201592/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=527636 CPUtime=1781.8 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 135207 0 0 0 178070 110 0 0 20 0 1 0 338104095 540299264 129478 33554432000 134512640 137136520 4287536464 4287535392 134543924 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 131909 129478 198 641 0 131265 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 527636
Solver just ended. Dumping a history of the last processes samples
[startup+1792.11 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 15336
/proc/meminfo: memFree=28201532/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=530408 CPUtime=1791.6 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 135873 0 0 0 179049 111 0 0 20 0 1 0 338104095 543137792 130144 33554432000 134512640 137136520 4287536464 4287535360 134543831 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 132602 130144 198 641 0 131958 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 530408
[startup+1795.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 15336
/proc/meminfo: memFree=28200788/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=531280 CPUtime=1794.8 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 136091 0 0 0 179369 111 0 0 20 0 1 0 338104095 544030720 130362 33554432000 134512640 137136520 4287536464 4287535384 135982528 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 132820 130362 198 641 0 132176 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 531280
[startup+1796.9 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 15336
/proc/meminfo: memFree=28200540/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=531552 CPUtime=1796.39 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 136183 0 0 0 179528 111 0 0 20 0 1 0 338104095 544309248 130454 33554432000 134512640 137136520 4287536464 4287535392 134544112 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 132888 130454 198 641 0 132244 0
Current children cumulated CPU time (s) 1796.39
Current children cumulated vsize (KiB) 531552
[startup+1797.7 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 15336
/proc/meminfo: memFree=28200292/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=531764 CPUtime=1797.19 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 136241 0 0 0 179608 111 0 0 20 0 1 0 338104095 544526336 130512 33554432000 134512640 137136520 4287536464 4287535392 134543831 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 132941 130512 198 641 0 132297 0
Current children cumulated CPU time (s) 1797.19
Current children cumulated vsize (KiB) 531764
[startup+1798.1 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 15336
/proc/meminfo: memFree=28200292/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=531896 CPUtime=1797.59 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 136271 0 0 0 179648 111 0 0 20 0 1 0 338104095 544661504 130542 33554432000 134512640 137136520 4287536464 4287535384 135982492 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 132974 130542 198 641 0 132330 0
Current children cumulated CPU time (s) 1797.59
Current children cumulated vsize (KiB) 531896
[startup+1798.5 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 15336
/proc/meminfo: memFree=28200292/32873844 swapFree=7620/7620
[pid=15250] ppid=15248 vsize=532052 CPUtime=1797.99 cores=0,2,4,6
/proc/15250/stat : 15250 (bsolo) R 15248 15250 13121 0 -1 4202496 136312 0 0 0 179688 111 0 0 20 0 1 0 338104095 544821248 130583 33554432000 134512640 137136520 4287536464 4287535392 134544434 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15250/statm: 133013 130583 198 641 0 132369 0
Current children cumulated CPU time (s) 1797.99
Current children cumulated vsize (KiB) 532052
Child status: 0
Real time (s): 1798.51
CPU time (s): 1798.01
CPU user time (s): 1796.89
CPU system time (s): 1.11883
CPU usage (%): 99.9723
Max. virtual memory (cumulated for all children) (KiB): 532052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.89
system time used= 1.11883
maximum resident set size= 522332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 136313
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= 221
involuntary context switches= 1954
runsolver used 3.40848 second user time and 7.53585 second system time
The end