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-4249610-1500759197/watcher-4249610-1500759197 -o /tmp/evaluation-result-4249610-1500759197/solver-4249610-1500759197 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500754456-25160 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-alns.jar --randomseed 1169077067 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4249610-1500759197.xml
pid=25725
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.29 2.02 1.93 3/261 25728
/proc/meminfo: memFree=30933484/32770624 swapFree=5716/320020
[pid=25728] ppid=25725 vsize=10634536 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25728/stat : 25728 (java) S 25725 25728 25128 0 -1 1077944320 1926 0 0 0 0 0 0 0 20 0 2 0 11188875 10889764864 2168 33554432000 4194304 4196468 140720980746352 140720980728896 140515652206327 0 0 0 16784584 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
/proc/25728/statm: 2658634 2168 1188 1 0 2647545 0
[pid=25728/tid=25729] ppid=25725 vsize=10634536 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25729/stat : 25729 (java) R 25725 25728 25128 0 -1 4202560 764 0 0 0 0 0 0 0 20 0 2 0 11188875 10889764864 2300 33554432000 4194304 4196468 140720980746352 140515656447320 140515644495776 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[startup+0.100151 s]
/proc/loadavg: 2.29 2.02 1.93 3/261 25728
/proc/meminfo: memFree=30933484/32770624 swapFree=5716/320020
[pid=25728] ppid=25725 vsize=13263912 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/25728/stat : 25728 (java) S 25725 25728 25128 0 -1 1077944320 6485 0 0 0 9 1 0 0 20 0 20 0 11188875 13582245888 7269 33554432000 4194304 4196468 140720980746352 140720980728896 140515652206327 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
/proc/25728/statm: 3315978 7269 3369 1 0 3303698 0
[pid=25728/tid=25729] ppid=25725 vsize=13263912 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25729/stat : 25729 (java) R 25725 25728 25128 0 -1 4202560 4516 0 0 0 8 0 0 0 20 0 20 0 11188875 13582245888 7269 33554432000 4194304 4196468 140720980746352 140515656439592 140515652228253 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13263912
[startup+0.200379 s]
/proc/loadavg: 2.29 2.02 1.93 3/261 25728
/proc/meminfo: memFree=30933484/32770624 swapFree=5716/320020
[pid=25728] ppid=25725 vsize=13263912 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/25728/stat : 25728 (java) S 25725 25728 25128 0 -1 1077944320 8925 0 0 0 24 2 0 0 20 0 20 0 11188875 13582245888 9769 33554432000 4194304 4196468 140720980746352 140720980728896 140515652206327 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
/proc/25728/statm: 3315978 9769 3516 1 0 3303698 0
[pid=25728/tid=25729] ppid=25725 vsize=13263912 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25729/stat : 25729 (java) R 25725 25728 25128 0 -1 4202560 6654 0 0 0 17 1 0 0 20 0 20 0 11188875 13582245888 9769 33554432000 4194304 4196468 140720980746352 140515656437216 140515241954174 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 13263912
[startup+0.300372 s]
/proc/loadavg: 2.29 2.02 1.93 3/261 25728
/proc/meminfo: memFree=30933484/32770624 swapFree=5716/320020
[pid=25728] ppid=25725 vsize=13263932 CPUtime=0.46 cores=1,3,5,7,9,11,13,15
/proc/25728/stat : 25728 (java) S 25725 25728 25128 0 -1 1077944320 10128 0 0 0 44 2 0 0 20 0 20 0 11188875 13582266368 11917 33554432000 4194304 4196468 140720980746352 140720980728896 140515652206327 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
/proc/25728/statm: 3315983 11917 3698 1 0 3303698 0
[pid=25728/tid=25729] ppid=25725 vsize=13263932 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25729/stat : 25729 (java) R 25725 25728 25128 0 -1 4202560 7195 0 0 0 26 2 0 0 20 0 20 0 11188875 13582266368 11917 33554432000 4194304 4196468 140720980746352 140515656439456 140515652228253 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 13263932
[startup+0.700322 s]
/proc/loadavg: 2.29 2.02 1.93 3/261 25728
/proc/meminfo: memFree=30933484/32770624 swapFree=5716/320020
[pid=25728] ppid=25725 vsize=13268028 CPUtime=1.35 cores=1,3,5,7,9,11,13,15
/proc/25728/stat : 25728 (java) S 25725 25728 25128 0 -1 1077944320 14014 0 0 0 131 4 0 0 20 0 20 0 11188875 13586460672 21392 33554432000 4194304 4196468 140720980746352 140720980728896 140515652206327 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
/proc/25728/statm: 3317007 21392 3766 1 0 3304722 0
[pid=25728/tid=25729] ppid=25725 vsize=13268028 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25729/stat : 25729 (java) R 25725 25728 25128 0 -1 4202560 8777 0 0 0 65 2 0 0 20 0 20 0 11188875 13586460672 21392 33554432000 4194304 4196468 140720980746352 140515656418112 140515636286814 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 13268028
[startup+1.5012 s]
/proc/loadavg: 2.29 2.02 1.93 7/281 25748
/proc/meminfo: memFree=30833708/32770624 swapFree=5716/320024
[pid=25728] ppid=25725 vsize=13268028 CPUtime=4.24 cores=1,3,5,7,9,11,13,15
/proc/25728/stat : 25728 (java) S 25725 25728 25128 0 -1 1077944320 24254 0 0 0 417 7 0 0 20 0 20 0 11188875 13586460672 39976 33554432000 4194304 4196468 140720980746352 140720980728896 140515652206327 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
/proc/25728/statm: 3317007 39976 3772 1 0 3304722 0
[pid=25728/tid=25729] ppid=25725 vsize=13268028 CPUtime=1.47 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25729/stat : 25729 (java) R 25725 25728 25128 0 -1 4202560 10210 0 0 0 143 4 0 0 20 0 20 0 11188875 13586460672 39976 33554432000 4194304 4196468 140720980746352 140515656441784 140515245130040 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25731] ppid=25725 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25731/stat : 25731 (java) S 25725 25728 25128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 11188876 13586460672 39976 33554432000 4194304 4196468 140720980746352 140515570687120 140515652216533 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25732] ppid=25725 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25732/stat : 25732 (java) S 25725 25728 25128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 11188876 13586460672 39976 33554432000 4194304 4196468 140720980746352 140515569634320 140515652216533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25733] ppid=25725 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25733/stat : 25733 (java) S 25725 25728 25128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 11188876 13586460672 39976 33554432000 4194304 4196468 140720980746352 140515568581520 140515652216533 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25734] ppid=25725 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25734/stat : 25734 (java) S 25725 25728 25128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 11188876 13586460672 39976 33554432000 4194304 4196468 140720980746352 140515567528720 140515652216533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25735] ppid=25725 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25735/stat : 25735 (java) S 25725 25728 25128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 11188876 13586460672 39976 33554432000 4194304 4196468 140720980746352 140515566475920 140515652216533 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25736] ppid=25725 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25736/stat : 25736 (java) S 25725 25728 25128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 11188876 13586460672 39976 33554432000 4194304 4196468 140720980746352 140515565423120 140515652216533 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25737] ppid=25725 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25737/stat : 25737 (java) S 25725 25728 25128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 11188876 13586460672 39976 33554432000 4194304 4196468 140720980746352 140515564370320 140515652216533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25738] ppid=25725 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25738/stat : 25738 (java) S 25725 25728 25128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 11188876 13586460672 39976 33554432000 4194304 4196468 140720980746352 140515563317520 140515652216533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25739] ppid=25725 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25739/stat : 25739 (java) S 25725 25728 25128 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 11188878 13586460672 39976 33554432000 4194304 4196468 140720980746352 140515115150192 140515652217474 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25740] ppid=25725 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25740/stat : 25740 (java) S 25725 25728 25128 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 11188878 13586460672 39976 33554432000 4194304 4196468 140720980746352 140515114096160 140515652216533 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25741] ppid=25725 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25741/stat : 25741 (java) S 25725 25728 25128 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 11188879 13586460672 39976 33554432000 4194304 4196468 140720980746352 140515113043312 140515652216533 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25742] ppid=25725 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25742/stat : 25742 (java) S 25725 25728 25128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 11188882 13586460672 39976 33554432000 4194304 4196468 140720980746352 140515111991632 140515652224923 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25743] ppid=25725 vsize=13268028 CPUtime=0.8 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25743/stat : 25743 (java) R 25725 25728 25128 0 -1 4202560 4489 0 0 0 79 1 0 0 20 0 20 0 11188882 13586460672 39976 33554432000 4194304 4196468 140720980746352 140515110924872 140515637321570 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25744] ppid=25725 vsize=13268028 CPUtime=0.76 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25744/stat : 25744 (java) S 25725 25728 25128 0 -1 1077944384 3411 0 0 0 76 0 0 0 20 0 20 0 11188882 13586460672 39976 33554432000 4194304 4196468 140720980746352 140515109886192 140515652217474 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25745] ppid=25725 vsize=13268028 CPUtime=0.78 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25745/stat : 25745 (java) S 25725 25728 25128 0 -1 1077944384 3068 0 0 0 77 1 0 0 20 0 20 0 11188882 13586460672 39976 33554432000 4194304 4196468 140720980746352 140515108833392 140515652217474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25746] ppid=25725 vsize=13268028 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25746/stat : 25746 (java) R 25725 25728 25128 0 -1 1077944384 1682 0 0 0 40 0 0 0 20 0 20 0 11188882 13586460672 39976 33554432000 4194304 4196468 140720980746352 140515107780592 140515652217474 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25747] ppid=25725 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25747/stat : 25747 (java) S 25725 25728 25128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 11188882 13586460672 39976 33554432000 4194304 4196468 140720980746352 140515106729056 140515652216533 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25748] ppid=25725 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25748/stat : 25748 (java) S 25725 25728 25128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 11188882 13586460672 39976 33554432000 4194304 4196468 140720980746352 140515105676336 140515652217474 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
Current children cumulated CPU time (s) 4.24
Current children cumulated vsize (KiB) 13268028
[startup+3.10077 s]
/proc/loadavg: 2.29 2.02 1.93 3/281 25748
/proc/meminfo: memFree=30725296/32770624 swapFree=5716/320024
[pid=25728] ppid=25725 vsize=13268028 CPUtime=6.37 cores=1,3,5,7,9,11,13,15
/proc/25728/stat : 25728 (java) S 25725 25728 25128 0 -1 1077944320 27523 0 0 0 625 12 0 0 20 0 20 0 11188875 13586460672 55757 33554432000 4194304 4196468 140720980746352 140720980728896 140515652206327 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
/proc/25728/statm: 3317007 55757 3796 1 0 3304722 0
[pid=25728/tid=25729] ppid=25725 vsize=13268028 CPUtime=3.06 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25729/stat : 25729 (java) R 25725 25728 25128 0 -1 4202560 10525 0 0 0 301 5 0 0 20 0 20 0 11188875 13586460672 55757 33554432000 4194304 4196468 140720980746352 140515656442096 140515245181126 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25731] ppid=25725 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25731/stat : 25731 (java) S 25725 25728 25128 0 -1 1077944384 452 0 0 0 0 0 0 0 20 0 20 0 11188876 13586460672 55757 33554432000 4194304 4196468 140720980746352 140515570687120 140515652216533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25732] ppid=25725 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25732/stat : 25732 (java) S 25725 25728 25128 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 20 0 11188876 13586460672 55757 33554432000 4194304 4196468 140720980746352 140515569634320 140515652216533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25733] ppid=25725 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25733/stat : 25733 (java) S 25725 25728 25128 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 20 0 11188876 13586460672 55757 33554432000 4194304 4196468 140720980746352 140515568581520 140515652216533 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25734] ppid=25725 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25734/stat : 25734 (java) S 25725 25728 25128 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 20 0 11188876 13586460672 55757 33554432000 4194304 4196468 140720980746352 140515567528720 140515652216533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25735] ppid=25725 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25735/stat : 25735 (java) S 25725 25728 25128 0 -1 1077944384 340 0 0 0 0 0 0 0 20 0 20 0 11188876 13586460672 55757 33554432000 4194304 4196468 140720980746352 140515566475920 140515652216533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25736] ppid=25725 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25736/stat : 25736 (java) S 25725 25728 25128 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 11188876 13586460672 55757 33554432000 4194304 4196468 140720980746352 140515565423120 140515652216533 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25737] ppid=25725 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25737/stat : 25737 (java) S 25725 25728 25128 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 20 0 11188876 13586460672 55757 33554432000 4194304 4196468 140720980746352 140515564370320 140515652216533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25738] ppid=25725 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25738/stat : 25738 (java) S 25725 25728 25128 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 20 0 11188876 13586460672 55757 33554432000 4194304 4196468 140720980746352 140515563317520 140515652216533 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25739] ppid=25725 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25739/stat : 25739 (java) S 25725 25728 25128 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 20 0 11188878 13586460672 55757 33554432000 4194304 4196468 140720980746352 140515115150192 140515652217474 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25740] ppid=25725 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25740/stat : 25740 (java) S 25725 25728 25128 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 20 0 11188878 13586460672 55757 33554432000 4194304 4196468 140720980746352 140515114096224 140515652216533 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25741] ppid=25725 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25741/stat : 25741 (java) S 25725 25728 25128 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 11188879 13586460672 55757 33554432000 4194304 4196468 140720980746352 140515113043328 140515652216533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25742] ppid=25725 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25742/stat : 25742 (java) S 25725 25728 25128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 11188882 13586460672 55757 33554432000 4194304 4196468 140720980746352 140515111991632 140515652224923 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25743] ppid=25725 vsize=13268028 CPUtime=0.93 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25743/stat : 25743 (java) S 25725 25728 25128 0 -1 1077944384 4790 0 0 0 92 1 0 0 20 0 20 0 11188882 13586460672 55757 33554432000 4194304 4196468 140720980746352 140515110938992 140515652217474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25744] ppid=25725 vsize=13268028 CPUtime=0.85 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25744/stat : 25744 (java) S 25725 25728 25128 0 -1 1077944384 3433 0 0 0 85 0 0 0 20 0 20 0 11188882 13586460672 55757 33554432000 4194304 4196468 140720980746352 140515109886192 140515652217474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25745] ppid=25725 vsize=13268028 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25745/stat : 25745 (java) S 25725 25728 25128 0 -1 1077944384 3156 0 0 0 98 1 0 0 20 0 20 0 11188882 13586460672 55757 33554432000 4194304 4196468 140720980746352 140515108833392 140515652217474 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25746] ppid=25725 vsize=13268028 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25746/stat : 25746 (java) S 25725 25728 25128 0 -1 1077944384 2724 0 0 0 42 0 0 0 20 0 20 0 11188882 13586460672 55757 33554432000 4194304 4196468 140720980746352 140515107780592 140515652217474 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25747] ppid=25725 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25747/stat : 25747 (java) S 25725 25728 25128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 11188882 13586460672 55757 33554432000 4194304 4196468 140720980746352 140515106729056 140515652216533 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25748] ppid=25725 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25748/stat : 25748 (java) S 25725 25728 25128 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 20 0 11188882 13586460672 55757 33554432000 4194304 4196468 140720980746352 140515105676336 140515652217474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
Current children cumulated CPU time (s) 6.37
Current children cumulated vsize (KiB) 13268028
[startup+6.3008 s]
/proc/loadavg: 2.27 2.02 1.93 3/281 25748
/proc/meminfo: memFree=30716076/32770624 swapFree=5716/320032
[pid=25728] ppid=25725 vsize=13268028 CPUtime=9.63 cores=1,3,5,7,9,11,13,15
/proc/25728/stat : 25728 (java) S 25725 25728 25128 0 -1 1077944320 28035 0 0 0 948 15 0 0 20 0 20 0 11188875 13586460672 57247 33554432000 4194304 4196468 140720980746352 140720980728896 140515652206327 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
/proc/25728/statm: 3317007 57247 3797 1 0 3304722 0
[pid=25728/tid=25729] ppid=25725 vsize=13268028 CPUtime=6 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25729/stat : 25729 (java) R 25725 25728 25128 0 -1 4202560 10554 0 0 0 595 5 0 0 20 0 20 0 11188875 13586460672 57247 33554432000 4194304 4196468 140720980746352 140515656441848 140515245130030 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25731] ppid=25725 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25731/stat : 25731 (java) S 25725 25728 25128 0 -1 1077944384 460 0 0 0 1 0 0 0 20 0 20 0 11188876 13586460672 57247 33554432000 4194304 4196468 140720980746352 140515570687120 140515652216533 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25732] ppid=25725 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25732/stat : 25732 (java) S 25725 25728 25128 0 -1 1077944384 51 0 0 0 1 0 0 0 20 0 20 0 11188876 13586460672 57247 33554432000 4194304 4196468 140720980746352 140515569634320 140515652216533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25733] ppid=25725 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25733/stat : 25733 (java) S 25725 25728 25128 0 -1 1077944384 77 0 0 0 1 0 0 0 20 0 20 0 11188876 13586460672 57247 33554432000 4194304 4196468 140720980746352 140515568581520 140515652216533 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25734] ppid=25725 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25734/stat : 25734 (java) S 25725 25728 25128 0 -1 1077944384 47 0 0 0 1 0 0 0 20 0 20 0 11188876 13586460672 57247 33554432000 4194304 4196468 140720980746352 140515567528720 140515652216533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25735] ppid=25725 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25735/stat : 25735 (java) S 25725 25728 25128 0 -1 1077944384 342 0 0 0 0 0 0 0 20 0 20 0 11188876 13586460672 57247 33554432000 4194304 4196468 140720980746352 140515566475920 140515652216533 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25736] ppid=25725 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25736/stat : 25736 (java) S 25725 25728 25128 0 -1 1077944384 65 0 0 0 1 0 0 0 20 0 20 0 11188876 13586460672 57247 33554432000 4194304 4196468 140720980746352 140515565423120 140515652216533 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25737] ppid=25725 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25737/stat : 25737 (java) S 25725 25728 25128 0 -1 1077944384 78 0 0 0 1 0 0 0 20 0 20 0 11188876 13586460672 57247 33554432000 4194304 4196468 140720980746352 140515564370320 140515652216533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25738] ppid=25725 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25738/stat : 25738 (java) S 25725 25728 25128 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 20 0 11188876 13586460672 57247 33554432000 4194304 4196468 140720980746352 140515563317520 140515652216533 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25739] ppid=25725 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25739/stat : 25739 (java) S 25725 25728 25128 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 20 0 11188878 13586460672 57247 33554432000 4194304 4196468 140720980746352 140515115150192 140515652217474 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 37 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25740] ppid=25725 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25740/stat : 25740 (java) S 25725 25728 25128 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 20 0 11188878 13586460672 57247 33554432000 4194304 4196468 140720980746352 140515114096224 140515652216533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25741] ppid=25725 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25741/stat : 25741 (java) S 25725 25728 25128 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 20 0 11188879 13586460672 57247 33554432000 4194304 4196468 140720980746352 140515113043328 140515652216533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25742] ppid=25725 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
[pid=25728/tid=25744] ppid=25725 vsize=13268028 CPUtime=1.07 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25744/stat : 25744 (java) S 25725 25728 25128 0 -1 1077944384 9094 0 0 0 107 0 0 0 20 0 20 0 11188882 13586460672 78188 33554432000 4194304 4196468 140720980746352 140515109886192 140515652217474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25745] ppid=25725 vsize=13268028 CPUtime=1.27 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25745/stat : 25745 (java) S 25725 25728 25128 0 -1 1077944384 9560 0 0 0 125 2 0 0 20 0 20 0 11188882 13586460672 78188 33554432000 4194304 4196468 140720980746352 140515108833392 140515652217474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25746] ppid=25725 vsize=13268028 CPUtime=0.47 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25746/stat : 25746 (java) S 25725 25728 25128 0 -1 1077944384 4904 0 0 0 46 1 0 0 20 0 20 0 11188882 13586460672 78188 33554432000 4194304 4196468 140720980746352 140515107780592 140515652217474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25747] ppid=25725 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25747/stat : 25747 (java) S 25725 25728 25128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 11188882 13586460672 78188 33554432000 4194304 4196468 140720980746352 140515106729056 140515652216533 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25748] ppid=25725 vsize=13268028 CPUtime=0.6 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25748/stat : 25748 (java) S 25725 25728 25128 0 -1 1077944384 1019 0 0 0 25 35 0 0 20 0 20 0 11188882 13586460672 78188 33554432000 4194304 4196468 140720980746352 140515105676336 140515652217474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 52 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
Current children cumulated CPU time (s) 2306.45
Current children cumulated vsize (KiB) 13268028
[startup+2322.3 s]
/proc/loadavg: 1.60 1.65 1.73 3/282 25943
/proc/meminfo: memFree=30750332/32770624 swapFree=5716/321936
[pid=25728] ppid=25725 vsize=13268028 CPUtime=2367.46 cores=1,3,5,7,9,11,13,15
/proc/25728/stat : 25728 (java) S 25725 25728 25128 0 -1 1077944320 107460 0 0 0 236473 273 0 0 20 0 20 0 11188875 13586460672 78700 33554432000 4194304 4196468 140720980746352 140720980728896 140515652206327 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
/proc/25728/statm: 3317007 78700 3807 1 0 3304722 0
[pid=25728/tid=25729] ppid=25725 vsize=13268028 CPUtime=2309.35 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25729/stat : 25729 (java) R 25725 25728 25128 0 -1 4202560 31550 0 0 0 230920 15 0 0 20 0 20 0 11188875 13586460672 78700 33554432000 4194304 4196468 140720980746352 140515656444320 140515245181126 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25731] ppid=25725 vsize=13268028 CPUtime=6.14 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25731/stat : 25731 (java) S 25725 25728 25128 0 -1 1077944384 4439 0 0 0 586 28 0 0 20 0 20 0 11188876 13586460672 78700 33554432000 4194304 4196468 140720980746352 140515570687120 140515652216533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25732] ppid=25725 vsize=13268028 CPUtime=6.22 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25732/stat : 25732 (java) S 25725 25728 25128 0 -1 1077944384 4341 0 0 0 594 28 0 0 20 0 20 0 11188876 13586460672 78700 33554432000 4194304 4196468 140720980746352 140515569634320 140515652216533 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25733] ppid=25725 vsize=13268028 CPUtime=6.19 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25733/stat : 25733 (java) S 25725 25728 25128 0 -1 1077944384 3436 0 0 0 591 28 0 0 20 0 20 0 11188876 13586460672 78700 33554432000 4194304 4196468 140720980746352 140515568581520 140515652216533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25734] ppid=25725 vsize=13268028 CPUtime=6.15 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25734/stat : 25734 (java) S 25725 25728 25128 0 -1 1077944384 3035 0 0 0 588 27 0 0 20 0 20 0 11188876 13586460672 78700 33554432000 4194304 4196468 140720980746352 140515567528720 140515652216533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25735] ppid=25725 vsize=13268028 CPUtime=6.25 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25735/stat : 25735 (java) S 25725 25728 25128 0 -1 1077944384 4573 0 0 0 600 25 0 0 20 0 20 0 11188876 13586460672 78700 33554432000 4194304 4196468 140720980746352 140515566475920 140515652216533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25736] ppid=25725 vsize=13268028 CPUtime=6.19 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25736/stat : 25736 (java) S 25725 25728 25128 0 -1 1077944384 5042 0 0 0 590 29 0 0 20 0 20 0 11188876 13586460672 78700 33554432000 4194304 4196468 140720980746352 140515565423120 140515652216533 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25737] ppid=25725 vsize=13268028 CPUtime=6.13 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25737/stat : 25737 (java) S 25725 25728 25128 0 -1 1077944384 3513 0 0 0 588 25 0 0 20 0 20 0 11188876 13586460672 78700 33554432000 4194304 4196468 140720980746352 140515564370320 140515652216533 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25738] ppid=25725 vsize=13268028 CPUtime=6.2 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25738/stat : 25738 (java) S 25725 25728 25128 0 -1 1077944384 4033 0 0 0 593 27 0 0 20 0 20 0 11188876 13586460672 78700 33554432000 4194304 4196468 140720980746352 140515563317520 140515652216533 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25739] ppid=25725 vsize=13268028 CPUtime=3.78 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25739/stat : 25739 (java) S 25725 25728 25128 0 -1 1077944384 7387 0 0 0 351 27 0 0 20 0 20 0 11188878 13586460672 78700 33554432000 4194304 4196468 140720980746352 140515115150192 140515652217474 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 37 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25740] ppid=25725 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25740/stat : 25740 (java) S 25725 25728 25128 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 20 0 11188878 13586460672 78700 33554432000 4194304 4196468 140720980746352 140515114096224 140515652216533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25741] ppid=25725 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25741/stat : 25741 (java) S 25725 25728 25128 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 20 0 11188879 13586460672 78700 33554432000 4194304 4196468 140720980746352 140515113043328 140515652216533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25742] ppid=25725 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25742/stat : 25742 (java) S 25725 25728 25128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 11188882 13586460672 78700 33554432000 4194304 4196468 140720980746352 140515111991632 140515652224923 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25743] ppid=25725 vsize=13268028 CPUtime=1.3 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25743/stat : 25743 (java) S 25725 25728 25128 0 -1 1077944384 10048 0 0 0 129 1 0 0 20 0 20 0 11188882 13586460672 78700 33554432000 4194304 4196468 140720980746352 140515110938992 140515652217474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25744] ppid=25725 vsize=13268028 CPUtime=1.07 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25744/stat : 25744 (java) S 25725 25728 25128 0 -1 1077944384 9096 0 0 0 107 0 0 0 20 0 20 0 11188882 13586460672 78700 33554432000 4194304 4196468 140720980746352 140515109886192 140515652217474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25745] ppid=25725 vsize=13268028 CPUtime=1.27 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25745/stat : 25745 (java) S 25725 25728 25128 0 -1 1077944384 9562 0 0 0 125 2 0 0 20 0 20 0 11188882 13586460672 78700 33554432000 4194304 4196468 140720980746352 140515108833392 140515652217474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25746] ppid=25725 vsize=13268028 CPUtime=0.47 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25746/stat : 25746 (java) S 25725 25728 25128 0 -1 1077944384 4906 0 0 0 46 1 0 0 20 0 20 0 11188882 13586460672 78700 33554432000 4194304 4196468 140720980746352 140515107780592 140515652217474 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25747] ppid=25725 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25747/stat : 25747 (java) S 25725 25728 25128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 11188882 13586460672 78700 33554432000 4194304 4196468 140720980746352 140515106729056 140515652216533 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25748] ppid=25725 vsize=13268028 CPUtime=0.62 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25748/stat : 25748 (java) S 25725 25728 25128 0 -1 1077944384 1034 0 0 0 26 36 0 0 20 0 20 0 11188882 13586460672 78700 33554432000 4194304 4196468 140720980746352 140515105676336 140515652217474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 52 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
Current children cumulated CPU time (s) 2367.46
Current children cumulated vsize (KiB) 13268028
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2354.3 s]
/proc/loadavg: 1.65 1.66 1.73 3/282 25943
/proc/meminfo: memFree=30748036/32770624 swapFree=5716/321936
[pid=25728] ppid=25725 vsize=13268028 CPUtime=2400.07 cores=1,3,5,7,9,11,13,15
/proc/25728/stat : 25728 (java) S 25725 25728 25128 0 -1 1077944320 108670 0 0 0 239730 277 0 0 20 0 20 0 11188875 13586460672 79213 33554432000 4194304 4196468 140720980746352 140720980728896 140515652206327 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
/proc/25728/statm: 3317007 79213 3807 1 0 3304722 0
[pid=25728/tid=25729] ppid=25725 vsize=13268028 CPUtime=2341.16 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25729/stat : 25729 (java) R 25725 25728 25128 0 -1 4202560 32080 0 0 0 234101 15 0 0 20 0 20 0 11188875 13586460672 79213 33554432000 4194304 4196468 140720980746352 140515656444528 140515244690047 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25731] ppid=25725 vsize=13268028 CPUtime=6.22 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25731/stat : 25731 (java) S 25725 25728 25128 0 -1 1077944384 4532 0 0 0 594 28 0 0 20 0 20 0 11188876 13586460672 79213 33554432000 4194304 4196468 140720980746352 140515570687120 140515652216533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25732] ppid=25725 vsize=13268028 CPUtime=6.31 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25732/stat : 25732 (java) S 25725 25728 25128 0 -1 1077944384 4375 0 0 0 603 28 0 0 20 0 20 0 11188876 13586460672 79213 33554432000 4194304 4196468 140720980746352 140515569634320 140515652216533 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25733] ppid=25725 vsize=13268028 CPUtime=6.29 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25733/stat : 25733 (java) S 25725 25728 25128 0 -1 1077944384 3584 0 0 0 601 28 0 0 20 0 20 0 11188876 13586460672 79213 33554432000 4194304 4196468 140720980746352 140515568581520 140515652216533 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25734] ppid=25725 vsize=13268028 CPUtime=6.23 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25734/stat : 25734 (java) S 25725 25728 25128 0 -1 1077944384 3081 0 0 0 596 27 0 0 20 0 20 0 11188876 13586460672 79213 33554432000 4194304 4196468 140720980746352 140515567528720 140515652216533 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25735] ppid=25725 vsize=13268028 CPUtime=6.34 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25735/stat : 25735 (java) S 25725 25728 25128 0 -1 1077944384 4610 0 0 0 608 26 0 0 20 0 20 0 11188876 13586460672 79213 33554432000 4194304 4196468 140720980746352 140515566475920 140515652216533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25736] ppid=25725 vsize=13268028 CPUtime=6.27 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25736/stat : 25736 (java) S 25725 25728 25128 0 -1 1077944384 5079 0 0 0 598 29 0 0 20 0 20 0 11188876 13586460672 79213 33554432000 4194304 4196468 140720980746352 140515565423120 140515652216533 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25737] ppid=25725 vsize=13268028 CPUtime=6.23 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25737/stat : 25737 (java) S 25725 25728 25128 0 -1 1077944384 3584 0 0 0 597 26 0 0 20 0 20 0 11188876 13586460672 79213 33554432000 4194304 4196468 140720980746352 140515564370320 140515652216533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25738] ppid=25725 vsize=13268028 CPUtime=6.29 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25738/stat : 25738 (java) S 25725 25728 25128 0 -1 1077944384 4050 0 0 0 601 28 0 0 20 0 20 0 11188876 13586460672 79213 33554432000 4194304 4196468 140720980746352 140515563317520 140515652216533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25739] ppid=25725 vsize=13268028 CPUtime=3.83 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25739/stat : 25739 (java) S 25725 25728 25128 0 -1 1077944384 7563 0 0 0 356 27 0 0 20 0 20 0 11188878 13586460672 79213 33554432000 4194304 4196468 140720980746352 140515115150192 140515652217474 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 37 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25740] ppid=25725 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25740/stat : 25740 (java) S 25725 25728 25128 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 20 0 11188878 13586460672 79213 33554432000 4194304 4196468 140720980746352 140515114096224 140515652216533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25741] ppid=25725 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25741/stat : 25741 (java) S 25725 25728 25128 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 20 0 11188879 13586460672 79213 33554432000 4194304 4196468 140720980746352 140515113043328 140515652216533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25742] ppid=25725 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25742/stat : 25742 (java) S 25725 25728 25128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 11188882 13586460672 79213 33554432000 4194304 4196468 140720980746352 140515111991632 140515652224923 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25743] ppid=25725 vsize=13268028 CPUtime=1.3 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25743/stat : 25743 (java) S 25725 25728 25128 0 -1 1077944384 10050 0 0 0 129 1 0 0 20 0 20 0 11188882 13586460672 79213 33554432000 4194304 4196468 140720980746352 140515110938992 140515652217474 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25744] ppid=25725 vsize=13268028 CPUtime=1.07 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25744/stat : 25744 (java) S 25725 25728 25128 0 -1 1077944384 9098 0 0 0 107 0 0 0 20 0 20 0 11188882 13586460672 79213 33554432000 4194304 4196468 140720980746352 140515109886192 140515652217474 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25745] ppid=25725 vsize=13268028 CPUtime=1.28 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25745/stat : 25745 (java) S 25725 25728 25128 0 -1 1077944384 9564 0 0 0 126 2 0 0 20 0 20 0 11188882 13586460672 79213 33554432000 4194304 4196468 140720980746352 140515108833392 140515652217474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25746] ppid=25725 vsize=13268028 CPUtime=0.47 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25746/stat : 25746 (java) S 25725 25728 25128 0 -1 1077944384 4908 0 0 0 46 1 0 0 20 0 20 0 11188882 13586460672 79213 33554432000 4194304 4196468 140720980746352 140515107780592 140515652217474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25747] ppid=25725 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25747/stat : 25747 (java) S 25725 25728 25128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 11188882 13586460672 79213 33554432000 4194304 4196468 140720980746352 140515106729056 140515652216533 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25748] ppid=25725 vsize=13268028 CPUtime=0.62 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25748/stat : 25748 (java) S 25725 25728 25128 0 -1 1077944384 1047 0 0 0 26 36 0 0 20 0 20 0 11188882 13586460672 79213 33554432000 4194304 4196468 140720980746352 140515105676336 140515652217474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 52 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 13268028
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 25728 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2354.3 s]
/proc/loadavg: 1.65 1.66 1.73 3/282 25943
/proc/meminfo: memFree=30748036/32770624 swapFree=5716/321936
[pid=25728] ppid=25725 vsize=13268028 CPUtime=2400.07 cores=1,3,5,7,9,11,13,15
/proc/25728/stat : 25728 (java) S 25725 25728 25128 0 -1 1077944320 108670 0 0 0 239730 277 0 0 20 0 20 0 11188875 13586460672 79213 33554432000 4194304 4196468 140720980746352 140720980728896 140515652206327 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
/proc/25728/statm: 3317007 79213 3807 1 0 3304722 0
[pid=25728/tid=25729] ppid=25725 vsize=13268028 CPUtime=2341.16 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25729/stat : 25729 (java) R 25725 25728 25128 0 -1 4202560 32080 0 0 0 234101 15 0 0 20 0 20 0 11188875 13586460672 79213 33554432000 4194304 4196468 140720980746352 140515656444528 140515244690047 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25731] ppid=25725 vsize=13268028 CPUtime=6.22 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25731/stat : 25731 (java) S 25725 25728 25128 0 -1 1077944384 4532 0 0 0 594 28 0 0 20 0 20 0 11188876 13586460672 79213 33554432000 4194304 4196468 140720980746352 140515570687120 140515652216533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25732] ppid=25725 vsize=13268028 CPUtime=6.31 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25732/stat : 25732 (java) S 25725 25728 25128 0 -1 1077944384 4375 0 0 0 603 28 0 0 20 0 20 0 11188876 13586460672 79213 33554432000 4194304 4196468 140720980746352 140515569634320 140515652216533 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25733] ppid=25725 vsize=13268028 CPUtime=6.29 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25733/stat : 25733 (java) S 25725 25728 25128 0 -1 1077944384 3584 0 0 0 601 28 0 0 20 0 20 0 11188876 13586460672 79213 33554432000 4194304 4196468 140720980746352 140515568581520 140515652216533 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25734] ppid=25725 vsize=13268028 CPUtime=6.23 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25734/stat : 25734 (java) S 25725 25728 25128 0 -1 1077944384 3081 0 0 0 596 27 0 0 20 0 20 0 11188876 13586460672 79213 33554432000 4194304 4196468 140720980746352 140515567528720 140515652216533 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25735] ppid=25725 vsize=13268028 CPUtime=6.34 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25735/stat : 25735 (java) S 25725 25728 25128 0 -1 1077944384 4610 0 0 0 608 26 0 0 20 0 20 0 11188876 13586460672 79213 33554432000 4194304 4196468 140720980746352 140515566475920 140515652216533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25736] ppid=25725 vsize=13268028 CPUtime=6.27 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25736/stat : 25736 (java) S 25725 25728 25128 0 -1 1077944384 5079 0 0 0 598 29 0 0 20 0 20 0 11188876 13586460672 79213 33554432000 4194304 4196468 140720980746352 140515565423120 140515652216533 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25737] ppid=25725 vsize=13268028 CPUtime=6.23 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25737/stat : 25737 (java) S 25725 25728 25128 0 -1 1077944384 3584 0 0 0 597 26 0 0 20 0 20 0 11188876 13586460672 79213 33554432000 4194304 4196468 140720980746352 140515564370320 140515652216533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25738] ppid=25725 vsize=13268028 CPUtime=6.29 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25738/stat : 25738 (java) S 25725 25728 25128 0 -1 1077944384 4050 0 0 0 601 28 0 0 20 0 20 0 11188876 13586460672 79213 33554432000 4194304 4196468 140720980746352 140515563317520 140515652216533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25739] ppid=25725 vsize=13268028 CPUtime=3.83 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25739/stat : 25739 (java) S 25725 25728 25128 0 -1 1077944384 7563 0 0 0 356 27 0 0 20 0 20 0 11188878 13586460672 79213 33554432000 4194304 4196468 140720980746352 140515115150192 140515652217474 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 37 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25740] ppid=25725 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25740/stat : 25740 (java) S 25725 25728 25128 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 20 0 11188878 13586460672 79213 33554432000 4194304 4196468 140720980746352 140515114096224 140515652216533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25741] ppid=25725 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25741/stat : 25741 (java) S 25725 25728 25128 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 20 0 11188879 13586460672 79213 33554432000 4194304 4196468 140720980746352 140515113043328 140515652216533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25742] ppid=25725 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25742/stat : 25742 (java) S 25725 25728 25128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 11188882 13586460672 79213 33554432000 4194304 4196468 140720980746352 140515111991632 140515652224923 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25743] ppid=25725 vsize=13268028 CPUtime=1.3 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25743/stat : 25743 (java) S 25725 25728 25128 0 -1 1077944384 10050 0 0 0 129 1 0 0 20 0 20 0 11188882 13586460672 79213 33554432000 4194304 4196468 140720980746352 140515110938992 140515652217474 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25744] ppid=25725 vsize=13268028 CPUtime=1.07 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25744/stat : 25744 (java) S 25725 25728 25128 0 -1 1077944384 9098 0 0 0 107 0 0 0 20 0 20 0 11188882 13586460672 79213 33554432000 4194304 4196468 140720980746352 140515109886192 140515652217474 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25745] ppid=25725 vsize=13268028 CPUtime=1.28 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25745/stat : 25745 (java) S 25725 25728 25128 0 -1 1077944384 9564 0 0 0 126 2 0 0 20 0 20 0 11188882 13586460672 79213 33554432000 4194304 4196468 140720980746352 140515108833392 140515652217474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25746] ppid=25725 vsize=13268028 CPUtime=0.47 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25746/stat : 25746 (java) S 25725 25728 25128 0 -1 1077944384 4908 0 0 0 46 1 0 0 20 0 20 0 11188882 13586460672 79213 33554432000 4194304 4196468 140720980746352 140515107780592 140515652217474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25747] ppid=25725 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25747/stat : 25747 (java) S 25725 25728 25128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 11188882 13586460672 79213 33554432000 4194304 4196468 140720980746352 140515106729056 140515652216533 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
[pid=25728/tid=25748] ppid=25725 vsize=13268028 CPUtime=0.62 cores=1,3,5,7,9,11,13,15
/proc/25728/task/25748/stat : 25748 (java) S 25725 25728 25128 0 -1 1077944384 1047 0 0 0 26 36 0 0 20 0 20 0 11188882 13586460672 79213 33554432000 4194304 4196468 140720980746352 140515105676336 140515652217474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 52 0 0 6293624 6294260 25333760 140720980751503 140720980751684 140720980751684 140720980754383 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 13268028
Child status: 143
Real time (s): 2354.31
CPU time (s): 2400.08
CPU user time (s): 2397.31
CPU system time (s): 2.77468
CPU usage (%): 101.944
Max. virtual memory (cumulated for all children) (KiB): 13268028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.31
system time used= 2.77468
maximum resident set size= 317324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108855
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2600
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 222594
involuntary context switches= 154129
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.361 second user time and 19.7448 second system time
The end