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 (11203 MiB free)
memory of node 1: 16384 MiB (15836 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301565-1532882317/watcher-4301565-1532882317 -o /tmp/evaluation-result-4301565-1532882317/solver-4301565-1532882317 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532879536-13547 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4301565-1532882317.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=16007, runsolver pid=16004
[startup+0.100096 s]*
/proc/loadavg: 3.19 3.05 2.73 3/216 16022
/proc/meminfo: memFree=27670632/32770624 swapFree=67108860/67108860
[pid=16007] ppid=16004 vsize=10659012 memory=30680 CPUtime=0.12 cores=1,3,5,7
/proc/16007/stat : 16007 (java) S 16004 16007 13514 0 -1 1077944320 6739 0 0 0 11 1 0 0 20 0 15 0 105794829 10914828288 7670 33554432000 4194304 4196468 140723734410032 140723734392576 140277310213879 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
/proc/16007/statm: 2664753 7670 2820 1 0 2627263 0
[pid=16007/tid=16009] ppid=16004 vsize=10659012 memory=-8773748148830113149 CPUtime=0.09 cores=1,3,5,7
/proc/16007/task/16009/stat : 16009 (java) R 16004 16007 13514 0 -1 4202560 4574 0 0 0 8 1 0 0 20 0 15 0 105794830 10914828288 7670 33554432000 4194304 4196468 140723734410032 140277314435648 140277310225814 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16010] ppid=16004 vsize=10659012 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/16007/task/16010/stat : 16010 (java) S 16004 16007 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105794831 10914828288 7670 33554432000 4194304 4196468 140723734410032 140277262833936 140277310224085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16011] ppid=16004 vsize=10659012 memory=140502204098176 CPUtime=0 cores=1,3,5,7
/proc/16007/task/16011/stat : 16011 (java) S 16004 16007 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105794831 10914828288 7670 33554432000 4194304 4196468 140723734410032 140277261781392 140277310224085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16012] ppid=16004 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16007/task/16012/stat : 16012 (java) S 16004 16007 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105794831 10914828288 7670 33554432000 4194304 4196468 140723734410032 140277260728848 140277310224085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16013] ppid=16004 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16007/task/16013/stat : 16013 (java) S 16004 16007 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105794831 10914828288 7670 33554432000 4194304 4196468 140723734410032 140277259676304 140277310224085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16014] ppid=16004 vsize=10659012 memory=140502204098176 CPUtime=0 cores=1,3,5,7
/proc/16007/task/16014/stat : 16014 (java) S 16004 16007 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105794832 10914828288 7670 33554432000 4194304 4196468 140723734410032 140276413508080 140277310225026 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16015] ppid=16004 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16007/task/16015/stat : 16015 (java) S 16004 16007 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105794832 10914828288 7670 33554432000 4194304 4196468 140723734410032 140276412454304 140277310224085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16016] ppid=16004 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16007/task/16016/stat : 16016 (java) S 16004 16007 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105794833 10914828288 7670 33554432000 4194304 4196468 140723734410032 140276411401712 140277310224085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16017] ppid=16004 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16007/task/16017/stat : 16017 (java) S 16004 16007 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105794835 10914828288 7670 33554432000 4194304 4196468 140723734410032 140276410350288 140277310232475 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16018] ppid=16004 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16007/task/16018/stat : 16018 (java) S 16004 16007 13514 0 -1 1077944384 442 0 0 0 0 0 0 0 20 0 15 0 105794835 10914828288 7670 33554432000 4194304 4196468 140723734410032 140276409296880 140277310225026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16019] ppid=16004 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16007/task/16019/stat : 16019 (java) S 16004 16007 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105794835 10914828288 7670 33554432000 4194304 4196468 140723734410032 140276408244336 140277310225026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16020] ppid=16004 vsize=10659012 memory=140502204098176 CPUtime=0.02 cores=1,3,5,7
/proc/16007/task/16020/stat : 16020 (java) S 16004 16007 13514 0 -1 1077944384 356 0 0 0 2 0 0 0 20 0 15 0 105794835 10914828288 7670 33554432000 4194304 4196468 140723734410032 140276407191792 140277310225026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16021] ppid=16004 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16007/task/16021/stat : 16021 (java) S 16004 16007 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105794835 10914828288 7670 33554432000 4194304 4196468 140723734410032 140276406139488 140277310224085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16022] ppid=16004 vsize=10659012 memory=140502204098176 CPUtime=0 cores=1,3,5,7
/proc/16007/task/16022/stat : 16022 (java) S 16004 16007 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105794835 10914828288 7670 33554432000 4194304 4196468 140723734410032 140276405087024 140277310225026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30680 KiB
[startup+0.210471 s]*
/proc/loadavg: 3.19 3.05 2.73 4/216 16022
/proc/meminfo: memFree=27661032/32770624 swapFree=67108860/67108860
[pid=16007] ppid=16004 vsize=10659012 memory=41888 CPUtime=0.33 cores=1,3,5,7
/proc/16007/stat : 16007 (java) S 16004 16007 13514 0 -1 1077944320 8106 0 0 0 31 2 0 0 20 0 15 0 105794829 10914828288 10472 33554432000 4194304 4196468 140723734410032 140723734392576 140277310213879 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
/proc/16007/statm: 2664753 10472 3004 1 0 2627263 0
[pid=16007/tid=16009] ppid=16004 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/16007/task/16009/stat : 16009 (java) R 16004 16007 13514 0 -1 4202560 5039 0 0 0 19 1 0 0 20 0 15 0 105794830 10914828288 10472 33554432000 4194304 4196468 140723734410032 140277314450160 140277310225814 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16010] ppid=16004 vsize=10659012 memory=331 CPUtime=0 cores=1,3,5,7
/proc/16007/task/16010/stat : 16010 (java) S 16004 16007 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105794831 10914828288 10472 33554432000 4194304 4196468 140723734410032 140277262833936 140277310224085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16011] ppid=16004 vsize=10659012 memory=140502204723210 CPUtime=0 cores=1,3,5,7
/proc/16007/task/16011/stat : 16011 (java) S 16004 16007 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105794831 10914828288 10472 33554432000 4194304 4196468 140723734410032 140277261781392 140277310224085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16012] ppid=16004 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16007/task/16012/stat : 16012 (java) S 16004 16007 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105794831 10914828288 10472 33554432000 4194304 4196468 140723734410032 140277260728848 140277310224085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16013] ppid=16004 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16007/task/16013/stat : 16013 (java) S 16004 16007 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105794831 10914828288 10472 33554432000 4194304 4196468 140723734410032 140277259676304 140277310224085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16014] ppid=16004 vsize=10659012 memory=140502204098176 CPUtime=0 cores=1,3,5,7
/proc/16007/task/16014/stat : 16014 (java) S 16004 16007 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105794832 10914828288 10472 33554432000 4194304 4196468 140723734410032 140276413508080 140277310225026 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16015] ppid=16004 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16007/task/16015/stat : 16015 (java) S 16004 16007 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105794832 10914828288 10472 33554432000 4194304 4196468 140723734410032 140276412454304 140277310224085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16016] ppid=16004 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16007/task/16016/stat : 16016 (java) S 16004 16007 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105794833 10914828288 10472 33554432000 4194304 4196468 140723734410032 140276411401712 140277310224085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16017] ppid=16004 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16007/task/16017/stat : 16017 (java) S 16004 16007 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105794835 10914828288 10472 33554432000 4194304 4196468 140723734410032 140276410350288 140277310232475 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16018] ppid=16004 vsize=10659012 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/16007/task/16018/stat : 16018 (java) S 16004 16007 13514 0 -1 1077944384 634 0 0 0 2 0 0 0 20 0 15 0 105794835 10914828288 10472 33554432000 4194304 4196468 140723734410032 140276409296880 140277310225026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16019] ppid=16004 vsize=10659012 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/16007/task/16019/stat : 16019 (java) S 16004 16007 13514 0 -1 1077944384 375 0 0 0 2 0 0 0 20 0 15 0 105794835 10914828288 10472 33554432000 4194304 4196468 140723734410032 140276408244336 140277310225026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16020] ppid=16004 vsize=10659012 memory=140502204098176 CPUtime=0.07 cores=1,3,5,7
/proc/16007/task/16020/stat : 16020 (java) R 16004 16007 13514 0 -1 4202560 695 0 0 0 7 0 0 0 20 0 15 0 105794835 10914828288 10472 33554432000 4194304 4196468 140723734410032 140276407191792 140277288918818 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16021] ppid=16004 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16007/task/16021/stat : 16021 (java) S 16004 16007 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105794835 10914828288 10472 33554432000 4194304 4196468 140723734410032 140276406139488 140277310224085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16022] ppid=16004 vsize=10659012 memory=140502204098176 CPUtime=0 cores=1,3,5,7
/proc/16007/task/16022/stat : 16022 (java) S 16004 16007 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105794835 10914828288 10472 33554432000 4194304 4196468 140723734410032 140276405087024 140277310225026 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 41888 KiB
[startup+0.311158 s]*
/proc/loadavg: 3.19 3.05 2.73 5/216 16022
/proc/meminfo: memFree=27648316/32770624 swapFree=67108860/67108860
[pid=16007] ppid=16004 vsize=10659088 memory=53008 CPUtime=0.59 cores=1,3,5,7
/proc/16007/stat : 16007 (java) S 16004 16007 13514 0 -1 1077944320 10011 0 0 0 57 2 0 0 20 0 15 0 105794829 10914906112 13252 33554432000 4194304 4196468 140723734410032 140723734392576 140277310213879 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
/proc/16007/statm: 2664772 13252 3068 1 0 2627263 0
[pid=16007/tid=16009] ppid=16004 vsize=10659088 memory=7022364594140610616 CPUtime=0.29 cores=1,3,5,7
/proc/16007/task/16009/stat : 16009 (java) R 16004 16007 13514 0 -1 4202560 5719 0 0 0 28 1 0 0 20 0 15 0 105794830 10914906112 13252 33554432000 4194304 4196468 140723734410032 140277314450272 140277294294366 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16010] ppid=16004 vsize=10659088 memory=4294977825 CPUtime=0 cores=1,3,5,7
/proc/16007/task/16010/stat : 16010 (java) S 16004 16007 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105794831 10914906112 13252 33554432000 4194304 4196468 140723734410032 140277262833936 140277310224085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16011] ppid=16004 vsize=10659088 memory=140502204717525 CPUtime=0 cores=1,3,5,7
/proc/16007/task/16011/stat : 16011 (java) S 16004 16007 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105794831 10914906112 13252 33554432000 4194304 4196468 140723734410032 140277261781392 140277310224085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16012] ppid=16004 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16007/task/16012/stat : 16012 (java) S 16004 16007 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105794831 10914906112 13252 33554432000 4194304 4196468 140723734410032 140277260728848 140277310224085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16013] ppid=16004 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16007/task/16013/stat : 16013 (java) S 16004 16007 13514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105794831 10914906112 13252 33554432000 4194304 4196468 140723734410032 140277259676304 140277310224085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16014] ppid=16004 vsize=10659088 memory=140502204098176 CPUtime=0 cores=1,3,5,7
/proc/16007/task/16014/stat : 16014 (java) S 16004 16007 13514 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105794832 10914906112 13252 33554432000 4194304 4196468 140723734410032 140276413508080 140277310225026 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16015] ppid=16004 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16007/task/16015/stat : 16015 (java) S 16004 16007 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105794832 10914906112 13252 33554432000 4194304 4196468 140723734410032 140276412454304 140277310224085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16016] ppid=16004 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16007/task/16016/stat : 16016 (java) S 16004 16007 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105794833 10914906112 13252 33554432000 4194304 4196468 140723734410032 140276411401712 140277310224085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16017] ppid=16004 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16007/task/16017/stat : 16017 (java) S 16004 16007 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105794835 10914906112 13252 33554432000 4194304 4196468 140723734410032 140276410350288 140277310232475 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16018] ppid=16004 vsize=10659088 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16007/task/16018/stat : 16018 (java) R 16004 16007 13514 0 -1 4202560 970 0 0 0 7 0 0 0 20 0 15 0 105794835 10914906112 13252 33554432000 4194304 4196468 140723734410032 140276409282976 140277310225814 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16019] ppid=16004 vsize=10659088 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/16007/task/16019/stat : 16019 (java) R 16004 16007 13514 0 -1 4202560 907 0 0 0 7 0 0 0 20 0 15 0 105794835 10914906112 13252 33554432000 4194304 4196468 140723734410032 140276408225352 140277290915543 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16020] ppid=16004 vsize=10659088 memory=140502204098176 CPUtime=0.13 cores=1,3,5,7
/proc/16007/task/16020/stat : 16020 (java) R 16004 16007 13514 0 -1 1077944384 1067 0 0 0 13 0 0 0 20 0 15 0 105794835 10914906112 13252 33554432000 4194304 4196468 140723734410032 140276407191792 140277310225026 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16021] ppid=16004 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16007/task/16021/stat : 16021 (java) S 16004 16007 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105794835 10914906112 13252 33554432000 4194304 4196468 140723734410032 140276406139488 140277310224085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16022] ppid=16004 vsize=10659088 memory=140502204098176 CPUtime=0 cores=1,3,5,7
/proc/16007/task/16022/stat : 16022 (java) S 16004 16007 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105794835 10914906112 13252 33554432000 4194304 4196468 140723734410032 140276405087024 140277310225026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 53008 KiB
[startup+0.701225 s]
/proc/loadavg: 3.19 3.05 2.73 7/216 16022
/proc/meminfo: memFree=27627912/32770624 swapFree=67108860/67108860
[pid=16007] ppid=16004 vsize=10659088 memory=193956 CPUtime=1.87 cores=1,3,5,7
/proc/16007/stat : 16007 (java) S 16004 16007 13514 0 -1 1077944320 12044 0 0 0 181 6 0 0 20 0 15 0 105794829 10914906112 48489 33554432000 4194304 4196468 140723734410032 140723734392576 140277310213879 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
/proc/16007/statm: 2664772 48489 3127 1 0 2627263 0
[pid=16007/tid=16009] ppid=16004 vsize=10659088 memory=16828 CPUtime=0.66 cores=1,3,5,7
/proc/16007/task/16009/stat : 16009 (java) R 16004 16007 13514 0 -1 4202560 6056 0 0 0 63 3 0 0 20 0 15 0 105794830 10914906112 48489 33554432000 4194304 4196468 140723734410032 140277314446816 140276941024182 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16010] ppid=16004 vsize=10659088 memory=2324 CPUtime=0 cores=1,3,5,7
/proc/16007/task/16010/stat : 16010 (java) S 16004 16007 13514 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 105794831 10914906112 48489 33554432000 4194304 4196468 140723734410032 140277262833936 140277310224085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16011] ppid=16004 vsize=10659088 memory=1584 CPUtime=0 cores=1,3,5,7
/proc/16007/task/16011/stat : 16011 (java) S 16004 16007 13514 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 105794831 10914906112 48489 33554432000 4194304 4196468 140723734410032 140277261781392 140277310224085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16012] ppid=16004 vsize=10659088 memory=496 CPUtime=0 cores=1,3,5,7
/proc/16007/task/16012/stat : 16012 (java) S 16004 16007 13514 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 105794831 10914906112 48489 33554432000 4194304 4196468 140723734410032 140277260728848 140277310224085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16013] ppid=16004 vsize=10659088 memory=928 CPUtime=0.01 cores=1,3,5,7
/proc/16007/task/16013/stat : 16013 (java) S 16004 16007 13514 0 -1 1077944384 25 0 0 0 1 0 0 0 20 0 15 0 105794831 10914906112 48489 33554432000 4194304 4196468 140723734410032 140277259676304 140277310224085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16014] ppid=16004 vsize=10659088 memory=1172 CPUtime=0 cores=1,3,5,7
/proc/16007/task/16014/stat : 16014 (java) S 16004 16007 13514 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 105794832 10914906112 48489 33554432000 4194304 4196468 140723734410032 140276413508080 140277310225026 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16015] ppid=16004 vsize=10659088 memory=1968 CPUtime=0 cores=1,3,5,7
/proc/16007/task/16015/stat : 16015 (java) S 16004 16007 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105794832 10914906112 48489 33554432000 4194304 4196468 140723734410032 140276412454368 140277310224085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16016] ppid=16004 vsize=10659088 memory=1572 CPUtime=0 cores=1,3,5,7
/proc/16007/task/16016/stat : 16016 (java) S 16004 16007 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105794833 10914906112 48489 33554432000 4194304 4196468 140723734410032 140276411401712 140277310224085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16017] ppid=16004 vsize=10659088 memory=7379241883359864663 CPUtime=0 cores=1,3,5,7
/proc/16007/task/16017/stat : 16017 (java) S 16004 16007 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105794835 10914906112 48489 33554432000 4194304 4196468 140723734410032 140276410350288 140277310232475 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16018] ppid=16004 vsize=10659088 memory=6081108994580573287 CPUtime=0.39 cores=1,3,5,7
/proc/16007/task/16018/stat : 16018 (java) R 16004 16007 13514 0 -1 4202560 1418 0 0 0 39 0 0 0 20 0 15 0 105794835 10914906112 48489 33554432000 4194304 4196468 140723734410032 140276409283424 140277293699829 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16019] ppid=16004 vsize=10659088 memory=6220993253238723945 CPUtime=0.42 cores=1,3,5,7
/proc/16007/task/16019/stat : 16019 (java) R 16004 16007 13514 0 -1 4202560 1284 0 0 0 42 0 0 0 20 0 15 0 105794835 10914906112 48489 33554432000 4194304 4196468 140723734410032 140276408224128 140277294114940 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16020] ppid=16004 vsize=10659088 memory=0 CPUtime=0.33 cores=1,3,5,7
/proc/16007/task/16020/stat : 16020 (java) S 16004 16007 13514 0 -1 1077944384 1783 0 0 0 32 1 0 0 20 0 15 0 105794835 10914906112 48489 33554432000 4194304 4196468 140723734410032 140276407191792 140277310225026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16021] ppid=16004 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16007/task/16021/stat : 16021 (java) S 16004 16007 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105794835 10914906112 48489 33554432000 4194304 4196468 140723734410032 140276406139488 140277310224085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16022] ppid=16004 vsize=10659088 memory=756 CPUtime=0 cores=1,3,5,7
/proc/16007/task/16022/stat : 16022 (java) S 16004 16007 13514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105794835 10914906112 48489 33554432000 4194304 4196468 140723734410032 140276405087024 140277310225026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
Current children cumulated CPU time: 1.87 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 193956 KiB
[startup+1.50076 s]
/proc/loadavg: 3.19 3.05 2.73 5/216 16022
/proc/meminfo: memFree=27442296/32770624 swapFree=67108860/67108860
[pid=16007] ppid=16004 vsize=10659088 memory=533148 CPUtime=4.03 cores=1,3,5,7
/proc/16007/stat : 16007 (java) S 16004 16007 13514 0 -1 1077944320 13876 0 0 0 371 32 0 0 20 0 15 0 105794829 10914906112 133287 33554432000 4194304 4196468 140723734410032 140723734392576 140277310213879 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
/proc/16007/statm: 2664772 133287 3142 1 0 2627263 0
[pid=16007/tid=16009] ppid=16004 vsize=10659088 memory=384980 CPUtime=1.18 cores=1,3,5,7
/proc/16007/task/16009/stat : 16009 (java) R 16004 16007 13514 0 -1 4202560 6154 0 0 0 114 4 0 0 20 0 15 0 105794830 10914906112 133287 33554432000 4194304 4196468 140723734410032 140277314450736 140277294529116 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16010] ppid=16004 vsize=10659088 memory=33 CPUtime=0.27 cores=1,3,5,7
/proc/16007/task/16010/stat : 16010 (java) S 16004 16007 13514 0 -1 1077944384 193 0 0 0 21 6 0 0 20 0 15 0 105794831 10914906112 133287 33554432000 4194304 4196468 140723734410032 140277262833936 140277310224085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16011] ppid=16004 vsize=10659088 memory=0 CPUtime=0.27 cores=1,3,5,7
/proc/16007/task/16011/stat : 16011 (java) S 16004 16007 13514 0 -1 1077944384 195 0 0 0 21 6 0 0 20 0 15 0 105794831 10914906112 133287 33554432000 4194304 4196468 140723734410032 140277261781392 140277310224085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16012] ppid=16004 vsize=10659088 memory=6791534058613427641 CPUtime=0.27 cores=1,3,5,7
/proc/16007/task/16012/stat : 16012 (java) S 16004 16007 13514 0 -1 1077944384 187 0 0 0 21 6 0 0 20 0 15 0 105794831 10914906112 133287 33554432000 4194304 4196468 140723734410032 140277260728848 140277310224085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16013] ppid=16004 vsize=10659088 memory=0 CPUtime=0.28 cores=1,3,5,7
/proc/16007/task/16013/stat : 16013 (java) S 16004 16007 13514 0 -1 1077944384 202 0 0 0 22 6 0 0 20 0 15 0 105794831 10914906112 133287 33554432000 4194304 4196468 140723734410032 140277259676304 140277310224085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16014] ppid=16004 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16007/task/16014/stat : 16014 (java) S 16004 16007 13514 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 15 0 105794832 10914906112 133287 33554432000 4194304 4196468 140723734410032 140276413508080 140277310225026 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
################
# More data... #
################
[startup+88.0486 s]
# the end of solver process 16007 was just reported to runsolver
# cumulated CPU time of all completed processes: user=253.288 s, system=6.58889 s
Solver just ended.
Dumping a history of the last processes samples
[startup+86.4008 s]
/proc/loadavg: 3.83 3.26 2.83 6/217 16031
/proc/meminfo: memFree=19012544/32770624 swapFree=67108860/67108860
[pid=16007] ppid=16004 vsize=10661136 memory=8320488 CPUtime=253.58 cores=1,3,5,7
/proc/16007/stat : 16007 (java) S 16004 16007 13514 0 -1 1077944320 87528 0 0 0 24704 654 0 0 20 0 15 0 105794829 10917003264 2080122 33554432000 4194304 4196468 140723734410032 140723734392576 140277310213879 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
/proc/16007/statm: 2665284 2080122 3169 1 0 2627775 0
[pid=16007/tid=16009] ppid=16004 vsize=10661136 memory=6791534058613427641 CPUtime=13.27 cores=1,3,5,7
/proc/16007/task/16009/stat : 16009 (java) S 16004 16007 13514 0 -1 1077944384 17319 0 0 0 1317 10 0 0 20 0 15 0 105794830 10917003264 2080122 33554432000 4194304 4196468 140723734410032 140277314449904 140277310224085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16010] ppid=16004 vsize=10661136 memory=1240 CPUtime=55 cores=1,3,5,7
/proc/16007/task/16010/stat : 16010 (java) R 16004 16007 13514 0 -1 4202560 8860 0 0 0 5343 157 0 0 20 0 15 0 105794831 10917003264 2080122 33554432000 4194304 4196468 140723734410032 140277262833832 140277302842087 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16011] ppid=16004 vsize=10661136 memory=1520 CPUtime=55.17 cores=1,3,5,7
/proc/16007/task/16011/stat : 16011 (java) R 16004 16007 13514 0 -1 4202560 6925 0 0 0 5361 156 0 0 20 0 15 0 105794831 10917003264 2080122 33554432000 4194304 4196468 140723734410032 140277261781592 140277294911526 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16012] ppid=16004 vsize=10661136 memory=844 CPUtime=54.97 cores=1,3,5,7
/proc/16007/task/16012/stat : 16012 (java) R 16004 16007 13514 0 -1 4202560 7564 0 0 0 5335 162 0 0 20 0 15 0 105794831 10917003264 2080122 33554432000 4194304 4196468 140723734410032 140277260728432 140277302842087 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16013] ppid=16004 vsize=10661136 memory=3360 CPUtime=55.28 cores=1,3,5,7
/proc/16007/task/16013/stat : 16013 (java) R 16004 16007 13514 0 -1 4202560 9110 0 0 0 5367 161 0 0 20 0 15 0 105794831 10917003264 2080122 33554432000 4194304 4196468 140723734410032 140277259676504 140277294911654 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16014] ppid=16004 vsize=10661136 memory=281004142500640 CPUtime=17.37 cores=1,3,5,7
/proc/16007/task/16014/stat : 16014 (java) S 16004 16007 13514 0 -1 1077944384 20793 0 0 0 1736 1 0 0 20 0 15 0 105794832 10917003264 2080122 33554432000 4194304 4196468 140723734410032 140276413506400 140277310224085 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16015] ppid=16004 vsize=10661136 memory=5571041044296116587 CPUtime=0 cores=1,3,5,7
/proc/16007/task/16015/stat : 16015 (java) S 16004 16007 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105794832 10917003264 2080122 33554432000 4194304 4196468 140723734410032 140276412454368 140277310224085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16016] ppid=16004 vsize=10661136 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/16007/task/16016/stat : 16016 (java) S 16004 16007 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105794833 10917003264 2080122 33554432000 4194304 4196468 140723734410032 140276411401712 140277310224085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16017] ppid=16004 vsize=10661136 memory=281004141058256 CPUtime=0 cores=1,3,5,7
/proc/16007/task/16017/stat : 16017 (java) S 16004 16007 13514 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105794835 10917003264 2080122 33554432000 4194304 4196468 140723734410032 140276410349936 140277310224085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16018] ppid=16004 vsize=10661136 memory=31356350842106267 CPUtime=0.81 cores=1,3,5,7
/proc/16007/task/16018/stat : 16018 (java) S 16004 16007 13514 0 -1 1077944384 4633 0 0 0 81 0 0 0 20 0 15 0 105794835 10917003264 2080122 33554432000 4194304 4196468 140723734410032 140276409296640 140277310224085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16019] ppid=16004 vsize=10661136 memory=1812 CPUtime=1.08 cores=1,3,5,7
/proc/16007/task/16019/stat : 16019 (java) S 16004 16007 13514 0 -1 1077944384 6032 0 0 0 108 0 0 0 20 0 15 0 105794835 10917003264 2080122 33554432000 4194304 4196468 140723734410032 140276408229328 140277310224085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16020] ppid=16004 vsize=10661136 memory=1020 CPUtime=0.47 cores=1,3,5,7
/proc/16007/task/16020/stat : 16020 (java) S 16004 16007 13514 0 -1 1077944384 4794 0 0 0 46 1 0 0 20 0 15 0 105794835 10917003264 2080122 33554432000 4194304 4196468 140723734410032 140276407191840 140277310224085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16021] ppid=16004 vsize=10661136 memory=5456 CPUtime=0 cores=1,3,5,7
/proc/16007/task/16021/stat : 16021 (java) S 16004 16007 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105794835 10917003264 2080122 33554432000 4194304 4196468 140723734410032 140276406139488 140277310224085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16022] ppid=16004 vsize=10661136 memory=756 CPUtime=0.05 cores=1,3,5,7
/proc/16007/task/16022/stat : 16022 (java) S 16004 16007 13514 0 -1 1077944384 137 0 0 0 3 2 0 0 20 0 15 0 105794835 10917003264 2080122 33554432000 4194304 4196468 140723734410032 140276405087024 140277310225026 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
Current children cumulated CPU time: 253.58 s
Current children cumulated vsize: 10661136 KiB
Current children cumulated memory: 8320488 KiB
[startup+87.2007 s]
/proc/loadavg: 3.83 3.26 2.83 6/217 16031
/proc/meminfo: memFree=19012544/32770624 swapFree=67108860/67108860
[pid=16007] ppid=16004 vsize=10661136 memory=8320488 CPUtime=256.68 cores=1,3,5,7
/proc/16007/stat : 16007 (java) S 16004 16007 13514 0 -1 1077944320 87601 0 0 0 25014 654 0 0 20 0 15 0 105794829 10917003264 2080122 33554432000 4194304 4196468 140723734410032 140723734392576 140277310213879 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
/proc/16007/statm: 2665284 2080122 3169 1 0 2627775 0
[pid=16007/tid=16009] ppid=16004 vsize=10661136 memory=2204 CPUtime=13.27 cores=1,3,5,7
/proc/16007/task/16009/stat : 16009 (java) S 16004 16007 13514 0 -1 1077944384 17319 0 0 0 1317 10 0 0 20 0 15 0 105794830 10917003264 2080122 33554432000 4194304 4196468 140723734410032 140277314449904 140277310224085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16010] ppid=16004 vsize=10661136 memory=6791534058613427641 CPUtime=55.75 cores=1,3,5,7
/proc/16007/task/16010/stat : 16010 (java) R 16004 16007 13514 0 -1 4202560 8860 0 0 0 5418 157 0 0 20 0 15 0 105794831 10917003264 2080122 33554432000 4194304 4196468 140723734410032 140277262833744 140277302842087 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16011] ppid=16004 vsize=10661136 memory=1812 CPUtime=55.96 cores=1,3,5,7
/proc/16007/task/16011/stat : 16011 (java) R 16004 16007 13514 0 -1 4202560 6998 0 0 0 5440 156 0 0 20 0 15 0 105794831 10917003264 2080122 33554432000 4194304 4196468 140723734410032 140277261781280 140277287438688 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16012] ppid=16004 vsize=10661136 memory=6791534058613427641 CPUtime=55.74 cores=1,3,5,7
/proc/16007/task/16012/stat : 16012 (java) R 16004 16007 13514 0 -1 4202560 7564 0 0 0 5411 163 0 0 20 0 15 0 105794831 10917003264 2080122 33554432000 4194304 4196468 140723734410032 140277260728968 140277302842087 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16013] ppid=16004 vsize=10661136 memory=5456 CPUtime=56.07 cores=1,3,5,7
/proc/16007/task/16013/stat : 16013 (java) R 16004 16007 13514 0 -1 4202560 9110 0 0 0 5446 161 0 0 20 0 15 0 105794831 10917003264 2080122 33554432000 4194304 4196468 140723734410032 140277259676112 140277302842087 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16014] ppid=16004 vsize=10661136 memory=4140 CPUtime=17.37 cores=1,3,5,7
/proc/16007/task/16014/stat : 16014 (java) S 16004 16007 13514 0 -1 1077944384 20793 0 0 0 1736 1 0 0 20 0 15 0 105794832 10917003264 2080122 33554432000 4194304 4196468 140723734410032 140276413506624 140277310224085 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16015] ppid=16004 vsize=10661136 memory=30184 CPUtime=0 cores=1,3,5,7
/proc/16007/task/16015/stat : 16015 (java) S 16004 16007 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105794832 10917003264 2080122 33554432000 4194304 4196468 140723734410032 140276412454368 140277310224085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16016] ppid=16004 vsize=10661136 memory=8320488 CPUtime=0 cores=1,3,5,7
/proc/16007/task/16016/stat : 16016 (java) S 16004 16007 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105794833 10917003264 2080122 33554432000 4194304 4196468 140723734410032 140276411401712 140277310224085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16017] ppid=16004 vsize=10661136 memory=2724 CPUtime=0 cores=1,3,5,7
/proc/16007/task/16017/stat : 16017 (java) S 16004 16007 13514 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105794835 10917003264 2080122 33554432000 4194304 4196468 140723734410032 140276410349936 140277310224085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16018] ppid=16004 vsize=10661136 memory=1256 CPUtime=0.81 cores=1,3,5,7
/proc/16007/task/16018/stat : 16018 (java) S 16004 16007 13514 0 -1 1077944384 4633 0 0 0 81 0 0 0 20 0 15 0 105794835 10917003264 2080122 33554432000 4194304 4196468 140723734410032 140276409296640 140277310224085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16019] ppid=16004 vsize=10661136 memory=10368 CPUtime=1.08 cores=1,3,5,7
/proc/16007/task/16019/stat : 16019 (java) S 16004 16007 13514 0 -1 1077944384 6032 0 0 0 108 0 0 0 20 0 15 0 105794835 10917003264 2080122 33554432000 4194304 4196468 140723734410032 140276408229328 140277310224085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16020] ppid=16004 vsize=10661136 memory=1700 CPUtime=0.47 cores=1,3,5,7
/proc/16007/task/16020/stat : 16020 (java) S 16004 16007 13514 0 -1 1077944384 4794 0 0 0 46 1 0 0 20 0 15 0 105794835 10917003264 2080122 33554432000 4194304 4196468 140723734410032 140276407191840 140277310224085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16021] ppid=16004 vsize=10661136 memory=1172 CPUtime=0 cores=1,3,5,7
/proc/16007/task/16021/stat : 16021 (java) S 16004 16007 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105794835 10917003264 2080122 33554432000 4194304 4196468 140723734410032 140276406139488 140277310224085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16022] ppid=16004 vsize=10661136 memory=1812 CPUtime=0.05 cores=1,3,5,7
/proc/16007/task/16022/stat : 16022 (java) S 16004 16007 13514 0 -1 1077944384 137 0 0 0 3 2 0 0 20 0 15 0 105794835 10917003264 2080122 33554432000 4194304 4196468 140723734410032 140276405087024 140277310225026 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
Current children cumulated CPU time: 256.68 s
Current children cumulated vsize: 10661136 KiB
Current children cumulated memory: 8320488 KiB
[startup+87.6008 s]
/proc/loadavg: 3.83 3.26 2.83 6/217 16031
/proc/meminfo: memFree=19012544/32770624 swapFree=67108860/67108860
[pid=16007] ppid=16004 vsize=10661136 memory=8320488 CPUtime=258.24 cores=1,3,5,7
/proc/16007/stat : 16007 (java) S 16004 16007 13514 0 -1 1077944320 87601 0 0 0 25169 655 0 0 20 0 15 0 105794829 10917003264 2080122 33554432000 4194304 4196468 140723734410032 140723734392576 140277310213879 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
/proc/16007/statm: 2665284 2080122 3169 1 0 2627775 0
[pid=16007/tid=16009] ppid=16004 vsize=10661136 memory=6791534058613427641 CPUtime=13.27 cores=1,3,5,7
/proc/16007/task/16009/stat : 16009 (java) S 16004 16007 13514 0 -1 1077944384 17319 0 0 0 1317 10 0 0 20 0 15 0 105794830 10917003264 2080122 33554432000 4194304 4196468 140723734410032 140277314449904 140277310224085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16010] ppid=16004 vsize=10661136 memory=1520 CPUtime=56.14 cores=1,3,5,7
/proc/16007/task/16010/stat : 16010 (java) R 16004 16007 13514 0 -1 4202560 8860 0 0 0 5457 157 0 0 20 0 15 0 105794831 10917003264 2080122 33554432000 4194304 4196468 140723734410032 140277262833744 140277302842087 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16011] ppid=16004 vsize=10661136 memory=844 CPUtime=56.36 cores=1,3,5,7
/proc/16007/task/16011/stat : 16011 (java) R 16004 16007 13514 0 -1 4202560 6998 0 0 0 5480 156 0 0 20 0 15 0 105794831 10917003264 2080122 33554432000 4194304 4196468 140723734410032 140277261781280 140277294913696 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16012] ppid=16004 vsize=10661136 memory=3360 CPUtime=56.12 cores=1,3,5,7
/proc/16007/task/16012/stat : 16012 (java) R 16004 16007 13514 0 -1 4202560 7564 0 0 0 5449 163 0 0 20 0 15 0 105794831 10917003264 2080122 33554432000 4194304 4196468 140723734410032 140277260728968 140277302842087 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16013] ppid=16004 vsize=10661136 memory=2724 CPUtime=56.46 cores=1,3,5,7
/proc/16007/task/16013/stat : 16013 (java) R 16004 16007 13514 0 -1 4202560 9110 0 0 0 5485 161 0 0 20 0 15 0 105794831 10917003264 2080122 33554432000 4194304 4196468 140723734410032 140277259676112 140277302842087 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16014] ppid=16004 vsize=10661136 memory=1256 CPUtime=17.37 cores=1,3,5,7
/proc/16007/task/16014/stat : 16014 (java) S 16004 16007 13514 0 -1 1077944384 20793 0 0 0 1736 1 0 0 20 0 15 0 105794832 10917003264 2080122 33554432000 4194304 4196468 140723734410032 140276413506624 140277310224085 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16015] ppid=16004 vsize=10661136 memory=10368 CPUtime=0 cores=1,3,5,7
/proc/16007/task/16015/stat : 16015 (java) S 16004 16007 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105794832 10917003264 2080122 33554432000 4194304 4196468 140723734410032 140276412454368 140277310224085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16016] ppid=16004 vsize=10661136 memory=1700 CPUtime=0 cores=1,3,5,7
/proc/16007/task/16016/stat : 16016 (java) S 16004 16007 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105794833 10917003264 2080122 33554432000 4194304 4196468 140723734410032 140276411401712 140277310224085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16017] ppid=16004 vsize=10661136 memory=1172 CPUtime=0 cores=1,3,5,7
/proc/16007/task/16017/stat : 16017 (java) S 16004 16007 13514 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105794835 10917003264 2080122 33554432000 4194304 4196468 140723734410032 140276410349936 140277310224085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16018] ppid=16004 vsize=10661136 memory=1812 CPUtime=0.81 cores=1,3,5,7
/proc/16007/task/16018/stat : 16018 (java) S 16004 16007 13514 0 -1 1077944384 4633 0 0 0 81 0 0 0 20 0 15 0 105794835 10917003264 2080122 33554432000 4194304 4196468 140723734410032 140276409296640 140277310224085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16019] ppid=16004 vsize=10661136 memory=1020 CPUtime=1.08 cores=1,3,5,7
/proc/16007/task/16019/stat : 16019 (java) S 16004 16007 13514 0 -1 1077944384 6032 0 0 0 108 0 0 0 20 0 15 0 105794835 10917003264 2080122 33554432000 4194304 4196468 140723734410032 140276408229328 140277310224085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16020] ppid=16004 vsize=10661136 memory=5456 CPUtime=0.47 cores=1,3,5,7
/proc/16007/task/16020/stat : 16020 (java) S 16004 16007 13514 0 -1 1077944384 4794 0 0 0 46 1 0 0 20 0 15 0 105794835 10917003264 2080122 33554432000 4194304 4196468 140723734410032 140276407191840 140277310224085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16021] ppid=16004 vsize=10661136 memory=756 CPUtime=0 cores=1,3,5,7
/proc/16007/task/16021/stat : 16021 (java) S 16004 16007 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105794835 10917003264 2080122 33554432000 4194304 4196468 140723734410032 140276406139488 140277310224085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16022] ppid=16004 vsize=10661136 memory=6791534058613427641 CPUtime=0.05 cores=1,3,5,7
/proc/16007/task/16022/stat : 16022 (java) S 16004 16007 13514 0 -1 1077944384 137 0 0 0 3 2 0 0 20 0 15 0 105794835 10917003264 2080122 33554432000 4194304 4196468 140723734410032 140276405087024 140277310225026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
Current children cumulated CPU time: 258.24 s
Current children cumulated vsize: 10661136 KiB
Current children cumulated memory: 8320488 KiB
[startup+88.0007 s]*
/proc/loadavg: 3.83 3.26 2.83 6/217 16031
/proc/meminfo: memFree=19012544/32770624 swapFree=67108860/67108860
[pid=16007] ppid=16004 vsize=10661136 memory=8320488 CPUtime=259.81 cores=1,3,5,7
/proc/16007/stat : 16007 (java) S 16004 16007 13514 0 -1 1077944320 87601 0 0 0 25326 655 0 0 20 0 15 0 105794829 10917003264 2080122 33554432000 4194304 4196468 140723734410032 140723734392576 140277310213879 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
/proc/16007/statm: 2665284 2080122 3169 1 0 2627775 0
[pid=16007/tid=16009] ppid=16004 vsize=10661136 memory=1812 CPUtime=13.27 cores=1,3,5,7
/proc/16007/task/16009/stat : 16009 (java) S 16004 16007 13514 0 -1 1077944384 17319 0 0 0 1317 10 0 0 20 0 15 0 105794830 10917003264 2080122 33554432000 4194304 4196468 140723734410032 140277314449904 140277310224085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16010] ppid=16004 vsize=10661136 memory=1020 CPUtime=56.53 cores=1,3,5,7
/proc/16007/task/16010/stat : 16010 (java) R 16004 16007 13514 0 -1 4202560 8860 0 0 0 5496 157 0 0 20 0 15 0 105794831 10917003264 2080122 33554432000 4194304 4196468 140723734410032 140277262833744 140277302842087 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16011] ppid=16004 vsize=10661136 memory=5456 CPUtime=56.77 cores=1,3,5,7
/proc/16007/task/16011/stat : 16011 (java) R 16004 16007 13514 0 -1 4202560 6998 0 0 0 5521 156 0 0 20 0 15 0 105794831 10917003264 2080122 33554432000 4194304 4196468 140723734410032 140277261781280 140277295210432 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16012] ppid=16004 vsize=10661136 memory=4126316290023845779 CPUtime=56.5 cores=1,3,5,7
/proc/16007/task/16012/stat : 16012 (java) R 16004 16007 13514 0 -1 4202560 7564 0 0 0 5487 163 0 0 20 0 15 0 105794831 10917003264 2080122 33554432000 4194304 4196468 140723734410032 140277260728968 140277302842087 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16013] ppid=16004 vsize=10661136 memory=6791534058613427641 CPUtime=56.85 cores=1,3,5,7
/proc/16007/task/16013/stat : 16013 (java) R 16004 16007 13514 0 -1 4202560 9110 0 0 0 5524 161 0 0 20 0 15 0 105794831 10917003264 2080122 33554432000 4194304 4196468 140723734410032 140277259676112 140277302842087 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16014] ppid=16004 vsize=10661136 memory=288230613214036277 CPUtime=17.37 cores=1,3,5,7
/proc/16007/task/16014/stat : 16014 (java) S 16004 16007 13514 0 -1 1077944384 20793 0 0 0 1736 1 0 0 20 0 15 0 105794832 10917003264 2080122 33554432000 4194304 4196468 140723734410032 140276413506624 140277310224085 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16015] ppid=16004 vsize=10661136 memory=15535236834396114 CPUtime=0 cores=1,3,5,7
/proc/16007/task/16015/stat : 16015 (java) S 16004 16007 13514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105794832 10917003264 2080122 33554432000 4194304 4196468 140723734410032 140276412454368 140277310224085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16016] ppid=16004 vsize=10661136 memory=10368 CPUtime=0 cores=1,3,5,7
/proc/16007/task/16016/stat : 16016 (java) S 16004 16007 13514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105794833 10917003264 2080122 33554432000 4194304 4196468 140723734410032 140276411401712 140277310224085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16017] ppid=16004 vsize=10661136 memory=1700 CPUtime=0 cores=1,3,5,7
/proc/16007/task/16017/stat : 16017 (java) S 16004 16007 13514 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105794835 10917003264 2080122 33554432000 4194304 4196468 140723734410032 140276410349936 140277310224085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16018] ppid=16004 vsize=10661136 memory=1172 CPUtime=0.81 cores=1,3,5,7
/proc/16007/task/16018/stat : 16018 (java) S 16004 16007 13514 0 -1 1077944384 4633 0 0 0 81 0 0 0 20 0 15 0 105794835 10917003264 2080122 33554432000 4194304 4196468 140723734410032 140276409296640 140277310224085 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16019] ppid=16004 vsize=10661136 memory=1812 CPUtime=1.08 cores=1,3,5,7
/proc/16007/task/16019/stat : 16019 (java) S 16004 16007 13514 0 -1 1077944384 6032 0 0 0 108 0 0 0 20 0 15 0 105794835 10917003264 2080122 33554432000 4194304 4196468 140723734410032 140276408229328 140277310224085 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16020] ppid=16004 vsize=10661136 memory=1020 CPUtime=0.47 cores=1,3,5,7
/proc/16007/task/16020/stat : 16020 (java) S 16004 16007 13514 0 -1 1077944384 4794 0 0 0 46 1 0 0 20 0 15 0 105794835 10917003264 2080122 33554432000 4194304 4196468 140723734410032 140276407191840 140277310224085 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16021] ppid=16004 vsize=10661136 memory=5456 CPUtime=0 cores=1,3,5,7
/proc/16007/task/16021/stat : 16021 (java) S 16004 16007 13514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105794835 10917003264 2080122 33554432000 4194304 4196468 140723734410032 140276406139488 140277310224085 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
[pid=16007/tid=16022] ppid=16004 vsize=10661136 memory=281004141823344 CPUtime=0.05 cores=1,3,5,7
/proc/16007/task/16022/stat : 16022 (java) S 16004 16007 13514 0 -1 1077944384 137 0 0 0 3 2 0 0 20 0 15 0 105794835 10917003264 2080122 33554432000 4194304 4196468 140723734410032 140276405087024 140277310225026 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35913728 140723734414454 140723734414606 140723734414606 140723734417359 0
Current children cumulated CPU time: 259.81 s
Current children cumulated vsize: 10661136 KiB
Current children cumulated memory: 8320488 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 88.0487
CPU time (s): 259.877
CPU user time (s): 253.288
CPU system time (s): 6.58889
CPU usage (%): 295.152
Max. virtual memory (cumulated for all children) (KiB): 10661136
Max. memory (cumulated for all children) (KiB): 8320488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 253.288
system time used= 6.58889
maximum resident set size= 8320816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87605
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5384
involuntary context switches= 2113
# summary of solver processes directly reported to runsolver:
# pid: 16007
# total CPU time (s): 259.877
# total CPU user time (s): 253.288
# total CPU system time (s): 6.58889
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.595039 second user time and 0.852661 second system time
The end