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-3741566-1338774847/watcher-3741566-1338774847 -o /tmp/evaluation-result-3741566-1338774847/solver-3741566-1338774847 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3741566-1338774847.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.84 1.95 1.83 3/173 2091
/proc/meminfo: memFree=27178204/32873648 swapFree=6860/6860
[pid=2091] ppid=2089 vsize=11052 CPUtime=0 cores=1,3,5,7
/proc/2091/stat : 2091 (bsolo) R 2089 2091 2050 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 343610753 11317248 278 33554432000 134512640 137136520 4294308288 4294306344 136504651 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2091/statm: 2763 279 182 641 0 2087 0

[startup+0.0388761 s]
/proc/loadavg: 1.84 1.95 1.83 3/173 2091
/proc/meminfo: memFree=27178204/32873648 swapFree=6860/6860
[pid=2091] ppid=2089 vsize=11584 CPUtime=0.03 cores=1,3,5,7
/proc/2091/stat : 2091 (bsolo) R 2089 2091 2050 0 -1 4202496 537 0 0 0 3 0 0 0 20 0 1 0 343610753 11862016 459 33554432000 134512640 137136520 4294308288 4294291532 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2091/statm: 2896 459 188 641 0 2252 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 11584

[startup+0.100138 s]
/proc/loadavg: 1.84 1.95 1.83 3/173 2091
/proc/meminfo: memFree=27178204/32873648 swapFree=6860/6860
[pid=2091] ppid=2089 vsize=11584 CPUtime=0.09 cores=1,3,5,7
/proc/2091/stat : 2091 (bsolo) R 2089 2091 2050 0 -1 4202496 537 0 0 0 9 0 0 0 20 0 1 0 343610753 11862016 459 33554432000 134512640 137136520 4294308288 4294291532 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2091/statm: 2896 459 188 641 0 2252 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11584

[startup+0.300179 s]
/proc/loadavg: 1.84 1.95 1.83 3/173 2091
/proc/meminfo: memFree=27178204/32873648 swapFree=6860/6860
[pid=2091] ppid=2089 vsize=14320 CPUtime=0.28 cores=1,3,5,7
/proc/2091/stat : 2091 (bsolo) R 2089 2091 2050 0 -1 4202496 5264 0 0 0 28 0 0 0 20 0 1 0 343610753 14663680 1101 33554432000 134512640 137136520 4294308288 4294306120 135464202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2091/statm: 3580 1101 285 641 0 2936 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 14320

[startup+0.700176 s]
/proc/loadavg: 1.84 1.95 1.83 3/173 2091
/proc/meminfo: memFree=27178204/32873648 swapFree=6860/6860
[pid=2091] ppid=2089 vsize=14376 CPUtime=0.69 cores=1,3,5,7
/proc/2091/stat : 2091 (bsolo) R 2089 2091 2050 0 -1 4202496 5834 0 0 0 68 1 0 0 20 0 1 0 343610753 14721024 1239 33554432000 134512640 137136520 4294308288 4294307404 136568305 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2091/statm: 3594 1239 291 641 0 2950 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14376

[startup+1.50018 s]
/proc/loadavg: 1.84 1.95 1.83 3/177 2109
/proc/meminfo: memFree=27147620/32873648 swapFree=6860/6860
[pid=2091] ppid=2089 vsize=18480 CPUtime=1.49 cores=1,3,5,7
/proc/2091/stat : 2091 (bsolo) R 2089 2091 2050 0 -1 4202496 6872 0 0 0 147 2 0 0 20 0 1 0 343610753 18923520 2277 33554432000 134512640 137136520 4294308288 4294307216 134544095 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2091/statm: 4620 2277 291 641 0 3976 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18480

[startup+3.1002 s]
/proc/loadavg: 1.84 1.95 1.83 3/177 2109
/proc/meminfo: memFree=27107592/32873648 swapFree=6860/6860
[pid=2091] ppid=2089 vsize=24728 CPUtime=3.08 cores=1,3,5,7
/proc/2091/stat : 2091 (bsolo) R 2089 2091 2050 0 -1 4202496 8433 0 0 0 305 3 0 0 20 0 1 0 343610753 25321472 3838 33554432000 134512640 137136520 4294308288 4294307216 134544402 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2091/statm: 6182 3838 291 641 0 5538 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 24728

[startup+6.30022 s]
/proc/loadavg: 1.85 1.95 1.83 3/177 2109
/proc/meminfo: memFree=27097112/32873648 swapFree=6860/6860
[pid=2091] ppid=2089 vsize=34340 CPUtime=6.29 cores=1,3,5,7
/proc/2091/stat : 2091 (bsolo) R 2089 2091 2050 0 -1 4202496 10847 0 0 0 624 5 0 0 20 0 1 0 343610753 35164160 6252 33554432000 134512640 137136520 4294308288 4294307216 134544148 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2091/statm: 8585 6252 291 641 0 7941 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 34340

[startup+12.7002 s]
/proc/loadavg: 1.86 1.95 1.83 3/177 2109
/proc/meminfo: memFree=27081780/32873648 swapFree=6860/6860
[pid=2091] ppid=2089 vsize=48468 CPUtime=12.68 cores=1,3,5,7
/proc/2091/stat : 2091 (bsolo) R 2089 2091 2050 0 -1 4202496 14367 0 0 0 1262 6 0 0 20 0 1 0 343610753 49631232 9772 33554432000 134512640 137136520 4294308288 4294306784 136498324 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2091/statm: 12117 9772 291 641 0 11473 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 48468

[startup+25.5002 s]
/proc/loadavg: 1.89 1.96 1.83 3/177 2109
/proc/meminfo: memFree=27063640/32873648 swapFree=6860/6860
[pid=2091] ppid=2089 vsize=66944 CPUtime=25.48 cores=1,3,5,7
/proc/2091/stat : 2091 (bsolo) R 2089 2091 2050 0 -1 4202496 18991 0 0 0 2539 9 0 0 20 0 1 0 343610753 68550656 14396 33554432000 134512640 137136520 4294308288 4294307216 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2091/statm: 16736 14396 291 641 0 16092 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 66944

[startup+51.1003 s]
/proc/loadavg: 1.93 1.96 1.83 3/177 2109
/proc/meminfo: memFree=27039752/32873648 swapFree=6860/6860
[pid=2091] ppid=2089 vsize=91416 CPUtime=51.07 cores=1,3,5,7
/proc/2091/stat : 2091 (bsolo) R 2089 2091 2050 0 -1 4202496 25123 0 0 0 5094 13 0 0 20 0 1 0 343610753 93609984 20520 33554432000 134512640 137136520 4294308288 4294307216 134543927 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2091/statm: 22854 20520 291 641 0 22210 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 91416

[startup+102.306 s]
/proc/loadavg: 1.97 1.96 1.84 3/177 2109
/proc/meminfo: memFree=26998628/32873648 swapFree=6860/6860
[pid=2091] ppid=2089 vsize=131988 CPUtime=102.24 cores=1,3,5,7
/proc/2091/stat : 2091 (bsolo) R 2089 2091 2050 0 -1 4202496 35299 0 0 0 10205 19 0 0 20 0 1 0 343610753 135155712 30656 33554432000 134512640 137136520 4294308288 4294307216 134544112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2091/statm: 32997 30656 291 641 0 32353 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 131988

[startup+162.3 s]
/proc/loadavg: 1.99 1.97 1.84 3/177 2110
/proc/meminfo: memFree=26908308/32873648 swapFree=6860/6860
[pid=2091] ppid=2089 vsize=169476 CPUtime=162.22 cores=1,3,5,7
/proc/2091/stat : 2091 (bsolo) R 2089 2091 2050 0 -1 4202496 44672 0 0 0 16197 25 0 0 20 0 1 0 343610753 173543424 40014 33554432000 134512640 137136520 4294308288 4294307216 134543957 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2091/statm: 42369 40014 292 641 0 41725 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 169476

[startup+222.3 s]
/proc/loadavg: 2.05 1.99 1.85 3/177 2110
/proc/meminfo: memFree=26763504/32873648 swapFree=6860/6860
[pid=2091] ppid=2089 vsize=197424 CPUtime=222.2 cores=1,3,5,7
/proc/2091/stat : 2091 (bsolo) R 2089 2091 2050 0 -1 4202496 51690 0 0 0 22192 28 0 0 20 0 1 0 343610753 202162176 47032 33554432000 134512640 137136520 4294308288 4294307216 134544148 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2091/statm: 49356 47032 292 641 0 48712 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 197424

[startup+282.3 s]
/proc/loadavg: 2.02 1.99 1.86 3/177 2110
/proc/meminfo: memFree=26694660/32873648 swapFree=6860/6860
[pid=2091] ppid=2089 vsize=226196 CPUtime=282.2 cores=1,3,5,7
/proc/2091/stat : 2091 (bsolo) R 2089 2091 2050 0 -1 4202496 58862 0 0 0 28186 34 0 0 20 0 1 0 343610753 231624704 54204 33554432000 134512640 137136520 4294308288 4294307216 134544145 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2091/statm: 56549 54204 292 641 0 55905 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 226196

[startup+342.3 s]
/proc/loadavg: 2.00 1.99 1.87 3/177 2110
/proc/meminfo: memFree=26631872/32873648 swapFree=6860/6860
[pid=2091] ppid=2089 vsize=250800 CPUtime=342.19 cores=1,3,5,7
/proc/2091/stat : 2091 (bsolo) R 2089 2091 2050 0 -1 4202496 65007 0 0 0 34182 37 0 0 20 0 1 0 343610753 256819200 60349 33554432000 134512640 137136520 4294308288 4294307216 134543971 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2091/statm: 62700 60349 292 641 0 62056 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 250800

[startup+402.3 s]
/proc/loadavg: 2.00 1.99 1.87 3/178 2113
/proc/meminfo: memFree=26576316/32873648 swapFree=6860/6860
[pid=2091] ppid=2089 vsize=272648 CPUtime=402.16 cores=1,3,5,7
/proc/2091/stat : 2091 (bsolo) R 2089 2091 2050 0 -1 4202496 70497 0 0 0 40176 40 0 0 20 0 1 0 343610753 279191552 65814 33554432000 134512640 137136520 4294308288 4294307216 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2091/statm: 68162 65814 292 641 0 67518 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 272648

[startup+462.3 s]
/proc/loadavg: 2.00 1.99 1.88 3/178 2137
/proc/meminfo: memFree=26528368/32873648 swapFree=6860/6860
[pid=2091] ppid=2089 vsize=291684 CPUtime=462.12 cores=1,3,5,7
/proc/2091/stat : 2091 (bsolo) R 2089 2091 2050 0 -1 4202496 75309 0 0 0 46168 44 0 0 20 0 1 0 343610753 298684416 70579 33554432000 134512640 137136520 4294308288 4294307216 134543948 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2091/statm: 72921 70579 292 641 0 72277 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 291684

[startup+522.3 s]
/proc/loadavg: 2.00 1.99 1.88 3/177 2137
/proc/meminfo: memFree=26482308/32873648 swapFree=6860/6860
[pid=2091] ppid=2089 vsize=310060 CPUtime=522.1 cores=1,3,5,7
/proc/2091/stat : 2091 (bsolo) R 2089 2091 2050 0 -1 4202496 79900 0 0 0 52164 46 0 0 20 0 1 0 343610753 317501440 75169 33554432000 134512640 137136520 4294308288 4294307216 134544112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2091/statm: 77515 75169 292 641 0 76871 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 310060

[startup+582.3 s]
/proc/loadavg: 2.00 1.99 1.89 3/177 2137
/proc/meminfo: memFree=26419936/32873648 swapFree=6860/6860
[pid=2091] ppid=2089 vsize=328172 CPUtime=582.09 cores=1,3,5,7
/proc/2091/stat : 2091 (bsolo) R 2089 2091 2050 0 -1 4202496 84434 0 0 0 58161 48 0 0 20 0 1 0 343610753 336048128 79703 33554432000 134512640 137136520 4294308288 4294307216 134543831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2091/statm: 82043 79703 292 641 0 81399 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 328172

[startup+642.3 s]
/proc/loadavg: 2.00 1.99 1.90 3/177 2137
/proc/meminfo: memFree=26367760/32873648 swapFree=6860/6860
[pid=2091] ppid=2089 vsize=348016 CPUtime=642.09 cores=1,3,5,7
/proc/2091/stat : 2091 (bsolo) R 2089 2091 2050 0 -1 4202496 89402 0 0 0 64158 51 0 0 20 0 1 0 343610753 356368384 84671 33554432000 134512640 137136520 4294308288 4294306820 134551319 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2091/statm: 87004 84671 292 641 0 86360 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 348016

[startup+702.3 s]
/proc/loadavg: 2.00 1.99 1.90 3/177 2137
/proc/meminfo: memFree=26320164/32873648 swapFree=6860/6860
[pid=2091] ppid=2089 vsize=365300 CPUtime=702.08 cores=1,3,5,7
/proc/2091/stat : 2091 (bsolo) R 2089 2091 2050 0 -1 4202496 93705 0 0 0 70153 55 0 0 20 0 1 0 343610753 374067200 88974 33554432000 134512640 137136520 4294308288 4294306840 136502148 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2091/statm: 91325 88974 292 641 0 90681 0
Current children cumulated CPU time (s) 702.08
Current children cumulated vsize (KiB) 365300

[startup+762.306 s]
/proc/loadavg: 2.00 1.99 1.91 3/177 2138
/proc/meminfo: memFree=26274684/32873648 swapFree=6860/6860
[pid=2091] ppid=2089 vsize=380612 CPUtime=762.07 cores=1,3,5,7
/proc/2091/stat : 2091 (bsolo) R 2089 2091 2050 0 -1 4202496 97532 0 0 0 76150 57 0 0 20 0 1 0 343610753 389746688 92801 33554432000 134512640 137136520 4294308288 4294307212 136295552 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2091/statm: 95153 92801 292 641 0 94509 0
Current children cumulated CPU time (s) 762.07
Current children cumulated vsize (KiB) 380612

[startup+822.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/177 2138
/proc/meminfo: memFree=26182208/32873648 swapFree=6860/6860
[pid=2091] ppid=2089 vsize=396072 CPUtime=822.06 cores=1,3,5,7
/proc/2091/stat : 2091 (bsolo) R 2089 2091 2050 0 -1 4202496 101399 0 0 0 82147 59 0 0 20 0 1 0 343610753 405577728 96668 33554432000 134512640 137136520 4294308288 4294307216 134544112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2091/statm: 99018 96668 292 641 0 98374 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 396072

[startup+882.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/177 2138
/proc/meminfo: memFree=26127920/32873648 swapFree=6860/6860
[pid=2091] ppid=2089 vsize=411668 CPUtime=882.05 cores=1,3,5,7
/proc/2091/stat : 2091 (bsolo) R 2089 2091 2050 0 -1 4202496 105310 0 0 0 88143 62 0 0 20 0 1 0 343610753 421548032 100579 33554432000 134512640 137136520 4294308288 4294307216 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2091/statm: 102917 100579 292 641 0 102273 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 411668

[startup+942.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/177 2138
/proc/meminfo: memFree=26056000/32873648 swapFree=6860/6860
[pid=2091] ppid=2089 vsize=426444 CPUtime=942.04 cores=1,3,5,7
/proc/2091/stat : 2091 (bsolo) R 2089 2091 2050 0 -1 4202496 109014 0 0 0 94140 64 0 0 20 0 1 0 343610753 436678656 104283 33554432000 134512640 137136520 4294308288 4294307216 134543957 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2091/statm: 106611 104283 292 641 0 105967 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 426444

Solver just ended. Dumping a history of the last processes samples

[startup+947.106 s]
/proc/loadavg: 2.00 1.99 1.91 3/177 2138
/proc/meminfo: memFree=26041988/32873648 swapFree=6860/6860
[pid=2091] ppid=2089 vsize=427648 CPUtime=946.85 cores=1,3,5,7
/proc/2091/stat : 2091 (bsolo) R 2089 2091 2050 0 -1 4202496 109310 0 0 0 94621 64 0 0 20 0 1 0 343610753 437911552 104579 33554432000 134512640 137136520 4294308288 4294307216 134544148 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2091/statm: 106912 104579 292 641 0 106268 0
Current children cumulated CPU time (s) 946.85
Current children cumulated vsize (KiB) 427648

[startup+972.7 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 2141
/proc/meminfo: memFree=25926032/32873648 swapFree=6860/6860
[pid=2091] ppid=2089 vsize=434296 CPUtime=972.43 cores=1,3,5,7
/proc/2091/stat : 2091 (bsolo) R 2089 2091 2050 0 -1 4202496 110967 0 0 0 97178 65 0 0 20 0 1 0 343610753 444719104 106236 33554432000 134512640 137136520 4294308288 4294307216 134543865 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2091/statm: 108574 106236 292 641 0 107930 0
Current children cumulated CPU time (s) 972.43
Current children cumulated vsize (KiB) 434296

[startup+979.1 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 2141
/proc/meminfo: memFree=25900860/32873648 swapFree=6860/6860
[pid=2091] ppid=2089 vsize=435784 CPUtime=978.83 cores=1,3,5,7
/proc/2091/stat : 2091 (bsolo) R 2089 2091 2050 0 -1 4202496 111345 0 0 0 97818 65 0 0 20 0 1 0 343610753 446242816 106614 33554432000 134512640 137136520 4294308288 4294307216 134543819 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2091/statm: 108946 106614 292 641 0 108302 0
Current children cumulated CPU time (s) 978.83
Current children cumulated vsize (KiB) 435784

[startup+982.306 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 2141
/proc/meminfo: memFree=25886476/32873648 swapFree=6860/6860
[pid=2091] ppid=2089 vsize=436448 CPUtime=982.04 cores=1,3,5,7
/proc/2091/stat : 2091 (bsolo) R 2089 2091 2050 0 -1 4202496 111501 0 0 0 98139 65 0 0 20 0 1 0 343610753 446922752 106770 33554432000 134512640 137136520 4294308288 4294307216 134544157 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2091/statm: 109112 106770 292 641 0 108468 0
Current children cumulated CPU time (s) 982.04
Current children cumulated vsize (KiB) 436448

[startup+983.9 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 2141
/proc/meminfo: memFree=25881764/32873648 swapFree=6860/6860
[pid=2091] ppid=2089 vsize=436844 CPUtime=983.63 cores=1,3,5,7
/proc/2091/stat : 2091 (bsolo) R 2089 2091 2050 0 -1 4202496 111593 0 0 0 98298 65 0 0 20 0 1 0 343610753 447328256 106862 33554432000 134512640 137136520 4294308288 4294307216 134544116 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2091/statm: 109211 106862 292 641 0 108567 0
Current children cumulated CPU time (s) 983.63
Current children cumulated vsize (KiB) 436844

[startup+985.5 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 2141
/proc/meminfo: memFree=25877052/32873648 swapFree=6860/6860
[pid=2091] ppid=2089 vsize=437112 CPUtime=985.24 cores=1,3,5,7
/proc/2091/stat : 2091 (bsolo) R 2089 2091 2050 0 -1 4202496 111661 0 0 0 98458 66 0 0 20 0 1 0 343610753 447602688 106930 33554432000 134512640 137136520 4294308288 4294307216 134544112 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2091/statm: 109278 106930 292 641 0 108634 0
Current children cumulated CPU time (s) 985.24
Current children cumulated vsize (KiB) 437112

[startup+986.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 2141
/proc/meminfo: memFree=25877052/32873648 swapFree=6860/6860
[pid=2091] ppid=2089 vsize=437376 CPUtime=986.04 cores=1,3,5,7
/proc/2091/stat : 2091 (bsolo) R 2089 2091 2050 0 -1 4202496 111723 0 0 0 98538 66 0 0 20 0 1 0 343610753 447873024 106992 33554432000 134512640 137136520 4294308288 4294307168 136295591 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2091/statm: 109344 106992 292 641 0 108700 0
Current children cumulated CPU time (s) 986.04
Current children cumulated vsize (KiB) 437376

[startup+986.5 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 2141
/proc/meminfo: memFree=25877052/32873648 swapFree=6860/6860
[pid=2091] ppid=2089 vsize=437376 CPUtime=986.24 cores=1,3,5,7
/proc/2091/stat : 2091 (bsolo) R 2089 2091 2050 0 -1 4202496 111728 0 0 0 98558 66 0 0 20 0 1 0 343610753 447873024 106997 33554432000 134512640 137136520 4294308288 4294307184 134543918 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2091/statm: 109344 106997 292 641 0 108700 0
Current children cumulated CPU time (s) 986.24
Current children cumulated vsize (KiB) 437376

[startup+986.6 s]
/proc/loadavg: 2.00 1.99 1.91 3/178 2141
/proc/meminfo: memFree=25876432/32873648 swapFree=6860/6860
[pid=2091] ppid=2089 vsize=437376 CPUtime=986.34 cores=1,3,5,7
/proc/2091/stat : 2091 (bsolo) R 2089 2091 2050 0 -1 4202496 111728 0 0 0 98568 66 0 0 20 0 1 0 343610753 447873024 106997 33554432000 134512640 137136520 4294308288 4294307216 134544256 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/2091/statm: 109344 106997 292 641 0 108700 0
Current children cumulated CPU time (s) 986.34
Current children cumulated vsize (KiB) 437376

Child status: 0
Real time (s): 986.622
CPU time (s): 986.366
CPU user time (s): 985.692
CPU system time (s): 0.673897
CPU usage (%): 99.974
Max. virtual memory (cumulated for all children) (KiB): 437376

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 985.692
system time used= 0.673897
maximum resident set size= 428028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111739
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= 138
involuntary context switches= 1012

runsolver used 1.41179 second user time and 3.9774 second system time

The end