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-3457081-1307216064/watcher-3457081-1307216064 -o /tmp/evaluation-result-3457081-1307216064/solver-3457081-1307216064 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457081-1307216064.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.95 0.97 0.38 3/442 7240
/proc/meminfo: memFree=22198620/32951124 swapFree=44043516/67111528
[pid=7240] ppid=7238 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/7240/stat : 7240 (java) R 7238 7240 7124 0 -1 4202496 856 0 0 0 0 0 0 0 25 0 1 0 833204623 23580672 601 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246511871744 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/7240/statm: 5757 612 454 9 0 124 0
[pid=7240/tid=7241] ppid=7238 vsize=35820 CPUtime=0 cores=1,3,5,7
/proc/7240/task/7241/stat : 7241 (java) R 7238 7240 7124 0 -1 4202560 236 0 1 0 0 0 0 0 25 0 2 0 833204624 36679680 1052 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246516520656 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.039927 s]
/proc/loadavg: 1.95 0.97 0.38 3/442 7240
/proc/meminfo: memFree=22198620/32951124 swapFree=44043516/67111528
[pid=7240] ppid=7238 vsize=10464264 CPUtime=0.02 cores=1,3,5,7
/proc/7240/stat : 7240 (java) S 7238 7240 7124 0 -1 4202496 10889 0 1 0 1 1 0 0 25 0 10 0 833204623 10715406336 10588 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528636901 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/7240/statm: 2616066 10589 1557 9 0 2606814 0
[pid=7240/tid=7241] ppid=7238 vsize=10464264 CPUtime=0.02 cores=1,3,5,7
/proc/7240/task/7241/stat : 7241 (java) R 7238 7240 7124 0 -1 4202560 9771 0 1 0 1 1 0 0 25 0 10 0 833204624 10715406336 10591 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 47867680215034 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10464264
[startup+0.100869 s]
/proc/loadavg: 1.95 0.97 0.38 3/442 7240
/proc/meminfo: memFree=22198620/32951124 swapFree=44043516/67111528
[pid=7240] ppid=7238 vsize=10539364 CPUtime=0.08 cores=1,3,5,7
/proc/7240/stat : 7240 (java) S 7238 7240 7124 0 -1 4202496 12671 0 1 0 7 1 0 0 25 0 18 0 833204623 10792308736 12368 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/7240/statm: 2634841 12369 2059 9 0 2625575 0
[pid=7240/tid=7241] ppid=7238 vsize=10539364 CPUtime=0.07 cores=1,3,5,7
/proc/7240/task/7241/stat : 7241 (java) R 7238 7240 7124 0 -1 4202560 11017 0 1 0 6 1 0 0 18 0 18 0 833204624 10792308736 12370 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 47867679204888 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10539364
[startup+0.300834 s]
/proc/loadavg: 1.95 0.97 0.38 3/442 7240
/proc/meminfo: memFree=22198620/32951124 swapFree=44043516/67111528
[pid=7240] ppid=7238 vsize=10541432 CPUtime=0.45 cores=1,3,5,7
/proc/7240/stat : 7240 (java) S 7238 7240 7124 0 -1 4202496 15631 0 1 0 43 2 0 0 25 0 18 0 833204623 10794426368 15041 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/7240/statm: 2635358 15042 2201 9 0 2626092 0
[pid=7240/tid=7241] ppid=7238 vsize=10541432 CPUtime=0.27 cores=1,3,5,7
/proc/7240/task/7241/stat : 7241 (java) R 7238 7240 7124 0 -1 4202560 12855 0 1 0 26 1 0 0 18 0 18 0 833204624 10794426368 15042 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 47867680639827 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 10541432
[startup+0.700762 s]
/proc/loadavg: 1.95 0.97 0.38 3/442 7240
/proc/meminfo: memFree=22198620/32951124 swapFree=44043516/67111528
[pid=7240] ppid=7238 vsize=10552632 CPUtime=1.58 cores=1,3,5,7
/proc/7240/stat : 7240 (java) S 7238 7240 7124 0 -1 4202496 43809 0 1 0 152 6 0 0 25 0 19 0 833204623 10805895168 39895 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/7240/statm: 2638158 39896 2222 9 0 2628892 0
[pid=7240/tid=7241] ppid=7238 vsize=10552632 CPUtime=0.67 cores=1,3,5,7
/proc/7240/task/7241/stat : 7241 (java) R 7238 7240 7124 0 -1 4202560 31468 0 1 0 63 4 0 0 19 0 19 0 833204624 10805895168 39896 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 46912505714954 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 10552632
[startup+1.50062 s]
/proc/loadavg: 1.95 0.97 0.38 3/461 7259
/proc/meminfo: memFree=21933516/32951124 swapFree=44043516/67111528
[pid=7240] ppid=7238 vsize=10552632 CPUtime=2.61 cores=1,3,5,7
/proc/7240/stat : 7240 (java) S 7238 7240 7124 0 -1 4202496 126867 0 1 0 246 15 0 0 25 0 19 0 833204623 10805895168 122759 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/7240/statm: 2638158 122763 2225 9 0 2628892 0
[pid=7240/tid=7241] ppid=7238 vsize=10552632 CPUtime=1.46 cores=1,3,5,7
/proc/7240/task/7241/stat : 7241 (java) R 7238 7240 7124 0 -1 4202560 114282 0 1 0 134 12 0 0 20 0 19 0 833204624 10805895168 122764 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 46912505715228 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=7240/tid=7243] ppid=7238 vsize=10552632 CPUtime=0 cores=1,3,5,7
/proc/7240/task/7243/stat : 7243 (java) S 7238 7240 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833204626 10805895168 122766 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 3 0 0 0
[pid=7240/tid=7244] ppid=7238 vsize=10552632 CPUtime=0 cores=1,3,5,7
/proc/7240/task/7244/stat : 7244 (java) S 7238 7240 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833204626 10805895168 122769 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 3 0 0 0
[pid=7240/tid=7245] ppid=7238 vsize=10552632 CPUtime=0 cores=1,3,5,7
/proc/7240/task/7245/stat : 7245 (java) S 7238 7240 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833204626 10805895168 122772 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 3 0 0 0
[pid=7240/tid=7246] ppid=7238 vsize=10552632 CPUtime=0 cores=1,3,5,7
/proc/7240/task/7246/stat : 7246 (java) S 7238 7240 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833204626 10805895168 122774 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 3 0 0 0
[pid=7240/tid=7247] ppid=7238 vsize=10552632 CPUtime=0 cores=1,3,5,7
/proc/7240/task/7247/stat : 7247 (java) S 7238 7240 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833204626 10805895168 122777 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 3 0 0 0
[pid=7240/tid=7248] ppid=7238 vsize=10552632 CPUtime=0 cores=1,3,5,7
/proc/7240/task/7248/stat : 7248 (java) S 7238 7240 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833204626 10805895168 122778 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 3 0 0 0
[pid=7240/tid=7249] ppid=7238 vsize=10552632 CPUtime=0 cores=1,3,5,7
/proc/7240/task/7249/stat : 7249 (java) S 7238 7240 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833204626 10805895168 122780 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 3 0 0 0
[pid=7240/tid=7250] ppid=7238 vsize=10552632 CPUtime=0 cores=1,3,5,7
/proc/7240/task/7250/stat : 7250 (java) S 7238 7240 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833204626 10805895168 122782 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 3 0 0 0
[pid=7240/tid=7251] ppid=7238 vsize=10552632 CPUtime=0 cores=1,3,5,7
/proc/7240/task/7251/stat : 7251 (java) S 7238 7240 7124 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 833204627 10805895168 122784 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650752 0 0 0 16800975 18446604466879721920 0 0 -1 3 0 0 0
[pid=7240/tid=7252] ppid=7238 vsize=10552632 CPUtime=0 cores=1,3,5,7
/proc/7240/task/7252/stat : 7252 (java) S 7238 7240 7124 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833204628 10805895168 122787 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 3 0 0 0
[pid=7240/tid=7253] ppid=7238 vsize=10552632 CPUtime=0 cores=1,3,5,7
/proc/7240/task/7253/stat : 7253 (java) S 7238 7240 7124 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833204628 10805895168 122789 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 3 0 0 0
[pid=7240/tid=7254] ppid=7238 vsize=10552632 CPUtime=0 cores=1,3,5,7
/proc/7240/task/7254/stat : 7254 (java) S 7238 7240 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833204630 10805895168 122791 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528657841 0 4 0 16800975 18446604466879721920 0 0 -1 3 0 0 0
[pid=7240/tid=7255] ppid=7238 vsize=10552632 CPUtime=0.56 cores=1,3,5,7
/proc/7240/task/7255/stat : 7255 (java) R 7238 7240 7124 0 -1 4202560 5819 0 0 0 56 0 0 0 19 0 19 0 833204630 10805895168 122793 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 47867675482201 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=7240/tid=7256] ppid=7238 vsize=10552632 CPUtime=0.56 cores=1,3,5,7
/proc/7240/task/7256/stat : 7256 (java) R 7238 7240 7124 0 -1 4202560 5614 0 0 0 55 1 0 0 20 0 19 0 833204630 10805895168 122796 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 47867678861491 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=7240/tid=7257] ppid=7238 vsize=10552632 CPUtime=0 cores=1,3,5,7
/proc/7240/task/7257/stat : 7257 (java) S 7238 7240 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833204630 10805895168 122798 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 3 0 0 0
[pid=7240/tid=7258] ppid=7238 vsize=10552632 CPUtime=0 cores=1,3,5,7
/proc/7240/task/7258/stat : 7258 (java) S 7238 7240 7124 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833204630 10805895168 122802 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650752 0 4 0 16800975 18446604466879721920 0 0 -1 5 0 0 0
[pid=7240/tid=7259] ppid=7238 vsize=10552632 CPUtime=0 cores=1,3,5,7
/proc/7240/task/7259/stat : 7259 (java) S 7238 7240 7124 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833204654 10805895168 122804 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650752 0 4 0 16800975 18446604466879721920 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.61
Current children cumulated vsize (KiB) 10552632
[startup+3.10136 s]
/proc/loadavg: 1.95 0.97 0.38 3/461 7259
/proc/meminfo: memFree=21454752/32951124 swapFree=44043516/67111528
[pid=7240] ppid=7238 vsize=10552632 CPUtime=4.29 cores=1,3,5,7
/proc/7240/stat : 7240 (java) S 7238 7240 7124 0 -1 4202496 291146 0 1 0 396 33 0 0 25 0 19 0 833204623 10805895168 287036 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/7240/statm: 2638158 287038 2225 9 0 2628892 0
[pid=7240/tid=7241] ppid=7238 vsize=10552632 CPUtime=3.07 cores=1,3,5,7
/proc/7240/task/7241/stat : 7241 (java) R 7238 7240 7124 0 -1 4202560 278531 0 1 0 276 31 0 0 25 0 19 0 833204624 10805895168 287039 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 46912505664182 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=7240/tid=7243] ppid=7238 vsize=10552632 CPUtime=0 cores=1,3,5,7
/proc/7240/task/7243/stat : 7243 (java) S 7238 7240 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833204626 10805895168 287041 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 3 0 0 0
[pid=7240/tid=7244] ppid=7238 vsize=10552632 CPUtime=0 cores=1,3,5,7
/proc/7240/task/7244/stat : 7244 (java) S 7238 7240 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833204626 10805895168 287042 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 3 0 0 0
[pid=7240/tid=7245] ppid=7238 vsize=10552632 CPUtime=0 cores=1,3,5,7
/proc/7240/task/7245/stat : 7245 (java) S 7238 7240 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833204626 10805895168 287043 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 3 0 0 0
[pid=7240/tid=7246] ppid=7238 vsize=10552632 CPUtime=0 cores=1,3,5,7
/proc/7240/task/7246/stat : 7246 (java) S 7238 7240 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833204626 10805895168 287045 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 3 0 0 0
[pid=7240/tid=7247] ppid=7238 vsize=10552632 CPUtime=0 cores=1,3,5,7
/proc/7240/task/7247/stat : 7247 (java) S 7238 7240 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833204626 10805895168 287046 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 3 0 0 0
[pid=7240/tid=7248] ppid=7238 vsize=10552632 CPUtime=0 cores=1,3,5,7
/proc/7240/task/7248/stat : 7248 (java) S 7238 7240 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833204626 10805895168 287047 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 3 0 0 0
[pid=7240/tid=7249] ppid=7238 vsize=10552632 CPUtime=0 cores=1,3,5,7
/proc/7240/task/7249/stat : 7249 (java) S 7238 7240 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833204626 10805895168 287047 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 3 0 0 0
[pid=7240/tid=7250] ppid=7238 vsize=10552632 CPUtime=0 cores=1,3,5,7
/proc/7240/task/7250/stat : 7250 (java) S 7238 7240 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833204626 10805895168 287049 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 3 0 0 0
[pid=7240/tid=7251] ppid=7238 vsize=10552632 CPUtime=0 cores=1,3,5,7
/proc/7240/task/7251/stat : 7251 (java) S 7238 7240 7124 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 833204627 10805895168 287049 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650752 0 0 0 16800975 18446604466879721920 0 0 -1 3 0 0 0
[pid=7240/tid=7252] ppid=7238 vsize=10552632 CPUtime=0 cores=1,3,5,7
/proc/7240/task/7252/stat : 7252 (java) S 7238 7240 7124 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833204628 10805895168 287049 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 3 0 0 0
[pid=7240/tid=7253] ppid=7238 vsize=10552632 CPUtime=0 cores=1,3,5,7
/proc/7240/task/7253/stat : 7253 (java) S 7238 7240 7124 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833204628 10805895168 287049 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 3 0 0 0
[pid=7240/tid=7254] ppid=7238 vsize=10552632 CPUtime=0 cores=1,3,5,7
/proc/7240/task/7254/stat : 7254 (java) S 7238 7240 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833204630 10805895168 287050 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528657841 0 4 0 16800975 18446604466879721920 0 0 -1 3 0 0 0
[pid=7240/tid=7255] ppid=7238 vsize=10552632 CPUtime=0.61 cores=1,3,5,7
/proc/7240/task/7255/stat : 7255 (java) S 7238 7240 7124 0 -1 4202560 5835 0 0 0 61 0 0 0 15 0 19 0 833204630 10805895168 287050 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 5 0 0 0
[pid=7240/tid=7256] ppid=7238 vsize=10552632 CPUtime=0.59 cores=1,3,5,7
/proc/7240/task/7256/stat : 7256 (java) S 7238 7240 7124 0 -1 4202560 5625 0 0 0 58 1 0 0 20 0 19 0 833204630 10805895168 287050 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 7 0 0 0
[pid=7240/tid=7257] ppid=7238 vsize=10552632 CPUtime=0 cores=1,3,5,7
/proc/7240/task/7257/stat : 7257 (java) S 7238 7240 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833204630 10805895168 287052 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 3 0 0 0
[pid=7240/tid=7258] ppid=7238 vsize=10552632 CPUtime=0 cores=1,3,5,7
/proc/7240/task/7258/stat : 7258 (java) S 7238 7240 7124 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 833204630 10805895168 287053 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650752 0 4 0 16800975 18446604466879721920 0 0 -1 5 0 0 0
[pid=7240/tid=7259] ppid=7238 vsize=10552632 CPUtime=0 cores=1,3,5,7
/proc/7240/task/7259/stat : 7259 (java) S 7238 7240 7124 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833204654 10805895168 287054 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650752 0 4 0 16800975 18446604466879721920 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.29
Current children cumulated vsize (KiB) 10552632
[startup+6.30078 s]
/proc/loadavg: 1.95 0.99 0.39 3/461 7259
/proc/meminfo: memFree=20117008/32951124 swapFree=44043516/67111528
[pid=7240] ppid=7238 vsize=10552632 CPUtime=7.5 cores=1,3,5,7
/proc/7240/stat : 7240 (java) S 7238 7240 7124 0 -1 4202496 612873 0 1 0 681 69 0 0 25 0 19 0 833204623 10805895168 608593 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/7240/statm: 2638158 608596 2226 9 0 2628892 0
[pid=7240/tid=7241] ppid=7238 vsize=10552632 CPUtime=6.27 cores=1,3,5,7
/proc/7240/task/7241/stat : 7241 (java) R 7238 7240 7124 0 -1 4202560 600260 0 1 0 560 67 0 0 25 0 19 0 833204624 10805895168 608598 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 46912505714943 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=7240/tid=7243] ppid=7238 vsize=10552632 CPUtime=0 cores=1,3,5,7
/proc/7240/task/7243/stat : 7243 (java) S 7238 7240 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833204626 10805895168 608600 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 3 0 0 0
[pid=7240/tid=7244] ppid=7238 vsize=10552632 CPUtime=0 cores=1,3,5,7
/proc/7240/task/7244/stat : 7244 (java) S 7238 7240 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833204626 10805895168 608602 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 3 0 0 0
[pid=7240/tid=7245] ppid=7238 vsize=10552632 CPUtime=0 cores=1,3,5,7
/proc/7240/task/7245/stat : 7245 (java) S 7238 7240 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833204626 10805895168 608604 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 3 0 0 0
[pid=7240/tid=7246] ppid=7238 vsize=10552632 CPUtime=0 cores=1,3,5,7
/proc/7240/task/7246/stat : 7246 (java) S 7238 7240 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833204626 10805895168 608607 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 3 0 0 0
[pid=7240/tid=7247] ppid=7238 vsize=10552632 CPUtime=0 cores=1,3,5,7
/proc/7240/task/7247/stat : 7247 (java) S 7238 7240 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833204626 10805895168 608608 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 3 0 0 0
[pid=7240/tid=7248] ppid=7238 vsize=10552632 CPUtime=0 cores=1,3,5,7
/proc/7240/task/7248/stat : 7248 (java) S 7238 7240 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833204626 10805895168 608610 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 3 0 0 0
[pid=7240/tid=7249] ppid=7238 vsize=10552632 CPUtime=0 cores=1,3,5,7
/proc/7240/task/7249/stat : 7249 (java) S 7238 7240 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833204626 10805895168 608612 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 3 0 0 0
[pid=7240/tid=7250] ppid=7238 vsize=10552632 CPUtime=0 cores=1,3,5,7
/proc/7240/task/7250/stat : 7250 (java) S 7238 7240 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833204626 10805895168 608614 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 3 0 0 0
[pid=7240/tid=7251] ppid=7238 vsize=10552632 CPUtime=0 cores=1,3,5,7
/proc/7240/task/7251/stat : 7251 (java) S 7238 7240 7124 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 833204627 10805895168 608616 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650752 0 0 0 16800975 18446604466879721920 0 0 -1 3 0 0 0
[pid=7240/tid=7252] ppid=7238 vsize=10552632 CPUtime=0 cores=1,3,5,7
/proc/7240/task/7252/stat : 7252 (java) S 7238 7240 7124 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 833204628 10805895168 608618 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 3 0 0 0
[pid=7240/tid=7253] ppid=7238 vsize=10552632 CPUtime=0 cores=1,3,5,7
/proc/7240/task/7253/stat : 7253 (java) S 7238 7240 7124 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 833204628 10805895168 608620 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 3 0 0 0
[pid=7240/tid=7254] ppid=7238 vsize=10552632 CPUtime=0 cores=1,3,5,7
/proc/7240/task/7254/stat : 7254 (java) S 7238 7240 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833204630 10805895168 608622 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528657841 0 4 0 16800975 18446604466879721920 0 0 -1 3 0 0 0
[pid=7240/tid=7255] ppid=7238 vsize=10552632 CPUtime=0.61 cores=1,3,5,7
/proc/7240/task/7255/stat : 7255 (java) S 7238 7240 7124 0 -1 4202560 5835 0 0 0 61 0 0 0 15 0 19 0 833204630 10805895168 608624 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 5 0 0 0
[pid=7240/tid=7256] ppid=7238 vsize=10552632 CPUtime=0.6 cores=1,3,5,7
/proc/7240/task/7256/stat : 7256 (java) S 7238 7240 7124 0 -1 4202560 5625 0 0 0 59 1 0 0 18 0 19 0 833204630 10805895168 608626 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 7 0 0 0
################
# More data... #
################
/proc/7240/task/7252/stat : 7252 (java) S 7238 7240 7124 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833204628 10805895168 920902 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 3 0 0 0
[pid=7240/tid=7253] ppid=7238 vsize=10552632 CPUtime=0 cores=1,3,5,7
/proc/7240/task/7253/stat : 7253 (java) S 7238 7240 7124 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833204628 10805895168 920902 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 3 0 0 0
[pid=7240/tid=7254] ppid=7238 vsize=10552632 CPUtime=0 cores=1,3,5,7
/proc/7240/task/7254/stat : 7254 (java) S 7238 7240 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833204630 10805895168 920902 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528657841 0 4 0 16800975 18446604466879721920 0 0 -1 3 0 0 0
[pid=7240/tid=7255] ppid=7238 vsize=10552632 CPUtime=0.76 cores=1,3,5,7
/proc/7240/task/7255/stat : 7255 (java) S 7238 7240 7124 0 -1 4202560 5872 0 0 0 76 0 0 0 15 0 19 0 833204630 10805895168 920902 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 5 0 0 0
[pid=7240/tid=7256] ppid=7238 vsize=10552632 CPUtime=0.71 cores=1,3,5,7
/proc/7240/task/7256/stat : 7256 (java) S 7238 7240 7124 0 -1 4202560 5642 0 0 0 70 1 0 0 15 0 19 0 833204630 10805895168 920902 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 7 0 0 0
[pid=7240/tid=7257] ppid=7238 vsize=10552632 CPUtime=0 cores=1,3,5,7
/proc/7240/task/7257/stat : 7257 (java) S 7238 7240 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833204630 10805895168 920902 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 3 0 0 0
[pid=7240/tid=7258] ppid=7238 vsize=10552632 CPUtime=0 cores=1,3,5,7
/proc/7240/task/7258/stat : 7258 (java) S 7238 7240 7124 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 833204630 10805895168 920902 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650752 0 4 0 16800975 18446604466879721920 0 0 -1 1 0 0 0
[pid=7240/tid=7259] ppid=7238 vsize=10552632 CPUtime=0 cores=1,3,5,7
/proc/7240/task/7259/stat : 7259 (java) S 7238 7240 7124 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833204654 10805895168 920902 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650752 0 4 0 16800975 18446604466879721920 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1666.69
Current children cumulated vsize (KiB) 10552632
[startup+1722.3 s]
/proc/loadavg: 2.09 2.04 1.76 3/461 7414
/proc/meminfo: memFree=18426312/32951124 swapFree=44043516/67111528
[pid=7240] ppid=7238 vsize=10552632 CPUtime=1726.88 cores=1,3,5,7
/proc/7240/stat : 7240 (java) S 7238 7240 7124 0 -1 4202496 927251 0 1 0 172580 108 0 0 25 0 19 0 833204623 10805895168 921848 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/7240/statm: 2638158 921848 2256 9 0 2628892 0
[pid=7240/tid=7241] ppid=7238 vsize=10552632 CPUtime=1719.64 cores=1,3,5,7
/proc/7240/task/7241/stat : 7241 (java) R 7238 7240 7124 0 -1 4202560 836439 0 1 0 171872 92 0 0 25 0 19 0 833204624 10805895168 921848 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 46912505713421 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=7240/tid=7243] ppid=7238 vsize=10552632 CPUtime=0.55 cores=1,3,5,7
/proc/7240/task/7243/stat : 7243 (java) S 7238 7240 7124 0 -1 4202560 7528 0 0 0 55 0 0 0 16 0 19 0 833204626 10805895168 921848 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 3 0 0 0
[pid=7240/tid=7244] ppid=7238 vsize=10552632 CPUtime=0.69 cores=1,3,5,7
/proc/7240/task/7244/stat : 7244 (java) S 7238 7240 7124 0 -1 4202560 10769 0 0 0 68 1 0 0 16 0 19 0 833204626 10805895168 921848 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 3 0 0 0
[pid=7240/tid=7245] ppid=7238 vsize=10552632 CPUtime=0.54 cores=1,3,5,7
/proc/7240/task/7245/stat : 7245 (java) S 7238 7240 7124 0 -1 4202560 5846 0 0 0 53 1 0 0 16 0 19 0 833204626 10805895168 921848 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 7 0 0 0
[pid=7240/tid=7246] ppid=7238 vsize=10552632 CPUtime=0.5 cores=1,3,5,7
/proc/7240/task/7246/stat : 7246 (java) S 7238 7240 7124 0 -1 4202560 7862 0 0 0 49 1 0 0 16 0 19 0 833204626 10805895168 921848 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 5 0 0 0
[pid=7240/tid=7247] ppid=7238 vsize=10552632 CPUtime=0.52 cores=1,3,5,7
/proc/7240/task/7247/stat : 7247 (java) S 7238 7240 7124 0 -1 4202560 6732 0 0 0 52 0 0 0 16 0 19 0 833204626 10805895168 921848 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 5 0 0 0
[pid=7240/tid=7248] ppid=7238 vsize=10552632 CPUtime=0.54 cores=1,3,5,7
/proc/7240/task/7248/stat : 7248 (java) S 7238 7240 7124 0 -1 4202560 8331 0 0 0 53 1 0 0 15 0 19 0 833204626 10805895168 921848 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 7 0 0 0
[pid=7240/tid=7249] ppid=7238 vsize=10552632 CPUtime=0.7 cores=1,3,5,7
/proc/7240/task/7249/stat : 7249 (java) S 7238 7240 7124 0 -1 4202560 13417 0 0 0 68 2 0 0 16 0 19 0 833204626 10805895168 921848 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 1 0 0 0
[pid=7240/tid=7250] ppid=7238 vsize=10552632 CPUtime=0.59 cores=1,3,5,7
/proc/7240/task/7250/stat : 7250 (java) S 7238 7240 7124 0 -1 4202560 11626 0 0 0 58 1 0 0 15 0 19 0 833204626 10805895168 921848 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 1 0 0 0
[pid=7240/tid=7251] ppid=7238 vsize=10552632 CPUtime=0.99 cores=1,3,5,7
/proc/7240/task/7251/stat : 7251 (java) S 7238 7240 7124 0 -1 4202560 5933 0 0 0 98 1 0 0 15 0 19 0 833204627 10805895168 921848 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650752 0 0 0 16800975 18446604466879721920 0 0 -1 1 0 0 0
[pid=7240/tid=7252] ppid=7238 vsize=10552632 CPUtime=0 cores=1,3,5,7
/proc/7240/task/7252/stat : 7252 (java) S 7238 7240 7124 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833204628 10805895168 921848 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 3 0 0 0
[pid=7240/tid=7253] ppid=7238 vsize=10552632 CPUtime=0 cores=1,3,5,7
/proc/7240/task/7253/stat : 7253 (java) S 7238 7240 7124 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833204628 10805895168 921848 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 3 0 0 0
[pid=7240/tid=7254] ppid=7238 vsize=10552632 CPUtime=0 cores=1,3,5,7
/proc/7240/task/7254/stat : 7254 (java) S 7238 7240 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833204630 10805895168 921848 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528657841 0 4 0 16800975 18446604466879721920 0 0 -1 3 0 0 0
[pid=7240/tid=7255] ppid=7238 vsize=10552632 CPUtime=0.79 cores=1,3,5,7
/proc/7240/task/7255/stat : 7255 (java) S 7238 7240 7124 0 -1 4202560 5877 0 0 0 79 0 0 0 15 0 19 0 833204630 10805895168 921848 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 5 0 0 0
[pid=7240/tid=7256] ppid=7238 vsize=10552632 CPUtime=0.71 cores=1,3,5,7
/proc/7240/task/7256/stat : 7256 (java) S 7238 7240 7124 0 -1 4202560 5642 0 0 0 70 1 0 0 15 0 19 0 833204630 10805895168 921848 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 7 0 0 0
[pid=7240/tid=7257] ppid=7238 vsize=10552632 CPUtime=0 cores=1,3,5,7
/proc/7240/task/7257/stat : 7257 (java) S 7238 7240 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833204630 10805895168 921848 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 3 0 0 0
[pid=7240/tid=7258] ppid=7238 vsize=10552632 CPUtime=0 cores=1,3,5,7
/proc/7240/task/7258/stat : 7258 (java) S 7238 7240 7124 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 833204630 10805895168 921848 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650752 0 4 0 16800975 18446604466879721920 0 0 -1 3 0 0 0
[pid=7240/tid=7259] ppid=7238 vsize=10552632 CPUtime=0 cores=1,3,5,7
/proc/7240/task/7259/stat : 7259 (java) S 7238 7240 7124 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833204654 10805895168 921848 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650752 0 4 0 16800975 18446604466879721920 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1726.88
Current children cumulated vsize (KiB) 10552632
[startup+1782.3 s]
/proc/loadavg: 2.18 2.06 1.78 3/461 7416
/proc/meminfo: memFree=18393180/32951124 swapFree=44043516/67111528
[pid=7240] ppid=7238 vsize=10552632 CPUtime=1786.98 cores=1,3,5,7
/proc/7240/stat : 7240 (java) S 7238 7240 7124 0 -1 4202496 927280 0 1 0 178590 108 0 0 25 0 19 0 833204623 10805895168 921868 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/7240/statm: 2638158 921868 2256 9 0 2628892 0
[pid=7240/tid=7241] ppid=7238 vsize=10552632 CPUtime=1779.6 cores=1,3,5,7
/proc/7240/task/7241/stat : 7241 (java) R 7238 7240 7124 0 -1 4202560 836442 0 1 0 177868 92 0 0 25 0 19 0 833204624 10805895168 921868 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 46912505366576 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=7240/tid=7243] ppid=7238 vsize=10552632 CPUtime=0.56 cores=1,3,5,7
/proc/7240/task/7243/stat : 7243 (java) S 7238 7240 7124 0 -1 4202560 7528 0 0 0 56 0 0 0 15 0 19 0 833204626 10805895168 921868 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 3 0 0 0
[pid=7240/tid=7244] ppid=7238 vsize=10552632 CPUtime=0.71 cores=1,3,5,7
/proc/7240/task/7244/stat : 7244 (java) S 7238 7240 7124 0 -1 4202560 10772 0 0 0 70 1 0 0 16 0 19 0 833204626 10805895168 921868 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 7 0 0 0
[pid=7240/tid=7245] ppid=7238 vsize=10552632 CPUtime=0.56 cores=1,3,5,7
/proc/7240/task/7245/stat : 7245 (java) S 7238 7240 7124 0 -1 4202560 5851 0 0 0 55 1 0 0 16 0 19 0 833204626 10805895168 921868 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 3 0 0 0
[pid=7240/tid=7246] ppid=7238 vsize=10552632 CPUtime=0.52 cores=1,3,5,7
/proc/7240/task/7246/stat : 7246 (java) S 7238 7240 7124 0 -1 4202560 7863 0 0 0 51 1 0 0 16 0 19 0 833204626 10805895168 921868 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 1 0 0 0
[pid=7240/tid=7247] ppid=7238 vsize=10552632 CPUtime=0.53 cores=1,3,5,7
/proc/7240/task/7247/stat : 7247 (java) S 7238 7240 7124 0 -1 4202560 6733 0 0 0 53 0 0 0 15 0 19 0 833204626 10805895168 921868 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 1 0 0 0
[pid=7240/tid=7248] ppid=7238 vsize=10552632 CPUtime=0.54 cores=1,3,5,7
/proc/7240/task/7248/stat : 7248 (java) S 7238 7240 7124 0 -1 4202560 8331 0 0 0 53 1 0 0 15 0 19 0 833204626 10805895168 921868 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 1 0 0 0
[pid=7240/tid=7249] ppid=7238 vsize=10552632 CPUtime=0.71 cores=1,3,5,7
/proc/7240/task/7249/stat : 7249 (java) S 7238 7240 7124 0 -1 4202560 13419 0 0 0 69 2 0 0 15 0 19 0 833204626 10805895168 921868 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 1 0 0 0
[pid=7240/tid=7250] ppid=7238 vsize=10552632 CPUtime=0.62 cores=1,3,5,7
/proc/7240/task/7250/stat : 7250 (java) S 7238 7240 7124 0 -1 4202560 11634 0 0 0 61 1 0 0 16 0 19 0 833204626 10805895168 921868 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 5 0 0 0
[pid=7240/tid=7251] ppid=7238 vsize=10552632 CPUtime=0.99 cores=1,3,5,7
/proc/7240/task/7251/stat : 7251 (java) S 7238 7240 7124 0 -1 4202560 5935 0 0 0 98 1 0 0 15 0 19 0 833204627 10805895168 921868 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650752 0 0 0 16800975 18446604466879721920 0 0 -1 1 0 0 0
[pid=7240/tid=7252] ppid=7238 vsize=10552632 CPUtime=0 cores=1,3,5,7
/proc/7240/task/7252/stat : 7252 (java) S 7238 7240 7124 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833204628 10805895168 921868 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 3 0 0 0
[pid=7240/tid=7253] ppid=7238 vsize=10552632 CPUtime=0 cores=1,3,5,7
/proc/7240/task/7253/stat : 7253 (java) S 7238 7240 7124 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833204628 10805895168 921868 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 3 0 0 0
[pid=7240/tid=7254] ppid=7238 vsize=10552632 CPUtime=0 cores=1,3,5,7
/proc/7240/task/7254/stat : 7254 (java) S 7238 7240 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833204630 10805895168 921868 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528657841 0 4 0 16800975 18446604466879721920 0 0 -1 3 0 0 0
[pid=7240/tid=7255] ppid=7238 vsize=10552632 CPUtime=0.79 cores=1,3,5,7
/proc/7240/task/7255/stat : 7255 (java) S 7238 7240 7124 0 -1 4202560 5877 0 0 0 79 0 0 0 15 0 19 0 833204630 10805895168 921868 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 5 0 0 0
[pid=7240/tid=7256] ppid=7238 vsize=10552632 CPUtime=0.71 cores=1,3,5,7
/proc/7240/task/7256/stat : 7256 (java) S 7238 7240 7124 0 -1 4202560 5642 0 0 0 70 1 0 0 15 0 19 0 833204630 10805895168 921868 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 7 0 0 0
[pid=7240/tid=7257] ppid=7238 vsize=10552632 CPUtime=0 cores=1,3,5,7
/proc/7240/task/7257/stat : 7257 (java) S 7238 7240 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833204630 10805895168 921868 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 3 0 0 0
[pid=7240/tid=7258] ppid=7238 vsize=10552632 CPUtime=0 cores=1,3,5,7
/proc/7240/task/7258/stat : 7258 (java) S 7238 7240 7124 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 833204630 10805895168 921868 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650752 0 4 0 16800975 18446604466879721920 0 0 -1 3 0 0 0
[pid=7240/tid=7259] ppid=7238 vsize=10552632 CPUtime=0 cores=1,3,5,7
/proc/7240/task/7259/stat : 7259 (java) S 7238 7240 7124 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833204654 10805895168 921868 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650752 0 4 0 16800975 18446604466879721920 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1786.98
Current children cumulated vsize (KiB) 10552632
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.3 s]
/proc/loadavg: 2.14 2.06 1.78 3/461 7419
/proc/meminfo: memFree=18390080/32951124 swapFree=44043516/67111528
[pid=7240] ppid=7238 vsize=10552632 CPUtime=1800.02 cores=1,3,5,7
/proc/7240/stat : 7240 (java) S 7238 7240 7124 0 -1 4202496 927296 0 1 0 179894 108 0 0 25 0 19 0 833204623 10805895168 921881 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528636901 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/7240/statm: 2638158 921881 2256 9 0 2628892 0
[pid=7240/tid=7241] ppid=7238 vsize=10552632 CPUtime=1792.6 cores=1,3,5,7
/proc/7240/task/7241/stat : 7241 (java) R 7238 7240 7124 0 -1 4202560 836443 0 1 0 179168 92 0 0 25 0 19 0 833204624 10805895168 921881 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 46912505927973 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=7240/tid=7243] ppid=7238 vsize=10552632 CPUtime=0.56 cores=1,3,5,7
/proc/7240/task/7243/stat : 7243 (java) S 7238 7240 7124 0 -1 4202560 7528 0 0 0 56 0 0 0 15 0 19 0 833204626 10805895168 921881 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 3 0 0 0
[pid=7240/tid=7244] ppid=7238 vsize=10552632 CPUtime=0.73 cores=1,3,5,7
/proc/7240/task/7244/stat : 7244 (java) S 7238 7240 7124 0 -1 4202560 10776 0 0 0 72 1 0 0 16 0 19 0 833204626 10805895168 921881 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 7 0 0 0
[pid=7240/tid=7245] ppid=7238 vsize=10552632 CPUtime=0.56 cores=1,3,5,7
/proc/7240/task/7245/stat : 7245 (java) S 7238 7240 7124 0 -1 4202560 5851 0 0 0 55 1 0 0 15 0 19 0 833204626 10805895168 921881 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 3 0 0 0
[pid=7240/tid=7246] ppid=7238 vsize=10552632 CPUtime=0.52 cores=1,3,5,7
/proc/7240/task/7246/stat : 7246 (java) S 7238 7240 7124 0 -1 4202560 7863 0 0 0 51 1 0 0 16 0 19 0 833204626 10805895168 921881 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 1 0 0 0
[pid=7240/tid=7247] ppid=7238 vsize=10552632 CPUtime=0.54 cores=1,3,5,7
/proc/7240/task/7247/stat : 7247 (java) S 7238 7240 7124 0 -1 4202560 6736 0 0 0 54 0 0 0 16 0 19 0 833204626 10805895168 921881 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 1 0 0 0
[pid=7240/tid=7248] ppid=7238 vsize=10552632 CPUtime=0.55 cores=1,3,5,7
/proc/7240/task/7248/stat : 7248 (java) S 7238 7240 7124 0 -1 4202560 8337 0 0 0 54 1 0 0 16 0 19 0 833204626 10805895168 921881 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 3 0 0 0
[pid=7240/tid=7249] ppid=7238 vsize=10552632 CPUtime=0.71 cores=1,3,5,7
/proc/7240/task/7249/stat : 7249 (java) S 7238 7240 7124 0 -1 4202560 13419 0 0 0 69 2 0 0 15 0 19 0 833204626 10805895168 921881 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 1 0 0 0
[pid=7240/tid=7250] ppid=7238 vsize=10552632 CPUtime=0.62 cores=1,3,5,7
/proc/7240/task/7250/stat : 7250 (java) S 7238 7240 7124 0 -1 4202560 11634 0 0 0 61 1 0 0 15 0 19 0 833204626 10805895168 921881 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 5 0 0 0
[pid=7240/tid=7251] ppid=7238 vsize=10552632 CPUtime=0.99 cores=1,3,5,7
/proc/7240/task/7251/stat : 7251 (java) S 7238 7240 7124 0 -1 4202560 5937 0 0 0 98 1 0 0 15 0 19 0 833204627 10805895168 921881 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650752 0 0 0 16800975 18446604466879721920 0 0 -1 5 0 0 0
[pid=7240/tid=7252] ppid=7238 vsize=10552632 CPUtime=0 cores=1,3,5,7
/proc/7240/task/7252/stat : 7252 (java) S 7238 7240 7124 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 833204628 10805895168 921881 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 3 0 0 0
[pid=7240/tid=7253] ppid=7238 vsize=10552632 CPUtime=0 cores=1,3,5,7
/proc/7240/task/7253/stat : 7253 (java) S 7238 7240 7124 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 833204628 10805895168 921881 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 3 0 0 0
[pid=7240/tid=7254] ppid=7238 vsize=10552632 CPUtime=0 cores=1,3,5,7
/proc/7240/task/7254/stat : 7254 (java) S 7238 7240 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833204630 10805895168 921881 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528657841 0 4 0 16800975 18446604466879721920 0 0 -1 3 0 0 0
[pid=7240/tid=7255] ppid=7238 vsize=10552632 CPUtime=0.79 cores=1,3,5,7
/proc/7240/task/7255/stat : 7255 (java) S 7238 7240 7124 0 -1 4202560 5877 0 0 0 79 0 0 0 15 0 19 0 833204630 10805895168 921881 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 5 0 0 0
[pid=7240/tid=7256] ppid=7238 vsize=10552632 CPUtime=0.71 cores=1,3,5,7
/proc/7240/task/7256/stat : 7256 (java) S 7238 7240 7124 0 -1 4202560 5642 0 0 0 70 1 0 0 15 0 19 0 833204630 10805895168 921881 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 7 0 0 0
[pid=7240/tid=7257] ppid=7238 vsize=10552632 CPUtime=0 cores=1,3,5,7
/proc/7240/task/7257/stat : 7257 (java) S 7238 7240 7124 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 833204630 10805895168 921881 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650137 0 4 0 16800975 18446604466879721920 0 0 -1 3 0 0 0
[pid=7240/tid=7258] ppid=7238 vsize=10552632 CPUtime=0 cores=1,3,5,7
/proc/7240/task/7258/stat : 7258 (java) S 7238 7240 7124 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 833204630 10805895168 921881 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650752 0 4 0 16800975 18446604466879721920 0 0 -1 3 0 0 0
[pid=7240/tid=7259] ppid=7238 vsize=10552632 CPUtime=0 cores=1,3,5,7
/proc/7240/task/7259/stat : 7259 (java) S 7238 7240 7124 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 833204654 10805895168 921881 33554432000 1073741824 1073778376 140736544517952 18446744073709551615 246528650752 0 4 0 16800975 18446604466879721920 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 10552632
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1795.42 s]
/proc/loadavg: 2.14 2.06 1.78 3/461 7419
/proc/meminfo: memFree=18390080/32951124 swapFree=44043516/67111528
[pid=7240] ppid=7238 vsize=0 CPUtime=1800.14 cores=1,3,5,7
/proc/7240/stat : 7240 (java) Z 7238 7240 7124 0 -1 4203548 927333 0 1 0 179899 115 0 0 17 0 2 0 833204623 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/7240/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1795.49
CPU time (s): 1800.22
CPU user time (s): 1799
CPU system time (s): 1.22481
CPU usage (%): 100.264
Max. virtual memory (cumulated for all children) (KiB): 10552632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799
system time used= 1.22481
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 927333
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40401
involuntary context switches= 27415
runsolver used 7.31089 second user time and 17.4443 second system time
The end