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-3734828-1338716842/watcher-3734828-1338716842 -o /tmp/evaluation-result-3734828-1338716842/solver-3734828-1338716842 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3734828-1338716842.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 24562
/proc/meminfo: memFree=26926284/32873844 swapFree=7116/7116
[pid=24562] ppid=24560 vsize=26412 CPUtime=0 cores=1,3,5,7
/proc/24562/stat : 24562 (bsolo) R 24560 24562 23345 0 -1 4202496 296 0 0 0 0 0 0 0 20 0 1 0 337809311 27045888 247 33554432000 134512640 137136520 4288781984 4288781100 136568305 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/24562/statm: 6603 247 198 641 0 5959 0
[startup+0.0712331 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 24562
/proc/meminfo: memFree=26926284/32873844 swapFree=7116/7116
[pid=24562] ppid=24560 vsize=18984 CPUtime=0.06 cores=1,3,5,7
/proc/24562/stat : 24562 (bsolo) R 24560 24562 23345 0 -1 4202496 423 0 0 0 6 0 0 0 20 0 1 0 337809311 19439616 374 33554432000 134512640 137136520 4288781984 4288780912 134543884 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/24562/statm: 4746 374 198 641 0 4102 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 18984
[startup+0.100266 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 24562
/proc/meminfo: memFree=26926284/32873844 swapFree=7116/7116
[pid=24562] ppid=24560 vsize=19248 CPUtime=0.09 cores=1,3,5,7
/proc/24562/stat : 24562 (bsolo) R 24560 24562 23345 0 -1 4202496 472 0 0 0 9 0 0 0 20 0 1 0 337809311 19709952 423 33554432000 134512640 137136520 4288781984 4288780880 134543942 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/24562/statm: 4812 423 198 641 0 4168 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19248
[startup+0.300229 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 24562
/proc/meminfo: memFree=26926284/32873844 swapFree=7116/7116
[pid=24562] ppid=24560 vsize=20536 CPUtime=0.29 cores=1,3,5,7
/proc/24562/stat : 24562 (bsolo) R 24560 24562 23345 0 -1 4202496 799 0 0 0 29 0 0 0 20 0 1 0 337809311 21028864 750 33554432000 134512640 137136520 4288781984 4288781024 134540859 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/24562/statm: 5134 750 198 641 0 4490 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20536
[startup+0.700228 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 24562
/proc/meminfo: memFree=26926284/32873844 swapFree=7116/7116
[pid=24562] ppid=24560 vsize=21176 CPUtime=0.69 cores=1,3,5,7
/proc/24562/stat : 24562 (bsolo) R 24560 24562 23345 0 -1 4202496 943 0 0 0 69 0 0 0 20 0 1 0 337809311 21684224 894 33554432000 134512640 137136520 4288781984 4288780664 136502032 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/24562/statm: 5294 894 198 641 0 4650 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 21176
[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24563
/proc/meminfo: memFree=26923284/32873844 swapFree=7116/7116
[pid=24562] ppid=24560 vsize=21564 CPUtime=1.48 cores=1,3,5,7
/proc/24562/stat : 24562 (bsolo) R 24560 24562 23345 0 -1 4202496 1056 0 0 0 148 0 0 0 20 0 1 0 337809311 22081536 1007 33554432000 134512640 137136520 4288781984 4288781100 136568305 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/24562/statm: 5391 1007 198 641 0 4747 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 21564
[startup+3.10024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24563
/proc/meminfo: memFree=26922292/32873844 swapFree=7116/7116
[pid=24562] ppid=24560 vsize=22328 CPUtime=3.09 cores=1,3,5,7
/proc/24562/stat : 24562 (bsolo) R 24560 24562 23345 0 -1 4202496 1231 0 0 0 308 1 0 0 20 0 1 0 337809311 22863872 1182 33554432000 134512640 137136520 4288781984 4288780880 134543927 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/24562/statm: 5582 1182 198 641 0 4938 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22328
[startup+6.30024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24563
/proc/meminfo: memFree=26921052/32873844 swapFree=7116/7116
[pid=24562] ppid=24560 vsize=22840 CPUtime=6.29 cores=1,3,5,7
/proc/24562/stat : 24562 (bsolo) R 24560 24562 23345 0 -1 4202496 1384 0 0 0 627 2 0 0 20 0 1 0 337809311 23388160 1335 33554432000 134512640 137136520 4288781984 4288781100 136568305 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/24562/statm: 5710 1335 198 641 0 5066 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22840
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24563
/proc/meminfo: memFree=26920364/32873844 swapFree=7116/7116
[pid=24562] ppid=24560 vsize=23356 CPUtime=12.69 cores=1,3,5,7
/proc/24562/stat : 24562 (bsolo) R 24560 24562 23345 0 -1 4202496 1498 0 0 0 1265 4 0 0 20 0 1 0 337809311 23916544 1449 33554432000 134512640 137136520 4288781984 4288781100 136568305 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/24562/statm: 5839 1449 198 641 0 5195 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 23356
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24611
/proc/meminfo: memFree=27335712/32873844 swapFree=7116/7116
[pid=24562] ppid=24560 vsize=23996 CPUtime=25.48 cores=1,3,5,7
/proc/24562/stat : 24562 (bsolo) R 24560 24562 23345 0 -1 4202496 1663 0 0 0 2541 7 0 0 20 0 1 0 337809311 24571904 1612 33554432000 134512640 137136520 4288781984 4288780912 134543878 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/24562/statm: 5999 1612 198 641 0 5355 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 23996
[startup+51.1001 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24611
/proc/meminfo: memFree=27334116/32873844 swapFree=7116/7116
[pid=24562] ppid=24560 vsize=24896 CPUtime=51.07 cores=1,3,5,7
/proc/24562/stat : 24562 (bsolo) R 24560 24562 23345 0 -1 4202496 1881 0 0 0 5095 12 0 0 20 0 1 0 337809311 25493504 1830 33554432000 134512640 137136520 4288781984 4288781100 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24562/statm: 6224 1830 198 641 0 5580 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 24896
[startup+102.307 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 24611
/proc/meminfo: memFree=27331820/32873844 swapFree=7116/7116
[pid=24562] ppid=24560 vsize=25888 CPUtime=102.28 cores=1,3,5,7
/proc/24562/stat : 24562 (bsolo) R 24560 24562 23345 0 -1 4202496 2147 0 0 0 10206 22 0 0 20 0 1 0 337809311 26509312 2096 33554432000 134512640 137136520 4288781984 4288781100 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24562/statm: 6472 2096 198 641 0 5828 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 25888
[startup+162.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 24614
/proc/meminfo: memFree=27330120/32873844 swapFree=7116/7116
[pid=24562] ppid=24560 vsize=26980 CPUtime=162.25 cores=1,3,5,7
/proc/24562/stat : 24562 (bsolo) R 24560 24562 23345 0 -1 4202496 2404 0 0 0 16191 34 0 0 20 0 1 0 337809311 27627520 2352 33554432000 134512640 137136520 4288781984 4288781100 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24562/statm: 6745 2352 198 641 0 6101 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 26980
[startup+222.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 24615
/proc/meminfo: memFree=27329212/32873844 swapFree=7116/7116
[pid=24562] ppid=24560 vsize=27084 CPUtime=222.25 cores=1,3,5,7
/proc/24562/stat : 24562 (bsolo) R 24560 24562 23345 0 -1 4202496 2444 0 0 0 22180 45 0 0 20 0 1 0 337809311 27734016 2392 33554432000 134512640 137136520 4288781984 4288781100 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24562/statm: 6771 2392 198 641 0 6127 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 27084
[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 24615
/proc/meminfo: memFree=27327784/32873844 swapFree=7116/7116
[pid=24562] ppid=24560 vsize=28424 CPUtime=282.24 cores=1,3,5,7
/proc/24562/stat : 24562 (bsolo) R 24560 24562 23345 0 -1 4202496 2785 0 0 0 28169 55 0 0 20 0 1 0 337809311 29106176 2732 33554432000 134512640 137136520 4288781984 4288781100 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24562/statm: 7106 2732 198 641 0 6462 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 28424
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 24615
/proc/meminfo: memFree=27327908/32873844 swapFree=7116/7116
[pid=24562] ppid=24560 vsize=28424 CPUtime=342.23 cores=1,3,5,7
/proc/24562/stat : 24562 (bsolo) R 24560 24562 23345 0 -1 4202496 2785 0 0 0 34158 65 0 0 20 0 1 0 337809311 29106176 2732 33554432000 134512640 137136520 4288781984 4288781100 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24562/statm: 7106 2732 198 641 0 6462 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 28424
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24615
/proc/meminfo: memFree=27327908/32873844 swapFree=7116/7116
[pid=24562] ppid=24560 vsize=28424 CPUtime=402.22 cores=1,3,5,7
/proc/24562/stat : 24562 (bsolo) R 24560 24562 23345 0 -1 4202496 2785 0 0 0 40148 74 0 0 20 0 1 0 337809311 29106176 2732 33554432000 134512640 137136520 4288781984 4288781100 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24562/statm: 7106 2732 198 641 0 6462 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 28424
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24615
/proc/meminfo: memFree=27326792/32873844 swapFree=7116/7116
[pid=24562] ppid=24560 vsize=29024 CPUtime=462.21 cores=1,3,5,7
/proc/24562/stat : 24562 (bsolo) R 24560 24562 23345 0 -1 4202496 2931 0 0 0 46140 81 0 0 20 0 1 0 337809311 29720576 2878 33554432000 134512640 137136520 4288781984 4288781100 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24562/statm: 7256 2878 198 641 0 6612 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 29024
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24616
/proc/meminfo: memFree=27326172/32873844 swapFree=7116/7116
[pid=24562] ppid=24560 vsize=29024 CPUtime=522.2 cores=1,3,5,7
/proc/24562/stat : 24562 (bsolo) R 24560 24562 23345 0 -1 4202496 2931 0 0 0 52130 90 0 0 20 0 1 0 337809311 29720576 2878 33554432000 134512640 137136520 4288781984 4288781100 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24562/statm: 7256 2878 198 641 0 6612 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 29024
[startup+582.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 24616
/proc/meminfo: memFree=27326108/32873844 swapFree=7116/7116
[pid=24562] ppid=24560 vsize=29128 CPUtime=582.19 cores=1,3,5,7
/proc/24562/stat : 24562 (bsolo) R 24560 24562 23345 0 -1 4202496 2945 0 0 0 58122 97 0 0 20 0 1 0 337809311 29827072 2892 33554432000 134512640 137136520 4288781984 4288781100 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24562/statm: 7282 2892 198 641 0 6638 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 29128
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27324368/32873844 swapFree=7116/7116
[pid=24562] ppid=24560 vsize=30988 CPUtime=1122.1 cores=1,3,5,7
/proc/24562/stat : 24562 (bsolo) R 24560 24562 23345 0 -1 4202496 3416 0 0 0 112036 174 0 0 20 0 1 0 337809311 31731712 3362 33554432000 134512640 137136520 4288781984 4288781100 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24562/statm: 7747 3362 198 641 0 7103 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 30988
[startup+1182.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 24644
/proc/meminfo: memFree=27323500/32873844 swapFree=7116/7116
[pid=24562] ppid=24560 vsize=31324 CPUtime=1182.1 cores=1,3,5,7
/proc/24562/stat : 24562 (bsolo) R 24560 24562 23345 0 -1 4202496 3505 0 0 0 118028 182 0 0 20 0 1 0 337809311 32075776 3451 33554432000 134512640 137136520 4288781984 4288780912 134544112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24562/statm: 7831 3451 198 641 0 7187 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 31324
[startup+1242.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 24644
/proc/meminfo: memFree=27322880/32873844 swapFree=7116/7116
[pid=24562] ppid=24560 vsize=31324 CPUtime=1242.09 cores=1,3,5,7
/proc/24562/stat : 24562 (bsolo) R 24560 24562 23345 0 -1 4202496 3505 0 0 0 124019 190 0 0 20 0 1 0 337809311 32075776 3451 33554432000 134512640 137136520 4288781984 4288781100 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24562/statm: 7831 3451 198 641 0 7187 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 31324
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 24644
/proc/meminfo: memFree=27322880/32873844 swapFree=7116/7116
[pid=24562] ppid=24560 vsize=31324 CPUtime=1302.08 cores=1,3,5,7
/proc/24562/stat : 24562 (bsolo) R 24560 24562 23345 0 -1 4202496 3505 0 0 0 130012 196 0 0 20 0 1 0 337809311 32075776 3451 33554432000 134512640 137136520 4288781984 4288780912 134543927 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24562/statm: 7831 3451 198 641 0 7187 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 31324
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 24647
/proc/meminfo: memFree=27322616/32873844 swapFree=7116/7116
[pid=24562] ppid=24560 vsize=31324 CPUtime=1362.07 cores=1,3,5,7
/proc/24562/stat : 24562 (bsolo) R 24560 24562 23345 0 -1 4202496 3505 0 0 0 136003 204 0 0 20 0 1 0 337809311 32075776 3451 33554432000 134512640 137136520 4288781984 4288781100 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24562/statm: 7831 3451 198 641 0 7187 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 31324
[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 24648
/proc/meminfo: memFree=27322136/32873844 swapFree=7116/7116
[pid=24562] ppid=24560 vsize=31324 CPUtime=1422.07 cores=1,3,5,7
/proc/24562/stat : 24562 (bsolo) R 24560 24562 23345 0 -1 4202496 3505 0 0 0 141995 212 0 0 20 0 1 0 337809311 32075776 3451 33554432000 134512640 137136520 4288781984 4288780880 134543948 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24562/statm: 7831 3451 198 641 0 7187 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 31324
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24648
/proc/meminfo: memFree=27322012/32873844 swapFree=7116/7116
[pid=24562] ppid=24560 vsize=31324 CPUtime=1482.06 cores=1,3,5,7
/proc/24562/stat : 24562 (bsolo) R 24560 24562 23345 0 -1 4202496 3505 0 0 0 147985 221 0 0 20 0 1 0 337809311 32075776 3451 33554432000 134512640 137136520 4288781984 4288781100 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24562/statm: 7831 3451 198 641 0 7187 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 31324
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24648
/proc/meminfo: memFree=27322136/32873844 swapFree=7116/7116
[pid=24562] ppid=24560 vsize=31320 CPUtime=1542.04 cores=1,3,5,7
/proc/24562/stat : 24562 (bsolo) R 24560 24562 23345 0 -1 4202496 3505 0 0 0 153976 228 0 0 20 0 1 0 337809311 32071680 3451 33554432000 134512640 137136520 4288781984 4288781100 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24562/statm: 7830 3451 198 641 0 7186 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 31320
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24648
/proc/meminfo: memFree=27322136/32873844 swapFree=7116/7116
[pid=24562] ppid=24560 vsize=31308 CPUtime=1602.03 cores=1,3,5,7
/proc/24562/stat : 24562 (bsolo) R 24560 24562 23345 0 -1 4202496 3505 0 0 0 159967 236 0 0 20 0 1 0 337809311 32059392 3451 33554432000 134512640 137136520 4288781984 4288781100 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24562/statm: 7827 3451 198 641 0 7183 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 31308
[startup+1662.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 24648
/proc/meminfo: memFree=27321204/32873844 swapFree=7116/7116
[pid=24562] ppid=24560 vsize=32548 CPUtime=1662.03 cores=1,3,5,7
/proc/24562/stat : 24562 (bsolo) R 24560 24562 23345 0 -1 4202496 3808 0 0 0 165958 245 0 0 20 0 1 0 337809311 33329152 3753 33554432000 134512640 137136520 4288781984 4288781100 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24562/statm: 8137 3753 198 641 0 7493 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 32548
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 24649
/proc/meminfo: memFree=27321204/32873844 swapFree=7116/7116
[pid=24562] ppid=24560 vsize=32548 CPUtime=1722.02 cores=1,3,5,7
/proc/24562/stat : 24562 (bsolo) R 24560 24562 23345 0 -1 4202496 3818 0 0 0 171951 251 0 0 20 0 1 0 337809311 33329152 3763 33554432000 134512640 137136520 4288781984 4288780880 134544402 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24562/statm: 8137 3763 198 641 0 7493 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 32548
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 24649
/proc/meminfo: memFree=27320088/32873844 swapFree=7116/7116
[pid=24562] ppid=24560 vsize=32676 CPUtime=1782.01 cores=1,3,5,7
/proc/24562/stat : 24562 (bsolo) R 24560 24562 23345 0 -1 4202496 3837 0 0 0 177943 258 0 0 20 0 1 0 337809311 33460224 3782 33554432000 134512640 137136520 4288781984 4288780748 136295552 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24562/statm: 8169 3782 198 641 0 7525 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 32676
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24649
/proc/meminfo: memFree=27319468/32873844 swapFree=7116/7116
[pid=24562] ppid=24560 vsize=32932 CPUtime=1791.61 cores=1,3,5,7
/proc/24562/stat : 24562 (bsolo) R 24560 24562 23345 0 -1 4202496 3907 0 0 0 178902 259 0 0 20 0 1 0 337809311 33722368 3852 33554432000 134512640 137136520 4288781984 4288781024 134540859 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24562/statm: 8233 3852 198 641 0 7589 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 32932
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24649
/proc/meminfo: memFree=27319840/32873844 swapFree=7116/7116
[pid=24562] ppid=24560 vsize=32932 CPUtime=1794.81 cores=1,3,5,7
/proc/24562/stat : 24562 (bsolo) R 24560 24562 23345 0 -1 4202496 3907 0 0 0 179222 259 0 0 20 0 1 0 337809311 33722368 3852 33554432000 134512640 137136520 4288781984 4288781024 134540859 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24562/statm: 8233 3852 198 641 0 7589 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 32932
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24649
/proc/meminfo: memFree=27319840/32873844 swapFree=7116/7116
[pid=24562] ppid=24560 vsize=32932 CPUtime=1796.4 cores=1,3,5,7
/proc/24562/stat : 24562 (bsolo) R 24560 24562 23345 0 -1 4202496 3907 0 0 0 179381 259 0 0 20 0 1 0 337809311 33722368 3852 33554432000 134512640 137136520 4288781984 4288780576 134616613 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24562/statm: 8233 3852 198 641 0 7589 0
Current children cumulated CPU time (s) 1796.4
Current children cumulated vsize (KiB) 32932
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24649
/proc/meminfo: memFree=27319840/32873844 swapFree=7116/7116
[pid=24562] ppid=24560 vsize=32932 CPUtime=1797.21 cores=1,3,5,7
/proc/24562/stat : 24562 (bsolo) R 24560 24562 23345 0 -1 4202496 3907 0 0 0 179461 260 0 0 20 0 1 0 337809311 33722368 3852 33554432000 134512640 137136520 4288781984 4288780392 136502032 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24562/statm: 8233 3852 198 641 0 7589 0
Current children cumulated CPU time (s) 1797.21
Current children cumulated vsize (KiB) 32932
[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24649
/proc/meminfo: memFree=27319840/32873844 swapFree=7116/7116
[pid=24562] ppid=24560 vsize=32932 CPUtime=1797.61 cores=1,3,5,7
/proc/24562/stat : 24562 (bsolo) R 24560 24562 23345 0 -1 4202496 3907 0 0 0 179501 260 0 0 20 0 1 0 337809311 33722368 3852 33554432000 134512640 137136520 4288781984 4288780880 134544034 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24562/statm: 8233 3852 198 641 0 7589 0
Current children cumulated CPU time (s) 1797.61
Current children cumulated vsize (KiB) 32932
[startup+1798.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24649
/proc/meminfo: memFree=27319840/32873844 swapFree=7116/7116
[pid=24562] ppid=24560 vsize=32932 CPUtime=1797.81 cores=1,3,5,7
/proc/24562/stat : 24562 (bsolo) R 24560 24562 23345 0 -1 4202496 3907 0 0 0 179521 260 0 0 20 0 1 0 337809311 33722368 3852 33554432000 134512640 137136520 4288781984 4288780880 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24562/statm: 8233 3852 198 641 0 7589 0
Current children cumulated CPU time (s) 1797.81
Current children cumulated vsize (KiB) 32932
[startup+1798.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24649
/proc/meminfo: memFree=27319840/32873844 swapFree=7116/7116
[pid=24562] ppid=24560 vsize=32932 CPUtime=1797.91 cores=1,3,5,7
/proc/24562/stat : 24562 (bsolo) R 24560 24562 23345 0 -1 4202496 3907 0 0 0 179531 260 0 0 20 0 1 0 337809311 33722368 3852 33554432000 134512640 137136520 4288781984 4288780880 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/24562/statm: 8233 3852 198 641 0 7589 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 32932
Child status: 0
Real time (s): 1798.29
CPU time (s): 1798
CPU user time (s): 1795.4
CPU system time (s): 2.6036
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 32932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.4
system time used= 2.6036
maximum resident set size= 15408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3908
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= 1943
runsolver used 4.28735 second user time and 10.6004 second system time
The end