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 (6964 MiB free)
memory of node 1: 16384 MiB (11227 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308206-1534345266/watcher-4308206-1534345266 -o /tmp/evaluation-result-4308206-1534345266/solver-4308206-1534345266 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534345266-31023 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1821562835 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308206-1534345266.xml
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
solver pid=31043, runsolver pid=31040
Current StackSize limit: 8192 KiB
[startup+0.100116 s]*
/proc/loadavg: 1.24 1.30 1.38 4/211 31076
/proc/meminfo: memFree=18602508/32770624 swapFree=67108792/67108860
[pid=31043] ppid=31040 vsize=14082736 memory=30492 CPUtime=0.1 cores=0,2,4,6
/proc/31043/stat : 31043 (java) S 31040 31043 29875 0 -1 1077944320 6550 0 0 0 9 1 0 0 20 0 15 0 252089907 14420721664 7623 33554432000 4194304 4196468 140727431660816 140727431643360 140365637328631 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
/proc/31043/statm: 3520684 7623 3136 1 0 3482761 0
[pid=31043/tid=31045] ppid=31040 vsize=14082736 memory=5450919713671312938 CPUtime=0.08 cores=0,2,4,6
/proc/31043/task/31045/stat : 31045 (java) R 31040 31043 29875 0 -1 4202560 4615 0 0 0 8 0 0 0 20 0 15 0 252089908 14420721664 7623 33554432000 4194304 4196468 140727431660816 140365641560192 140365621409148 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31046] ppid=31040 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31043/task/31046/stat : 31046 (java) S 31040 31043 29875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252089909 14420721664 7623 33554432000 4194304 4196468 140727431660816 140365574929168 140365637338837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31047] ppid=31040 vsize=14082736 memory=139802492806784 CPUtime=0 cores=0,2,4,6
/proc/31043/task/31047/stat : 31047 (java) S 31040 31043 29875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252089909 14420721664 7623 33554432000 4194304 4196468 140727431660816 140365573876624 140365637338837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31048] ppid=31040 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31043/task/31048/stat : 31048 (java) S 31040 31043 29875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252089909 14420721664 7623 33554432000 4194304 4196468 140727431660816 140365572824080 140365637338837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31049] ppid=31040 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31043/task/31049/stat : 31049 (java) S 31040 31043 29875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 252089909 14420721664 7623 33554432000 4194304 4196468 140727431660816 140365229726864 140365637338837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31050] ppid=31040 vsize=14082736 memory=139802492806784 CPUtime=0 cores=0,2,4,6
/proc/31043/task/31050/stat : 31050 (java) S 31040 31043 29875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 252089911 14420721664 7623 33554432000 4194304 4196468 140727431660816 140364750981104 140365637339778 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31052] ppid=31040 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31043/task/31052/stat : 31052 (java) S 31040 31043 29875 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 252089911 14420721664 7623 33554432000 4194304 4196468 140727431660816 140364749927328 140365637338837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31056] ppid=31040 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31043/task/31056/stat : 31056 (java) S 31040 31043 29875 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 252089911 14420721664 7623 33554432000 4194304 4196468 140727431660816 140364748874736 140365637338837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31064] ppid=31040 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31043/task/31064/stat : 31064 (java) S 31040 31043 29875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252089914 14420721664 7623 33554432000 4194304 4196468 140727431660816 140364747823312 140365637347227 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31065] ppid=31040 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31043/task/31065/stat : 31065 (java) S 31040 31043 29875 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 252089914 14420721664 7623 33554432000 4194304 4196468 140727431660816 140364746770928 140365637339778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31066] ppid=31040 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31043/task/31066/stat : 31066 (java) S 31040 31043 29875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252089914 14420721664 7623 33554432000 4194304 4196468 140727431660816 140364745718384 140365637339778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31067] ppid=31040 vsize=14082736 memory=139802492806784 CPUtime=0 cores=0,2,4,6
/proc/31043/task/31067/stat : 31067 (java) R 31040 31043 29875 0 -1 4202560 249 0 0 0 0 0 0 0 20 0 15 0 252089914 14420721664 7623 33554432000 4194304 4196468 140727431660816 140364744665840 140365616293830 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31068] ppid=31040 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31043/task/31068/stat : 31068 (java) S 31040 31043 29875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252089914 14420721664 7623 33554432000 4194304 4196468 140727431660816 140364743613536 140365637338837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31069] ppid=31040 vsize=14082736 memory=139802492806784 CPUtime=0 cores=0,2,4,6
/proc/31043/task/31069/stat : 31069 (java) S 31040 31043 29875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252089914 14420721664 7623 33554432000 4194304 4196468 140727431660816 140364742560048 140365637339778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 30492 KiB
[startup+0.210591 s]*
/proc/loadavg: 1.24 1.30 1.38 4/217 31082
/proc/meminfo: memFree=18568872/32770624 swapFree=67108792/67108860
[pid=31043] ppid=31040 vsize=14082736 memory=47272 CPUtime=0.27 cores=0,2,4,6
/proc/31043/stat : 31043 (java) S 31040 31043 29875 0 -1 1077944320 10357 0 0 0 25 2 0 0 20 0 15 0 252089907 14420721664 11818 33554432000 4194304 4196468 140727431660816 140727431643360 140365637328631 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
/proc/31043/statm: 3520684 11818 3327 1 0 3482761 0
[pid=31043/tid=31045] ppid=31040 vsize=14082736 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/31043/task/31045/stat : 31045 (java) R 31040 31043 29875 0 -1 4202560 8195 0 0 0 18 1 0 0 20 0 15 0 252089908 14420721664 11818 33554432000 4194304 4196468 140727431660816 140365641554928 140365637350557 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31046] ppid=31040 vsize=14082736 memory=364 CPUtime=0 cores=0,2,4,6
/proc/31043/task/31046/stat : 31046 (java) S 31040 31043 29875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252089909 14420721664 11818 33554432000 4194304 4196468 140727431660816 140365574929168 140365637338837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31047] ppid=31040 vsize=14082736 memory=3545097468900288160 CPUtime=0 cores=0,2,4,6
/proc/31043/task/31047/stat : 31047 (java) S 31040 31043 29875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252089909 14420721664 11818 33554432000 4194304 4196468 140727431660816 140365573876624 140365637338837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31048] ppid=31040 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31043/task/31048/stat : 31048 (java) S 31040 31043 29875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252089909 14420721664 11818 33554432000 4194304 4196468 140727431660816 140365572824080 140365637338837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31049] ppid=31040 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31043/task/31049/stat : 31049 (java) S 31040 31043 29875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 252089909 14420721664 11818 33554432000 4194304 4196468 140727431660816 140365229726864 140365637338837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31050] ppid=31040 vsize=14082736 memory=139802492806784 CPUtime=0 cores=0,2,4,6
/proc/31043/task/31050/stat : 31050 (java) S 31040 31043 29875 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 252089911 14420721664 11818 33554432000 4194304 4196468 140727431660816 140364750981104 140365637339778 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31052] ppid=31040 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31043/task/31052/stat : 31052 (java) S 31040 31043 29875 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 252089911 14420721664 11818 33554432000 4194304 4196468 140727431660816 140364749927328 140365637338837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31056] ppid=31040 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31043/task/31056/stat : 31056 (java) S 31040 31043 29875 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 252089911 14420721664 11818 33554432000 4194304 4196468 140727431660816 140364748874736 140365637338837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31064] ppid=31040 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31043/task/31064/stat : 31064 (java) S 31040 31043 29875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252089914 14420721664 11818 33554432000 4194304 4196468 140727431660816 140364747823312 140365637347227 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31065] ppid=31040 vsize=14082736 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/31043/task/31065/stat : 31065 (java) R 31040 31043 29875 0 -1 1077944384 358 0 0 0 1 0 0 0 20 0 15 0 252089914 14420721664 11818 33554432000 4194304 4196468 140727431660816 140364746770928 140365637339778 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31066] ppid=31040 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31043/task/31066/stat : 31066 (java) R 31040 31043 29875 0 -1 4202560 153 0 0 0 0 0 0 0 20 0 15 0 252089914 14420721664 11818 33554432000 4194304 4196468 140727431660816 140364745718384 140365629570021 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31067] ppid=31040 vsize=14082736 memory=139802492806784 CPUtime=0.05 cores=0,2,4,6
/proc/31043/task/31067/stat : 31067 (java) R 31040 31043 29875 0 -1 4202560 277 0 0 0 5 0 0 0 20 0 15 0 252089914 14420721664 11818 33554432000 4194304 4196468 140727431660816 140364744665840 140365616033377 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31068] ppid=31040 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31043/task/31068/stat : 31068 (java) S 31040 31043 29875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252089914 14420721664 11818 33554432000 4194304 4196468 140727431660816 140364743613536 140365637338837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31069] ppid=31040 vsize=14082736 memory=139802492806784 CPUtime=0 cores=0,2,4,6
/proc/31043/task/31069/stat : 31069 (java) S 31040 31043 29875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252089914 14420721664 11818 33554432000 4194304 4196468 140727431660816 140364742560048 140365637339778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47272 KiB
[startup+0.310511 s]*
/proc/loadavg: 1.24 1.30 1.38 3/217 31082
/proc/meminfo: memFree=18557576/32770624 swapFree=67108792/67108860
[pid=31043] ppid=31040 vsize=14082736 memory=50660 CPUtime=0.43 cores=0,2,4,6
/proc/31043/stat : 31043 (java) S 31040 31043 29875 0 -1 1077944320 10810 0 0 0 41 2 0 0 20 0 15 0 252089907 14420721664 12665 33554432000 4194304 4196468 140727431660816 140727431643360 140365637328631 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
/proc/31043/statm: 3520684 12665 3368 1 0 3482761 0
[pid=31043/tid=31045] ppid=31040 vsize=14082736 memory=93310187 CPUtime=0.28 cores=0,2,4,6
/proc/31043/task/31045/stat : 31045 (java) R 31040 31043 29875 0 -1 4202560 8512 0 0 0 27 1 0 0 20 0 15 0 252089908 14420721664 12665 33554432000 4194304 4196468 140727431660816 140365641536464 140365621409118 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31046] ppid=31040 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31043/task/31046/stat : 31046 (java) S 31040 31043 29875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252089909 14420721664 12665 33554432000 4194304 4196468 140727431660816 140365574929168 140365637338837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31047] ppid=31040 vsize=14082736 memory=139802393548751 CPUtime=0 cores=0,2,4,6
/proc/31043/task/31047/stat : 31047 (java) S 31040 31043 29875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252089909 14420721664 12665 33554432000 4194304 4196468 140727431660816 140365573876624 140365637338837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31048] ppid=31040 vsize=14082736 memory=279604787095184 CPUtime=0 cores=0,2,4,6
/proc/31043/task/31048/stat : 31048 (java) S 31040 31043 29875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252089909 14420721664 12665 33554432000 4194304 4196468 140727431660816 140365572824080 140365637338837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31049] ppid=31040 vsize=14082736 memory=1970350607106051 CPUtime=0 cores=0,2,4,6
/proc/31043/task/31049/stat : 31049 (java) S 31040 31043 29875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 252089909 14420721664 12665 33554432000 4194304 4196468 140727431660816 140365229726864 140365637338837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31050] ppid=31040 vsize=14082736 memory=279604886362432 CPUtime=0 cores=0,2,4,6
/proc/31043/task/31050/stat : 31050 (java) S 31040 31043 29875 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 252089911 14420721664 12665 33554432000 4194304 4196468 140727431660816 140364750981104 140365637339778 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31052] ppid=31040 vsize=14082736 memory=1970350607106051 CPUtime=0 cores=0,2,4,6
/proc/31043/task/31052/stat : 31052 (java) S 31040 31043 29875 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 252089911 14420721664 12665 33554432000 4194304 4196468 140727431660816 140364749927328 140365637338837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31056] ppid=31040 vsize=14082736 memory=2110153000687428 CPUtime=0 cores=0,2,4,6
/proc/31043/task/31056/stat : 31056 (java) S 31040 31043 29875 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 252089911 14420721664 12665 33554432000 4194304 4196468 140727431660816 140364748874736 140365637338837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31064] ppid=31040 vsize=14082736 memory=2110153000687460 CPUtime=0 cores=0,2,4,6
/proc/31043/task/31064/stat : 31064 (java) S 31040 31043 29875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252089914 14420721664 12665 33554432000 4194304 4196468 140727431660816 140364747823312 140365637347227 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31065] ppid=31040 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/31043/task/31065/stat : 31065 (java) S 31040 31043 29875 0 -1 1077944384 449 0 0 0 2 0 0 0 20 0 15 0 252089914 14420721664 12665 33554432000 4194304 4196468 140727431660816 140364746770928 140365637339778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31066] ppid=31040 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/31043/task/31066/stat : 31066 (java) S 31040 31043 29875 0 -1 1077944384 177 0 0 0 2 0 0 0 20 0 15 0 252089914 14420721664 12665 33554432000 4194304 4196468 140727431660816 140364745718384 140365637339778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31067] ppid=31040 vsize=14082736 memory=139802492806784 CPUtime=0.08 cores=0,2,4,6
/proc/31043/task/31067/stat : 31067 (java) S 31040 31043 29875 0 -1 1077944384 293 0 0 0 8 0 0 0 20 0 15 0 252089914 14420721664 12665 33554432000 4194304 4196468 140727431660816 140364744665840 140365637339778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31068] ppid=31040 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31043/task/31068/stat : 31068 (java) S 31040 31043 29875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252089914 14420721664 12665 33554432000 4194304 4196468 140727431660816 140364743613536 140365637338837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31069] ppid=31040 vsize=14082736 memory=139802492806784 CPUtime=0 cores=0,2,4,6
/proc/31043/task/31069/stat : 31069 (java) S 31040 31043 29875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252089914 14420721664 12665 33554432000 4194304 4196468 140727431660816 140364742560048 140365637339778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50660 KiB
[startup+0.70066 s]
/proc/loadavg: 1.24 1.30 1.38 2/217 31082
/proc/meminfo: memFree=18527560/32770624 swapFree=67108792/67108860
[pid=31043] ppid=31040 vsize=14084804 memory=90564 CPUtime=0.98 cores=0,2,4,6
/proc/31043/stat : 31043 (java) S 31040 31043 29875 0 -1 1077944320 17512 0 0 0 94 4 0 0 20 0 15 0 252089907 14422839296 22641 33554432000 4194304 4196468 140727431660816 140727431643360 140365637328631 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
/proc/31043/statm: 3521201 22641 3497 1 0 3483273 0
[pid=31043/tid=31045] ppid=31040 vsize=14084804 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/31043/task/31045/stat : 31045 (java) R 31040 31043 29875 0 -1 4202560 14836 0 0 0 64 3 0 0 20 0 15 0 252089908 14422839296 22641 33554432000 4194304 4196468 140727431660816 140365641543904 140365623044891 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31046] ppid=31040 vsize=14084804 memory=139802393578640 CPUtime=0 cores=0,2,4,6
/proc/31043/task/31046/stat : 31046 (java) S 31040 31043 29875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252089909 14422839296 22641 33554432000 4194304 4196468 140727431660816 140365574929168 140365637338837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31047] ppid=31040 vsize=14084804 memory=33 CPUtime=0 cores=0,2,4,6
/proc/31043/task/31047/stat : 31047 (java) S 31040 31043 29875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252089909 14422839296 22641 33554432000 4194304 4196468 140727431660816 140365573876624 140365637338837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31048] ppid=31040 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31043/task/31048/stat : 31048 (java) S 31040 31043 29875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252089909 14422839296 22641 33554432000 4194304 4196468 140727431660816 140365572824080 140365637338837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31049] ppid=31040 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31043/task/31049/stat : 31049 (java) S 31040 31043 29875 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 252089909 14422839296 22641 33554432000 4194304 4196468 140727431660816 140365229726864 140365637338837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31050] ppid=31040 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31043/task/31050/stat : 31050 (java) S 31040 31043 29875 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 252089911 14422839296 22641 33554432000 4194304 4196468 140727431660816 140364750981104 140365637339778 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31052] ppid=31040 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31043/task/31052/stat : 31052 (java) S 31040 31043 29875 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 252089911 14422839296 22641 33554432000 4194304 4196468 140727431660816 140364749927328 140365637338837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31056] ppid=31040 vsize=14084804 memory=273161128021161 CPUtime=0 cores=0,2,4,6
/proc/31043/task/31056/stat : 31056 (java) S 31040 31043 29875 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 252089911 14422839296 22641 33554432000 4194304 4196468 140727431660816 140364748874736 140365637338837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31064] ppid=31040 vsize=14084804 memory=1326916 CPUtime=0 cores=0,2,4,6
/proc/31043/task/31064/stat : 31064 (java) S 31040 31043 29875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252089914 14422839296 22641 33554432000 4194304 4196468 140727431660816 140364747823312 140365637347227 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31065] ppid=31040 vsize=14084804 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/31043/task/31065/stat : 31065 (java) S 31040 31043 29875 0 -1 1077944384 578 0 0 0 5 0 0 0 20 0 15 0 252089914 14422839296 22641 33554432000 4194304 4196468 140727431660816 140364746770928 140365637339778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31066] ppid=31040 vsize=14084804 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/31043/task/31066/stat : 31066 (java) S 31040 31043 29875 0 -1 1077944384 354 0 0 0 9 0 0 0 20 0 15 0 252089914 14422839296 22641 33554432000 4194304 4196468 140727431660816 140364745718384 140365637339778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31067] ppid=31040 vsize=14084804 memory=7809523229951467574 CPUtime=0.14 cores=0,2,4,6
/proc/31043/task/31067/stat : 31067 (java) S 31040 31043 29875 0 -1 1077944384 359 0 0 0 14 0 0 0 20 0 15 0 252089914 14422839296 22641 33554432000 4194304 4196468 140727431660816 140364744665840 140365637339778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31068] ppid=31040 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31043/task/31068/stat : 31068 (java) S 31040 31043 29875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252089914 14422839296 22641 33554432000 4194304 4196468 140727431660816 140364743613536 140365637338837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31069] ppid=31040 vsize=14084804 memory=-3535359994705171810 CPUtime=0 cores=0,2,4,6
/proc/31043/task/31069/stat : 31069 (java) S 31040 31043 29875 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252089914 14422839296 22641 33554432000 4194304 4196468 140727431660816 140364742560048 140365637339778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 90564 KiB
[startup+1.50373 s]
/proc/loadavg: 1.24 1.30 1.38 8/217 31082
/proc/meminfo: memFree=18375792/32770624 swapFree=67108792/67108860
[pid=31043] ppid=31040 vsize=14090948 memory=229968 CPUtime=3.26 cores=0,2,4,6
/proc/31043/stat : 31043 (java) S 31040 31043 29875 0 -1 1077944320 24928 0 0 0 318 8 0 0 20 0 15 0 252089907 14429130752 57492 33554432000 4194304 4196468 140727431660816 140727431643360 140365637328631 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
/proc/31043/statm: 3522737 57492 3549 1 0 3484809 0
[pid=31043/tid=31045] ppid=31040 vsize=14090948 memory=279604787705376 CPUtime=1.45 cores=0,2,4,6
/proc/31043/task/31045/stat : 31045 (java) R 31040 31043 29875 0 -1 4202560 18786 0 0 0 140 5 0 0 20 0 15 0 252089908 14429130752 57492 33554432000 4194304 4196468 140727431660816 140365641564832 140365637340566 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31046] ppid=31040 vsize=14090948 memory=273116970414729 CPUtime=0 cores=0,2,4,6
/proc/31043/task/31046/stat : 31046 (java) S 31040 31043 29875 0 -1 1077944384 140 0 0 0 0 0 0 0 20 0 15 0 252089909 14429130752 57492 33554432000 4194304 4196468 140727431660816 140365574929168 140365637338837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31047] ppid=31040 vsize=14090948 memory=33 CPUtime=0 cores=0,2,4,6
/proc/31043/task/31047/stat : 31047 (java) S 31040 31043 29875 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 252089909 14429130752 57492 33554432000 4194304 4196468 140727431660816 140365573876624 140365637338837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31048] ppid=31040 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31043/task/31048/stat : 31048 (java) S 31040 31043 29875 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 252089909 14429130752 57492 33554432000 4194304 4196468 140727431660816 140365572824080 140365637338837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31049] ppid=31040 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31043/task/31049/stat : 31049 (java) S 31040 31043 29875 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 252089909 14429130752 57492 33554432000 4194304 4196468 140727431660816 140365229726864 140365637338837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31050] ppid=31040 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31043/task/31050/stat : 31050 (java) S 31040 31043 29875 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 252089911 14429130752 57492 33554432000 4194304 4196468 140727431660816 140364750981104 140365637339778 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
################
# More data... #
################
/proc/31043/task/31045/stat : 31045 (java) R 31040 31043 29875 0 -1 4202560 32656 0 0 0 243268 12 0 0 20 0 15 0 252089908 14429130752 71446 33554432000 4194304 4196468 140727431660816 140365641566896 140365258606420 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31046] ppid=31040 vsize=14090948 memory=283736 CPUtime=4.33 cores=0,2,4,6
/proc/31043/task/31046/stat : 31046 (java) S 31040 31043 29875 0 -1 1077944384 2705 0 0 0 411 22 0 0 20 0 15 0 252089909 14429130752 71446 33554432000 4194304 4196468 140727431660816 140365574929168 140365637338837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31047] ppid=31040 vsize=14090948 memory=285784 CPUtime=4.33 cores=0,2,4,6
/proc/31043/task/31047/stat : 31047 (java) S 31040 31043 29875 0 -1 1077944384 4637 0 0 0 414 19 0 0 20 0 15 0 252089909 14429130752 71446 33554432000 4194304 4196468 140727431660816 140365573876624 140365637338837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31048] ppid=31040 vsize=14090948 memory=285784 CPUtime=4.31 cores=0,2,4,6
/proc/31043/task/31048/stat : 31048 (java) S 31040 31043 29875 0 -1 1077944384 3433 0 0 0 410 21 0 0 20 0 15 0 252089909 14429130752 71446 33554432000 4194304 4196468 140727431660816 140365572824080 140365637338837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31049] ppid=31040 vsize=14090948 memory=285784 CPUtime=4.32 cores=0,2,4,6
/proc/31043/task/31049/stat : 31049 (java) S 31040 31043 29875 0 -1 1077944384 3201 0 0 0 412 20 0 0 20 0 15 0 252089909 14429130752 71446 33554432000 4194304 4196468 140727431660816 140365229726864 140365637338837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31050] ppid=31040 vsize=14090948 memory=285784 CPUtime=2.87 cores=0,2,4,6
/proc/31043/task/31050/stat : 31050 (java) S 31040 31043 29875 0 -1 1077944384 3597 0 0 0 268 19 0 0 20 0 15 0 252089911 14429130752 71446 33554432000 4194304 4196468 140727431660816 140364750981104 140365637339778 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31052] ppid=31040 vsize=14090948 memory=285784 CPUtime=0 cores=0,2,4,6
/proc/31043/task/31052/stat : 31052 (java) S 31040 31043 29875 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 252089911 14429130752 71446 33554432000 4194304 4196468 140727431660816 140364749927392 140365637338837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31056] ppid=31040 vsize=14090948 memory=3892 CPUtime=0 cores=0,2,4,6
/proc/31043/task/31056/stat : 31056 (java) S 31040 31043 29875 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 252089911 14429130752 71446 33554432000 4194304 4196468 140727431660816 140364748874752 140365637338837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31064] ppid=31040 vsize=14090948 memory=68720 CPUtime=0 cores=0,2,4,6
/proc/31043/task/31064/stat : 31064 (java) S 31040 31043 29875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252089914 14429130752 71446 33554432000 4194304 4196468 140727431660816 140364747823312 140365637347227 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31065] ppid=31040 vsize=14090948 memory=15336 CPUtime=1.19 cores=0,2,4,6
/proc/31043/task/31065/stat : 31065 (java) S 31040 31043 29875 0 -1 1077944384 5326 0 0 0 118 1 0 0 20 0 15 0 252089914 14429130752 71446 33554432000 4194304 4196468 140727431660816 140364746770928 140365637339778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31066] ppid=31040 vsize=14090948 memory=15840 CPUtime=1.17 cores=0,2,4,6
/proc/31043/task/31066/stat : 31066 (java) S 31040 31043 29875 0 -1 1077944384 3266 0 0 0 116 1 0 0 20 0 15 0 252089914 14429130752 71446 33554432000 4194304 4196468 140727431660816 140364745718384 140365637339778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31067] ppid=31040 vsize=14090948 memory=2380 CPUtime=0.63 cores=0,2,4,6
/proc/31043/task/31067/stat : 31067 (java) S 31040 31043 29875 0 -1 1077944384 3460 0 0 0 62 1 0 0 20 0 15 0 252089914 14429130752 71446 33554432000 4194304 4196468 140727431660816 140364744665840 140365637339778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31068] ppid=31040 vsize=14090948 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/31043/task/31068/stat : 31068 (java) S 31040 31043 29875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252089914 14429130752 71446 33554432000 4194304 4196468 140727431660816 140364743613536 140365637338837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31069] ppid=31040 vsize=14090948 memory=1620 CPUtime=0.81 cores=0,2,4,6
/proc/31043/task/31069/stat : 31069 (java) S 31040 31043 29875 0 -1 1077944384 1254 0 0 0 42 39 0 0 20 0 15 0 252089914 14429130752 71446 33554432000 4194304 4196468 140727431660816 140364742560048 140365637339778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
Current children cumulated CPU time: 2456.86 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 285784 KiB
[startup+2502.3 s]
/proc/loadavg: 1.06 1.25 1.33 3/216 31158
/proc/meminfo: memFree=17987132/32770624 swapFree=67108792/67108860
[pid=31043] ppid=31040 vsize=14090948 memory=287832 CPUtime=2517.18 cores=0,2,4,6
/proc/31043/stat : 31043 (java) S 31040 31043 29875 0 -1 1077944320 65843 0 0 0 251583 135 0 0 20 0 15 0 252089907 14429130752 71958 33554432000 4194304 4196468 140727431660816 140727431643360 140365637328631 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
/proc/31043/statm: 3522737 71958 3579 1 0 3484809 0
[pid=31043/tid=31045] ppid=31040 vsize=14090948 memory=287832 CPUtime=2492.54 cores=0,2,4,6
/proc/31043/task/31045/stat : 31045 (java) R 31040 31043 29875 0 -1 4202560 33058 0 0 0 249242 12 0 0 20 0 15 0 252089908 14429130752 71958 33554432000 4194304 4196468 140727431660816 140365641566896 140365258600230 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31046] ppid=31040 vsize=14090948 memory=287832 CPUtime=4.45 cores=0,2,4,6
/proc/31043/task/31046/stat : 31046 (java) S 31040 31043 29875 0 -1 1077944384 2851 0 0 0 423 22 0 0 20 0 15 0 252089909 14429130752 71958 33554432000 4194304 4196468 140727431660816 140365574929168 140365637338837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31047] ppid=31040 vsize=14090948 memory=287832 CPUtime=4.46 cores=0,2,4,6
/proc/31043/task/31047/stat : 31047 (java) S 31040 31043 29875 0 -1 1077944384 4674 0 0 0 426 20 0 0 20 0 15 0 252089909 14429130752 71958 33554432000 4194304 4196468 140727431660816 140365573876624 140365637338837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31048] ppid=31040 vsize=14090948 memory=287832 CPUtime=4.42 cores=0,2,4,6
/proc/31043/task/31048/stat : 31048 (java) S 31040 31043 29875 0 -1 1077944384 3590 0 0 0 421 21 0 0 20 0 15 0 252089909 14429130752 71958 33554432000 4194304 4196468 140727431660816 140365572824080 140365637338837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31049] ppid=31040 vsize=14090948 memory=83 CPUtime=4.44 cores=0,2,4,6
/proc/31043/task/31049/stat : 31049 (java) S 31040 31043 29875 0 -1 1077944384 3209 0 0 0 423 21 0 0 20 0 15 0 252089909 14429130752 71958 33554432000 4194304 4196468 140727431660816 140365229726864 140365637338837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31050] ppid=31040 vsize=14090948 memory=287832 CPUtime=2.94 cores=0,2,4,6
/proc/31043/task/31050/stat : 31050 (java) S 31040 31043 29875 0 -1 1077944384 3703 0 0 0 275 19 0 0 20 0 15 0 252089911 14429130752 71958 33554432000 4194304 4196468 140727431660816 140364750981104 140365637339778 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31052] ppid=31040 vsize=14090948 memory=287832 CPUtime=0 cores=0,2,4,6
/proc/31043/task/31052/stat : 31052 (java) S 31040 31043 29875 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 252089911 14429130752 71958 33554432000 4194304 4196468 140727431660816 140364749927392 140365637338837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31056] ppid=31040 vsize=14090948 memory=279604787584352 CPUtime=0 cores=0,2,4,6
/proc/31043/task/31056/stat : 31056 (java) S 31040 31043 29875 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 252089911 14429130752 71958 33554432000 4194304 4196468 140727431660816 140364748874752 140365637338837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31064] ppid=31040 vsize=14090948 memory=287832 CPUtime=0 cores=0,2,4,6
/proc/31043/task/31064/stat : 31064 (java) S 31040 31043 29875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252089914 14429130752 71958 33554432000 4194304 4196468 140727431660816 140364747823312 140365637347227 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31065] ppid=31040 vsize=14090948 memory=287832 CPUtime=1.19 cores=0,2,4,6
/proc/31043/task/31065/stat : 31065 (java) S 31040 31043 29875 0 -1 1077944384 5328 0 0 0 118 1 0 0 20 0 15 0 252089914 14429130752 71958 33554432000 4194304 4196468 140727431660816 140364746770928 140365637339778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31066] ppid=31040 vsize=14090948 memory=3892 CPUtime=1.17 cores=0,2,4,6
/proc/31043/task/31066/stat : 31066 (java) S 31040 31043 29875 0 -1 1077944384 3268 0 0 0 116 1 0 0 20 0 15 0 252089914 14429130752 71958 33554432000 4194304 4196468 140727431660816 140364745718384 140365637339778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31067] ppid=31040 vsize=14090948 memory=287832 CPUtime=0.63 cores=0,2,4,6
/proc/31043/task/31067/stat : 31067 (java) S 31040 31043 29875 0 -1 1077944384 3462 0 0 0 62 1 0 0 20 0 15 0 252089914 14429130752 71958 33554432000 4194304 4196468 140727431660816 140364744665840 140365637339778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31068] ppid=31040 vsize=14090948 memory=287832 CPUtime=0 cores=0,2,4,6
/proc/31043/task/31068/stat : 31068 (java) S 31040 31043 29875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252089914 14429130752 71958 33554432000 4194304 4196468 140727431660816 140364743613536 140365637338837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31069] ppid=31040 vsize=14090948 memory=3892 CPUtime=0.83 cores=0,2,4,6
/proc/31043/task/31069/stat : 31069 (java) S 31040 31043 29875 0 -1 1077944384 1269 0 0 0 43 40 0 0 20 0 15 0 252089914 14429130752 71958 33554432000 4194304 4196468 140727431660816 140364742560048 140365637339778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
Current children cumulated CPU time: 2517.18 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 287832 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2505.11 s]
/proc/loadavg: 1.06 1.25 1.33 3/216 31158
/proc/meminfo: memFree=17985084/32770624 swapFree=67108792/67108860
[pid=31043] ppid=31040 vsize=14090948 memory=287832 CPUtime=2520.01 cores=0,2,4,6
/proc/31043/stat : 31043 (java) S 31040 31043 29875 0 -1 1077944320 65849 0 0 0 251866 135 0 0 20 0 15 0 252089907 14429130752 71958 33554432000 4194304 4196468 140727431660816 140727431643360 140365637328631 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
/proc/31043/statm: 3522737 71958 3579 1 0 3484809 0
[pid=31043/tid=31045] ppid=31040 vsize=14090948 memory=287832 CPUtime=2495.34 cores=0,2,4,6
/proc/31043/task/31045/stat : 31045 (java) R 31040 31043 29875 0 -1 4202560 33064 0 0 0 249522 12 0 0 20 0 15 0 252089908 14429130752 71958 33554432000 4194304 4196468 140727431660816 140365641566768 140365258600218 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31046] ppid=31040 vsize=14090948 memory=287832 CPUtime=4.45 cores=0,2,4,6
/proc/31043/task/31046/stat : 31046 (java) S 31040 31043 29875 0 -1 1077944384 2851 0 0 0 423 22 0 0 20 0 15 0 252089909 14429130752 71958 33554432000 4194304 4196468 140727431660816 140365574929168 140365637338837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31047] ppid=31040 vsize=14090948 memory=287832 CPUtime=4.46 cores=0,2,4,6
/proc/31043/task/31047/stat : 31047 (java) S 31040 31043 29875 0 -1 1077944384 4674 0 0 0 426 20 0 0 20 0 15 0 252089909 14429130752 71958 33554432000 4194304 4196468 140727431660816 140365573876624 140365637338837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31048] ppid=31040 vsize=14090948 memory=83 CPUtime=4.43 cores=0,2,4,6
/proc/31043/task/31048/stat : 31048 (java) S 31040 31043 29875 0 -1 1077944384 3590 0 0 0 422 21 0 0 20 0 15 0 252089909 14429130752 71958 33554432000 4194304 4196468 140727431660816 140365572824080 140365637338837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31049] ppid=31040 vsize=14090948 memory=287832 CPUtime=4.45 cores=0,2,4,6
/proc/31043/task/31049/stat : 31049 (java) S 31040 31043 29875 0 -1 1077944384 3209 0 0 0 424 21 0 0 20 0 15 0 252089909 14429130752 71958 33554432000 4194304 4196468 140727431660816 140365229726864 140365637338837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31050] ppid=31040 vsize=14090948 memory=287832 CPUtime=2.94 cores=0,2,4,6
/proc/31043/task/31050/stat : 31050 (java) S 31040 31043 29875 0 -1 1077944384 3703 0 0 0 275 19 0 0 20 0 15 0 252089911 14429130752 71958 33554432000 4194304 4196468 140727431660816 140364750981104 140365637339778 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31052] ppid=31040 vsize=14090948 memory=279604787584352 CPUtime=0 cores=0,2,4,6
/proc/31043/task/31052/stat : 31052 (java) S 31040 31043 29875 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 252089911 14429130752 71958 33554432000 4194304 4196468 140727431660816 140364749927392 140365637338837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31056] ppid=31040 vsize=14090948 memory=287832 CPUtime=0 cores=0,2,4,6
/proc/31043/task/31056/stat : 31056 (java) S 31040 31043 29875 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 252089911 14429130752 71958 33554432000 4194304 4196468 140727431660816 140364748874752 140365637338837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31064] ppid=31040 vsize=14090948 memory=287832 CPUtime=0 cores=0,2,4,6
/proc/31043/task/31064/stat : 31064 (java) S 31040 31043 29875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252089914 14429130752 71958 33554432000 4194304 4196468 140727431660816 140364747823312 140365637347227 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31065] ppid=31040 vsize=14090948 memory=287832 CPUtime=1.19 cores=0,2,4,6
/proc/31043/task/31065/stat : 31065 (java) S 31040 31043 29875 0 -1 1077944384 5328 0 0 0 118 1 0 0 20 0 15 0 252089914 14429130752 71958 33554432000 4194304 4196468 140727431660816 140364746770928 140365637339778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31066] ppid=31040 vsize=14090948 memory=287832 CPUtime=1.17 cores=0,2,4,6
/proc/31043/task/31066/stat : 31066 (java) S 31040 31043 29875 0 -1 1077944384 3268 0 0 0 116 1 0 0 20 0 15 0 252089914 14429130752 71958 33554432000 4194304 4196468 140727431660816 140364745718384 140365637339778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31067] ppid=31040 vsize=14090948 memory=287832 CPUtime=0.63 cores=0,2,4,6
/proc/31043/task/31067/stat : 31067 (java) S 31040 31043 29875 0 -1 1077944384 3462 0 0 0 62 1 0 0 20 0 15 0 252089914 14429130752 71958 33554432000 4194304 4196468 140727431660816 140364744665840 140365637339778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31068] ppid=31040 vsize=14090948 memory=3892 CPUtime=0 cores=0,2,4,6
/proc/31043/task/31068/stat : 31068 (java) S 31040 31043 29875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252089914 14429130752 71958 33554432000 4194304 4196468 140727431660816 140364743613536 140365637338837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31069] ppid=31040 vsize=14090948 memory=290763849282617370 CPUtime=0.84 cores=0,2,4,6
/proc/31043/task/31069/stat : 31069 (java) S 31040 31043 29875 0 -1 1077944384 1269 0 0 0 44 40 0 0 20 0 15 0 252089914 14429130752 71958 33554432000 4194304 4196468 140727431660816 140364742560048 140365637339778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 287832 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2505.12 s]
# the end of solver process 31043 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.67 s, system=1.3593 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2505.11 s]
/proc/loadavg: 1.06 1.25 1.33 3/216 31158
/proc/meminfo: memFree=17985084/32770624 swapFree=67108792/67108860
[pid=31043] ppid=31040 vsize=14090948 memory=287832 CPUtime=2520.01 cores=0,2,4,6
/proc/31043/stat : 31043 (java) S 31040 31043 29875 0 -1 1077944320 65849 0 0 0 251866 135 0 0 20 0 15 0 252089907 14429130752 71958 33554432000 4194304 4196468 140727431660816 140727431643360 140365637328631 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
/proc/31043/statm: 3522737 71958 3579 1 0 3484809 0
[pid=31043/tid=31045] ppid=31040 vsize=14090948 memory=287832 CPUtime=2495.34 cores=0,2,4,6
/proc/31043/task/31045/stat : 31045 (java) R 31040 31043 29875 0 -1 4202560 33064 0 0 0 249522 12 0 0 20 0 15 0 252089908 14429130752 71958 33554432000 4194304 4196468 140727431660816 140365641566768 140365258600218 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31046] ppid=31040 vsize=14090948 memory=287832 CPUtime=4.45 cores=0,2,4,6
/proc/31043/task/31046/stat : 31046 (java) S 31040 31043 29875 0 -1 1077944384 2851 0 0 0 423 22 0 0 20 0 15 0 252089909 14429130752 71958 33554432000 4194304 4196468 140727431660816 140365574929168 140365637338837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31047] ppid=31040 vsize=14090948 memory=287832 CPUtime=4.46 cores=0,2,4,6
/proc/31043/task/31047/stat : 31047 (java) S 31040 31043 29875 0 -1 1077944384 4674 0 0 0 426 20 0 0 20 0 15 0 252089909 14429130752 71958 33554432000 4194304 4196468 140727431660816 140365573876624 140365637338837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31048] ppid=31040 vsize=14090948 memory=83 CPUtime=4.43 cores=0,2,4,6
/proc/31043/task/31048/stat : 31048 (java) S 31040 31043 29875 0 -1 1077944384 3590 0 0 0 422 21 0 0 20 0 15 0 252089909 14429130752 71958 33554432000 4194304 4196468 140727431660816 140365572824080 140365637338837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31049] ppid=31040 vsize=14090948 memory=287832 CPUtime=4.45 cores=0,2,4,6
/proc/31043/task/31049/stat : 31049 (java) S 31040 31043 29875 0 -1 1077944384 3209 0 0 0 424 21 0 0 20 0 15 0 252089909 14429130752 71958 33554432000 4194304 4196468 140727431660816 140365229726864 140365637338837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31050] ppid=31040 vsize=14090948 memory=287832 CPUtime=2.94 cores=0,2,4,6
/proc/31043/task/31050/stat : 31050 (java) S 31040 31043 29875 0 -1 1077944384 3703 0 0 0 275 19 0 0 20 0 15 0 252089911 14429130752 71958 33554432000 4194304 4196468 140727431660816 140364750981104 140365637339778 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31052] ppid=31040 vsize=14090948 memory=279604787584352 CPUtime=0 cores=0,2,4,6
/proc/31043/task/31052/stat : 31052 (java) S 31040 31043 29875 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 252089911 14429130752 71958 33554432000 4194304 4196468 140727431660816 140364749927392 140365637338837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31056] ppid=31040 vsize=14090948 memory=287832 CPUtime=0 cores=0,2,4,6
/proc/31043/task/31056/stat : 31056 (java) S 31040 31043 29875 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 252089911 14429130752 71958 33554432000 4194304 4196468 140727431660816 140364748874752 140365637338837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31064] ppid=31040 vsize=14090948 memory=287832 CPUtime=0 cores=0,2,4,6
/proc/31043/task/31064/stat : 31064 (java) S 31040 31043 29875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252089914 14429130752 71958 33554432000 4194304 4196468 140727431660816 140364747823312 140365637347227 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31065] ppid=31040 vsize=14090948 memory=287832 CPUtime=1.19 cores=0,2,4,6
/proc/31043/task/31065/stat : 31065 (java) S 31040 31043 29875 0 -1 1077944384 5328 0 0 0 118 1 0 0 20 0 15 0 252089914 14429130752 71958 33554432000 4194304 4196468 140727431660816 140364746770928 140365637339778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31066] ppid=31040 vsize=14090948 memory=287832 CPUtime=1.17 cores=0,2,4,6
/proc/31043/task/31066/stat : 31066 (java) S 31040 31043 29875 0 -1 1077944384 3268 0 0 0 116 1 0 0 20 0 15 0 252089914 14429130752 71958 33554432000 4194304 4196468 140727431660816 140364745718384 140365637339778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31067] ppid=31040 vsize=14090948 memory=287832 CPUtime=0.63 cores=0,2,4,6
/proc/31043/task/31067/stat : 31067 (java) S 31040 31043 29875 0 -1 1077944384 3462 0 0 0 62 1 0 0 20 0 15 0 252089914 14429130752 71958 33554432000 4194304 4196468 140727431660816 140364744665840 140365637339778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31068] ppid=31040 vsize=14090948 memory=3892 CPUtime=0 cores=0,2,4,6
/proc/31043/task/31068/stat : 31068 (java) S 31040 31043 29875 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252089914 14429130752 71958 33554432000 4194304 4196468 140727431660816 140364743613536 140365637338837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
[pid=31043/tid=31069] ppid=31040 vsize=14090948 memory=290763849282617370 CPUtime=0.84 cores=0,2,4,6
/proc/31043/task/31069/stat : 31069 (java) S 31040 31043 29875 0 -1 1077944384 1269 0 0 0 44 40 0 0 20 0 15 0 252089914 14429130752 71958 33554432000 4194304 4196468 140727431660816 140364742560048 140365637339778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24154112 140727431668808 140727431669001 140727431669001 140727431671759 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 287832 KiB
Child status: 143
Real time (s): 2505.12
CPU time (s): 2520.03
CPU user time (s): 2518.67
CPU system time (s): 1.3593
CPU usage (%): 100.595
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 287832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.67
system time used= 1.35929
maximum resident set size= 288396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66038
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 132244
involuntary context switches= 6449
# summary of solver processes directly reported to runsolver:
# pid: 31043
# total CPU time (s): 2520.03
# total CPU user time (s): 2518.67
# total CPU system time (s): 1.3593
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.9777 second user time and 21.4698 second system time
The end