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 (13814 MiB free)
memory of node 1: 16384 MiB (13087 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396588-1568399428/watcher-4396588-1568399428 -o /tmp/evaluation-result-4396588-1568399428/solver-4396588-1568399428 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568394259-25761 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1141702807 HOME/instance-4396588-1568399428.xml
running on 4 cores: 0,2,4,6
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
solver pid=27905, runsolver pid=27902
Current StackSize limit: 8192 KiB
[startup+0.100164 s]*
/proc/loadavg: 1.50 1.60 1.49 3/220 27962
/proc/meminfo: memFree=27539088/32770624 swapFree=67004752/67108860
[pid=27905] ppid=27902 vsize=9972712 memory=17216 CPUtime=0.09 cores=0,2,4,6
/proc/27905/stat : 27905 (java) S 27902 27905 24221 0 -1 1077944320 4550 13112 0 0 1 1 5 2 20 0 6 0 416210666 10212057088 4304 33554432000 4194304 4196468 140734884848704 140734884831248 140006275694327 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
/proc/27905/statm: 2493178 4304 1935 1 0 2481616 0
[pid=27905/tid=27958] ppid=27902 vsize=9972712 memory=8514726395714820750 CPUtime=0.08 cores=0,2,4,6
/proc/27905/task/27958/stat : 27958 (java) R 27902 27905 24221 0 -1 4202560 2343 13112 0 0 1 0 5 2 20 0 6 0 416210675 10212057088 4304 33554432000 4194304 4196468 140734884848704 140006247531088 140006259774814 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27959] ppid=27902 vsize=9972712 memory=-9181546050914066336 CPUtime=0.07 cores=0,2,4,6
/proc/27905/task/27959/stat : 27959 (java) S 27902 27905 24221 0 -1 1077944384 2 13112 0 0 0 0 5 2 20 0 6 0 416210676 10212057088 4304 33554432000 4194304 4196468 140734884848704 140006279937040 140006275704533 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27960] ppid=27902 vsize=9972712 memory=139993327048320 CPUtime=0.07 cores=0,2,4,6
/proc/27905/task/27960/stat : 27960 (java) S 27902 27905 24221 0 -1 1077944384 1 13112 0 0 0 0 5 2 20 0 6 0 416210676 10212057088 4304 33554432000 4194304 4196468 140734884848704 140005849406608 140006275704533 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27961] ppid=27902 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/27905/task/27961/stat : 27961 (java) S 27902 27905 24221 0 -1 1077944384 3 13112 0 0 0 0 5 2 20 0 6 0 416210676 10212057088 4304 33554432000 4194304 4196468 140734884848704 140005848353552 140006275704533 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27962] ppid=27902 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/27905/task/27962/stat : 27962 (java) S 27902 27905 24221 0 -1 1077944384 2 13112 0 0 0 0 5 2 20 0 6 0 416210676 10212057088 4304 33554432000 4194304 4196468 140734884848704 140005847301008 140006275704533 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17216 KiB
[startup+0.210467 s]*
/proc/loadavg: 1.50 1.60 1.49 3/229 27971
/proc/meminfo: memFree=27518424/32770624 swapFree=67004752/67108860
[pid=27905] ppid=27902 vsize=10819664 memory=43780 CPUtime=0.25 cores=0,2,4,6
/proc/27905/stat : 27905 (java) S 27902 27905 24221 0 -1 1077944320 7291 13112 0 0 16 2 5 2 20 0 15 0 416210666 11079335936 10945 33554432000 4194304 4196468 140734884848704 140734884831248 140006275694327 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
/proc/27905/statm: 2704916 10945 3145 1 0 2667149 0
[pid=27905/tid=27958] ppid=27902 vsize=10819664 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/27905/task/27958/stat : 27958 (java) R 27902 27905 24221 0 -1 4202560 3782 13112 0 0 10 1 5 2 20 0 15 0 416210675 11079335936 10945 33554432000 4194304 4196468 140734884848704 140006247517904 140006275716253 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27959] ppid=27902 vsize=10819664 memory=339 CPUtime=0.07 cores=0,2,4,6
/proc/27905/task/27959/stat : 27959 (java) S 27902 27905 24221 0 -1 1077944384 2 13112 0 0 0 0 5 2 20 0 15 0 416210676 11079335936 10945 33554432000 4194304 4196468 140734884848704 140006279937040 140006275704533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27960] ppid=27902 vsize=10819664 memory=3619123370996242080 CPUtime=0.07 cores=0,2,4,6
/proc/27905/task/27960/stat : 27960 (java) S 27902 27905 24221 0 -1 1077944384 1 13112 0 0 0 0 5 2 20 0 15 0 416210676 11079335936 10945 33554432000 4194304 4196468 140734884848704 140005849406608 140006275704533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27961] ppid=27902 vsize=10819664 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/27905/task/27961/stat : 27961 (java) S 27902 27905 24221 0 -1 1077944384 3 13112 0 0 0 0 5 2 20 0 15 0 416210676 11079335936 10945 33554432000 4194304 4196468 140734884848704 140005848353552 140006275704533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27962] ppid=27902 vsize=10819664 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/27905/task/27962/stat : 27962 (java) S 27902 27905 24221 0 -1 1077944384 2 13112 0 0 0 0 5 2 20 0 15 0 416210676 11079335936 10945 33554432000 4194304 4196468 140734884848704 140005847301008 140006275704533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27963] ppid=27902 vsize=10819664 memory=139993327048320 CPUtime=0.07 cores=0,2,4,6
/proc/27905/task/27963/stat : 27963 (java) S 27902 27905 24221 0 -1 1077944384 2 13112 0 0 0 0 5 2 20 0 15 0 416210678 11079335936 10945 33554432000 4194304 4196468 140734884848704 140005802350832 140006275705474 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27964] ppid=27902 vsize=10819664 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/27905/task/27964/stat : 27964 (java) S 27902 27905 24221 0 -1 1077944384 13 13112 0 0 0 0 5 2 20 0 15 0 416210678 11079335936 10945 33554432000 4194304 4196468 140734884848704 140005733295264 140006275704533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27965] ppid=27902 vsize=10819664 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/27905/task/27965/stat : 27965 (java) S 27902 27905 24221 0 -1 1077944384 1 13112 0 0 0 0 5 2 20 0 15 0 416210678 11079335936 10945 33554432000 4194304 4196468 140734884848704 140005599077104 140006275704533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27966] ppid=27902 vsize=10819664 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/27905/task/27966/stat : 27966 (java) S 27902 27905 24221 0 -1 1077944384 2 13112 0 0 0 0 5 2 20 0 15 0 416210681 11079335936 10945 33554432000 4194304 4196468 140734884848704 140004995098576 140006275712923 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27967] ppid=27902 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27905/task/27967/stat : 27967 (java) S 27902 27905 24221 0 -1 1077944384 587 13112 0 0 1 0 5 2 20 0 15 0 416210681 11079335936 10945 33554432000 4194304 4196468 140734884848704 140005699738352 140006275705474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27968] ppid=27902 vsize=10819664 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/27905/task/27968/stat : 27968 (java) S 27902 27905 24221 0 -1 1077944384 62 13112 0 0 0 0 5 2 20 0 15 0 416210681 11079335936 10945 33554432000 4194304 4196468 140734884848704 140005698685808 140006275705474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27969] ppid=27902 vsize=10819664 memory=139993327048320 CPUtime=0.1 cores=0,2,4,6
/proc/27905/task/27969/stat : 27969 (java) R 27902 27905 24221 0 -1 4202560 620 13112 0 0 3 0 5 2 20 0 15 0 416210681 11079335936 10945 33554432000 4194304 4196468 140734884848704 140005697632752 140006254377888 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27970] ppid=27902 vsize=10819664 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/27905/task/27970/stat : 27970 (java) S 27902 27905 24221 0 -1 1077944384 3 13112 0 0 0 0 5 2 20 0 15 0 416210681 11079335936 10945 33554432000 4194304 4196468 140734884848704 140004525337440 140006275704533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27971] ppid=27902 vsize=10819664 memory=139993327048320 CPUtime=0.07 cores=0,2,4,6
/proc/27905/task/27971/stat : 27971 (java) S 27902 27905 24221 0 -1 1077944384 1 13112 0 0 0 0 5 2 20 0 15 0 416210682 11079335936 10945 33554432000 4194304 4196468 140734884848704 140005696580144 140006275705474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 43780 KiB
[startup+0.310577 s]*
/proc/loadavg: 1.50 1.60 1.49 4/229 27971
/proc/meminfo: memFree=27505352/32770624 swapFree=67004752/67108860
[pid=27905] ppid=27902 vsize=10820148 memory=54856 CPUtime=0.39 cores=0,2,4,6
/proc/27905/stat : 27905 (java) S 27902 27905 24221 0 -1 1077944320 10925 13112 0 0 28 4 5 2 20 0 15 0 416210666 11079831552 13714 33554432000 4194304 4196468 140734884848704 140734884831248 140006275694327 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
/proc/27905/statm: 2705037 13714 3297 1 0 2667149 0
[pid=27905/tid=27958] ppid=27902 vsize=10820148 memory=1398722017469774279 CPUtime=0.28 cores=0,2,4,6
/proc/27905/task/27958/stat : 27958 (java) R 27902 27905 24221 0 -1 4202560 7398 13112 0 0 18 3 5 2 20 0 15 0 416210675 11079831552 13714 33554432000 4194304 4196468 140734884848704 140006247494240 140006259774814 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27959] ppid=27902 vsize=10820148 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/27905/task/27959/stat : 27959 (java) S 27902 27905 24221 0 -1 1077944384 2 13112 0 0 0 0 5 2 20 0 15 0 416210676 11079831552 13714 33554432000 4194304 4196468 140734884848704 140006279937040 140006275704533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27960] ppid=27902 vsize=10820148 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/27905/task/27960/stat : 27960 (java) S 27902 27905 24221 0 -1 1077944384 1 13112 0 0 0 0 5 2 20 0 15 0 416210676 11079831552 13714 33554432000 4194304 4196468 140734884848704 140005849406608 140006275704533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27961] ppid=27902 vsize=10820148 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/27905/task/27961/stat : 27961 (java) S 27902 27905 24221 0 -1 1077944384 3 13112 0 0 0 0 5 2 20 0 15 0 416210676 11079831552 13714 33554432000 4194304 4196468 140734884848704 140005848353552 140006275704533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27962] ppid=27902 vsize=10820148 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/27905/task/27962/stat : 27962 (java) S 27902 27905 24221 0 -1 1077944384 2 13112 0 0 0 0 5 2 20 0 15 0 416210676 11079831552 13714 33554432000 4194304 4196468 140734884848704 140005847301008 140006275704533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27963] ppid=27902 vsize=10820148 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/27905/task/27963/stat : 27963 (java) S 27902 27905 24221 0 -1 1077944384 2 13112 0 0 0 0 5 2 20 0 15 0 416210678 11079831552 13714 33554432000 4194304 4196468 140734884848704 140005802350832 140006275705474 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27964] ppid=27902 vsize=10820148 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/27905/task/27964/stat : 27964 (java) S 27902 27905 24221 0 -1 1077944384 13 13112 0 0 0 0 5 2 20 0 15 0 416210678 11079831552 13714 33554432000 4194304 4196468 140734884848704 140005733295264 140006275704533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27965] ppid=27902 vsize=10820148 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/27905/task/27965/stat : 27965 (java) S 27902 27905 24221 0 -1 1077944384 1 13112 0 0 0 0 5 2 20 0 15 0 416210678 11079831552 13714 33554432000 4194304 4196468 140734884848704 140005599077104 140006275704533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27966] ppid=27902 vsize=10820148 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/27905/task/27966/stat : 27966 (java) S 27902 27905 24221 0 -1 1077944384 2 13112 0 0 0 0 5 2 20 0 15 0 416210681 11079831552 13714 33554432000 4194304 4196468 140734884848704 140004995098576 140006275712923 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27967] ppid=27902 vsize=10820148 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/27905/task/27967/stat : 27967 (java) S 27902 27905 24221 0 -1 1077944384 587 13112 0 0 2 0 5 2 20 0 15 0 416210681 11079831552 13714 33554432000 4194304 4196468 140734884848704 140005699738352 140006275705474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27968] ppid=27902 vsize=10820148 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/27905/task/27968/stat : 27968 (java) S 27902 27905 24221 0 -1 1077944384 72 13112 0 0 2 0 5 2 20 0 15 0 416210681 11079831552 13714 33554432000 4194304 4196468 140734884848704 140005698685808 140006275705474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27969] ppid=27902 vsize=10820148 memory=139993327048320 CPUtime=0.12 cores=0,2,4,6
/proc/27905/task/27969/stat : 27969 (java) S 27902 27905 24221 0 -1 1077944384 629 13112 0 0 5 0 5 2 20 0 15 0 416210681 11079831552 13714 33554432000 4194304 4196468 140734884848704 140005697632752 140006275705474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27970] ppid=27902 vsize=10820148 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/27905/task/27970/stat : 27970 (java) S 27902 27905 24221 0 -1 1077944384 3 13112 0 0 0 0 5 2 20 0 15 0 416210681 11079831552 13714 33554432000 4194304 4196468 140734884848704 140004525337440 140006275704533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27971] ppid=27902 vsize=10820148 memory=139993327048320 CPUtime=0.07 cores=0,2,4,6
/proc/27905/task/27971/stat : 27971 (java) S 27902 27905 24221 0 -1 1077944384 1 13112 0 0 0 0 5 2 20 0 15 0 416210682 11079831552 13714 33554432000 4194304 4196468 140734884848704 140005696580144 140006275705474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 54856 KiB
[startup+0.700777 s]
/proc/loadavg: 1.50 1.60 1.49 3/229 27971
/proc/meminfo: memFree=27493844/32770624 swapFree=67004752/67108860
[pid=27905] ppid=27902 vsize=10824360 memory=85404 CPUtime=1.13 cores=0,2,4,6
/proc/27905/stat : 27905 (java) S 27902 27905 24221 0 -1 1077944320 15087 13112 0 0 101 5 5 2 20 0 15 0 416210666 11084144640 21351 33554432000 4194304 4196468 140734884848704 140734884831248 140006275694327 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
/proc/27905/statm: 2706090 21351 3501 1 0 2668173 0
[pid=27905/tid=27958] ppid=27902 vsize=10824360 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/27905/task/27958/stat : 27958 (java) R 27902 27905 24221 0 -1 4202560 10433 13112 0 0 55 4 5 2 20 0 15 0 416210675 11084144640 21863 33554432000 4194304 4196468 140734884848704 140006247523872 140005881392244 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27959] ppid=27902 vsize=10824360 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/27905/task/27959/stat : 27959 (java) S 27902 27905 24221 0 -1 1077944384 2 13112 0 0 0 0 5 2 20 0 15 0 416210676 11084144640 21863 33554432000 4194304 4196468 140734884848704 140006279937040 140006275704533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27960] ppid=27902 vsize=10824360 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/27905/task/27960/stat : 27960 (java) S 27902 27905 24221 0 -1 1077944384 1 13112 0 0 0 0 5 2 20 0 15 0 416210676 11084144640 21863 33554432000 4194304 4196468 140734884848704 140005849406608 140006275704533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27961] ppid=27902 vsize=10824360 memory=279986368160704 CPUtime=0.07 cores=0,2,4,6
/proc/27905/task/27961/stat : 27961 (java) S 27902 27905 24221 0 -1 1077944384 3 13112 0 0 0 0 5 2 20 0 15 0 416210676 11084144640 21863 33554432000 4194304 4196468 140734884848704 140005848353552 140006275704533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27962] ppid=27902 vsize=10824360 memory=122027335748073 CPUtime=0.07 cores=0,2,4,6
/proc/27905/task/27962/stat : 27962 (java) S 27902 27905 24221 0 -1 1077944384 2 13112 0 0 0 0 5 2 20 0 15 0 416210676 11084144640 21863 33554432000 4194304 4196468 140734884848704 140005847301008 140006275704533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27963] ppid=27902 vsize=10824360 memory=11496161012 CPUtime=0.07 cores=0,2,4,6
/proc/27905/task/27963/stat : 27963 (java) S 27902 27905 24221 0 -1 1077944384 5 13112 0 0 0 0 5 2 20 0 15 0 416210678 11084144640 21863 33554432000 4194304 4196468 140734884848704 140005802350832 140006275705474 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27964] ppid=27902 vsize=10824360 memory=68 CPUtime=0.07 cores=0,2,4,6
/proc/27905/task/27964/stat : 27964 (java) S 27902 27905 24221 0 -1 1077944384 13 13112 0 0 0 0 5 2 20 0 15 0 416210678 11084144640 21863 33554432000 4194304 4196468 140734884848704 140005733295264 140006275704533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27965] ppid=27902 vsize=10824360 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/27905/task/27965/stat : 27965 (java) S 27902 27905 24221 0 -1 1077944384 1 13112 0 0 0 0 5 2 20 0 15 0 416210678 11084144640 21863 33554432000 4194304 4196468 140734884848704 140005599077104 140006275704533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27966] ppid=27902 vsize=10824360 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/27905/task/27966/stat : 27966 (java) S 27902 27905 24221 0 -1 1077944384 2 13112 0 0 0 0 5 2 20 0 15 0 416210681 11084144640 21863 33554432000 4194304 4196468 140734884848704 140004995098576 140006275712923 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27967] ppid=27902 vsize=10824360 memory=0 CPUtime=0.22 cores=0,2,4,6
/proc/27905/task/27967/stat : 27967 (java) S 27902 27905 24221 0 -1 1077944384 1094 13112 0 0 15 0 5 2 20 0 15 0 416210681 11084144640 21863 33554432000 4194304 4196468 140734884848704 140005699738352 140006275705474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27968] ppid=27902 vsize=10824360 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/27905/task/27968/stat : 27968 (java) S 27902 27905 24221 0 -1 1077944384 527 13112 0 0 12 0 5 2 20 0 15 0 416210681 11084144640 21863 33554432000 4194304 4196468 140734884848704 140005698685808 140006275705474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27969] ppid=27902 vsize=10824360 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/27905/task/27969/stat : 27969 (java) S 27902 27905 24221 0 -1 1077944384 791 13112 0 0 17 0 5 2 20 0 15 0 416210681 11084144640 21863 33554432000 4194304 4196468 140734884848704 140005697632752 140006275705474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27970] ppid=27902 vsize=10824360 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/27905/task/27970/stat : 27970 (java) S 27902 27905 24221 0 -1 1077944384 3 13112 0 0 0 0 5 2 20 0 15 0 416210681 11084144640 21863 33554432000 4194304 4196468 140734884848704 140004525337440 140006275704533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27971] ppid=27902 vsize=10824360 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/27905/task/27971/stat : 27971 (java) S 27902 27905 24221 0 -1 1077944384 1 13112 0 0 0 0 5 2 20 0 15 0 416210682 11084144640 21863 33554432000 4194304 4196468 140734884848704 140005696580144 140006275705474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 85404 KiB
[startup+1.50074 s]
/proc/loadavg: 1.62 1.62 1.50 6/229 27971
/proc/meminfo: memFree=27445264/32770624 swapFree=67004752/67108860
[pid=27905] ppid=27902 vsize=10834676 memory=196580 CPUtime=2.91 cores=0,2,4,6
/proc/27905/stat : 27905 (java) S 27902 27905 24221 0 -1 1077944320 23696 13112 0 0 274 10 5 2 20 0 15 0 416210666 11094708224 49145 33554432000 4194304 4196468 140734884848704 140734884831248 140006275694327 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
/proc/27905/statm: 2708669 49145 3584 1 0 2670733 0
[pid=27905/tid=27958] ppid=27902 vsize=10834676 memory=-5153075247759266159 CPUtime=1.42 cores=0,2,4,6
/proc/27905/task/27958/stat : 27958 (java) R 27902 27905 24221 0 -1 4202560 15327 13112 0 0 130 5 5 2 20 0 15 0 416210675 11094708224 49145 33554432000 4194304 4196468 140734884848704 140006247519168 140006259774814 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27959] ppid=27902 vsize=10834676 memory=-7666630490553232797 CPUtime=0.08 cores=0,2,4,6
/proc/27905/task/27959/stat : 27959 (java) S 27902 27905 24221 0 -1 1077944384 65 13112 0 0 1 0 5 2 20 0 15 0 416210676 11094708224 49145 33554432000 4194304 4196468 140734884848704 140006279937040 140006275704533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27960] ppid=27902 vsize=10834676 memory=6720696446780543624 CPUtime=0.08 cores=0,2,4,6
/proc/27905/task/27960/stat : 27960 (java) S 27902 27905 24221 0 -1 1077944384 319 13112 0 0 1 0 5 2 20 0 15 0 416210676 11094708224 49145 33554432000 4194304 4196468 140734884848704 140005849406608 140006275704533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27961] ppid=27902 vsize=10834676 memory=-5153075247754915967 CPUtime=0.08 cores=0,2,4,6
/proc/27905/task/27961/stat : 27961 (java) S 27902 27905 24221 0 -1 1077944384 91 13112 0 0 1 0 5 2 20 0 15 0 416210676 11094708224 49145 33554432000 4194304 4196468 140734884848704 140005848353552 140006275704533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27962] ppid=27902 vsize=10834676 memory=131248 CPUtime=0.08 cores=0,2,4,6
/proc/27905/task/27962/stat : 27962 (java) S 27902 27905 24221 0 -1 1077944384 46 13112 0 0 1 0 5 2 20 0 15 0 416210676 11094708224 49145 33554432000 4194304 4196468 140734884848704 140005847301008 140006275704533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27963] ppid=27902 vsize=10834676 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27905/task/27963/stat : 27963 (java) S 27902 27905 24221 0 -1 1077944384 960 13112 0 0 1 0 5 2 20 0 15 0 416210678 11094708224 49145 33554432000 4194304 4196468 140734884848704 140005802350832 140006275705474 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27964] ppid=27902 vsize=10834676 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/27905/task/27964/stat : 27964 (java) S 27902 27905 24221 0 -1 1077944384 13 13112 0 0 0 0 5 2 20 0 15 0 416210678 11094708224 49145 33554432000 4194304 4196468 140734884848704 140005733295328 140006275704533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27965] ppid=27902 vsize=10834676 memory=279986367955040 CPUtime=0.07 cores=0,2,4,6
/proc/27905/task/27965/stat : 27965 (java) S 27902 27905 24221 0 -1 1077944384 2 13112 0 0 0 0 5 2 20 0 15 0 416210678 11094708224 49145 33554432000 4194304 4196468 140734884848704 140005599077120 140006275704533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27966] ppid=27902 vsize=10834676 memory=279986368370080 CPUtime=0.07 cores=0,2,4,6
/proc/27905/task/27966/stat : 27966 (java) S 27902 27905 24221 0 -1 1077944384 2 13112 0 0 0 0 5 2 20 0 15 0 416210681 11094708224 49145 33554432000 4194304 4196468 140734884848704 140004995098576 140006275712923 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27967] ppid=27902 vsize=10834676 memory=139993183987232 CPUtime=0.53 cores=0,2,4,6
/proc/27905/task/27967/stat : 27967 (java) S 27902 27905 24221 0 -1 1077944384 1669 13112 0 0 46 0 5 2 20 0 15 0 416210681 11094708224 49145 33554432000 4194304 4196468 140734884848704 140005699738352 140006275705474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27968] ppid=27902 vsize=10834676 memory=0 CPUtime=0.51 cores=0,2,4,6
/proc/27905/task/27968/stat : 27968 (java) S 27902 27905 24221 0 -1 1077944384 1258 13112 0 0 44 0 5 2 20 0 15 0 416210681 11094708224 49145 33554432000 4194304 4196468 140734884848704 140005698685808 140006275705474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27969] ppid=27902 vsize=10834676 memory=952 CPUtime=0.53 cores=0,2,4,6
/proc/27905/task/27969/stat : 27969 (java) S 27902 27905 24221 0 -1 1077944384 1733 13112 0 0 45 1 5 2 20 0 15 0 416210681 11094708224 49145 33554432000 4194304 4196468 140734884848704 140005697632752 140006275705474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27970] ppid=27902 vsize=10834676 memory=14008 CPUtime=0.07 cores=0,2,4,6
/proc/27905/task/27970/stat : 27970 (java) S 27902 27905 24221 0 -1 1077944384 3 13112 0 0 0 0 5 2 20 0 15 0 416210681 11094708224 49145 33554432000 4194304 4196468 140734884848704 140004525337440 140006275704533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27971] ppid=27902 vsize=10834676 memory=22012 CPUtime=0.07 cores=0,2,4,6
/proc/27905/task/27971/stat : 27971 (java) S 27902 27905 24221 0 -1 1077944384 1 13112 0 0 0 0 5 2 20 0 15 0 416210682 11094708224 49145 33554432000 4194304 4196468 140734884848704 140005696580144 140006275705474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
Current children cumulated CPU time: 2.91 s
Current children cumulated vsize: 10834676 KiB
################
# More data... #
################
/proc/27905/task/27958/stat : 27958 (java) R 27902 27905 24221 0 -1 4202560 64663 13112 0 0 224460 32 5 2 20 0 15 0 416210675 11109408768 87683 33554432000 4194304 4196468 140734884848704 140006247530256 140005881623626 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27959] ppid=27902 vsize=10849032 memory=351764 CPUtime=9.36 cores=0,2,4,6
/proc/27905/task/27959/stat : 27959 (java) S 27902 27905 24221 0 -1 1077944384 8771 13112 0 0 893 36 5 2 20 0 15 0 416210676 11109408768 87683 33554432000 4194304 4196468 140734884848704 140006279937040 140006275704533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27960] ppid=27902 vsize=10849032 memory=230265 CPUtime=9.4 cores=0,2,4,6
/proc/27905/task/27960/stat : 27960 (java) S 27902 27905 24221 0 -1 1077944384 11502 13112 0 0 897 36 5 2 20 0 15 0 416210676 11109408768 87683 33554432000 4194304 4196468 140734884848704 140005849406608 140006275704533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27961] ppid=27902 vsize=10849032 memory=351756 CPUtime=9.36 cores=0,2,4,6
/proc/27905/task/27961/stat : 27961 (java) S 27902 27905 24221 0 -1 1077944384 12191 13112 0 0 896 33 5 2 20 0 15 0 416210676 11109408768 87683 33554432000 4194304 4196468 140734884848704 140005848353552 140006275704533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27962] ppid=27902 vsize=10849032 memory=351244 CPUtime=9.38 cores=0,2,4,6
/proc/27905/task/27962/stat : 27962 (java) S 27902 27905 24221 0 -1 1077944384 12085 13112 0 0 897 34 5 2 20 0 15 0 416210676 11109408768 87683 33554432000 4194304 4196468 140734884848704 140005847301008 140006275704533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27963] ppid=27902 vsize=10849032 memory=350732 CPUtime=5.9 cores=0,2,4,6
/proc/27905/task/27963/stat : 27963 (java) S 27902 27905 24221 0 -1 1077944384 10619 13112 0 0 549 34 5 2 20 0 15 0 416210678 11109408768 87683 33554432000 4194304 4196468 140734884848704 140005802350832 140006275705474 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27964] ppid=27902 vsize=10849032 memory=350300 CPUtime=0.07 cores=0,2,4,6
/proc/27905/task/27964/stat : 27964 (java) S 27902 27905 24221 0 -1 1077944384 30 13112 0 0 0 0 5 2 20 0 15 0 416210678 11109408768 87683 33554432000 4194304 4196468 140734884848704 140005733295328 140006275704533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27965] ppid=27902 vsize=10849032 memory=352272 CPUtime=0.07 cores=0,2,4,6
/proc/27905/task/27965/stat : 27965 (java) S 27902 27905 24221 0 -1 1077944384 23 13112 0 0 0 0 5 2 20 0 15 0 416210678 11109408768 87683 33554432000 4194304 4196468 140734884848704 140005599077280 140006275704533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27966] ppid=27902 vsize=10849032 memory=350300 CPUtime=0.07 cores=0,2,4,6
/proc/27905/task/27966/stat : 27966 (java) S 27902 27905 24221 0 -1 1077944384 2 13112 0 0 0 0 5 2 20 0 15 0 416210681 11109408768 87683 33554432000 4194304 4196468 140734884848704 140004995098576 140006275712923 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27967] ppid=27902 vsize=10849032 memory=352320 CPUtime=6.6 cores=0,2,4,6
/proc/27905/task/27967/stat : 27967 (java) S 27902 27905 24221 0 -1 1077944384 54403 13112 0 0 645 8 5 2 20 0 15 0 416210681 11109408768 87683 33554432000 4194304 4196468 140734884848704 140005699738352 140006275705474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27968] ppid=27902 vsize=10849032 memory=279986368121000 CPUtime=7.32 cores=0,2,4,6
/proc/27905/task/27968/stat : 27968 (java) S 27902 27905 24221 0 -1 1077944384 51241 13112 0 0 720 5 5 2 20 0 15 0 416210681 11109408768 87683 33554432000 4194304 4196468 140734884848704 140005698685808 140006275705474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27969] ppid=27902 vsize=10849032 memory=9584 CPUtime=2.61 cores=0,2,4,6
/proc/27905/task/27969/stat : 27969 (java) S 27902 27905 24221 0 -1 1077944384 31639 13112 0 0 247 7 5 2 20 0 15 0 416210681 11109408768 87683 33554432000 4194304 4196468 140734884848704 140005697632752 140006275705474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27970] ppid=27902 vsize=10849032 memory=4140 CPUtime=0.07 cores=0,2,4,6
/proc/27905/task/27970/stat : 27970 (java) S 27902 27905 24221 0 -1 1077944384 3 13112 0 0 0 0 5 2 20 0 15 0 416210681 11109408768 87683 33554432000 4194304 4196468 140734884848704 140004525337440 140006275704533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27971] ppid=27902 vsize=10849032 memory=351252 CPUtime=1.35 cores=0,2,4,6
/proc/27905/task/27971/stat : 27971 (java) S 27902 27905 24221 0 -1 1077944384 989 13112 0 0 65 63 5 2 20 0 15 0 416210682 11109408768 87683 33554432000 4194304 4196468 140734884848704 140005696580144 140006275705474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
Current children cumulated CPU time: 2305.77 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 350732 KiB
[startup+2322.3 s]
/proc/loadavg: 1.40 1.52 1.48 3/228 28335
/proc/meminfo: memFree=27691424/32770624 swapFree=67004752/67108860
[pid=27905] ppid=27902 vsize=10849032 memory=348592 CPUtime=2366.58 cores=0,2,4,6
/proc/27905/stat : 27905 (java) S 27902 27905 24221 0 -1 1077944320 262091 13112 0 0 236387 264 5 2 20 0 15 0 416210666 11109408768 87148 33554432000 4194304 4196468 140734884848704 140734884831248 140006275694327 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
/proc/27905/statm: 2712258 87148 3637 1 0 2674317 0
[pid=27905/tid=27958] ppid=27902 vsize=10849032 memory=348592 CPUtime=2304.52 cores=0,2,4,6
/proc/27905/task/27958/stat : 27958 (java) R 27902 27905 24221 0 -1 4202560 65471 13112 0 0 230412 33 5 2 20 0 15 0 416210675 11109408768 87148 33554432000 4194304 4196468 140734884848704 140006247529232 140005899712042 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27959] ppid=27902 vsize=10849032 memory=348592 CPUtime=9.63 cores=0,2,4,6
/proc/27905/task/27959/stat : 27959 (java) S 27902 27905 24221 0 -1 1077944384 8892 13112 0 0 919 37 5 2 20 0 15 0 416210676 11109408768 87148 33554432000 4194304 4196468 140734884848704 140006279937040 140006275704533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27960] ppid=27902 vsize=10849032 memory=348592 CPUtime=9.67 cores=0,2,4,6
/proc/27905/task/27960/stat : 27960 (java) S 27902 27905 24221 0 -1 1077944384 11665 13112 0 0 923 37 5 2 20 0 15 0 416210676 11109408768 87148 33554432000 4194304 4196468 140734884848704 140005849406608 140006275704533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27961] ppid=27902 vsize=10849032 memory=279986369036192 CPUtime=9.64 cores=0,2,4,6
/proc/27905/task/27961/stat : 27961 (java) S 27902 27905 24221 0 -1 1077944384 12243 13112 0 0 923 34 5 2 20 0 15 0 416210676 11109408768 87148 33554432000 4194304 4196468 140734884848704 140005848353552 140006275704533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27962] ppid=27902 vsize=10849032 memory=348592 CPUtime=9.65 cores=0,2,4,6
/proc/27905/task/27962/stat : 27962 (java) S 27902 27905 24221 0 -1 1077944384 12469 13112 0 0 923 35 5 2 20 0 15 0 416210676 11109408768 87148 33554432000 4194304 4196468 140734884848704 140005847301008 140006275704533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27963] ppid=27902 vsize=10849032 memory=348592 CPUtime=6.06 cores=0,2,4,6
/proc/27905/task/27963/stat : 27963 (java) S 27902 27905 24221 0 -1 1077944384 10787 13112 0 0 564 35 5 2 20 0 15 0 416210678 11109408768 87148 33554432000 4194304 4196468 140734884848704 140005802350832 140006275705474 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27964] ppid=27902 vsize=10849032 memory=348592 CPUtime=0.07 cores=0,2,4,6
/proc/27905/task/27964/stat : 27964 (java) S 27902 27905 24221 0 -1 1077944384 30 13112 0 0 0 0 5 2 20 0 15 0 416210678 11109408768 87148 33554432000 4194304 4196468 140734884848704 140005733295328 140006275704533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27965] ppid=27902 vsize=10849032 memory=348592 CPUtime=0.07 cores=0,2,4,6
/proc/27905/task/27965/stat : 27965 (java) S 27902 27905 24221 0 -1 1077944384 23 13112 0 0 0 0 5 2 20 0 15 0 416210678 11109408768 87148 33554432000 4194304 4196468 140734884848704 140005599077280 140006275704533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27966] ppid=27902 vsize=10849032 memory=348592 CPUtime=0.07 cores=0,2,4,6
/proc/27905/task/27966/stat : 27966 (java) S 27902 27905 24221 0 -1 1077944384 2 13112 0 0 0 0 5 2 20 0 15 0 416210681 11109408768 87148 33554432000 4194304 4196468 140734884848704 140004995098576 140006275712923 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27967] ppid=27902 vsize=10849032 memory=348592 CPUtime=6.6 cores=0,2,4,6
/proc/27905/task/27967/stat : 27967 (java) S 27902 27905 24221 0 -1 1077944384 54405 13112 0 0 645 8 5 2 20 0 15 0 416210681 11109408768 87148 33554432000 4194304 4196468 140734884848704 140005699738352 140006275705474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27968] ppid=27902 vsize=10849032 memory=348592 CPUtime=7.32 cores=0,2,4,6
/proc/27905/task/27968/stat : 27968 (java) S 27902 27905 24221 0 -1 1077944384 51243 13112 0 0 720 5 5 2 20 0 15 0 416210681 11109408768 87148 33554432000 4194304 4196468 140734884848704 140005698685808 140006275705474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27969] ppid=27902 vsize=10849032 memory=348592 CPUtime=2.61 cores=0,2,4,6
/proc/27905/task/27969/stat : 27969 (java) S 27902 27905 24221 0 -1 1077944384 31641 13112 0 0 247 7 5 2 20 0 15 0 416210681 11109408768 87148 33554432000 4194304 4196468 140734884848704 140005697632752 140006275705474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27970] ppid=27902 vsize=10849032 memory=4140 CPUtime=0.07 cores=0,2,4,6
/proc/27905/task/27970/stat : 27970 (java) S 27902 27905 24221 0 -1 1077944384 3 13112 0 0 0 0 5 2 20 0 15 0 416210681 11109408768 87148 33554432000 4194304 4196468 140734884848704 140004525337440 140006275704533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27971] ppid=27902 vsize=10849032 memory=348592 CPUtime=1.38 cores=0,2,4,6
/proc/27905/task/27971/stat : 27971 (java) S 27902 27905 24221 0 -1 1077944384 1007 13112 0 0 66 65 5 2 20 0 15 0 416210682 11109408768 87148 33554432000 4194304 4196468 140734884848704 140005696580144 140006275705474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
Current children cumulated CPU time: 2366.58 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 348592 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2355.3 s]
/proc/loadavg: 1.39 1.50 1.47 3/228 28338
/proc/meminfo: memFree=27689824/32770624 swapFree=67004752/67108860
[pid=27905] ppid=27902 vsize=10849032 memory=348516 CPUtime=2400.01 cores=0,2,4,6
/proc/27905/stat : 27905 (java) S 27902 27905 24221 0 -1 1077944320 263771 13112 0 0 239727 267 5 2 20 0 15 0 416210666 11109408768 87129 33554432000 4194304 4196468 140734884848704 140734884831248 140006275694327 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
/proc/27905/statm: 2712258 87129 3637 1 0 2674317 0
[pid=27905/tid=27958] ppid=27902 vsize=10849032 memory=348348 CPUtime=2337.24 cores=0,2,4,6
/proc/27905/task/27958/stat : 27958 (java) R 27902 27905 24221 0 -1 4202560 66082 13112 0 0 233684 33 5 2 20 0 15 0 416210675 11109408768 87129 33554432000 4194304 4196468 140734884848704 140006247530112 140005900007503 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27959] ppid=27902 vsize=10849032 memory=348348 CPUtime=9.79 cores=0,2,4,6
/proc/27905/task/27959/stat : 27959 (java) S 27902 27905 24221 0 -1 1077944384 8990 13112 0 0 934 38 5 2 20 0 15 0 416210676 11109408768 87129 33554432000 4194304 4196468 140734884848704 140006279937040 140006275704533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27960] ppid=27902 vsize=10849032 memory=0 CPUtime=9.82 cores=0,2,4,6
/proc/27905/task/27960/stat : 27960 (java) S 27902 27905 24221 0 -1 1077944384 11778 13112 0 0 937 38 5 2 20 0 15 0 416210676 11109408768 87129 33554432000 4194304 4196468 140734884848704 140005849406608 140006275704533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27961] ppid=27902 vsize=10849032 memory=3620 CPUtime=9.79 cores=0,2,4,6
/proc/27905/task/27961/stat : 27961 (java) S 27902 27905 24221 0 -1 1077944384 12339 13112 0 0 937 35 5 2 20 0 15 0 416210676 11109408768 87129 33554432000 4194304 4196468 140734884848704 140005848353552 140006275704533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27962] ppid=27902 vsize=10849032 memory=348516 CPUtime=9.8 cores=0,2,4,6
/proc/27905/task/27962/stat : 27962 (java) S 27902 27905 24221 0 -1 1077944384 12802 13112 0 0 938 35 5 2 20 0 15 0 416210676 11109408768 87129 33554432000 4194304 4196468 140734884848704 140005847301008 140006275704533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27963] ppid=27902 vsize=10849032 memory=279986369036192 CPUtime=6.15 cores=0,2,4,6
/proc/27905/task/27963/stat : 27963 (java) S 27902 27905 24221 0 -1 1077944384 10893 13112 0 0 572 36 5 2 20 0 15 0 416210678 11109408768 87129 33554432000 4194304 4196468 140734884848704 140005802350832 140006275705474 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27964] ppid=27902 vsize=10849032 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/27905/task/27964/stat : 27964 (java) S 27902 27905 24221 0 -1 1077944384 30 13112 0 0 0 0 5 2 20 0 15 0 416210678 11109408768 87129 33554432000 4194304 4196468 140734884848704 140005733295328 140006275704533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27965] ppid=27902 vsize=10849032 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/27905/task/27965/stat : 27965 (java) S 27902 27905 24221 0 -1 1077944384 23 13112 0 0 0 0 5 2 20 0 15 0 416210678 11109408768 87129 33554432000 4194304 4196468 140734884848704 140005599077280 140006275704533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27966] ppid=27902 vsize=10849032 memory=349180 CPUtime=0.07 cores=0,2,4,6
/proc/27905/task/27966/stat : 27966 (java) S 27902 27905 24221 0 -1 1077944384 2 13112 0 0 0 0 5 2 20 0 15 0 416210681 11109408768 87129 33554432000 4194304 4196468 140734884848704 140004995098576 140006275712923 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27967] ppid=27902 vsize=10849032 memory=349180 CPUtime=6.6 cores=0,2,4,6
/proc/27905/task/27967/stat : 27967 (java) S 27902 27905 24221 0 -1 1077944384 54722 13112 0 0 645 8 5 2 20 0 15 0 416210681 11109408768 87129 33554432000 4194304 4196468 140734884848704 140005699738352 140006275705474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27968] ppid=27902 vsize=10849032 memory=2308 CPUtime=7.32 cores=0,2,4,6
/proc/27905/task/27968/stat : 27968 (java) S 27902 27905 24221 0 -1 1077944384 51243 13112 0 0 720 5 5 2 20 0 15 0 416210681 11109408768 87129 33554432000 4194304 4196468 140734884848704 140005698685808 140006275705474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27969] ppid=27902 vsize=10849032 memory=4516 CPUtime=2.61 cores=0,2,4,6
/proc/27905/task/27969/stat : 27969 (java) S 27902 27905 24221 0 -1 1077944384 31641 13112 0 0 247 7 5 2 20 0 15 0 416210681 11109408768 87129 33554432000 4194304 4196468 140734884848704 140005697632752 140006275705474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27970] ppid=27902 vsize=10849032 memory=351764 CPUtime=0.07 cores=0,2,4,6
/proc/27905/task/27970/stat : 27970 (java) S 27902 27905 24221 0 -1 1077944384 3 13112 0 0 0 0 5 2 20 0 15 0 416210681 11109408768 87129 33554432000 4194304 4196468 140734884848704 140004525337440 140006275704533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27971] ppid=27902 vsize=10849032 memory=7 CPUtime=1.4 cores=0,2,4,6
/proc/27905/task/27971/stat : 27971 (java) S 27902 27905 24221 0 -1 1077944384 1013 13112 0 0 67 66 5 2 20 0 15 0 416210682 11109408768 87129 33554432000 4194304 4196468 140734884848704 140005696580144 140006275705474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 348516 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2355.35 s]
# the end of solver process 27905 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2397.37 s, system=2.71167 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2355.3 s]
/proc/loadavg: 1.39 1.50 1.47 3/228 28338
/proc/meminfo: memFree=27689824/32770624 swapFree=67004752/67108860
[pid=27905] ppid=27902 vsize=10849032 memory=348516 CPUtime=2400.01 cores=0,2,4,6
/proc/27905/stat : 27905 (java) S 27902 27905 24221 0 -1 1077944320 263771 13112 0 0 239727 267 5 2 20 0 15 0 416210666 11109408768 87129 33554432000 4194304 4196468 140734884848704 140734884831248 140006275694327 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
/proc/27905/statm: 2712258 87129 3637 1 0 2674317 0
[pid=27905/tid=27958] ppid=27902 vsize=10849032 memory=348348 CPUtime=2337.24 cores=0,2,4,6
/proc/27905/task/27958/stat : 27958 (java) R 27902 27905 24221 0 -1 4202560 66082 13112 0 0 233684 33 5 2 20 0 15 0 416210675 11109408768 87129 33554432000 4194304 4196468 140734884848704 140006247530112 140005900007503 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27959] ppid=27902 vsize=10849032 memory=348348 CPUtime=9.79 cores=0,2,4,6
/proc/27905/task/27959/stat : 27959 (java) S 27902 27905 24221 0 -1 1077944384 8990 13112 0 0 934 38 5 2 20 0 15 0 416210676 11109408768 87129 33554432000 4194304 4196468 140734884848704 140006279937040 140006275704533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27960] ppid=27902 vsize=10849032 memory=0 CPUtime=9.82 cores=0,2,4,6
/proc/27905/task/27960/stat : 27960 (java) S 27902 27905 24221 0 -1 1077944384 11778 13112 0 0 937 38 5 2 20 0 15 0 416210676 11109408768 87129 33554432000 4194304 4196468 140734884848704 140005849406608 140006275704533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27961] ppid=27902 vsize=10849032 memory=3620 CPUtime=9.79 cores=0,2,4,6
/proc/27905/task/27961/stat : 27961 (java) S 27902 27905 24221 0 -1 1077944384 12339 13112 0 0 937 35 5 2 20 0 15 0 416210676 11109408768 87129 33554432000 4194304 4196468 140734884848704 140005848353552 140006275704533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27962] ppid=27902 vsize=10849032 memory=348516 CPUtime=9.8 cores=0,2,4,6
/proc/27905/task/27962/stat : 27962 (java) S 27902 27905 24221 0 -1 1077944384 12802 13112 0 0 938 35 5 2 20 0 15 0 416210676 11109408768 87129 33554432000 4194304 4196468 140734884848704 140005847301008 140006275704533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27963] ppid=27902 vsize=10849032 memory=279986369036192 CPUtime=6.15 cores=0,2,4,6
/proc/27905/task/27963/stat : 27963 (java) S 27902 27905 24221 0 -1 1077944384 10893 13112 0 0 572 36 5 2 20 0 15 0 416210678 11109408768 87129 33554432000 4194304 4196468 140734884848704 140005802350832 140006275705474 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27964] ppid=27902 vsize=10849032 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/27905/task/27964/stat : 27964 (java) S 27902 27905 24221 0 -1 1077944384 30 13112 0 0 0 0 5 2 20 0 15 0 416210678 11109408768 87129 33554432000 4194304 4196468 140734884848704 140005733295328 140006275704533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27965] ppid=27902 vsize=10849032 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/27905/task/27965/stat : 27965 (java) S 27902 27905 24221 0 -1 1077944384 23 13112 0 0 0 0 5 2 20 0 15 0 416210678 11109408768 87129 33554432000 4194304 4196468 140734884848704 140005599077280 140006275704533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27966] ppid=27902 vsize=10849032 memory=349180 CPUtime=0.07 cores=0,2,4,6
/proc/27905/task/27966/stat : 27966 (java) S 27902 27905 24221 0 -1 1077944384 2 13112 0 0 0 0 5 2 20 0 15 0 416210681 11109408768 87129 33554432000 4194304 4196468 140734884848704 140004995098576 140006275712923 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27967] ppid=27902 vsize=10849032 memory=349180 CPUtime=6.6 cores=0,2,4,6
/proc/27905/task/27967/stat : 27967 (java) S 27902 27905 24221 0 -1 1077944384 54722 13112 0 0 645 8 5 2 20 0 15 0 416210681 11109408768 87129 33554432000 4194304 4196468 140734884848704 140005699738352 140006275705474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27968] ppid=27902 vsize=10849032 memory=2308 CPUtime=7.32 cores=0,2,4,6
/proc/27905/task/27968/stat : 27968 (java) S 27902 27905 24221 0 -1 1077944384 51243 13112 0 0 720 5 5 2 20 0 15 0 416210681 11109408768 87129 33554432000 4194304 4196468 140734884848704 140005698685808 140006275705474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27969] ppid=27902 vsize=10849032 memory=4516 CPUtime=2.61 cores=0,2,4,6
/proc/27905/task/27969/stat : 27969 (java) S 27902 27905 24221 0 -1 1077944384 31641 13112 0 0 247 7 5 2 20 0 15 0 416210681 11109408768 87129 33554432000 4194304 4196468 140734884848704 140005697632752 140006275705474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27970] ppid=27902 vsize=10849032 memory=351764 CPUtime=0.07 cores=0,2,4,6
/proc/27905/task/27970/stat : 27970 (java) S 27902 27905 24221 0 -1 1077944384 3 13112 0 0 0 0 5 2 20 0 15 0 416210681 11109408768 87129 33554432000 4194304 4196468 140734884848704 140004525337440 140006275704533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
[pid=27905/tid=27971] ppid=27902 vsize=10849032 memory=7 CPUtime=1.4 cores=0,2,4,6
/proc/27905/task/27971/stat : 27971 (java) S 27902 27905 24221 0 -1 1077944384 1013 13112 0 0 67 66 5 2 20 0 15 0 416210682 11109408768 87129 33554432000 4194304 4196468 140734884848704 140005696580144 140006275705474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35143680 140734884854511 140734884857029 140734884857029 140734884859855 0
Current children cumulated CPU time: 2400.01 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 348516 KiB
Child status: 143
Real time (s): 2355.35
CPU time (s): 2400.08
CPU user time (s): 2397.37
CPU system time (s): 2.71167
CPU usage (%): 101.899
Max. virtual memory (cumulated for all children) (KiB): 10851812
Max. memory (cumulated for all children) (KiB): 824676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.37
system time used= 2.71167
maximum resident set size= 825188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 277746
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 180695
involuntary context switches= 5469
# summary of solver processes directly reported to runsolver:
# pid: 27905
# total CPU time (s): 2400.08
# total CPU user time (s): 2397.37
# total CPU system time (s): 2.71167
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.3902 second user time and 22.9574 second system time
The end