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-3741247-1338769534/watcher-3741247-1338769534 -o /tmp/evaluation-result-3741247-1338769534/solver-3741247-1338769534 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3741247-1338769534.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.02 2.01 2.11 3/174 5607
/proc/meminfo: memFree=28020716/32873852 swapFree=7624/7624
[pid=5607] ppid=5605 vsize=10952 CPUtime=0 cores=0,2,4,6
/proc/5607/stat : 5607 (bsolo) R 5605 5607 1918 0 -1 4202496 310 0 0 0 0 0 0 0 20 0 1 0 343078872 11214848 263 33554432000 134512640 137136520 4287469632 4287467528 136504651 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5607/statm: 2738 263 183 641 0 2055 0
[startup+0.0205771 s]
/proc/loadavg: 2.02 2.01 2.11 3/174 5607
/proc/meminfo: memFree=28020716/32873852 swapFree=7624/7624
[pid=5607] ppid=5605 vsize=11588 CPUtime=0.01 cores=0,2,4,6
/proc/5607/stat : 5607 (bsolo) R 5605 5607 1918 0 -1 4202496 528 0 0 0 1 0 0 0 20 0 1 0 343078872 11866112 442 33554432000 134512640 137136520 4287469632 4287451772 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5607/statm: 2897 442 189 641 0 2253 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 11588
[startup+0.100208 s]
/proc/loadavg: 2.02 2.01 2.11 3/174 5607
/proc/meminfo: memFree=28020716/32873852 swapFree=7624/7624
[pid=5607] ppid=5605 vsize=12244 CPUtime=0.09 cores=0,2,4,6
/proc/5607/stat : 5607 (bsolo) R 5605 5607 1918 0 -1 4202496 3416 0 0 0 9 0 0 0 20 0 1 0 343078872 12537856 618 33554432000 134512640 137136520 4287469632 4287468032 134710037 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5607/statm: 3061 632 226 641 0 2417 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12244
[startup+0.300173 s]
/proc/loadavg: 2.02 2.01 2.11 3/174 5607
/proc/meminfo: memFree=28020716/32873852 swapFree=7624/7624
[pid=5607] ppid=5605 vsize=14760 CPUtime=0.29 cores=0,2,4,6
/proc/5607/stat : 5607 (bsolo) R 5605 5607 1918 0 -1 4202496 7224 0 0 0 28 1 0 0 20 0 1 0 343078872 15114240 1036 33554432000 134512640 137136520 4287469632 4287467072 134718944 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5607/statm: 3690 1036 286 641 0 3046 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14760
[startup+0.700174 s]
/proc/loadavg: 2.02 2.01 2.11 3/174 5607
/proc/meminfo: memFree=28020716/32873852 swapFree=7624/7624
[pid=5607] ppid=5605 vsize=13788 CPUtime=0.69 cores=0,2,4,6
/proc/5607/stat : 5607 (bsolo) R 5605 5607 1918 0 -1 4202496 7608 0 0 0 68 1 0 0 20 0 1 0 343078872 14118912 1119 33554432000 134512640 137136520 4287469632 4287468184 136501965 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5607/statm: 3447 1119 292 641 0 2803 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13788
[startup+1.50017 s]
/proc/loadavg: 2.02 2.01 2.11 3/175 5608
/proc/meminfo: memFree=28016276/32873852 swapFree=7624/7624
[pid=5607] ppid=5605 vsize=17496 CPUtime=1.49 cores=0,2,4,6
/proc/5607/stat : 5607 (bsolo) R 5605 5607 1918 0 -1 4202496 8530 0 0 0 148 1 0 0 20 0 1 0 343078872 17915904 2041 33554432000 134512640 137136520 4287469632 4287468748 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5607/statm: 4374 2041 292 641 0 3730 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17496
[startup+3.10021 s]
/proc/loadavg: 2.02 2.01 2.11 3/175 5608
/proc/meminfo: memFree=28011564/32873852 swapFree=7624/7624
[pid=5607] ppid=5605 vsize=23452 CPUtime=3.09 cores=0,2,4,6
/proc/5607/stat : 5607 (bsolo) R 5605 5607 1918 0 -1 4202496 10011 0 0 0 307 2 0 0 20 0 1 0 343078872 24014848 3522 33554432000 134512640 137136520 4287469632 4287468560 134544148 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5607/statm: 5863 3522 292 641 0 5219 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23452
[startup+6.30019 s]
/proc/loadavg: 2.02 2.01 2.11 3/175 5608
/proc/meminfo: memFree=28000404/32873852 swapFree=7624/7624
[pid=5607] ppid=5605 vsize=32840 CPUtime=6.29 cores=0,2,4,6
/proc/5607/stat : 5607 (bsolo) R 5605 5607 1918 0 -1 4202496 12354 0 0 0 626 3 0 0 20 0 1 0 343078872 33628160 5865 33554432000 134512640 137136520 4287469632 4287468560 134544112 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/5607/statm: 8210 5865 292 641 0 7566 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32840
[startup+12.7003 s]
/proc/loadavg: 2.02 2.01 2.11 3/175 5608
/proc/meminfo: memFree=27985176/32873852 swapFree=7624/7624
[pid=5607] ppid=5605 vsize=45672 CPUtime=12.68 cores=0,2,4,6
/proc/5607/stat : 5607 (bsolo) R 5605 5607 1918 0 -1 4202496 15569 0 0 0 1264 4 0 0 20 0 1 0 343078872 46768128 9080 33554432000 134512640 137136520 4287469632 4287468560 134543965 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5607/statm: 11418 9080 293 641 0 10774 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 45672
[startup+25.5003 s]
/proc/loadavg: 2.01 2.01 2.10 3/175 5608
/proc/meminfo: memFree=27964392/32873852 swapFree=7624/7624
[pid=5607] ppid=5605 vsize=65644 CPUtime=25.49 cores=0,2,4,6
/proc/5607/stat : 5607 (bsolo) R 5605 5607 1918 0 -1 4202496 20559 0 0 0 2542 7 0 0 20 0 1 0 343078872 67219456 14070 33554432000 134512640 137136520 4287469632 4287468128 136498324 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5607/statm: 16411 14070 293 641 0 15767 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 65644
[startup+51.1003 s]
/proc/loadavg: 2.01 2.01 2.10 3/175 5608
/proc/meminfo: memFree=27937608/32873852 swapFree=7624/7624
[pid=5607] ppid=5605 vsize=91304 CPUtime=51.08 cores=0,2,4,6
/proc/5607/stat : 5607 (bsolo) R 5605 5607 1918 0 -1 4202496 26979 0 0 0 5099 9 0 0 20 0 1 0 343078872 93495296 20490 33554432000 134512640 137136520 4287469632 4287467912 136504651 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5607/statm: 22826 20490 293 641 0 22182 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 91304
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.09 3/175 5608
/proc/meminfo: memFree=27897680/32873852 swapFree=7624/7624
[pid=5607] ppid=5605 vsize=126364 CPUtime=102.28 cores=0,2,4,6
/proc/5607/stat : 5607 (bsolo) R 5605 5607 1918 0 -1 4202496 35736 0 0 0 10214 14 0 0 20 0 1 0 343078872 129396736 29247 33554432000 134512640 137136520 4287469632 4287468492 136518950 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5607/statm: 31591 29247 293 641 0 30947 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 126364
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/175 5608
/proc/meminfo: memFree=27862572/32873852 swapFree=7624/7624
[pid=5607] ppid=5605 vsize=158364 CPUtime=162.26 cores=0,2,4,6
/proc/5607/stat : 5607 (bsolo) R 5605 5607 1918 0 -1 4202496 43757 0 0 0 16208 18 0 0 20 0 1 0 343078872 162164736 37268 33554432000 134512640 137136520 4287469632 4287468552 135982528 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5607/statm: 39591 37268 293 641 0 38947 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 158364
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/175 5656
/proc/meminfo: memFree=26516232/32873852 swapFree=7624/7624
[pid=5607] ppid=5605 vsize=185992 CPUtime=222.21 cores=0,2,4,6
/proc/5607/stat : 5607 (bsolo) R 5605 5607 1918 0 -1 4202496 50693 0 0 0 22198 23 0 0 20 0 1 0 343078872 190455808 44158 33554432000 134512640 137136520 4287469632 4287468560 134543865 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5607/statm: 46498 44158 293 641 0 45854 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 185992
[startup+282.3 s]
/proc/loadavg: 2.03 2.01 2.08 3/176 5660
/proc/meminfo: memFree=26427732/32873852 swapFree=7624/7624
[pid=5607] ppid=5605 vsize=212712 CPUtime=282.15 cores=0,2,4,6
/proc/5607/stat : 5607 (bsolo) R 5605 5607 1918 0 -1 4202496 57418 0 0 0 28188 27 0 0 20 0 1 0 343078872 217817088 50835 33554432000 134512640 137136520 4287469632 4287468560 134543918 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5607/statm: 53178 50835 293 641 0 52534 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 212712
[startup+342.3 s]
/proc/loadavg: 2.01 2.01 2.07 3/175 5660
/proc/meminfo: memFree=26405516/32873852 swapFree=7624/7624
[pid=5607] ppid=5605 vsize=234676 CPUtime=342.14 cores=0,2,4,6
/proc/5607/stat : 5607 (bsolo) R 5605 5607 1918 0 -1 4202496 62912 0 0 0 34182 32 0 0 20 0 1 0 343078872 240308224 56324 33554432000 134512640 137136520 4287469632 4287467912 136504651 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5607/statm: 58669 56324 293 641 0 58025 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 234676
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/176 5661
/proc/meminfo: memFree=26700920/32873852 swapFree=7624/7624
[pid=5607] ppid=5605 vsize=255568 CPUtime=402.12 cores=0,2,4,6
/proc/5607/stat : 5607 (bsolo) R 5605 5607 1918 0 -1 4202496 68152 0 0 0 40176 36 0 0 20 0 1 0 343078872 261701632 61564 33554432000 134512640 137136520 4287469632 4287468560 134544294 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5607/statm: 63892 61564 293 641 0 63248 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 255568
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/175 5661
/proc/meminfo: memFree=26678000/32873852 swapFree=7624/7624
[pid=5607] ppid=5605 vsize=278580 CPUtime=462.11 cores=0,2,4,6
/proc/5607/stat : 5607 (bsolo) R 5605 5607 1918 0 -1 4202496 73892 0 0 0 46171 40 0 0 20 0 1 0 343078872 285265920 67304 33554432000 134512640 137136520 4287469632 4287468560 134544140 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5607/statm: 69645 67304 293 641 0 69001 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 278580
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/175 5661
/proc/meminfo: memFree=26660188/32873852 swapFree=7624/7624
[pid=5607] ppid=5605 vsize=296576 CPUtime=522.11 cores=0,2,4,6
/proc/5607/stat : 5607 (bsolo) R 5605 5607 1918 0 -1 4202496 78402 0 0 0 52167 44 0 0 20 0 1 0 343078872 303693824 71814 33554432000 134512640 137136520 4287469632 4287468560 134544122 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5607/statm: 74144 71814 293 641 0 73500 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 296576
[startup+582.3 s]
/proc/loadavg: 2.03 2.01 2.05 3/175 5662
/proc/meminfo: memFree=26647196/32873852 swapFree=7624/7624
[pid=5607] ppid=5605 vsize=309684 CPUtime=582.09 cores=0,2,4,6
/proc/5607/stat : 5607 (bsolo) R 5605 5607 1918 0 -1 4202496 81655 0 0 0 58163 46 0 0 20 0 1 0 343078872 317116416 75067 33554432000 134512640 137136520 4287469632 4287468560 134543865 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5607/statm: 77421 75067 293 641 0 76777 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 309684
[startup+642.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/175 5662
/proc/meminfo: memFree=26635428/32873852 swapFree=7624/7624
[pid=5607] ppid=5605 vsize=321192 CPUtime=642.09 cores=0,2,4,6
/proc/5607/stat : 5607 (bsolo) R 5605 5607 1918 0 -1 4202496 84551 0 0 0 64161 48 0 0 20 0 1 0 343078872 328900608 77963 33554432000 134512640 137136520 4287469632 4287468748 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5607/statm: 80298 77963 293 641 0 79654 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 321192
[startup+702.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/175 5662
/proc/meminfo: memFree=26623692/32873852 swapFree=7624/7624
[pid=5607] ppid=5605 vsize=333496 CPUtime=702.08 cores=0,2,4,6
/proc/5607/stat : 5607 (bsolo) R 5605 5607 1918 0 -1 4202496 87631 0 0 0 70157 51 0 0 20 0 1 0 343078872 341499904 81043 33554432000 134512640 137136520 4287469632 4287468560 134543965 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5607/statm: 83374 81043 293 641 0 82730 0
Current children cumulated CPU time (s) 702.08
Current children cumulated vsize (KiB) 333496
[startup+762.306 s]
/proc/loadavg: 2.00 2.00 2.04 3/175 5662
/proc/meminfo: memFree=26604980/32873852 swapFree=7624/7624
[pid=5607] ppid=5605 vsize=344740 CPUtime=762.08 cores=0,2,4,6
/proc/5607/stat : 5607 (bsolo) R 5605 5607 1918 0 -1 4202496 90435 0 0 0 76155 53 0 0 20 0 1 0 343078872 353013760 83847 33554432000 134512640 137136520 4287469632 4287468560 134543819 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5607/statm: 86185 83847 293 641 0 85541 0
Current children cumulated CPU time (s) 762.08
Current children cumulated vsize (KiB) 344740
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/175 5662
/proc/meminfo: memFree=26576256/32873852 swapFree=7624/7624
[pid=5607] ppid=5605 vsize=357168 CPUtime=822.06 cores=0,2,4,6
/proc/5607/stat : 5607 (bsolo) R 5605 5607 1918 0 -1 4202496 93556 0 0 0 82151 55 0 0 20 0 1 0 343078872 365740032 86968 33554432000 134512640 137136520 4287469632 4287468560 134544135 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5607/statm: 89292 86968 293 641 0 88648 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 357168
Solver just ended. Dumping a history of the last processes samples
[startup+844.7 s]
/proc/loadavg: 2.00 2.00 2.03 3/175 5662
/proc/meminfo: memFree=26565420/32873852 swapFree=7624/7624
[pid=5607] ppid=5605 vsize=362592 CPUtime=844.46 cores=0,2,4,6
/proc/5607/stat : 5607 (bsolo) R 5605 5607 1918 0 -1 4202496 94883 0 0 0 84390 56 0 0 20 0 1 0 343078872 371294208 88295 33554432000 134512640 137136520 4287469632 4287468560 134543957 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5607/statm: 90648 88295 293 641 0 90004 0
Current children cumulated CPU time (s) 844.46
Current children cumulated vsize (KiB) 362592
[startup+857.5 s]
/proc/loadavg: 2.00 2.00 2.03 3/175 5662
/proc/meminfo: memFree=26557716/32873852 swapFree=7624/7624
[pid=5607] ppid=5605 vsize=366028 CPUtime=857.25 cores=0,2,4,6
/proc/5607/stat : 5607 (bsolo) R 5605 5607 1918 0 -1 4202496 95742 0 0 0 85668 57 0 0 20 0 1 0 343078872 374812672 89154 33554432000 134512640 137136520 4287469632 4287468560 134543831 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5607/statm: 91507 89154 293 641 0 90863 0
Current children cumulated CPU time (s) 857.25
Current children cumulated vsize (KiB) 366028
[startup+863.9 s]
/proc/loadavg: 2.00 2.00 2.03 3/175 5662
/proc/meminfo: memFree=26553236/32873852 swapFree=7624/7624
[pid=5607] ppid=5605 vsize=367752 CPUtime=863.65 cores=0,2,4,6
/proc/5607/stat : 5607 (bsolo) R 5605 5607 1918 0 -1 4202496 96190 0 0 0 86308 57 0 0 20 0 1 0 343078872 376578048 89602 33554432000 134512640 137136520 4287469632 4287468560 134543831 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5607/statm: 91938 89602 293 641 0 91294 0
Current children cumulated CPU time (s) 863.65
Current children cumulated vsize (KiB) 367752
[startup+865.5 s]
/proc/loadavg: 2.00 2.00 2.03 3/175 5662
/proc/meminfo: memFree=26552120/32873852 swapFree=7624/7624
[pid=5607] ppid=5605 vsize=368016 CPUtime=865.25 cores=0,2,4,6
/proc/5607/stat : 5607 (bsolo) R 5605 5607 1918 0 -1 4202496 96256 0 0 0 86468 57 0 0 20 0 1 0 343078872 376848384 89668 33554432000 134512640 137136520 4287469632 4287468560 134543865 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5607/statm: 92004 89668 293 641 0 91360 0
Current children cumulated CPU time (s) 865.25
Current children cumulated vsize (KiB) 368016
[startup+866.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/175 5662
/proc/meminfo: memFree=26551872/32873852 swapFree=7624/7624
[pid=5607] ppid=5605 vsize=368148 CPUtime=866.05 cores=0,2,4,6
/proc/5607/stat : 5607 (bsolo) R 5605 5607 1918 0 -1 4202496 96275 0 0 0 86548 57 0 0 20 0 1 0 343078872 376983552 89687 33554432000 134512640 137136520 4287469632 4287468560 134544101 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5607/statm: 92037 89687 293 641 0 91393 0
Current children cumulated CPU time (s) 866.05
Current children cumulated vsize (KiB) 368148
[startup+867.1 s]
/proc/loadavg: 2.00 2.00 2.03 3/176 5665
/proc/meminfo: memFree=26550600/32873852 swapFree=7624/7624
[pid=5607] ppid=5605 vsize=368148 CPUtime=866.85 cores=0,2,4,6
/proc/5607/stat : 5607 (bsolo) R 5605 5607 1918 0 -1 4202496 96285 0 0 0 86628 57 0 0 20 0 1 0 343078872 376983552 89697 33554432000 134512640 137136520 4287469632 4287468560 134543865 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5607/statm: 92037 89697 293 641 0 91393 0
Current children cumulated CPU time (s) 866.85
Current children cumulated vsize (KiB) 368148
[startup+867.5 s]
/proc/loadavg: 2.00 2.00 2.03 3/176 5665
/proc/meminfo: memFree=26550600/32873852 swapFree=7624/7624
[pid=5607] ppid=5605 vsize=368148 CPUtime=867.25 cores=0,2,4,6
/proc/5607/stat : 5607 (bsolo) R 5605 5607 1918 0 -1 4202496 96287 0 0 0 86668 57 0 0 20 0 1 0 343078872 376983552 89699 33554432000 134512640 137136520 4287469632 4287468560 134543865 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5607/statm: 92037 89699 293 641 0 91393 0
Current children cumulated CPU time (s) 867.25
Current children cumulated vsize (KiB) 368148
[startup+867.6 s]
/proc/loadavg: 2.00 2.00 2.03 3/176 5665
/proc/meminfo: memFree=26550600/32873852 swapFree=7624/7624
[pid=5607] ppid=5605 vsize=368148 CPUtime=867.35 cores=0,2,4,6
/proc/5607/stat : 5607 (bsolo) R 5605 5607 1918 0 -1 4202496 96287 0 0 0 86678 57 0 0 20 0 1 0 343078872 376983552 89699 33554432000 134512640 137136520 4287469632 4287468560 134543831 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/5607/statm: 92037 89699 293 641 0 91393 0
Current children cumulated CPU time (s) 867.35
Current children cumulated vsize (KiB) 368148
Child status: 0
Real time (s): 867.648
CPU time (s): 867.411
CPU user time (s): 866.823
CPU system time (s): 0.58791
CPU usage (%): 99.9726
Max. virtual memory (cumulated for all children) (KiB): 368148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 866.823
system time used= 0.58791
maximum resident set size= 358796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96288
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= 100
involuntary context switches= 1147
runsolver used 1.37079 second user time and 3.36349 second system time
The end