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-3741221-1338769141/watcher-3741221-1338769141 -o /tmp/evaluation-result-3741221-1338769141/solver-3741221-1338769141 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3741221-1338769141.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 2.00 3/176 5947
/proc/meminfo: memFree=27127504/32873648 swapFree=7116/7116
[pid=5947] ppid=5945 vsize=11228 CPUtime=0 cores=0,2,4,6
/proc/5947/stat : 5947 (bsolo) R 5945 5947 5461 0 -1 4202496 348 0 0 0 0 0 0 0 20 0 1 0 343039577 11497472 301 33554432000 134512640 137136520 4288436944 4288435032 136504651 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5947/statm: 2807 301 185 641 0 2121 0

[startup+0.0354489 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 5947
/proc/meminfo: memFree=27127504/32873648 swapFree=7116/7116
[pid=5947] ppid=5945 vsize=11860 CPUtime=0.03 cores=0,2,4,6
/proc/5947/stat : 5947 (bsolo) R 5945 5947 5461 0 -1 4202496 599 0 0 0 3 0 0 0 20 0 1 0 343039577 12144640 510 33554432000 134512640 137136520 4288436944 4288414764 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5947/statm: 2965 510 189 641 0 2321 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 11860

[startup+0.100209 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 5947
/proc/meminfo: memFree=27127504/32873648 swapFree=7116/7116
[pid=5947] ppid=5945 vsize=12076 CPUtime=0.09 cores=0,2,4,6
/proc/5947/stat : 5947 (bsolo) R 5945 5947 5461 0 -1 4202496 713 0 0 0 9 0 0 0 20 0 1 0 343039577 12365824 600 33554432000 134512640 137136520 4288436944 4288436060 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5947/statm: 3019 600 197 641 0 2375 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12076

[startup+0.300172 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 5947
/proc/meminfo: memFree=27127504/32873648 swapFree=7116/7116
[pid=5947] ppid=5945 vsize=13372 CPUtime=0.29 cores=0,2,4,6
/proc/5947/stat : 5947 (bsolo) R 5945 5947 5461 0 -1 4202496 1020 0 0 0 28 1 0 0 20 0 1 0 343039577 13692928 907 33554432000 134512640 137136520 4288436944 4288436060 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5947/statm: 3343 907 197 641 0 2699 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13372

[startup+0.700178 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 5947
/proc/meminfo: memFree=27127504/32873648 swapFree=7116/7116
[pid=5947] ppid=5945 vsize=15604 CPUtime=0.69 cores=0,2,4,6
/proc/5947/stat : 5947 (bsolo) R 5945 5947 5461 0 -1 4202496 1572 0 0 0 67 2 0 0 20 0 1 0 343039577 15978496 1459 33554432000 134512640 137136520 4288436944 4288435872 134544148 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5947/statm: 3901 1459 197 641 0 3257 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15604

[startup+1.50018 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5948
/proc/meminfo: memFree=27121436/32873648 swapFree=7116/7116
[pid=5947] ppid=5945 vsize=20032 CPUtime=1.49 cores=0,2,4,6
/proc/5947/stat : 5947 (bsolo) R 5945 5947 5461 0 -1 4202496 2693 0 0 0 146 3 0 0 20 0 1 0 343039577 20512768 2580 33554432000 134512640 137136520 4288436944 4288435872 134544010 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5947/statm: 5008 2580 197 641 0 4364 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20032

[startup+3.10019 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5948
/proc/meminfo: memFree=27115484/32873648 swapFree=7116/7116
[pid=5947] ppid=5945 vsize=26048 CPUtime=3.09 cores=0,2,4,6
/proc/5947/stat : 5947 (bsolo) R 5945 5947 5461 0 -1 4202496 4198 0 0 0 304 5 0 0 20 0 1 0 343039577 26673152 4085 33554432000 134512640 137136520 4288436944 4288435584 134606731 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5947/statm: 6512 4085 197 641 0 5868 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26048

[startup+6.30021 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5948
/proc/meminfo: memFree=27100488/32873648 swapFree=7116/7116
[pid=5947] ppid=5945 vsize=39496 CPUtime=6.29 cores=0,2,4,6
/proc/5947/stat : 5947 (bsolo) R 5945 5947 5461 0 -1 4202496 7565 0 0 0 623 6 0 0 20 0 1 0 343039577 40443904 7452 33554432000 134512640 137136520 4288436944 4288435872 134543831 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5947/statm: 9874 7452 197 641 0 9230 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 39496

[startup+12.7002 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 5948
/proc/meminfo: memFree=27076892/32873648 swapFree=7116/7116
[pid=5947] ppid=5945 vsize=58148 CPUtime=12.69 cores=0,2,4,6
/proc/5947/stat : 5947 (bsolo) R 5945 5947 5461 0 -1 4202496 12229 0 0 0 1260 9 0 0 20 0 1 0 343039577 59543552 12116 33554432000 134512640 137136520 4288436944 4288435872 134544440 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5947/statm: 14537 12116 197 641 0 13893 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 58148

[startup+25.5002 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 5948
/proc/meminfo: memFree=27041924/32873648 swapFree=7116/7116
[pid=5947] ppid=5945 vsize=89480 CPUtime=25.49 cores=0,2,4,6
/proc/5947/stat : 5947 (bsolo) R 5945 5947 5461 0 -1 4202496 20048 0 0 0 2536 13 0 0 20 0 1 0 343039577 91627520 19935 33554432000 134512640 137136520 4288436944 4288435440 136498324 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5947/statm: 22370 19935 197 641 0 21726 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 89480

[startup+51.1003 s]
/proc/loadavg: 2.11 2.03 2.01 3/176 5948
/proc/meminfo: memFree=26987188/32873648 swapFree=7116/7116
[pid=5947] ppid=5945 vsize=137088 CPUtime=51.08 cores=0,2,4,6
/proc/5947/stat : 5947 (bsolo) R 5945 5947 5461 0 -1 4202496 31952 0 0 0 5090 18 0 0 20 0 1 0 343039577 140378112 31839 33554432000 134512640 137136520 4288436944 4288435872 134543831 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5947/statm: 34272 31839 197 641 0 33628 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 137088

[startup+102.307 s]
/proc/loadavg: 2.05 2.02 2.00 3/178 5952
/proc/meminfo: memFree=26900236/32873648 swapFree=7116/7116
[pid=5947] ppid=5945 vsize=207468 CPUtime=102.28 cores=0,2,4,6
/proc/5947/stat : 5947 (bsolo) R 5945 5947 5461 0 -1 4202496 49559 0 0 0 10200 28 0 0 20 0 1 0 343039577 212447232 49446 33554432000 134512640 137136520 4288436944 4288435872 134543948 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5947/statm: 51867 49446 198 641 0 51223 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 207468

[startup+162.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 5952
/proc/meminfo: memFree=26806256/32873648 swapFree=7116/7116
[pid=5947] ppid=5945 vsize=284824 CPUtime=162.26 cores=0,2,4,6
/proc/5947/stat : 5947 (bsolo) R 5945 5947 5461 0 -1 4202496 68896 0 0 0 16190 36 0 0 20 0 1 0 343039577 291659776 68783 33554432000 134512640 137136520 4288436944 4288435872 134543831 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5947/statm: 71206 68783 198 641 0 70562 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 284824

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 5952
/proc/meminfo: memFree=26724788/32873648 swapFree=7116/7116
[pid=5947] ppid=5945 vsize=346064 CPUtime=222.25 cores=0,2,4,6
/proc/5947/stat : 5947 (bsolo) R 5945 5947 5461 0 -1 4202496 84196 0 0 0 22183 42 0 0 20 0 1 0 343039577 354369536 84083 33554432000 134512640 137136520 4288436944 4288435712 134574344 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5947/statm: 86516 84083 198 641 0 85872 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 346064

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 5952
/proc/meminfo: memFree=26649212/32873648 swapFree=7116/7116
[pid=5947] ppid=5945 vsize=400292 CPUtime=282.24 cores=0,2,4,6
/proc/5947/stat : 5947 (bsolo) R 5945 5947 5461 0 -1 4202496 97749 0 0 0 28177 47 0 0 20 0 1 0 343039577 409899008 97636 33554432000 134512640 137136520 4288436944 4288435872 134543918 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5947/statm: 100073 97636 198 641 0 99429 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 400292

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5952
/proc/meminfo: memFree=26582016/32873648 swapFree=7116/7116
[pid=5947] ppid=5945 vsize=446068 CPUtime=342.23 cores=0,2,4,6
/proc/5947/stat : 5947 (bsolo) R 5945 5947 5461 0 -1 4202496 109209 0 0 0 34171 52 0 0 20 0 1 0 343039577 456773632 109096 33554432000 134512640 137136520 4288436944 4288435864 135982505 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5947/statm: 111517 109096 198 641 0 110873 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 446068

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5953
/proc/meminfo: memFree=26525764/32873648 swapFree=7116/7116
[pid=5947] ppid=5945 vsize=486888 CPUtime=402.22 cores=0,2,4,6
/proc/5947/stat : 5947 (bsolo) R 5945 5947 5461 0 -1 4202496 119415 0 0 0 40165 57 0 0 20 0 1 0 343039577 498573312 119302 33554432000 134512640 137136520 4288436944 4288435872 134543927 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5947/statm: 121722 119302 198 641 0 121078 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 486888

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5953
/proc/meminfo: memFree=26472208/32873648 swapFree=7116/7116
[pid=5947] ppid=5945 vsize=524904 CPUtime=462.21 cores=0,2,4,6
/proc/5947/stat : 5947 (bsolo) R 5945 5947 5461 0 -1 4202496 128906 0 0 0 46158 63 0 0 20 0 1 0 343039577 537501696 128793 33554432000 134512640 137136520 4288436944 4288435872 134544145 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5947/statm: 131226 128793 198 641 0 130582 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 524904

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5954
/proc/meminfo: memFree=26395240/32873648 swapFree=7116/7116
[pid=5947] ppid=5945 vsize=559176 CPUtime=522.2 cores=0,2,4,6
/proc/5947/stat : 5947 (bsolo) R 5945 5947 5461 0 -1 4202496 137481 0 0 0 52151 69 0 0 20 0 1 0 343039577 572596224 137368 33554432000 134512640 137136520 4288436944 4288435224 136504651 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5947/statm: 139794 137368 198 641 0 139150 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 559176

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5954
/proc/meminfo: memFree=26316056/32873648 swapFree=7116/7116
[pid=5947] ppid=5945 vsize=604516 CPUtime=582.17 cores=0,2,4,6
/proc/5947/stat : 5947 (bsolo) R 5945 5947 5461 0 -1 4202496 148846 0 0 0 58142 75 0 0 20 0 1 0 343039577 619024384 148702 33554432000 134512640 137136520 4288436944 4288435872 134544076 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5947/statm: 151129 148702 198 641 0 150485 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 604516

[startup+642.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 5954
/proc/meminfo: memFree=26231996/32873648 swapFree=7116/7116
[pid=5947] ppid=5945 vsize=652492 CPUtime=642.13 cores=0,2,4,6
/proc/5947/stat : 5947 (bsolo) R 5945 5947 5461 0 -1 4202496 160871 0 0 0 64133 80 0 0 20 0 1 0 343039577 668151808 160679 33554432000 134512640 137136520 4288436944 4288435872 134544402 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5947/statm: 163123 160679 198 641 0 162479 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 652492

[startup+702.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 5958
/proc/meminfo: memFree=26148728/32873648 swapFree=7116/7116
[pid=5947] ppid=5945 vsize=701992 CPUtime=702.09 cores=0,2,4,6
/proc/5947/stat : 5947 (bsolo) R 5945 5947 5461 0 -1 4202496 173306 0 0 0 70125 84 0 0 20 0 1 0 343039577 718839808 173066 33554432000 134512640 137136520 4288436944 4288435872 134543865 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5947/statm: 175498 173066 198 641 0 174854 0
Current children cumulated CPU time (s) 702.09
Current children cumulated vsize (KiB) 701992

[startup+762.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5958
/proc/meminfo: memFree=26074192/32873648 swapFree=7116/7116
[pid=5947] ppid=5945 vsize=744816 CPUtime=762.05 cores=0,2,4,6
/proc/5947/stat : 5947 (bsolo) R 5945 5947 5461 0 -1 4202496 184062 0 0 0 76118 87 0 0 20 0 1 0 343039577 762691584 183776 33554432000 134512640 137136520 4288436944 4288435872 134543831 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5947/statm: 186204 183776 198 641 0 185560 0
Current children cumulated CPU time (s) 762.05
Current children cumulated vsize (KiB) 744816

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6006
/proc/meminfo: memFree=27070816/32873648 swapFree=7116/7116
[pid=5947] ppid=5945 vsize=781088 CPUtime=822 cores=0,2,4,6
/proc/5947/stat : 5947 (bsolo) R 5945 5947 5461 0 -1 4202496 193184 0 0 0 82107 93 0 0 20 0 1 0 343039577 799834112 192850 33554432000 134512640 137136520 4288436944 4288435872 134544122 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5947/statm: 195272 192850 198 641 0 194628 0
Current children cumulated CPU time (s) 822
Current children cumulated vsize (KiB) 781088

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6006
/proc/meminfo: memFree=26946404/32873648 swapFree=7116/7116
[pid=5947] ppid=5945 vsize=820916 CPUtime=881.96 cores=0,2,4,6
/proc/5947/stat : 5947 (bsolo) R 5945 5947 5461 0 -1 4202496 203177 0 0 0 88098 98 0 0 20 0 1 0 343039577 840617984 202795 33554432000 134512640 137136520 4288436944 4288423248 134600241 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5947/statm: 205229 202795 198 641 0 204585 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 820916

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6006
/proc/meminfo: memFree=26843156/32873648 swapFree=7116/7116
[pid=5947] ppid=5945 vsize=865548 CPUtime=941.92 cores=0,2,4,6
/proc/5947/stat : 5947 (bsolo) R 5945 5947 5461 0 -1 4202496 214381 0 0 0 94089 103 0 0 20 0 1 0 343039577 886321152 213952 33554432000 134512640 137136520 4288436944 4288435872 134544396 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5947/statm: 216387 213952 198 641 0 215743 0
Current children cumulated CPU time (s) 941.92
Current children cumulated vsize (KiB) 865548

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

[startup+947.107 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6006
/proc/meminfo: memFree=26833468/32873648 swapFree=7116/7116
[pid=5947] ppid=5945 vsize=868728 CPUtime=946.73 cores=0,2,4,6
/proc/5947/stat : 5947 (bsolo) R 5945 5947 5461 0 -1 4202496 215179 0 0 0 94570 103 0 0 20 0 1 0 343039577 889577472 214750 33554432000 134512640 137136520 4288436944 4288435536 134616694 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5947/statm: 217182 214750 198 641 0 216538 0
Current children cumulated CPU time (s) 946.73
Current children cumulated vsize (KiB) 868728

[startup+959.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6006
/proc/meminfo: memFree=26815968/32873648 swapFree=7116/7116
[pid=5947] ppid=5945 vsize=877356 CPUtime=959.52 cores=0,2,4,6
/proc/5947/stat : 5947 (bsolo) R 5945 5947 5461 0 -1 4202496 217338 0 0 0 95848 104 0 0 20 0 1 0 343039577 898412544 216901 33554432000 134512640 137136520 4288436944 4288435656 136502044 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5947/statm: 219339 216901 198 641 0 218695 0
Current children cumulated CPU time (s) 959.52
Current children cumulated vsize (KiB) 877356

[startup+966.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6007
/proc/meminfo: memFree=26804304/32873648 swapFree=7116/7116
[pid=5947] ppid=5945 vsize=882052 CPUtime=965.91 cores=0,2,4,6
/proc/5947/stat : 5947 (bsolo) R 5945 5947 5461 0 -1 4202496 218540 0 0 0 96487 104 0 0 20 0 1 0 343039577 903221248 218096 33554432000 134512640 137136520 4288436944 4288435804 136518911 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5947/statm: 220513 218096 198 641 0 219869 0
Current children cumulated CPU time (s) 965.91
Current children cumulated vsize (KiB) 882052

[startup+972.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6007
/proc/meminfo: memFree=26791012/32873648 swapFree=7116/7116
[pid=5947] ppid=5945 vsize=888256 CPUtime=972.31 cores=0,2,4,6
/proc/5947/stat : 5947 (bsolo) R 5945 5947 5461 0 -1 4202496 220085 0 0 0 97126 105 0 0 20 0 1 0 343039577 909574144 219633 33554432000 134512640 137136520 4288436944 4288435872 134543865 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5947/statm: 222064 219633 198 641 0 221420 0
Current children cumulated CPU time (s) 972.31
Current children cumulated vsize (KiB) 888256

[startup+975.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6007
/proc/meminfo: memFree=26786176/32873648 swapFree=7116/7116
[pid=5947] ppid=5945 vsize=890448 CPUtime=975.5 cores=0,2,4,6
/proc/5947/stat : 5947 (bsolo) R 5945 5947 5461 0 -1 4202496 220643 0 0 0 97445 105 0 0 20 0 1 0 343039577 911818752 220191 33554432000 134512640 137136520 4288436944 4288435872 134543865 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5947/statm: 222612 220191 198 641 0 221968 0
Current children cumulated CPU time (s) 975.5
Current children cumulated vsize (KiB) 890448

[startup+976.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6007
/proc/meminfo: memFree=26783944/32873648 swapFree=7116/7116
[pid=5947] ppid=5945 vsize=891136 CPUtime=976.31 cores=0,2,4,6
/proc/5947/stat : 5947 (bsolo) R 5945 5947 5461 0 -1 4202496 220795 0 0 0 97526 105 0 0 20 0 1 0 343039577 912523264 220343 33554432000 134512640 137136520 4288436944 4288435872 134543865 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5947/statm: 222784 220343 198 641 0 222140 0
Current children cumulated CPU time (s) 976.31
Current children cumulated vsize (KiB) 891136

[startup+977.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6007
/proc/meminfo: memFree=26783944/32873648 swapFree=7116/7116
[pid=5947] ppid=5945 vsize=891388 CPUtime=976.7 cores=0,2,4,6
/proc/5947/stat : 5947 (bsolo) R 5945 5947 5461 0 -1 4202496 220877 0 0 0 97565 105 0 0 20 0 1 0 343039577 912781312 220425 33554432000 134512640 137136520 4288436944 4288435872 134543831 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5947/statm: 222847 220425 198 641 0 222203 0
Current children cumulated CPU time (s) 976.7
Current children cumulated vsize (KiB) 891388

[startup+977.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6007
/proc/meminfo: memFree=26783944/32873648 swapFree=7116/7116
[pid=5947] ppid=5945 vsize=891700 CPUtime=977.1 cores=0,2,4,6
/proc/5947/stat : 5947 (bsolo) R 5945 5947 5461 0 -1 4202496 220954 0 0 0 97605 105 0 0 20 0 1 0 343039577 913100800 220502 33554432000 134512640 137136520 4288436944 4288435872 134543819 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5947/statm: 222925 220502 198 641 0 222281 0
Current children cumulated CPU time (s) 977.1
Current children cumulated vsize (KiB) 891700

[startup+977.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 6007
/proc/meminfo: memFree=26783944/32873648 swapFree=7116/7116
[pid=5947] ppid=5945 vsize=891700 CPUtime=977.2 cores=0,2,4,6
/proc/5947/stat : 5947 (bsolo) R 5945 5947 5461 0 -1 4202496 220954 0 0 0 97615 105 0 0 20 0 1 0 343039577 913100800 220502 33554432000 134512640 137136520 4288436944 4288435872 134544402 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5947/statm: 222925 220502 198 641 0 222281 0
Current children cumulated CPU time (s) 977.2
Current children cumulated vsize (KiB) 891700

Child status: 0
Real time (s): 977.66
CPU time (s): 977.272
CPU user time (s): 976.206
CPU system time (s): 1.06684
CPU usage (%): 99.9603
Max. virtual memory (cumulated for all children) (KiB): 891700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 976.206
system time used= 1.06684
maximum resident set size= 882028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 220960
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= 342
involuntary context switches= 1313

runsolver used 1.59476 second user time and 5.09023 second system time

The end