runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (10715 MiB free)
memory of node 1: 16384 MiB (12678 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4300597-1532890500/watcher-4300597-1532890500 -o /tmp/evaluation-result-4300597-1532890500/solver-4300597-1532890500 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532890500-16999 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4300597-1532890500.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=17024, runsolver pid=17020
Current StackSize limit: 8192 KiB
[startup+0.100156 s]*
/proc/loadavg: 1.08 1.60 1.78 3/203 17045
/proc/meminfo: memFree=23931352/32770624 swapFree=67108860/67108860
[pid=17024] ppid=17020 vsize=10658972 memory=22716 CPUtime=0.05 cores=1,3,5,7
/proc/17024/stat : 17024 (java) S 17020 17024 6396 0 -1 1077944320 4579 0 0 0 5 0 0 0 20 0 15 0 106613217 10914787328 5679 33554432000 4194304 4196468 140723717701344 140723717683888 139956895182583 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
/proc/17024/statm: 2664743 5679 2613 1 0 2627263 0
[pid=17024/tid=17030] ppid=17020 vsize=10658972 memory=5450919713671312938 CPUtime=0.04 cores=1,3,5,7
/proc/17024/task/17030/stat : 17030 (java) R 17020 17024 6396 0 -1 4202560 2696 0 0 0 4 0 0 0 20 0 15 0 106613217 10914787328 5744 33554432000 4194304 4196468 140723717701344 139956899424864 139956887419710 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17032] ppid=17020 vsize=10658972 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7
/proc/17024/task/17032/stat : 17032 (java) S 17020 17024 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106613219 10914787328 5744 33554432000 4194304 4196468 140723717701344 139956821257360 139956895192789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17035] ppid=17020 vsize=10658972 memory=140276453938816 CPUtime=0 cores=1,3,5,7
/proc/17024/task/17035/stat : 17035 (java) S 17020 17024 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106613219 10914787328 5744 33554432000 4194304 4196468 140723717701344 139956820204560 139956895192789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17037] ppid=17020 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17024/task/17037/stat : 17037 (java) S 17020 17024 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106613219 10914787328 5744 33554432000 4194304 4196468 140723717701344 139956819151760 139956895192789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17039] ppid=17020 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17024/task/17039/stat : 17039 (java) S 17020 17024 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106613219 10914787328 5744 33554432000 4194304 4196468 140723717701344 139956818098960 139956895192789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17040] ppid=17020 vsize=10658972 memory=140276453938816 CPUtime=0 cores=1,3,5,7
/proc/17024/task/17040/stat : 17040 (java) S 17020 17024 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106613221 10914787328 5744 33554432000 4194304 4196468 140723717701344 139956131424624 139956895193730 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17042] ppid=17020 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17024/task/17042/stat : 17042 (java) S 17020 17024 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106613221 10914787328 5744 33554432000 4194304 4196468 140723717701344 139956130370592 139956895192789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17044] ppid=17020 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17024/task/17044/stat : 17044 (java) S 17020 17024 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106613221 10914787328 5744 33554432000 4194304 4196468 140723717701344 139956129317744 139956895192789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17046] ppid=17020 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17024/task/17046/stat : 17046 (java) S 17020 17024 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106613227 10914787328 5744 33554432000 4194304 4196468 140723717701344 139956128266064 139956895201179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17047] ppid=17020 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17024/task/17047/stat : 17047 (java) S 17020 17024 6396 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 106613227 10914787328 5744 33554432000 4194304 4196468 140723717701344 139956127214448 139956895193730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17048] ppid=17020 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17024/task/17048/stat : 17048 (java) S 17020 17024 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106613227 10914787328 5744 33554432000 4194304 4196468 140723717701344 139956126161648 139956895193730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17049] ppid=17020 vsize=10658972 memory=140276453938816 CPUtime=0 cores=1,3,5,7
/proc/17024/task/17049/stat : 17049 (java) S 17020 17024 6396 0 -1 1077944384 215 0 0 0 0 0 0 0 20 0 15 0 106613227 10914787328 5744 33554432000 4194304 4196468 140723717701344 139956125108848 139956895193730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17054] ppid=17020 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17024/task/17054/stat : 17054 (java) S 17020 17024 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106613227 10914787328 5744 33554432000 4194304 4196468 140723717701344 139956124056288 139956895192789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17056] ppid=17020 vsize=10658972 memory=140276453938816 CPUtime=0 cores=1,3,5,7
/proc/17024/task/17056/stat : 17056 (java) S 17020 17024 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106613227 10914787328 5744 33554432000 4194304 4196468 140723717701344 139956123003568 139956895193730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 22716 KiB
[startup+0.210933 s]*
/proc/loadavg: 1.08 1.60 1.78 4/215 17057
/proc/meminfo: memFree=23907820/32770624 swapFree=67108860/67108860
[pid=17024] ppid=17020 vsize=10658972 memory=38004 CPUtime=0.25 cores=1,3,5,7
/proc/17024/stat : 17024 (java) S 17020 17024 6396 0 -1 1077944320 7616 0 0 0 24 1 0 0 20 0 15 0 106613217 10914787328 9501 33554432000 4194304 4196468 140723717701344 140723717683888 139956895182583 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
/proc/17024/statm: 2664743 9501 2912 1 0 2627263 0
[pid=17024/tid=17030] ppid=17020 vsize=10658972 memory=7022364594140610616 CPUtime=0.16 cores=1,3,5,7
/proc/17024/task/17030/stat : 17030 (java) R 17020 17024 6396 0 -1 4202560 4751 0 0 0 15 1 0 0 20 0 15 0 106613217 10914787328 9501 33554432000 4194304 4196468 140723717701344 139956899419344 139956879226213 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17032] ppid=17020 vsize=10658972 memory=342 CPUtime=0 cores=1,3,5,7
/proc/17024/task/17032/stat : 17032 (java) S 17020 17024 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106613219 10914787328 9501 33554432000 4194304 4196468 140723717701344 139956821257360 139956895192789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17035] ppid=17020 vsize=10658972 memory=3475008461735532192 CPUtime=0 cores=1,3,5,7
/proc/17024/task/17035/stat : 17035 (java) S 17020 17024 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106613219 10914787328 9501 33554432000 4194304 4196468 140723717701344 139956820204560 139956895192789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17037] ppid=17020 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17024/task/17037/stat : 17037 (java) S 17020 17024 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106613219 10914787328 9501 33554432000 4194304 4196468 140723717701344 139956819151760 139956895192789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17039] ppid=17020 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17024/task/17039/stat : 17039 (java) S 17020 17024 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106613219 10914787328 9501 33554432000 4194304 4196468 140723717701344 139956818098960 139956895192789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17040] ppid=17020 vsize=10658972 memory=140276453938816 CPUtime=0 cores=1,3,5,7
/proc/17024/task/17040/stat : 17040 (java) S 17020 17024 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106613221 10914787328 9501 33554432000 4194304 4196468 140723717701344 139956131424624 139956895193730 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17042] ppid=17020 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17024/task/17042/stat : 17042 (java) S 17020 17024 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106613221 10914787328 9501 33554432000 4194304 4196468 140723717701344 139956130370592 139956895192789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17044] ppid=17020 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17024/task/17044/stat : 17044 (java) S 17020 17024 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106613221 10914787328 9501 33554432000 4194304 4196468 140723717701344 139956129317744 139956895192789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17046] ppid=17020 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17024/task/17046/stat : 17046 (java) S 17020 17024 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106613227 10914787328 9501 33554432000 4194304 4196468 140723717701344 139956128266064 139956895201179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17047] ppid=17020 vsize=10658972 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/17024/task/17047/stat : 17047 (java) R 17020 17024 6396 0 -1 1077944384 381 0 0 0 1 0 0 0 20 0 15 0 106613227 10914787328 9501 33554432000 4194304 4196468 140723717701344 139956127214448 139956895193730 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17048] ppid=17020 vsize=10658972 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/17024/task/17048/stat : 17048 (java) R 17020 17024 6396 0 -1 4202560 373 0 0 0 1 0 0 0 20 0 15 0 106613227 10914787328 9501 33554432000 4194304 4196468 140723717701344 139956126161648 139956875882880 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17049] ppid=17020 vsize=10658972 memory=140276453938816 CPUtime=0.06 cores=1,3,5,7
/proc/17024/task/17049/stat : 17049 (java) S 17020 17024 6396 0 -1 1077944384 751 0 0 0 6 0 0 0 20 0 15 0 106613227 10914787328 9501 33554432000 4194304 4196468 140723717701344 139956125108848 139956895193730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17054] ppid=17020 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17024/task/17054/stat : 17054 (java) S 17020 17024 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106613227 10914787328 9501 33554432000 4194304 4196468 140723717701344 139956124056288 139956895192789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17056] ppid=17020 vsize=10658972 memory=140276453938816 CPUtime=0 cores=1,3,5,7
/proc/17024/task/17056/stat : 17056 (java) S 17020 17024 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106613227 10914787328 9501 33554432000 4194304 4196468 140723717701344 139956123003568 139956895193730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 38004 KiB
[startup+0.31053 s]*
/proc/loadavg: 1.08 1.60 1.78 5/215 17057
/proc/meminfo: memFree=23892356/32770624 swapFree=67108860/67108860
[pid=17024] ppid=17020 vsize=10659048 memory=44144 CPUtime=0.46 cores=1,3,5,7
/proc/17024/stat : 17024 (java) S 17020 17024 6396 0 -1 1077944320 8631 0 0 0 44 2 0 0 20 0 15 0 106613217 10914865152 11036 33554432000 4194304 4196468 140723717701344 140723717683888 139956895182583 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
/proc/17024/statm: 2664762 11036 3012 1 0 2627263 0
[pid=17024/tid=17030] ppid=17020 vsize=10659048 memory=8390339637985935414 CPUtime=0.25 cores=1,3,5,7
/proc/17024/task/17030/stat : 17030 (java) R 17020 17024 6396 0 -1 4202560 5375 0 0 0 24 1 0 0 20 0 15 0 106613217 10914865152 11036 33554432000 4194304 4196468 140723717701344 139956899418608 139956879263070 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17032] ppid=17020 vsize=10659048 memory=304556144767270935 CPUtime=0 cores=1,3,5,7
/proc/17024/task/17032/stat : 17032 (java) S 17020 17024 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106613219 10914865152 11036 33554432000 4194304 4196468 140723717701344 139956821257360 139956895192789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17035] ppid=17020 vsize=10659048 memory=4051187739062245024 CPUtime=0 cores=1,3,5,7
/proc/17024/task/17035/stat : 17035 (java) S 17020 17024 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106613219 10914865152 11036 33554432000 4194304 4196468 140723717701344 139956820204560 139956895192789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17037] ppid=17020 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17024/task/17037/stat : 17037 (java) S 17020 17024 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106613219 10914865152 11036 33554432000 4194304 4196468 140723717701344 139956819151760 139956895192789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17039] ppid=17020 vsize=10659048 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17024/task/17039/stat : 17039 (java) S 17020 17024 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106613219 10914865152 11036 33554432000 4194304 4196468 140723717701344 139956818098960 139956895192789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17040] ppid=17020 vsize=10659048 memory=140276453938816 CPUtime=0 cores=1,3,5,7
/proc/17024/task/17040/stat : 17040 (java) S 17020 17024 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106613221 10914865152 11036 33554432000 4194304 4196468 140723717701344 139956131424624 139956895193730 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17042] ppid=17020 vsize=10659048 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17024/task/17042/stat : 17042 (java) S 17020 17024 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106613221 10914865152 11036 33554432000 4194304 4196468 140723717701344 139956130370592 139956895192789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17044] ppid=17020 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17024/task/17044/stat : 17044 (java) S 17020 17024 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106613221 10914865152 11036 33554432000 4194304 4196468 140723717701344 139956129317744 139956895192789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17046] ppid=17020 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17024/task/17046/stat : 17046 (java) S 17020 17024 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106613227 10914865152 11036 33554432000 4194304 4196468 140723717701344 139956128266064 139956895201179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17047] ppid=17020 vsize=10659048 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/17024/task/17047/stat : 17047 (java) S 17020 17024 6396 0 -1 1077944384 561 0 0 0 4 0 0 0 20 0 15 0 106613227 10914865152 11036 33554432000 4194304 4196468 140723717701344 139956127214448 139956895193730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17048] ppid=17020 vsize=10659048 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/17024/task/17048/stat : 17048 (java) S 17020 17024 6396 0 -1 1077944384 448 0 0 0 3 0 0 0 20 0 15 0 106613227 10914865152 11036 33554432000 4194304 4196468 140723717701344 139956126161648 139956895193730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17049] ppid=17020 vsize=10659048 memory=140276453938816 CPUtime=0.11 cores=1,3,5,7
/proc/17024/task/17049/stat : 17049 (java) R 17020 17024 6396 0 -1 4202560 880 0 0 0 11 0 0 0 20 0 15 0 106613227 10914865152 11036 33554432000 4194304 4196468 140723717701344 139956125108848 139956895203930 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17054] ppid=17020 vsize=10659048 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17024/task/17054/stat : 17054 (java) S 17020 17024 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106613227 10914865152 11036 33554432000 4194304 4196468 140723717701344 139956124056288 139956895192789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17056] ppid=17020 vsize=10659048 memory=140276453938816 CPUtime=0 cores=1,3,5,7
/proc/17024/task/17056/stat : 17056 (java) S 17020 17024 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106613227 10914865152 11036 33554432000 4194304 4196468 140723717701344 139956123003568 139956895193730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 44144 KiB
[startup+0.701414 s]
/proc/loadavg: 1.08 1.60 1.78 8/215 17058
/proc/meminfo: memFree=23849248/32770624 swapFree=67108860/67108860
[pid=17024] ppid=17020 vsize=10659048 memory=96916 CPUtime=1.63 cores=1,3,5,7
/proc/17024/stat : 17024 (java) S 17020 17024 6396 0 -1 1077944320 13189 0 0 0 159 4 0 0 20 0 15 0 106613217 10914865152 24229 33554432000 4194304 4196468 140723717701344 140723717683888 139956895182583 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
/proc/17024/statm: 2664762 24229 3102 1 0 2627263 0
[pid=17024/tid=17030] ppid=17020 vsize=10659048 memory=1728 CPUtime=0.63 cores=1,3,5,7
/proc/17024/task/17030/stat : 17030 (java) R 17020 17024 6396 0 -1 4202560 5747 0 0 0 61 2 0 0 20 0 15 0 106613217 10914865152 24229 33554432000 4194304 4196468 140723717701344 139956899421168 139956495274816 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17032] ppid=17020 vsize=10659048 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/17024/task/17032/stat : 17032 (java) S 17020 17024 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106613219 10914865152 24229 33554432000 4194304 4196468 140723717701344 139956821257360 139956895192789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17035] ppid=17020 vsize=10659048 memory=796 CPUtime=0 cores=1,3,5,7
/proc/17024/task/17035/stat : 17035 (java) S 17020 17024 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106613219 10914865152 24229 33554432000 4194304 4196468 140723717701344 139956820204560 139956895192789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17037] ppid=17020 vsize=10659048 memory=5408 CPUtime=0 cores=1,3,5,7
/proc/17024/task/17037/stat : 17037 (java) S 17020 17024 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106613219 10914865152 24229 33554432000 4194304 4196468 140723717701344 139956819151760 139956895192789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17039] ppid=17020 vsize=10659048 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/17024/task/17039/stat : 17039 (java) S 17020 17024 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106613219 10914865152 24229 33554432000 4194304 4196468 140723717701344 139956818098960 139956895192789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17040] ppid=17020 vsize=10659048 memory=9992 CPUtime=0 cores=1,3,5,7
/proc/17024/task/17040/stat : 17040 (java) S 17020 17024 6396 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106613221 10914865152 24229 33554432000 4194304 4196468 140723717701344 139956131424624 139956895193730 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17042] ppid=17020 vsize=10659048 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/17024/task/17042/stat : 17042 (java) S 17020 17024 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106613221 10914865152 24229 33554432000 4194304 4196468 140723717701344 139956130370592 139956895192789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17044] ppid=17020 vsize=10659048 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/17024/task/17044/stat : 17044 (java) S 17020 17024 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106613221 10914865152 24229 33554432000 4194304 4196468 140723717701344 139956129317744 139956895192789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17046] ppid=17020 vsize=10659048 memory=4639098309541127013 CPUtime=0 cores=1,3,5,7
/proc/17024/task/17046/stat : 17046 (java) S 17020 17024 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106613227 10914865152 24229 33554432000 4194304 4196468 140723717701344 139956128266064 139956895201179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17047] ppid=17020 vsize=10659048 memory=7156897581319738472 CPUtime=0.32 cores=1,3,5,7
/proc/17024/task/17047/stat : 17047 (java) R 17020 17024 6396 0 -1 4202560 1983 0 0 0 32 0 0 0 20 0 15 0 106613227 10914865152 24229 33554432000 4194304 4196468 140723717701344 139956127200472 139956876729308 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17048] ppid=17020 vsize=10659048 memory=7523071198212214892 CPUtime=0.29 cores=1,3,5,7
/proc/17024/task/17048/stat : 17048 (java) R 17020 17024 6396 0 -1 4202560 2155 0 0 0 29 0 0 0 20 0 15 0 106613227 10914865152 24229 33554432000 4194304 4196468 140723717701344 139956126142456 139956878668533 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17049] ppid=17020 vsize=10659048 memory=-8412654363917126771 CPUtime=0.34 cores=1,3,5,7
/proc/17024/task/17049/stat : 17049 (java) S 17020 17024 6396 0 -1 1077944384 1932 0 0 0 34 0 0 0 20 0 15 0 106613227 10914865152 24229 33554432000 4194304 4196468 140723717701344 139956125108848 139956895193730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17054] ppid=17020 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17024/task/17054/stat : 17054 (java) S 17020 17024 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106613227 10914865152 24229 33554432000 4194304 4196468 140723717701344 139956124056288 139956895192789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17056] ppid=17020 vsize=10659048 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17024/task/17056/stat : 17056 (java) S 17020 17024 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106613227 10914865152 24229 33554432000 4194304 4196468 140723717701344 139956123003568 139956895193730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
Current children cumulated CPU time: 1.63 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 96916 KiB
[startup+1.50085 s]
/proc/loadavg: 1.08 1.60 1.78 8/215 17058
/proc/meminfo: memFree=23588236/32770624 swapFree=67108860/67108860
[pid=17024] ppid=17020 vsize=10659048 memory=204100 CPUtime=3.78 cores=1,3,5,7
/proc/17024/stat : 17024 (java) S 17020 17024 6396 0 -1 1077944320 16429 0 0 0 373 5 0 0 20 0 15 0 106613217 10914865152 51025 33554432000 4194304 4196468 140723717701344 140723717683888 139956895182583 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
/proc/17024/statm: 2664762 51025 3119 1 0 2627263 0
[pid=17024/tid=17030] ppid=17020 vsize=10659048 memory=6791534058613427641 CPUtime=1.41 cores=1,3,5,7
/proc/17024/task/17030/stat : 17030 (java) R 17020 17024 6396 0 -1 4202560 5791 0 0 0 138 3 0 0 20 0 15 0 106613217 10914865152 51025 33554432000 4194304 4196468 140723717701344 139956899421216 139956495380288 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17032] ppid=17020 vsize=10659048 memory=33 CPUtime=0 cores=1,3,5,7
/proc/17024/task/17032/stat : 17032 (java) S 17020 17024 6396 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106613219 10914865152 51025 33554432000 4194304 4196468 140723717701344 139956821257360 139956895192789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17035] ppid=17020 vsize=10659048 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/17024/task/17035/stat : 17035 (java) S 17020 17024 6396 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 106613219 10914865152 51025 33554432000 4194304 4196468 140723717701344 139956820204560 139956895192789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17037] ppid=17020 vsize=10659048 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/17024/task/17037/stat : 17037 (java) S 17020 17024 6396 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 106613219 10914865152 51025 33554432000 4194304 4196468 140723717701344 139956819151760 139956895192789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17039] ppid=17020 vsize=10659048 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/17024/task/17039/stat : 17039 (java) S 17020 17024 6396 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 106613219 10914865152 51025 33554432000 4194304 4196468 140723717701344 139956818098960 139956895192789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17040] ppid=17020 vsize=10659048 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/17024/task/17040/stat : 17040 (java) S 17020 17024 6396 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 106613221 10914865152 51025 33554432000 4194304 4196468 140723717701344 139956131424624 139956895193730 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
################
# More data... #
################
/proc/17024/task/17030/stat : 17030 (java) R 17020 17024 6396 0 -1 4202560 39641 0 0 0 235490 42 0 0 20 0 15 0 106613217 10914865152 101789 33554432000 4194304 4196468 140723717701344 139956899422112 139956493551502 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17032] ppid=17020 vsize=10659048 memory=407156 CPUtime=13.84 cores=1,3,5,7
/proc/17024/task/17032/stat : 17032 (java) S 17020 17024 6396 0 -1 1077944384 9162 0 0 0 1315 69 0 0 20 0 15 0 106613219 10914865152 101789 33554432000 4194304 4196468 140723717701344 139956821257360 139956895192789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17035] ppid=17020 vsize=10659048 memory=407156 CPUtime=13.9 cores=1,3,5,7
/proc/17024/task/17035/stat : 17035 (java) S 17020 17024 6396 0 -1 1077944384 6243 0 0 0 1321 69 0 0 20 0 15 0 106613219 10914865152 101789 33554432000 4194304 4196468 140723717701344 139956820204560 139956895192789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17037] ppid=17020 vsize=10659048 memory=407156 CPUtime=13.89 cores=1,3,5,7
/proc/17024/task/17037/stat : 17037 (java) S 17020 17024 6396 0 -1 1077944384 9837 0 0 0 1314 75 0 0 20 0 15 0 106613219 10914865152 101789 33554432000 4194304 4196468 140723717701344 139956819151760 139956895192789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17039] ppid=17020 vsize=10659048 memory=407156 CPUtime=13.83 cores=1,3,5,7
/proc/17024/task/17039/stat : 17039 (java) S 17020 17024 6396 0 -1 1077944384 7804 0 0 0 1309 74 0 0 20 0 15 0 106613219 10914865152 101789 33554432000 4194304 4196468 140723717701344 139956818098960 139956895192789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17040] ppid=17020 vsize=10659048 memory=407156 CPUtime=9.73 cores=1,3,5,7
/proc/17024/task/17040/stat : 17040 (java) S 17020 17024 6396 0 -1 1077944384 9292 0 0 0 899 74 0 0 20 0 15 0 106613221 10914865152 101789 33554432000 4194304 4196468 140723717701344 139956131424624 139956895193730 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17042] ppid=17020 vsize=10659048 memory=407156 CPUtime=0 cores=1,3,5,7
/proc/17024/task/17042/stat : 17042 (java) S 17020 17024 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106613221 10914865152 101789 33554432000 4194304 4196468 140723717701344 139956130370592 139956895192789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17044] ppid=17020 vsize=10659048 memory=407156 CPUtime=0 cores=1,3,5,7
/proc/17024/task/17044/stat : 17044 (java) S 17020 17024 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106613221 10914865152 101789 33554432000 4194304 4196468 140723717701344 139956129317744 139956895192789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17046] ppid=17020 vsize=10659048 memory=4048 CPUtime=0 cores=1,3,5,7
/proc/17024/task/17046/stat : 17046 (java) S 17020 17024 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106613227 10914865152 101789 33554432000 4194304 4196468 140723717701344 139956128266064 139956895201179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17047] ppid=17020 vsize=10659048 memory=407156 CPUtime=1.19 cores=1,3,5,7
/proc/17024/task/17047/stat : 17047 (java) S 17020 17024 6396 0 -1 1077944384 8681 0 0 0 118 1 0 0 20 0 15 0 106613227 10914865152 101789 33554432000 4194304 4196468 140723717701344 139956127214448 139956895193730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17048] ppid=17020 vsize=10659048 memory=407156 CPUtime=1.12 cores=1,3,5,7
/proc/17024/task/17048/stat : 17048 (java) S 17020 17024 6396 0 -1 1077944384 6901 0 0 0 111 1 0 0 20 0 15 0 106613227 10914865152 101789 33554432000 4194304 4196468 140723717701344 139956126161648 139956895193730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17049] ppid=17020 vsize=10659048 memory=407156 CPUtime=0.44 cores=1,3,5,7
/proc/17024/task/17049/stat : 17049 (java) S 17020 17024 6396 0 -1 1077944384 4360 0 0 0 43 1 0 0 20 0 15 0 106613227 10914865152 101789 33554432000 4194304 4196468 140723717701344 139956125108848 139956895193730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17054] ppid=17020 vsize=10659048 memory=407156 CPUtime=0 cores=1,3,5,7
/proc/17024/task/17054/stat : 17054 (java) S 17020 17024 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106613227 10914865152 101789 33554432000 4194304 4196468 140723717701344 139956124056288 139956895192789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17056] ppid=17020 vsize=10659048 memory=4128 CPUtime=1.42 cores=1,3,5,7
/proc/17024/task/17056/stat : 17056 (java) S 17020 17024 6396 0 -1 1077944384 1346 0 0 0 65 77 0 0 20 0 15 0 106613227 10914865152 101789 33554432000 4194304 4196468 140723717701344 139956123003568 139956895193730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
Current children cumulated CPU time: 2424.76 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 407156 KiB
[startup+2442.3 s]
/proc/loadavg: 1.57 1.34 1.34 3/215 17231
/proc/meminfo: memFree=23156192/32770624 swapFree=67108860/67108860
[pid=17024] ppid=17020 vsize=10659048 memory=407156 CPUtime=2485.71 cores=1,3,5,7
/proc/17024/stat : 17024 (java) S 17020 17024 6396 0 -1 1077944320 106104 0 0 0 248160 411 0 0 20 0 15 0 106613217 10914865152 101789 33554432000 4194304 4196468 140723717701344 140723717683888 139956895182583 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
/proc/17024/statm: 2664762 101789 3171 1 0 2627263 0
[pid=17024/tid=17030] ppid=17020 vsize=10659048 memory=407156 CPUtime=2414.63 cores=1,3,5,7
/proc/17024/task/17030/stat : 17030 (java) R 17020 17024 6396 0 -1 4202560 40403 0 0 0 241421 42 0 0 20 0 15 0 106613217 10914865152 101789 33554432000 4194304 4196468 140723717701344 139956899422416 139956496380076 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17032] ppid=17020 vsize=10659048 memory=407156 CPUtime=14.18 cores=1,3,5,7
/proc/17024/task/17032/stat : 17032 (java) S 17020 17024 6396 0 -1 1077944384 9501 0 0 0 1347 71 0 0 20 0 15 0 106613219 10914865152 101789 33554432000 4194304 4196468 140723717701344 139956821257360 139956895192789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17035] ppid=17020 vsize=10659048 memory=407156 CPUtime=14.23 cores=1,3,5,7
/proc/17024/task/17035/stat : 17035 (java) S 17020 17024 6396 0 -1 1077944384 6279 0 0 0 1351 72 0 0 20 0 15 0 106613219 10914865152 101789 33554432000 4194304 4196468 140723717701344 139956820204560 139956895192789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17037] ppid=17020 vsize=10659048 memory=1292 CPUtime=14.21 cores=1,3,5,7
/proc/17024/task/17037/stat : 17037 (java) S 17020 17024 6396 0 -1 1077944384 9924 0 0 0 1345 76 0 0 20 0 15 0 106613219 10914865152 101789 33554432000 4194304 4196468 140723717701344 139956819151760 139956895192789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17039] ppid=17020 vsize=10659048 memory=407156 CPUtime=14.16 cores=1,3,5,7
/proc/17024/task/17039/stat : 17039 (java) S 17020 17024 6396 0 -1 1077944384 7855 0 0 0 1341 75 0 0 20 0 15 0 106613219 10914865152 101789 33554432000 4194304 4196468 140723717701344 139956818098960 139956895192789 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17040] ppid=17020 vsize=10659048 memory=1728 CPUtime=10 cores=1,3,5,7
/proc/17024/task/17040/stat : 17040 (java) S 17020 17024 6396 0 -1 1077944384 9480 0 0 0 925 75 0 0 20 0 15 0 106613221 10914865152 101789 33554432000 4194304 4196468 140723717701344 139956131424624 139956895193730 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17042] ppid=17020 vsize=10659048 memory=407156 CPUtime=0 cores=1,3,5,7
/proc/17024/task/17042/stat : 17042 (java) S 17020 17024 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106613221 10914865152 101789 33554432000 4194304 4196468 140723717701344 139956130370592 139956895192789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17044] ppid=17020 vsize=10659048 memory=407156 CPUtime=0 cores=1,3,5,7
/proc/17024/task/17044/stat : 17044 (java) S 17020 17024 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106613221 10914865152 101789 33554432000 4194304 4196468 140723717701344 139956129317744 139956895192789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17046] ppid=17020 vsize=10659048 memory=407156 CPUtime=0 cores=1,3,5,7
/proc/17024/task/17046/stat : 17046 (java) S 17020 17024 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106613227 10914865152 101789 33554432000 4194304 4196468 140723717701344 139956128266064 139956895201179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17047] ppid=17020 vsize=10659048 memory=407156 CPUtime=1.19 cores=1,3,5,7
/proc/17024/task/17047/stat : 17047 (java) S 17020 17024 6396 0 -1 1077944384 8683 0 0 0 118 1 0 0 20 0 15 0 106613227 10914865152 101789 33554432000 4194304 4196468 140723717701344 139956127214448 139956895193730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17048] ppid=17020 vsize=10659048 memory=407156 CPUtime=1.12 cores=1,3,5,7
/proc/17024/task/17048/stat : 17048 (java) S 17020 17024 6396 0 -1 1077944384 6903 0 0 0 111 1 0 0 20 0 15 0 106613227 10914865152 101789 33554432000 4194304 4196468 140723717701344 139956126161648 139956895193730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17049] ppid=17020 vsize=10659048 memory=407156 CPUtime=0.44 cores=1,3,5,7
/proc/17024/task/17049/stat : 17049 (java) S 17020 17024 6396 0 -1 1077944384 4362 0 0 0 43 1 0 0 20 0 15 0 106613227 10914865152 101789 33554432000 4194304 4196468 140723717701344 139956125108848 139956895193730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17054] ppid=17020 vsize=10659048 memory=916 CPUtime=0 cores=1,3,5,7
/proc/17024/task/17054/stat : 17054 (java) S 17020 17024 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106613227 10914865152 101789 33554432000 4194304 4196468 140723717701344 139956124056288 139956895192789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17056] ppid=17020 vsize=10659048 memory=407156 CPUtime=1.46 cores=1,3,5,7
/proc/17024/task/17056/stat : 17056 (java) S 17020 17024 6396 0 -1 1077944384 1354 0 0 0 67 79 0 0 20 0 15 0 106613227 10914865152 101789 33554432000 4194304 4196468 140723717701344 139956123003568 139956895193730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
Current children cumulated CPU time: 2485.71 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 407156 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2476.11 s]
/proc/loadavg: 1.56 1.35 1.35 3/215 17232
/proc/meminfo: memFree=23154888/32770624 swapFree=67108860/67108860
[pid=17024] ppid=17020 vsize=10659048 memory=407668 CPUtime=2520.04 cores=1,3,5,7
/proc/17024/stat : 17024 (java) S 17020 17024 6396 0 -1 1077944320 106516 0 0 0 251588 416 0 0 20 0 15 0 106613217 10914865152 101917 33554432000 4194304 4196468 140723717701344 140723717683888 139956895182583 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
/proc/17024/statm: 2664762 101917 3171 1 0 2627263 0
[pid=17024/tid=17030] ppid=17020 vsize=10659048 memory=407668 CPUtime=2448.03 cores=1,3,5,7
/proc/17024/task/17030/stat : 17030 (java) R 17020 17024 6396 0 -1 4202560 40719 0 0 0 244760 43 0 0 20 0 15 0 106613217 10914865152 101917 33554432000 4194304 4196468 140723717701344 139956899422416 139956496738987 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17032] ppid=17020 vsize=10659048 memory=407668 CPUtime=14.36 cores=1,3,5,7
/proc/17024/task/17032/stat : 17032 (java) S 17020 17024 6396 0 -1 1077944384 9540 0 0 0 1364 72 0 0 20 0 15 0 106613219 10914865152 101917 33554432000 4194304 4196468 140723717701344 139956821257360 139956895192789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17035] ppid=17020 vsize=10659048 memory=407156 CPUtime=14.42 cores=1,3,5,7
/proc/17024/task/17035/stat : 17035 (java) S 17020 17024 6396 0 -1 1077944384 6322 0 0 0 1370 72 0 0 20 0 15 0 106613219 10914865152 101917 33554432000 4194304 4196468 140723717701344 139956820204560 139956895192789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17037] ppid=17020 vsize=10659048 memory=407156 CPUtime=14.4 cores=1,3,5,7
/proc/17024/task/17037/stat : 17037 (java) S 17020 17024 6396 0 -1 1077944384 9924 0 0 0 1363 77 0 0 20 0 15 0 106613219 10914865152 101917 33554432000 4194304 4196468 140723717701344 139956819151760 139956895192789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17039] ppid=17020 vsize=10659048 memory=44 CPUtime=14.35 cores=1,3,5,7
/proc/17024/task/17039/stat : 17039 (java) S 17020 17024 6396 0 -1 1077944384 7864 0 0 0 1359 76 0 0 20 0 15 0 106613219 10914865152 101917 33554432000 4194304 4196468 140723717701344 139956818098960 139956895192789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17040] ppid=17020 vsize=10659048 memory=56 CPUtime=10.15 cores=1,3,5,7
/proc/17024/task/17040/stat : 17040 (java) S 17020 17024 6396 0 -1 1077944384 9483 0 0 0 939 76 0 0 20 0 15 0 106613221 10914865152 101917 33554432000 4194304 4196468 140723717701344 139956131424624 139956895193730 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17042] ppid=17020 vsize=10659048 memory=407156 CPUtime=0 cores=1,3,5,7
/proc/17024/task/17042/stat : 17042 (java) S 17020 17024 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106613221 10914865152 101917 33554432000 4194304 4196468 140723717701344 139956130370592 139956895192789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17044] ppid=17020 vsize=10659048 memory=407156 CPUtime=0 cores=1,3,5,7
/proc/17024/task/17044/stat : 17044 (java) S 17020 17024 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106613221 10914865152 101917 33554432000 4194304 4196468 140723717701344 139956129317744 139956895192789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17046] ppid=17020 vsize=10659048 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/17024/task/17046/stat : 17046 (java) S 17020 17024 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106613227 10914865152 101917 33554432000 4194304 4196468 140723717701344 139956128266064 139956895201179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17047] ppid=17020 vsize=10659048 memory=407668 CPUtime=1.19 cores=1,3,5,7
/proc/17024/task/17047/stat : 17047 (java) S 17020 17024 6396 0 -1 1077944384 8683 0 0 0 118 1 0 0 20 0 15 0 106613227 10914865152 101917 33554432000 4194304 4196468 140723717701344 139956127214448 139956895193730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17048] ppid=17020 vsize=10659048 memory=56 CPUtime=1.12 cores=1,3,5,7
/proc/17024/task/17048/stat : 17048 (java) S 17020 17024 6396 0 -1 1077944384 6903 0 0 0 111 1 0 0 20 0 15 0 106613227 10914865152 101917 33554432000 4194304 4196468 140723717701344 139956126161648 139956895193730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17049] ppid=17020 vsize=10659048 memory=407668 CPUtime=0.44 cores=1,3,5,7
/proc/17024/task/17049/stat : 17049 (java) S 17020 17024 6396 0 -1 1077944384 4362 0 0 0 43 1 0 0 20 0 15 0 106613227 10914865152 101917 33554432000 4194304 4196468 140723717701344 139956125108848 139956895193730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17054] ppid=17020 vsize=10659048 memory=407668 CPUtime=0 cores=1,3,5,7
/proc/17024/task/17054/stat : 17054 (java) S 17020 17024 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106613227 10914865152 101917 33554432000 4194304 4196468 140723717701344 139956124056288 139956895192789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17056] ppid=17020 vsize=10659048 memory=407668 CPUtime=1.48 cores=1,3,5,7
/proc/17024/task/17056/stat : 17056 (java) S 17020 17024 6396 0 -1 1077944384 1356 0 0 0 68 80 0 0 20 0 15 0 106613227 10914865152 101917 33554432000 4194304 4196468 140723717701344 139956123003568 139956895193730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 407668 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2476.13 s]
# the end of solver process 17024 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.91 s, system=4.1685 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2476.11 s]
/proc/loadavg: 1.56 1.35 1.35 3/215 17232
/proc/meminfo: memFree=23154888/32770624 swapFree=67108860/67108860
[pid=17024] ppid=17020 vsize=10659048 memory=407668 CPUtime=2520.04 cores=1,3,5,7
/proc/17024/stat : 17024 (java) S 17020 17024 6396 0 -1 1077944320 106516 0 0 0 251588 416 0 0 20 0 15 0 106613217 10914865152 101917 33554432000 4194304 4196468 140723717701344 140723717683888 139956895182583 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
/proc/17024/statm: 2664762 101917 3171 1 0 2627263 0
[pid=17024/tid=17030] ppid=17020 vsize=10659048 memory=407668 CPUtime=2448.03 cores=1,3,5,7
/proc/17024/task/17030/stat : 17030 (java) R 17020 17024 6396 0 -1 4202560 40719 0 0 0 244760 43 0 0 20 0 15 0 106613217 10914865152 101917 33554432000 4194304 4196468 140723717701344 139956899422416 139956496738987 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17032] ppid=17020 vsize=10659048 memory=407668 CPUtime=14.36 cores=1,3,5,7
/proc/17024/task/17032/stat : 17032 (java) S 17020 17024 6396 0 -1 1077944384 9540 0 0 0 1364 72 0 0 20 0 15 0 106613219 10914865152 101917 33554432000 4194304 4196468 140723717701344 139956821257360 139956895192789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17035] ppid=17020 vsize=10659048 memory=407156 CPUtime=14.42 cores=1,3,5,7
/proc/17024/task/17035/stat : 17035 (java) S 17020 17024 6396 0 -1 1077944384 6322 0 0 0 1370 72 0 0 20 0 15 0 106613219 10914865152 101917 33554432000 4194304 4196468 140723717701344 139956820204560 139956895192789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17037] ppid=17020 vsize=10659048 memory=407156 CPUtime=14.4 cores=1,3,5,7
/proc/17024/task/17037/stat : 17037 (java) S 17020 17024 6396 0 -1 1077944384 9924 0 0 0 1363 77 0 0 20 0 15 0 106613219 10914865152 101917 33554432000 4194304 4196468 140723717701344 139956819151760 139956895192789 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17039] ppid=17020 vsize=10659048 memory=44 CPUtime=14.35 cores=1,3,5,7
/proc/17024/task/17039/stat : 17039 (java) S 17020 17024 6396 0 -1 1077944384 7864 0 0 0 1359 76 0 0 20 0 15 0 106613219 10914865152 101917 33554432000 4194304 4196468 140723717701344 139956818098960 139956895192789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17040] ppid=17020 vsize=10659048 memory=56 CPUtime=10.15 cores=1,3,5,7
/proc/17024/task/17040/stat : 17040 (java) S 17020 17024 6396 0 -1 1077944384 9483 0 0 0 939 76 0 0 20 0 15 0 106613221 10914865152 101917 33554432000 4194304 4196468 140723717701344 139956131424624 139956895193730 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17042] ppid=17020 vsize=10659048 memory=407156 CPUtime=0 cores=1,3,5,7
/proc/17024/task/17042/stat : 17042 (java) S 17020 17024 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106613221 10914865152 101917 33554432000 4194304 4196468 140723717701344 139956130370592 139956895192789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17044] ppid=17020 vsize=10659048 memory=407156 CPUtime=0 cores=1,3,5,7
/proc/17024/task/17044/stat : 17044 (java) S 17020 17024 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106613221 10914865152 101917 33554432000 4194304 4196468 140723717701344 139956129317744 139956895192789 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17046] ppid=17020 vsize=10659048 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/17024/task/17046/stat : 17046 (java) S 17020 17024 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106613227 10914865152 101917 33554432000 4194304 4196468 140723717701344 139956128266064 139956895201179 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17047] ppid=17020 vsize=10659048 memory=407668 CPUtime=1.19 cores=1,3,5,7
/proc/17024/task/17047/stat : 17047 (java) S 17020 17024 6396 0 -1 1077944384 8683 0 0 0 118 1 0 0 20 0 15 0 106613227 10914865152 101917 33554432000 4194304 4196468 140723717701344 139956127214448 139956895193730 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17048] ppid=17020 vsize=10659048 memory=56 CPUtime=1.12 cores=1,3,5,7
/proc/17024/task/17048/stat : 17048 (java) S 17020 17024 6396 0 -1 1077944384 6903 0 0 0 111 1 0 0 20 0 15 0 106613227 10914865152 101917 33554432000 4194304 4196468 140723717701344 139956126161648 139956895193730 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17049] ppid=17020 vsize=10659048 memory=407668 CPUtime=0.44 cores=1,3,5,7
/proc/17024/task/17049/stat : 17049 (java) S 17020 17024 6396 0 -1 1077944384 4362 0 0 0 43 1 0 0 20 0 15 0 106613227 10914865152 101917 33554432000 4194304 4196468 140723717701344 139956125108848 139956895193730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17054] ppid=17020 vsize=10659048 memory=407668 CPUtime=0 cores=1,3,5,7
/proc/17024/task/17054/stat : 17054 (java) S 17020 17024 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106613227 10914865152 101917 33554432000 4194304 4196468 140723717701344 139956124056288 139956895192789 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
[pid=17024/tid=17056] ppid=17020 vsize=10659048 memory=407668 CPUtime=1.48 cores=1,3,5,7
/proc/17024/task/17056/stat : 17056 (java) S 17020 17024 6396 0 -1 1077944384 1356 0 0 0 68 80 0 0 20 0 15 0 106613227 10914865152 101917 33554432000 4194304 4196468 140723717701344 139956123003568 139956895193730 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35856384 140723717706925 140723717707017 140723717707017 140723717709775 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10659048 KiB
Current children cumulated memory: 407668 KiB
Child status: 143
Real time (s): 2476.13
CPU time (s): 2520.07
CPU user time (s): 2515.91
CPU system time (s): 4.1685
CPU usage (%): 101.775
Max. virtual memory (cumulated for all children) (KiB): 10659048
Max. memory (cumulated for all children) (KiB): 598980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.9
system time used= 4.1685
maximum resident set size= 621728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 106951
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 344514
involuntary context switches= 6919
# summary of solver processes directly reported to runsolver:
# pid: 17024
# total CPU time (s): 2520.07
# total CPU user time (s): 2515.91
# total CPU system time (s): 4.1685
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4087 second user time and 23.4905 second system time
The end