runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3463084-1307174448/watcher-3463084-1307174448 -o /tmp/evaluation-result-3463084-1307174448/solver-3463084-1307174448 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463084-1307174448.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: 1.44 1.33 1.65 3/558 8665
/proc/meminfo: memFree=28705888/32951124 swapFree=34426104/67111528
[pid=8665] ppid=8663 vsize=11016 CPUtime=0 cores=0,2,4,6
/proc/8665/stat : 8665 (bsolo) R 8663 8665 7463 0 -1 4202496 343 0 0 0 0 0 0 0 25 0 1 0 907675476 11280384 298 33554432000 134512640 137138936 4287215792 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8665/statm: 2754 298 184 642 0 2089 0
[startup+0.0629699 s]
/proc/loadavg: 1.44 1.33 1.65 3/558 8665
/proc/meminfo: memFree=28705888/32951124 swapFree=34426104/67111528
[pid=8665] ppid=8663 vsize=11448 CPUtime=0.06 cores=0,2,4,6
/proc/8665/stat : 8665 (bsolo) R 8663 8665 7463 0 -1 4202496 488 0 0 0 6 0 0 0 25 0 1 0 907675476 11722752 422 33554432000 134512640 137138936 4287215792 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8665/statm: 2862 422 192 642 0 2218 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11448
[startup+0.100965 s]
/proc/loadavg: 1.44 1.33 1.65 3/558 8665
/proc/meminfo: memFree=28705888/32951124 swapFree=34426104/67111528
[pid=8665] ppid=8663 vsize=11576 CPUtime=0.09 cores=0,2,4,6
/proc/8665/stat : 8665 (bsolo) R 8663 8665 7463 0 -1 4202496 524 0 0 0 9 0 0 0 25 0 1 0 907675476 11853824 458 33554432000 134512640 137138936 4287215792 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8665/statm: 2894 458 192 642 0 2250 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11576
[startup+0.300931 s]
/proc/loadavg: 1.44 1.33 1.65 3/558 8665
/proc/meminfo: memFree=28705888/32951124 swapFree=34426104/67111528
[pid=8665] ppid=8663 vsize=12188 CPUtime=0.29 cores=0,2,4,6
/proc/8665/stat : 8665 (bsolo) R 8663 8665 7463 0 -1 4202496 662 0 0 0 29 0 0 0 25 0 1 0 907675476 12480512 596 33554432000 134512640 137138936 4287215792 18446744073709551615 134542808 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8665/statm: 3047 596 192 642 0 2403 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12188
[startup+0.700864 s]
/proc/loadavg: 1.44 1.33 1.65 3/558 8665
/proc/meminfo: memFree=28705888/32951124 swapFree=34426104/67111528
[pid=8665] ppid=8663 vsize=13172 CPUtime=0.69 cores=0,2,4,6
/proc/8665/stat : 8665 (bsolo) R 8663 8665 7463 0 -1 4202496 910 0 0 0 69 0 0 0 25 0 1 0 907675476 13488128 844 33554432000 134512640 137138936 4287215792 18446744073709551615 134542725 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8665/statm: 3293 844 192 642 0 2649 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13172
[startup+1.50071 s]
/proc/loadavg: 1.44 1.33 1.65 3/559 8666
/proc/meminfo: memFree=28702532/32951124 swapFree=34426104/67111528
[pid=8665] ppid=8663 vsize=13176 CPUtime=1.49 cores=0,2,4,6
/proc/8665/stat : 8665 (bsolo) R 8663 8665 7463 0 -1 4202496 911 0 0 0 149 0 0 0 25 0 1 0 907675476 13492224 845 33554432000 134512640 137138936 4287215792 18446744073709551615 136295499 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8665/statm: 3294 845 192 642 0 2650 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13176
[startup+3.10047 s]
/proc/loadavg: 1.44 1.33 1.65 3/559 8666
/proc/meminfo: memFree=28700672/32951124 swapFree=34426104/67111528
[pid=8665] ppid=8663 vsize=14420 CPUtime=3.09 cores=0,2,4,6
/proc/8665/stat : 8665 (bsolo) R 8663 8665 7463 0 -1 4202496 1223 0 0 0 308 1 0 0 25 0 1 0 907675476 14766080 1157 33554432000 134512640 137138936 4287215792 18446744073709551615 134606653 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8665/statm: 3605 1157 192 642 0 2961 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14420
[startup+6.30093 s]
/proc/loadavg: 1.49 1.34 1.65 3/559 8666
/proc/meminfo: memFree=28698816/32951124 swapFree=34426104/67111528
[pid=8665] ppid=8663 vsize=14784 CPUtime=6.3 cores=0,2,4,6
/proc/8665/stat : 8665 (bsolo) R 8663 8665 7463 0 -1 4202496 1337 0 0 0 628 2 0 0 25 0 1 0 907675476 15138816 1271 33554432000 134512640 137138936 4287215792 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8665/statm: 3696 1271 192 642 0 3052 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 14784
[startup+12.7009 s]
/proc/loadavg: 1.53 1.35 1.65 3/559 8695
/proc/meminfo: memFree=28702460/32951124 swapFree=34426104/67111528
[pid=8665] ppid=8663 vsize=15032 CPUtime=12.69 cores=0,2,4,6
/proc/8665/stat : 8665 (bsolo) R 8663 8665 7463 0 -1 4202496 1397 0 0 0 1266 3 0 0 25 0 1 0 907675476 15392768 1331 33554432000 134512640 137138936 4287215792 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8665/statm: 3758 1331 192 642 0 3114 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15032
[startup+25.5007 s]
/proc/loadavg: 1.63 1.38 1.65 3/559 8704
/proc/meminfo: memFree=28697720/32951124 swapFree=34426104/67111528
[pid=8665] ppid=8663 vsize=15896 CPUtime=25.49 cores=0,2,4,6
/proc/8665/stat : 8665 (bsolo) R 8663 8665 7463 0 -1 4202496 1608 0 0 0 2542 7 0 0 25 0 1 0 907675476 16277504 1542 33554432000 134512640 137138936 4287215792 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8665/statm: 3974 1542 192 642 0 3330 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 15896
[startup+51.1005 s]
/proc/loadavg: 1.89 1.46 1.67 3/559 8704
/proc/meminfo: memFree=28695924/32951124 swapFree=34426104/67111528
[pid=8665] ppid=8663 vsize=16748 CPUtime=51.09 cores=0,2,4,6
/proc/8665/stat : 8665 (bsolo) R 8663 8665 7463 0 -1 4202496 1810 0 0 0 5097 12 0 0 25 0 1 0 907675476 17149952 1744 33554432000 134512640 137138936 4287215792 18446744073709551615 134599695 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8665/statm: 4187 1744 192 642 0 3543 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 16748
[startup+102.321 s]
/proc/loadavg: 2.11 1.57 1.70 3/559 8706
/proc/meminfo: memFree=28691820/32951124 swapFree=34426104/67111528
[pid=8665] ppid=8663 vsize=17480 CPUtime=102.31 cores=0,2,4,6
/proc/8665/stat : 8665 (bsolo) R 8663 8665 7463 0 -1 4202496 1996 0 0 0 10209 22 0 0 25 0 1 0 907675476 17899520 1930 33554432000 134512640 137138936 4287215792 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8665/statm: 4370 1930 192 642 0 3726 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 17480
[startup+162.301 s]
/proc/loadavg: 2.11 1.66 1.72 3/559 8708
/proc/meminfo: memFree=28690180/32951124 swapFree=34426104/67111528
[pid=8665] ppid=8663 vsize=17820 CPUtime=162.3 cores=0,2,4,6
/proc/8665/stat : 8665 (bsolo) R 8663 8665 7463 0 -1 4202496 2079 0 0 0 16198 32 0 0 25 0 1 0 907675476 18247680 2013 33554432000 134512640 137138936 4287215792 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8665/statm: 4455 2013 192 642 0 3811 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 17820
[startup+222.301 s]
/proc/loadavg: 2.04 1.72 1.73 3/559 8710
/proc/meminfo: memFree=28690028/32951124 swapFree=34426104/67111528
[pid=8665] ppid=8663 vsize=18384 CPUtime=222.3 cores=0,2,4,6
/proc/8665/stat : 8665 (bsolo) R 8663 8665 7463 0 -1 4202496 2217 0 0 0 22188 42 0 0 25 0 1 0 907675476 18825216 2151 33554432000 134512640 137138936 4287215792 18446744073709551615 136504029 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8665/statm: 4596 2151 192 642 0 3952 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 18384
[startup+282.301 s]
/proc/loadavg: 2.01 1.77 1.75 3/559 8710
/proc/meminfo: memFree=28690004/32951124 swapFree=34426104/67111528
[pid=8665] ppid=8663 vsize=18504 CPUtime=282.29 cores=0,2,4,6
/proc/8665/stat : 8665 (bsolo) R 8663 8665 7463 0 -1 4202496 2262 0 0 0 28176 53 0 0 25 0 1 0 907675476 18948096 2196 33554432000 134512640 137138936 4287215792 18446744073709551615 136521017 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8665/statm: 4626 2196 192 642 0 3982 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 18504
[startup+342.301 s]
/proc/loadavg: 2.00 1.81 1.76 3/559 8712
/proc/meminfo: memFree=28688976/32951124 swapFree=34426104/67111528
[pid=8665] ppid=8663 vsize=19376 CPUtime=342.29 cores=0,2,4,6
/proc/8665/stat : 8665 (bsolo) R 8663 8665 7463 0 -1 4202496 2481 0 0 0 34167 62 0 0 25 0 1 0 907675476 19841024 2415 33554432000 134512640 137138936 4287215792 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8665/statm: 4844 2415 192 642 0 4200 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 19376
[startup+402.301 s]
/proc/loadavg: 2.00 1.84 1.77 3/559 8714
/proc/meminfo: memFree=28688820/32951124 swapFree=34426104/67111528
[pid=8665] ppid=8663 vsize=19376 CPUtime=402.3 cores=0,2,4,6
/proc/8665/stat : 8665 (bsolo) R 8663 8665 7463 0 -1 4202496 2481 0 0 0 40159 71 0 0 25 0 1 0 907675476 19841024 2415 33554432000 134512640 137138936 4287215792 18446744073709551615 134542898 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8665/statm: 4844 2415 192 642 0 4200 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 19376
[startup+462.301 s]
/proc/loadavg: 2.00 1.87 1.78 3/559 8716
/proc/meminfo: memFree=28689036/32951124 swapFree=34426104/67111528
[pid=8665] ppid=8663 vsize=19584 CPUtime=462.3 cores=0,2,4,6
/proc/8665/stat : 8665 (bsolo) R 8663 8665 7463 0 -1 4202496 2519 0 0 0 46150 80 0 0 25 0 1 0 907675476 20054016 2453 33554432000 134512640 137138936 4287215792 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8665/statm: 4896 2453 192 642 0 4252 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 19584
[startup+522.301 s]
/proc/loadavg: 2.00 1.89 1.79 3/559 8718
/proc/meminfo: memFree=28686152/32951124 swapFree=34426104/67111528
[pid=8665] ppid=8663 vsize=21016 CPUtime=522.3 cores=0,2,4,6
/proc/8665/stat : 8665 (bsolo) R 8663 8665 7463 0 -1 4202496 2877 0 0 0 52141 89 0 0 25 0 1 0 907675476 21520384 2811 33554432000 134512640 137138936 4287215792 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8665/statm: 5254 2811 192 642 0 4610 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 21016
[startup+582.301 s]
/proc/loadavg: 2.00 1.91 1.80 3/559 8718
/proc/meminfo: memFree=28685756/32951124 swapFree=34426104/67111528
[pid=8665] ppid=8663 vsize=21008 CPUtime=582.3 cores=0,2,4,6
/proc/8665/stat : 8665 (bsolo) R 8663 8665 7463 0 -1 4202496 2877 0 0 0 58134 96 0 0 25 0 1 0 907675476 21512192 2811 33554432000 134512640 137138936 4287215792 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8665/statm: 5252 2811 192 642 0 4608 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 21008
[startup+642.301 s]
/proc/loadavg: 2.07 1.95 1.82 3/559 8720
/proc/meminfo: memFree=28685468/32951124 swapFree=34426104/67111528
[pid=8665] ppid=8663 vsize=20992 CPUtime=642.31 cores=0,2,4,6
/proc/8665/stat : 8665 (bsolo) R 8663 8665 7463 0 -1 4202496 2877 0 0 0 64125 106 0 0 25 0 1 0 907675476 21495808 2811 33554432000 134512640 137138936 4287215792 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8665/statm: 5248 2811 192 642 0 4604 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 20992
[startup+702.301 s]
/proc/loadavg: 2.07 1.97 1.83 3/559 8722
/proc/meminfo: memFree=28685068/32951124 swapFree=34426104/67111528
[pid=8665] ppid=8663 vsize=20916 CPUtime=702.3 cores=0,2,4,6
/proc/8665/stat : 8665 (bsolo) R 8663 8665 7463 0 -1 4202496 2877 0 0 0 70115 115 0 0 25 0 1 0 907675476 21417984 2804 33554432000 134512640 137138936 4287215792 18446744073709551615 136501994 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8665/statm: 5229 2804 192 642 0 4585 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 20916
[startup+762.322 s]
/proc/loadavg: 2.09 2.00 1.85 3/559 8724
/proc/meminfo: memFree=28685160/32951124 swapFree=34426104/67111528
[pid=8665] ppid=8663 vsize=20920 CPUtime=762.32 cores=0,2,4,6
/proc/8665/stat : 8665 (bsolo) R 8663 8665 7463 0 -1 4202496 2878 0 0 0 76109 123 0 0 25 0 1 0 907675476 21422080 2805 33554432000 134512640 137138936 4287215792 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8665/statm: 5230 2805 192 642 0 4586 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 20920
[startup+822.301 s]
/proc/loadavg: 2.07 2.01 1.86 3/559 8726
/proc/meminfo: memFree=28684012/32951124 swapFree=34426104/67111528
[pid=8665] ppid=8663 vsize=21560 CPUtime=822.3 cores=0,2,4,6
/proc/8665/stat : 8665 (bsolo) R 8663 8665 7463 0 -1 4202496 3026 0 0 0 82099 131 0 0 25 0 1 0 907675476 22077440 2953 33554432000 134512640 137138936 4287215792 18446744073709551615 134610875 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8665/statm: 5390 2953 192 642 0 4746 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 21560
[startup+882.301 s]
/proc/loadavg: 2.02 2.01 1.87 3/559 8726
/proc/meminfo: memFree=28683744/32951124 swapFree=34426104/67111528
[pid=8665] ppid=8663 vsize=21444 CPUtime=882.3 cores=0,2,4,6
/proc/8665/stat : 8665 (bsolo) R 8663 8665 7463 0 -1 4202496 3026 0 0 0 88091 139 0 0 25 0 1 0 907675476 21958656 2936 33554432000 134512640 137138936 4287215792 18446744073709551615 134542894 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8665/statm: 5361 2936 192 642 0 4717 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 21444
[startup+942.301 s]
/proc/loadavg: 2.01 2.00 1.87 3/559 8729
/proc/meminfo: memFree=28683340/32951124 swapFree=34426104/67111528
[pid=8665] ppid=8663 vsize=21780 CPUtime=942.3 cores=0,2,4,6
/proc/8665/stat : 8665 (bsolo) R 8663 8665 7463 0 -1 4202496 3100 0 0 0 94084 146 0 0 25 0 1 0 907675476 22302720 3008 33554432000 134512640 137138936 4287215792 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8665/statm: 5445 3008 192 642 0 4801 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 21780
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/559 8732
/proc/meminfo: memFree=28683432/32951124 swapFree=34426104/67111528
[pid=8665] ppid=8663 vsize=21780 CPUtime=1002.31 cores=0,2,4,6
/proc/8665/stat : 8665 (bsolo) R 8663 8665 7463 0 -1 4202496 3100 0 0 0 100076 155 0 0 25 0 1 0 907675476 22302720 3008 33554432000 134512640 137138936 4287215792 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8665/statm: 5445 3008 192 642 0 4801 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 21780
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/559 8735
/proc/meminfo: memFree=28683520/32951124 swapFree=34426104/67111528
[pid=8665] ppid=8663 vsize=21596 CPUtime=1062.31 cores=0,2,4,6
/proc/8665/stat : 8665 (bsolo) R 8663 8665 7463 0 -1 4202496 3100 0 0 0 106068 163 0 0 25 0 1 0 907675476 22114304 2974 33554432000 134512640 137138936 4287215792 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8665/statm: 5399 2974 192 642 0 4755 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 21596
Solver just ended. Dumping a history of the last processes samples
[startup+1075.1 s]
/proc/loadavg: 2.00 2.00 1.89 3/559 8735
/proc/meminfo: memFree=28683396/32951124 swapFree=34426104/67111528
[pid=8665] ppid=8663 vsize=21596 CPUtime=1075.11 cores=0,2,4,6
/proc/8665/stat : 8665 (bsolo) R 8663 8665 7463 0 -1 4202496 3100 0 0 0 107346 165 0 0 25 0 1 0 907675476 22114304 2974 33554432000 134512640 137138936 4287215792 18446744073709551615 134542469 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8665/statm: 5399 2974 192 642 0 4755 0
Current children cumulated CPU time (s) 1075.11
Current children cumulated vsize (KiB) 21596
[startup+1100.7 s]
/proc/loadavg: 2.00 2.00 1.89 3/559 8735
/proc/meminfo: memFree=28683496/32951124 swapFree=34426104/67111528
[pid=8665] ppid=8663 vsize=21596 CPUtime=1100.71 cores=0,2,4,6
/proc/8665/stat : 8665 (bsolo) R 8663 8665 7463 0 -1 4202496 3100 0 0 0 109903 168 0 0 25 0 1 0 907675476 22114304 2974 33554432000 134512640 137138936 4287215792 18446744073709551615 136520912 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8665/statm: 5399 2974 192 642 0 4755 0
Current children cumulated CPU time (s) 1100.71
Current children cumulated vsize (KiB) 21596
[startup+1113.5 s]
/proc/loadavg: 2.00 2.00 1.89 3/559 8735
/proc/meminfo: memFree=28683368/32951124 swapFree=34426104/67111528
[pid=8665] ppid=8663 vsize=21596 CPUtime=1113.51 cores=0,2,4,6
/proc/8665/stat : 8665 (bsolo) R 8663 8665 7463 0 -1 4202496 3100 0 0 0 111182 169 0 0 25 0 1 0 907675476 22114304 2974 33554432000 134512640 137138936 4287215792 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8665/statm: 5399 2974 192 642 0 4755 0
Current children cumulated CPU time (s) 1113.51
Current children cumulated vsize (KiB) 21596
[startup+1116.7 s]
/proc/loadavg: 2.00 2.00 1.89 3/559 8738
/proc/meminfo: memFree=28683488/32951124 swapFree=34426104/67111528
[pid=8665] ppid=8663 vsize=21596 CPUtime=1116.71 cores=0,2,4,6
/proc/8665/stat : 8665 (bsolo) R 8663 8665 7463 0 -1 4202496 3100 0 0 0 111501 170 0 0 25 0 1 0 907675476 22114304 2974 33554432000 134512640 137138936 4287215792 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8665/statm: 5399 2974 192 642 0 4755 0
Current children cumulated CPU time (s) 1116.71
Current children cumulated vsize (KiB) 21596
[startup+1119.9 s]
/proc/loadavg: 2.00 2.00 1.89 3/559 8738
/proc/meminfo: memFree=28683364/32951124 swapFree=34426104/67111528
[pid=8665] ppid=8663 vsize=21596 CPUtime=1119.91 cores=0,2,4,6
/proc/8665/stat : 8665 (bsolo) R 8663 8665 7463 0 -1 4202496 3100 0 0 0 111821 170 0 0 25 0 1 0 907675476 22114304 2974 33554432000 134512640 137138936 4287215792 18446744073709551615 134607601 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8665/statm: 5399 2974 192 642 0 4755 0
Current children cumulated CPU time (s) 1119.91
Current children cumulated vsize (KiB) 21596
[startup+1121.5 s]
/proc/loadavg: 2.00 2.00 1.89 3/559 8738
/proc/meminfo: memFree=28683364/32951124 swapFree=34426104/67111528
[pid=8665] ppid=8663 vsize=21596 CPUtime=1121.51 cores=0,2,4,6
/proc/8665/stat : 8665 (bsolo) R 8663 8665 7463 0 -1 4202496 3100 0 0 0 111980 171 0 0 25 0 1 0 907675476 22114304 2974 33554432000 134512640 137138936 4287215792 18446744073709551615 134542761 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8665/statm: 5399 2974 192 642 0 4755 0
Current children cumulated CPU time (s) 1121.51
Current children cumulated vsize (KiB) 21596
[startup+1121.9 s]
/proc/loadavg: 2.00 2.00 1.89 3/559 8738
/proc/meminfo: memFree=28683364/32951124 swapFree=34426104/67111528
[pid=8665] ppid=8663 vsize=21596 CPUtime=1121.91 cores=0,2,4,6
/proc/8665/stat : 8665 (bsolo) R 8663 8665 7463 0 -1 4202496 3100 0 0 0 112020 171 0 0 25 0 1 0 907675476 22114304 2974 33554432000 134512640 137138936 4287215792 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8665/statm: 5399 2974 192 642 0 4755 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 21596
[startup+1122.1 s]
/proc/loadavg: 2.00 2.00 1.89 3/559 8738
/proc/meminfo: memFree=28683364/32951124 swapFree=34426104/67111528
[pid=8665] ppid=8663 vsize=21596 CPUtime=1122.11 cores=0,2,4,6
/proc/8665/stat : 8665 (bsolo) R 8663 8665 7463 0 -1 4202496 3100 0 0 0 112040 171 0 0 25 0 1 0 907675476 22114304 2974 33554432000 134512640 137138936 4287215792 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8665/statm: 5399 2974 192 642 0 4755 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 21596
[startup+1122.2 s]
/proc/loadavg: 2.00 2.00 1.89 3/559 8738
/proc/meminfo: memFree=28683364/32951124 swapFree=34426104/67111528
[pid=8665] ppid=8663 vsize=21596 CPUtime=1122.21 cores=0,2,4,6
/proc/8665/stat : 8665 (bsolo) R 8663 8665 7463 0 -1 4202496 3100 0 0 0 112050 171 0 0 25 0 1 0 907675476 22114304 2974 33554432000 134512640 137138936 4287215792 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8665/statm: 5399 2974 192 642 0 4755 0
Current children cumulated CPU time (s) 1122.21
Current children cumulated vsize (KiB) 21596
Child status: 0
Real time (s): 1122.29
CPU time (s): 1122.3
CPU user time (s): 1120.59
CPU system time (s): 1.71574
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 21780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1120.59
system time used= 1.71574
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3100
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= 5
involuntary context switches= 1671
runsolver used 6.66599 second user time and 13.7759 second system time
The end