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-4245540-1500701512/watcher-4245540-1500701512 -o /tmp/evaluation-result-4245540-1500701512/solver-4245540-1500701512 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1500684088-11482 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 822164641 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4245540-1500701512.xml
pid=14253
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.69 1.68 1.60 3/261 14256
/proc/meminfo: memFree=30981496/32770624 swapFree=5852/287676
[pid=14256] ppid=14253 vsize=361196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14256/stat : 14256 (java) S 14253 14256 10103 0 -1 1077944320 1718 0 0 0 0 0 0 0 20 0 2 0 5419864 369864704 1926 33554432000 4194304 4196468 140725003447408 140725003429952 140520570969847 0 0 0 16784584 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
/proc/14256/statm: 90299 1926 1072 1 0 79210 0
[pid=14256/tid=14257] ppid=14253 vsize=361196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14257/stat : 14257 (java) S 14253 14256 10103 0 -1 1077944384 401 0 0 0 0 0 0 0 20 0 2 0 5419865 369864704 1926 33554432000 4194304 4196468 140725003447408 140520575211936 140520570980994 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[startup+0.100136 s]
/proc/loadavg: 1.69 1.68 1.60 3/261 14256
/proc/meminfo: memFree=30981496/32770624 swapFree=5852/287676
[pid=14256] ppid=14253 vsize=13264380 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/14256/stat : 14256 (java) S 14253 14256 10103 0 -1 1077944320 4945 0 0 0 8 1 0 0 20 0 20 0 5419864 13582725120 6055 33554432000 4194304 4196468 140725003447408 140725003429952 140520570969847 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
/proc/14256/statm: 3316095 6055 2872 1 0 3303815 0
[pid=14256/tid=14257] ppid=14253 vsize=13264380 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14257/stat : 14257 (java) R 14253 14256 10103 0 -1 4202560 3037 0 0 0 7 1 0 0 20 0 20 0 5419865 13582725120 6055 33554432000 4194304 4196468 140725003447408 140520575210032 140520527605622 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13264380
[startup+0.200325 s]
/proc/loadavg: 1.69 1.68 1.60 3/261 14256
/proc/meminfo: memFree=30981496/32770624 swapFree=5852/287676
[pid=14256] ppid=14253 vsize=13263912 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/14256/stat : 14256 (java) S 14253 14256 10103 0 -1 1077944320 8562 0 0 0 23 2 0 0 20 0 20 0 5419864 13582245888 9051 33554432000 4194304 4196468 140725003447408 140725003429952 140520570969847 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
/proc/14256/statm: 3315978 9051 3498 1 0 3303698 0
[pid=14256/tid=14257] ppid=14253 vsize=13263912 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14257/stat : 14257 (java) R 14253 14256 10103 0 -1 4202560 6288 0 0 0 16 2 0 0 20 0 20 0 5419865 13582245888 9051 33554432000 4194304 4196468 140725003447408 140520575198224 140520570991773 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 13263912
[startup+0.300449 s]
/proc/loadavg: 1.69 1.68 1.60 3/261 14256
/proc/meminfo: memFree=30981496/32770624 swapFree=5852/287676
[pid=14256] ppid=14253 vsize=13263912 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/14256/stat : 14256 (java) S 14253 14256 10103 0 -1 1077944320 9548 0 0 0 39 3 0 0 20 0 20 0 5419864 13582245888 10777 33554432000 4194304 4196468 140725003447408 140725003429952 140520570969847 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
/proc/14256/statm: 3315978 10777 3629 1 0 3303698 0
[pid=14256/tid=14257] ppid=14253 vsize=13263912 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14257/stat : 14257 (java) R 14253 14256 10103 0 -1 4202560 6992 0 0 0 25 2 0 0 20 0 20 0 5419865 13582245888 10777 33554432000 4194304 4196468 140725003447408 140520575186384 140520550047335 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 13263912
[startup+0.700197 s]
/proc/loadavg: 1.69 1.68 1.60 3/261 14256
/proc/meminfo: memFree=30981496/32770624 swapFree=5852/287676
[pid=14256] ppid=14253 vsize=13265980 CPUtime=1.36 cores=0,2,4,6,8,10,12,14
/proc/14256/stat : 14256 (java) S 14253 14256 10103 0 -1 1077944320 12388 0 0 0 131 5 0 0 20 0 20 0 5419864 13584363520 19238 33554432000 4194304 4196468 140725003447408 140725003429952 140520570969847 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
/proc/14256/statm: 3316495 19238 3770 1 0 3304210 0
[pid=14256/tid=14257] ppid=14253 vsize=13265980 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14257/stat : 14257 (java) R 14253 14256 10103 0 -1 4202560 8130 0 0 0 64 3 0 0 20 0 20 0 5419865 13584363520 19238 33554432000 4194304 4196468 140725003447408 140520575206352 140520570981782 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 13265980
[startup+1.50072 s]
/proc/loadavg: 1.69 1.68 1.60 6/281 14276
/proc/meminfo: memFree=30861296/32770624 swapFree=5852/287732
[pid=14256] ppid=14253 vsize=13268028 CPUtime=4.27 cores=0,2,4,6,8,10,12,14
/proc/14256/stat : 14256 (java) S 14253 14256 10103 0 -1 1077944320 27170 0 0 0 410 17 0 0 20 0 20 0 5419864 13586460672 60110 33554432000 4194304 4196468 140725003447408 140725003429952 140520570969847 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
/proc/14256/statm: 3317007 60110 3807 1 0 3304722 0
[pid=14256/tid=14257] ppid=14253 vsize=13268028 CPUtime=1.43 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14257/stat : 14257 (java) R 14253 14256 10103 0 -1 4202560 10473 0 0 0 138 5 0 0 20 0 20 0 5419865 13586460672 60110 33554432000 4194304 4196468 140725003447408 140520575201792 140520211425733 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14259] ppid=14253 vsize=13268028 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14259/stat : 14259 (java) S 14253 14256 10103 0 -1 1077944384 65 0 0 0 1 0 0 0 20 0 20 0 5419866 13586460672 60110 33554432000 4194304 4196468 140725003447408 140520527522960 140520570980053 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14260] ppid=14253 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14260/stat : 14260 (java) S 14253 14256 10103 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 20 0 5419866 13586460672 60110 33554432000 4194304 4196468 140725003447408 140520526470160 140520570980053 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14261] ppid=14253 vsize=13268028 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14261/stat : 14261 (java) S 14253 14256 10103 0 -1 1077944384 35 0 0 0 2 0 0 0 20 0 20 0 5419866 13586460672 60110 33554432000 4194304 4196468 140725003447408 140520168553360 140520570980053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14262] ppid=14253 vsize=13268028 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14262/stat : 14262 (java) S 14253 14256 10103 0 -1 1077944384 264 0 0 0 1 1 0 0 20 0 20 0 5419866 13586460672 60110 33554432000 4194304 4196468 140725003447408 140520167500560 140520570980053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14263] ppid=14253 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14263/stat : 14263 (java) S 14253 14256 10103 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 20 0 5419866 13586460672 60110 33554432000 4194304 4196468 140725003447408 140520166447760 140520570980053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14264] ppid=14253 vsize=13268028 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14264/stat : 14264 (java) S 14253 14256 10103 0 -1 1077944384 40 0 0 0 1 1 0 0 20 0 20 0 5419866 13586460672 60110 33554432000 4194304 4196468 140725003447408 140520165394960 140520570980053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14265] ppid=14253 vsize=13268028 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14265/stat : 14265 (java) S 14253 14256 10103 0 -1 1077944384 52 0 0 0 1 1 0 0 20 0 20 0 5419866 13586460672 60110 33554432000 4194304 4196468 140725003447408 140520164342160 140520570980053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14266] ppid=14253 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14266/stat : 14266 (java) S 14253 14256 10103 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 20 0 5419866 13586460672 60110 33554432000 4194304 4196468 140725003447408 140520163289360 140520570980053 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14267] ppid=14253 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14267/stat : 14267 (java) S 14253 14256 10103 0 -1 1077944384 226 0 0 0 0 0 0 0 20 0 20 0 5419868 13586460672 60110 33554432000 4194304 4196468 140725003447408 140519900359536 140520570980994 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14268] ppid=14253 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14268/stat : 14268 (java) S 14253 14256 10103 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 5419869 13586460672 60110 33554432000 4194304 4196468 140725003447408 140519899305568 140520570980053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14269] ppid=14253 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14269/stat : 14269 (java) S 14253 14256 10103 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 5419869 13586460672 60110 33554432000 4194304 4196468 140725003447408 140519898252672 140520570980053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14270] ppid=14253 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14270/stat : 14270 (java) S 14253 14256 10103 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5419873 13586460672 60110 33554432000 4194304 4196468 140725003447408 140519897200976 140520570988443 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14271] ppid=14253 vsize=13268028 CPUtime=0.68 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14271/stat : 14271 (java) R 14253 14256 10103 0 -1 4202560 3987 0 0 0 68 0 0 0 20 0 20 0 5419873 13586460672 60110 33554432000 4194304 4196468 140725003447408 140519896129168 140520554464083 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14272] ppid=14253 vsize=13268028 CPUtime=0.72 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14272/stat : 14272 (java) R 14253 14256 10103 0 -1 4202560 4034 0 0 0 72 0 0 0 20 0 20 0 5419873 13586460672 60110 33554432000 4194304 4196468 140725003447408 140519895081504 140520554962656 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14273] ppid=14253 vsize=13268028 CPUtime=0.65 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14273/stat : 14273 (java) R 14253 14256 10103 0 -1 4202560 3099 0 0 0 65 0 0 0 20 0 20 0 5419873 13586460672 60110 33554432000 4194304 4196468 140725003447408 140519894022928 140520552513139 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14274] ppid=14253 vsize=13268028 CPUtime=0.54 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14274/stat : 14274 (java) S 14253 14256 10103 0 -1 1077944384 3388 0 0 0 53 1 0 0 20 0 20 0 5419873 13586460672 60110 33554432000 4194304 4196468 140725003447408 140519892989936 140520570980994 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14275] ppid=14253 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14275/stat : 14275 (java) S 14253 14256 10103 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5419873 13586460672 60110 33554432000 4194304 4196468 140725003447408 140519891938400 140520570980053 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14276] ppid=14253 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14276/stat : 14276 (java) S 14253 14256 10103 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5419874 13586460672 60110 33554432000 4194304 4196468 140725003447408 140519890885680 140520570980994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
Current children cumulated CPU time (s) 4.27
Current children cumulated vsize (KiB) 13268028
[startup+3.10082 s]
/proc/loadavg: 1.79 1.70 1.61 6/273 14304
/proc/meminfo: memFree=31441552/32770624 swapFree=5852/287708
[pid=14256] ppid=14253 vsize=13268028 CPUtime=9.33 cores=0,2,4,6,8,10,12,14
/proc/14256/stat : 14256 (java) S 14253 14256 10103 0 -1 1077944320 34385 0 0 0 892 41 0 0 20 0 20 0 5419864 13586460672 104782 33554432000 4194304 4196468 140725003447408 140725003429952 140520570969847 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
/proc/14256/statm: 3317007 104782 3820 1 0 3304722 0
[pid=14256/tid=14257] ppid=14253 vsize=13268028 CPUtime=2.96 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14257/stat : 14257 (java) R 14253 14256 10103 0 -1 4202560 10929 0 0 0 289 7 0 0 20 0 20 0 5419865 13586460672 104782 33554432000 4194304 4196468 140725003447408 140520575206184 140520213585828 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14259] ppid=14253 vsize=13268028 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14259/stat : 14259 (java) S 14253 14256 10103 0 -1 1077944384 102 0 0 0 3 3 0 0 20 0 20 0 5419866 13586460672 104782 33554432000 4194304 4196468 140725003447408 140520527522960 140520570980053 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14260] ppid=14253 vsize=13268028 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14260/stat : 14260 (java) S 14253 14256 10103 0 -1 1077944384 70 0 0 0 3 3 0 0 20 0 20 0 5419866 13586460672 104782 33554432000 4194304 4196468 140725003447408 140520526470160 140520570980053 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14261] ppid=14253 vsize=13268028 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14261/stat : 14261 (java) S 14253 14256 10103 0 -1 1077944384 120 0 0 0 4 4 0 0 20 0 20 0 5419866 13586460672 104782 33554432000 4194304 4196468 140725003447408 140520168553360 140520570980053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14262] ppid=14253 vsize=13268028 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14262/stat : 14262 (java) S 14253 14256 10103 0 -1 1077944384 298 0 0 0 4 4 0 0 20 0 20 0 5419866 13586460672 104782 33554432000 4194304 4196468 140725003447408 140520167500560 140520570980053 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14263] ppid=14253 vsize=13268028 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14263/stat : 14263 (java) S 14253 14256 10103 0 -1 1077944384 54 0 0 0 3 3 0 0 20 0 20 0 5419866 13586460672 104782 33554432000 4194304 4196468 140725003447408 140520166447760 140520570980053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14264] ppid=14253 vsize=13268028 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14264/stat : 14264 (java) S 14253 14256 10103 0 -1 1077944384 83 0 0 0 3 3 0 0 20 0 20 0 5419866 13586460672 104782 33554432000 4194304 4196468 140725003447408 140520165394960 140520570980053 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14265] ppid=14253 vsize=13268028 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14265/stat : 14265 (java) S 14253 14256 10103 0 -1 1077944384 569 0 0 0 3 3 0 0 20 0 20 0 5419866 13586460672 104782 33554432000 4194304 4196468 140725003447408 140520164342160 140520570980053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14266] ppid=14253 vsize=13268028 CPUtime=0.06 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14266/stat : 14266 (java) S 14253 14256 10103 0 -1 1077944384 68 0 0 0 3 3 0 0 20 0 20 0 5419866 13586460672 104782 33554432000 4194304 4196468 140725003447408 140520163289360 140520570980053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14267] ppid=14253 vsize=13268028 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14267/stat : 14267 (java) S 14253 14256 10103 0 -1 1077944384 416 0 0 0 1 0 0 0 20 0 20 0 5419868 13586460672 104782 33554432000 4194304 4196468 140725003447408 140519900359536 140520570980994 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14268] ppid=14253 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14268/stat : 14268 (java) S 14253 14256 10103 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 5419869 13586460672 104782 33554432000 4194304 4196468 140725003447408 140519899305568 140520570980053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14269] ppid=14253 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14269/stat : 14269 (java) S 14253 14256 10103 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 5419869 13586460672 104782 33554432000 4194304 4196468 140725003447408 140519898252672 140520570980053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14270] ppid=14253 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14270/stat : 14270 (java) S 14253 14256 10103 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5419873 13586460672 104782 33554432000 4194304 4196468 140725003447408 140519897200976 140520570988443 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14271] ppid=14253 vsize=13268028 CPUtime=1.64 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14271/stat : 14271 (java) S 14253 14256 10103 0 -1 1077944384 5433 0 0 0 163 1 0 0 20 0 20 0 5419873 13586460672 104782 33554432000 4194304 4196468 140725003447408 140519896148336 140520570980994 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14272] ppid=14253 vsize=13268028 CPUtime=1.74 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14272/stat : 14272 (java) S 14253 14256 10103 0 -1 1077944384 6681 0 0 0 174 0 0 0 20 0 20 0 5419873 13586460672 104782 33554432000 4194304 4196468 140725003447408 140519895095536 140520570980994 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14273] ppid=14253 vsize=13268028 CPUtime=1.73 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14273/stat : 14273 (java) S 14253 14256 10103 0 -1 1077944384 4649 0 0 0 173 0 0 0 20 0 20 0 5419873 13586460672 104782 33554432000 4194304 4196468 140725003447408 140519894042736 140520570980994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14274] ppid=14253 vsize=13268028 CPUtime=0.58 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14274/stat : 14274 (java) S 14253 14256 10103 0 -1 1077944384 3485 0 0 0 57 1 0 0 20 0 20 0 5419873 13586460672 104782 33554432000 4194304 4196468 140725003447408 140519892989936 140520570980994 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14275] ppid=14253 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14275/stat : 14275 (java) S 14253 14256 10103 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5419873 13586460672 104782 33554432000 4194304 4196468 140725003447408 140519891938400 140520570980053 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14276] ppid=14253 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14276/stat : 14276 (java) S 14253 14256 10103 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 20 0 5419874 13586460672 104782 33554432000 4194304 4196468 140725003447408 140519890885680 140520570980994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
Current children cumulated CPU time (s) 9.33
Current children cumulated vsize (KiB) 13268028
[startup+6.30076 s]
/proc/loadavg: 1.79 1.70 1.61 6/281 14448
/proc/meminfo: memFree=30964452/32770624 swapFree=5852/287764
[pid=14256] ppid=14253 vsize=13268028 CPUtime=13 cores=0,2,4,6,8,10,12,14
/proc/14256/stat : 14256 (java) S 14253 14256 10103 0 -1 1077944320 35073 0 0 0 1228 72 0 0 20 0 20 0 5419864 13586460672 172124 33554432000 4194304 4196468 140725003447408 140725003429952 140520570969847 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
/proc/14256/statm: 3317007 172124 3820 1 0 3304722 0
[pid=14256/tid=14257] ppid=14253 vsize=13268028 CPUtime=6.09 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14257/stat : 14257 (java) S 14253 14256 10103 0 -1 1077944384 11055 0 0 0 599 10 0 0 20 0 20 0 5419865 13586460672 172124 33554432000 4194304 4196468 140725003447408 140520575208064 140520570980053 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14259] ppid=14253 vsize=13268028 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14259/stat : 14259 (java) R 14253 14256 10103 0 -1 4202560 134 0 0 0 6 6 0 0 20 0 20 0 5419866 13586460672 172124 33554432000 4194304 4196468 140725003447408 140520527523160 140520564069694 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14260] ppid=14253 vsize=13268028 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14260/stat : 14260 (java) R 14253 14256 10103 0 -1 4202560 103 0 0 0 6 7 0 0 20 0 20 0 5419866 13586460672 172124 33554432000 4194304 4196468 140725003447408 140520526470360 140520564066683 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14261] ppid=14253 vsize=13268028 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14261/stat : 14261 (java) R 14253 14256 10103 0 -1 4202560 149 0 0 0 6 8 0 0 20 0 20 0 5419866 13586460672 172124 33554432000 4194304 4196468 140725003447408 140520168553560 140520555418062 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14262] ppid=14253 vsize=13268028 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14262/stat : 14262 (java) R 14253 14256 10103 0 -1 4202560 329 0 0 0 7 7 0 0 20 0 20 0 5419866 13586460672 172124 33554432000 4194304 4196468 140725003447408 140520167500760 140520555418031 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14263] ppid=14253 vsize=13268028 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14263/stat : 14263 (java) R 14253 14256 10103 0 -1 4202560 88 0 0 0 6 6 0 0 20 0 20 0 5419866 13586460672 172124 33554432000 4194304 4196468 140725003447408 140520166447648 140520564076403 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14264] ppid=14253 vsize=13268028 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14264/stat : 14264 (java) R 14253 14256 10103 0 -1 4202560 123 0 0 0 6 6 0 0 20 0 20 0 5419866 13586460672 172124 33554432000 4194304 4196468 140725003447408 140520165395160 140520555418062 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14265] ppid=14253 vsize=13268028 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14265/stat : 14265 (java) R 14253 14256 10103 0 -1 4202560 593 0 0 0 6 6 0 0 20 0 20 0 5419866 13586460672 172124 33554432000 4194304 4196468 140725003447408 140520164342360 140520564066723 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14266] ppid=14253 vsize=13268028 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14266/stat : 14266 (java) R 14253 14256 10103 0 -1 4202560 101 0 0 0 6 7 0 0 20 0 20 0 5419866 13586460672 172126 33554432000 4194304 4196468 140725003447408 140520163289560 140520550165002 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14267] ppid=14253 vsize=13268028 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14267/stat : 14267 (java) S 14253 14256 10103 0 -1 1077944384 684 0 0 0 1 0 0 0 20 0 20 0 5419868 13586460672 172126 33554432000 4194304 4196468 140725003447408 140519900358048 140520570980053 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14268] ppid=14253 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14268/stat : 14268 (java) S 14253 14256 10103 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 5419869 13586460672 172126 33554432000 4194304 4196468 140725003447408 140519899305568 140520570980053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14269] ppid=14253 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14269/stat : 14269 (java) S 14253 14256 10103 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 5419869 13586460672 172126 33554432000 4194304 4196468 140725003447408 140519898252672 140520570980053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14270] ppid=14253 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
################
# More data... #
################
/proc/14256/task/14272/stat : 14272 (java) S 14253 14256 10103 0 -1 1077944384 8285 0 0 0 185 1 0 0 20 0 20 0 5419873 13586460672 467965 33554432000 4194304 4196468 140725003447408 140519895095536 140520570980994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14273] ppid=14253 vsize=13268028 CPUtime=1.76 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14273/stat : 14273 (java) S 14253 14256 10103 0 -1 1077944384 4855 0 0 0 175 1 0 0 20 0 20 0 5419873 13586460672 467965 33554432000 4194304 4196468 140725003447408 140519894042736 140520570980994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 23 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14274] ppid=14253 vsize=13268028 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14274/stat : 14274 (java) S 14253 14256 10103 0 -1 1077944384 4006 0 0 0 60 1 0 0 20 0 20 0 5419873 13586460672 467965 33554432000 4194304 4196468 140725003447408 140519892989936 140520570980994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14275] ppid=14253 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14275/stat : 14275 (java) S 14253 14256 10103 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5419873 13586460672 467965 33554432000 4194304 4196468 140725003447408 140519891938400 140520570980053 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14276] ppid=14253 vsize=13268028 CPUtime=1.3 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14276/stat : 14276 (java) S 14253 14256 10103 0 -1 1077944384 1425 0 0 0 65 65 0 0 20 0 20 0 5419874 13586460672 467965 33554432000 4194304 4196468 140725003447408 140519890885680 140520570980994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 23 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
Current children cumulated CPU time (s) 2329.64
Current children cumulated vsize (KiB) 13268028
[startup+2322.3 s]
/proc/loadavg: 1.33 1.44 1.53 3/281 14715
/proc/meminfo: memFree=28562856/32770624 swapFree=5852/290004
[pid=14256] ppid=14253 vsize=13268028 CPUtime=2391.23 cores=0,2,4,6,8,10,12,14
/proc/14256/stat : 14256 (java) S 14253 14256 10103 0 -1 1077944320 223977 0 0 0 238601 522 0 0 20 0 20 0 5419864 13586460672 461553 33554432000 4194304 4196468 140725003447408 140725003429952 140520570969847 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
/proc/14256/statm: 3317007 461553 3838 1 0 3304722 0
[pid=14256/tid=14257] ppid=14253 vsize=13268028 CPUtime=2303.67 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14257/stat : 14257 (java) R 14253 14256 10103 0 -1 4202560 83533 0 0 0 230300 67 0 0 20 0 20 0 5419865 13586460672 461553 33554432000 4194304 4196468 140725003447408 140520575208256 140520213253607 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14259] ppid=14253 vsize=13268028 CPUtime=9.45 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14259/stat : 14259 (java) S 14253 14256 10103 0 -1 1077944384 9608 0 0 0 902 43 0 0 20 0 20 0 5419866 13586460672 461553 33554432000 4194304 4196468 140725003447408 140520527522960 140520570980053 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14260] ppid=14253 vsize=13268028 CPUtime=9.22 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14260/stat : 14260 (java) S 14253 14256 10103 0 -1 1077944384 11370 0 0 0 874 48 0 0 20 0 20 0 5419866 13586460672 461553 33554432000 4194304 4196468 140725003447408 140520526470160 140520570980053 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14261] ppid=14253 vsize=13268028 CPUtime=9.4 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14261/stat : 14261 (java) S 14253 14256 10103 0 -1 1077944384 12474 0 0 0 889 51 0 0 20 0 20 0 5419866 13586460672 461553 33554432000 4194304 4196468 140725003447408 140520168553360 140520570980053 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14262] ppid=14253 vsize=13268028 CPUtime=9.42 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14262/stat : 14262 (java) S 14253 14256 10103 0 -1 1077944384 10640 0 0 0 895 47 0 0 20 0 20 0 5419866 13586460672 461553 33554432000 4194304 4196468 140725003447408 140520167500560 140520570980053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14263] ppid=14253 vsize=13268028 CPUtime=9.54 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14263/stat : 14263 (java) S 14253 14256 10103 0 -1 1077944384 12203 0 0 0 906 48 0 0 20 0 20 0 5419866 13586460672 461553 33554432000 4194304 4196468 140725003447408 140520166447760 140520570980053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14264] ppid=14253 vsize=13268028 CPUtime=9.36 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14264/stat : 14264 (java) S 14253 14256 10103 0 -1 1077944384 11973 0 0 0 891 45 0 0 20 0 20 0 5419866 13586460672 461553 33554432000 4194304 4196468 140725003447408 140520165394960 140520570980053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14265] ppid=14253 vsize=13268028 CPUtime=9.44 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14265/stat : 14265 (java) S 14253 14256 10103 0 -1 1077944384 9644 0 0 0 897 47 0 0 20 0 20 0 5419866 13586460672 461553 33554432000 4194304 4196468 140725003447408 140520164342160 140520570980053 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14266] ppid=14253 vsize=13268028 CPUtime=9.46 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14266/stat : 14266 (java) S 14253 14256 10103 0 -1 1077944384 12148 0 0 0 897 49 0 0 20 0 20 0 5419866 13586460672 461553 33554432000 4194304 4196468 140725003447408 140520163289360 140520570980053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14267] ppid=14253 vsize=13268028 CPUtime=4.86 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14267/stat : 14267 (java) S 14253 14256 10103 0 -1 1077944384 23526 0 0 0 430 56 0 0 20 0 20 0 5419868 13586460672 461553 33554432000 4194304 4196468 140725003447408 140519900359536 140520570980994 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14268] ppid=14253 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14268/stat : 14268 (java) S 14253 14256 10103 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 5419869 13586460672 461553 33554432000 4194304 4196468 140725003447408 140519899305568 140520570980053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14269] ppid=14253 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14269/stat : 14269 (java) S 14253 14256 10103 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 20 0 5419869 13586460672 461553 33554432000 4194304 4196468 140725003447408 140519898252672 140520570980053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14270] ppid=14253 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14270/stat : 14270 (java) S 14253 14256 10103 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5419873 13586460672 461553 33554432000 4194304 4196468 140725003447408 140519897200976 140520570988443 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14271] ppid=14253 vsize=13268028 CPUtime=1.68 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14271/stat : 14271 (java) S 14253 14256 10103 0 -1 1077944384 6805 0 0 0 167 1 0 0 20 0 20 0 5419873 13586460672 461553 33554432000 4194304 4196468 140725003447408 140519896148336 140520570980994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 22 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14272] ppid=14253 vsize=13268028 CPUtime=1.86 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14272/stat : 14272 (java) S 14253 14256 10103 0 -1 1077944384 8289 0 0 0 185 1 0 0 20 0 20 0 5419873 13586460672 461553 33554432000 4194304 4196468 140725003447408 140519895095536 140520570980994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14273] ppid=14253 vsize=13268028 CPUtime=1.76 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14273/stat : 14273 (java) S 14253 14256 10103 0 -1 1077944384 4859 0 0 0 175 1 0 0 20 0 20 0 5419873 13586460672 461553 33554432000 4194304 4196468 140725003447408 140519894042736 140520570980994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 23 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14274] ppid=14253 vsize=13268028 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14274/stat : 14274 (java) S 14253 14256 10103 0 -1 1077944384 4010 0 0 0 60 1 0 0 20 0 20 0 5419873 13586460672 461553 33554432000 4194304 4196468 140725003447408 140519892989936 140520570980994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14275] ppid=14253 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14275/stat : 14275 (java) S 14253 14256 10103 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5419873 13586460672 461553 33554432000 4194304 4196468 140725003447408 140519891938400 140520570980053 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14276] ppid=14253 vsize=13268028 CPUtime=1.34 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14276/stat : 14276 (java) S 14253 14256 10103 0 -1 1077944384 1451 0 0 0 67 67 0 0 20 0 20 0 5419874 13586460672 461553 33554432000 4194304 4196468 140725003447408 140519890885680 140520570980994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 23 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
Current children cumulated CPU time (s) 2391.23
Current children cumulated vsize (KiB) 13268028
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2330.9 s]
/proc/loadavg: 1.28 1.43 1.52 3/281 14715
/proc/meminfo: memFree=28566900/32770624 swapFree=5852/290012
[pid=14256] ppid=14253 vsize=13268028 CPUtime=2400.07 cores=0,2,4,6,8,10,12,14
/proc/14256/stat : 14256 (java) S 14253 14256 10103 0 -1 1077944320 224652 0 0 0 239484 523 0 0 20 0 20 0 5419864 13586460672 461040 33554432000 4194304 4196468 140725003447408 140725003429952 140520570969847 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
/proc/14256/statm: 3317007 461040 3838 1 0 3304722 0
[pid=14256/tid=14257] ppid=14253 vsize=13268028 CPUtime=2312.21 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14257/stat : 14257 (java) R 14253 14256 10103 0 -1 4202560 83742 0 0 0 231154 67 0 0 20 0 20 0 5419865 13586460672 461040 33554432000 4194304 4196468 140725003447408 140520575208256 140520212793238 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14259] ppid=14253 vsize=13268028 CPUtime=9.49 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14259/stat : 14259 (java) S 14253 14256 10103 0 -1 1077944384 9649 0 0 0 906 43 0 0 20 0 20 0 5419866 13586460672 461040 33554432000 4194304 4196468 140725003447408 140520527522960 140520570980053 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14260] ppid=14253 vsize=13268028 CPUtime=9.27 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14260/stat : 14260 (java) S 14253 14256 10103 0 -1 1077944384 11391 0 0 0 878 49 0 0 20 0 20 0 5419866 13586460672 461040 33554432000 4194304 4196468 140725003447408 140520526470160 140520570980053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14261] ppid=14253 vsize=13268028 CPUtime=9.43 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14261/stat : 14261 (java) S 14253 14256 10103 0 -1 1077944384 12507 0 0 0 892 51 0 0 20 0 20 0 5419866 13586460672 461040 33554432000 4194304 4196468 140725003447408 140520168553360 140520570980053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14262] ppid=14253 vsize=13268028 CPUtime=9.45 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14262/stat : 14262 (java) S 14253 14256 10103 0 -1 1077944384 10724 0 0 0 898 47 0 0 20 0 20 0 5419866 13586460672 461040 33554432000 4194304 4196468 140725003447408 140520167500560 140520570980053 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14263] ppid=14253 vsize=13268028 CPUtime=9.57 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14263/stat : 14263 (java) S 14253 14256 10103 0 -1 1077944384 12222 0 0 0 909 48 0 0 20 0 20 0 5419866 13586460672 461040 33554432000 4194304 4196468 140725003447408 140520166447760 140520570980053 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14264] ppid=14253 vsize=13268028 CPUtime=9.39 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14264/stat : 14264 (java) S 14253 14256 10103 0 -1 1077944384 12001 0 0 0 894 45 0 0 20 0 20 0 5419866 13586460672 461040 33554432000 4194304 4196468 140725003447408 140520165394960 140520570980053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14265] ppid=14253 vsize=13268028 CPUtime=9.47 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14265/stat : 14265 (java) S 14253 14256 10103 0 -1 1077944384 9715 0 0 0 900 47 0 0 20 0 20 0 5419866 13586460672 461040 33554432000 4194304 4196468 140725003447408 140520164342160 140520570980053 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14266] ppid=14253 vsize=13268028 CPUtime=9.5 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14266/stat : 14266 (java) S 14253 14256 10103 0 -1 1077944384 12173 0 0 0 901 49 0 0 20 0 20 0 5419866 13586460672 461040 33554432000 4194304 4196468 140725003447408 140520163289360 140520570980053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14267] ppid=14253 vsize=13268028 CPUtime=4.88 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14267/stat : 14267 (java) S 14253 14256 10103 0 -1 1077944384 23668 0 0 0 432 56 0 0 20 0 20 0 5419868 13586460672 461040 33554432000 4194304 4196468 140725003447408 140519900359536 140520570980994 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14268] ppid=14253 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14268/stat : 14268 (java) S 14253 14256 10103 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 5419869 13586460672 461040 33554432000 4194304 4196468 140725003447408 140519899305568 140520570980053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14269] ppid=14253 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14269/stat : 14269 (java) S 14253 14256 10103 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 20 0 5419869 13586460672 461040 33554432000 4194304 4196468 140725003447408 140519898252672 140520570980053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14270] ppid=14253 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14270/stat : 14270 (java) S 14253 14256 10103 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5419873 13586460672 461040 33554432000 4194304 4196468 140725003447408 140519897200976 140520570988443 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14271] ppid=14253 vsize=13268028 CPUtime=1.68 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14271/stat : 14271 (java) S 14253 14256 10103 0 -1 1077944384 6805 0 0 0 167 1 0 0 20 0 20 0 5419873 13586460672 461040 33554432000 4194304 4196468 140725003447408 140519896148336 140520570980994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 22 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14272] ppid=14253 vsize=13268028 CPUtime=1.86 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14272/stat : 14272 (java) S 14253 14256 10103 0 -1 1077944384 8289 0 0 0 185 1 0 0 20 0 20 0 5419873 13586460672 461040 33554432000 4194304 4196468 140725003447408 140519895095536 140520570980994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14273] ppid=14253 vsize=13268028 CPUtime=1.76 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14273/stat : 14273 (java) S 14253 14256 10103 0 -1 1077944384 4859 0 0 0 175 1 0 0 20 0 20 0 5419873 13586460672 461040 33554432000 4194304 4196468 140725003447408 140519894042736 140520570980994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 23 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14274] ppid=14253 vsize=13268028 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14274/stat : 14274 (java) S 14253 14256 10103 0 -1 1077944384 4010 0 0 0 60 1 0 0 20 0 20 0 5419873 13586460672 461040 33554432000 4194304 4196468 140725003447408 140519892989936 140520570980994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14275] ppid=14253 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14275/stat : 14275 (java) S 14253 14256 10103 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5419873 13586460672 461040 33554432000 4194304 4196468 140725003447408 140519891938400 140520570980053 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14276] ppid=14253 vsize=13268028 CPUtime=1.34 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14276/stat : 14276 (java) S 14253 14256 10103 0 -1 1077944384 1453 0 0 0 67 67 0 0 20 0 20 0 5419874 13586460672 461040 33554432000 4194304 4196468 140725003447408 140519890885680 140520570980994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 23 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 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 14256 sig 9
??? kill -14256 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2330.9 s]
/proc/loadavg: 1.28 1.43 1.52 3/281 14715
/proc/meminfo: memFree=28566900/32770624 swapFree=5852/290012
[pid=14256] ppid=14253 vsize=13268028 CPUtime=2400.07 cores=0,2,4,6,8,10,12,14
/proc/14256/stat : 14256 (java) S 14253 14256 10103 0 -1 1077944320 224652 0 0 0 239484 523 0 0 20 0 20 0 5419864 13586460672 461040 33554432000 4194304 4196468 140725003447408 140725003429952 140520570969847 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
/proc/14256/statm: 3317007 461040 3838 1 0 3304722 0
[pid=14256/tid=14257] ppid=14253 vsize=13268028 CPUtime=2312.21 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14257/stat : 14257 (java) R 14253 14256 10103 0 -1 4202560 83742 0 0 0 231154 67 0 0 20 0 20 0 5419865 13586460672 461040 33554432000 4194304 4196468 140725003447408 140520575208256 140520212793238 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14259] ppid=14253 vsize=13268028 CPUtime=9.49 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14259/stat : 14259 (java) S 14253 14256 10103 0 -1 1077944384 9649 0 0 0 906 43 0 0 20 0 20 0 5419866 13586460672 461040 33554432000 4194304 4196468 140725003447408 140520527522960 140520570980053 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14260] ppid=14253 vsize=13268028 CPUtime=9.27 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14260/stat : 14260 (java) S 14253 14256 10103 0 -1 1077944384 11391 0 0 0 878 49 0 0 20 0 20 0 5419866 13586460672 461040 33554432000 4194304 4196468 140725003447408 140520526470160 140520570980053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14261] ppid=14253 vsize=13268028 CPUtime=9.43 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14261/stat : 14261 (java) S 14253 14256 10103 0 -1 1077944384 12507 0 0 0 892 51 0 0 20 0 20 0 5419866 13586460672 461040 33554432000 4194304 4196468 140725003447408 140520168553360 140520570980053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14262] ppid=14253 vsize=13268028 CPUtime=9.45 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14262/stat : 14262 (java) S 14253 14256 10103 0 -1 1077944384 10724 0 0 0 898 47 0 0 20 0 20 0 5419866 13586460672 461040 33554432000 4194304 4196468 140725003447408 140520167500560 140520570980053 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14263] ppid=14253 vsize=13268028 CPUtime=9.57 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14263/stat : 14263 (java) S 14253 14256 10103 0 -1 1077944384 12222 0 0 0 909 48 0 0 20 0 20 0 5419866 13586460672 461040 33554432000 4194304 4196468 140725003447408 140520166447760 140520570980053 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14264] ppid=14253 vsize=13268028 CPUtime=9.39 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14264/stat : 14264 (java) S 14253 14256 10103 0 -1 1077944384 12001 0 0 0 894 45 0 0 20 0 20 0 5419866 13586460672 461040 33554432000 4194304 4196468 140725003447408 140520165394960 140520570980053 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14265] ppid=14253 vsize=13268028 CPUtime=9.47 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14265/stat : 14265 (java) S 14253 14256 10103 0 -1 1077944384 9715 0 0 0 900 47 0 0 20 0 20 0 5419866 13586460672 461040 33554432000 4194304 4196468 140725003447408 140520164342160 140520570980053 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14266] ppid=14253 vsize=13268028 CPUtime=9.5 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14266/stat : 14266 (java) S 14253 14256 10103 0 -1 1077944384 12173 0 0 0 901 49 0 0 20 0 20 0 5419866 13586460672 461040 33554432000 4194304 4196468 140725003447408 140520163289360 140520570980053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14267] ppid=14253 vsize=13268028 CPUtime=4.88 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14267/stat : 14267 (java) S 14253 14256 10103 0 -1 1077944384 23668 0 0 0 432 56 0 0 20 0 20 0 5419868 13586460672 461040 33554432000 4194304 4196468 140725003447408 140519900359536 140520570980994 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14268] ppid=14253 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14268/stat : 14268 (java) S 14253 14256 10103 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 5419869 13586460672 461040 33554432000 4194304 4196468 140725003447408 140519899305568 140520570980053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14269] ppid=14253 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14269/stat : 14269 (java) S 14253 14256 10103 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 20 0 5419869 13586460672 461040 33554432000 4194304 4196468 140725003447408 140519898252672 140520570980053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14270] ppid=14253 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14270/stat : 14270 (java) S 14253 14256 10103 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5419873 13586460672 461040 33554432000 4194304 4196468 140725003447408 140519897200976 140520570988443 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14271] ppid=14253 vsize=13268028 CPUtime=1.68 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14271/stat : 14271 (java) S 14253 14256 10103 0 -1 1077944384 6805 0 0 0 167 1 0 0 20 0 20 0 5419873 13586460672 461040 33554432000 4194304 4196468 140725003447408 140519896148336 140520570980994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 22 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14272] ppid=14253 vsize=13268028 CPUtime=1.86 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14272/stat : 14272 (java) S 14253 14256 10103 0 -1 1077944384 8289 0 0 0 185 1 0 0 20 0 20 0 5419873 13586460672 461040 33554432000 4194304 4196468 140725003447408 140519895095536 140520570980994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14273] ppid=14253 vsize=13268028 CPUtime=1.76 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14273/stat : 14273 (java) S 14253 14256 10103 0 -1 1077944384 4859 0 0 0 175 1 0 0 20 0 20 0 5419873 13586460672 461040 33554432000 4194304 4196468 140725003447408 140519894042736 140520570980994 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 23 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14274] ppid=14253 vsize=13268028 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14274/stat : 14274 (java) S 14253 14256 10103 0 -1 1077944384 4010 0 0 0 60 1 0 0 20 0 20 0 5419873 13586460672 461040 33554432000 4194304 4196468 140725003447408 140519892989936 140520570980994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14275] ppid=14253 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14275/stat : 14275 (java) S 14253 14256 10103 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5419873 13586460672 461040 33554432000 4194304 4196468 140725003447408 140519891938400 140520570980053 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
[pid=14256/tid=14276] ppid=14253 vsize=13268028 CPUtime=1.34 cores=0,2,4,6,8,10,12,14
/proc/14256/task/14276/stat : 14276 (java) S 14253 14256 10103 0 -1 1077944384 1453 0 0 0 67 67 0 0 20 0 20 0 5419874 13586460672 461040 33554432000 4194304 4196468 140725003447408 140519890885680 140520570980994 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 23 0 0 6293624 6294260 14979072 140725003453578 140725003453764 140725003453764 140725003456463 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 13268028
Child status: 143
Real time (s): 2330.94
CPU time (s): 2400.11
CPU user time (s): 2394.87
CPU system time (s): 5.24304
CPU usage (%): 102.968
Max. virtual memory (cumulated for all children) (KiB): 13268060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2394.87
system time used= 5.24304
maximum resident set size= 3437536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 225168
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= 263863
involuntary context switches= 173246
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.0231 second user time and 18.5714 second system time
The end