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 (9097 MiB free)
memory of node 1: 16384 MiB (12474 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298647-1532768490/watcher-4298647-1532768490 -o /tmp/evaluation-result-4298647-1532768490/solver-4298647-1532768490 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532740019-20128 --watchdog 2580 java -jar HOME/dodo_solver.jar HOME/instance-4298647-1532768490.xml --timelimit 2520
running on 4 cores: 0,2,4,6
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
Current StackSize limit: 8192 KiB
solver pid=23837, runsolver pid=23834
[startup+0.100091 s]*
/proc/loadavg: 1.27 1.47 1.47 5/216 23852
/proc/meminfo: memFree=22074684/32770624 swapFree=67108796/67108860
[pid=23837] ppid=23834 vsize=10658972 memory=27632 CPUtime=0.13 cores=0,2,4,6
/proc/23837/stat : 23837 (java) S 23834 23837 25017 0 -1 1077944320 5297 0 0 0 12 1 0 0 20 0 15 0 94412212 10914787328 6908 33554432000 4194304 4196468 140730330558896 140730330541440 139636632063735 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
/proc/23837/statm: 2664743 6908 2834 1 0 2627263 0
[pid=23837/tid=23839] ppid=23834 vsize=10658972 memory=8326441112148417179 CPUtime=0.08 cores=0,2,4,6
/proc/23837/task/23839/stat : 23839 (java) R 23834 23837 25017 0 -1 4202560 3145 0 0 0 8 0 0 0 20 0 15 0 94412213 10914787328 6908 33554432000 4194304 4196468 140730330558896 139636636291088 139636616107365 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23840] ppid=23834 vsize=10658972 memory=-9181546050914066336 CPUtime=0 cores=0,2,4,6
/proc/23837/task/23840/stat : 23840 (java) S 23834 23837 25017 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94412214 10914787328 6908 33554432000 4194304 4196468 140730330558896 139636568754704 139636632073941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23841] ppid=23834 vsize=10658972 memory=139693706204800 CPUtime=0 cores=0,2,4,6
/proc/23837/task/23841/stat : 23841 (java) S 23834 23837 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94412214 10914787328 6908 33554432000 4194304 4196468 140730330558896 139636238051984 139636632073941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23842] ppid=23834 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23837/task/23842/stat : 23842 (java) S 23834 23837 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94412214 10914787328 6908 33554432000 4194304 4196468 140730330558896 139636236998928 139636632073941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23843] ppid=23834 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23837/task/23843/stat : 23843 (java) S 23834 23837 25017 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94412214 10914787328 6908 33554432000 4194304 4196468 140730330558896 139636235946384 139636632073941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23844] ppid=23834 vsize=10658972 memory=139693706204800 CPUtime=0 cores=0,2,4,6
/proc/23837/task/23844/stat : 23844 (java) S 23834 23837 25017 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94412215 10914787328 6908 33554432000 4194304 4196468 140730330558896 139636124355312 139636632074882 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23845] ppid=23834 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23837/task/23845/stat : 23845 (java) S 23834 23837 25017 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 94412215 10914787328 6908 33554432000 4194304 4196468 140730330558896 139636123301536 139636632073941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23846] ppid=23834 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23837/task/23846/stat : 23846 (java) S 23834 23837 25017 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 94412216 10914787328 6908 33554432000 4194304 4196468 140730330558896 139636122248432 139636632073941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23847] ppid=23834 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23837/task/23847/stat : 23847 (java) S 23834 23837 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94412218 10914787328 6908 33554432000 4194304 4196468 140730330558896 139636121197008 139636632082331 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23848] ppid=23834 vsize=10658972 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23837/task/23848/stat : 23848 (java) R 23834 23837 25017 0 -1 4202560 458 0 0 0 0 0 0 0 20 0 15 0 94412218 10914787328 6908 33554432000 4194304 4196468 140730330558896 139636120144112 139636613585186 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23849] ppid=23834 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23837/task/23849/stat : 23849 (java) R 23834 23837 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94412218 10914787328 6908 33554432000 4194304 4196468 140730330558896 139636119091568 139636632074882 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23850] ppid=23834 vsize=10658972 memory=139693706204800 CPUtime=0.02 cores=0,2,4,6
/proc/23837/task/23850/stat : 23850 (java) R 23834 23837 25017 0 -1 4202560 341 0 0 0 2 0 0 0 20 0 15 0 94412218 10914787328 6908 33554432000 4194304 4196468 140730330558896 139636118038512 139636624300862 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23851] ppid=23834 vsize=10658972 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23837/task/23851/stat : 23851 (java) S 23834 23837 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94412218 10914787328 6908 33554432000 4194304 4196468 140730330558896 139636116986208 139636632073941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23852] ppid=23834 vsize=10658972 memory=139693706204800 CPUtime=0 cores=0,2,4,6
/proc/23837/task/23852/stat : 23852 (java) R 23834 23837 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94412218 10914787328 6908 33554432000 4194304 4196468 140730330558896 139636115934256 139636632074882 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 27632 KiB
[startup+0.210573 s]*
/proc/loadavg: 1.27 1.47 1.47 4/216 23852
/proc/meminfo: memFree=22063448/32770624 swapFree=67108796/67108860
[pid=23837] ppid=23834 vsize=10661056 memory=39720 CPUtime=0.34 cores=0,2,4,6
/proc/23837/stat : 23837 (java) S 23834 23837 25017 0 -1 1077944320 8099 0 0 0 32 2 0 0 20 0 15 0 94412212 10916921344 9930 33554432000 4194304 4196468 140730330558896 140730330541440 139636632063735 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
/proc/23837/statm: 2665264 9930 2950 1 0 2627263 0
[pid=23837/tid=23839] ppid=23834 vsize=10661056 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/23837/task/23839/stat : 23839 (java) R 23834 23837 25017 0 -1 4202560 5121 0 0 0 19 1 0 0 20 0 15 0 94412213 10916921344 9930 33554432000 4194304 4196468 140730330558896 139636636303216 139636250350176 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23840] ppid=23834 vsize=10661056 memory=345 CPUtime=0 cores=0,2,4,6
/proc/23837/task/23840/stat : 23840 (java) S 23834 23837 25017 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94412214 10916921344 9930 33554432000 4194304 4196468 140730330558896 139636568754704 139636632073941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23841] ppid=23834 vsize=10661056 memory=139693706790840 CPUtime=0 cores=0,2,4,6
/proc/23837/task/23841/stat : 23841 (java) S 23834 23837 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94412214 10916921344 9930 33554432000 4194304 4196468 140730330558896 139636238051984 139636632073941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23842] ppid=23834 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23837/task/23842/stat : 23842 (java) S 23834 23837 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94412214 10916921344 9930 33554432000 4194304 4196468 140730330558896 139636236998928 139636632073941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23843] ppid=23834 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23837/task/23843/stat : 23843 (java) S 23834 23837 25017 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94412214 10916921344 9930 33554432000 4194304 4196468 140730330558896 139636235946384 139636632073941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23844] ppid=23834 vsize=10661056 memory=139693706204800 CPUtime=0 cores=0,2,4,6
/proc/23837/task/23844/stat : 23844 (java) S 23834 23837 25017 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94412215 10916921344 9930 33554432000 4194304 4196468 140730330558896 139636124355312 139636632074882 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23845] ppid=23834 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23837/task/23845/stat : 23845 (java) S 23834 23837 25017 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 94412215 10916921344 9930 33554432000 4194304 4196468 140730330558896 139636123301536 139636632073941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23846] ppid=23834 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23837/task/23846/stat : 23846 (java) S 23834 23837 25017 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 94412216 10916921344 9930 33554432000 4194304 4196468 140730330558896 139636122248432 139636632073941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23847] ppid=23834 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23837/task/23847/stat : 23847 (java) S 23834 23837 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94412218 10916921344 9930 33554432000 4194304 4196468 140730330558896 139636121197008 139636632082331 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23848] ppid=23834 vsize=10661056 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/23837/task/23848/stat : 23848 (java) R 23834 23837 25017 0 -1 4202560 694 0 0 0 2 0 0 0 20 0 15 0 94412218 10916921344 9930 33554432000 4194304 4196468 140730330558896 139636120144112 139636609804208 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23849] ppid=23834 vsize=10661056 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/23837/task/23849/stat : 23849 (java) R 23834 23837 25017 0 -1 1077944384 128 0 0 0 2 0 0 0 20 0 15 0 94412218 10916921344 9930 33554432000 4194304 4196468 140730330558896 139636119091568 139636632074882 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23850] ppid=23834 vsize=10661056 memory=139693706204800 CPUtime=0.08 cores=0,2,4,6
/proc/23837/task/23850/stat : 23850 (java) R 23834 23837 25017 0 -1 4202560 789 0 0 0 8 0 0 0 20 0 15 0 94412218 10916921344 9930 33554432000 4194304 4196468 140730330558896 139636118038512 139636624300862 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23851] ppid=23834 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/23837/task/23851/stat : 23851 (java) S 23834 23837 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94412218 10916921344 9930 33554432000 4194304 4196468 140730330558896 139636116986208 139636632073941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23852] ppid=23834 vsize=10661056 memory=139693706204800 CPUtime=0 cores=0,2,4,6
/proc/23837/task/23852/stat : 23852 (java) S 23834 23837 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94412218 10916921344 9930 33554432000 4194304 4196468 140730330558896 139636115934256 139636632074882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 39720 KiB
[startup+0.313995 s]*
/proc/loadavg: 1.27 1.47 1.47 5/216 23852
/proc/meminfo: memFree=22047800/32770624 swapFree=67108796/67108860
[pid=23837] ppid=23834 vsize=10661132 memory=55828 CPUtime=0.68 cores=0,2,4,6
/proc/23837/stat : 23837 (java) S 23834 23837 25017 0 -1 1077944320 10014 0 0 0 65 3 0 0 20 0 15 0 94412212 10916999168 13957 33554432000 4194304 4196468 140730330558896 140730330541440 139636632063735 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
/proc/23837/statm: 2665283 13957 3053 1 0 2627263 0
[pid=23837/tid=23839] ppid=23834 vsize=10661132 memory=53476 CPUtime=0.3 cores=0,2,4,6
/proc/23837/task/23839/stat : 23839 (java) S 23834 23837 25017 0 -1 1077944384 5261 0 0 0 29 1 0 0 20 0 15 0 94412213 10916999168 14019 33554432000 4194304 4196468 140730330558896 139636636300400 139636632073941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23840] ppid=23834 vsize=10661132 memory=35 CPUtime=0 cores=0,2,4,6
/proc/23837/task/23840/stat : 23840 (java) S 23834 23837 25017 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94412214 10916999168 14019 33554432000 4194304 4196468 140730330558896 139636568754704 139636632073941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23841] ppid=23834 vsize=10661132 memory=139693706262816 CPUtime=0 cores=0,2,4,6
/proc/23837/task/23841/stat : 23841 (java) S 23834 23837 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94412214 10916999168 14019 33554432000 4194304 4196468 140730330558896 139636238051984 139636632073941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23842] ppid=23834 vsize=10661132 memory=60388 CPUtime=0 cores=0,2,4,6
/proc/23837/task/23842/stat : 23842 (java) S 23834 23837 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94412214 10916999168 14019 33554432000 4194304 4196468 140730330558896 139636236998928 139636632073941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23843] ppid=23834 vsize=10661132 memory=35 CPUtime=0 cores=0,2,4,6
/proc/23837/task/23843/stat : 23843 (java) S 23834 23837 25017 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94412214 10916999168 14019 33554432000 4194304 4196468 140730330558896 139636235946384 139636632073941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23844] ppid=23834 vsize=10661132 memory=139693706269728 CPUtime=0 cores=0,2,4,6
/proc/23837/task/23844/stat : 23844 (java) R 23834 23837 25017 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94412215 10916999168 14019 33554432000 4194304 4196468 140730330558896 139636124355312 139636632074882 0 0 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23845] ppid=23834 vsize=10661132 memory=35 CPUtime=0 cores=0,2,4,6
/proc/23837/task/23845/stat : 23845 (java) S 23834 23837 25017 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 94412215 10916999168 14019 33554432000 4194304 4196468 140730330558896 139636123301536 139636632073941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23846] ppid=23834 vsize=10661132 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/23837/task/23846/stat : 23846 (java) S 23834 23837 25017 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 94412216 10916999168 14019 33554432000 4194304 4196468 140730330558896 139636122248432 139636632073941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23847] ppid=23834 vsize=10661132 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/23837/task/23847/stat : 23847 (java) S 23834 23837 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94412218 10916999168 14019 33554432000 4194304 4196468 140730330558896 139636121197008 139636632082331 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23848] ppid=23834 vsize=10661132 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/23837/task/23848/stat : 23848 (java) R 23834 23837 25017 0 -1 4202560 1274 0 0 0 12 0 0 0 20 0 15 0 94412218 10916999168 14019 33554432000 4194304 4196468 140730330558896 139636120135440 139636615555486 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23849] ppid=23834 vsize=10661132 memory=139693610094095 CPUtime=0.11 cores=0,2,4,6
/proc/23837/task/23849/stat : 23849 (java) R 23834 23837 25017 0 -1 4202560 933 0 0 0 11 0 0 0 20 0 15 0 94412218 10916999168 14019 33554432000 4194304 4196468 140730330558896 139636119082672 139636609658480 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23850] ppid=23834 vsize=10661132 memory=139693706228503 CPUtime=0.12 cores=0,2,4,6
/proc/23837/task/23850/stat : 23850 (java) R 23834 23837 25017 0 -1 1077944384 1182 0 0 0 12 0 0 0 20 0 15 0 94412218 10916999168 14019 33554432000 4194304 4196468 140730330558896 139636118038512 139636632074882 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23851] ppid=23834 vsize=10661132 memory=139693610098639 CPUtime=0 cores=0,2,4,6
/proc/23837/task/23851/stat : 23851 (java) S 23834 23837 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94412218 10916999168 14019 33554432000 4194304 4196468 140730330558896 139636116986208 139636632073941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23852] ppid=23834 vsize=10661132 memory=279387316320192 CPUtime=0 cores=0,2,4,6
/proc/23837/task/23852/stat : 23852 (java) S 23834 23837 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94412218 10916999168 14019 33554432000 4194304 4196468 140730330558896 139636115934256 139636632074882 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 55828 KiB
[startup+0.700725 s]
/proc/loadavg: 1.27 1.47 1.47 5/216 23852
/proc/meminfo: memFree=22028812/32770624 swapFree=67108796/67108860
[pid=23837] ppid=23834 vsize=10661132 memory=138032 CPUtime=1.83 cores=0,2,4,6
/proc/23837/stat : 23837 (java) S 23834 23837 25017 0 -1 1077944320 11099 0 0 0 178 5 0 0 20 0 15 0 94412212 10916999168 34508 33554432000 4194304 4196468 140730330558896 140730330541440 139636632063735 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
/proc/23837/statm: 2665283 34508 3101 1 0 2627263 0
[pid=23837/tid=23839] ppid=23834 vsize=10661132 memory=2372 CPUtime=0.68 cores=0,2,4,6
/proc/23837/task/23839/stat : 23839 (java) R 23834 23837 25017 0 -1 4202560 5503 0 0 0 65 3 0 0 20 0 15 0 94412213 10916999168 34508 33554432000 4194304 4196468 140730330558896 139636636297960 139636632075670 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23840] ppid=23834 vsize=10661132 memory=6872598998417432672 CPUtime=0 cores=0,2,4,6
/proc/23837/task/23840/stat : 23840 (java) S 23834 23837 25017 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94412214 10916999168 34508 33554432000 4194304 4196468 140730330558896 139636568754704 139636632073941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23841] ppid=23834 vsize=10661132 memory=7024 CPUtime=0 cores=0,2,4,6
/proc/23837/task/23841/stat : 23841 (java) S 23834 23837 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94412214 10916999168 34508 33554432000 4194304 4196468 140730330558896 139636238051984 139636632073941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23842] ppid=23834 vsize=10661132 memory=15044 CPUtime=0 cores=0,2,4,6
/proc/23837/task/23842/stat : 23842 (java) S 23834 23837 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94412214 10916999168 34508 33554432000 4194304 4196468 140730330558896 139636236998928 139636632073941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23843] ppid=23834 vsize=10661132 memory=20480 CPUtime=0 cores=0,2,4,6
/proc/23837/task/23843/stat : 23843 (java) S 23834 23837 25017 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 94412214 10916999168 34508 33554432000 4194304 4196468 140730330558896 139636235946384 139636632073941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23844] ppid=23834 vsize=10661132 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/23837/task/23844/stat : 23844 (java) S 23834 23837 25017 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 94412215 10916999168 34508 33554432000 4194304 4196468 140730330558896 139636124355312 139636632074882 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23845] ppid=23834 vsize=10661132 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/23837/task/23845/stat : 23845 (java) S 23834 23837 25017 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 94412215 10916999168 34508 33554432000 4194304 4196468 140730330558896 139636123301536 139636632073941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23846] ppid=23834 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23837/task/23846/stat : 23846 (java) S 23834 23837 25017 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 94412216 10916999168 34508 33554432000 4194304 4196468 140730330558896 139636122248432 139636632073941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23847] ppid=23834 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23837/task/23847/stat : 23847 (java) S 23834 23837 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94412218 10916999168 34508 33554432000 4194304 4196468 140730330558896 139636121197008 139636632082331 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23848] ppid=23834 vsize=10661132 memory=0 CPUtime=0.45 cores=0,2,4,6
/proc/23837/task/23848/stat : 23848 (java) R 23834 23837 25017 0 -1 4202560 1727 0 0 0 45 0 0 0 20 0 15 0 94412218 10916999168 34508 33554432000 4194304 4196468 140730330558896 139636120135568 139636611296568 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23849] ppid=23834 vsize=10661132 memory=0 CPUtime=0.44 cores=0,2,4,6
/proc/23837/task/23849/stat : 23849 (java) R 23834 23837 25017 0 -1 4202560 1090 0 0 0 44 0 0 0 20 0 15 0 94412218 10916999168 34508 33554432000 4194304 4196468 140730330558896 139636119077592 139636617674432 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23850] ppid=23834 vsize=10661132 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/23837/task/23850/stat : 23850 (java) S 23834 23837 25017 0 -1 1077944384 1407 0 0 0 23 0 0 0 20 0 15 0 94412218 10916999168 34508 33554432000 4194304 4196468 140730330558896 139636118038512 139636632074882 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23851] ppid=23834 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23837/task/23851/stat : 23851 (java) S 23834 23837 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94412218 10916999168 34508 33554432000 4194304 4196468 140730330558896 139636116986208 139636632073941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23852] ppid=23834 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/23837/task/23852/stat : 23852 (java) S 23834 23837 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 94412218 10916999168 34508 33554432000 4194304 4196468 140730330558896 139636115934256 139636632074882 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
Current children cumulated CPU time: 1.83 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 138032 KiB
[startup+1.50076 s]
/proc/loadavg: 1.27 1.47 1.47 5/216 23852
/proc/meminfo: memFree=21907964/32770624 swapFree=67108796/67108860
[pid=23837] ppid=23834 vsize=10661132 memory=243712 CPUtime=4.19 cores=0,2,4,6
/proc/23837/stat : 23837 (java) S 23834 23837 25017 0 -1 1077944320 14239 0 0 0 405 14 0 0 20 0 15 0 94412212 10916999168 60928 33554432000 4194304 4196468 140730330558896 140730330541440 139636632063735 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
/proc/23837/statm: 2665283 60928 3155 1 0 2627263 0
[pid=23837/tid=23839] ppid=23834 vsize=10661132 memory=3474023769182327658 CPUtime=1.43 cores=0,2,4,6
/proc/23837/task/23839/stat : 23839 (java) R 23834 23837 25017 0 -1 4202560 5691 0 0 0 139 4 0 0 20 0 15 0 94412213 10916999168 60928 33554432000 4194304 4196468 140730330558896 139636636301600 139636253623911 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23840] ppid=23834 vsize=10661132 memory=193652 CPUtime=0.03 cores=0,2,4,6
/proc/23837/task/23840/stat : 23840 (java) S 23834 23837 25017 0 -1 1077944384 116 0 0 0 2 1 0 0 20 0 15 0 94412214 10916999168 60928 33554432000 4194304 4196468 140730330558896 139636568754704 139636632073941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23841] ppid=23834 vsize=10661132 memory=2241 CPUtime=0.03 cores=0,2,4,6
/proc/23837/task/23841/stat : 23841 (java) S 23834 23837 25017 0 -1 1077944384 128 0 0 0 2 1 0 0 20 0 15 0 94412214 10916999168 60928 33554432000 4194304 4196468 140730330558896 139636238051984 139636632073941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23842] ppid=23834 vsize=10661132 memory=7024 CPUtime=0.03 cores=0,2,4,6
/proc/23837/task/23842/stat : 23842 (java) S 23834 23837 25017 0 -1 1077944384 169 0 0 0 2 1 0 0 20 0 15 0 94412214 10916999168 60928 33554432000 4194304 4196468 140730330558896 139636236998928 139636632073941 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23843] ppid=23834 vsize=10661132 memory=15044 CPUtime=0.04 cores=0,2,4,6
/proc/23837/task/23843/stat : 23843 (java) S 23834 23837 25017 0 -1 1077944384 141 0 0 0 2 2 0 0 20 0 15 0 94412214 10916999168 60928 33554432000 4194304 4196468 140730330558896 139636235946384 139636632073941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23844] ppid=23834 vsize=10661132 memory=20480 CPUtime=0 cores=0,2,4,6
/proc/23837/task/23844/stat : 23844 (java) S 23834 23837 25017 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 94412215 10916999168 60928 33554432000 4194304 4196468 140730330558896 139636124355312 139636632074882 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
################
# More data... #
################
/proc/23837/task/23839/stat : 23839 (java) R 23834 23837 25017 0 -1 4202560 79987 0 0 0 237093 66 0 0 20 0 15 0 94412213 10916999168 189441 33554432000 4194304 4196468 140730330558896 139636636282096 139636254933981 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23840] ppid=23834 vsize=10661132 memory=757764 CPUtime=10.26 cores=0,2,4,6
/proc/23837/task/23840/stat : 23840 (java) S 23834 23837 25017 0 -1 1077944384 100692 0 0 0 995 31 0 0 20 0 15 0 94412214 10916999168 189441 33554432000 4194304 4196468 140730330558896 139636568754704 139636632073941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23841] ppid=23834 vsize=10661132 memory=757764 CPUtime=10.18 cores=0,2,4,6
/proc/23837/task/23841/stat : 23841 (java) S 23834 23837 25017 0 -1 1077944384 13414 0 0 0 1000 18 0 0 20 0 15 0 94412214 10916999168 189441 33554432000 4194304 4196468 140730330558896 139636238051984 139636632073941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23842] ppid=23834 vsize=10661132 memory=757764 CPUtime=10.2 cores=0,2,4,6
/proc/23837/task/23842/stat : 23842 (java) S 23834 23837 25017 0 -1 1077944384 6647 0 0 0 1002 18 0 0 20 0 15 0 94412214 10916999168 189441 33554432000 4194304 4196468 140730330558896 139636236998928 139636632073941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23843] ppid=23834 vsize=10661132 memory=757764 CPUtime=10.16 cores=0,2,4,6
/proc/23837/task/23843/stat : 23843 (java) S 23834 23837 25017 0 -1 1077944384 7313 0 0 0 997 19 0 0 20 0 15 0 94412214 10916999168 189441 33554432000 4194304 4196468 140730330558896 139636235946384 139636632073941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23844] ppid=23834 vsize=10661132 memory=757764 CPUtime=0.14 cores=0,2,4,6
/proc/23837/task/23844/stat : 23844 (java) S 23834 23837 25017 0 -1 1077944384 9527 0 0 0 7 7 0 0 20 0 15 0 94412215 10916999168 189441 33554432000 4194304 4196468 140730330558896 139636124355312 139636632074882 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23845] ppid=23834 vsize=10661132 memory=757764 CPUtime=0 cores=0,2,4,6
/proc/23837/task/23845/stat : 23845 (java) S 23834 23837 25017 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 94412215 10916999168 189441 33554432000 4194304 4196468 140730330558896 139636123301600 139636632073941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23846] ppid=23834 vsize=10661132 memory=768536 CPUtime=0 cores=0,2,4,6
/proc/23837/task/23846/stat : 23846 (java) S 23834 23837 25017 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 94412216 10916999168 189441 33554432000 4194304 4196468 140730330558896 139636122248432 139636632073941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23847] ppid=23834 vsize=10661132 memory=3708 CPUtime=0 cores=0,2,4,6
/proc/23837/task/23847/stat : 23847 (java) S 23834 23837 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94412218 10916999168 189441 33554432000 4194304 4196468 140730330558896 139636121197008 139636632082331 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23848] ppid=23834 vsize=10661132 memory=825004 CPUtime=3.14 cores=0,2,4,6
/proc/23837/task/23848/stat : 23848 (java) S 23834 23837 25017 0 -1 1077944384 15372 0 0 0 311 3 0 0 20 0 15 0 94412218 10916999168 189441 33554432000 4194304 4196468 140730330558896 139636120144112 139636632074882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23849] ppid=23834 vsize=10661132 memory=7024 CPUtime=2.4 cores=0,2,4,6
/proc/23837/task/23849/stat : 23849 (java) S 23834 23837 25017 0 -1 1077944384 6834 0 0 0 239 1 0 0 20 0 15 0 94412218 10916999168 189441 33554432000 4194304 4196468 140730330558896 139636119091568 139636632074882 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23850] ppid=23834 vsize=10661132 memory=757764 CPUtime=0.52 cores=0,2,4,6
/proc/23837/task/23850/stat : 23850 (java) S 23834 23837 25017 0 -1 1077944384 4891 0 0 0 50 2 0 0 20 0 15 0 94412218 10916999168 189441 33554432000 4194304 4196468 140730330558896 139636118038512 139636632074882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23851] ppid=23834 vsize=10661132 memory=1800 CPUtime=0 cores=0,2,4,6
/proc/23837/task/23851/stat : 23851 (java) S 23834 23837 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94412218 10916999168 189441 33554432000 4194304 4196468 140730330558896 139636116986208 139636632073941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23852] ppid=23834 vsize=10661132 memory=7024 CPUtime=1.4 cores=0,2,4,6
/proc/23837/task/23852/stat : 23852 (java) S 23834 23837 25017 0 -1 1077944384 2142 0 0 0 68 72 0 0 20 0 15 0 94412218 10916999168 189441 33554432000 4194304 4196468 140730330558896 139636115934256 139636632074882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
Current children cumulated CPU time: 2420.07 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 757764 KiB
[startup+2442.3 s]
/proc/loadavg: 1.76 1.73 1.74 3/215 24001
/proc/meminfo: memFree=21084324/32770624 swapFree=67108796/67108860
[pid=23837] ppid=23834 vsize=10661132 memory=810048 CPUtime=2481.99 cores=0,2,4,6
/proc/23837/stat : 23837 (java) S 23834 23837 25017 0 -1 1077944320 254626 0 0 0 247976 223 0 0 20 0 15 0 94412212 10916999168 202512 33554432000 4194304 4196468 140730330558896 140730330541440 139636632063735 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
/proc/23837/statm: 2665283 202512 3160 1 0 2627263 0
[pid=23837/tid=23839] ppid=23834 vsize=10661132 memory=810048 CPUtime=2430.94 cores=0,2,4,6
/proc/23837/task/23839/stat : 23839 (java) R 23834 23837 25017 0 -1 4202560 80594 0 0 0 243028 66 0 0 20 0 15 0 94412213 10916999168 202512 33554432000 4194304 4196468 140730330558896 139636636283120 139636254829017 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23840] ppid=23834 vsize=10661132 memory=810048 CPUtime=10.88 cores=0,2,4,6
/proc/23837/task/23840/stat : 23840 (java) S 23834 23837 25017 0 -1 1077944384 100952 0 0 0 1057 31 0 0 20 0 15 0 94412214 10916999168 202512 33554432000 4194304 4196468 140730330558896 139636568754704 139636632073941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23841] ppid=23834 vsize=10661132 memory=810048 CPUtime=10.8 cores=0,2,4,6
/proc/23837/task/23841/stat : 23841 (java) S 23834 23837 25017 0 -1 1077944384 18625 0 0 0 1061 19 0 0 20 0 15 0 94412214 10916999168 202512 33554432000 4194304 4196468 140730330558896 139636238051984 139636632073941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23842] ppid=23834 vsize=10661132 memory=771328 CPUtime=10.83 cores=0,2,4,6
/proc/23837/task/23842/stat : 23842 (java) S 23834 23837 25017 0 -1 1077944384 6666 0 0 0 1065 18 0 0 20 0 15 0 94412214 10916999168 202512 33554432000 4194304 4196468 140730330558896 139636236998928 139636632073941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23843] ppid=23834 vsize=10661132 memory=810048 CPUtime=10.79 cores=0,2,4,6
/proc/23837/task/23843/stat : 23843 (java) S 23834 23837 25017 0 -1 1077944384 7394 0 0 0 1059 20 0 0 20 0 15 0 94412214 10916999168 202512 33554432000 4194304 4196468 140730330558896 139636235946384 139636632073941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23844] ppid=23834 vsize=10661132 memory=810048 CPUtime=0.14 cores=0,2,4,6
/proc/23837/task/23844/stat : 23844 (java) S 23834 23837 25017 0 -1 1077944384 9761 0 0 0 7 7 0 0 20 0 15 0 94412215 10916999168 202512 33554432000 4194304 4196468 140730330558896 139636124355312 139636632074882 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23845] ppid=23834 vsize=10661132 memory=810048 CPUtime=0 cores=0,2,4,6
/proc/23837/task/23845/stat : 23845 (java) S 23834 23837 25017 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 94412215 10916999168 202512 33554432000 4194304 4196468 140730330558896 139636123301600 139636632073941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23846] ppid=23834 vsize=10661132 memory=810048 CPUtime=0 cores=0,2,4,6
/proc/23837/task/23846/stat : 23846 (java) S 23834 23837 25017 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 94412216 10916999168 202512 33554432000 4194304 4196468 140730330558896 139636122248432 139636632073941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23847] ppid=23834 vsize=10661132 memory=810048 CPUtime=0 cores=0,2,4,6
/proc/23837/task/23847/stat : 23847 (java) S 23834 23837 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94412218 10916999168 202512 33554432000 4194304 4196468 140730330558896 139636121197008 139636632082331 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23848] ppid=23834 vsize=10661132 memory=3708 CPUtime=3.14 cores=0,2,4,6
/proc/23837/task/23848/stat : 23848 (java) S 23834 23837 25017 0 -1 1077944384 15374 0 0 0 311 3 0 0 20 0 15 0 94412218 10916999168 202512 33554432000 4194304 4196468 140730330558896 139636120144112 139636632074882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23849] ppid=23834 vsize=10661132 memory=810048 CPUtime=2.4 cores=0,2,4,6
/proc/23837/task/23849/stat : 23849 (java) S 23834 23837 25017 0 -1 1077944384 6836 0 0 0 239 1 0 0 20 0 15 0 94412218 10916999168 202512 33554432000 4194304 4196468 140730330558896 139636119091568 139636632074882 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23850] ppid=23834 vsize=10661132 memory=810048 CPUtime=0.52 cores=0,2,4,6
/proc/23837/task/23850/stat : 23850 (java) S 23834 23837 25017 0 -1 1077944384 4893 0 0 0 50 2 0 0 20 0 15 0 94412218 10916999168 202512 33554432000 4194304 4196468 140730330558896 139636118038512 139636632074882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23851] ppid=23834 vsize=10661132 memory=810048 CPUtime=0 cores=0,2,4,6
/proc/23837/task/23851/stat : 23851 (java) S 23834 23837 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94412218 10916999168 202512 33554432000 4194304 4196468 140730330558896 139636116986208 139636632073941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23852] ppid=23834 vsize=10661132 memory=810048 CPUtime=1.43 cores=0,2,4,6
/proc/23837/task/23852/stat : 23852 (java) S 23834 23837 25017 0 -1 1077944384 2165 0 0 0 69 74 0 0 20 0 15 0 94412218 10916999168 202512 33554432000 4194304 4196468 140730330558896 139636115934256 139636632074882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
Current children cumulated CPU time: 2481.99 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 810048 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2479.5 s]
/proc/loadavg: 1.71 1.72 1.74 3/215 24002
/proc/meminfo: memFree=21058304/32770624 swapFree=67108796/67108860
[pid=23837] ppid=23834 vsize=10661132 memory=834964 CPUtime=2520.09 cores=0,2,4,6
/proc/23837/stat : 23837 (java) S 23834 23837 25017 0 -1 1077944320 257103 0 0 0 251782 227 0 0 20 0 15 0 94412212 10916999168 208741 33554432000 4194304 4196468 140730330558896 140730330541440 139636632063735 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
/proc/23837/statm: 2665283 208741 3160 1 0 2627263 0
[pid=23837/tid=23839] ppid=23834 vsize=10661132 memory=834964 CPUtime=2467.83 cores=0,2,4,6
/proc/23837/task/23839/stat : 23839 (java) R 23834 23837 25017 0 -1 4202560 80836 0 0 0 246717 66 0 0 20 0 15 0 94412213 10916999168 208741 33554432000 4194304 4196468 140730330558896 139636636283632 139636255024266 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23840] ppid=23834 vsize=10661132 memory=834964 CPUtime=11.17 cores=0,2,4,6
/proc/23837/task/23840/stat : 23840 (java) S 23834 23837 25017 0 -1 1077944384 100968 0 0 0 1085 32 0 0 20 0 15 0 94412214 10916999168 208741 33554432000 4194304 4196468 140730330558896 139636568754704 139636632073941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23841] ppid=23834 vsize=10661132 memory=834964 CPUtime=11.11 cores=0,2,4,6
/proc/23837/task/23841/stat : 23841 (java) S 23834 23837 25017 0 -1 1077944384 20774 0 0 0 1091 20 0 0 20 0 15 0 94412214 10916999168 208741 33554432000 4194304 4196468 140730330558896 139636238051984 139636632073941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23842] ppid=23834 vsize=10661132 memory=834964 CPUtime=11.13 cores=0,2,4,6
/proc/23837/task/23842/stat : 23842 (java) S 23834 23837 25017 0 -1 1077944384 6680 0 0 0 1094 19 0 0 20 0 15 0 94412214 10916999168 208741 33554432000 4194304 4196468 140730330558896 139636236998928 139636632073941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23843] ppid=23834 vsize=10661132 memory=834964 CPUtime=11.08 cores=0,2,4,6
/proc/23837/task/23843/stat : 23843 (java) S 23834 23837 25017 0 -1 1077944384 7401 0 0 0 1088 20 0 0 20 0 15 0 94412214 10916999168 208741 33554432000 4194304 4196468 140730330558896 139636235946384 139636632073941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23844] ppid=23834 vsize=10661132 memory=834964 CPUtime=0.15 cores=0,2,4,6
/proc/23837/task/23844/stat : 23844 (java) S 23834 23837 25017 0 -1 1077944384 9808 0 0 0 8 7 0 0 20 0 15 0 94412215 10916999168 208741 33554432000 4194304 4196468 140730330558896 139636124355312 139636632074882 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23845] ppid=23834 vsize=10661132 memory=834964 CPUtime=0 cores=0,2,4,6
/proc/23837/task/23845/stat : 23845 (java) S 23834 23837 25017 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 94412215 10916999168 208741 33554432000 4194304 4196468 140730330558896 139636123301600 139636632073941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23846] ppid=23834 vsize=10661132 memory=834964 CPUtime=0 cores=0,2,4,6
/proc/23837/task/23846/stat : 23846 (java) S 23834 23837 25017 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 94412216 10916999168 208741 33554432000 4194304 4196468 140730330558896 139636122248432 139636632073941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23847] ppid=23834 vsize=10661132 memory=4016 CPUtime=0 cores=0,2,4,6
/proc/23837/task/23847/stat : 23847 (java) S 23834 23837 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94412218 10916999168 208741 33554432000 4194304 4196468 140730330558896 139636121197008 139636632082331 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23848] ppid=23834 vsize=10661132 memory=7024 CPUtime=3.14 cores=0,2,4,6
/proc/23837/task/23848/stat : 23848 (java) S 23834 23837 25017 0 -1 1077944384 15374 0 0 0 311 3 0 0 20 0 15 0 94412218 10916999168 208741 33554432000 4194304 4196468 140730330558896 139636120144112 139636632074882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23849] ppid=23834 vsize=10661132 memory=834964 CPUtime=2.4 cores=0,2,4,6
/proc/23837/task/23849/stat : 23849 (java) S 23834 23837 25017 0 -1 1077944384 6836 0 0 0 239 1 0 0 20 0 15 0 94412218 10916999168 208741 33554432000 4194304 4196468 140730330558896 139636119091568 139636632074882 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23850] ppid=23834 vsize=10661132 memory=834964 CPUtime=0.52 cores=0,2,4,6
/proc/23837/task/23850/stat : 23850 (java) S 23834 23837 25017 0 -1 1077944384 4893 0 0 0 50 2 0 0 20 0 15 0 94412218 10916999168 208741 33554432000 4194304 4196468 140730330558896 139636118038512 139636632074882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23851] ppid=23834 vsize=10661132 memory=834964 CPUtime=0 cores=0,2,4,6
/proc/23837/task/23851/stat : 23851 (java) S 23834 23837 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94412218 10916999168 208741 33554432000 4194304 4196468 140730330558896 139636116986208 139636632073941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23852] ppid=23834 vsize=10661132 memory=3708 CPUtime=1.46 cores=0,2,4,6
/proc/23837/task/23852/stat : 23852 (java) S 23834 23837 25017 0 -1 1077944384 2167 0 0 0 70 76 0 0 20 0 15 0 94412218 10916999168 208741 33554432000 4194304 4196468 140730330558896 139636115934256 139636632074882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 834964 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2479.53 s]
# the end of solver process 23837 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.84 s, system=2.27729 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2479.5 s]
/proc/loadavg: 1.71 1.72 1.74 3/215 24002
/proc/meminfo: memFree=21058304/32770624 swapFree=67108796/67108860
[pid=23837] ppid=23834 vsize=10661132 memory=834964 CPUtime=2520.09 cores=0,2,4,6
/proc/23837/stat : 23837 (java) S 23834 23837 25017 0 -1 1077944320 257103 0 0 0 251782 227 0 0 20 0 15 0 94412212 10916999168 208741 33554432000 4194304 4196468 140730330558896 140730330541440 139636632063735 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
/proc/23837/statm: 2665283 208741 3160 1 0 2627263 0
[pid=23837/tid=23839] ppid=23834 vsize=10661132 memory=834964 CPUtime=2467.83 cores=0,2,4,6
/proc/23837/task/23839/stat : 23839 (java) R 23834 23837 25017 0 -1 4202560 80836 0 0 0 246717 66 0 0 20 0 15 0 94412213 10916999168 208741 33554432000 4194304 4196468 140730330558896 139636636283632 139636255024266 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23840] ppid=23834 vsize=10661132 memory=834964 CPUtime=11.17 cores=0,2,4,6
/proc/23837/task/23840/stat : 23840 (java) S 23834 23837 25017 0 -1 1077944384 100968 0 0 0 1085 32 0 0 20 0 15 0 94412214 10916999168 208741 33554432000 4194304 4196468 140730330558896 139636568754704 139636632073941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23841] ppid=23834 vsize=10661132 memory=834964 CPUtime=11.11 cores=0,2,4,6
/proc/23837/task/23841/stat : 23841 (java) S 23834 23837 25017 0 -1 1077944384 20774 0 0 0 1091 20 0 0 20 0 15 0 94412214 10916999168 208741 33554432000 4194304 4196468 140730330558896 139636238051984 139636632073941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23842] ppid=23834 vsize=10661132 memory=834964 CPUtime=11.13 cores=0,2,4,6
/proc/23837/task/23842/stat : 23842 (java) S 23834 23837 25017 0 -1 1077944384 6680 0 0 0 1094 19 0 0 20 0 15 0 94412214 10916999168 208741 33554432000 4194304 4196468 140730330558896 139636236998928 139636632073941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23843] ppid=23834 vsize=10661132 memory=834964 CPUtime=11.08 cores=0,2,4,6
/proc/23837/task/23843/stat : 23843 (java) S 23834 23837 25017 0 -1 1077944384 7401 0 0 0 1088 20 0 0 20 0 15 0 94412214 10916999168 208741 33554432000 4194304 4196468 140730330558896 139636235946384 139636632073941 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23844] ppid=23834 vsize=10661132 memory=834964 CPUtime=0.15 cores=0,2,4,6
/proc/23837/task/23844/stat : 23844 (java) S 23834 23837 25017 0 -1 1077944384 9808 0 0 0 8 7 0 0 20 0 15 0 94412215 10916999168 208741 33554432000 4194304 4196468 140730330558896 139636124355312 139636632074882 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23845] ppid=23834 vsize=10661132 memory=834964 CPUtime=0 cores=0,2,4,6
/proc/23837/task/23845/stat : 23845 (java) S 23834 23837 25017 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 94412215 10916999168 208741 33554432000 4194304 4196468 140730330558896 139636123301600 139636632073941 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23846] ppid=23834 vsize=10661132 memory=834964 CPUtime=0 cores=0,2,4,6
/proc/23837/task/23846/stat : 23846 (java) S 23834 23837 25017 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 94412216 10916999168 208741 33554432000 4194304 4196468 140730330558896 139636122248432 139636632073941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23847] ppid=23834 vsize=10661132 memory=4016 CPUtime=0 cores=0,2,4,6
/proc/23837/task/23847/stat : 23847 (java) S 23834 23837 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94412218 10916999168 208741 33554432000 4194304 4196468 140730330558896 139636121197008 139636632082331 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23848] ppid=23834 vsize=10661132 memory=7024 CPUtime=3.14 cores=0,2,4,6
/proc/23837/task/23848/stat : 23848 (java) S 23834 23837 25017 0 -1 1077944384 15374 0 0 0 311 3 0 0 20 0 15 0 94412218 10916999168 208741 33554432000 4194304 4196468 140730330558896 139636120144112 139636632074882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23849] ppid=23834 vsize=10661132 memory=834964 CPUtime=2.4 cores=0,2,4,6
/proc/23837/task/23849/stat : 23849 (java) S 23834 23837 25017 0 -1 1077944384 6836 0 0 0 239 1 0 0 20 0 15 0 94412218 10916999168 208741 33554432000 4194304 4196468 140730330558896 139636119091568 139636632074882 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23850] ppid=23834 vsize=10661132 memory=834964 CPUtime=0.52 cores=0,2,4,6
/proc/23837/task/23850/stat : 23850 (java) S 23834 23837 25017 0 -1 1077944384 4893 0 0 0 50 2 0 0 20 0 15 0 94412218 10916999168 208741 33554432000 4194304 4196468 140730330558896 139636118038512 139636632074882 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23851] ppid=23834 vsize=10661132 memory=834964 CPUtime=0 cores=0,2,4,6
/proc/23837/task/23851/stat : 23851 (java) S 23834 23837 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 94412218 10916999168 208741 33554432000 4194304 4196468 140730330558896 139636116986208 139636632073941 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
[pid=23837/tid=23852] ppid=23834 vsize=10661132 memory=3708 CPUtime=1.46 cores=0,2,4,6
/proc/23837/task/23852/stat : 23852 (java) S 23834 23837 25017 0 -1 1077944384 2167 0 0 0 70 76 0 0 20 0 15 0 94412218 10916999168 208741 33554432000 4194304 4196468 140730330558896 139636115934256 139636632074882 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18796544 140730330563704 140730330563849 140730330563849 140730330566607 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 834964 KiB
Child status: 143
Real time (s): 2479.53
CPU time (s): 2520.12
CPU user time (s): 2517.84
CPU system time (s): 2.27729
CPU usage (%): 101.637
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 2776496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.84
system time used= 2.27729
maximum resident set size= 2800520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 257359
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2488
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57899
involuntary context switches= 3221
# summary of solver processes directly reported to runsolver:
# pid: 23837
# total CPU time (s): 2520.12
# total CPU user time (s): 2517.84
# total CPU system time (s): 2.27729
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.8205 second user time and 22.8485 second system time
The end