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-4243315-1500670140/watcher-4243315-1500670140 -o /tmp/evaluation-result-4243315-1500670140/solver-4243315-1500670140 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500670140-13573 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4243315-1500670140.xml
pid=13594
running on 8 cores: 0,2,4,6,8,10,12,14
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.01 1.13 1.51 4/239 13597
/proc/meminfo: memFree=32104256/32770624 swapFree=5840/34324
[pid=13597] ppid=13594 vsize=361196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13597/stat : 13597 (java) S 13594 13597 9815 0 -1 1077944320 1715 0 0 0 0 0 0 0 20 0 2 0 2283649 369864704 1935 33554432000 4194304 4196468 140720969622496 140720969605040 139925721820919 0 0 0 16784584 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
/proc/13597/statm: 90299 1935 1081 1 0 79210 0
[pid=13597/tid=13598] ppid=13594 vsize=361196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13598/stat : 13598 (java) R 13594 13597 9815 0 -1 4202560 443 0 0 0 0 0 0 0 20 0 2 0 2283650 369864704 1999 33554432000 4194304 4196468 140720969622496 139925726063008 139925707370496 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[startup+0.100133 s]
/proc/loadavg: 1.01 1.13 1.51 4/239 13597
/proc/meminfo: memFree=32104256/32770624 swapFree=5840/34324
[pid=13597] ppid=13594 vsize=10900456 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/13597/stat : 13597 (java) S 13594 13597 9815 0 -1 1077944320 4942 0 0 0 8 2 0 0 20 0 20 0 2283649 11162066944 6079 33554432000 4194304 4196468 140720969622496 140720969605040 139925721820919 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
/proc/13597/statm: 2725114 6079 2620 1 0 2713552 0
[pid=13597/tid=13598] ppid=13594 vsize=10900456 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13598/stat : 13598 (java) R 13594 13597 9815 0 -1 4202560 3034 0 0 0 7 1 0 0 20 0 20 0 2283650 11162066944 6079 33554432000 4194304 4196468 140720969622496 139925726063200 139925707503411 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10900456
[startup+0.200406 s]
/proc/loadavg: 1.01 1.13 1.51 4/239 13597
/proc/meminfo: memFree=32104256/32770624 swapFree=5840/34324
[pid=13597] ppid=13594 vsize=10900556 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/13597/stat : 13597 (java) S 13594 13597 9815 0 -1 1077944320 7035 0 0 0 21 3 0 0 20 0 20 0 2283649 11162169344 7807 33554432000 4194304 4196468 140720969622496 140720969605040 139925721820919 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
/proc/13597/statm: 2725139 7807 2823 1 0 2713552 0
[pid=13597/tid=13598] ppid=13594 vsize=10900556 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13598/stat : 13598 (java) R 13594 13597 9815 0 -1 4202560 4756 0 0 0 15 2 0 0 20 0 20 0 2283650 11162169344 7807 33554432000 4194304 4196468 140720969622496 139925726053072 139925721832854 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 10900556
[startup+0.300368 s]
/proc/loadavg: 1.01 1.13 1.51 4/239 13597
/proc/meminfo: memFree=32104256/32770624 swapFree=5840/34324
[pid=13597] ppid=13594 vsize=10900556 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/13597/stat : 13597 (java) S 13594 13597 9815 0 -1 1077944320 8121 0 0 0 36 4 0 0 20 0 20 0 2283649 11162169344 9955 33554432000 4194304 4196468 140720969622496 140720969605040 139925721820919 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
/proc/13597/statm: 2725139 9955 2926 1 0 2713552 0
[pid=13597/tid=13598] ppid=13594 vsize=10900556 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13598/stat : 13598 (java) R 13594 13597 9815 0 -1 4202560 5260 0 0 0 25 2 0 0 20 0 20 0 2283650 11162169344 9955 33554432000 4194304 4196468 140720969622496 139925726053072 139925702037335 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 10900556
[startup+0.700347 s]
/proc/loadavg: 1.01 1.13 1.51 4/239 13597
/proc/meminfo: memFree=32104256/32770624 swapFree=5840/34324
[pid=13597] ppid=13594 vsize=10900632 CPUtime=1.76 cores=0,2,4,6,8,10,12,14
/proc/13597/stat : 13597 (java) S 13594 13597 9815 0 -1 1077944320 10222 0 0 0 135 41 0 0 20 0 20 0 2283649 11162247168 75243 33554432000 4194304 4196468 140720969622496 140720969605040 139925721820919 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
/proc/13597/statm: 2725158 75243 3095 1 0 2713552 0
[pid=13597/tid=13598] ppid=13594 vsize=10900632 CPUtime=0.58 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13598/stat : 13598 (java) R 13594 13597 9815 0 -1 4202560 5773 0 0 0 53 5 0 0 20 0 20 0 2283650 11162247168 75243 33554432000 4194304 4196468 140720969622496 139925726058584 139925707889038 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
Current children cumulated CPU time (s) 1.76
Current children cumulated vsize (KiB) 10900632
[startup+1.50089 s]
/proc/loadavg: 1.01 1.13 1.51 11/281 13642
/proc/meminfo: memFree=30969476/32770624 swapFree=5840/35436
[pid=13597] ppid=13594 vsize=10900632 CPUtime=4.03 cores=0,2,4,6,8,10,12,14
/proc/13597/stat : 13597 (java) S 13594 13597 9815 0 -1 1077944320 16017 0 0 0 317 86 0 0 20 0 20 0 2283649 11162247168 118352 33554432000 4194304 4196468 140720969622496 140720969605040 139925721820919 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
/proc/13597/statm: 2725158 118352 3111 1 0 2713552 0
[pid=13597/tid=13598] ppid=13594 vsize=10900632 CPUtime=1.27 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13598/stat : 13598 (java) R 13594 13597 9815 0 -1 4202560 6266 0 0 0 120 7 0 0 20 0 20 0 2283650 11162247168 118352 33554432000 4194304 4196468 140720969622496 139925726052136 139925356889567 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13606] ppid=13594 vsize=10900632 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13606/stat : 13606 (java) S 13594 13597 9815 0 -1 1077944384 155 0 0 0 7 9 0 0 20 0 20 0 2283651 11162247168 118352 33554432000 4194304 4196468 140720969622496 139925674441232 139925721831125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13607] ppid=13594 vsize=10900632 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13607/stat : 13607 (java) S 13594 13597 9815 0 -1 1077944384 179 0 0 0 8 9 0 0 20 0 20 0 2283651 11162247168 118352 33554432000 4194304 4196468 140720969622496 139925327108752 139925721831125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13608] ppid=13594 vsize=10900632 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13608/stat : 13608 (java) S 13594 13597 9815 0 -1 1077944384 134 0 0 0 8 9 0 0 20 0 20 0 2283651 11162247168 118352 33554432000 4194304 4196468 140720969622496 139925326055696 139925721831125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13609] ppid=13594 vsize=10900632 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13609/stat : 13609 (java) S 13594 13597 9815 0 -1 1077944384 147 0 0 0 9 9 0 0 20 0 20 0 2283651 11162247168 118352 33554432000 4194304 4196468 140720969622496 139925325003152 139925721831125 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13610] ppid=13594 vsize=10900632 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13610/stat : 13610 (java) S 13594 13597 9815 0 -1 1077944384 175 0 0 0 7 10 0 0 20 0 20 0 2283651 11162247168 118352 33554432000 4194304 4196468 140720969622496 139925323951120 139925721831125 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13611] ppid=13594 vsize=10900632 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13611/stat : 13611 (java) S 13594 13597 9815 0 -1 1077944384 115 0 0 0 9 7 0 0 20 0 20 0 2283651 11162247168 118352 33554432000 4194304 4196468 140720969622496 139925322898576 139925721831125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13612] ppid=13594 vsize=10900632 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13612/stat : 13612 (java) S 13594 13597 9815 0 -1 1077944384 165 0 0 0 9 9 0 0 20 0 20 0 2283651 11162247168 118352 33554432000 4194304 4196468 140720969622496 139925321845520 139925721831125 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13613] ppid=13594 vsize=10900632 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13613/stat : 13613 (java) S 13594 13597 9815 0 -1 1077944384 159 0 0 0 8 7 0 0 20 0 20 0 2283651 11162247168 118352 33554432000 4194304 4196468 140720969622496 139925320792976 139925721831125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13623] ppid=13594 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13623/stat : 13623 (java) S 13594 13597 9815 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 20 0 2283653 11162247168 118352 33554432000 4194304 4196468 140720969622496 139925197396208 139925721832066 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13625] ppid=13594 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13625/stat : 13625 (java) S 13594 13597 9815 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 2283654 11162247168 118352 33554432000 4194304 4196468 140720969622496 139925196342496 139925721831125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13626] ppid=13594 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13626/stat : 13626 (java) S 13594 13597 9815 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 2283654 11162247168 118352 33554432000 4194304 4196468 140720969622496 139925195289328 139925721831125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13632] ppid=13594 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13632/stat : 13632 (java) S 13594 13597 9815 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2283658 11162247168 118352 33554432000 4194304 4196468 140720969622496 139925194237904 139925721839515 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13635] ppid=13594 vsize=10900632 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13635/stat : 13635 (java) S 13594 13597 9815 0 -1 1077944384 2136 0 0 0 35 0 0 0 20 0 20 0 2283658 11162247168 118352 33554432000 4194304 4196468 140720969622496 139925193186032 139925721832066 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13636] ppid=13594 vsize=10900632 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13636/stat : 13636 (java) S 13594 13597 9815 0 -1 1077944384 1409 0 0 0 28 0 0 0 20 0 20 0 2283658 11162247168 118352 33554432000 4194304 4196468 140720969622496 139925192133488 139925721832066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13637] ppid=13594 vsize=10900632 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13637/stat : 13637 (java) S 13594 13597 9815 0 -1 1077944384 2203 0 0 0 38 1 0 0 20 0 20 0 2283658 11162247168 118352 33554432000 4194304 4196468 140720969622496 139925191080432 139925721832066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13638] ppid=13594 vsize=10900632 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13638/stat : 13638 (java) S 13594 13597 9815 0 -1 1077944384 1199 0 0 0 24 1 0 0 20 0 20 0 2283658 11162247168 118352 33554432000 4194304 4196468 140720969622496 139925190027888 139925721832066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13640] ppid=13594 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13640/stat : 13640 (java) S 13594 13597 9815 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2283659 11162247168 118352 33554432000 4194304 4196468 140720969622496 139925188975072 139925721831125 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13642] ppid=13594 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13642/stat : 13642 (java) S 13594 13597 9815 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2283659 11162247168 118352 33554432000 4194304 4196468 140720969622496 139925187922608 139925721832066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
Current children cumulated CPU time (s) 4.03
Current children cumulated vsize (KiB) 10900632
[startup+3.1009 s]
/proc/loadavg: 1.01 1.13 1.51 10/281 13642
/proc/meminfo: memFree=29634720/32770624 swapFree=5840/35400
[pid=13597] ppid=13594 vsize=10900632 CPUtime=14.41 cores=0,2,4,6,8,10,12,14
/proc/13597/stat : 13597 (java) S 13594 13597 9815 0 -1 1077944320 32549 0 1 0 1190 251 0 0 20 0 20 0 2283649 11162247168 262781 33554432000 4194304 4196468 140720969622496 140720969605040 139925721820919 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
/proc/13597/statm: 2725158 262781 3115 1 0 2713552 0
[pid=13597/tid=13598] ppid=13594 vsize=10900632 CPUtime=1.57 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13598/stat : 13598 (java) S 13594 13597 9815 0 -1 1077944384 6366 0 0 0 147 10 0 0 20 0 20 0 2283650 11162247168 262781 33554432000 4194304 4196468 140720969622496 139925726054576 139925721831125 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13606] ppid=13594 vsize=10900632 CPUtime=1.41 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13606/stat : 13606 (java) R 13594 13597 9815 0 -1 4202560 2324 0 0 0 111 30 0 0 20 0 20 0 2283651 11162247168 262781 33554432000 4194304 4196468 140720969622496 139925674441352 139925706521563 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13607] ppid=13594 vsize=10900632 CPUtime=1.43 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13607/stat : 13607 (java) R 13594 13597 9815 0 -1 4202560 536 0 0 0 117 26 0 0 20 0 20 0 2283651 11162247168 262781 33554432000 4194304 4196468 140720969622496 139925327108872 139925706817397 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13608] ppid=13594 vsize=10900632 CPUtime=1.43 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13608/stat : 13608 (java) R 13594 13597 9815 0 -1 4202560 2040 0 0 0 113 30 0 0 20 0 20 0 2283651 11162247168 262781 33554432000 4194304 4196468 140720969622496 139925326055816 139925706521396 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13609] ppid=13594 vsize=10900632 CPUtime=1.45 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13609/stat : 13609 (java) R 13594 13597 9815 0 -1 4202560 1854 0 0 0 116 29 0 0 20 0 20 0 2283651 11162247168 262781 33554432000 4194304 4196468 140720969622496 139925325003272 139925706521920 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13610] ppid=13594 vsize=10900632 CPUtime=1.44 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13610/stat : 13610 (java) R 13594 13597 9815 0 -1 4202560 3108 0 0 0 114 30 0 0 20 0 20 0 2283651 11162247168 262781 33554432000 4194304 4196468 140720969622496 139925323951240 139925706521936 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13611] ppid=13594 vsize=10900632 CPUtime=1.43 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13611/stat : 13611 (java) R 13594 13597 9815 0 -1 4202560 2730 0 0 0 115 28 0 0 20 0 20 0 2283651 11162247168 262781 33554432000 4194304 4196468 140720969622496 139925322898696 139925706521542 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13612] ppid=13594 vsize=10900632 CPUtime=1.44 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13612/stat : 13612 (java) R 13594 13597 9815 0 -1 4202560 2352 0 0 0 114 30 0 0 20 0 20 0 2283651 11162247168 262781 33554432000 4194304 4196468 140720969622496 139925321845640 139925706521927 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13613] ppid=13594 vsize=10900632 CPUtime=1.4 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13613/stat : 13613 (java) R 13594 13597 9815 0 -1 4202560 2206 0 0 0 111 29 0 0 20 0 20 0 2283651 11162247168 262781 33554432000 4194304 4196468 140720969622496 139925320793096 139925706521586 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13623] ppid=13594 vsize=10900632 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13623/stat : 13623 (java) S 13594 13597 9815 0 -1 1077944384 720 0 1 0 1 0 0 0 20 0 20 0 2283653 11162247168 262781 33554432000 4194304 4196468 140720969622496 139925197394752 139925721831125 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13625] ppid=13594 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13625/stat : 13625 (java) S 13594 13597 9815 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 2283654 11162247168 262781 33554432000 4194304 4196468 140720969622496 139925196342496 139925721831125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13626] ppid=13594 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13626/stat : 13626 (java) S 13594 13597 9815 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 2283654 11162247168 262781 33554432000 4194304 4196468 140720969622496 139925195289328 139925721831125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13632] ppid=13594 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13632/stat : 13632 (java) S 13594 13597 9815 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2283658 11162247168 262781 33554432000 4194304 4196468 140720969622496 139925194237904 139925721839515 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13635] ppid=13594 vsize=10900632 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13635/stat : 13635 (java) S 13594 13597 9815 0 -1 1077944384 2136 0 0 0 35 0 0 0 20 0 20 0 2283658 11162247168 262781 33554432000 4194304 4196468 140720969622496 139925193186032 139925721832066 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13636] ppid=13594 vsize=10900632 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13636/stat : 13636 (java) S 13594 13597 9815 0 -1 1077944384 1409 0 0 0 28 0 0 0 20 0 20 0 2283658 11162247168 262781 33554432000 4194304 4196468 140720969622496 139925192133488 139925721832066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13637] ppid=13594 vsize=10900632 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13637/stat : 13637 (java) S 13594 13597 9815 0 -1 1077944384 2203 0 0 0 38 1 0 0 20 0 20 0 2283658 11162247168 262781 33554432000 4194304 4196468 140720969622496 139925191080432 139925721832066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13638] ppid=13594 vsize=10900632 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13638/stat : 13638 (java) S 13594 13597 9815 0 -1 1077944384 1199 0 0 0 24 1 0 0 20 0 20 0 2283658 11162247168 262781 33554432000 4194304 4196468 140720969622496 139925190027888 139925721832066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13640] ppid=13594 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13640/stat : 13640 (java) S 13594 13597 9815 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2283659 11162247168 262781 33554432000 4194304 4196468 140720969622496 139925188975072 139925721831125 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13642] ppid=13594 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13642/stat : 13642 (java) S 13594 13597 9815 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2283659 11162247168 262781 33554432000 4194304 4196468 140720969622496 139925187922608 139925721832066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
Current children cumulated CPU time (s) 14.41
Current children cumulated vsize (KiB) 10900632
[startup+6.30092 s]
/proc/loadavg: 2.13 1.36 1.58 3/281 13642
/proc/meminfo: memFree=27711408/32770624 swapFree=5840/35500
[pid=13597] ppid=13594 vsize=10900632 CPUtime=24.17 cores=0,2,4,6,8,10,12,14
/proc/13597/stat : 13597 (java) S 13594 13597 9815 0 -1 1077944320 40399 0 1 0 1977 440 0 0 20 0 20 0 2283649 11162247168 378917 33554432000 4194304 4196468 140720969622496 140720969605040 139925721820919 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
/proc/13597/statm: 2725158 378917 3127 1 0 2713552 0
[pid=13597/tid=13598] ppid=13594 vsize=10900632 CPUtime=3.18 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13598/stat : 13598 (java) R 13594 13597 9815 0 -1 4202560 8701 0 0 0 307 11 0 0 20 0 20 0 2283650 11162247168 378917 33554432000 4194304 4196468 140720969622496 139925726049656 139925356889040 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13606] ppid=13594 vsize=10900632 CPUtime=2.35 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13606/stat : 13606 (java) S 13594 13597 9815 0 -1 1077944384 2719 0 0 0 182 53 0 0 20 0 20 0 2283651 11162247168 378917 33554432000 4194304 4196468 140720969622496 139925674441232 139925721831125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13607] ppid=13594 vsize=10900632 CPUtime=2.36 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13607/stat : 13607 (java) S 13594 13597 9815 0 -1 1077944384 843 0 0 0 187 49 0 0 20 0 20 0 2283651 11162247168 378917 33554432000 4194304 4196468 140720969622496 139925327108752 139925721831125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13608] ppid=13594 vsize=10900632 CPUtime=2.38 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13608/stat : 13608 (java) S 13594 13597 9815 0 -1 1077944384 2308 0 0 0 183 55 0 0 20 0 20 0 2283651 11162247168 378917 33554432000 4194304 4196468 140720969622496 139925326055696 139925721831125 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13609] ppid=13594 vsize=10900632 CPUtime=2.39 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13609/stat : 13609 (java) S 13594 13597 9815 0 -1 1077944384 2182 0 0 0 186 53 0 0 20 0 20 0 2283651 11162247168 378917 33554432000 4194304 4196468 140720969622496 139925325003152 139925721831125 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13610] ppid=13594 vsize=10900632 CPUtime=2.37 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13610/stat : 13610 (java) S 13594 13597 9815 0 -1 1077944384 3666 0 0 0 186 51 0 0 20 0 20 0 2283651 11162247168 378917 33554432000 4194304 4196468 140720969622496 139925323951120 139925721831125 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13611] ppid=13594 vsize=10900632 CPUtime=2.36 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13611/stat : 13611 (java) S 13594 13597 9815 0 -1 1077944384 3124 0 0 0 185 51 0 0 20 0 20 0 2283651 11162247168 378917 33554432000 4194304 4196468 140720969622496 139925322898576 139925721831125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13612] ppid=13594 vsize=10900632 CPUtime=2.35 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13612/stat : 13612 (java) S 13594 13597 9815 0 -1 1077944384 2700 0 0 0 182 53 0 0 20 0 20 0 2283651 11162247168 378917 33554432000 4194304 4196468 140720969622496 139925321845520 139925721831125 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13613] ppid=13594 vsize=10900632 CPUtime=2.32 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13613/stat : 13613 (java) S 13594 13597 9815 0 -1 1077944384 2559 0 0 0 179 53 0 0 20 0 20 0 2283651 11162247168 378917 33554432000 4194304 4196468 140720969622496 139925320792976 139925721831125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13623] ppid=13594 vsize=10900632 CPUtime=0.65 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13623/stat : 13623 (java) S 13594 13597 9815 0 -1 1077944384 2079 0 1 0 65 0 0 0 20 0 20 0 2283653 11162247168 378917 33554432000 4194304 4196468 140720969622496 139925197396208 139925721832066 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13625] ppid=13594 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13625/stat : 13625 (java) S 13594 13597 9815 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 20 0 2283654 11162247168 378917 33554432000 4194304 4196468 140720969622496 139925196342496 139925721831125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13626] ppid=13594 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13626/stat : 13626 (java) S 13594 13597 9815 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 20 0 2283654 11162247168 378917 33554432000 4194304 4196468 140720969622496 139925195289344 139925721831125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13632] ppid=13594 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
################
# More data... #
################
[pid=13597/tid=13636] ppid=13594 vsize=10900632 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13636/stat : 13636 (java) S 13594 13597 9815 0 -1 1077944384 3220 0 0 0 35 1 0 0 20 0 20 0 2283658 11162247168 2048883 33554432000 4194304 4196468 140720969622496 139925192133536 139925721831125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13637] ppid=13594 vsize=10900632 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13637/stat : 13637 (java) S 13594 13597 9815 0 -1 1077944384 2539 0 0 0 39 1 0 0 20 0 20 0 2283658 11162247168 2048883 33554432000 4194304 4196468 140720969622496 139925191080192 139925721831125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13638] ppid=13594 vsize=10900632 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13638/stat : 13638 (java) S 13594 13597 9815 0 -1 1077944384 3041 0 0 0 29 1 0 0 20 0 20 0 2283658 11162247168 2048883 33554432000 4194304 4196468 140720969622496 139925190027888 139925721832066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13640] ppid=13594 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13640/stat : 13640 (java) S 13594 13597 9815 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2283659 11162247168 2048883 33554432000 4194304 4196468 140720969622496 139925188975072 139925721831125 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13642] ppid=13594 vsize=10900632 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13642/stat : 13642 (java) S 13594 13597 9815 0 -1 1077944384 745 0 0 0 7 5 0 0 20 0 20 0 2283659 11162247168 2048883 33554432000 4194304 4196468 140720969622496 139925187922608 139925721832066 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 1 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 10900632
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -13597
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 13597 sig 9
??? end of watcher thread
Solver just ended.
Dumping a history of the last processes samples
[startup+332.801 s]
/proc/loadavg: 15.17 10.07 5.29 17/283 13655
/proc/meminfo: memFree=15569680/32770624 swapFree=5840/35880
[pid=13597] ppid=13594 vsize=10900632 CPUtime=2406.29 cores=0,2,4,6,8,10,12,14
/proc/13597/stat : 13597 (java) S 13594 13597 9815 0 -1 1077944320 273659 0 2 0 237818 2811 0 0 20 0 20 0 2283649 11162247168 2048885 33554432000 4194304 4196468 140720969622496 140720969605040 139925721820919 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
/proc/13597/statm: 2725158 2048885 3132 1 0 2713552 0
[pid=13597/tid=13598] ppid=13594 vsize=10900632 CPUtime=14.99 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13598/stat : 13598 (java) S 13594 13597 9815 0 -1 1077944384 17521 0 0 0 1485 14 0 0 20 0 20 0 2283650 11162247168 2048885 33554432000 4194304 4196468 140720969622496 139925726057920 139925721831125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13606] ppid=13594 vsize=10900632 CPUtime=297.34 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13606/stat : 13606 (java) R 13594 13597 9815 0 -1 4202560 22156 0 0 0 29380 354 0 0 20 0 20 0 2283651 11162247168 2048885 33554432000 4194304 4196468 140720969622496 139925674441432 139925706518671 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13607] ppid=13594 vsize=10900632 CPUtime=296.15 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13607/stat : 13607 (java) R 13594 13597 9815 0 -1 4202560 26974 0 0 0 29267 348 0 0 20 0 20 0 2283651 11162247168 2048885 33554432000 4194304 4196468 140720969622496 139925327108648 139925714449127 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13608] ppid=13594 vsize=10900632 CPUtime=297.28 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13608/stat : 13608 (java) R 13594 13597 9815 0 -1 4202560 27169 0 0 0 29395 333 0 0 20 0 20 0 2283651 11162247168 2048885 33554432000 4194304 4196468 140720969622496 139925326055592 139925714449127 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13609] ppid=13594 vsize=10900632 CPUtime=297 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13609/stat : 13609 (java) R 13594 13597 9815 0 -1 4202560 21668 0 0 0 29362 338 0 0 20 0 20 0 2283651 11162247168 2048885 33554432000 4194304 4196468 140720969622496 139925325003048 139925714449127 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13610] ppid=13594 vsize=10900632 CPUtime=296.76 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13610/stat : 13610 (java) R 13594 13597 9815 0 -1 4202560 18877 0 0 0 29319 357 0 0 20 0 20 0 2283651 11162247168 2048885 33554432000 4194304 4196468 140720969622496 139925323951016 139925714449127 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13611] ppid=13594 vsize=10900632 CPUtime=296.19 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13611/stat : 13611 (java) R 13594 13597 9815 0 -1 4202560 20388 0 0 0 29258 361 0 0 20 0 20 0 2283651 11162247168 2048885 33554432000 4194304 4196468 140720969622496 139925322898776 139925706518464 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13612] ppid=13594 vsize=10900632 CPUtime=296.72 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13612/stat : 13612 (java) R 13594 13597 9815 0 -1 4202560 16351 0 0 0 29313 359 0 0 20 0 20 0 2283651 11162247168 2048885 33554432000 4194304 4196468 140720969622496 139925321845416 139925714449127 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13613] ppid=13594 vsize=10900632 CPUtime=296.34 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13613/stat : 13613 (java) R 13594 13597 9815 0 -1 4202560 31638 0 0 0 29306 328 0 0 20 0 20 0 2283651 11162247168 2048885 33554432000 4194304 4196468 140720969622496 139925320792872 139925705203952 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13623] ppid=13594 vsize=10900632 CPUtime=15.72 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13623/stat : 13623 (java) S 13594 13597 9815 0 -1 1077944384 55819 0 2 0 1568 4 0 0 20 0 20 0 2283653 11162247168 2048885 33554432000 4194304 4196468 140720969622496 139925197394528 139925721831125 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 1 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13625] ppid=13594 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13625/stat : 13625 (java) S 13594 13597 9815 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 20 0 2283654 11162247168 2048885 33554432000 4194304 4196468 140720969622496 139925196342496 139925721831125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13626] ppid=13594 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13626/stat : 13626 (java) S 13594 13597 9815 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 20 0 2283654 11162247168 2048885 33554432000 4194304 4196468 140720969622496 139925195289344 139925721831125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13632] ppid=13594 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13632/stat : 13632 (java) S 13594 13597 9815 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2283658 11162247168 2048885 33554432000 4194304 4196468 140720969622496 139925194237552 139925721831125 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13635] ppid=13594 vsize=10900632 CPUtime=0.47 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13635/stat : 13635 (java) S 13594 13597 9815 0 -1 1077944384 4120 0 0 0 47 0 0 0 20 0 20 0 2283658 11162247168 2048885 33554432000 4194304 4196468 140720969622496 139925193186080 139925721831125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13636] ppid=13594 vsize=10900632 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13636/stat : 13636 (java) S 13594 13597 9815 0 -1 1077944384 3220 0 0 0 35 1 0 0 20 0 20 0 2283658 11162247168 2048885 33554432000 4194304 4196468 140720969622496 139925192133536 139925721831125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13637] ppid=13594 vsize=10900632 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13637/stat : 13637 (java) S 13594 13597 9815 0 -1 1077944384 2539 0 0 0 39 1 0 0 20 0 20 0 2283658 11162247168 2048885 33554432000 4194304 4196468 140720969622496 139925191080192 139925721831125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13638] ppid=13594 vsize=10900632 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13638/stat : 13638 (java) S 13594 13597 9815 0 -1 1077944384 3041 0 0 0 29 1 0 0 20 0 20 0 2283658 11162247168 2048885 33554432000 4194304 4196468 140720969622496 139925190027888 139925721832066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13640] ppid=13594 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13640/stat : 13640 (java) S 13594 13597 9815 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2283659 11162247168 2048885 33554432000 4194304 4196468 140720969622496 139925188975072 139925721831125 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13642] ppid=13594 vsize=10900632 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13642/stat : 13642 (java) S 13594 13597 9815 0 -1 1077944384 745 0 0 0 7 5 0 0 20 0 20 0 2283659 11162247168 2048885 33554432000 4194304 4196468 140720969622496 139925187922608 139925721832066 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 1 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
Current children cumulated CPU time (s) 2406.29
Current children cumulated vsize (KiB) 10900632
[startup+333.601 s]
/proc/loadavg: 15.24 10.17 5.34 16/283 13655
/proc/meminfo: memFree=15569680/32770624 swapFree=5840/35880
[pid=13597] ppid=13594 vsize=10900632 CPUtime=2412.53 cores=0,2,4,6,8,10,12,14
/proc/13597/stat : 13597 (java) S 13594 13597 9815 0 -1 1077944320 273990 0 2 0 238440 2813 0 0 20 0 20 0 2283649 11162247168 2048885 33554432000 4194304 4196468 140720969622496 140720969605040 139925721820919 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
/proc/13597/statm: 2725158 2048885 3132 1 0 2713552 0
[pid=13597/tid=13598] ppid=13594 vsize=10900632 CPUtime=14.99 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13598/stat : 13598 (java) S 13594 13597 9815 0 -1 1077944384 17521 0 0 0 1485 14 0 0 20 0 20 0 2283650 11162247168 2048885 33554432000 4194304 4196468 140720969622496 139925726057920 139925721831125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13606] ppid=13594 vsize=10900632 CPUtime=298.15 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13606/stat : 13606 (java) R 13594 13597 9815 0 -1 4202560 22466 0 0 0 29460 355 0 0 20 0 20 0 2283651 11162247168 2048885 33554432000 4194304 4196468 140720969622496 139925674441432 139925706771963 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13607] ppid=13594 vsize=10900632 CPUtime=296.92 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13607/stat : 13607 (java) R 13594 13597 9815 0 -1 4202560 26974 0 0 0 29344 348 0 0 20 0 20 0 2283651 11162247168 2048885 33554432000 4194304 4196468 140720969622496 139925327108336 139925714449127 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13608] ppid=13594 vsize=10900632 CPUtime=298.07 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13608/stat : 13608 (java) R 13594 13597 9815 0 -1 4202560 27169 0 0 0 29473 334 0 0 20 0 20 0 2283651 11162247168 2048885 33554432000 4194304 4196468 140720969622496 139925326055592 139925714449127 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13609] ppid=13594 vsize=10900632 CPUtime=297.77 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13609/stat : 13609 (java) R 13594 13597 9815 0 -1 4202560 21668 0 0 0 29439 338 0 0 20 0 20 0 2283651 11162247168 2048885 33554432000 4194304 4196468 140720969622496 139925325003048 139925714449127 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13610] ppid=13594 vsize=10900632 CPUtime=297.54 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13610/stat : 13610 (java) R 13594 13597 9815 0 -1 4202560 18877 0 0 0 29396 358 0 0 20 0 20 0 2283651 11162247168 2048885 33554432000 4194304 4196468 140720969622496 139925323951016 139925714449127 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13611] ppid=13594 vsize=10900632 CPUtime=296.99 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13611/stat : 13611 (java) R 13594 13597 9815 0 -1 4202560 20409 0 0 0 29338 361 0 0 20 0 20 0 2283651 11162247168 2048885 33554432000 4194304 4196468 140720969622496 139925322898776 139925706274911 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13612] ppid=13594 vsize=10900632 CPUtime=297.51 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13612/stat : 13612 (java) R 13594 13597 9815 0 -1 4202560 16351 0 0 0 29391 360 0 0 20 0 20 0 2283651 11162247168 2048885 33554432000 4194304 4196468 140720969622496 139925321845104 139925714449127 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13613] ppid=13594 vsize=10900632 CPUtime=297.1 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13613/stat : 13613 (java) R 13594 13597 9815 0 -1 4202560 31638 0 0 0 29381 329 0 0 20 0 20 0 2283651 11162247168 2048885 33554432000 4194304 4196468 140720969622496 139925320792872 139925705203952 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13623] ppid=13594 vsize=10900632 CPUtime=15.72 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13623/stat : 13623 (java) S 13594 13597 9815 0 -1 1077944384 55819 0 2 0 1568 4 0 0 20 0 20 0 2283653 11162247168 2048885 33554432000 4194304 4196468 140720969622496 139925197394528 139925721831125 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 1 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13625] ppid=13594 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13625/stat : 13625 (java) S 13594 13597 9815 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 20 0 2283654 11162247168 2048885 33554432000 4194304 4196468 140720969622496 139925196342496 139925721831125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13626] ppid=13594 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13626/stat : 13626 (java) S 13594 13597 9815 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 20 0 2283654 11162247168 2048885 33554432000 4194304 4196468 140720969622496 139925195289344 139925721831125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13632] ppid=13594 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13632/stat : 13632 (java) S 13594 13597 9815 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2283658 11162247168 2048885 33554432000 4194304 4196468 140720969622496 139925194237552 139925721831125 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13635] ppid=13594 vsize=10900632 CPUtime=0.47 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13635/stat : 13635 (java) S 13594 13597 9815 0 -1 1077944384 4120 0 0 0 47 0 0 0 20 0 20 0 2283658 11162247168 2048885 33554432000 4194304 4196468 140720969622496 139925193186080 139925721831125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13636] ppid=13594 vsize=10900632 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13636/stat : 13636 (java) S 13594 13597 9815 0 -1 1077944384 3220 0 0 0 35 1 0 0 20 0 20 0 2283658 11162247168 2048885 33554432000 4194304 4196468 140720969622496 139925192133536 139925721831125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13637] ppid=13594 vsize=10900632 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13637/stat : 13637 (java) S 13594 13597 9815 0 -1 1077944384 2539 0 0 0 39 1 0 0 20 0 20 0 2283658 11162247168 2048885 33554432000 4194304 4196468 140720969622496 139925191080192 139925721831125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13638] ppid=13594 vsize=10900632 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13638/stat : 13638 (java) S 13594 13597 9815 0 -1 1077944384 3041 0 0 0 29 1 0 0 20 0 20 0 2283658 11162247168 2048885 33554432000 4194304 4196468 140720969622496 139925190027888 139925721832066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13640] ppid=13594 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13640/stat : 13640 (java) S 13594 13597 9815 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2283659 11162247168 2048885 33554432000 4194304 4196468 140720969622496 139925188975072 139925721831125 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13642] ppid=13594 vsize=10900632 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13642/stat : 13642 (java) S 13594 13597 9815 0 -1 1077944384 745 0 0 0 7 5 0 0 20 0 20 0 2283659 11162247168 2048885 33554432000 4194304 4196468 140720969622496 139925187922608 139925721832066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
Current children cumulated CPU time (s) 2412.53
Current children cumulated vsize (KiB) 10900632
[startup+334.001 s]
/proc/loadavg: 15.24 10.17 5.34 16/283 13655
/proc/meminfo: memFree=15569680/32770624 swapFree=5840/35880
[pid=13597] ppid=13594 vsize=10900632 CPUtime=2415.68 cores=0,2,4,6,8,10,12,14
/proc/13597/stat : 13597 (java) S 13594 13597 9815 0 -1 1077944320 273990 0 2 0 238755 2813 0 0 20 0 20 0 2283649 11162247168 2048885 33554432000 4194304 4196468 140720969622496 140720969605040 139925721820919 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
/proc/13597/statm: 2725158 2048885 3132 1 0 2713552 0
[pid=13597/tid=13598] ppid=13594 vsize=10900632 CPUtime=14.99 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13598/stat : 13598 (java) S 13594 13597 9815 0 -1 1077944384 17521 0 0 0 1485 14 0 0 20 0 20 0 2283650 11162247168 2048885 33554432000 4194304 4196468 140720969622496 139925726057920 139925721831125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13606] ppid=13594 vsize=10900632 CPUtime=298.55 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13606/stat : 13606 (java) R 13594 13597 9815 0 -1 4202560 22466 0 0 0 29500 355 0 0 20 0 20 0 2283651 11162247168 2048885 33554432000 4194304 4196468 140720969622496 139925674441432 139925706519695 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13607] ppid=13594 vsize=10900632 CPUtime=297.32 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13607/stat : 13607 (java) R 13594 13597 9815 0 -1 4202560 26974 0 0 0 29384 348 0 0 20 0 20 0 2283651 11162247168 2048885 33554432000 4194304 4196468 140720969622496 139925327108952 139925706817424 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13608] ppid=13594 vsize=10900632 CPUtime=298.46 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13608/stat : 13608 (java) R 13594 13597 9815 0 -1 4202560 27169 0 0 0 29512 334 0 0 20 0 20 0 2283651 11162247168 2048885 33554432000 4194304 4196468 140720969622496 139925326055896 139925706520186 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13609] ppid=13594 vsize=10900632 CPUtime=298.16 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13609/stat : 13609 (java) R 13594 13597 9815 0 -1 4202560 21668 0 0 0 29478 338 0 0 20 0 20 0 2283651 11162247168 2048885 33554432000 4194304 4196468 140720969622496 139925325003040 139925706817520 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13610] ppid=13594 vsize=10900632 CPUtime=297.94 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13610/stat : 13610 (java) R 13594 13597 9815 0 -1 4202560 18877 0 0 0 29436 358 0 0 20 0 20 0 2283651 11162247168 2048885 33554432000 4194304 4196468 140720969622496 139925323951320 139925706817326 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13611] ppid=13594 vsize=10900632 CPUtime=297.38 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13611/stat : 13611 (java) R 13594 13597 9815 0 -1 4202560 20409 0 0 0 29377 361 0 0 20 0 20 0 2283651 11162247168 2048885 33554432000 4194304 4196468 140720969622496 139925322898776 139925706519733 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13612] ppid=13594 vsize=10900632 CPUtime=297.9 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13612/stat : 13612 (java) R 13594 13597 9815 0 -1 4202560 16351 0 0 0 29430 360 0 0 20 0 20 0 2283651 11162247168 2048885 33554432000 4194304 4196468 140720969622496 139925321845720 139925706817264 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13613] ppid=13594 vsize=10900632 CPUtime=297.49 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13613/stat : 13613 (java) R 13594 13597 9815 0 -1 4202560 31638 0 0 0 29420 329 0 0 20 0 20 0 2283651 11162247168 2048885 33554432000 4194304 4196468 140720969622496 139925320793176 139925706278489 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13623] ppid=13594 vsize=10900632 CPUtime=15.72 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13623/stat : 13623 (java) S 13594 13597 9815 0 -1 1077944384 55819 0 2 0 1568 4 0 0 20 0 20 0 2283653 11162247168 2048885 33554432000 4194304 4196468 140720969622496 139925197394752 139925721831125 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 1 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13625] ppid=13594 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13625/stat : 13625 (java) S 13594 13597 9815 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 20 0 2283654 11162247168 2048885 33554432000 4194304 4196468 140720969622496 139925196342496 139925721831125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13626] ppid=13594 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13626/stat : 13626 (java) S 13594 13597 9815 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 20 0 2283654 11162247168 2048885 33554432000 4194304 4196468 140720969622496 139925195289344 139925721831125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13632] ppid=13594 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13632/stat : 13632 (java) S 13594 13597 9815 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2283658 11162247168 2048885 33554432000 4194304 4196468 140720969622496 139925194237552 139925721831125 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13635] ppid=13594 vsize=10900632 CPUtime=0.47 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13635/stat : 13635 (java) S 13594 13597 9815 0 -1 1077944384 4120 0 0 0 47 0 0 0 20 0 20 0 2283658 11162247168 2048885 33554432000 4194304 4196468 140720969622496 139925193186080 139925721831125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13636] ppid=13594 vsize=10900632 CPUtime=0.36 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13636/stat : 13636 (java) S 13594 13597 9815 0 -1 1077944384 3220 0 0 0 35 1 0 0 20 0 20 0 2283658 11162247168 2048885 33554432000 4194304 4196468 140720969622496 139925192133536 139925721831125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13637] ppid=13594 vsize=10900632 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13637/stat : 13637 (java) S 13594 13597 9815 0 -1 1077944384 2539 0 0 0 39 1 0 0 20 0 20 0 2283658 11162247168 2048885 33554432000 4194304 4196468 140720969622496 139925191080192 139925721831125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13638] ppid=13594 vsize=10900632 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13638/stat : 13638 (java) S 13594 13597 9815 0 -1 1077944384 3041 0 0 0 29 1 0 0 20 0 20 0 2283658 11162247168 2048885 33554432000 4194304 4196468 140720969622496 139925190027888 139925721832066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13640] ppid=13594 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13640/stat : 13640 (java) S 13594 13597 9815 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2283659 11162247168 2048885 33554432000 4194304 4196468 140720969622496 139925188975072 139925721831125 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
[pid=13597/tid=13642] ppid=13594 vsize=10900632 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/13597/task/13642/stat : 13642 (java) S 13594 13597 9815 0 -1 1077944384 745 0 0 0 7 5 0 0 20 0 20 0 2283659 11162247168 2048885 33554432000 4194304 4196468 140720969622496 139925187922608 139925721832066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 19111936 140720969626795 140720969626948 140720969626948 140720969629647 0
Current children cumulated CPU time (s) 2415.68
Current children cumulated vsize (KiB) 10900632
Child ended because it received signal 9 (SIGKILL)
Real time (s): 334.041
CPU time (s): 2415.76
CPU user time (s): 2387.59
CPU system time (s): 28.1676
CPU usage (%): 723.19
Max. virtual memory (cumulated for all children) (KiB): 10900632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2387.59
system time used= 28.1676
maximum resident set size= 8195748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273994
page faults= 2
swaps= 0
block input operations= 360
block output operations= 472
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41596
involuntary context switches= 189339
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.85256 second user time and 3.59271 second system time
The end