runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4245705-1500706617/watcher-4245705-1500706617 -o /tmp/evaluation-result-4245705-1500706617/solver-4245705-1500706617 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node138-1500684099-14650 --watchdog 2560 bin/concrete HOME/instance-4245705-1500706617.xml
pid=20808
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.32 1.55 1.53 2/261 20811
/proc/meminfo: memFree=30784388/32770624 swapFree=5940/267340
[pid=20811] ppid=20808 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20811/stat : 20811 (bash) S 20808 20811 14618 0 -1 4202496 685 1534 0 0 0 0 0 0 20 0 1 0 5928566 9736192 350 33554432000 4194304 5098028 140728468537328 140728468534968 140702515579904 0 0 4100 65536 18446744071580971376 0 0 17 9 0 0 0 0 0 7196144 7232144 15298560 140728468538638 140728468538723 140728468538723 140728468541422 0
/proc/20811/statm: 2377 350 278 221 0 86 0
[startup+0.100152 s]
/proc/loadavg: 1.32 1.55 1.53 2/261 20811
/proc/meminfo: memFree=30784388/32770624 swapFree=5940/267340
[pid=20811] ppid=20808 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/20811/stat : 20811 (bash) S 20808 20811 14618 0 -1 4202496 879 6424 0 0 0 0 0 1 20 0 1 0 5928566 9871360 377 33554432000 4194304 5098028 140728468537328 140728468531336 140702515579904 0 0 4100 65536 18446744071580971376 0 0 17 9 0 0 0 0 0 7196144 7232144 15298560 140728468538638 140728468538723 140728468538723 140728468541422 0
/proc/20811/statm: 2410 377 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640
[startup+0.200409 s]
/proc/loadavg: 1.32 1.55 1.53 2/261 20811
/proc/meminfo: memFree=30784388/32770624 swapFree=5940/267340
[pid=20811] ppid=20808 vsize=10435860 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/20811/stat : 20811 (java) S 20808 20811 14618 0 -1 1077944320 5110 12630 0 0 6 1 9 3 20 0 13 0 5928566 10686320640 4967 33554432000 4194304 4196468 140721193458464 140721193441008 140156483534583 0 0 0 16800971 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
/proc/20811/statm: 2608965 4967 2167 1 0 2597403 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10435860
[startup+0.300388 s]
/proc/loadavg: 1.32 1.55 1.53 2/261 20811
/proc/meminfo: memFree=30784388/32770624 swapFree=5940/267340
[pid=20811] ppid=20808 vsize=10902292 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/20811/stat : 20811 (java) S 20808 20811 14618 0 -1 1077944320 8451 12630 0 0 22 3 9 3 20 0 20 0 5928566 11163947008 9497 33554432000 4194304 4196468 140721193458464 140721193441008 140156483534583 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
/proc/20811/statm: 2725573 9497 2961 1 0 2713890 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 10902292
[startup+0.700179 s]
/proc/loadavg: 1.32 1.55 1.53 2/261 20811
/proc/meminfo: memFree=30784388/32770624 swapFree=5940/267340
[pid=20811] ppid=20808 vsize=10902720 CPUtime=0.93 cores=1,3,5,7,9,11,13,15
/proc/20811/stat : 20811 (java) S 20808 20811 14618 0 -1 1077944320 12625 12630 0 0 77 4 9 3 20 0 20 0 5928566 11164385280 15985 33554432000 4194304 4196468 140721193458464 140721193441008 140156483534583 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
/proc/20811/statm: 2725680 15985 3191 1 0 2713890 0
Current children cumulated CPU time (s) 0.93
Current children cumulated vsize (KiB) 10902720
[startup+1.50149 s]
/proc/loadavg: 1.32 1.55 1.53 4/281 20884
/proc/meminfo: memFree=30681436/32770624 swapFree=5940/267448
[pid=20811] ppid=20808 vsize=10913344 CPUtime=2.23 cores=1,3,5,7,9,11,13,15
/proc/20811/stat : 20811 (java) S 20808 20811 14618 0 -1 1077944320 26685 12630 0 0 198 13 9 3 20 0 20 0 5928566 11175264256 44583 33554432000 4194304 4196468 140721193458464 140721193441008 140156483534583 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
/proc/20811/statm: 2728336 44583 3392 1 0 2716450 0
[pid=20811/tid=20866] ppid=20808 vsize=10913344 CPUtime=1.43 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20866/stat : 20866 (java) S 20808 20811 14618 0 -1 1077944384 19735 12630 0 0 125 6 9 3 20 0 20 0 5928579 11175264256 44583 33554432000 4194304 4196468 140721193458464 140156487756976 140156483544789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20867] ppid=20808 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20867/stat : 20867 (java) R 20808 20811 14618 0 -1 4202560 34 12630 0 0 0 0 9 3 20 0 20 0 5928579 11175264256 44583 33554432000 4194304 4196468 140721193458464 140156409608976 140156476631300 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20868] ppid=20808 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20868/stat : 20868 (java) R 20808 20811 14618 0 -1 4202560 143 12630 0 0 0 0 9 3 20 0 20 0 5928579 11175264256 44583 33554432000 4194304 4196468 140721193458464 140156408556432 140156476162791 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20869] ppid=20808 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20869/stat : 20869 (java) R 20808 20811 14618 0 -1 4202560 41 12630 0 0 1 0 9 3 20 0 20 0 5928579 11175264256 44583 33554432000 4194304 4196468 140721193458464 140156407503888 140156468235245 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20870] ppid=20808 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20870/stat : 20870 (java) R 20808 20811 14618 0 -1 4202560 19 12630 0 0 0 0 9 3 20 0 20 0 5928579 11175264256 44583 33554432000 4194304 4196468 140721193458464 140156406451344 140156476162791 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20871] ppid=20808 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20871/stat : 20871 (java) R 20808 20811 14618 0 -1 4202560 44 12630 0 0 0 0 9 3 20 0 20 0 5928579 11175264256 44583 33554432000 4194304 4196468 140721193458464 140156405397896 140156476162791 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20872] ppid=20808 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20872/stat : 20872 (java) R 20808 20811 14618 0 -1 4202560 14 12630 0 0 0 0 9 3 20 0 20 0 5928579 11175264256 44583 33554432000 4194304 4196468 140721193458464 140156404345232 140156476162791 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20873] ppid=20808 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20873/stat : 20873 (java) R 20808 20811 14618 0 -1 4202560 14 12630 0 0 0 0 9 3 20 0 20 0 5928580 11175264256 44583 33554432000 4194304 4196468 140721193458464 140156403292688 140156468235206 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20874] ppid=20808 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20874/stat : 20874 (java) R 20808 20811 14618 0 -1 4202560 14 12630 0 0 1 0 9 3 20 0 20 0 5928580 11175264256 44583 33554432000 4194304 4196468 140721193458464 140156402240144 140156476638235 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20875] ppid=20808 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20875/stat : 20875 (java) S 20808 20811 14618 0 -1 1077944384 662 12630 0 0 1 0 9 3 20 0 20 0 5928582 11175264256 44583 33554432000 4194304 4196468 140721193458464 140155958117408 140156483544789 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20876] ppid=20808 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20876/stat : 20876 (java) S 20808 20811 14618 0 -1 1077944384 33 12630 0 0 0 0 9 3 20 0 20 0 5928583 11175264256 44583 33554432000 4194304 4196468 140721193458464 140155957065120 140156483544789 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20877] ppid=20808 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20877/stat : 20877 (java) S 20808 20811 14618 0 -1 1077944384 21 12630 0 0 0 0 9 3 20 0 20 0 5928583 11175264256 44583 33554432000 4194304 4196468 140721193458464 140155956012528 140156483544789 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20878] ppid=20808 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20878/stat : 20878 (java) S 20808 20811 14618 0 -1 1077944384 1 12630 0 0 0 0 9 3 20 0 20 0 5928587 11175264256 44583 33554432000 4194304 4196468 140721193458464 140155954961104 140156483553179 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20879] ppid=20808 vsize=10913344 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20879/stat : 20879 (java) S 20808 20811 14618 0 -1 1077944384 666 12630 0 0 10 0 9 3 20 0 20 0 5928587 11175264256 44583 33554432000 4194304 4196468 140721193458464 140155953907696 140156483545730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20880] ppid=20808 vsize=10913344 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20880/stat : 20880 (java) S 20808 20811 14618 0 -1 1077944384 731 12630 0 0 12 0 9 3 20 0 20 0 5928587 11175264256 44583 33554432000 4194304 4196468 140721193458464 140155952855152 140156483545730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20881] ppid=20808 vsize=10913344 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20881/stat : 20881 (java) S 20808 20811 14618 0 -1 1077944384 1336 12630 0 0 15 0 9 3 20 0 20 0 5928587 11175264256 44583 33554432000 4194304 4196468 140721193458464 140155951802608 140156483545730 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20882] ppid=20808 vsize=10913344 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20882/stat : 20882 (java) S 20808 20811 14618 0 -1 1077944384 1039 12630 0 0 24 0 9 3 20 0 20 0 5928587 11175264256 44583 33554432000 4194304 4196468 140721193458464 140155950745936 140156483544789 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20883] ppid=20808 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20883/stat : 20883 (java) S 20808 20811 14618 0 -1 1077944384 3 12630 0 0 0 0 9 3 20 0 20 0 5928587 11175264256 44583 33554432000 4194304 4196468 140721193458464 140155949697760 140156483544789 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20884] ppid=20808 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20884/stat : 20884 (java) S 20808 20811 14618 0 -1 1077944384 6 12630 0 0 0 0 9 3 20 0 20 0 5928588 11175264256 44583 33554432000 4194304 4196468 140721193458464 140155948645296 140156483545730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
Current children cumulated CPU time (s) 2.23
Current children cumulated vsize (KiB) 10913344
[startup+3.10119 s]
/proc/loadavg: 1.29 1.54 1.52 4/281 20884
/proc/meminfo: memFree=30605812/32770624 swapFree=5940/267448
[pid=20811] ppid=20808 vsize=10925820 CPUtime=6.08 cores=1,3,5,7,9,11,13,15
/proc/20811/stat : 20811 (java) S 20808 20811 14618 0 -1 1077944320 47543 12630 0 0 576 20 9 3 20 0 20 0 5928566 11188039680 54475 33554432000 4194304 4196468 140721193458464 140721193441008 140156483534583 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
/proc/20811/statm: 2731455 54475 3472 1 0 2719010 0
[pid=20811/tid=20866] ppid=20808 vsize=10925820 CPUtime=3.03 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20866/stat : 20866 (java) R 20808 20811 14618 0 -1 4202560 33101 12630 0 0 282 9 9 3 20 0 20 0 5928579 11188039680 54475 33554432000 4194304 4196468 140721193458464 140156487763816 140156483546518 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20867] ppid=20808 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20867/stat : 20867 (java) S 20808 20811 14618 0 -1 1077944384 34 12630 0 0 0 0 9 3 20 0 20 0 5928579 11188039680 54475 33554432000 4194304 4196468 140721193458464 140156409608976 140156483544789 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20868] ppid=20808 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20868/stat : 20868 (java) S 20808 20811 14618 0 -1 1077944384 143 12630 0 0 0 0 9 3 20 0 20 0 5928579 11188039680 54475 33554432000 4194304 4196468 140721193458464 140156408556432 140156483544789 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20869] ppid=20808 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20869/stat : 20869 (java) S 20808 20811 14618 0 -1 1077944384 41 12630 0 0 1 0 9 3 20 0 20 0 5928579 11188039680 54475 33554432000 4194304 4196468 140721193458464 140156407503888 140156483544789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20870] ppid=20808 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20870/stat : 20870 (java) S 20808 20811 14618 0 -1 1077944384 19 12630 0 0 0 0 9 3 20 0 20 0 5928579 11188039680 54475 33554432000 4194304 4196468 140721193458464 140156406451344 140156483544789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20871] ppid=20808 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20871/stat : 20871 (java) S 20808 20811 14618 0 -1 1077944384 44 12630 0 0 0 0 9 3 20 0 20 0 5928579 11188039680 54475 33554432000 4194304 4196468 140721193458464 140156405397776 140156483544789 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20872] ppid=20808 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20872/stat : 20872 (java) S 20808 20811 14618 0 -1 1077944384 14 12630 0 0 0 0 9 3 20 0 20 0 5928579 11188039680 54475 33554432000 4194304 4196468 140721193458464 140156404345232 140156483544789 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20873] ppid=20808 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20873/stat : 20873 (java) S 20808 20811 14618 0 -1 1077944384 14 12630 0 0 0 0 9 3 20 0 20 0 5928580 11188039680 54475 33554432000 4194304 4196468 140721193458464 140156403292688 140156483544789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20874] ppid=20808 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20874/stat : 20874 (java) S 20808 20811 14618 0 -1 1077944384 14 12630 0 0 1 0 9 3 20 0 20 0 5928580 11188039680 54475 33554432000 4194304 4196468 140721193458464 140156402240144 140156483544789 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20875] ppid=20808 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20875/stat : 20875 (java) S 20808 20811 14618 0 -1 1077944384 682 12630 0 0 1 0 9 3 20 0 20 0 5928582 11188039680 54475 33554432000 4194304 4196468 140721193458464 140155958118896 140156483545730 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20876] ppid=20808 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20876/stat : 20876 (java) S 20808 20811 14618 0 -1 1077944384 56 12630 0 0 0 0 9 3 20 0 20 0 5928583 11188039680 54475 33554432000 4194304 4196468 140721193458464 140155957065120 140156483544789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20877] ppid=20808 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20877/stat : 20877 (java) S 20808 20811 14618 0 -1 1077944384 43 12630 0 0 0 0 9 3 20 0 20 0 5928583 11188039680 54475 33554432000 4194304 4196468 140721193458464 140155956012528 140156483544789 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20878] ppid=20808 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20878/stat : 20878 (java) S 20808 20811 14618 0 -1 1077944384 1 12630 0 0 0 0 9 3 20 0 20 0 5928587 11188039680 54475 33554432000 4194304 4196468 140721193458464 140155954961104 140156483553179 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20879] ppid=20808 vsize=10925820 CPUtime=0.62 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20879/stat : 20879 (java) S 20808 20811 14618 0 -1 1077944384 2157 12630 0 0 49 1 9 3 20 0 20 0 5928587 11188039680 54475 33554432000 4194304 4196468 140721193458464 140155953907696 140156483545730 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20880] ppid=20808 vsize=10925820 CPUtime=0.95 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20880/stat : 20880 (java) S 20808 20811 14618 0 -1 1077944384 3768 12630 0 0 82 1 9 3 20 0 20 0 5928587 11188039680 54475 33554432000 4194304 4196468 140721193458464 140155952855152 140156483545730 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20881] ppid=20808 vsize=10925820 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20881/stat : 20881 (java) S 20808 20811 14618 0 -1 1077944384 1960 12630 0 0 54 1 9 3 20 0 20 0 5928587 11188039680 54475 33554432000 4194304 4196468 140721193458464 140155951802608 140156483545730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20882] ppid=20808 vsize=10925820 CPUtime=1.08 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20882/stat : 20882 (java) R 20808 20811 14618 0 -1 4202560 3311 12630 0 0 95 1 9 3 20 0 20 0 5928587 11188039680 54475 33554432000 4194304 4196468 140721193458464 140155950745104 140156462056016 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20883] ppid=20808 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20883/stat : 20883 (java) S 20808 20811 14618 0 -1 1077944384 3 12630 0 0 0 0 9 3 20 0 20 0 5928587 11188039680 54475 33554432000 4194304 4196468 140721193458464 140155949697760 140156483544789 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20884] ppid=20808 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20884/stat : 20884 (java) S 20808 20811 14618 0 -1 1077944384 9 12630 0 0 0 0 9 3 20 0 20 0 5928588 11188039680 54475 33554432000 4194304 4196468 140721193458464 140155948645296 140156483545730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 10925820
[startup+6.30103 s]
/proc/loadavg: 1.29 1.54 1.52 5/281 20884
/proc/meminfo: memFree=30370340/32770624 swapFree=5940/267444
[pid=20811] ppid=20808 vsize=10997500 CPUtime=18.83 cores=1,3,5,7,9,11,13,15
/proc/20811/stat : 20811 (java) S 20808 20811 14618 0 -1 1077944320 66447 12630 0 0 1831 40 9 3 20 0 20 0 5928566 11261440000 123617 33554432000 4194304 4196468 140721193458464 140721193441008 140156483534583 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
/proc/20811/statm: 2749375 123617 3517 1 0 2736930 0
[pid=20811/tid=20866] ppid=20808 vsize=10997500 CPUtime=5.8 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20866/stat : 20866 (java) R 20808 20811 14618 0 -1 4202560 42659 12630 0 0 554 14 9 3 20 0 20 0 5928579 11261440000 123617 33554432000 4194304 4196468 140721193458464 140156487763104 140156090654556 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20867] ppid=20808 vsize=10997500 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20867/stat : 20867 (java) S 20808 20811 14618 0 -1 1077944384 183 12630 0 0 25 2 9 3 20 0 20 0 5928579 11261440000 123617 33554432000 4194304 4196468 140721193458464 140156409608976 140156483544789 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20868] ppid=20808 vsize=10997500 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20868/stat : 20868 (java) S 20808 20811 14618 0 -1 1077944384 226 12630 0 0 25 2 9 3 20 0 20 0 5928579 11261440000 123617 33554432000 4194304 4196468 140721193458464 140156408556432 140156483544789 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20869] ppid=20808 vsize=10997500 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20869/stat : 20869 (java) S 20808 20811 14618 0 -1 1077944384 66 12630 0 0 25 1 9 3 20 0 20 0 5928579 11261440000 123617 33554432000 4194304 4196468 140721193458464 140156407503888 140156483544789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20870] ppid=20808 vsize=10997500 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20870/stat : 20870 (java) S 20808 20811 14618 0 -1 1077944384 157 12630 0 0 24 2 9 3 20 0 20 0 5928579 11261440000 123617 33554432000 4194304 4196468 140721193458464 140156406451344 140156483544789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20871] ppid=20808 vsize=10997500 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20871/stat : 20871 (java) S 20808 20811 14618 0 -1 1077944384 116 12630 0 0 25 2 9 3 20 0 20 0 5928579 11261440000 123617 33554432000 4194304 4196468 140721193458464 140156405397776 140156483544789 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20872] ppid=20808 vsize=10997500 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20872/stat : 20872 (java) S 20808 20811 14618 0 -1 1077944384 110 12630 0 0 25 2 9 3 20 0 20 0 5928579 11261440000 123617 33554432000 4194304 4196468 140721193458464 140156404345232 140156483544789 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20873] ppid=20808 vsize=10997500 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20873/stat : 20873 (java) S 20808 20811 14618 0 -1 1077944384 109 12630 0 0 26 1 9 3 20 0 20 0 5928580 11261440000 123617 33554432000 4194304 4196468 140721193458464 140156403292688 140156483544789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20874] ppid=20808 vsize=10997500 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20874/stat : 20874 (java) S 20808 20811 14618 0 -1 1077944384 156 12630 0 0 26 1 9 3 20 0 20 0 5928580 11261440000 123617 33554432000 4194304 4196468 140721193458464 140156402240144 140156483544789 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20875] ppid=20808 vsize=10997500 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20875/stat : 20875 (java) S 20808 20811 14618 0 -1 1077944384 1592 12630 0 0 13 0 9 3 20 0 20 0 5928582 11261440000 123617 33554432000 4194304 4196468 140721193458464 140155958118896 140156483545730 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20876] ppid=20808 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20876/stat : 20876 (java) S 20808 20811 14618 0 -1 1077944384 57 12630 0 0 0 0 9 3 20 0 20 0 5928583 11261440000 123617 33554432000 4194304 4196468 140721193458464 140155957065184 140156483544789 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20877] ppid=20808 vsize=10997500 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20877/stat : 20877 (java) S 20808 20811 14618 0 -1 1077944384 44 12630 0 0 1 0 9 3 20 0 20 0 5928583 11261440000 123617 33554432000 4194304 4196468 140721193458464 140155956012544 140156483544789 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20878] ppid=20808 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20878/stat : 20878 (java) S 20808 20811 14618 0 -1 1077944384 1 12630 0 0 0 0 9 3 20 0 20 0 5928587 11261440000 123617 33554432000 4194304 4196468 140721193458464 140155954961104 140156483553179 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20879] ppid=20808 vsize=10997500 CPUtime=2.79 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20879/stat : 20879 (java) R 20808 20811 14618 0 -1 4202560 3483 12630 0 0 265 2 9 3 20 0 20 0 5928587 11261440000 123617 33554432000 4194304 4196468 140721193458464 140155953907992 140156468660594 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20880] ppid=20808 vsize=10997500 CPUtime=3.33 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20880/stat : 20880 (java) S 20808 20811 14618 0 -1 1077944384 7049 12630 0 0 320 1 9 3 20 0 20 0 5928587 11261440000 123617 33554432000 4194304 4196468 140721193458464 140155952855152 140156483545730 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20881] ppid=20808 vsize=10997500 CPUtime=2.89 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20881/stat : 20881 (java) S 20808 20811 14618 0 -1 1077944384 3450 12630 0 0 276 1 9 3 20 0 20 0 5928587 11261440000 123617 33554432000 4194304 4196468 140721193458464 140155951802608 140156483545730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20882] ppid=20808 vsize=10997500 CPUtime=2.07 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20882/stat : 20882 (java) S 20808 20811 14618 0 -1 1077944384 4847 12630 0 0 192 3 9 3 20 0 20 0 5928587 11261440000 123617 33554432000 4194304 4196468 140721193458464 140155950750064 140156483545730 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20883] ppid=20808 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
[pid=20811/tid=20880] ppid=20808 vsize=10997500 CPUtime=8.67 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20880/stat : 20880 (java) S 20808 20811 14618 0 -1 1077944384 50781 12630 0 0 847 8 9 3 20 0 20 0 5928587 11261440000 798256 33554432000 4194304 4196468 140721193458464 140155952855152 140156483545730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20881] ppid=20808 vsize=10997500 CPUtime=8.5 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20881/stat : 20881 (java) S 20808 20811 14618 0 -1 1077944384 39151 12630 0 0 830 8 9 3 20 0 20 0 5928587 11261440000 798256 33554432000 4194304 4196468 140721193458464 140155951802608 140156483545730 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20882] ppid=20808 vsize=10997500 CPUtime=4.53 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20882/stat : 20882 (java) S 20808 20811 14618 0 -1 1077944384 66920 12630 0 0 429 12 9 3 20 0 20 0 5928587 11261440000 798256 33554432000 4194304 4196468 140721193458464 140155950750064 140156483545730 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20883] ppid=20808 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20883/stat : 20883 (java) S 20808 20811 14618 0 -1 1077944384 3 12630 0 0 0 0 9 3 20 0 20 0 5928587 11261440000 798256 33554432000 4194304 4196468 140721193458464 140155949697760 140156483544789 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20884] ppid=20808 vsize=10997500 CPUtime=1.34 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20884/stat : 20884 (java) S 20808 20811 14618 0 -1 1077944384 1357 12630 0 0 59 63 9 3 20 0 20 0 5928588 11261440000 798256 33554432000 4194304 4196468 140721193458464 140155948645296 140156483545730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 16 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
Current children cumulated CPU time (s) 2337.75
Current children cumulated vsize (KiB) 10997500
[startup+2322.3 s]
/proc/loadavg: 1.77 1.70 1.64 3/281 22523
/proc/meminfo: memFree=25311072/32770624 swapFree=5940/270104
[pid=20811] ppid=20808 vsize=10997500 CPUtime=2398.29 cores=1,3,5,7,9,11,13,15
/proc/20811/stat : 20811 (java) S 20808 20811 14618 0 -1 1077944320 617495 12630 0 0 239074 743 9 3 20 0 20 0 5928566 11261440000 798272 33554432000 4194304 4196468 140721193458464 140721193441008 140156483534583 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
/proc/20811/statm: 2749375 798272 3520 1 0 2736930 0
[pid=20811/tid=20866] ppid=20808 vsize=10997500 CPUtime=2310.31 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20866/stat : 20866 (java) R 20808 20811 14618 0 -1 4202560 284637 12630 0 0 230916 103 9 3 20 0 20 0 5928579 11261440000 798272 33554432000 4194304 4196468 140721193458464 140156487768000 140156074271914 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20867] ppid=20808 vsize=10997500 CPUtime=6.92 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20867/stat : 20867 (java) S 20808 20811 14618 0 -1 1077944384 11911 12630 0 0 613 67 9 3 20 0 20 0 5928579 11261440000 798272 33554432000 4194304 4196468 140721193458464 140156409608976 140156483544789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20868] ppid=20808 vsize=10997500 CPUtime=6.93 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20868/stat : 20868 (java) S 20808 20811 14618 0 -1 1077944384 14763 12630 0 0 616 65 9 3 20 0 20 0 5928579 11261440000 798272 33554432000 4194304 4196468 140721193458464 140156408556432 140156483544789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20869] ppid=20808 vsize=10997500 CPUtime=6.95 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20869/stat : 20869 (java) S 20808 20811 14618 0 -1 1077944384 7182 12630 0 0 618 65 9 3 20 0 20 0 5928579 11261440000 798272 33554432000 4194304 4196468 140721193458464 140156407503888 140156483544789 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20870] ppid=20808 vsize=10997500 CPUtime=6.86 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20870/stat : 20870 (java) S 20808 20811 14618 0 -1 1077944384 12784 12630 0 0 607 67 9 3 20 0 20 0 5928579 11261440000 798272 33554432000 4194304 4196468 140721193458464 140156406451344 140156483544789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20871] ppid=20808 vsize=10997500 CPUtime=6.92 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20871/stat : 20871 (java) S 20808 20811 14618 0 -1 1077944384 14988 12630 0 0 613 67 9 3 20 0 20 0 5928579 11261440000 798272 33554432000 4194304 4196468 140721193458464 140156405397776 140156483544789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20872] ppid=20808 vsize=10997500 CPUtime=7.06 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20872/stat : 20872 (java) S 20808 20811 14618 0 -1 1077944384 14090 12630 0 0 628 66 9 3 20 0 20 0 5928579 11261440000 798272 33554432000 4194304 4196468 140721193458464 140156404345232 140156483544789 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20873] ppid=20808 vsize=10997500 CPUtime=6.79 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20873/stat : 20873 (java) S 20808 20811 14618 0 -1 1077944384 12887 12630 0 0 603 64 9 3 20 0 20 0 5928580 11261440000 798272 33554432000 4194304 4196468 140721193458464 140156403292688 140156483544789 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20874] ppid=20808 vsize=10997500 CPUtime=6.9 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20874/stat : 20874 (java) S 20808 20811 14618 0 -1 1077944384 9628 12630 0 0 612 66 9 3 20 0 20 0 5928580 11261440000 798272 33554432000 4194304 4196468 140721193458464 140156402240144 140156483544789 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20875] ppid=20808 vsize=10997500 CPUtime=2.72 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20875/stat : 20875 (java) S 20808 20811 14618 0 -1 1077944384 25942 12630 0 0 216 44 9 3 20 0 20 0 5928582 11261440000 798272 33554432000 4194304 4196468 140721193458464 140155958118896 140156483545730 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20876] ppid=20808 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20876/stat : 20876 (java) S 20808 20811 14618 0 -1 1077944384 59 12630 0 0 0 0 9 3 20 0 20 0 5928583 11261440000 798272 33554432000 4194304 4196468 140721193458464 140155957065184 140156483544789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20877] ppid=20808 vsize=10997500 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20877/stat : 20877 (java) S 20808 20811 14618 0 -1 1077944384 44 12630 0 0 1 0 9 3 20 0 20 0 5928583 11261440000 798272 33554432000 4194304 4196468 140721193458464 140155956012544 140156483544789 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20878] ppid=20808 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20878/stat : 20878 (java) S 20808 20811 14618 0 -1 1077944384 1 12630 0 0 0 0 9 3 20 0 20 0 5928587 11261440000 798272 33554432000 4194304 4196468 140721193458464 140155954961104 140156483553179 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20879] ppid=20808 vsize=10997500 CPUtime=8.36 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20879/stat : 20879 (java) S 20808 20811 14618 0 -1 1077944384 45772 12630 0 0 815 9 9 3 20 0 20 0 5928587 11261440000 798272 33554432000 4194304 4196468 140721193458464 140155953907696 140156483545730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20880] ppid=20808 vsize=10997500 CPUtime=8.67 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20880/stat : 20880 (java) S 20808 20811 14618 0 -1 1077944384 50783 12630 0 0 847 8 9 3 20 0 20 0 5928587 11261440000 798272 33554432000 4194304 4196468 140721193458464 140155952855152 140156483545730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20881] ppid=20808 vsize=10997500 CPUtime=8.5 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20881/stat : 20881 (java) S 20808 20811 14618 0 -1 1077944384 39153 12630 0 0 830 8 9 3 20 0 20 0 5928587 11261440000 798272 33554432000 4194304 4196468 140721193458464 140155951802608 140156483545730 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20882] ppid=20808 vsize=10997500 CPUtime=4.54 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20882/stat : 20882 (java) S 20808 20811 14618 0 -1 1077944384 69359 12630 0 0 429 13 9 3 20 0 20 0 5928587 11261440000 798272 33554432000 4194304 4196468 140721193458464 140155950750064 140156483545730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20883] ppid=20808 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20883/stat : 20883 (java) S 20808 20811 14618 0 -1 1077944384 3 12630 0 0 0 0 9 3 20 0 20 0 5928587 11261440000 798272 33554432000 4194304 4196468 140721193458464 140155949697760 140156483544789 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20884] ppid=20808 vsize=10997500 CPUtime=1.37 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20884/stat : 20884 (java) S 20808 20811 14618 0 -1 1077944384 1380 12630 0 0 60 65 9 3 20 0 20 0 5928588 11261440000 798272 33554432000 4194304 4196468 140721193458464 140155948645296 140156483545730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 16 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
Current children cumulated CPU time (s) 2398.29
Current children cumulated vsize (KiB) 10997500
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2324.1 s]
/proc/loadavg: 1.78 1.71 1.64 3/281 22523
/proc/meminfo: memFree=25311072/32770624 swapFree=5940/270104
[pid=20811] ppid=20808 vsize=10997500 CPUtime=2400.09 cores=1,3,5,7,9,11,13,15
/proc/20811/stat : 20811 (java) S 20808 20811 14618 0 -1 1077944320 617623 12630 0 0 239254 743 9 3 20 0 20 0 5928566 11261440000 798272 33554432000 4194304 4196468 140721193458464 140721193441008 140156483534583 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
/proc/20811/statm: 2749375 798272 3520 1 0 2736930 0
[pid=20811/tid=20866] ppid=20808 vsize=10997500 CPUtime=2312.1 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20866/stat : 20866 (java) R 20808 20811 14618 0 -1 4202560 284765 12630 0 0 231095 103 9 3 20 0 20 0 5928579 11261440000 798272 33554432000 4194304 4196468 140721193458464 140156487768000 140156075054655 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20867] ppid=20808 vsize=10997500 CPUtime=6.92 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20867/stat : 20867 (java) S 20808 20811 14618 0 -1 1077944384 11911 12630 0 0 613 67 9 3 20 0 20 0 5928579 11261440000 798272 33554432000 4194304 4196468 140721193458464 140156409608976 140156483544789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20868] ppid=20808 vsize=10997500 CPUtime=6.93 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20868/stat : 20868 (java) S 20808 20811 14618 0 -1 1077944384 14763 12630 0 0 616 65 9 3 20 0 20 0 5928579 11261440000 798272 33554432000 4194304 4196468 140721193458464 140156408556432 140156483544789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20869] ppid=20808 vsize=10997500 CPUtime=6.95 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20869/stat : 20869 (java) S 20808 20811 14618 0 -1 1077944384 7182 12630 0 0 618 65 9 3 20 0 20 0 5928579 11261440000 798272 33554432000 4194304 4196468 140721193458464 140156407503888 140156483544789 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20870] ppid=20808 vsize=10997500 CPUtime=6.86 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20870/stat : 20870 (java) S 20808 20811 14618 0 -1 1077944384 12784 12630 0 0 607 67 9 3 20 0 20 0 5928579 11261440000 798272 33554432000 4194304 4196468 140721193458464 140156406451344 140156483544789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20871] ppid=20808 vsize=10997500 CPUtime=6.92 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20871/stat : 20871 (java) S 20808 20811 14618 0 -1 1077944384 14988 12630 0 0 613 67 9 3 20 0 20 0 5928579 11261440000 798272 33554432000 4194304 4196468 140721193458464 140156405397776 140156483544789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20872] ppid=20808 vsize=10997500 CPUtime=7.06 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20872/stat : 20872 (java) S 20808 20811 14618 0 -1 1077944384 14090 12630 0 0 628 66 9 3 20 0 20 0 5928579 11261440000 798272 33554432000 4194304 4196468 140721193458464 140156404345232 140156483544789 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20873] ppid=20808 vsize=10997500 CPUtime=6.79 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20873/stat : 20873 (java) S 20808 20811 14618 0 -1 1077944384 12887 12630 0 0 603 64 9 3 20 0 20 0 5928580 11261440000 798272 33554432000 4194304 4196468 140721193458464 140156403292688 140156483544789 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20874] ppid=20808 vsize=10997500 CPUtime=6.9 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20874/stat : 20874 (java) S 20808 20811 14618 0 -1 1077944384 9628 12630 0 0 612 66 9 3 20 0 20 0 5928580 11261440000 798272 33554432000 4194304 4196468 140721193458464 140156402240144 140156483544789 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20875] ppid=20808 vsize=10997500 CPUtime=2.72 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20875/stat : 20875 (java) S 20808 20811 14618 0 -1 1077944384 25942 12630 0 0 216 44 9 3 20 0 20 0 5928582 11261440000 798272 33554432000 4194304 4196468 140721193458464 140155958118896 140156483545730 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20876] ppid=20808 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20876/stat : 20876 (java) S 20808 20811 14618 0 -1 1077944384 59 12630 0 0 0 0 9 3 20 0 20 0 5928583 11261440000 798272 33554432000 4194304 4196468 140721193458464 140155957065184 140156483544789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20877] ppid=20808 vsize=10997500 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20877/stat : 20877 (java) S 20808 20811 14618 0 -1 1077944384 44 12630 0 0 1 0 9 3 20 0 20 0 5928583 11261440000 798272 33554432000 4194304 4196468 140721193458464 140155956012544 140156483544789 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20878] ppid=20808 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20878/stat : 20878 (java) S 20808 20811 14618 0 -1 1077944384 1 12630 0 0 0 0 9 3 20 0 20 0 5928587 11261440000 798272 33554432000 4194304 4196468 140721193458464 140155954961104 140156483553179 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20879] ppid=20808 vsize=10997500 CPUtime=8.36 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20879/stat : 20879 (java) S 20808 20811 14618 0 -1 1077944384 45772 12630 0 0 815 9 9 3 20 0 20 0 5928587 11261440000 798272 33554432000 4194304 4196468 140721193458464 140155953907696 140156483545730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20880] ppid=20808 vsize=10997500 CPUtime=8.67 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20880/stat : 20880 (java) S 20808 20811 14618 0 -1 1077944384 50783 12630 0 0 847 8 9 3 20 0 20 0 5928587 11261440000 798272 33554432000 4194304 4196468 140721193458464 140155952855152 140156483545730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20881] ppid=20808 vsize=10997500 CPUtime=8.5 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20881/stat : 20881 (java) S 20808 20811 14618 0 -1 1077944384 39153 12630 0 0 830 8 9 3 20 0 20 0 5928587 11261440000 798272 33554432000 4194304 4196468 140721193458464 140155951802608 140156483545730 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20882] ppid=20808 vsize=10997500 CPUtime=4.54 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20882/stat : 20882 (java) S 20808 20811 14618 0 -1 1077944384 69359 12630 0 0 429 13 9 3 20 0 20 0 5928587 11261440000 798272 33554432000 4194304 4196468 140721193458464 140155950750064 140156483545730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20883] ppid=20808 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20883/stat : 20883 (java) S 20808 20811 14618 0 -1 1077944384 3 12630 0 0 0 0 9 3 20 0 20 0 5928587 11261440000 798272 33554432000 4194304 4196468 140721193458464 140155949697760 140156483544789 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20884] ppid=20808 vsize=10997500 CPUtime=1.37 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20884/stat : 20884 (java) S 20808 20811 14618 0 -1 1077944384 1380 12630 0 0 60 65 9 3 20 0 20 0 5928588 11261440000 798272 33554432000 4194304 4196468 140721193458464 140155948645296 140156483545730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 16 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 10997500
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 20811 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2324.1 s]
/proc/loadavg: 1.78 1.71 1.64 3/281 22523
/proc/meminfo: memFree=25311072/32770624 swapFree=5940/270104
[pid=20811] ppid=20808 vsize=10997500 CPUtime=2400.09 cores=1,3,5,7,9,11,13,15
/proc/20811/stat : 20811 (java) S 20808 20811 14618 0 -1 1077944320 617623 12630 0 0 239254 743 9 3 20 0 20 0 5928566 11261440000 798272 33554432000 4194304 4196468 140721193458464 140721193441008 140156483534583 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
/proc/20811/statm: 2749375 798272 3520 1 0 2736930 0
[pid=20811/tid=20866] ppid=20808 vsize=10997500 CPUtime=2312.1 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20866/stat : 20866 (java) R 20808 20811 14618 0 -1 4202560 284765 12630 0 0 231095 103 9 3 20 0 20 0 5928579 11261440000 798272 33554432000 4194304 4196468 140721193458464 140156487768000 140156075054655 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20867] ppid=20808 vsize=10997500 CPUtime=6.92 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20867/stat : 20867 (java) S 20808 20811 14618 0 -1 1077944384 11911 12630 0 0 613 67 9 3 20 0 20 0 5928579 11261440000 798272 33554432000 4194304 4196468 140721193458464 140156409608976 140156483544789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20868] ppid=20808 vsize=10997500 CPUtime=6.93 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20868/stat : 20868 (java) S 20808 20811 14618 0 -1 1077944384 14763 12630 0 0 616 65 9 3 20 0 20 0 5928579 11261440000 798272 33554432000 4194304 4196468 140721193458464 140156408556432 140156483544789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20869] ppid=20808 vsize=10997500 CPUtime=6.95 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20869/stat : 20869 (java) S 20808 20811 14618 0 -1 1077944384 7182 12630 0 0 618 65 9 3 20 0 20 0 5928579 11261440000 798272 33554432000 4194304 4196468 140721193458464 140156407503888 140156483544789 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20870] ppid=20808 vsize=10997500 CPUtime=6.86 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20870/stat : 20870 (java) S 20808 20811 14618 0 -1 1077944384 12784 12630 0 0 607 67 9 3 20 0 20 0 5928579 11261440000 798272 33554432000 4194304 4196468 140721193458464 140156406451344 140156483544789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20871] ppid=20808 vsize=10997500 CPUtime=6.92 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20871/stat : 20871 (java) S 20808 20811 14618 0 -1 1077944384 14988 12630 0 0 613 67 9 3 20 0 20 0 5928579 11261440000 798272 33554432000 4194304 4196468 140721193458464 140156405397776 140156483544789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20872] ppid=20808 vsize=10997500 CPUtime=7.06 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20872/stat : 20872 (java) S 20808 20811 14618 0 -1 1077944384 14090 12630 0 0 628 66 9 3 20 0 20 0 5928579 11261440000 798272 33554432000 4194304 4196468 140721193458464 140156404345232 140156483544789 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20873] ppid=20808 vsize=10997500 CPUtime=6.79 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20873/stat : 20873 (java) S 20808 20811 14618 0 -1 1077944384 12887 12630 0 0 603 64 9 3 20 0 20 0 5928580 11261440000 798272 33554432000 4194304 4196468 140721193458464 140156403292688 140156483544789 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20874] ppid=20808 vsize=10997500 CPUtime=6.9 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20874/stat : 20874 (java) S 20808 20811 14618 0 -1 1077944384 9628 12630 0 0 612 66 9 3 20 0 20 0 5928580 11261440000 798272 33554432000 4194304 4196468 140721193458464 140156402240144 140156483544789 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20875] ppid=20808 vsize=10997500 CPUtime=2.72 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20875/stat : 20875 (java) S 20808 20811 14618 0 -1 1077944384 25942 12630 0 0 216 44 9 3 20 0 20 0 5928582 11261440000 798272 33554432000 4194304 4196468 140721193458464 140155958118896 140156483545730 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20876] ppid=20808 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20876/stat : 20876 (java) S 20808 20811 14618 0 -1 1077944384 59 12630 0 0 0 0 9 3 20 0 20 0 5928583 11261440000 798272 33554432000 4194304 4196468 140721193458464 140155957065184 140156483544789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20877] ppid=20808 vsize=10997500 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20877/stat : 20877 (java) S 20808 20811 14618 0 -1 1077944384 44 12630 0 0 1 0 9 3 20 0 20 0 5928583 11261440000 798272 33554432000 4194304 4196468 140721193458464 140155956012544 140156483544789 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20878] ppid=20808 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20878/stat : 20878 (java) S 20808 20811 14618 0 -1 1077944384 1 12630 0 0 0 0 9 3 20 0 20 0 5928587 11261440000 798272 33554432000 4194304 4196468 140721193458464 140155954961104 140156483553179 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20879] ppid=20808 vsize=10997500 CPUtime=8.36 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20879/stat : 20879 (java) S 20808 20811 14618 0 -1 1077944384 45772 12630 0 0 815 9 9 3 20 0 20 0 5928587 11261440000 798272 33554432000 4194304 4196468 140721193458464 140155953907696 140156483545730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20880] ppid=20808 vsize=10997500 CPUtime=8.67 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20880/stat : 20880 (java) S 20808 20811 14618 0 -1 1077944384 50783 12630 0 0 847 8 9 3 20 0 20 0 5928587 11261440000 798272 33554432000 4194304 4196468 140721193458464 140155952855152 140156483545730 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20881] ppid=20808 vsize=10997500 CPUtime=8.5 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20881/stat : 20881 (java) S 20808 20811 14618 0 -1 1077944384 39153 12630 0 0 830 8 9 3 20 0 20 0 5928587 11261440000 798272 33554432000 4194304 4196468 140721193458464 140155951802608 140156483545730 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20882] ppid=20808 vsize=10997500 CPUtime=4.54 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20882/stat : 20882 (java) S 20808 20811 14618 0 -1 1077944384 69359 12630 0 0 429 13 9 3 20 0 20 0 5928587 11261440000 798272 33554432000 4194304 4196468 140721193458464 140155950750064 140156483545730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20883] ppid=20808 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20883/stat : 20883 (java) S 20808 20811 14618 0 -1 1077944384 3 12630 0 0 0 0 9 3 20 0 20 0 5928587 11261440000 798272 33554432000 4194304 4196468 140721193458464 140155949697760 140156483544789 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
[pid=20811/tid=20884] ppid=20808 vsize=10997500 CPUtime=1.37 cores=1,3,5,7,9,11,13,15
/proc/20811/task/20884/stat : 20884 (java) S 20808 20811 14618 0 -1 1077944384 1380 12630 0 0 60 65 9 3 20 0 20 0 5928588 11261440000 798272 33554432000 4194304 4196468 140721193458464 140155948645296 140156483545730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 16 0 0 6293624 6294260 12578816 140721193462465 140721193465239 140721193465239 140721193467855 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 10997500
Child status: 143
Real time (s): 2324.16
CPU time (s): 2400.16
CPU user time (s): 2392.65
CPU system time (s): 7.51022
CPU usage (%): 103.27
Max. virtual memory (cumulated for all children) (KiB): 10999624
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2392.65
system time used= 7.51022
maximum resident set size= 3194112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 634492
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 146735
involuntary context switches= 138855
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.4947 second user time and 19.9074 second system time
The end