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-4243948-1500678050/watcher-4243948-1500678050 -o /tmp/evaluation-result-4243948-1500678050/solver-4243948-1500678050 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node148-1500678050-14572 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4243948-1500678050.xml
pid=14609
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: 3.62 1.85 1.56 3/254 14613
/proc/meminfo: memFree=32076604/32770624 swapFree=6556/65300
[pid=14613] ppid=14609 vsize=361196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14613/stat : 14613 (java) S 14609 14613 9825 0 -1 1077944320 1716 0 0 0 0 0 0 0 20 0 2 0 3069997 369864704 1935 33554432000 4194304 4196468 140720337672576 140720337655120 139941895868151 0 0 0 16784584 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
/proc/14613/statm: 90299 1935 1081 1 0 79210 0
[pid=14613/tid=14615] ppid=14609 vsize=361196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14615/stat : 14615 (java) S 14609 14613 9825 0 -1 1077944384 410 0 0 0 0 0 0 0 20 0 2 0 3069998 369864704 1935 33554432000 4194304 4196468 140720337672576 139941900110240 139941895879298 0 4 0 16784584 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[startup+0.100139 s]
/proc/loadavg: 3.62 1.85 1.56 3/254 14613
/proc/meminfo: memFree=32076604/32770624 swapFree=6556/65300
[pid=14613] ppid=14609 vsize=10900456 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/14613/stat : 14613 (java) S 14609 14613 9825 0 -1 1077944320 4768 0 0 0 8 1 0 0 20 0 20 0 3069997 11162066944 5872 33554432000 4194304 4196468 140720337672576 140720337655120 139941895868151 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
/proc/14613/statm: 2725114 5872 2640 1 0 2713552 0
[pid=14613/tid=14615] ppid=14609 vsize=10900456 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14615/stat : 14615 (java) R 14609 14613 9825 0 -1 4202560 2842 0 0 0 7 1 0 0 20 0 20 0 3069998 11162066944 5872 33554432000 4194304 4196468 140720337672576 139941900110432 139941895890077 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10900456
[startup+0.200368 s]
/proc/loadavg: 3.62 1.85 1.56 3/254 14613
/proc/meminfo: memFree=32076604/32770624 swapFree=6556/65300
[pid=14613] ppid=14609 vsize=10900556 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/14613/stat : 14613 (java) S 14609 14613 9825 0 -1 1077944320 7024 0 0 0 23 2 0 0 20 0 20 0 3069997 11162169344 8290 33554432000 4194304 4196468 140720337672576 140720337655120 139941895868151 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
/proc/14613/statm: 2725139 8290 2854 1 0 2713552 0
[pid=14613/tid=14615] ppid=14609 vsize=10900556 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14615/stat : 14615 (java) R 14609 14613 9825 0 -1 4202560 4670 0 0 0 16 2 0 0 20 0 20 0 3069998 11162169344 8290 33554432000 4194304 4196468 140720337672576 139941900089040 139941895890077 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 10900556
[startup+0.300298 s]
/proc/loadavg: 3.62 1.85 1.56 3/254 14613
/proc/meminfo: memFree=32076604/32770624 swapFree=6556/65300
[pid=14613] ppid=14609 vsize=10900556 CPUtime=0.44 cores=0,2,4,6,8,10,12,14
/proc/14613/stat : 14613 (java) S 14609 14613 9825 0 -1 1077944320 8426 0 0 0 40 4 0 0 20 0 20 0 3069997 11162169344 10650 33554432000 4194304 4196468 140720337672576 140720337655120 139941895868151 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
/proc/14613/statm: 2725139 10650 2979 1 0 2713552 0
[pid=14613/tid=14615] ppid=14609 vsize=10900556 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14615/stat : 14615 (java) R 14609 14613 9825 0 -1 4202560 5400 0 0 0 25 3 0 0 20 0 20 0 3069998 11162169344 10650 33554432000 4194304 4196468 140720337672576 139941900100496 139941526973568 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 10900556
[startup+0.70031 s]
/proc/loadavg: 3.62 1.85 1.56 3/254 14613
/proc/meminfo: memFree=32076604/32770624 swapFree=6556/65300
[pid=14613] ppid=14609 vsize=10900632 CPUtime=1.89 cores=0,2,4,6,8,10,12,14
/proc/14613/stat : 14613 (java) S 14609 14613 9825 0 -1 1077944320 11791 0 0 0 184 5 0 0 20 0 20 0 3069997 11162247168 36524 33554432000 4194304 4196468 140720337672576 140720337655120 139941895868151 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
/proc/14613/statm: 2725158 36524 3083 1 0 2713552 0
[pid=14613/tid=14615] ppid=14609 vsize=10900632 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14615/stat : 14615 (java) R 14609 14613 9825 0 -1 4202560 5806 0 0 0 63 4 0 0 20 0 20 0 3069998 11162247168 36524 33554432000 4194304 4196468 140720337672576 139941900105096 139941878855332 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
Current children cumulated CPU time (s) 1.89
Current children cumulated vsize (KiB) 10900632
[startup+1.50075 s]
/proc/loadavg: 3.62 1.85 1.56 8/283 14642
/proc/meminfo: memFree=31805388/32770624 swapFree=6556/66060
[pid=14613] ppid=14609 vsize=10900632 CPUtime=4.99 cores=0,2,4,6,8,10,12,14
/proc/14613/stat : 14613 (java) S 14609 14613 9825 0 -1 1077944320 18284 0 0 0 456 43 0 0 20 0 20 0 3069997 11162247168 73290 33554432000 4194304 4196468 140720337672576 140720337655120 139941895868151 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
/proc/14613/statm: 2725158 73290 3112 1 0 2713552 0
[pid=14613/tid=14615] ppid=14609 vsize=10900632 CPUtime=1.34 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14615/stat : 14615 (java) R 14609 14613 9825 0 -1 4202560 5901 0 0 0 129 5 0 0 20 0 20 0 3069998 11162247168 73290 33554432000 4194304 4196468 140720337672576 139941900103816 139941530718950 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14617] ppid=14609 vsize=10900632 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14617/stat : 14617 (java) S 14609 14613 9825 0 -1 1077944384 85 0 0 0 7 5 0 0 20 0 20 0 3069999 11162247168 73290 33554432000 4194304 4196468 140720337672576 139941848488464 139941895878357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14618] ppid=14609 vsize=10900632 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14618/stat : 14618 (java) S 14609 14613 9825 0 -1 1077944384 52 0 0 0 5 2 0 0 20 0 20 0 3069999 11162247168 73290 33554432000 4194304 4196468 140720337672576 139941847435920 139941895878357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14619] ppid=14609 vsize=10900632 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14619/stat : 14619 (java) S 14609 14613 9825 0 -1 1077944384 74 0 0 0 6 2 0 0 20 0 20 0 3069999 11162247168 73290 33554432000 4194304 4196468 140720337672576 139941500344592 139941895878357 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14620] ppid=14609 vsize=10900632 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14620/stat : 14620 (java) S 14609 14613 9825 0 -1 1077944384 72 0 0 0 7 5 0 0 20 0 20 0 3069999 11162247168 73290 33554432000 4194304 4196468 140720337672576 139941499292048 139941895878357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14621] ppid=14609 vsize=10900632 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14621/stat : 14621 (java) S 14609 14613 9825 0 -1 1077944384 87 0 0 0 7 4 0 0 20 0 20 0 3069999 11162247168 73290 33554432000 4194304 4196468 140720337672576 139941498240016 139941895878357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14622] ppid=14609 vsize=10900632 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14622/stat : 14622 (java) S 14609 14613 9825 0 -1 1077944384 75 0 0 0 7 5 0 0 20 0 20 0 3069999 11162247168 73290 33554432000 4194304 4196468 140720337672576 139941497187472 139941895878357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14623] ppid=14609 vsize=10900632 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14623/stat : 14623 (java) S 14609 14613 9825 0 -1 1077944384 102 0 0 0 8 4 0 0 20 0 20 0 3069999 11162247168 73290 33554432000 4194304 4196468 140720337672576 139941496134416 139941895878357 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14624] ppid=14609 vsize=10900632 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14624/stat : 14624 (java) S 14609 14613 9825 0 -1 1077944384 74 0 0 0 7 5 0 0 20 0 20 0 3069999 11162247168 73290 33554432000 4194304 4196468 140720337672576 139941495081872 139941895878357 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14625] ppid=14609 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14625/stat : 14625 (java) S 14609 14613 9825 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 20 0 3070001 11162247168 73290 33554432000 4194304 4196468 140720337672576 139940714227952 139941895879298 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14631] ppid=14609 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14631/stat : 14631 (java) S 14609 14613 9825 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3070002 11162247168 73290 33554432000 4194304 4196468 140720337672576 139940713174240 139941895878357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14633] ppid=14609 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14633/stat : 14633 (java) S 14609 14613 9825 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 3070002 11162247168 73290 33554432000 4194304 4196468 140720337672576 139940712121088 139941895878357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14635] ppid=14609 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14635/stat : 14635 (java) S 14609 14613 9825 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3070006 11162247168 73290 33554432000 4194304 4196468 140720337672576 139940711069648 139941895886747 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14636] ppid=14609 vsize=10900632 CPUtime=0.85 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14636/stat : 14636 (java) R 14609 14613 9825 0 -1 4202560 3086 0 0 0 85 0 0 0 20 0 20 0 3070006 11162247168 73290 33554432000 4194304 4196468 140720337672576 139940710003800 139941877412779 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14637] ppid=14609 vsize=10900632 CPUtime=0.7 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14637/stat : 14637 (java) S 14609 14613 9825 0 -1 1077944384 2311 0 0 0 70 0 0 0 20 0 20 0 3070006 11162247168 73290 33554432000 4194304 4196468 140720337672576 139940708965232 139941895879298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14638] ppid=14609 vsize=10900632 CPUtime=0.79 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14638/stat : 14638 (java) S 14609 14613 9825 0 -1 1077944384 3811 0 0 0 79 0 0 0 20 0 20 0 3070006 11162247168 73290 33554432000 4194304 4196468 140720337672576 139940707912176 139941895879298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14639] ppid=14609 vsize=10900632 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14639/stat : 14639 (java) S 14609 14613 9825 0 -1 1077944384 1103 0 0 0 32 0 0 0 20 0 20 0 3070006 11162247168 73290 33554432000 4194304 4196468 140720337672576 139940706859632 139941895879298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14640] ppid=14609 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14640/stat : 14640 (java) S 14609 14613 9825 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3070006 11162247168 73290 33554432000 4194304 4196468 140720337672576 139940100827616 139941895878357 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14641] ppid=14609 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14641/stat : 14641 (java) S 14609 14613 9825 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3070006 11162247168 73290 33554432000 4194304 4196468 140720337672576 139940099775152 139941895879298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
Current children cumulated CPU time (s) 4.99
Current children cumulated vsize (KiB) 10900632
[startup+3.10156 s]
/proc/loadavg: 3.81 1.92 1.58 9/258 14652
/proc/meminfo: memFree=31509256/32770624 swapFree=6556/66060
[pid=14613] ppid=14609 vsize=10900632 CPUtime=12.34 cores=0,2,4,6,8,10,12,14
/proc/14613/stat : 14613 (java) S 14609 14613 9825 0 -1 1077944320 21263 0 0 0 1061 173 0 0 20 0 20 0 3069997 11162247168 190250 33554432000 4194304 4196468 140720337672576 140720337655120 139941895868151 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
/proc/14613/statm: 2725158 190250 3133 1 0 2713552 0
[pid=14613/tid=14615] ppid=14609 vsize=10900632 CPUtime=1.76 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14615/stat : 14615 (java) R 14609 14613 9825 0 -1 4202560 5958 0 0 0 170 6 0 0 20 0 20 0 3069998 11162247168 190250 33554432000 4194304 4196468 140720337672576 139941900104480 139941530584699 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14617] ppid=14609 vsize=10900632 CPUtime=0.92 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14617/stat : 14617 (java) S 14609 14613 9825 0 -1 1077944384 307 0 0 0 72 20 0 0 20 0 20 0 3069999 11162247168 190250 33554432000 4194304 4196468 140720337672576 139941848488464 139941895878357 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14618] ppid=14609 vsize=10900632 CPUtime=0.88 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14618/stat : 14618 (java) S 14609 14613 9825 0 -1 1077944384 244 0 0 0 69 19 0 0 20 0 20 0 3069999 11162247168 190250 33554432000 4194304 4196468 140720337672576 139941847435920 139941895878357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14619] ppid=14609 vsize=10900632 CPUtime=0.88 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14619/stat : 14619 (java) S 14609 14613 9825 0 -1 1077944384 278 0 0 0 70 18 0 0 20 0 20 0 3069999 11162247168 190250 33554432000 4194304 4196468 140720337672576 139941500344592 139941895878357 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14620] ppid=14609 vsize=10900632 CPUtime=0.93 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14620/stat : 14620 (java) S 14609 14613 9825 0 -1 1077944384 236 0 0 0 71 22 0 0 20 0 20 0 3069999 11162247168 190250 33554432000 4194304 4196468 140720337672576 139941499292048 139941895878357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14621] ppid=14609 vsize=10900632 CPUtime=0.93 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14621/stat : 14621 (java) S 14609 14613 9825 0 -1 1077944384 613 0 0 0 73 20 0 0 20 0 20 0 3069999 11162247168 190250 33554432000 4194304 4196468 140720337672576 139941498240016 139941895878357 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14622] ppid=14609 vsize=10900632 CPUtime=0.92 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14622/stat : 14622 (java) S 14609 14613 9825 0 -1 1077944384 679 0 0 0 73 19 0 0 20 0 20 0 3069999 11162247168 190250 33554432000 4194304 4196468 140720337672576 139941497187472 139941895878357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14623] ppid=14609 vsize=10900632 CPUtime=0.94 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14623/stat : 14623 (java) S 14609 14613 9825 0 -1 1077944384 354 0 0 0 73 21 0 0 20 0 20 0 3069999 11162247168 190250 33554432000 4194304 4196468 140720337672576 139941496134416 139941895878357 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14624] ppid=14609 vsize=10900632 CPUtime=0.94 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14624/stat : 14624 (java) S 14609 14613 9825 0 -1 1077944384 350 0 0 0 73 21 0 0 20 0 20 0 3069999 11162247168 190250 33554432000 4194304 4196468 140720337672576 139941495081872 139941895878357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14625] ppid=14609 vsize=10900632 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14625/stat : 14625 (java) S 14609 14613 9825 0 -1 1077944384 478 0 0 0 35 0 0 0 20 0 20 0 3070001 11162247168 190250 33554432000 4194304 4196468 140720337672576 139940714227952 139941895879298 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14631] ppid=14609 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14631/stat : 14631 (java) S 14609 14613 9825 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3070002 11162247168 190250 33554432000 4194304 4196468 140720337672576 139940713174240 139941895878357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14633] ppid=14609 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14633/stat : 14633 (java) S 14609 14613 9825 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 3070002 11162247168 190250 33554432000 4194304 4196468 140720337672576 139940712121088 139941895878357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14635] ppid=14609 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14635/stat : 14635 (java) S 14609 14613 9825 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3070006 11162247168 190250 33554432000 4194304 4196468 140720337672576 139940711069648 139941895886747 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14636] ppid=14609 vsize=10900632 CPUtime=0.95 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14636/stat : 14636 (java) S 14609 14613 9825 0 -1 1077944384 3174 0 0 0 95 0 0 0 20 0 20 0 3070006 11162247168 190250 33554432000 4194304 4196468 140720337672576 139940710017776 139941895879298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14637] ppid=14609 vsize=10900632 CPUtime=0.7 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14637/stat : 14637 (java) S 14609 14613 9825 0 -1 1077944384 2311 0 0 0 70 0 0 0 20 0 20 0 3070006 11162247168 190250 33554432000 4194304 4196468 140720337672576 139940708965232 139941895879298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14638] ppid=14609 vsize=10900632 CPUtime=0.79 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14638/stat : 14638 (java) S 14609 14613 9825 0 -1 1077944384 3811 0 0 0 79 0 0 0 20 0 20 0 3070006 11162247168 190250 33554432000 4194304 4196468 140720337672576 139940707912176 139941895879298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14639] ppid=14609 vsize=10900632 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14639/stat : 14639 (java) S 14609 14613 9825 0 -1 1077944384 1103 0 0 0 32 0 0 0 20 0 20 0 3070006 11162247168 190250 33554432000 4194304 4196468 140720337672576 139940706859632 139941895879298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14640] ppid=14609 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14640/stat : 14640 (java) S 14609 14613 9825 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3070006 11162247168 190250 33554432000 4194304 4196468 140720337672576 139940100827616 139941895878357 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14641] ppid=14609 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14641/stat : 14641 (java) S 14609 14613 9825 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3070006 11162247168 190250 33554432000 4194304 4196468 140720337672576 139940099775152 139941895879298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 10900632
[startup+6.30077 s]
/proc/loadavg: 3.81 1.92 1.58 3/282 14817
/proc/meminfo: memFree=30706980/32770624 swapFree=6556/66116
[pid=14613] ppid=14609 vsize=10900632 CPUtime=27.07 cores=0,2,4,6,8,10,12,14
/proc/14613/stat : 14613 (java) S 14609 14613 9825 0 -1 1077944320 26511 0 0 0 2457 250 0 0 20 0 20 0 3069997 11162247168 269679 33554432000 4194304 4196468 140720337672576 140720337655120 139941895868151 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
/proc/14613/statm: 2725158 269679 3133 1 0 2713552 0
[pid=14613/tid=14615] ppid=14609 vsize=10900632 CPUtime=2.22 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14615/stat : 14615 (java) S 14609 14613 9825 0 -1 1077944384 6275 0 0 0 215 7 0 0 20 0 20 0 3069998 11162247168 269679 33554432000 4194304 4196468 140720337672576 139941900104592 139941895878357 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14617] ppid=14609 vsize=10900632 CPUtime=2.59 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14617/stat : 14617 (java) S 14609 14613 9825 0 -1 1077944384 719 0 0 0 228 31 0 0 20 0 20 0 3069999 11162247168 269679 33554432000 4194304 4196468 140720337672576 139941848488464 139941895878357 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14618] ppid=14609 vsize=10900632 CPUtime=2.53 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14618/stat : 14618 (java) S 14609 14613 9825 0 -1 1077944384 647 0 0 0 223 30 0 0 20 0 20 0 3069999 11162247168 269679 33554432000 4194304 4196468 140720337672576 139941847435920 139941895878357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14619] ppid=14609 vsize=10900632 CPUtime=2.52 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14619/stat : 14619 (java) S 14609 14613 9825 0 -1 1077944384 689 0 0 0 224 28 0 0 20 0 20 0 3069999 11162247168 269679 33554432000 4194304 4196468 140720337672576 139941500344592 139941895878357 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14620] ppid=14609 vsize=10900632 CPUtime=2.59 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14620/stat : 14620 (java) S 14609 14613 9825 0 -1 1077944384 1221 0 0 0 227 32 0 0 20 0 20 0 3069999 11162247168 269679 33554432000 4194304 4196468 140720337672576 139941499292048 139941895878357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14621] ppid=14609 vsize=10900632 CPUtime=2.57 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14621/stat : 14621 (java) S 14609 14613 9825 0 -1 1077944384 1497 0 0 0 232 25 0 0 20 0 20 0 3069999 11162247168 269679 33554432000 4194304 4196468 140720337672576 139941498240016 139941895878357 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14622] ppid=14609 vsize=10900632 CPUtime=2.57 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14622/stat : 14622 (java) S 14609 14613 9825 0 -1 1077944384 1706 0 0 0 228 29 0 0 20 0 20 0 3069999 11162247168 269679 33554432000 4194304 4196468 140720337672576 139941497187472 139941895878357 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14623] ppid=14609 vsize=10900632 CPUtime=2.58 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14623/stat : 14623 (java) S 14609 14613 9825 0 -1 1077944384 507 0 0 0 229 29 0 0 20 0 20 0 3069999 11162247168 269679 33554432000 4194304 4196468 140720337672576 139941496134416 139941895878357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14624] ppid=14609 vsize=10900632 CPUtime=2.6 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14624/stat : 14624 (java) S 14609 14613 9825 0 -1 1077944384 513 0 0 0 228 32 0 0 20 0 20 0 3069999 11162247168 269679 33554432000 4194304 4196468 140720337672576 139941495081872 139941895878357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14625] ppid=14609 vsize=10900632 CPUtime=1.4 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14625/stat : 14625 (java) R 14609 14613 9825 0 -1 4202560 940 0 0 0 140 0 0 0 20 0 20 0 3070001 11162247168 269679 33554432000 4194304 4196468 140720337672576 139940714226384 139941880568856 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14631] ppid=14609 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14631/stat : 14631 (java) S 14609 14613 9825 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3070002 11162247168 269679 33554432000 4194304 4196468 140720337672576 139940713174240 139941895878357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14633] ppid=14609 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14633/stat : 14633 (java) S 14609 14613 9825 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 3070002 11162247168 269679 33554432000 4194304 4196468 140720337672576 139940712121088 139941895878357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14635] ppid=14609 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
################
# More data... #
################
[pid=14613/tid=14637] ppid=14609 vsize=10900632 CPUtime=0.7 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14637/stat : 14637 (java) S 14609 14613 9825 0 -1 1077944384 2333 0 0 0 70 0 0 0 20 0 20 0 3070006 11162247168 2103896 33554432000 4194304 4196468 140720337672576 139940708965280 139941895878357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14638] ppid=14609 vsize=10900632 CPUtime=0.79 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14638/stat : 14638 (java) S 14609 14613 9825 0 -1 1077944384 3861 0 0 0 79 0 0 0 20 0 20 0 3070006 11162247168 2103896 33554432000 4194304 4196468 140720337672576 139940707911936 139941895878357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14639] ppid=14609 vsize=10900632 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14639/stat : 14639 (java) S 14609 14613 9825 0 -1 1077944384 1153 0 0 0 32 0 0 0 20 0 20 0 3070006 11162247168 2103896 33554432000 4194304 4196468 140720337672576 139940706859632 139941895879298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14640] ppid=14609 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14640/stat : 14640 (java) S 14609 14613 9825 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3070006 11162247168 2103896 33554432000 4194304 4196468 140720337672576 139940100827616 139941895878357 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14641] ppid=14609 vsize=10900632 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14641/stat : 14641 (java) S 14609 14613 9825 0 -1 1077944384 295 0 0 0 7 5 0 0 20 0 20 0 3070006 11162247168 2103896 33554432000 4194304 4196468 140720337672576 139940099775152 139941895879298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
Current children cumulated CPU time (s) 2400.74
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 -14613
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 14613 sig 9
??? end of watcher thread
Solver just ended.
Dumping a history of the last processes samples
[startup+360.101 s]
/proc/loadavg: 13.21 9.85 5.20 9/255 14898
/proc/meminfo: memFree=23669164/32770624 swapFree=6556/66436
[pid=14613] ppid=14609 vsize=10900632 CPUtime=2411.54 cores=0,2,4,6,8,10,12,14
/proc/14613/stat : 14613 (java) S 14609 14613 9825 0 -1 1077944320 386390 0 0 0 239291 1863 0 0 20 0 20 0 3069997 11162247168 2103896 33554432000 4194304 4196468 140720337672576 140720337655120 139941895868151 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
/proc/14613/statm: 2725158 2103896 3133 1 0 2713552 0
[pid=14613/tid=14615] ppid=14609 vsize=10900632 CPUtime=15.18 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14615/stat : 14615 (java) S 14609 14613 9825 0 -1 1077944384 11476 0 0 0 1509 9 0 0 20 0 20 0 3069998 11162247168 2103896 33554432000 4194304 4196468 140720337672576 139941900104736 139941895878357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14617] ppid=14609 vsize=10900632 CPUtime=293.74 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14617/stat : 14617 (java) R 14609 14613 9825 0 -1 4202560 70158 0 0 0 29143 231 0 0 20 0 20 0 3069999 11162247168 2103896 33554432000 4194304 4196468 140720337672576 139941848488360 139941888496359 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14618] ppid=14609 vsize=10900632 CPUtime=292.88 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14618/stat : 14618 (java) R 14609 14613 9825 0 -1 4202560 29834 0 0 0 29054 234 0 0 20 0 20 0 3069999 11162247168 2103896 33554432000 4194304 4196468 140720337672576 139941847435816 139941888496359 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14619] ppid=14609 vsize=10900632 CPUtime=293.37 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14619/stat : 14619 (java) R 14609 14613 9825 0 -1 4202560 51743 0 0 0 29119 218 0 0 20 0 20 0 3069999 11162247168 2103896 33554432000 4194304 4196468 140720337672576 139941500344480 139941880853447 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14620] ppid=14609 vsize=10900632 CPUtime=293.35 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14620/stat : 14620 (java) R 14609 14613 9825 0 -1 4202560 41820 0 0 0 29097 238 0 0 20 0 20 0 3069999 11162247168 2103896 33554432000 4194304 4196468 140720337672576 139941499291944 139941888496359 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14621] ppid=14609 vsize=10900632 CPUtime=293.73 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14621/stat : 14621 (java) R 14609 14613 9825 0 -1 4202560 19204 0 0 0 29162 211 0 0 20 0 20 0 3069999 11162247168 2103896 33554432000 4194304 4196468 140720337672576 139941498239912 139941888496359 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14622] ppid=14609 vsize=10900632 CPUtime=293.32 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14622/stat : 14622 (java) R 14609 14613 9825 0 -1 4202560 21655 0 0 0 29110 222 0 0 20 0 20 0 3069999 11162247168 2103896 33554432000 4194304 4196468 140720337672576 139941497187368 139941879251186 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14623] ppid=14609 vsize=10900632 CPUtime=293.45 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14623/stat : 14623 (java) R 14609 14613 9825 0 -1 4202560 44940 0 0 0 29115 230 0 0 20 0 20 0 3069999 11162247168 2103896 33554432000 4194304 4196468 140720337672576 139941496134000 139941888496359 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14624] ppid=14609 vsize=10900632 CPUtime=293.6 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14624/stat : 14624 (java) R 14609 14613 9825 0 -1 4202560 27567 0 0 0 29104 256 0 0 20 0 20 0 3069999 11162247168 2103896 33554432000 4194304 4196468 140720337672576 139941495081768 139941888496359 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14625] ppid=14609 vsize=10900632 CPUtime=45.88 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14625/stat : 14625 (java) S 14609 14613 9825 0 -1 1077944384 55780 0 0 0 4585 3 0 0 20 0 20 0 3070001 11162247168 2103896 33554432000 4194304 4196468 140720337672576 139940714226272 139941895878357 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14631] ppid=14609 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14631/stat : 14631 (java) S 14609 14613 9825 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3070002 11162247168 2103896 33554432000 4194304 4196468 140720337672576 139940713174240 139941895878357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14633] ppid=14609 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14633/stat : 14633 (java) S 14609 14613 9825 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 3070002 11162247168 2103896 33554432000 4194304 4196468 140720337672576 139940712121088 139941895878357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14635] ppid=14609 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14635/stat : 14635 (java) S 14609 14613 9825 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3070006 11162247168 2103896 33554432000 4194304 4196468 140720337672576 139940711069296 139941895878357 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14636] ppid=14609 vsize=10900632 CPUtime=0.95 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14636/stat : 14636 (java) S 14609 14613 9825 0 -1 1077944384 3202 0 0 0 95 0 0 0 20 0 20 0 3070006 11162247168 2103896 33554432000 4194304 4196468 140720337672576 139940710017824 139941895878357 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14637] ppid=14609 vsize=10900632 CPUtime=0.7 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14637/stat : 14637 (java) S 14609 14613 9825 0 -1 1077944384 2333 0 0 0 70 0 0 0 20 0 20 0 3070006 11162247168 2103896 33554432000 4194304 4196468 140720337672576 139940708965280 139941895878357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14638] ppid=14609 vsize=10900632 CPUtime=0.79 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14638/stat : 14638 (java) S 14609 14613 9825 0 -1 1077944384 3861 0 0 0 79 0 0 0 20 0 20 0 3070006 11162247168 2103896 33554432000 4194304 4196468 140720337672576 139940707911936 139941895878357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14639] ppid=14609 vsize=10900632 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14639/stat : 14639 (java) S 14609 14613 9825 0 -1 1077944384 1153 0 0 0 32 0 0 0 20 0 20 0 3070006 11162247168 2103896 33554432000 4194304 4196468 140720337672576 139940706859680 139941895878357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14640] ppid=14609 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14640/stat : 14640 (java) S 14609 14613 9825 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3070006 11162247168 2103896 33554432000 4194304 4196468 140720337672576 139940100827616 139941895878357 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14641] ppid=14609 vsize=10900632 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14641/stat : 14641 (java) S 14609 14613 9825 0 -1 1077944384 295 0 0 0 7 5 0 0 20 0 20 0 3070006 11162247168 2103896 33554432000 4194304 4196468 140720337672576 139940099775152 139941895879298 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
Current children cumulated CPU time (s) 2411.54
Current children cumulated vsize (KiB) 10900632
[startup+360.501 s]
/proc/loadavg: 13.21 9.85 5.20 9/255 14898
/proc/meminfo: memFree=23669164/32770624 swapFree=6556/66436
[pid=14613] ppid=14609 vsize=10900632 CPUtime=2414.66 cores=0,2,4,6,8,10,12,14
/proc/14613/stat : 14613 (java) S 14609 14613 9825 0 -1 1077944320 386390 0 0 0 239602 1864 0 0 20 0 20 0 3069997 11162247168 2103896 33554432000 4194304 4196468 140720337672576 140720337655120 139941895868151 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
/proc/14613/statm: 2725158 2103896 3133 1 0 2713552 0
[pid=14613/tid=14615] ppid=14609 vsize=10900632 CPUtime=15.18 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14615/stat : 14615 (java) S 14609 14613 9825 0 -1 1077944384 11476 0 0 0 1509 9 0 0 20 0 20 0 3069998 11162247168 2103896 33554432000 4194304 4196468 140720337672576 139941900104736 139941895878357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14617] ppid=14609 vsize=10900632 CPUtime=294.14 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14617/stat : 14617 (java) R 14609 14613 9825 0 -1 4202560 70158 0 0 0 29182 232 0 0 20 0 20 0 3069999 11162247168 2103896 33554432000 4194304 4196468 140720337672576 139941848488360 139941888496359 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14618] ppid=14609 vsize=10900632 CPUtime=293.27 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14618/stat : 14618 (java) R 14609 14613 9825 0 -1 4202560 29834 0 0 0 29093 234 0 0 20 0 20 0 3069999 11162247168 2103896 33554432000 4194304 4196468 140720337672576 139941847435816 139941888496359 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14619] ppid=14609 vsize=10900632 CPUtime=293.77 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14619/stat : 14619 (java) R 14609 14613 9825 0 -1 4202560 51743 0 0 0 29159 218 0 0 20 0 20 0 3069999 11162247168 2103896 33554432000 4194304 4196468 140720337672576 139941500344480 139941880818756 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14620] ppid=14609 vsize=10900632 CPUtime=293.73 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14620/stat : 14620 (java) R 14609 14613 9825 0 -1 4202560 41820 0 0 0 29135 238 0 0 20 0 20 0 3069999 11162247168 2103896 33554432000 4194304 4196468 140720337672576 139941499291944 139941888496359 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14621] ppid=14609 vsize=10900632 CPUtime=294.11 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14621/stat : 14621 (java) R 14609 14613 9825 0 -1 4202560 19204 0 0 0 29200 211 0 0 20 0 20 0 3069999 11162247168 2103896 33554432000 4194304 4196468 140720337672576 139941498239912 139941888496359 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14622] ppid=14609 vsize=10900632 CPUtime=293.71 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14622/stat : 14622 (java) R 14609 14613 9825 0 -1 4202560 21655 0 0 0 29149 222 0 0 20 0 20 0 3069999 11162247168 2103896 33554432000 4194304 4196468 140720337672576 139941497187368 139941879251186 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14623] ppid=14609 vsize=10900632 CPUtime=293.84 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14623/stat : 14623 (java) R 14609 14613 9825 0 -1 4202560 44940 0 0 0 29154 230 0 0 20 0 20 0 3069999 11162247168 2103896 33554432000 4194304 4196468 140720337672576 139941496134000 139941888496359 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14624] ppid=14609 vsize=10900632 CPUtime=293.99 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14624/stat : 14624 (java) R 14609 14613 9825 0 -1 4202560 27567 0 0 0 29143 256 0 0 20 0 20 0 3069999 11162247168 2103896 33554432000 4194304 4196468 140720337672576 139941495081768 139941888496359 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14625] ppid=14609 vsize=10900632 CPUtime=45.88 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14625/stat : 14625 (java) S 14609 14613 9825 0 -1 1077944384 55780 0 0 0 4585 3 0 0 20 0 20 0 3070001 11162247168 2103896 33554432000 4194304 4196468 140720337672576 139940714226272 139941895878357 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14631] ppid=14609 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14631/stat : 14631 (java) S 14609 14613 9825 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3070002 11162247168 2103896 33554432000 4194304 4196468 140720337672576 139940713174240 139941895878357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14633] ppid=14609 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14633/stat : 14633 (java) S 14609 14613 9825 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 3070002 11162247168 2103896 33554432000 4194304 4196468 140720337672576 139940712121088 139941895878357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14635] ppid=14609 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14635/stat : 14635 (java) S 14609 14613 9825 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3070006 11162247168 2103896 33554432000 4194304 4196468 140720337672576 139940711069296 139941895878357 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14636] ppid=14609 vsize=10900632 CPUtime=0.95 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14636/stat : 14636 (java) S 14609 14613 9825 0 -1 1077944384 3202 0 0 0 95 0 0 0 20 0 20 0 3070006 11162247168 2103896 33554432000 4194304 4196468 140720337672576 139940710017824 139941895878357 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14637] ppid=14609 vsize=10900632 CPUtime=0.7 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14637/stat : 14637 (java) S 14609 14613 9825 0 -1 1077944384 2333 0 0 0 70 0 0 0 20 0 20 0 3070006 11162247168 2103896 33554432000 4194304 4196468 140720337672576 139940708965280 139941895878357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14638] ppid=14609 vsize=10900632 CPUtime=0.79 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14638/stat : 14638 (java) S 14609 14613 9825 0 -1 1077944384 3861 0 0 0 79 0 0 0 20 0 20 0 3070006 11162247168 2103896 33554432000 4194304 4196468 140720337672576 139940707911936 139941895878357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14639] ppid=14609 vsize=10900632 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14639/stat : 14639 (java) S 14609 14613 9825 0 -1 1077944384 1153 0 0 0 32 0 0 0 20 0 20 0 3070006 11162247168 2103896 33554432000 4194304 4196468 140720337672576 139940706859680 139941895878357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14640] ppid=14609 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14640/stat : 14640 (java) S 14609 14613 9825 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3070006 11162247168 2103896 33554432000 4194304 4196468 140720337672576 139940100827616 139941895878357 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14641] ppid=14609 vsize=10900632 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14641/stat : 14641 (java) S 14609 14613 9825 0 -1 1077944384 295 0 0 0 7 5 0 0 20 0 20 0 3070006 11162247168 2103896 33554432000 4194304 4196468 140720337672576 139940099775152 139941895879298 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
Current children cumulated CPU time (s) 2414.66
Current children cumulated vsize (KiB) 10900632
[startup+360.701 s]
/proc/loadavg: 13.21 9.85 5.20 9/255 14898
/proc/meminfo: memFree=23669164/32770624 swapFree=6556/66436
[pid=14613] ppid=14609 vsize=10900632 CPUtime=2416.22 cores=0,2,4,6,8,10,12,14
/proc/14613/stat : 14613 (java) S 14609 14613 9825 0 -1 1077944320 386390 0 0 0 239757 1865 0 0 20 0 20 0 3069997 11162247168 2103896 33554432000 4194304 4196468 140720337672576 140720337655120 139941895868151 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
/proc/14613/statm: 2725158 2103896 3133 1 0 2713552 0
[pid=14613/tid=14615] ppid=14609 vsize=10900632 CPUtime=15.18 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14615/stat : 14615 (java) S 14609 14613 9825 0 -1 1077944384 11476 0 0 0 1509 9 0 0 20 0 20 0 3069998 11162247168 2103896 33554432000 4194304 4196468 140720337672576 139941900104736 139941895878357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14617] ppid=14609 vsize=10900632 CPUtime=294.33 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14617/stat : 14617 (java) R 14609 14613 9825 0 -1 4202560 70158 0 0 0 29201 232 0 0 20 0 20 0 3069999 11162247168 2103896 33554432000 4194304 4196468 140720337672576 139941848488048 139941888496359 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14618] ppid=14609 vsize=10900632 CPUtime=293.47 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14618/stat : 14618 (java) S 14609 14613 9825 0 -1 1077944384 29834 0 0 0 29113 234 0 0 20 0 20 0 3069999 11162247168 2103896 33554432000 4194304 4196468 140720337672576 139941847435504 139941895879298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14619] ppid=14609 vsize=10900632 CPUtime=293.97 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14619/stat : 14619 (java) R 14609 14613 9825 0 -1 4202560 51743 0 0 0 29179 218 0 0 20 0 20 0 3069999 11162247168 2103896 33554432000 4194304 4196468 140720337672576 139941500344480 139941880819326 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14620] ppid=14609 vsize=10900632 CPUtime=293.93 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14620/stat : 14620 (java) R 14609 14613 9825 0 -1 4202560 41820 0 0 0 29155 238 0 0 20 0 20 0 3069999 11162247168 2103896 33554432000 4194304 4196468 140720337672576 139941499291632 139941888496359 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14621] ppid=14609 vsize=10900632 CPUtime=294.31 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14621/stat : 14621 (java) R 14609 14613 9825 0 -1 4202560 19204 0 0 0 29220 211 0 0 20 0 20 0 3069999 11162247168 2103896 33554432000 4194304 4196468 140720337672576 139941498239600 139941888496359 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14622] ppid=14609 vsize=10900632 CPUtime=293.91 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14622/stat : 14622 (java) S 14609 14613 9825 0 -1 1077944384 21655 0 0 0 29168 223 0 0 20 0 20 0 3069999 11162247168 2103896 33554432000 4194304 4196468 140720337672576 139941497187056 139941895879298 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14623] ppid=14609 vsize=10900632 CPUtime=294.03 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14623/stat : 14623 (java) R 14609 14613 9825 0 -1 4202560 44940 0 0 0 29173 230 0 0 20 0 20 0 3069999 11162247168 2103896 33554432000 4194304 4196468 140720337672576 139941496134312 139941888496359 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14624] ppid=14609 vsize=10900632 CPUtime=294.18 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14624/stat : 14624 (java) R 14609 14613 9825 0 -1 4202560 27567 0 0 0 29162 256 0 0 20 0 20 0 3069999 11162247168 2103896 33554432000 4194304 4196468 140720337672576 139941495081456 139941888496359 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14625] ppid=14609 vsize=10900632 CPUtime=45.88 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14625/stat : 14625 (java) S 14609 14613 9825 0 -1 1077944384 55780 0 0 0 4585 3 0 0 20 0 20 0 3070001 11162247168 2103896 33554432000 4194304 4196468 140720337672576 139940714226272 139941895878357 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14631] ppid=14609 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14631/stat : 14631 (java) S 14609 14613 9825 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3070002 11162247168 2103896 33554432000 4194304 4196468 140720337672576 139940713174240 139941895878357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14633] ppid=14609 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14633/stat : 14633 (java) S 14609 14613 9825 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 3070002 11162247168 2103896 33554432000 4194304 4196468 140720337672576 139940712121088 139941895878357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14635] ppid=14609 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14635/stat : 14635 (java) S 14609 14613 9825 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3070006 11162247168 2103896 33554432000 4194304 4196468 140720337672576 139940711069296 139941895878357 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14636] ppid=14609 vsize=10900632 CPUtime=0.95 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14636/stat : 14636 (java) S 14609 14613 9825 0 -1 1077944384 3202 0 0 0 95 0 0 0 20 0 20 0 3070006 11162247168 2103896 33554432000 4194304 4196468 140720337672576 139940710017824 139941895878357 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14637] ppid=14609 vsize=10900632 CPUtime=0.7 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14637/stat : 14637 (java) S 14609 14613 9825 0 -1 1077944384 2333 0 0 0 70 0 0 0 20 0 20 0 3070006 11162247168 2103896 33554432000 4194304 4196468 140720337672576 139940708965280 139941895878357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14638] ppid=14609 vsize=10900632 CPUtime=0.79 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14638/stat : 14638 (java) S 14609 14613 9825 0 -1 1077944384 3861 0 0 0 79 0 0 0 20 0 20 0 3070006 11162247168 2103896 33554432000 4194304 4196468 140720337672576 139940707911936 139941895878357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14639] ppid=14609 vsize=10900632 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14639/stat : 14639 (java) S 14609 14613 9825 0 -1 1077944384 1153 0 0 0 32 0 0 0 20 0 20 0 3070006 11162247168 2103896 33554432000 4194304 4196468 140720337672576 139940706859680 139941895878357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14640] ppid=14609 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14640/stat : 14640 (java) S 14609 14613 9825 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3070006 11162247168 2103896 33554432000 4194304 4196468 140720337672576 139940100827616 139941895878357 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
[pid=14613/tid=14641] ppid=14609 vsize=10900632 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/14613/task/14641/stat : 14641 (java) S 14609 14613 9825 0 -1 1077944384 295 0 0 0 7 5 0 0 20 0 20 0 3070006 11162247168 2103896 33554432000 4194304 4196468 140720337672576 139940099775152 139941895879298 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 7999488 140720337679531 140720337679684 140720337679684 140720337682383 0
Current children cumulated CPU time (s) 2416.22
Current children cumulated vsize (KiB) 10900632
Child ended because it received signal 9 (SIGKILL)
Real time (s): 360.753
CPU time (s): 2416.3
CPU user time (s): 2397.6
CPU system time (s): 18.7013
CPU usage (%): 669.793
Max. virtual memory (cumulated for all children) (KiB): 10900632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.6
system time used= 18.7013
maximum resident set size= 8415888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 386395
page faults= 0
swaps= 0
block input operations= 0
block output operations= 472
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45130
involuntary context switches= 217064
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.12435 second user time and 3.72622 second system time
The end