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-3463413-1307175053/watcher-3463413-1307175053 -o /tmp/evaluation-result-3463413-1307175053/solver-3463413-1307175053 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463413-1307175053.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.16 1.12 1.42 2/514 26563
/proc/meminfo: memFree=21735196/32951124 swapFree=62999000/67111528
[pid=26563] ppid=26561 vsize=11328 CPUtime=0.01 cores=0,2,4,6
/proc/26563/stat : 26563 (bsolo) R 26561 26563 24981 0 -1 4202496 448 0 0 0 1 0 0 0 18 0 1 0 809920961 11599872 381 33554432000 134512640 137138936 4293061168 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26563/statm: 2832 381 192 642 0 2188 0
[startup+0.046221 s]
/proc/loadavg: 1.16 1.12 1.42 2/514 26563
/proc/meminfo: memFree=21735196/32951124 swapFree=62999000/67111528
[pid=26563] ppid=26561 vsize=11320 CPUtime=0.04 cores=0,2,4,6
/proc/26563/stat : 26563 (bsolo) R 26561 26563 24981 0 -1 4202496 468 0 0 0 4 0 0 0 18 0 1 0 809920961 11591680 401 33554432000 134512640 137138936 4293061168 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26563/statm: 2830 401 192 642 0 2186 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11320
[startup+0.100237 s]
/proc/loadavg: 1.16 1.12 1.42 2/514 26563
/proc/meminfo: memFree=21735196/32951124 swapFree=62999000/67111528
[pid=26563] ppid=26561 vsize=11572 CPUtime=0.09 cores=0,2,4,6
/proc/26563/stat : 26563 (bsolo) R 26561 26563 24981 0 -1 4202496 533 0 0 0 9 0 0 0 18 0 1 0 809920961 11849728 466 33554432000 134512640 137138936 4293061168 18446744073709551615 136297616 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26563/statm: 2893 466 192 642 0 2249 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11572
[startup+0.300211 s]
/proc/loadavg: 1.16 1.12 1.42 2/514 26563
/proc/meminfo: memFree=21735196/32951124 swapFree=62999000/67111528
[pid=26563] ppid=26561 vsize=12304 CPUtime=0.29 cores=0,2,4,6
/proc/26563/stat : 26563 (bsolo) R 26561 26563 24981 0 -1 4202496 693 0 0 0 29 0 0 0 18 0 1 0 809920961 12599296 626 33554432000 134512640 137138936 4293061168 18446744073709551615 134602928 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26563/statm: 3076 626 192 642 0 2432 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12304
[startup+0.701128 s]
/proc/loadavg: 1.16 1.12 1.42 2/514 26563
/proc/meminfo: memFree=21735196/32951124 swapFree=62999000/67111528
[pid=26563] ppid=26561 vsize=13168 CPUtime=0.69 cores=0,2,4,6
/proc/26563/stat : 26563 (bsolo) R 26561 26563 24981 0 -1 4202496 913 0 0 0 69 0 0 0 18 0 1 0 809920961 13484032 846 33554432000 134512640 137138936 4293061168 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26563/statm: 3292 846 192 642 0 2648 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13168
[startup+1.50099 s]
/proc/loadavg: 1.16 1.12 1.42 3/515 26564
/proc/meminfo: memFree=21732088/32951124 swapFree=62999000/67111528
[pid=26563] ppid=26561 vsize=13412 CPUtime=1.49 cores=0,2,4,6
/proc/26563/stat : 26563 (bsolo) R 26561 26563 24981 0 -1 4202496 984 0 0 0 149 0 0 0 20 0 1 0 809920961 13733888 917 33554432000 134512640 137138936 4293061168 18446744073709551615 134617956 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26563/statm: 3353 917 192 642 0 2709 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13412
[startup+3.10065 s]
/proc/loadavg: 1.16 1.12 1.42 3/515 26564
/proc/meminfo: memFree=21730604/32951124 swapFree=62999000/67111528
[pid=26563] ppid=26561 vsize=13912 CPUtime=3.09 cores=0,2,4,6
/proc/26563/stat : 26563 (bsolo) R 26561 26563 24981 0 -1 4202496 1096 0 0 0 308 1 0 0 25 0 1 0 809920961 14245888 1029 33554432000 134512640 137138936 4293061168 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26563/statm: 3478 1029 192 642 0 2834 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13912
[startup+6.30107 s]
/proc/loadavg: 1.23 1.13 1.43 3/515 26564
/proc/meminfo: memFree=21729464/32951124 swapFree=62999000/67111528
[pid=26563] ppid=26561 vsize=14524 CPUtime=6.29 cores=0,2,4,6
/proc/26563/stat : 26563 (bsolo) R 26561 26563 24981 0 -1 4202496 1271 0 0 0 628 1 0 0 25 0 1 0 809920961 14872576 1204 33554432000 134512640 137138936 4293061168 18446744073709551615 136511209 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26563/statm: 3631 1204 192 642 0 2987 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14524
[startup+12.7009 s]
/proc/loadavg: 1.29 1.15 1.43 3/515 26565
/proc/meminfo: memFree=21727500/32951124 swapFree=62999000/67111528
[pid=26563] ppid=26561 vsize=15012 CPUtime=12.69 cores=0,2,4,6
/proc/26563/stat : 26563 (bsolo) R 26561 26563 24981 0 -1 4202496 1376 0 0 0 1266 3 0 0 25 0 1 0 809920961 15372288 1309 33554432000 134512640 137138936 4293061168 18446744073709551615 135984589 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26563/statm: 3753 1309 192 642 0 3109 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15012
[startup+25.5004 s]
/proc/loadavg: 1.45 1.19 1.44 3/515 26565
/proc/meminfo: memFree=21726452/32951124 swapFree=62999000/67111528
[pid=26563] ppid=26561 vsize=15872 CPUtime=25.49 cores=0,2,4,6
/proc/26563/stat : 26563 (bsolo) R 26561 26563 24981 0 -1 4202496 1603 0 0 0 2544 5 0 0 25 0 1 0 809920961 16252928 1536 33554432000 134512640 137138936 4293061168 18446744073709551615 134618336 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26563/statm: 3968 1536 192 642 0 3324 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 15872
[startup+51.1006 s]
/proc/loadavg: 1.63 1.25 1.45 3/515 26566
/proc/meminfo: memFree=21725072/32951124 swapFree=62999000/67111528
[pid=26563] ppid=26561 vsize=16500 CPUtime=51.09 cores=0,2,4,6
/proc/26563/stat : 26563 (bsolo) R 26561 26563 24981 0 -1 4202496 1749 0 0 0 5099 10 0 0 25 0 1 0 809920961 16896000 1682 33554432000 134512640 137138936 4293061168 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26563/statm: 4125 1682 192 642 0 3481 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 16500
[startup+102.319 s]
/proc/loadavg: 1.84 1.37 1.48 3/515 26567
/proc/meminfo: memFree=21723304/32951124 swapFree=62999000/67111528
[pid=26563] ppid=26561 vsize=17356 CPUtime=102.31 cores=0,2,4,6
/proc/26563/stat : 26563 (bsolo) R 26561 26563 24981 0 -1 4202496 1958 0 0 0 10211 20 0 0 25 0 1 0 809920961 17772544 1891 33554432000 134512640 137138936 4293061168 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26563/statm: 4339 1891 192 642 0 3695 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 17356
[startup+162.301 s]
/proc/loadavg: 1.94 1.48 1.51 3/515 26568
/proc/meminfo: memFree=21720920/32951124 swapFree=62999000/67111528
[pid=26563] ppid=26561 vsize=17468 CPUtime=162.3 cores=0,2,4,6
/proc/26563/stat : 26563 (bsolo) R 26561 26563 24981 0 -1 4202496 2005 0 0 0 16199 31 0 0 25 0 1 0 809920961 17887232 1938 33554432000 134512640 137138936 4293061168 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26563/statm: 4367 1938 192 642 0 3723 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 17468
[startup+222.3 s]
/proc/loadavg: 1.98 1.57 1.54 3/515 26570
/proc/meminfo: memFree=21720636/32951124 swapFree=62999000/67111528
[pid=26563] ppid=26561 vsize=18912 CPUtime=222.3 cores=0,2,4,6
/proc/26563/stat : 26563 (bsolo) R 26561 26563 24981 0 -1 4202496 2352 0 0 0 22188 42 0 0 25 0 1 0 809920961 19365888 2285 33554432000 134512640 137138936 4293061168 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26563/statm: 4728 2285 192 642 0 4084 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 18912
[startup+282.301 s]
/proc/loadavg: 2.09 1.68 1.57 3/515 26572
/proc/meminfo: memFree=21719736/32951124 swapFree=62999000/67111528
[pid=26563] ppid=26561 vsize=18912 CPUtime=282.3 cores=0,2,4,6
/proc/26563/stat : 26563 (bsolo) R 26561 26563 24981 0 -1 4202496 2352 0 0 0 28180 50 0 0 25 0 1 0 809920961 19365888 2285 33554432000 134512640 137138936 4293061168 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26563/statm: 4728 2285 192 642 0 4084 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 18912
[startup+342.301 s]
/proc/loadavg: 2.07 1.75 1.60 3/515 26573
/proc/meminfo: memFree=21719468/32951124 swapFree=62999000/67111528
[pid=26563] ppid=26561 vsize=18920 CPUtime=342.3 cores=0,2,4,6
/proc/26563/stat : 26563 (bsolo) R 26561 26563 24981 0 -1 4202496 2354 0 0 0 34172 58 0 0 25 0 1 0 809920961 19374080 2287 33554432000 134512640 137138936 4293061168 18446744073709551615 136297616 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26563/statm: 4730 2287 192 642 0 4086 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 18920
[startup+402.3 s]
/proc/loadavg: 2.03 1.79 1.62 3/515 26575
/proc/meminfo: memFree=21719208/32951124 swapFree=62999000/67111528
[pid=26563] ppid=26561 vsize=19252 CPUtime=402.31 cores=0,2,4,6
/proc/26563/stat : 26563 (bsolo) R 26561 26563 24981 0 -1 4202496 2437 0 0 0 40163 68 0 0 25 0 1 0 809920961 19714048 2370 33554432000 134512640 137138936 4293061168 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26563/statm: 4813 2370 192 642 0 4169 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 19252
[startup+462.301 s]
/proc/loadavg: 2.01 1.83 1.65 3/515 26576
/proc/meminfo: memFree=21718692/32951124 swapFree=62999000/67111528
[pid=26563] ppid=26561 vsize=20096 CPUtime=462.31 cores=0,2,4,6
/proc/26563/stat : 26563 (bsolo) R 26561 26563 24981 0 -1 4202496 2660 0 0 0 46153 78 0 0 25 0 1 0 809920961 20578304 2593 33554432000 134512640 137138936 4293061168 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26563/statm: 5024 2593 192 642 0 4380 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 20096
[startup+522.301 s]
/proc/loadavg: 2.10 1.89 1.67 3/515 26578
/proc/meminfo: memFree=21718928/32951124 swapFree=62999000/67111528
[pid=26563] ppid=26561 vsize=20340 CPUtime=522.31 cores=0,2,4,6
/proc/26563/stat : 26563 (bsolo) R 26561 26563 24981 0 -1 4202496 2718 0 0 0 52144 87 0 0 25 0 1 0 809920961 20828160 2651 33554432000 134512640 137138936 4293061168 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26563/statm: 5085 2651 192 642 0 4441 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 20340
[startup+582.3 s]
/proc/loadavg: 2.08 1.92 1.70 3/515 26580
/proc/meminfo: memFree=21718292/32951124 swapFree=62999000/67111528
[pid=26563] ppid=26561 vsize=20340 CPUtime=582.31 cores=0,2,4,6
/proc/26563/stat : 26563 (bsolo) R 26561 26563 24981 0 -1 4202496 2718 0 0 0 58136 95 0 0 25 0 1 0 809920961 20828160 2651 33554432000 134512640 137138936 4293061168 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26563/statm: 5085 2651 192 642 0 4441 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 20340
[startup+642.301 s]
/proc/loadavg: 2.03 1.93 1.71 3/515 26608
/proc/meminfo: memFree=21592884/32951124 swapFree=62999000/67111528
[pid=26563] ppid=26561 vsize=20340 CPUtime=642.33 cores=0,2,4,6
/proc/26563/stat : 26563 (bsolo) R 26561 26563 24981 0 -1 4202496 2718 0 0 0 64131 102 0 0 25 0 1 0 809920961 20828160 2651 33554432000 134512640 137138936 4293061168 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26563/statm: 5085 2651 192 642 0 4441 0
Current children cumulated CPU time (s) 642.33
Current children cumulated vsize (KiB) 20340
[startup+702.301 s]
/proc/loadavg: 2.09 1.96 1.74 3/515 26610
/proc/meminfo: memFree=21554468/32951124 swapFree=62999000/67111528
[pid=26563] ppid=26561 vsize=20340 CPUtime=702.32 cores=0,2,4,6
/proc/26563/stat : 26563 (bsolo) R 26561 26563 24981 0 -1 4202496 2718 0 0 0 70120 112 0 0 25 0 1 0 809920961 20828160 2651 33554432000 134512640 137138936 4293061168 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26563/statm: 5085 2651 192 642 0 4441 0
Current children cumulated CPU time (s) 702.32
Current children cumulated vsize (KiB) 20340
[startup+762.319 s]
/proc/loadavg: 2.10 1.98 1.75 3/515 26612
/proc/meminfo: memFree=21511784/32951124 swapFree=62999000/67111528
[pid=26563] ppid=26561 vsize=20916 CPUtime=762.34 cores=0,2,4,6
/proc/26563/stat : 26563 (bsolo) R 26561 26563 24981 0 -1 4202496 2870 0 0 0 76112 122 0 0 25 0 1 0 809920961 21417984 2803 33554432000 134512640 137138936 4293061168 18446744073709551615 134606620 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26563/statm: 5229 2803 192 642 0 4585 0
Current children cumulated CPU time (s) 762.34
Current children cumulated vsize (KiB) 20916
[startup+822.301 s]
/proc/loadavg: 2.10 2.00 1.77 3/515 26613
/proc/meminfo: memFree=21469960/32951124 swapFree=62999000/67111528
[pid=26563] ppid=26561 vsize=20916 CPUtime=822.32 cores=0,2,4,6
/proc/26563/stat : 26563 (bsolo) R 26561 26563 24981 0 -1 4202496 2870 0 0 0 82101 131 0 0 25 0 1 0 809920961 21417984 2803 33554432000 134512640 137138936 4293061168 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26563/statm: 5229 2803 192 642 0 4585 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 20916
[startup+882.3 s]
/proc/loadavg: 2.10 2.01 1.79 3/515 26618
/proc/meminfo: memFree=21434272/32951124 swapFree=62999000/67111528
[pid=26563] ppid=26561 vsize=21240 CPUtime=882.32 cores=0,2,4,6
/proc/26563/stat : 26563 (bsolo) R 26561 26563 24981 0 -1 4202496 2935 0 0 0 88094 138 0 0 25 0 1 0 809920961 21749760 2868 33554432000 134512640 137138936 4293061168 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26563/statm: 5310 2868 192 642 0 4666 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 21240
[startup+942.301 s]
/proc/loadavg: 2.03 2.00 1.80 3/515 26619
/proc/meminfo: memFree=21386956/32951124 swapFree=62999000/67111528
[pid=26563] ppid=26561 vsize=21232 CPUtime=942.33 cores=0,2,4,6
/proc/26563/stat : 26563 (bsolo) R 26561 26563 24981 0 -1 4202496 2935 0 0 0 94089 144 0 0 25 0 1 0 809920961 21741568 2868 33554432000 134512640 137138936 4293061168 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26563/statm: 5308 2868 192 642 0 4664 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 21232
Solver just ended. Dumping a history of the last processes samples
[startup+947.119 s]
/proc/loadavg: 2.03 2.00 1.80 3/515 26619
/proc/meminfo: memFree=21383856/32951124 swapFree=62999000/67111528
[pid=26563] ppid=26561 vsize=21232 CPUtime=947.14 cores=0,2,4,6
/proc/26563/stat : 26563 (bsolo) R 26561 26563 24981 0 -1 4202496 2935 0 0 0 94570 144 0 0 25 0 1 0 809920961 21741568 2868 33554432000 134512640 137138936 4293061168 18446744073709551615 136295499 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26563/statm: 5308 2868 192 642 0 4664 0
Current children cumulated CPU time (s) 947.14
Current children cumulated vsize (KiB) 21232
[startup+959.901 s]
/proc/loadavg: 2.02 2.00 1.80 3/515 26620
/proc/meminfo: memFree=21371196/32951124 swapFree=62999000/67111528
[pid=26563] ppid=26561 vsize=21232 CPUtime=959.93 cores=0,2,4,6
/proc/26563/stat : 26563 (bsolo) R 26561 26563 24981 0 -1 4202496 2935 0 0 0 95847 146 0 0 25 0 1 0 809920961 21741568 2868 33554432000 134512640 137138936 4293061168 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26563/statm: 5308 2868 192 642 0 4664 0
Current children cumulated CPU time (s) 959.93
Current children cumulated vsize (KiB) 21232
[startup+966.301 s]
/proc/loadavg: 2.02 2.00 1.80 3/515 26620
/proc/meminfo: memFree=21365984/32951124 swapFree=62999000/67111528
[pid=26563] ppid=26561 vsize=21232 CPUtime=966.32 cores=0,2,4,6
/proc/26563/stat : 26563 (bsolo) R 26561 26563 24981 0 -1 4202496 2935 0 0 0 96486 146 0 0 25 0 1 0 809920961 21741568 2868 33554432000 134512640 137138936 4293061168 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26563/statm: 5308 2868 192 642 0 4664 0
Current children cumulated CPU time (s) 966.32
Current children cumulated vsize (KiB) 21232
[startup+969.501 s]
/proc/loadavg: 2.02 2.00 1.80 3/515 26620
/proc/meminfo: memFree=21364372/32951124 swapFree=62999000/67111528
[pid=26563] ppid=26561 vsize=21232 CPUtime=969.53 cores=0,2,4,6
/proc/26563/stat : 26563 (bsolo) R 26561 26563 24981 0 -1 4202496 2935 0 0 0 96806 147 0 0 25 0 1 0 809920961 21741568 2868 33554432000 134512640 137138936 4293061168 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26563/statm: 5308 2868 192 642 0 4664 0
Current children cumulated CPU time (s) 969.53
Current children cumulated vsize (KiB) 21232
[startup+971.101 s]
/proc/loadavg: 2.02 2.00 1.80 3/515 26620
/proc/meminfo: memFree=21363504/32951124 swapFree=62999000/67111528
[pid=26563] ppid=26561 vsize=21232 CPUtime=971.13 cores=0,2,4,6
/proc/26563/stat : 26563 (bsolo) R 26561 26563 24981 0 -1 4202496 2935 0 0 0 96966 147 0 0 25 0 1 0 809920961 21741568 2868 33554432000 134512640 137138936 4293061168 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26563/statm: 5308 2868 192 642 0 4664 0
Current children cumulated CPU time (s) 971.13
Current children cumulated vsize (KiB) 21232
[startup+971.901 s]
/proc/loadavg: 2.02 2.00 1.80 3/515 26620
/proc/meminfo: memFree=21362760/32951124 swapFree=62999000/67111528
[pid=26563] ppid=26561 vsize=21232 CPUtime=971.92 cores=0,2,4,6
/proc/26563/stat : 26563 (bsolo) R 26561 26563 24981 0 -1 4202496 2935 0 0 0 97045 147 0 0 25 0 1 0 809920961 21741568 2868 33554432000 134512640 137138936 4293061168 18446744073709551615 136502660 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26563/statm: 5308 2868 192 642 0 4664 0
Current children cumulated CPU time (s) 971.92
Current children cumulated vsize (KiB) 21232
[startup+972.3 s]
/proc/loadavg: 2.02 2.00 1.80 3/515 26620
/proc/meminfo: memFree=21361768/32951124 swapFree=62999000/67111528
[pid=26563] ppid=26561 vsize=21232 CPUtime=972.34 cores=0,2,4,6
/proc/26563/stat : 26563 (bsolo) R 26561 26563 24981 0 -1 4202496 2935 0 0 0 97087 147 0 0 25 0 1 0 809920961 21741568 2868 33554432000 134512640 137138936 4293061168 18446744073709551615 134541943 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/26563/statm: 5308 2868 192 642 0 4664 0
Current children cumulated CPU time (s) 972.34
Current children cumulated vsize (KiB) 21232
Child status: 0
Real time (s): 972.336
CPU time (s): 972.37
CPU user time (s): 970.892
CPU system time (s): 1.47778
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 21240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 970.892
system time used= 1.47778
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2935
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= 1650
runsolver used 5.17721 second user time and 10.7534 second system time
The end