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-4246107-1500699854/watcher-4246107-1500699854 -o /tmp/evaluation-result-4246107-1500699854/solver-4246107-1500699854 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node140-1500684139-17112 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1537997968 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4246107-1500699854.xml
pid=19234
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.71 1.58 1.63 3/262 19237
/proc/meminfo: memFree=27025652/32770624 swapFree=5708/263080
[pid=19237] ppid=19234 vsize=361196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19237/stat : 19237 (java) S 19234 19237 14271 0 -1 1077944320 1718 0 0 0 0 0 0 0 20 0 2 0 5251751 369864704 1925 33554432000 4194304 4196468 140732161604528 140732161587072 139952588340983 0 0 0 16784584 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
/proc/19237/statm: 90299 1925 1072 1 0 79210 0
[pid=19237/tid=19238] ppid=19234 vsize=361196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19238/stat : 19238 (java) R 19234 19237 14271 0 -1 4202560 434 0 0 0 0 0 0 0 20 0 2 0 5251751 369864704 1989 33554432000 4194304 4196468 140732161604528 139952592583072 139952573890560 0 4 0 16784584 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[startup+0.100074 s]
/proc/loadavg: 1.71 1.58 1.63 3/262 19237
/proc/meminfo: memFree=27025652/32770624 swapFree=5708/263080
[pid=19237] ppid=19234 vsize=13264380 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/19237/stat : 19237 (java) S 19234 19237 14271 0 -1 1077944320 5644 0 0 0 8 1 0 0 20 0 20 0 5251751 13582725120 6238 33554432000 4194304 4196468 140732161604528 140732161587072 139952588340983 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
/proc/19237/statm: 3316095 6238 3305 1 0 3303815 0
[pid=19237/tid=19238] ppid=19234 vsize=13264380 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19238/stat : 19238 (java) R 19234 19237 14271 0 -1 4202560 3727 0 0 0 7 0 0 0 20 0 20 0 5251751 13582725120 6238 33554432000 4194304 4196468 140732161604528 139952592577712 139952588362909 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13264380
[startup+0.200437 s]
/proc/loadavg: 1.71 1.58 1.63 3/262 19237
/proc/meminfo: memFree=27025652/32770624 swapFree=5708/263080
[pid=19237] ppid=19234 vsize=13263912 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/19237/stat : 19237 (java) S 19234 19237 14271 0 -1 1077944320 8766 0 0 0 24 2 0 0 20 0 20 0 5251751 13582245888 8713 33554432000 4194304 4196468 140732161604528 140732161587072 139952588340983 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
/proc/19237/statm: 3315978 8713 3525 1 0 3303698 0
[pid=19237/tid=19238] ppid=19234 vsize=13263912 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19238/stat : 19238 (java) R 19234 19237 14271 0 -1 4202560 6477 0 0 0 17 1 0 0 20 0 20 0 5251751 13582245888 8713 33554432000 4194304 4196468 140732161604528 139952592569360 139952588362909 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 13263912
[startup+0.300405 s]
/proc/loadavg: 1.71 1.58 1.63 3/262 19237
/proc/meminfo: memFree=27025652/32770624 swapFree=5708/263080
[pid=19237] ppid=19234 vsize=13263912 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/19237/stat : 19237 (java) S 19234 19237 14271 0 -1 1077944320 9817 0 0 0 40 2 0 0 20 0 20 0 5251751 13582245888 11053 33554432000 4194304 4196468 140732161604528 140732161587072 139952588340983 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
/proc/19237/statm: 3315978 11053 3628 1 0 3303698 0
[pid=19237/tid=19238] ppid=19234 vsize=13263912 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19238/stat : 19238 (java) R 19234 19237 14271 0 -1 4202560 7216 0 0 0 26 2 0 0 20 0 20 0 5251751 13582245888 11053 33554432000 4194304 4196468 140732161604528 139952592557520 139952572421470 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 13263912
[startup+0.700294 s]
/proc/loadavg: 1.71 1.58 1.63 3/262 19237
/proc/meminfo: memFree=27025652/32770624 swapFree=5708/263080
[pid=19237] ppid=19234 vsize=13263932 CPUtime=0.8 cores=0,2,4,6,8,10,12,14
/proc/19237/stat : 19237 (java) S 19234 19237 14271 0 -1 1077944320 11431 0 0 0 76 4 0 0 20 0 20 0 5251751 13582266368 14626 33554432000 4194304 4196468 140732161604528 140732161587072 139952588340983 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
/proc/19237/statm: 3315983 14626 3728 1 0 3303698 0
[pid=19237/tid=19238] ppid=19234 vsize=13263932 CPUtime=0.48 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19238/stat : 19238 (java) R 19234 19237 14271 0 -1 4202560 8201 0 0 0 45 3 0 0 20 0 20 0 5251751 13582266368 14626 33554432000 4194304 4196468 140732161604528 139952592577864 139952588362909 0 4 0 16800975 0 0 0 -1 6 0 0 19 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
Current children cumulated CPU time (s) 0.8
Current children cumulated vsize (KiB) 13263932
[startup+1.50106 s]
/proc/loadavg: 1.71 1.58 1.63 5/282 19257
/proc/meminfo: memFree=26950576/32770624 swapFree=5708/263088
[pid=19237] ppid=19234 vsize=13268028 CPUtime=3.39 cores=0,2,4,6,8,10,12,14
/proc/19237/stat : 19237 (java) S 19234 19237 14271 0 -1 1077944320 27338 0 0 0 330 9 0 0 20 0 20 0 5251751 13586460672 45317 33554432000 4194304 4196468 140732161604528 140732161587072 139952588340983 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
/proc/19237/statm: 3317007 45317 3793 1 0 3304722 0
[pid=19237/tid=19238] ppid=19234 vsize=13268028 CPUtime=1.27 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19238/stat : 19238 (java) R 19234 19237 14271 0 -1 4202560 10794 0 0 0 122 5 0 0 20 0 20 0 5251751 13586460672 45317 33554432000 4194304 4196468 140732161604528 139952592577320 139952203759500 0 4 0 16800975 0 0 0 -1 6 0 0 19 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19240] ppid=19234 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19240/stat : 19240 (java) S 19234 19237 14271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5251752 13586460672 45317 33554432000 4194304 4196468 140732161604528 139952520477200 139952588351189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19241] ppid=19234 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19241/stat : 19241 (java) S 19234 19237 14271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5251752 13586460672 45317 33554432000 4194304 4196468 140732161604528 139952519424656 139952588351189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19242] ppid=19234 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19242/stat : 19242 (java) S 19234 19237 14271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5251752 13586460672 45317 33554432000 4194304 4196468 140732161604528 139952518371600 139952588351189 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19243] ppid=19234 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19243/stat : 19243 (java) S 19234 19237 14271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5251752 13586460672 45317 33554432000 4194304 4196468 140732161604528 139952517319056 139952588351189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19244] ppid=19234 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19244/stat : 19244 (java) S 19234 19237 14271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5251752 13586460672 45317 33554432000 4194304 4196468 140732161604528 139952183544848 139952588351189 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19245] ppid=19234 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19245/stat : 19245 (java) S 19234 19237 14271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5251752 13586460672 45317 33554432000 4194304 4196468 140732161604528 139952182492304 139952588351189 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19246] ppid=19234 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19246/stat : 19246 (java) S 19234 19237 14271 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5251752 13586460672 45317 33554432000 4194304 4196468 140732161604528 139952181439248 139952588351189 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19247] ppid=19234 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19247/stat : 19247 (java) S 19234 19237 14271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5251752 13586460672 45317 33554432000 4194304 4196468 140732161604528 139952180386704 139952588351189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19248] ppid=19234 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19248/stat : 19248 (java) S 19234 19237 14271 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 5251755 13586460672 45317 33554432000 4194304 4196468 140732161604528 139952118925552 139952588352130 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19249] ppid=19234 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19249/stat : 19249 (java) S 19234 19237 14271 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 5251756 13586460672 45317 33554432000 4194304 4196468 140732161604528 139952117871776 139952588351189 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19250] ppid=19234 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19250/stat : 19250 (java) S 19234 19237 14271 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 5251756 13586460672 45317 33554432000 4194304 4196468 140732161604528 139952116818672 139952588351189 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19251] ppid=19234 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19251/stat : 19251 (java) S 19234 19237 14271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5251760 13586460672 45317 33554432000 4194304 4196468 140732161604528 139952115767248 139952588359579 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19252] ppid=19234 vsize=13268028 CPUtime=0.56 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19252/stat : 19252 (java) R 19234 19237 14271 0 -1 4202560 2320 0 0 0 56 0 0 0 20 0 20 0 5251760 13586460672 45317 33554432000 4194304 4196468 140732161604528 139952114696392 139952588362330 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19253] ppid=19234 vsize=13268028 CPUtime=0.47 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19253/stat : 19253 (java) R 19234 19237 14271 0 -1 4202560 2520 0 0 0 47 0 0 0 20 0 20 0 5251760 13586460672 45317 33554432000 4194304 4196468 140732161604528 139951911980568 139952588362330 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19254] ppid=19234 vsize=13268028 CPUtime=0.51 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19254/stat : 19254 (java) R 19234 19237 14271 0 -1 4202560 2433 0 0 0 51 0 0 0 20 0 20 0 5251760 13586460672 45317 33554432000 4194304 4196468 140732161604528 139951910921048 139952573467125 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19255] ppid=19234 vsize=13268028 CPUtime=0.52 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19255/stat : 19255 (java) S 19234 19237 14271 0 -1 1077944384 7871 0 0 0 51 1 0 0 20 0 20 0 5251760 13586460672 45317 33554432000 4194304 4196468 140732161604528 139951909882480 139952588352130 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19256] ppid=19234 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19256/stat : 19256 (java) S 19234 19237 14271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5251760 13586460672 45317 33554432000 4194304 4196468 140732161604528 139951908829664 139952588351189 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19257] ppid=19234 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19257/stat : 19257 (java) S 19234 19237 14271 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 5251760 13586460672 45317 33554432000 4194304 4196468 140732161604528 139951907777200 139952588352130 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
Current children cumulated CPU time (s) 3.39
Current children cumulated vsize (KiB) 13268028
[startup+3.10117 s]
/proc/loadavg: 1.71 1.58 1.63 6/282 19257
/proc/meminfo: memFree=26793740/32770624 swapFree=5708/263104
[pid=19237] ppid=19234 vsize=13268028 CPUtime=8.79 cores=0,2,4,6,8,10,12,14
/proc/19237/stat : 19237 (java) S 19234 19237 14271 0 -1 1077944320 37389 0 0 0 865 14 0 0 20 0 20 0 5251751 13586460672 64399 33554432000 4194304 4196468 140732161604528 140732161587072 139952588340983 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
/proc/19237/statm: 3317007 64399 3820 1 0 3304722 0
[pid=19237/tid=19238] ppid=19234 vsize=13268028 CPUtime=2.84 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19238/stat : 19238 (java) R 19234 19237 14271 0 -1 4202560 11262 0 0 0 278 6 0 0 20 0 20 0 5251751 13586460672 64399 33554432000 4194304 4196468 140732161604528 139952592576760 139952204926788 0 4 0 16800975 0 0 0 -1 4 0 0 19 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19240] ppid=19234 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19240/stat : 19240 (java) S 19234 19237 14271 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 20 0 5251752 13586460672 64399 33554432000 4194304 4196468 140732161604528 139952520477200 139952588351189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19241] ppid=19234 vsize=13268028 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19241/stat : 19241 (java) S 19234 19237 14271 0 -1 1077944384 21 0 0 0 2 0 0 0 20 0 20 0 5251752 13586460672 64399 33554432000 4194304 4196468 140732161604528 139952519424656 139952588351189 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19242] ppid=19234 vsize=13268028 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19242/stat : 19242 (java) S 19234 19237 14271 0 -1 1077944384 79 0 0 0 1 0 0 0 20 0 20 0 5251752 13586460672 64399 33554432000 4194304 4196468 140732161604528 139952518371600 139952588351189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19243] ppid=19234 vsize=13268028 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19243/stat : 19243 (java) S 19234 19237 14271 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 20 0 5251752 13586460672 64399 33554432000 4194304 4196468 140732161604528 139952517319056 139952588351189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19244] ppid=19234 vsize=13268028 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19244/stat : 19244 (java) S 19234 19237 14271 0 -1 1077944384 76 0 0 0 2 0 0 0 20 0 20 0 5251752 13586460672 64399 33554432000 4194304 4196468 140732161604528 139952183544848 139952588351189 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19245] ppid=19234 vsize=13268028 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19245/stat : 19245 (java) S 19234 19237 14271 0 -1 1077944384 62 0 0 0 1 0 0 0 20 0 20 0 5251752 13586460672 64399 33554432000 4194304 4196468 140732161604528 139952182492304 139952588351189 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19246] ppid=19234 vsize=13268028 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19246/stat : 19246 (java) S 19234 19237 14271 0 -1 1077944384 347 0 0 0 1 0 0 0 20 0 20 0 5251752 13586460672 64399 33554432000 4194304 4196468 140732161604528 139952181439248 139952588351189 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19247] ppid=19234 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19247/stat : 19247 (java) S 19234 19237 14271 0 -1 1077944384 545 0 0 0 0 0 0 0 20 0 20 0 5251752 13586460672 64399 33554432000 4194304 4196468 140732161604528 139952180386704 139952588351189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19248] ppid=19234 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19248/stat : 19248 (java) S 19234 19237 14271 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 20 0 5251755 13586460672 64399 33554432000 4194304 4196468 140732161604528 139952118925552 139952588352130 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19249] ppid=19234 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19249/stat : 19249 (java) S 19234 19237 14271 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 5251756 13586460672 64399 33554432000 4194304 4196468 140732161604528 139952117871840 139952588351189 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19250] ppid=19234 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19250/stat : 19250 (java) S 19234 19237 14271 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 20 0 5251756 13586460672 64399 33554432000 4194304 4196468 140732161604528 139952116818688 139952588351189 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19251] ppid=19234 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19251/stat : 19251 (java) S 19234 19237 14271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5251760 13586460672 64399 33554432000 4194304 4196468 140732161604528 139952115767248 139952588359579 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19252] ppid=19234 vsize=13268028 CPUtime=1.77 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19252/stat : 19252 (java) S 19234 19237 14271 0 -1 1077944384 4927 0 0 0 177 0 0 0 20 0 20 0 5251760 13586460672 64399 33554432000 4194304 4196468 140732161604528 139952114715376 139952588352130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19253] ppid=19234 vsize=13268028 CPUtime=1.68 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19253/stat : 19253 (java) S 19234 19237 14271 0 -1 1077944384 4752 0 0 0 168 0 0 0 20 0 20 0 5251760 13586460672 64399 33554432000 4194304 4196468 140732161604528 139951911988080 139952588352130 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19254] ppid=19234 vsize=13268028 CPUtime=1.7 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19254/stat : 19254 (java) S 19234 19237 14271 0 -1 1077944384 4591 0 0 0 170 0 0 0 20 0 20 0 5251760 13586460672 64399 33554432000 4194304 4196468 140732161604528 139951910935024 139952588352130 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19255] ppid=19234 vsize=13268028 CPUtime=0.56 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19255/stat : 19255 (java) S 19234 19237 14271 0 -1 1077944384 8951 0 0 0 55 1 0 0 20 0 20 0 5251760 13586460672 64399 33554432000 4194304 4196468 140732161604528 139951909882480 139952588352130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19256] ppid=19234 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19256/stat : 19256 (java) S 19234 19237 14271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5251760 13586460672 64399 33554432000 4194304 4196468 140732161604528 139951908829664 139952588351189 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19257] ppid=19234 vsize=13268028 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19257/stat : 19257 (java) S 19234 19237 14271 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 20 0 5251760 13586460672 64399 33554432000 4194304 4196468 140732161604528 139951907777200 139952588352130 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
Current children cumulated CPU time (s) 8.79
Current children cumulated vsize (KiB) 13268028
[startup+6.3009 s]
/proc/loadavg: 1.74 1.59 1.63 4/282 19257
/proc/meminfo: memFree=26667072/32770624 swapFree=5708/263104
[pid=19237] ppid=19234 vsize=13270076 CPUtime=12.76 cores=0,2,4,6,8,10,12,14
/proc/19237/stat : 19237 (java) S 19234 19237 14271 0 -1 1077944320 38482 0 0 0 1258 18 0 0 20 0 20 0 5251751 13588557824 93035 33554432000 4194304 4196468 140732161604528 140732161587072 139952588340983 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
/proc/19237/statm: 3317519 93035 3822 1 0 3305234 0
[pid=19237/tid=19238] ppid=19234 vsize=13270076 CPUtime=6.03 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19238/stat : 19238 (java) R 19234 19237 14271 0 -1 4202560 11820 0 0 0 595 8 0 0 20 0 20 0 5251751 13588557824 93035 33554432000 4194304 4196468 140732161604528 139952592576952 139952204616405 0 4 0 16800975 0 0 0 -1 4 0 0 19 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19240] ppid=19234 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19240/stat : 19240 (java) S 19234 19237 14271 0 -1 1077944384 28 0 0 0 1 0 0 0 20 0 20 0 5251752 13588557824 93035 33554432000 4194304 4196468 140732161604528 139952520477200 139952588351189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19241] ppid=19234 vsize=13270076 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19241/stat : 19241 (java) S 19234 19237 14271 0 -1 1077944384 23 0 0 0 3 0 0 0 20 0 20 0 5251752 13588557824 93035 33554432000 4194304 4196468 140732161604528 139952519424656 139952588351189 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19242] ppid=19234 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19242/stat : 19242 (java) S 19234 19237 14271 0 -1 1077944384 79 0 0 0 1 0 0 0 20 0 20 0 5251752 13588557824 93035 33554432000 4194304 4196468 140732161604528 139952518371600 139952588351189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19243] ppid=19234 vsize=13270076 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19243/stat : 19243 (java) S 19234 19237 14271 0 -1 1077944384 36 0 0 0 2 0 0 0 20 0 20 0 5251752 13588557824 93035 33554432000 4194304 4196468 140732161604528 139952517319056 139952588351189 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19244] ppid=19234 vsize=13270076 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19244/stat : 19244 (java) S 19234 19237 14271 0 -1 1077944384 79 0 0 0 3 0 0 0 20 0 20 0 5251752 13588557824 93035 33554432000 4194304 4196468 140732161604528 139952183544848 139952588351189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19245] ppid=19234 vsize=13270076 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19245/stat : 19245 (java) S 19234 19237 14271 0 -1 1077944384 65 0 0 0 2 0 0 0 20 0 20 0 5251752 13588557824 93035 33554432000 4194304 4196468 140732161604528 139952182492304 139952588351189 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19246] ppid=19234 vsize=13270076 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19246/stat : 19246 (java) S 19234 19237 14271 0 -1 1077944384 350 0 0 0 2 0 0 0 20 0 20 0 5251752 13588557824 93035 33554432000 4194304 4196468 140732161604528 139952181439248 139952588351189 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19247] ppid=19234 vsize=13270076 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19247/stat : 19247 (java) S 19234 19237 14271 0 -1 1077944384 551 0 0 0 1 1 0 0 20 0 20 0 5251752 13588557824 93035 33554432000 4194304 4196468 140732161604528 139952180386704 139952588351189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19248] ppid=19234 vsize=13270076 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19248/stat : 19248 (java) S 19234 19237 14271 0 -1 1077944384 422 0 0 0 1 0 0 0 20 0 20 0 5251755 13588557824 93035 33554432000 4194304 4196468 140732161604528 139952118925552 139952588352130 0 0 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19249] ppid=19234 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19249/stat : 19249 (java) S 19234 19237 14271 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 5251756 13588557824 93035 33554432000 4194304 4196468 140732161604528 139952117871840 139952588351189 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19250] ppid=19234 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19250/stat : 19250 (java) S 19234 19237 14271 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 20 0 5251756 13588557824 93035 33554432000 4194304 4196468 140732161604528 139952116818688 139952588351189 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19251] ppid=19234 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
################
# More data... #
################
/proc/19237/task/19253/stat : 19253 (java) S 19234 19237 14271 0 -1 1077944384 16058 0 0 0 275 1 0 0 20 0 20 0 5251760 13588557824 302370 33554432000 4194304 4196468 140732161604528 139951911988080 139952588352130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19254] ppid=19234 vsize=13270076 CPUtime=2.89 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19254/stat : 19254 (java) S 19234 19237 14271 0 -1 1077944384 12386 0 0 0 288 1 0 0 20 0 20 0 5251760 13588557824 302370 33554432000 4194304 4196468 140732161604528 139951910935024 139952588352130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19255] ppid=19234 vsize=13270076 CPUtime=1 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19255/stat : 19255 (java) S 19234 19237 14271 0 -1 1077944384 29553 0 0 0 96 4 0 0 20 0 20 0 5251760 13588557824 302370 33554432000 4194304 4196468 140732161604528 139951909882480 139952588352130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19256] ppid=19234 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19256/stat : 19256 (java) S 19234 19237 14271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5251760 13588557824 302370 33554432000 4194304 4196468 140732161604528 139951908829664 139952588351189 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19257] ppid=19234 vsize=13270076 CPUtime=1.17 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19257/stat : 19257 (java) S 19234 19237 14271 0 -1 1077944384 2386 0 0 0 51 66 0 0 20 0 20 0 5251760 13588557824 302370 33554432000 4194304 4196468 140732161604528 139951907777200 139952588352130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
Current children cumulated CPU time (s) 2322.87
Current children cumulated vsize (KiB) 13270076
[startup+2262.3 s]
/proc/loadavg: 2.07 1.76 1.69 3/282 19509
/proc/meminfo: memFree=28391676/32770624 swapFree=5708/265428
[pid=19237] ppid=19234 vsize=13270076 CPUtime=2385.75 cores=0,2,4,6,8,10,12,14
/proc/19237/stat : 19237 (java) S 19234 19237 14271 0 -1 1077944320 341793 0 0 0 237795 780 0 0 20 0 20 0 5251751 13588557824 287382 33554432000 4194304 4196468 140732161604528 140732161587072 139952588340983 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
/proc/19237/statm: 3317519 287382 3859 1 0 3305234 0
[pid=19237/tid=19238] ppid=19234 vsize=13270076 CPUtime=2240.77 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19238/stat : 19238 (java) R 19234 19237 14271 0 -1 4202560 106762 0 0 0 224014 63 0 0 20 0 20 0 5251751 13588557824 287382 33554432000 4194304 4196468 140732161604528 139952592578992 139952204926833 0 4 0 16800975 0 0 0 -1 4 0 0 19 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19240] ppid=19234 vsize=13270076 CPUtime=16.24 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19240/stat : 19240 (java) S 19234 19237 14271 0 -1 1077944384 11753 0 0 0 1546 78 0 0 20 0 20 0 5251752 13588557824 287382 33554432000 4194304 4196468 140732161604528 139952520477200 139952588351189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19241] ppid=19234 vsize=13270076 CPUtime=16.58 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19241/stat : 19241 (java) S 19234 19237 14271 0 -1 1077944384 10801 0 0 0 1580 78 0 0 20 0 20 0 5251752 13588557824 287382 33554432000 4194304 4196468 140732161604528 139952519424656 139952588351189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19242] ppid=19234 vsize=13270076 CPUtime=16.58 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19242/stat : 19242 (java) S 19234 19237 14271 0 -1 1077944384 9924 0 0 0 1576 82 0 0 20 0 20 0 5251752 13588557824 287382 33554432000 4194304 4196468 140732161604528 139952518371600 139952588351189 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19243] ppid=19234 vsize=13270076 CPUtime=16.43 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19243/stat : 19243 (java) S 19234 19237 14271 0 -1 1077944384 11476 0 0 0 1564 79 0 0 20 0 20 0 5251752 13588557824 287382 33554432000 4194304 4196468 140732161604528 139952517319056 139952588351189 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19244] ppid=19234 vsize=13270076 CPUtime=16.46 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19244/stat : 19244 (java) S 19234 19237 14271 0 -1 1077944384 11297 0 0 0 1567 79 0 0 20 0 20 0 5251752 13588557824 287382 33554432000 4194304 4196468 140732161604528 139952183544848 139952588351189 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19245] ppid=19234 vsize=13270076 CPUtime=16.58 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19245/stat : 19245 (java) S 19234 19237 14271 0 -1 1077944384 12445 0 0 0 1579 79 0 0 20 0 20 0 5251752 13588557824 287382 33554432000 4194304 4196468 140732161604528 139952182492304 139952588351189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19246] ppid=19234 vsize=13270076 CPUtime=16.72 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19246/stat : 19246 (java) S 19234 19237 14271 0 -1 1077944384 11233 0 0 0 1592 80 0 0 20 0 20 0 5251752 13588557824 287382 33554432000 4194304 4196468 140732161604528 139952181439248 139952588351189 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19247] ppid=19234 vsize=13270076 CPUtime=16.43 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19247/stat : 19247 (java) S 19234 19237 14271 0 -1 1077944384 10929 0 0 0 1563 80 0 0 20 0 20 0 5251752 13588557824 287382 33554432000 4194304 4196468 140732161604528 139952180386704 139952588351189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19248] ppid=19234 vsize=13270076 CPUtime=1.7 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19248/stat : 19248 (java) S 19234 19237 14271 0 -1 1077944384 68690 0 0 0 141 29 0 0 20 0 20 0 5251755 13588557824 287382 33554432000 4194304 4196468 140732161604528 139952118925552 139952588352130 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19249] ppid=19234 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19249/stat : 19249 (java) S 19234 19237 14271 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 20 0 5251756 13588557824 287382 33554432000 4194304 4196468 140732161604528 139952117871840 139952588351189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19250] ppid=19234 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19250/stat : 19250 (java) S 19234 19237 14271 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 20 0 5251756 13588557824 287382 33554432000 4194304 4196468 140732161604528 139952116818688 139952588351189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19251] ppid=19234 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19251/stat : 19251 (java) S 19234 19237 14271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5251760 13588557824 287382 33554432000 4194304 4196468 140732161604528 139952115767248 139952588359579 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19252] ppid=19234 vsize=13270076 CPUtime=3.25 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19252/stat : 19252 (java) S 19234 19237 14271 0 -1 1077944384 14609 0 0 0 323 2 0 0 20 0 20 0 5251760 13588557824 287382 33554432000 4194304 4196468 140732161604528 139952114715376 139952588352130 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19253] ppid=19234 vsize=13270076 CPUtime=2.76 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19253/stat : 19253 (java) S 19234 19237 14271 0 -1 1077944384 16060 0 0 0 275 1 0 0 20 0 20 0 5251760 13588557824 287382 33554432000 4194304 4196468 140732161604528 139951911988080 139952588352130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19254] ppid=19234 vsize=13270076 CPUtime=2.89 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19254/stat : 19254 (java) S 19234 19237 14271 0 -1 1077944384 12388 0 0 0 288 1 0 0 20 0 20 0 5251760 13588557824 287382 33554432000 4194304 4196468 140732161604528 139951910935024 139952588352130 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19255] ppid=19234 vsize=13270076 CPUtime=1 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19255/stat : 19255 (java) S 19234 19237 14271 0 -1 1077944384 29555 0 0 0 96 4 0 0 20 0 20 0 5251760 13588557824 287382 33554432000 4194304 4196468 140732161604528 139951909882480 139952588352130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19256] ppid=19234 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19256/stat : 19256 (java) S 19234 19237 14271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5251760 13588557824 287382 33554432000 4194304 4196468 140732161604528 139951908829664 139952588351189 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19257] ppid=19234 vsize=13270076 CPUtime=1.21 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19257/stat : 19257 (java) S 19234 19237 14271 0 -1 1077944384 2412 0 0 0 53 68 0 0 20 0 20 0 5251760 13588557824 287382 33554432000 4194304 4196468 140732161604528 139951907777200 139952588352130 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
Current children cumulated CPU time (s) 2385.75
Current children cumulated vsize (KiB) 13270076
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2275.9 s]
/proc/loadavg: 1.90 1.74 1.68 3/282 19510
/proc/meminfo: memFree=28286548/32770624 swapFree=5708/265456
[pid=19237] ppid=19234 vsize=13270076 CPUtime=2400.08 cores=0,2,4,6,8,10,12,14
/proc/19237/stat : 19237 (java) S 19234 19237 14271 0 -1 1077944320 342943 0 0 0 239218 790 0 0 20 0 20 0 5251751 13588557824 319638 33554432000 4194304 4196468 140732161604528 140732161587072 139952588340983 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
/proc/19237/statm: 3317519 319638 3859 1 0 3305234 0
[pid=19237/tid=19238] ppid=19234 vsize=13270076 CPUtime=2254.25 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19238/stat : 19238 (java) R 19234 19237 14271 0 -1 4202560 107583 0 0 0 225360 65 0 0 20 0 20 0 5251751 13588557824 319638 33554432000 4194304 4196468 140732161604528 139952592578992 139952204926945 0 4 0 16800975 0 0 0 -1 4 0 0 19 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19240] ppid=19234 vsize=13270076 CPUtime=16.33 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19240/stat : 19240 (java) S 19234 19237 14271 0 -1 1077944384 11778 0 0 0 1555 78 0 0 20 0 20 0 5251752 13588557824 319638 33554432000 4194304 4196468 140732161604528 139952520477200 139952588351189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19241] ppid=19234 vsize=13270076 CPUtime=16.68 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19241/stat : 19241 (java) S 19234 19237 14271 0 -1 1077944384 10819 0 0 0 1589 79 0 0 20 0 20 0 5251752 13588557824 319638 33554432000 4194304 4196468 140732161604528 139952519424656 139952588351189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19242] ppid=19234 vsize=13270076 CPUtime=16.69 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19242/stat : 19242 (java) S 19234 19237 14271 0 -1 1077944384 9937 0 0 0 1586 83 0 0 20 0 20 0 5251752 13588557824 319638 33554432000 4194304 4196468 140732161604528 139952518371600 139952588351189 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19243] ppid=19234 vsize=13270076 CPUtime=16.53 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19243/stat : 19243 (java) S 19234 19237 14271 0 -1 1077944384 11491 0 0 0 1573 80 0 0 20 0 20 0 5251752 13588557824 319638 33554432000 4194304 4196468 140732161604528 139952517319056 139952588351189 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19244] ppid=19234 vsize=13270076 CPUtime=16.55 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19244/stat : 19244 (java) S 19234 19237 14271 0 -1 1077944384 11311 0 0 0 1576 79 0 0 20 0 20 0 5251752 13588557824 319638 33554432000 4194304 4196468 140732161604528 139952183544848 139952588351189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19245] ppid=19234 vsize=13270076 CPUtime=16.69 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19245/stat : 19245 (java) S 19234 19237 14271 0 -1 1077944384 12457 0 0 0 1589 80 0 0 20 0 20 0 5251752 13588557824 319638 33554432000 4194304 4196468 140732161604528 139952182492304 139952588351189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19246] ppid=19234 vsize=13270076 CPUtime=16.82 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19246/stat : 19246 (java) S 19234 19237 14271 0 -1 1077944384 11242 0 0 0 1601 81 0 0 20 0 20 0 5251752 13588557824 319638 33554432000 4194304 4196468 140732161604528 139952181439248 139952588351189 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19247] ppid=19234 vsize=13270076 CPUtime=16.54 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19247/stat : 19247 (java) S 19234 19237 14271 0 -1 1077944384 10995 0 0 0 1573 81 0 0 20 0 20 0 5251752 13588557824 319638 33554432000 4194304 4196468 140732161604528 139952180386704 139952588351189 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19248] ppid=19234 vsize=13270076 CPUtime=1.71 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19248/stat : 19248 (java) S 19234 19237 14271 0 -1 1077944384 68845 0 0 0 142 29 0 0 20 0 20 0 5251755 13588557824 319638 33554432000 4194304 4196468 140732161604528 139952118925552 139952588352130 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19249] ppid=19234 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19249/stat : 19249 (java) S 19234 19237 14271 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 20 0 5251756 13588557824 319638 33554432000 4194304 4196468 140732161604528 139952117871840 139952588351189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19250] ppid=19234 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19250/stat : 19250 (java) S 19234 19237 14271 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 20 0 5251756 13588557824 319638 33554432000 4194304 4196468 140732161604528 139952116818688 139952588351189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19251] ppid=19234 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19251/stat : 19251 (java) S 19234 19237 14271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5251760 13588557824 319638 33554432000 4194304 4196468 140732161604528 139952115767248 139952588359579 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19252] ppid=19234 vsize=13270076 CPUtime=3.25 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19252/stat : 19252 (java) S 19234 19237 14271 0 -1 1077944384 14609 0 0 0 323 2 0 0 20 0 20 0 5251760 13588557824 319638 33554432000 4194304 4196468 140732161604528 139952114715376 139952588352130 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19253] ppid=19234 vsize=13270076 CPUtime=2.76 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19253/stat : 19253 (java) S 19234 19237 14271 0 -1 1077944384 16060 0 0 0 275 1 0 0 20 0 20 0 5251760 13588557824 319638 33554432000 4194304 4196468 140732161604528 139951911988080 139952588352130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19254] ppid=19234 vsize=13270076 CPUtime=2.89 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19254/stat : 19254 (java) S 19234 19237 14271 0 -1 1077944384 12388 0 0 0 288 1 0 0 20 0 20 0 5251760 13588557824 319638 33554432000 4194304 4196468 140732161604528 139951910935024 139952588352130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19255] ppid=19234 vsize=13270076 CPUtime=1 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19255/stat : 19255 (java) S 19234 19237 14271 0 -1 1077944384 29555 0 0 0 96 4 0 0 20 0 20 0 5251760 13588557824 319638 33554432000 4194304 4196468 140732161604528 139951909882480 139952588352130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19256] ppid=19234 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19256/stat : 19256 (java) S 19234 19237 14271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5251760 13588557824 319638 33554432000 4194304 4196468 140732161604528 139951908829664 139952588351189 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19257] ppid=19234 vsize=13270076 CPUtime=1.21 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19257/stat : 19257 (java) S 19234 19237 14271 0 -1 1077944384 2414 0 0 0 53 68 0 0 20 0 20 0 5251760 13588557824 319638 33554432000 4194304 4196468 140732161604528 139951907777200 139952588352130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 13270076
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 19237 sig 9
??? kill -19237 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2275.9 s]
/proc/loadavg: 1.90 1.74 1.68 3/282 19510
/proc/meminfo: memFree=28286548/32770624 swapFree=5708/265456
[pid=19237] ppid=19234 vsize=13270076 CPUtime=2400.08 cores=0,2,4,6,8,10,12,14
/proc/19237/stat : 19237 (java) S 19234 19237 14271 0 -1 1077944320 342943 0 0 0 239218 790 0 0 20 0 20 0 5251751 13588557824 319638 33554432000 4194304 4196468 140732161604528 140732161587072 139952588340983 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
/proc/19237/statm: 3317519 319638 3859 1 0 3305234 0
[pid=19237/tid=19238] ppid=19234 vsize=13270076 CPUtime=2254.25 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19238/stat : 19238 (java) R 19234 19237 14271 0 -1 4202560 107583 0 0 0 225360 65 0 0 20 0 20 0 5251751 13588557824 319638 33554432000 4194304 4196468 140732161604528 139952592578992 139952204926945 0 4 0 16800975 0 0 0 -1 4 0 0 19 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19240] ppid=19234 vsize=13270076 CPUtime=16.33 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19240/stat : 19240 (java) S 19234 19237 14271 0 -1 1077944384 11778 0 0 0 1555 78 0 0 20 0 20 0 5251752 13588557824 319638 33554432000 4194304 4196468 140732161604528 139952520477200 139952588351189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19241] ppid=19234 vsize=13270076 CPUtime=16.68 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19241/stat : 19241 (java) S 19234 19237 14271 0 -1 1077944384 10819 0 0 0 1589 79 0 0 20 0 20 0 5251752 13588557824 319638 33554432000 4194304 4196468 140732161604528 139952519424656 139952588351189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19242] ppid=19234 vsize=13270076 CPUtime=16.69 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19242/stat : 19242 (java) S 19234 19237 14271 0 -1 1077944384 9937 0 0 0 1586 83 0 0 20 0 20 0 5251752 13588557824 319638 33554432000 4194304 4196468 140732161604528 139952518371600 139952588351189 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19243] ppid=19234 vsize=13270076 CPUtime=16.53 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19243/stat : 19243 (java) S 19234 19237 14271 0 -1 1077944384 11491 0 0 0 1573 80 0 0 20 0 20 0 5251752 13588557824 319638 33554432000 4194304 4196468 140732161604528 139952517319056 139952588351189 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19244] ppid=19234 vsize=13270076 CPUtime=16.55 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19244/stat : 19244 (java) S 19234 19237 14271 0 -1 1077944384 11311 0 0 0 1576 79 0 0 20 0 20 0 5251752 13588557824 319638 33554432000 4194304 4196468 140732161604528 139952183544848 139952588351189 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19245] ppid=19234 vsize=13270076 CPUtime=16.69 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19245/stat : 19245 (java) S 19234 19237 14271 0 -1 1077944384 12457 0 0 0 1589 80 0 0 20 0 20 0 5251752 13588557824 319638 33554432000 4194304 4196468 140732161604528 139952182492304 139952588351189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19246] ppid=19234 vsize=13270076 CPUtime=16.82 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19246/stat : 19246 (java) S 19234 19237 14271 0 -1 1077944384 11242 0 0 0 1601 81 0 0 20 0 20 0 5251752 13588557824 319638 33554432000 4194304 4196468 140732161604528 139952181439248 139952588351189 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19247] ppid=19234 vsize=13270076 CPUtime=16.54 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19247/stat : 19247 (java) S 19234 19237 14271 0 -1 1077944384 10995 0 0 0 1573 81 0 0 20 0 20 0 5251752 13588557824 319638 33554432000 4194304 4196468 140732161604528 139952180386704 139952588351189 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19248] ppid=19234 vsize=13270076 CPUtime=1.71 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19248/stat : 19248 (java) S 19234 19237 14271 0 -1 1077944384 68845 0 0 0 142 29 0 0 20 0 20 0 5251755 13588557824 319638 33554432000 4194304 4196468 140732161604528 139952118925552 139952588352130 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19249] ppid=19234 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19249/stat : 19249 (java) S 19234 19237 14271 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 20 0 5251756 13588557824 319638 33554432000 4194304 4196468 140732161604528 139952117871840 139952588351189 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19250] ppid=19234 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19250/stat : 19250 (java) S 19234 19237 14271 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 20 0 5251756 13588557824 319638 33554432000 4194304 4196468 140732161604528 139952116818688 139952588351189 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19251] ppid=19234 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19251/stat : 19251 (java) S 19234 19237 14271 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5251760 13588557824 319638 33554432000 4194304 4196468 140732161604528 139952115767248 139952588359579 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19252] ppid=19234 vsize=13270076 CPUtime=3.25 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19252/stat : 19252 (java) S 19234 19237 14271 0 -1 1077944384 14609 0 0 0 323 2 0 0 20 0 20 0 5251760 13588557824 319638 33554432000 4194304 4196468 140732161604528 139952114715376 139952588352130 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19253] ppid=19234 vsize=13270076 CPUtime=2.76 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19253/stat : 19253 (java) S 19234 19237 14271 0 -1 1077944384 16060 0 0 0 275 1 0 0 20 0 20 0 5251760 13588557824 319638 33554432000 4194304 4196468 140732161604528 139951911988080 139952588352130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19254] ppid=19234 vsize=13270076 CPUtime=2.89 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19254/stat : 19254 (java) S 19234 19237 14271 0 -1 1077944384 12388 0 0 0 288 1 0 0 20 0 20 0 5251760 13588557824 319638 33554432000 4194304 4196468 140732161604528 139951910935024 139952588352130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19255] ppid=19234 vsize=13270076 CPUtime=1 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19255/stat : 19255 (java) S 19234 19237 14271 0 -1 1077944384 29555 0 0 0 96 4 0 0 20 0 20 0 5251760 13588557824 319638 33554432000 4194304 4196468 140732161604528 139951909882480 139952588352130 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19256] ppid=19234 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19256/stat : 19256 (java) S 19234 19237 14271 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5251760 13588557824 319638 33554432000 4194304 4196468 140732161604528 139951908829664 139952588351189 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
[pid=19237/tid=19257] ppid=19234 vsize=13270076 CPUtime=1.21 cores=0,2,4,6,8,10,12,14
/proc/19237/task/19257/stat : 19257 (java) S 19234 19237 14271 0 -1 1077944384 2414 0 0 0 53 68 0 0 20 0 20 0 5251760 13588557824 319638 33554432000 4194304 4196468 140732161604528 139951907777200 139952588352130 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28446720 140732161606797 140732161606980 140732161606980 140732161609679 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 13270076
Child status: 143
Real time (s): 2275.94
CPU time (s): 2400.13
CPU user time (s): 2392.22
CPU system time (s): 7.90957
CPU usage (%): 105.457
Max. virtual memory (cumulated for all children) (KiB): 13270076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2392.22
system time used= 7.90957
maximum resident set size= 1505616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 343444
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 113884
involuntary context switches= 134896
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.3554 second user time and 19.2168 second system time
The end