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 (8139 MiB free)
memory of node 1: 16384 MiB (13788 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290271-1532241784/watcher-4290271-1532241784 -o /tmp/evaluation-result-4290271-1532241784/solver-4290271-1532241784 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532224835-1956 --watchdog 2560 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 671252690 --timelimit 2400 --memlimit 11000 --nbcore 4 HOME/instance-4290271-1532241784.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=4227, runsolver pid=4224
[startup+0.107071 s]*
/proc/loadavg: 2.83 2.17 1.76 3/220 4242
/proc/meminfo: memFree=22435160/32770624 swapFree=67108860/67108860
[pid=4227] ppid=4224 vsize=14082740 memory=33828 CPUtime=0.13 cores=1,3,5,7
/proc/4227/stat : 4227 (java) S 4224 4227 1924 0 -1 1077944320 6825 0 0 0 12 1 0 0 20 0 15 0 41741622 14420725760 8457 33554432000 4194304 4196468 140726942348144 140726942330688 140222454857463 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
/proc/4227/statm: 3520685 8457 3160 1 0 3482761 0
[pid=4227/tid=4229] ppid=4224 vsize=14082740 memory=-8393401796652790976 CPUtime=0.1 cores=1,3,5,7
/proc/4227/task/4229/stat : 4229 (java) R 4224 4227 1924 0 -1 4202560 5057 0 0 0 9 1 0 0 20 0 15 0 41741623 14420725760 8589 33554432000 4194304 4196468 140726942348144 140222459072256 140222435133291 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4230] ppid=4224 vsize=14082740 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/4227/task/4230/stat : 4230 (java) S 4224 4227 1924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41741623 14420725760 8655 33554432000 4194304 4196468 140726942348144 140222369925904 140222454867669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4231] ppid=4224 vsize=14082740 memory=139677234701952 CPUtime=0 cores=1,3,5,7
/proc/4227/task/4231/stat : 4231 (java) S 4224 4227 1924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41741623 14420725760 8655 33554432000 4194304 4196468 140726942348144 140222368873360 140222454867669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4232] ppid=4224 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4227/task/4232/stat : 4232 (java) S 4224 4227 1924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41741623 14420725760 8655 33554432000 4194304 4196468 140726942348144 140222367820816 140222454867669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4233] ppid=4224 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4227/task/4233/stat : 4233 (java) S 4224 4227 1924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41741623 14420725760 8655 33554432000 4194304 4196468 140726942348144 140222366768272 140222454867669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4234] ppid=4224 vsize=14082740 memory=139677234701952 CPUtime=0 cores=1,3,5,7
/proc/4227/task/4234/stat : 4234 (java) S 4224 4227 1924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41741625 14420725760 8655 33554432000 4194304 4196468 140726942348144 140221928159216 140222454868610 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4235] ppid=4224 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4227/task/4235/stat : 4235 (java) S 4224 4227 1924 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41741625 14420725760 8655 33554432000 4194304 4196468 140726942348144 140221927105440 140222454867669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4236] ppid=4224 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4227/task/4236/stat : 4236 (java) S 4224 4227 1924 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41741625 14420725760 8655 33554432000 4194304 4196468 140726942348144 140221926052848 140222454867669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4237] ppid=4224 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4227/task/4237/stat : 4237 (java) S 4224 4227 1924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41741628 14420725760 8655 33554432000 4194304 4196468 140726942348144 140221925001424 140222454876059 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4238] ppid=4224 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4227/task/4238/stat : 4238 (java) R 4224 4227 1924 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 41741628 14420725760 8655 33554432000 4194304 4196468 140726942348144 140221923949040 140222454868610 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4239] ppid=4224 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4227/task/4239/stat : 4239 (java) S 4224 4227 1924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41741628 14420725760 8655 33554432000 4194304 4196468 140726942348144 140221922896496 140222454868610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4240] ppid=4224 vsize=14082740 memory=139677234701952 CPUtime=0.01 cores=1,3,5,7
/proc/4227/task/4240/stat : 4240 (java) S 4224 4227 1924 0 -1 1077944384 280 0 0 0 1 0 0 0 20 0 15 0 41741628 14420725760 8655 33554432000 4194304 4196468 140726942348144 140221921843952 140222454868610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4241] ppid=4224 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4227/task/4241/stat : 4241 (java) S 4224 4227 1924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41741628 14420725760 8655 33554432000 4194304 4196468 140726942348144 140221920791648 140222454867669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4242] ppid=4224 vsize=14082740 memory=139677234701952 CPUtime=0 cores=1,3,5,7
/proc/4227/task/4242/stat : 4242 (java) S 4224 4227 1924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41741628 14420725760 8655 33554432000 4194304 4196468 140726942348144 140221919738160 140222454868610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 33828 KiB
[startup+0.213033 s]*
/proc/loadavg: 2.83 2.17 1.76 9/220 4242
/proc/meminfo: memFree=22419844/32770624 swapFree=67108860/67108860
[pid=4227] ppid=4224 vsize=14082740 memory=47780 CPUtime=0.32 cores=1,3,5,7
/proc/4227/stat : 4227 (java) S 4224 4227 1924 0 -1 1077944320 10072 0 0 0 30 2 0 0 20 0 15 0 41741622 14420725760 11945 33554432000 4194304 4196468 140726942348144 140726942330688 140222454857463 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
/proc/4227/statm: 3520685 11945 3368 1 0 3482761 0
[pid=4227/tid=4229] ppid=4224 vsize=14082740 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/4227/task/4229/stat : 4229 (java) R 4224 4227 1924 0 -1 4202560 7775 0 0 0 18 2 0 0 20 0 15 0 41741623 14420725760 11945 33554432000 4194304 4196468 140726942348144 140222459084080 140222043150559 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4230] ppid=4224 vsize=14082740 memory=345 CPUtime=0 cores=1,3,5,7
/proc/4227/task/4230/stat : 4230 (java) S 4224 4227 1924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41741623 14420725760 11945 33554432000 4194304 4196468 140726942348144 140222369925904 140222454867669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4231] ppid=4224 vsize=14082740 memory=139677234706067 CPUtime=0 cores=1,3,5,7
/proc/4227/task/4231/stat : 4231 (java) S 4224 4227 1924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41741623 14420725760 11945 33554432000 4194304 4196468 140726942348144 140222368873360 140222454867669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4232] ppid=4224 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4227/task/4232/stat : 4232 (java) S 4224 4227 1924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41741623 14420725760 11945 33554432000 4194304 4196468 140726942348144 140222367820816 140222454867669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4233] ppid=4224 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4227/task/4233/stat : 4233 (java) S 4224 4227 1924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41741623 14420725760 11945 33554432000 4194304 4196468 140726942348144 140222366768272 140222454867669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4234] ppid=4224 vsize=14082740 memory=139677234701952 CPUtime=0 cores=1,3,5,7
/proc/4227/task/4234/stat : 4234 (java) S 4224 4227 1924 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 41741625 14420725760 11945 33554432000 4194304 4196468 140726942348144 140221928159216 140222454868610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4235] ppid=4224 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4227/task/4235/stat : 4235 (java) S 4224 4227 1924 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41741625 14420725760 11945 33554432000 4194304 4196468 140726942348144 140221927105440 140222454867669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4236] ppid=4224 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4227/task/4236/stat : 4236 (java) S 4224 4227 1924 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41741625 14420725760 11945 33554432000 4194304 4196468 140726942348144 140221926052848 140222454867669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4237] ppid=4224 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4227/task/4237/stat : 4237 (java) S 4224 4227 1924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41741628 14420725760 11945 33554432000 4194304 4196468 140726942348144 140221925001424 140222454876059 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4238] ppid=4224 vsize=14082740 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4227/task/4238/stat : 4238 (java) R 4224 4227 1924 0 -1 1077944384 488 0 0 0 2 0 0 0 20 0 15 0 41741628 14420725760 11945 33554432000 4194304 4196468 140726942348144 140221923949040 140222454868610 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4239] ppid=4224 vsize=14082740 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/4227/task/4239/stat : 4239 (java) S 4224 4227 1924 0 -1 1077944384 125 0 0 0 1 0 0 0 20 0 15 0 41741628 14420725760 11945 33554432000 4194304 4196468 140726942348144 140221922896496 140222454868610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4240] ppid=4224 vsize=14082740 memory=139677234701952 CPUtime=0.06 cores=1,3,5,7
/proc/4227/task/4240/stat : 4240 (java) R 4224 4227 1924 0 -1 4202560 311 0 0 0 6 0 0 0 20 0 15 0 41741628 14420725760 11945 33554432000 4194304 4196468 140726942348144 140221921843136 140222454878810 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4241] ppid=4224 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4227/task/4241/stat : 4241 (java) S 4224 4227 1924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41741628 14420725760 11945 33554432000 4194304 4196468 140726942348144 140221920791648 140222454867669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4242] ppid=4224 vsize=14082740 memory=139677234701952 CPUtime=0 cores=1,3,5,7
/proc/4227/task/4242/stat : 4242 (java) S 4224 4227 1924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41741628 14420725760 11945 33554432000 4194304 4196468 140726942348144 140221919738160 140222454868610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 47780 KiB
[startup+0.311133 s]*
/proc/loadavg: 2.83 2.17 1.76 3/220 4242
/proc/meminfo: memFree=22416680/32770624 swapFree=67108860/67108860
[pid=4227] ppid=4224 vsize=14082740 memory=51108 CPUtime=0.44 cores=1,3,5,7
/proc/4227/stat : 4227 (java) S 4224 4227 1924 0 -1 1077944320 10428 0 0 0 42 2 0 0 20 0 15 0 41741622 14420725760 12777 33554432000 4194304 4196468 140726942348144 140726942330688 140222454857463 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
/proc/4227/statm: 3520685 12777 3371 1 0 3482761 0
[pid=4227/tid=4229] ppid=4224 vsize=14082740 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/4227/task/4229/stat : 4229 (java) R 4224 4227 1924 0 -1 4202560 8099 0 0 0 28 2 0 0 20 0 15 0 41741623 14420725760 12777 33554432000 4194304 4196468 140726942348144 140222459065296 140222454871350 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4230] ppid=4224 vsize=14082740 memory=4294980951 CPUtime=0 cores=1,3,5,7
/proc/4227/task/4230/stat : 4230 (java) S 4224 4227 1924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41741623 14420725760 12777 33554432000 4194304 4196468 140726942348144 140222369925904 140222454867669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4231] ppid=4224 vsize=14082740 memory=139677234936438 CPUtime=0 cores=1,3,5,7
/proc/4227/task/4231/stat : 4231 (java) S 4224 4227 1924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41741623 14420725760 12777 33554432000 4194304 4196468 140726942348144 140222368873360 140222454867669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4232] ppid=4224 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4227/task/4232/stat : 4232 (java) S 4224 4227 1924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41741623 14420725760 12777 33554432000 4194304 4196468 140726942348144 140222367820816 140222454867669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4233] ppid=4224 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4227/task/4233/stat : 4233 (java) S 4224 4227 1924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41741623 14420725760 12777 33554432000 4194304 4196468 140726942348144 140222366768272 140222454867669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4234] ppid=4224 vsize=14082740 memory=139677234701952 CPUtime=0 cores=1,3,5,7
/proc/4227/task/4234/stat : 4234 (java) S 4224 4227 1924 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 41741625 14420725760 12777 33554432000 4194304 4196468 140726942348144 140221928159216 140222454868610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4235] ppid=4224 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4227/task/4235/stat : 4235 (java) S 4224 4227 1924 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41741625 14420725760 12777 33554432000 4194304 4196468 140726942348144 140221927105440 140222454867669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4236] ppid=4224 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4227/task/4236/stat : 4236 (java) S 4224 4227 1924 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41741625 14420725760 12777 33554432000 4194304 4196468 140726942348144 140221926052848 140222454867669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4237] ppid=4224 vsize=14082740 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4227/task/4237/stat : 4237 (java) S 4224 4227 1924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41741628 14420725760 12777 33554432000 4194304 4196468 140726942348144 140221925001424 140222454876059 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4238] ppid=4224 vsize=14082740 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/4227/task/4238/stat : 4238 (java) S 4224 4227 1924 0 -1 1077944384 503 0 0 0 3 0 0 0 20 0 15 0 41741628 14420725760 12777 33554432000 4194304 4196468 140726942348144 140221923949040 140222454868610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4239] ppid=4224 vsize=14082740 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/4227/task/4239/stat : 4239 (java) S 4224 4227 1924 0 -1 1077944384 125 0 0 0 2 0 0 0 20 0 15 0 41741628 14420725760 12777 33554432000 4194304 4196468 140726942348144 140221922896496 140222454868610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4240] ppid=4224 vsize=14082740 memory=139677234701952 CPUtime=0.08 cores=1,3,5,7
/proc/4227/task/4240/stat : 4240 (java) S 4224 4227 1924 0 -1 1077944384 318 0 0 0 8 0 0 0 20 0 15 0 41741628 14420725760 12777 33554432000 4194304 4196468 140726942348144 140221921843952 140222454868610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4241] ppid=4224 vsize=14082740 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4227/task/4241/stat : 4241 (java) S 4224 4227 1924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41741628 14420725760 12777 33554432000 4194304 4196468 140726942348144 140221920791648 140222454867669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4242] ppid=4224 vsize=14082740 memory=139677234701952 CPUtime=0 cores=1,3,5,7
/proc/4227/task/4242/stat : 4242 (java) S 4224 4227 1924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41741628 14420725760 12777 33554432000 4194304 4196468 140726942348144 140221919738160 140222454868610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082740 KiB
Current children cumulated memory: 51108 KiB
[startup+0.700786 s]
/proc/loadavg: 2.83 2.17 1.76 4/220 4242
/proc/meminfo: memFree=22392248/32770624 swapFree=67108860/67108860
[pid=4227] ppid=4224 vsize=14084808 memory=89032 CPUtime=0.99 cores=1,3,5,7
/proc/4227/stat : 4227 (java) S 4224 4227 1924 0 -1 1077944320 17141 0 0 0 96 3 0 0 20 0 15 0 41741622 14422843392 22258 33554432000 4194304 4196468 140726942348144 140726942330688 140222454857463 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
/proc/4227/statm: 3521202 22258 3499 1 0 3483273 0
[pid=4227/tid=4229] ppid=4224 vsize=14084808 memory=1236 CPUtime=0.67 cores=1,3,5,7
/proc/4227/task/4229/stat : 4229 (java) R 4224 4227 1924 0 -1 4202560 14441 0 0 0 64 3 0 0 20 0 15 0 41741623 14422843392 22258 33554432000 4194304 4196468 140726942348144 140222459068336 140222454879389 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4230] ppid=4224 vsize=14084808 memory=8924 CPUtime=0 cores=1,3,5,7
/proc/4227/task/4230/stat : 4230 (java) S 4224 4227 1924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41741623 14422843392 22258 33554432000 4194304 4196468 140726942348144 140222369925904 140222454867669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4231] ppid=4224 vsize=14084808 memory=4052 CPUtime=0 cores=1,3,5,7
/proc/4227/task/4231/stat : 4231 (java) S 4224 4227 1924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41741623 14422843392 22258 33554432000 4194304 4196468 140726942348144 140222368873360 140222454867669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4232] ppid=4224 vsize=14084808 memory=644 CPUtime=0 cores=1,3,5,7
/proc/4227/task/4232/stat : 4232 (java) S 4224 4227 1924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41741623 14422843392 22258 33554432000 4194304 4196468 140726942348144 140222367820816 140222454867669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4233] ppid=4224 vsize=14084808 memory=1800 CPUtime=0 cores=1,3,5,7
/proc/4227/task/4233/stat : 4233 (java) S 4224 4227 1924 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 41741623 14422843392 22258 33554432000 4194304 4196468 140726942348144 140222366768272 140222454867669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4234] ppid=4224 vsize=14084808 memory=956 CPUtime=0 cores=1,3,5,7
/proc/4227/task/4234/stat : 4234 (java) S 4224 4227 1924 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 41741625 14422843392 22258 33554432000 4194304 4196468 140726942348144 140221928159216 140222454868610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4235] ppid=4224 vsize=14084808 memory=2340 CPUtime=0 cores=1,3,5,7
/proc/4227/task/4235/stat : 4235 (java) S 4224 4227 1924 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 41741625 14422843392 22258 33554432000 4194304 4196468 140726942348144 140221927105440 140222454867669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4236] ppid=4224 vsize=14084808 memory=928 CPUtime=0 cores=1,3,5,7
/proc/4227/task/4236/stat : 4236 (java) S 4224 4227 1924 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 41741625 14422843392 22258 33554432000 4194304 4196468 140726942348144 140221926052848 140222454867669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4237] ppid=4224 vsize=14084808 memory=6153431502485415525 CPUtime=0 cores=1,3,5,7
/proc/4227/task/4237/stat : 4237 (java) S 4224 4227 1924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41741628 14422843392 22258 33554432000 4194304 4196468 140726942348144 140221925001424 140222454876059 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4238] ppid=4224 vsize=14084808 memory=7450757349647805273 CPUtime=0.08 cores=1,3,5,7
/proc/4227/task/4238/stat : 4238 (java) S 4224 4227 1924 0 -1 1077944384 651 0 0 0 8 0 0 0 20 0 15 0 41741628 14422843392 22258 33554432000 4194304 4196468 140726942348144 140221923949040 140222454868610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4239] ppid=4224 vsize=14084808 memory=6300092137356946789 CPUtime=0.07 cores=1,3,5,7
/proc/4227/task/4239/stat : 4239 (java) R 4224 4227 1924 0 -1 1077944384 287 0 0 0 7 0 0 0 20 0 15 0 41741628 14422843392 22258 33554432000 4194304 4196468 140726942348144 140221922896496 140222454868610 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4240] ppid=4224 vsize=14084808 memory=4640185803565191248 CPUtime=0.15 cores=1,3,5,7
/proc/4227/task/4240/stat : 4240 (java) S 4224 4227 1924 0 -1 1077944384 379 0 0 0 15 0 0 0 20 0 15 0 41741628 14422843392 22258 33554432000 4194304 4196468 140726942348144 140221921843952 140222454868610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4241] ppid=4224 vsize=14084808 memory=7305211769790883938 CPUtime=0 cores=1,3,5,7
/proc/4227/task/4241/stat : 4241 (java) S 4224 4227 1924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41741628 14422843392 22258 33554432000 4194304 4196468 140726942348144 140221920791648 140222454867669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4242] ppid=4224 vsize=14084808 memory=10416 CPUtime=0 cores=1,3,5,7
/proc/4227/task/4242/stat : 4242 (java) S 4224 4227 1924 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 41741628 14422843392 22258 33554432000 4194304 4196468 140726942348144 140221919738160 140222454868610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084808 KiB
Current children cumulated memory: 89032 KiB
[startup+1.50111 s]
/proc/loadavg: 2.83 2.17 1.76 6/220 4242
/proc/meminfo: memFree=22310428/32770624 swapFree=67108860/67108860
[pid=4227] ppid=4224 vsize=14090952 memory=231320 CPUtime=3.28 cores=1,3,5,7
/proc/4227/stat : 4227 (java) S 4224 4227 1924 0 -1 1077944320 26534 0 0 0 320 8 0 0 20 0 15 0 41741622 14429134848 57830 33554432000 4194304 4196468 140726942348144 140726942330688 140222454857463 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
/proc/4227/statm: 3522738 57830 3569 1 0 3484809 0
[pid=4227/tid=4229] ppid=4224 vsize=14090952 memory=181840 CPUtime=1.45 cores=1,3,5,7
/proc/4227/task/4229/stat : 4229 (java) R 4224 4227 1924 0 -1 4202560 20005 0 0 0 140 5 0 0 20 0 15 0 41741623 14429134848 57830 33554432000 4194304 4196468 140726942348144 140222459090480 140222046957899 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4230] ppid=4224 vsize=14090952 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/4227/task/4230/stat : 4230 (java) S 4224 4227 1924 0 -1 1077944384 157 0 0 0 0 0 0 0 20 0 15 0 41741623 14429134848 57830 33554432000 4194304 4196468 140726942348144 140222369925904 140222454867669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4231] ppid=4224 vsize=14090952 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4227/task/4231/stat : 4231 (java) S 4224 4227 1924 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 41741623 14429134848 57830 33554432000 4194304 4196468 140726942348144 140222368873360 140222454867669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4232] ppid=4224 vsize=14090952 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4227/task/4232/stat : 4232 (java) S 4224 4227 1924 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 41741623 14429134848 57830 33554432000 4194304 4196468 140726942348144 140222367820816 140222454867669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4233] ppid=4224 vsize=14090952 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4227/task/4233/stat : 4233 (java) S 4224 4227 1924 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 15 0 41741623 14429134848 57830 33554432000 4194304 4196468 140726942348144 140222366768272 140222454867669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4234] ppid=4224 vsize=14090952 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4227/task/4234/stat : 4234 (java) S 4224 4227 1924 0 -1 1077944384 178 0 0 0 0 0 0 0 20 0 15 0 41741625 14429134848 57830 33554432000 4194304 4196468 140726942348144 140221928159216 140222454868610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
################
# More data... #
################
/proc/4227/task/4229/stat : 4229 (java) R 4224 4227 1924 0 -1 4202560 66607 0 0 0 224654 55 0 0 20 0 15 0 41741623 14429134848 555981 33554432000 4194304 4196468 140726942348144 140222459096176 140222048745710 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4230] ppid=4224 vsize=14090952 memory=2223924 CPUtime=10.18 cores=1,3,5,7
/proc/4227/task/4230/stat : 4230 (java) S 4224 4227 1924 0 -1 1077944384 39373 0 0 0 976 42 0 0 20 0 15 0 41741623 14429134848 555981 33554432000 4194304 4196468 140726942348144 140222369925904 140222454867669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4231] ppid=4224 vsize=14090952 memory=4096 CPUtime=10.16 cores=1,3,5,7
/proc/4227/task/4231/stat : 4231 (java) S 4224 4227 1924 0 -1 1077944384 36970 0 0 0 974 42 0 0 20 0 15 0 41741623 14429134848 555981 33554432000 4194304 4196468 140726942348144 140222368873360 140222454867669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4232] ppid=4224 vsize=14090952 memory=6084481184176629603 CPUtime=10.17 cores=1,3,5,7
/proc/4227/task/4232/stat : 4232 (java) S 4224 4227 1924 0 -1 1077944384 35301 0 0 0 976 41 0 0 20 0 15 0 41741623 14429134848 555981 33554432000 4194304 4196468 140726942348144 140222367820816 140222454867669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4233] ppid=4224 vsize=14090952 memory=2223924 CPUtime=10.15 cores=1,3,5,7
/proc/4227/task/4233/stat : 4233 (java) S 4224 4227 1924 0 -1 1077944384 36415 0 0 0 972 43 0 0 20 0 15 0 41741623 14429134848 555981 33554432000 4194304 4196468 140726942348144 140222366768272 140222454867669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4234] ppid=4224 vsize=14090952 memory=2223924 CPUtime=3.96 cores=1,3,5,7
/proc/4227/task/4234/stat : 4234 (java) S 4224 4227 1924 0 -1 1077944384 22791 0 0 0 368 28 0 0 20 0 15 0 41741625 14429134848 555981 33554432000 4194304 4196468 140726942348144 140221928159216 140222454868610 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4235] ppid=4224 vsize=14090952 memory=2223924 CPUtime=0 cores=1,3,5,7
/proc/4227/task/4235/stat : 4235 (java) S 4224 4227 1924 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 41741625 14429134848 555981 33554432000 4194304 4196468 140726942348144 140221927105504 140222454867669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4236] ppid=4224 vsize=14090952 memory=2223924 CPUtime=0 cores=1,3,5,7
/proc/4227/task/4236/stat : 4236 (java) S 4224 4227 1924 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 41741625 14429134848 555981 33554432000 4194304 4196468 140726942348144 140221926052864 140222454867669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4237] ppid=4224 vsize=14090952 memory=2223924 CPUtime=0 cores=1,3,5,7
/proc/4227/task/4237/stat : 4237 (java) S 4224 4227 1924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41741628 14429134848 555981 33554432000 4194304 4196468 140726942348144 140221925001424 140222454876059 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4238] ppid=4224 vsize=14090952 memory=4096 CPUtime=1.45 cores=1,3,5,7
/proc/4227/task/4238/stat : 4238 (java) S 4224 4227 1924 0 -1 1077944384 8743 0 0 0 144 1 0 0 20 0 15 0 41741628 14429134848 555981 33554432000 4194304 4196468 140726942348144 140221923949040 140222454868610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4239] ppid=4224 vsize=14090952 memory=2223924 CPUtime=1.56 cores=1,3,5,7
/proc/4227/task/4239/stat : 4239 (java) S 4224 4227 1924 0 -1 1077944384 7470 0 0 0 155 1 0 0 20 0 15 0 41741628 14429134848 555981 33554432000 4194304 4196468 140726942348144 140221922896496 140222454868610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4240] ppid=4224 vsize=14090952 memory=2223924 CPUtime=0.67 cores=1,3,5,7
/proc/4227/task/4240/stat : 4240 (java) S 4224 4227 1924 0 -1 1077944384 4937 0 0 0 66 1 0 0 20 0 15 0 41741628 14429134848 555981 33554432000 4194304 4196468 140726942348144 140221921843952 140222454868610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4241] ppid=4224 vsize=14090952 memory=14524 CPUtime=0 cores=1,3,5,7
/proc/4227/task/4241/stat : 4241 (java) S 4224 4227 1924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41741628 14429134848 555981 33554432000 4194304 4196468 140726942348144 140221920791648 140222454867669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4242] ppid=4224 vsize=14090952 memory=2396 CPUtime=1.22 cores=1,3,5,7
/proc/4227/task/4242/stat : 4242 (java) S 4224 4227 1924 0 -1 1077944384 2317 0 0 0 57 65 0 0 20 0 15 0 41741628 14429134848 555981 33554432000 4194304 4196468 140726942348144 140221919738160 140222454868610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
Current children cumulated CPU time: 2296.69 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 2223924 KiB
[startup+2322.3 s]
/proc/loadavg: 1.61 1.63 1.72 3/218 4419
/proc/meminfo: memFree=24138192/32770624 swapFree=67108860/67108860
[pid=4227] ppid=4224 vsize=14090952 memory=2223924 CPUtime=2357.86 cores=1,3,5,7
/proc/4227/stat : 4227 (java) S 4224 4227 1924 0 -1 1077944320 268579 0 0 0 235491 295 0 0 20 0 15 0 41741622 14429134848 555981 33554432000 4194304 4196468 140726942348144 140726942330688 140222454857463 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
/proc/4227/statm: 3522738 555981 3610 1 0 3484809 0
[pid=4227/tid=4229] ppid=4224 vsize=14090952 memory=2223924 CPUtime=2306.49 cores=1,3,5,7
/proc/4227/task/4229/stat : 4229 (java) R 4224 4227 1924 0 -1 4202560 67657 0 0 0 230593 56 0 0 20 0 15 0 41741623 14429134848 555981 33554432000 4194304 4196468 140726942348144 140222459096176 140222048742602 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4230] ppid=4224 vsize=14090952 memory=2223924 CPUtime=10.57 cores=1,3,5,7
/proc/4227/task/4230/stat : 4230 (java) S 4224 4227 1924 0 -1 1077944384 40148 0 0 0 1014 43 0 0 20 0 15 0 41741623 14429134848 555981 33554432000 4194304 4196468 140726942348144 140222369925904 140222454867669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4231] ppid=4224 vsize=14090952 memory=2223924 CPUtime=10.55 cores=1,3,5,7
/proc/4227/task/4231/stat : 4231 (java) S 4224 4227 1924 0 -1 1077944384 37773 0 0 0 1012 43 0 0 20 0 15 0 41741623 14429134848 555981 33554432000 4194304 4196468 140726942348144 140222368873360 140222454867669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4232] ppid=4224 vsize=14090952 memory=2223924 CPUtime=10.57 cores=1,3,5,7
/proc/4227/task/4232/stat : 4232 (java) S 4224 4227 1924 0 -1 1077944384 36807 0 0 0 1015 42 0 0 20 0 15 0 41741623 14429134848 555981 33554432000 4194304 4196468 140726942348144 140222367820816 140222454867669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4233] ppid=4224 vsize=14090952 memory=2223924 CPUtime=10.53 cores=1,3,5,7
/proc/4227/task/4233/stat : 4233 (java) S 4224 4227 1924 0 -1 1077944384 37946 0 0 0 1010 43 0 0 20 0 15 0 41741623 14429134848 555981 33554432000 4194304 4196468 140726942348144 140222366768272 140222454867669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4234] ppid=4224 vsize=14090952 memory=2223924 CPUtime=4.12 cores=1,3,5,7
/proc/4227/task/4234/stat : 4234 (java) S 4224 4227 1924 0 -1 1077944384 23300 0 0 0 383 29 0 0 20 0 15 0 41741625 14429134848 555981 33554432000 4194304 4196468 140726942348144 140221928159216 140222454868610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4235] ppid=4224 vsize=14090952 memory=2223924 CPUtime=0 cores=1,3,5,7
/proc/4227/task/4235/stat : 4235 (java) S 4224 4227 1924 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 41741625 14429134848 555981 33554432000 4194304 4196468 140726942348144 140221927105504 140222454867669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4236] ppid=4224 vsize=14090952 memory=2223924 CPUtime=0 cores=1,3,5,7
/proc/4227/task/4236/stat : 4236 (java) S 4224 4227 1924 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 41741625 14429134848 555981 33554432000 4194304 4196468 140726942348144 140221926052864 140222454867669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4237] ppid=4224 vsize=14090952 memory=2223924 CPUtime=0 cores=1,3,5,7
/proc/4227/task/4237/stat : 4237 (java) S 4224 4227 1924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41741628 14429134848 555981 33554432000 4194304 4196468 140726942348144 140221925001424 140222454876059 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4238] ppid=4224 vsize=14090952 memory=2223924 CPUtime=1.45 cores=1,3,5,7
/proc/4227/task/4238/stat : 4238 (java) S 4224 4227 1924 0 -1 1077944384 8749 0 0 0 144 1 0 0 20 0 15 0 41741628 14429134848 555981 33554432000 4194304 4196468 140726942348144 140221923949040 140222454868610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4239] ppid=4224 vsize=14090952 memory=2223924 CPUtime=1.56 cores=1,3,5,7
/proc/4227/task/4239/stat : 4239 (java) S 4224 4227 1924 0 -1 1077944384 7474 0 0 0 155 1 0 0 20 0 15 0 41741628 14429134848 555981 33554432000 4194304 4196468 140726942348144 140221922896496 140222454868610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4240] ppid=4224 vsize=14090952 memory=840 CPUtime=0.67 cores=1,3,5,7
/proc/4227/task/4240/stat : 4240 (java) S 4224 4227 1924 0 -1 1077944384 4943 0 0 0 66 1 0 0 20 0 15 0 41741628 14429134848 555981 33554432000 4194304 4196468 140726942348144 140221921843952 140222454868610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4241] ppid=4224 vsize=14090952 memory=2223924 CPUtime=0 cores=1,3,5,7
/proc/4227/task/4241/stat : 4241 (java) S 4224 4227 1924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41741628 14429134848 555981 33554432000 4194304 4196468 140726942348144 140221920791648 140222454867669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4242] ppid=4224 vsize=14090952 memory=4126316290023845779 CPUtime=1.25 cores=1,3,5,7
/proc/4227/task/4242/stat : 4242 (java) S 4224 4227 1924 0 -1 1077944384 2355 0 0 0 59 66 0 0 20 0 15 0 41741628 14429134848 555981 33554432000 4194304 4196468 140726942348144 140221919738160 140222454868610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
Current children cumulated CPU time: 2357.86 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 2223924 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2363.7 s]
/proc/loadavg: 1.36 1.57 1.70 3/218 4419
/proc/meminfo: memFree=24131680/32770624 swapFree=67108860/67108860
[pid=4227] ppid=4224 vsize=14090952 memory=2223924 CPUtime=2400.05 cores=1,3,5,7
/proc/4227/stat : 4227 (java) S 4224 4227 1924 0 -1 1077944320 274376 0 0 0 239705 300 0 0 20 0 15 0 41741622 14429134848 555981 33554432000 4194304 4196468 140726942348144 140726942330688 140222454857463 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
/proc/4227/statm: 3522738 555981 3610 1 0 3484809 0
[pid=4227/tid=4229] ppid=4224 vsize=14090952 memory=2223924 CPUtime=2347.47 cores=1,3,5,7
/proc/4227/task/4229/stat : 4229 (java) R 4224 4227 1924 0 -1 4202560 68596 0 0 0 234691 56 0 0 20 0 15 0 41741623 14429134848 555981 33554432000 4194304 4196468 140726942348144 140222459096144 140222048742602 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4230] ppid=4224 vsize=14090952 memory=2223924 CPUtime=10.84 cores=1,3,5,7
/proc/4227/task/4230/stat : 4230 (java) S 4224 4227 1924 0 -1 1077944384 41546 0 0 0 1040 44 0 0 20 0 15 0 41741623 14429134848 555981 33554432000 4194304 4196468 140726942348144 140222369925904 140222454867669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4231] ppid=4224 vsize=14090952 memory=2223924 CPUtime=10.82 cores=1,3,5,7
/proc/4227/task/4231/stat : 4231 (java) S 4224 4227 1924 0 -1 1077944384 38432 0 0 0 1038 44 0 0 20 0 15 0 41741623 14429134848 555981 33554432000 4194304 4196468 140726942348144 140222368873360 140222454867669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4232] ppid=4224 vsize=14090952 memory=2223924 CPUtime=10.84 cores=1,3,5,7
/proc/4227/task/4232/stat : 4232 (java) S 4224 4227 1924 0 -1 1077944384 37447 0 0 0 1041 43 0 0 20 0 15 0 41741623 14429134848 555981 33554432000 4194304 4196468 140726942348144 140222367820816 140222454867669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4233] ppid=4224 vsize=14090952 memory=2223924 CPUtime=10.8 cores=1,3,5,7
/proc/4227/task/4233/stat : 4233 (java) S 4224 4227 1924 0 -1 1077944384 39550 0 0 0 1036 44 0 0 20 0 15 0 41741623 14429134848 555981 33554432000 4194304 4196468 140726942348144 140222366768272 140222454867669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4234] ppid=4224 vsize=14090952 memory=2223924 CPUtime=4.24 cores=1,3,5,7
/proc/4227/task/4234/stat : 4234 (java) S 4224 4227 1924 0 -1 1077944384 23814 0 0 0 393 31 0 0 20 0 15 0 41741625 14429134848 555981 33554432000 4194304 4196468 140726942348144 140221928159216 140222454868610 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4235] ppid=4224 vsize=14090952 memory=2223924 CPUtime=0 cores=1,3,5,7
/proc/4227/task/4235/stat : 4235 (java) S 4224 4227 1924 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 41741625 14429134848 555981 33554432000 4194304 4196468 140726942348144 140221927105504 140222454867669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4236] ppid=4224 vsize=14090952 memory=2223924 CPUtime=0 cores=1,3,5,7
/proc/4227/task/4236/stat : 4236 (java) S 4224 4227 1924 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 41741625 14429134848 555981 33554432000 4194304 4196468 140726942348144 140221926052864 140222454867669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4237] ppid=4224 vsize=14090952 memory=55 CPUtime=0 cores=1,3,5,7
/proc/4227/task/4237/stat : 4237 (java) S 4224 4227 1924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41741628 14429134848 555981 33554432000 4194304 4196468 140726942348144 140221925001424 140222454876059 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4238] ppid=4224 vsize=14090952 memory=1732 CPUtime=1.45 cores=1,3,5,7
/proc/4227/task/4238/stat : 4238 (java) S 4224 4227 1924 0 -1 1077944384 8755 0 0 0 144 1 0 0 20 0 15 0 41741628 14429134848 555981 33554432000 4194304 4196468 140726942348144 140221923949040 140222454868610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4239] ppid=4224 vsize=14090952 memory=3041964275912752482 CPUtime=1.56 cores=1,3,5,7
/proc/4227/task/4239/stat : 4239 (java) S 4224 4227 1924 0 -1 1077944384 7478 0 0 0 155 1 0 0 20 0 15 0 41741628 14429134848 555981 33554432000 4194304 4196468 140726942348144 140221922896496 140222454868610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4240] ppid=4224 vsize=14090952 memory=2223924 CPUtime=0.67 cores=1,3,5,7
/proc/4227/task/4240/stat : 4240 (java) S 4224 4227 1924 0 -1 1077944384 4949 0 0 0 66 1 0 0 20 0 15 0 41741628 14429134848 555981 33554432000 4194304 4196468 140726942348144 140221921843952 140222454868610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4241] ppid=4224 vsize=14090952 memory=2223924 CPUtime=0 cores=1,3,5,7
/proc/4227/task/4241/stat : 4241 (java) S 4224 4227 1924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41741628 14429134848 555981 33554432000 4194304 4196468 140726942348144 140221920791648 140222454867669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4242] ppid=4224 vsize=14090952 memory=2223924 CPUtime=1.27 cores=1,3,5,7
/proc/4227/task/4242/stat : 4242 (java) S 4224 4227 1924 0 -1 1077944384 2382 0 0 0 60 67 0 0 20 0 15 0 41741628 14429134848 555981 33554432000 4194304 4196468 140726942348144 140221919738160 140222454868610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 2223924 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2363.72 s]
# the end of solver process 4227 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2397.07 s, system=3.02466 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2363.7 s]
/proc/loadavg: 1.36 1.57 1.70 3/218 4419
/proc/meminfo: memFree=24131680/32770624 swapFree=67108860/67108860
[pid=4227] ppid=4224 vsize=14090952 memory=2223924 CPUtime=2400.05 cores=1,3,5,7
/proc/4227/stat : 4227 (java) S 4224 4227 1924 0 -1 1077944320 274376 0 0 0 239705 300 0 0 20 0 15 0 41741622 14429134848 555981 33554432000 4194304 4196468 140726942348144 140726942330688 140222454857463 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
/proc/4227/statm: 3522738 555981 3610 1 0 3484809 0
[pid=4227/tid=4229] ppid=4224 vsize=14090952 memory=2223924 CPUtime=2347.47 cores=1,3,5,7
/proc/4227/task/4229/stat : 4229 (java) R 4224 4227 1924 0 -1 4202560 68596 0 0 0 234691 56 0 0 20 0 15 0 41741623 14429134848 555981 33554432000 4194304 4196468 140726942348144 140222459096144 140222048742602 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4230] ppid=4224 vsize=14090952 memory=2223924 CPUtime=10.84 cores=1,3,5,7
/proc/4227/task/4230/stat : 4230 (java) S 4224 4227 1924 0 -1 1077944384 41546 0 0 0 1040 44 0 0 20 0 15 0 41741623 14429134848 555981 33554432000 4194304 4196468 140726942348144 140222369925904 140222454867669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4231] ppid=4224 vsize=14090952 memory=2223924 CPUtime=10.82 cores=1,3,5,7
/proc/4227/task/4231/stat : 4231 (java) S 4224 4227 1924 0 -1 1077944384 38432 0 0 0 1038 44 0 0 20 0 15 0 41741623 14429134848 555981 33554432000 4194304 4196468 140726942348144 140222368873360 140222454867669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4232] ppid=4224 vsize=14090952 memory=2223924 CPUtime=10.84 cores=1,3,5,7
/proc/4227/task/4232/stat : 4232 (java) S 4224 4227 1924 0 -1 1077944384 37447 0 0 0 1041 43 0 0 20 0 15 0 41741623 14429134848 555981 33554432000 4194304 4196468 140726942348144 140222367820816 140222454867669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4233] ppid=4224 vsize=14090952 memory=2223924 CPUtime=10.8 cores=1,3,5,7
/proc/4227/task/4233/stat : 4233 (java) S 4224 4227 1924 0 -1 1077944384 39550 0 0 0 1036 44 0 0 20 0 15 0 41741623 14429134848 555981 33554432000 4194304 4196468 140726942348144 140222366768272 140222454867669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4234] ppid=4224 vsize=14090952 memory=2223924 CPUtime=4.24 cores=1,3,5,7
/proc/4227/task/4234/stat : 4234 (java) S 4224 4227 1924 0 -1 1077944384 23814 0 0 0 393 31 0 0 20 0 15 0 41741625 14429134848 555981 33554432000 4194304 4196468 140726942348144 140221928159216 140222454868610 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4235] ppid=4224 vsize=14090952 memory=2223924 CPUtime=0 cores=1,3,5,7
/proc/4227/task/4235/stat : 4235 (java) S 4224 4227 1924 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 41741625 14429134848 555981 33554432000 4194304 4196468 140726942348144 140221927105504 140222454867669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4236] ppid=4224 vsize=14090952 memory=2223924 CPUtime=0 cores=1,3,5,7
/proc/4227/task/4236/stat : 4236 (java) S 4224 4227 1924 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 41741625 14429134848 555981 33554432000 4194304 4196468 140726942348144 140221926052864 140222454867669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4237] ppid=4224 vsize=14090952 memory=55 CPUtime=0 cores=1,3,5,7
/proc/4227/task/4237/stat : 4237 (java) S 4224 4227 1924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41741628 14429134848 555981 33554432000 4194304 4196468 140726942348144 140221925001424 140222454876059 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4238] ppid=4224 vsize=14090952 memory=1732 CPUtime=1.45 cores=1,3,5,7
/proc/4227/task/4238/stat : 4238 (java) S 4224 4227 1924 0 -1 1077944384 8755 0 0 0 144 1 0 0 20 0 15 0 41741628 14429134848 555981 33554432000 4194304 4196468 140726942348144 140221923949040 140222454868610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4239] ppid=4224 vsize=14090952 memory=3041964275912752482 CPUtime=1.56 cores=1,3,5,7
/proc/4227/task/4239/stat : 4239 (java) S 4224 4227 1924 0 -1 1077944384 7478 0 0 0 155 1 0 0 20 0 15 0 41741628 14429134848 555981 33554432000 4194304 4196468 140726942348144 140221922896496 140222454868610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4240] ppid=4224 vsize=14090952 memory=2223924 CPUtime=0.67 cores=1,3,5,7
/proc/4227/task/4240/stat : 4240 (java) S 4224 4227 1924 0 -1 1077944384 4949 0 0 0 66 1 0 0 20 0 15 0 41741628 14429134848 555981 33554432000 4194304 4196468 140726942348144 140221921843952 140222454868610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4241] ppid=4224 vsize=14090952 memory=2223924 CPUtime=0 cores=1,3,5,7
/proc/4227/task/4241/stat : 4241 (java) S 4224 4227 1924 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 41741628 14429134848 555981 33554432000 4194304 4196468 140726942348144 140221920791648 140222454867669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
[pid=4227/tid=4242] ppid=4224 vsize=14090952 memory=2223924 CPUtime=1.27 cores=1,3,5,7
/proc/4227/task/4242/stat : 4242 (java) S 4224 4227 1924 0 -1 1077944384 2382 0 0 0 60 67 0 0 20 0 15 0 41741628 14429134848 555981 33554432000 4194304 4196468 140726942348144 140221919738160 140222454868610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12693504 140726942352457 140726942352649 140726942352649 140726942355407 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 14090952 KiB
Current children cumulated memory: 2223924 KiB
Child status: 143
Real time (s): 2363.72
CPU time (s): 2400.1
CPU user time (s): 2397.07
CPU system time (s): 3.02466
CPU usage (%): 101.539
Max. virtual memory (cumulated for all children) (KiB): 14090952
Max. memory (cumulated for all children) (KiB): 3061648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.07
system time used= 3.02466
maximum resident set size= 3063696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275233
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2552
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 171544
involuntary context switches= 3359
# summary of solver processes directly reported to runsolver:
# pid: 4227
# total CPU time (s): 2400.1
# total CPU user time (s): 2397.07
# total CPU system time (s): 3.02466
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.6381 second user time and 22.9229 second system time
The end