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 (11097 MiB free)
memory of node 1: 16384 MiB (13073 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307871-1534322503/watcher-4307871-1534322503 -o /tmp/evaluation-result-4307871-1534322503/solver-4307871-1534322503 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1534322503-4631 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1179698074 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4307871-1534322503.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=4666, runsolver pid=4660
[startup+0.100163 s]*
/proc/loadavg: 1.00 1.31 1.72 3/219 4690
/proc/meminfo: memFree=24719824/32770624 swapFree=67108856/67108860
[pid=4666] ppid=4660 vsize=14082736 memory=31064 CPUtime=0.12 cores=0,2,4,6
/proc/4666/stat : 4666 (java) S 4660 4666 665 0 -1 1077944320 6672 0 0 0 11 1 0 0 20 0 15 0 249813511 14420721664 7766 33554432000 4194304 4196468 140733953956832 140733953939376 139790694969079 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
/proc/4666/statm: 3520684 7766 3163 1 0 3482761 0
[pid=4666/tid=4668] ppid=4660 vsize=14082736 memory=8389772277269004345 CPUtime=0.09 cores=0,2,4,6
/proc/4666/task/4668/stat : 4668 (java) R 4660 4666 665 0 -1 4202560 4741 0 0 0 8 1 0 0 20 0 15 0 249813512 14420721664 7766 33554432000 4194304 4196468 140733953956832 139790699194768 139790687206206 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4670] ppid=4660 vsize=14082736 memory=288292155783643159 CPUtime=0 cores=0,2,4,6
/proc/4666/task/4670/stat : 4670 (java) S 4660 4666 665 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 249813512 14420721664 7766 33554432000 4194304 4196468 140733953956832 139790651521936 139790694979285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4671] ppid=4660 vsize=14082736 memory=140167774360776 CPUtime=0 cores=0,2,4,6
/proc/4666/task/4671/stat : 4671 (java) S 4660 4666 665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249813512 14420721664 7766 33554432000 4194304 4196468 140733953956832 139790650469136 139790694979285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4672] ppid=4660 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4666/task/4672/stat : 4672 (java) S 4660 4666 665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249813512 14420721664 7831 33554432000 4194304 4196468 140733953956832 139790289136784 139790694979285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4673] ppid=4660 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4666/task/4673/stat : 4673 (java) S 4660 4666 665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249813512 14420721664 7831 33554432000 4194304 4196468 140733953956832 139790288083984 139790694979285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4676] ppid=4660 vsize=14082736 memory=140167774340736 CPUtime=0 cores=0,2,4,6
/proc/4666/task/4676/stat : 4676 (java) S 4660 4666 665 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 249813514 14420721664 7831 33554432000 4194304 4196468 140733953956832 139789808650352 139790694980226 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4677] ppid=4660 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4666/task/4677/stat : 4677 (java) S 4660 4666 665 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 249813514 14420721664 7831 33554432000 4194304 4196468 140733953956832 139789807596320 139790694979285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4678] ppid=4660 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4666/task/4678/stat : 4678 (java) S 4660 4666 665 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 249813514 14420721664 7831 33554432000 4194304 4196468 140733953956832 139789806543984 139790694979285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4685] ppid=4660 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4666/task/4685/stat : 4685 (java) S 4660 4666 665 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249813517 14420721664 7831 33554432000 4194304 4196468 140733953956832 139789805492304 139790694987675 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4686] ppid=4660 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4666/task/4686/stat : 4686 (java) S 4660 4666 665 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 249813517 14420721664 7831 33554432000 4194304 4196468 140733953956832 139789804440176 139790694980226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4687] ppid=4660 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4666/task/4687/stat : 4687 (java) S 4660 4666 665 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249813517 14420721664 7831 33554432000 4194304 4196468 140733953956832 139789803387376 139790694980226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4688] ppid=4660 vsize=14082736 memory=140167774340736 CPUtime=0.01 cores=0,2,4,6
/proc/4666/task/4688/stat : 4688 (java) S 4660 4666 665 0 -1 1077944384 265 0 0 0 1 0 0 0 20 0 15 0 249813517 14420721664 7831 33554432000 4194304 4196468 140733953956832 139789802335088 139790694980226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4689] ppid=4660 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4666/task/4689/stat : 4689 (java) S 4660 4666 665 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249813517 14420721664 7831 33554432000 4194304 4196468 140733953956832 139789801282528 139790694979285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4690] ppid=4660 vsize=14082736 memory=140167774340736 CPUtime=0 cores=0,2,4,6
/proc/4666/task/4690/stat : 4690 (java) S 4660 4666 665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249813517 14420721664 7831 33554432000 4194304 4196468 140733953956832 139789800229296 139790694980226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 31064 KiB
[startup+0.210818 s]*
/proc/loadavg: 1.00 1.31 1.72 8/219 4690
/proc/meminfo: memFree=24690412/32770624 swapFree=67108856/67108860
[pid=4666] ppid=4660 vsize=14082736 memory=46864 CPUtime=0.31 cores=0,2,4,6
/proc/4666/stat : 4666 (java) S 4660 4666 665 0 -1 1077944320 10377 0 0 0 28 3 0 0 20 0 15 0 249813511 14420721664 11716 33554432000 4194304 4196468 140733953956832 140733953939376 139790694969079 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
/proc/4666/statm: 3520684 11716 3375 1 0 3482761 0
[pid=4666/tid=4668] ppid=4660 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/4666/task/4668/stat : 4668 (java) R 4660 4666 665 0 -1 4202560 8083 0 0 0 18 2 0 0 20 0 15 0 249813512 14420721664 11716 33554432000 4194304 4196468 140733953956832 139790699192944 139790679012709 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4670] ppid=4660 vsize=14082736 memory=364 CPUtime=0 cores=0,2,4,6
/proc/4666/task/4670/stat : 4670 (java) S 4660 4666 665 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 249813512 14420721664 11716 33554432000 4194304 4196468 140733953956832 139790651521936 139790694979285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4671] ppid=4660 vsize=14082736 memory=140167774360568 CPUtime=0 cores=0,2,4,6
/proc/4666/task/4671/stat : 4671 (java) S 4660 4666 665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249813512 14420721664 11716 33554432000 4194304 4196468 140733953956832 139790650469136 139790694979285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4672] ppid=4660 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4666/task/4672/stat : 4672 (java) S 4660 4666 665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249813512 14420721664 11716 33554432000 4194304 4196468 140733953956832 139790289136784 139790694979285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4673] ppid=4660 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4666/task/4673/stat : 4673 (java) S 4660 4666 665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249813512 14420721664 11716 33554432000 4194304 4196468 140733953956832 139790288083984 139790694979285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4676] ppid=4660 vsize=14082736 memory=140167774340736 CPUtime=0 cores=0,2,4,6
/proc/4666/task/4676/stat : 4676 (java) S 4660 4666 665 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 249813514 14420721664 11716 33554432000 4194304 4196468 140733953956832 139789808650352 139790694980226 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4677] ppid=4660 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4666/task/4677/stat : 4677 (java) S 4660 4666 665 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 249813514 14420721664 11716 33554432000 4194304 4196468 140733953956832 139789807596320 139790694979285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4678] ppid=4660 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4666/task/4678/stat : 4678 (java) S 4660 4666 665 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 249813514 14420721664 11716 33554432000 4194304 4196468 140733953956832 139789806543984 139790694979285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4685] ppid=4660 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4666/task/4685/stat : 4685 (java) S 4660 4666 665 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249813517 14420721664 11716 33554432000 4194304 4196468 140733953956832 139789805492304 139790694987675 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4686] ppid=4660 vsize=14082736 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/4666/task/4686/stat : 4686 (java) R 4660 4666 665 0 -1 1077944384 445 0 0 0 1 0 0 0 20 0 15 0 249813517 14420721664 11716 33554432000 4194304 4196468 140733953956832 139789804440176 139790694980226 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4687] ppid=4660 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/4666/task/4687/stat : 4687 (java) R 4660 4666 665 0 -1 4202560 163 0 0 0 1 0 0 0 20 0 15 0 249813517 14420721664 11716 33554432000 4194304 4196468 140733953956832 139789803387376 139790678355775 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4688] ppid=4660 vsize=14082736 memory=140167774340736 CPUtime=0.05 cores=0,2,4,6
/proc/4666/task/4688/stat : 4688 (java) R 4660 4666 665 0 -1 4202560 307 0 0 0 5 0 0 0 20 0 15 0 249813517 14420721664 11716 33554432000 4194304 4196468 140733953956832 139789802329928 139790694990426 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4689] ppid=4660 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4666/task/4689/stat : 4689 (java) S 4660 4666 665 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249813517 14420721664 11716 33554432000 4194304 4196468 140733953956832 139789801282528 139790694979285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4690] ppid=4660 vsize=14082736 memory=140167774340736 CPUtime=0 cores=0,2,4,6
/proc/4666/task/4690/stat : 4690 (java) S 4660 4666 665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249813517 14420721664 11716 33554432000 4194304 4196468 140733953956832 139789800229296 139790694980226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 46864 KiB
[startup+0.310725 s]*
/proc/loadavg: 1.00 1.31 1.72 3/219 4690
/proc/meminfo: memFree=24683836/32770624 swapFree=67108856/67108860
[pid=4666] ppid=4660 vsize=14082736 memory=50456 CPUtime=0.44 cores=0,2,4,6
/proc/4666/stat : 4666 (java) S 4660 4666 665 0 -1 1077944320 10781 0 0 0 41 3 0 0 20 0 15 0 249813511 14420721664 12614 33554432000 4194304 4196468 140733953956832 140733953939376 139790694969079 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
/proc/4666/statm: 3520684 12614 3378 1 0 3482761 0
[pid=4666/tid=4668] ppid=4660 vsize=14082736 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/4666/task/4668/stat : 4668 (java) R 4660 4666 665 0 -1 4202560 8445 0 0 0 28 2 0 0 20 0 15 0 249813512 14420721664 12614 33554432000 4194304 4196468 140733953956832 139790699180592 139790676532654 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4670] ppid=4660 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4666/task/4670/stat : 4670 (java) S 4660 4666 665 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 249813512 14420721664 12614 33554432000 4194304 4196468 140733953956832 139790651521936 139790694979285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4671] ppid=4660 vsize=14082736 memory=13710573085263512 CPUtime=0 cores=0,2,4,6
/proc/4666/task/4671/stat : 4671 (java) S 4660 4666 665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249813512 14420721664 12614 33554432000 4194304 4196468 140733953956832 139790650469136 139790694979285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4672] ppid=4660 vsize=14082736 memory=9796 CPUtime=0 cores=0,2,4,6
/proc/4666/task/4672/stat : 4672 (java) S 4660 4666 665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249813512 14420721664 12614 33554432000 4194304 4196468 140733953956832 139790289136784 139790694979285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4673] ppid=4660 vsize=14082736 memory=35 CPUtime=0 cores=0,2,4,6
/proc/4666/task/4673/stat : 4673 (java) S 4660 4666 665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249813512 14420721664 12614 33554432000 4194304 4196468 140733953956832 139790288083984 139790694979285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4676] ppid=4660 vsize=14082736 memory=140167774355072 CPUtime=0 cores=0,2,4,6
/proc/4666/task/4676/stat : 4676 (java) S 4660 4666 665 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 249813514 14420721664 12614 33554432000 4194304 4196468 140733953956832 139789808650352 139790694980226 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4677] ppid=4660 vsize=14082736 memory=35 CPUtime=0 cores=0,2,4,6
/proc/4666/task/4677/stat : 4677 (java) S 4660 4666 665 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 249813514 14420721664 12614 33554432000 4194304 4196468 140733953956832 139789807596320 139790694979285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4678] ppid=4660 vsize=14082736 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/4666/task/4678/stat : 4678 (java) S 4660 4666 665 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 249813514 14420721664 12614 33554432000 4194304 4196468 140733953956832 139789806543984 139790694979285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4685] ppid=4660 vsize=14082736 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/4666/task/4685/stat : 4685 (java) S 4660 4666 665 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249813517 14420721664 12614 33554432000 4194304 4196468 140733953956832 139789805492304 139790694987675 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4686] ppid=4660 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/4666/task/4686/stat : 4686 (java) S 4660 4666 665 0 -1 1077944384 445 0 0 0 2 0 0 0 20 0 15 0 249813517 14420721664 12614 33554432000 4194304 4196468 140733953956832 139789804440176 139790694980226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4687] ppid=4660 vsize=14082736 memory=35 CPUtime=0.02 cores=0,2,4,6
/proc/4666/task/4687/stat : 4687 (java) S 4660 4666 665 0 -1 1077944384 183 0 0 0 2 0 0 0 20 0 15 0 249813517 14420721664 12614 33554432000 4194304 4196468 140733953956832 139789803387376 139790694980226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4688] ppid=4660 vsize=14082736 memory=140167774347552 CPUtime=0.07 cores=0,2,4,6
/proc/4666/task/4688/stat : 4688 (java) S 4660 4666 665 0 -1 1077944384 326 0 0 0 7 0 0 0 20 0 15 0 249813517 14420721664 12614 33554432000 4194304 4196468 140733953956832 139789802335088 139790694980226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4689] ppid=4660 vsize=14082736 memory=35 CPUtime=0 cores=0,2,4,6
/proc/4666/task/4689/stat : 4689 (java) S 4660 4666 665 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249813517 14420721664 12614 33554432000 4194304 4196468 140733953956832 139789801282528 139790694979285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4690] ppid=4660 vsize=14082736 memory=140167774340736 CPUtime=0 cores=0,2,4,6
/proc/4666/task/4690/stat : 4690 (java) S 4660 4666 665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249813517 14420721664 12614 33554432000 4194304 4196468 140733953956832 139789800229296 139790694980226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50456 KiB
[startup+0.700829 s]
/proc/loadavg: 1.00 1.31 1.72 4/219 4690
/proc/meminfo: memFree=24635088/32770624 swapFree=67108856/67108860
[pid=4666] ppid=4660 vsize=14084804 memory=88848 CPUtime=0.99 cores=0,2,4,6
/proc/4666/stat : 4666 (java) S 4660 4666 665 0 -1 1077944320 17617 0 0 0 94 5 0 0 20 0 15 0 249813511 14422839296 22212 33554432000 4194304 4196468 140733953956832 140733953939376 139790694969079 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
/proc/4666/statm: 3521201 22212 3499 1 0 3483273 0
[pid=4666/tid=4668] ppid=4660 vsize=14084804 memory=67936 CPUtime=0.68 cores=0,2,4,6
/proc/4666/task/4668/stat : 4668 (java) R 4660 4666 665 0 -1 4202560 14891 0 0 0 64 4 0 0 20 0 15 0 249813512 14422839296 22212 33554432000 4194304 4196468 140733953956832 139790699204912 139790694991005 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4670] ppid=4660 vsize=14084804 memory=1236 CPUtime=0 cores=0,2,4,6
/proc/4666/task/4670/stat : 4670 (java) S 4660 4666 665 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 249813512 14422839296 22212 33554432000 4194304 4196468 140733953956832 139790651521936 139790694979285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4671] ppid=4660 vsize=14084804 memory=5792869732057044068 CPUtime=0 cores=0,2,4,6
/proc/4666/task/4671/stat : 4671 (java) S 4660 4666 665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249813512 14422839296 22212 33554432000 4194304 4196468 140733953956832 139790650469136 139790694979285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4672] ppid=4660 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4666/task/4672/stat : 4672 (java) S 4660 4666 665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249813512 14422839296 22212 33554432000 4194304 4196468 140733953956832 139790289136784 139790694979285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4673] ppid=4660 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4666/task/4673/stat : 4673 (java) S 4660 4666 665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249813512 14422839296 22212 33554432000 4194304 4196468 140733953956832 139790288083984 139790694979285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4676] ppid=4660 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4666/task/4676/stat : 4676 (java) S 4660 4666 665 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 249813514 14422839296 22212 33554432000 4194304 4196468 140733953956832 139789808650352 139790694980226 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4677] ppid=4660 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4666/task/4677/stat : 4677 (java) S 4660 4666 665 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 249813514 14422839296 22212 33554432000 4194304 4196468 140733953956832 139789807596320 139790694979285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4678] ppid=4660 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4666/task/4678/stat : 4678 (java) S 4660 4666 665 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 249813514 14422839296 22212 33554432000 4194304 4196468 140733953956832 139789806543984 139790694979285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4685] ppid=4660 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4666/task/4685/stat : 4685 (java) S 4660 4666 665 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249813517 14422839296 22212 33554432000 4194304 4196468 140733953956832 139789805492304 139790694987675 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4686] ppid=4660 vsize=14084804 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/4666/task/4686/stat : 4686 (java) R 4660 4666 665 0 -1 1077944384 579 0 0 0 6 0 0 0 20 0 15 0 249813517 14422839296 22212 33554432000 4194304 4196468 140733953956832 139789804440176 139790694980226 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4687] ppid=4660 vsize=14084804 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/4666/task/4687/stat : 4687 (java) S 4660 4666 665 0 -1 1077944384 346 0 0 0 8 0 0 0 20 0 15 0 249813517 14422839296 22212 33554432000 4194304 4196468 140733953956832 139789803387376 139790694980226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4688] ppid=4660 vsize=14084804 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/4666/task/4688/stat : 4688 (java) S 4660 4666 665 0 -1 1077944384 419 0 0 0 15 0 0 0 20 0 15 0 249813517 14422839296 22212 33554432000 4194304 4196468 140733953956832 139789802335088 139790694980226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4689] ppid=4660 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4666/task/4689/stat : 4689 (java) S 4660 4666 665 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249813517 14422839296 22212 33554432000 4194304 4196468 140733953956832 139789801282528 139790694979285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4690] ppid=4660 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4666/task/4690/stat : 4690 (java) S 4660 4666 665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249813517 14422839296 22212 33554432000 4194304 4196468 140733953956832 139789800229296 139790694980226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88848 KiB
[startup+1.50086 s]
/proc/loadavg: 1.00 1.31 1.72 4/219 4690
/proc/meminfo: memFree=24568296/32770624 swapFree=67108856/67108860
[pid=4666] ppid=4660 vsize=14090948 memory=133528 CPUtime=3.06 cores=0,2,4,6
/proc/4666/stat : 4666 (java) S 4660 4666 665 0 -1 1077944320 23658 0 0 0 298 8 0 0 20 0 15 0 249813511 14429130752 33382 33554432000 4194304 4196468 140733953956832 140733953939376 139790694969079 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
/proc/4666/statm: 3522737 33382 3538 1 0 3484809 0
[pid=4666/tid=4668] ppid=4660 vsize=14090948 memory=300292525 CPUtime=1.48 cores=0,2,4,6
/proc/4666/task/4668/stat : 4668 (java) R 4660 4666 665 0 -1 4202560 17766 0 0 0 142 6 0 0 20 0 15 0 249813512 14429130752 33382 33554432000 4194304 4196468 140733953956832 139790699204960 139790675812044 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4670] ppid=4660 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4666/task/4670/stat : 4670 (java) S 4660 4666 665 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 249813512 14429130752 33382 33554432000 4194304 4196468 140733953956832 139790651521936 139790694979285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4671] ppid=4660 vsize=14090948 memory=99216 CPUtime=0 cores=0,2,4,6
/proc/4666/task/4671/stat : 4671 (java) S 4660 4666 665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249813512 14429130752 33382 33554432000 4194304 4196468 140733953956832 139790650469136 139790694979285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4672] ppid=4660 vsize=14090948 memory=67936 CPUtime=0 cores=0,2,4,6
/proc/4666/task/4672/stat : 4672 (java) S 4660 4666 665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249813512 14429130752 33382 33554432000 4194304 4196468 140733953956832 139790289136784 139790694979285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4673] ppid=4660 vsize=14090948 memory=1236 CPUtime=0 cores=0,2,4,6
/proc/4666/task/4673/stat : 4673 (java) S 4660 4666 665 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 249813512 14429130752 33382 33554432000 4194304 4196468 140733953956832 139790288083984 139790694979285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4676] ppid=4660 vsize=14090948 memory=280335334000032 CPUtime=0 cores=0,2,4,6
/proc/4666/task/4676/stat : 4676 (java) S 4660 4666 665 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 249813514 14429130752 33382 33554432000 4194304 4196468 140733953956832 139789808650352 139790694980226 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
################
# More data... #
################
/proc/4666/task/4668/stat : 4668 (java) R 4660 4666 665 0 -1 4202560 33831 0 0 0 243484 13 0 0 20 0 15 0 249813512 14429130752 58324 33554432000 4194304 4196468 140733953956832 139790699207232 139790335400619 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4670] ppid=4660 vsize=14090948 memory=233236 CPUtime=2.79 cores=0,2,4,6
/proc/4666/task/4670/stat : 4670 (java) S 4660 4666 665 0 -1 1077944384 3307 0 0 0 257 22 0 0 20 0 15 0 249813512 14429130752 58324 33554432000 4194304 4196468 140733953956832 139790651521936 139790694979285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4671] ppid=4660 vsize=14090948 memory=233296 CPUtime=2.79 cores=0,2,4,6
/proc/4666/task/4671/stat : 4671 (java) S 4660 4666 665 0 -1 1077944384 3478 0 0 0 258 21 0 0 20 0 15 0 249813512 14429130752 58324 33554432000 4194304 4196468 140733953956832 139790650469136 139790694979285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4672] ppid=4660 vsize=14090948 memory=233296 CPUtime=2.77 cores=0,2,4,6
/proc/4666/task/4672/stat : 4672 (java) S 4660 4666 665 0 -1 1077944384 2723 0 0 0 258 19 0 0 20 0 15 0 249813512 14429130752 58324 33554432000 4194304 4196468 140733953956832 139790289136784 139790694979285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4673] ppid=4660 vsize=14090948 memory=233296 CPUtime=2.79 cores=0,2,4,6
/proc/4666/task/4673/stat : 4673 (java) S 4660 4666 665 0 -1 1077944384 2810 0 0 0 260 19 0 0 20 0 15 0 249813512 14429130752 58324 33554432000 4194304 4196468 140733953956832 139790288083984 139790694979285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4676] ppid=4660 vsize=14090948 memory=233296 CPUtime=2.98 cores=0,2,4,6
/proc/4666/task/4676/stat : 4676 (java) S 4660 4666 665 0 -1 1077944384 4535 0 0 0 279 19 0 0 20 0 15 0 249813514 14429130752 58324 33554432000 4194304 4196468 140733953956832 139789808650352 139790694980226 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4677] ppid=4660 vsize=14090948 memory=233296 CPUtime=0 cores=0,2,4,6
/proc/4666/task/4677/stat : 4677 (java) S 4660 4666 665 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 249813514 14429130752 58324 33554432000 4194304 4196468 140733953956832 139789807596384 139790694979285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4678] ppid=4660 vsize=14090948 memory=233296 CPUtime=0 cores=0,2,4,6
/proc/4666/task/4678/stat : 4678 (java) S 4660 4666 665 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 249813514 14429130752 58324 33554432000 4194304 4196468 140733953956832 139789806544000 139790694979285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4685] ppid=4660 vsize=14090948 memory=233296 CPUtime=0 cores=0,2,4,6
/proc/4666/task/4685/stat : 4685 (java) S 4660 4666 665 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249813517 14429130752 58324 33554432000 4194304 4196468 140733953956832 139789805492304 139790694987675 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4686] ppid=4660 vsize=14090948 memory=0 CPUtime=1.05 cores=0,2,4,6
/proc/4666/task/4686/stat : 4686 (java) S 4660 4666 665 0 -1 1077944384 4663 0 0 0 104 1 0 0 20 0 15 0 249813517 14429130752 58324 33554432000 4194304 4196468 140733953956832 139789804440176 139790694980226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 70 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4687] ppid=4660 vsize=14090948 memory=233296 CPUtime=1.13 cores=0,2,4,6
/proc/4666/task/4687/stat : 4687 (java) S 4660 4666 665 0 -1 1077944384 4659 0 0 0 112 1 0 0 20 0 15 0 249813517 14429130752 58324 33554432000 4194304 4196468 140733953956832 139789803387376 139790694980226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 70 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4688] ppid=4660 vsize=14090948 memory=233296 CPUtime=0.51 cores=0,2,4,6
/proc/4666/task/4688/stat : 4688 (java) S 4660 4666 665 0 -1 1077944384 6142 0 0 0 50 1 0 0 20 0 15 0 249813517 14429130752 58324 33554432000 4194304 4196468 140733953956832 139789802335088 139790694980226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 70 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4689] ppid=4660 vsize=14090948 memory=233296 CPUtime=0 cores=0,2,4,6
/proc/4666/task/4689/stat : 4689 (java) S 4660 4666 665 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249813517 14429130752 58324 33554432000 4194304 4196468 140733953956832 139789801282528 139790694979285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4690] ppid=4660 vsize=14090948 memory=8112282956445269571 CPUtime=0.71 cores=0,2,4,6
/proc/4666/task/4690/stat : 4690 (java) S 4660 4666 665 0 -1 1077944384 1249 0 0 0 28 43 0 0 20 0 15 0 249813517 14429130752 58324 33554432000 4194304 4196468 140733953956832 139789800229296 139790694980226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 102 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
Current children cumulated CPU time: 2452.58 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 233296 KiB
[startup+2502.3 s]
/proc/loadavg: 1.46 1.35 1.35 3/221 4868
/proc/meminfo: memFree=24299272/32770624 swapFree=67108856/67108860
[pid=4666] ppid=4660 vsize=14090948 memory=235364 CPUtime=2512.8 cores=0,2,4,6
/proc/4666/stat : 4666 (java) S 4660 4666 665 0 -1 1077944320 69421 0 0 0 251155 125 0 0 20 0 15 0 249813511 14429130752 58841 33554432000 4194304 4196468 140733953956832 140733953939376 139790694969079 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
/proc/4666/statm: 3522737 58841 3576 1 0 3484809 0
[pid=4666/tid=4668] ppid=4660 vsize=14090948 memory=233296 CPUtime=2494.8 cores=0,2,4,6
/proc/4666/task/4668/stat : 4668 (java) R 4660 4666 665 0 -1 4202560 34071 0 0 0 249466 14 0 0 20 0 15 0 249813512 14429130752 58841 33554432000 4194304 4196468 140733953956832 139790699207152 139790335400647 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4670] ppid=4660 vsize=14090948 memory=235364 CPUtime=2.86 cores=0,2,4,6
/proc/4666/task/4670/stat : 4670 (java) S 4660 4666 665 0 -1 1077944384 3373 0 0 0 264 22 0 0 20 0 15 0 249813512 14429130752 58841 33554432000 4194304 4196468 140733953956832 139790651521936 139790694979285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4671] ppid=4660 vsize=14090948 memory=235364 CPUtime=2.86 cores=0,2,4,6
/proc/4666/task/4671/stat : 4671 (java) S 4660 4666 665 0 -1 1077944384 3484 0 0 0 265 21 0 0 20 0 15 0 249813512 14429130752 58841 33554432000 4194304 4196468 140733953956832 139790650469136 139790694979285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4672] ppid=4660 vsize=14090948 memory=235364 CPUtime=2.85 cores=0,2,4,6
/proc/4666/task/4672/stat : 4672 (java) S 4660 4666 665 0 -1 1077944384 2782 0 0 0 265 20 0 0 20 0 15 0 249813512 14429130752 58841 33554432000 4194304 4196468 140733953956832 139790289136784 139790694979285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4673] ppid=4660 vsize=14090948 memory=235364 CPUtime=2.87 cores=0,2,4,6
/proc/4666/task/4673/stat : 4673 (java) S 4660 4666 665 0 -1 1077944384 2816 0 0 0 268 19 0 0 20 0 15 0 249813512 14429130752 58841 33554432000 4194304 4196468 140733953956832 139790288083984 139790694979285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4676] ppid=4660 vsize=14090948 memory=235364 CPUtime=3.04 cores=0,2,4,6
/proc/4666/task/4676/stat : 4676 (java) S 4660 4666 665 0 -1 1077944384 4696 0 0 0 285 19 0 0 20 0 15 0 249813514 14429130752 58841 33554432000 4194304 4196468 140733953956832 139789808650352 139790694980226 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4677] ppid=4660 vsize=14090948 memory=235364 CPUtime=0 cores=0,2,4,6
/proc/4666/task/4677/stat : 4677 (java) S 4660 4666 665 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 249813514 14429130752 58841 33554432000 4194304 4196468 140733953956832 139789807596384 139790694979285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4678] ppid=4660 vsize=14090948 memory=235364 CPUtime=0 cores=0,2,4,6
/proc/4666/task/4678/stat : 4678 (java) S 4660 4666 665 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 249813514 14429130752 58841 33554432000 4194304 4196468 140733953956832 139789806544000 139790694979285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4685] ppid=4660 vsize=14090948 memory=235364 CPUtime=0 cores=0,2,4,6
/proc/4666/task/4685/stat : 4685 (java) S 4660 4666 665 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249813517 14429130752 58841 33554432000 4194304 4196468 140733953956832 139789805492304 139790694987675 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4686] ppid=4660 vsize=14090948 memory=235364 CPUtime=1.05 cores=0,2,4,6
/proc/4666/task/4686/stat : 4686 (java) S 4660 4666 665 0 -1 1077944384 4663 0 0 0 104 1 0 0 20 0 15 0 249813517 14429130752 58841 33554432000 4194304 4196468 140733953956832 139789804440176 139790694980226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 70 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4687] ppid=4660 vsize=14090948 memory=235364 CPUtime=1.13 cores=0,2,4,6
/proc/4666/task/4687/stat : 4687 (java) S 4660 4666 665 0 -1 1077944384 4659 0 0 0 112 1 0 0 20 0 15 0 249813517 14429130752 58841 33554432000 4194304 4196468 140733953956832 139789803387376 139790694980226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 70 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4688] ppid=4660 vsize=14090948 memory=235364 CPUtime=0.51 cores=0,2,4,6
/proc/4666/task/4688/stat : 4688 (java) S 4660 4666 665 0 -1 1077944384 6142 0 0 0 50 1 0 0 20 0 15 0 249813517 14429130752 58841 33554432000 4194304 4196468 140733953956832 139789802335088 139790694980226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 70 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4689] ppid=4660 vsize=14090948 memory=235364 CPUtime=0 cores=0,2,4,6
/proc/4666/task/4689/stat : 4689 (java) S 4660 4666 665 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249813517 14429130752 58841 33554432000 4194304 4196468 140733953956832 139789801282528 139790694979285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4690] ppid=4660 vsize=14090948 memory=2424 CPUtime=0.73 cores=0,2,4,6
/proc/4666/task/4690/stat : 4690 (java) S 4660 4666 665 0 -1 1077944384 1263 0 0 0 29 44 0 0 20 0 15 0 249813517 14429130752 58841 33554432000 4194304 4196468 140733953956832 139789800229296 139790694980226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 102 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
Current children cumulated CPU time: 2512.8 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 235364 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2509.5 s]
/proc/loadavg: 1.51 1.37 1.35 3/221 4868
/proc/meminfo: memFree=24341408/32770624 swapFree=67108856/67108860
[pid=4666] ppid=4660 vsize=14090948 memory=235364 CPUtime=2520.03 cores=0,2,4,6
/proc/4666/stat : 4666 (java) S 4660 4666 665 0 -1 1077944320 69439 0 0 0 251877 126 0 0 20 0 15 0 249813511 14429130752 58841 33554432000 4194304 4196468 140733953956832 140733953939376 139790694969079 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
/proc/4666/statm: 3522737 58841 3576 1 0 3484809 0
[pid=4666/tid=4668] ppid=4660 vsize=14090948 memory=235364 CPUtime=2501.97 cores=0,2,4,6
/proc/4666/task/4668/stat : 4668 (java) R 4660 4666 665 0 -1 4202560 34087 0 0 0 250183 14 0 0 20 0 15 0 249813512 14429130752 58841 33554432000 4194304 4196468 140733953956832 139790699207232 139790335375193 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4670] ppid=4660 vsize=14090948 memory=2424 CPUtime=2.86 cores=0,2,4,6
/proc/4666/task/4670/stat : 4670 (java) S 4660 4666 665 0 -1 1077944384 3373 0 0 0 264 22 0 0 20 0 15 0 249813512 14429130752 58841 33554432000 4194304 4196468 140733953956832 139790651521936 139790694979285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4671] ppid=4660 vsize=14090948 memory=235364 CPUtime=2.88 cores=0,2,4,6
/proc/4666/task/4671/stat : 4671 (java) S 4660 4666 665 0 -1 1077944384 3485 0 0 0 266 22 0 0 20 0 15 0 249813512 14429130752 58841 33554432000 4194304 4196468 140733953956832 139790650469136 139790694979285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4672] ppid=4660 vsize=14090948 memory=235364 CPUtime=2.86 cores=0,2,4,6
/proc/4666/task/4672/stat : 4672 (java) S 4660 4666 665 0 -1 1077944384 2783 0 0 0 266 20 0 0 20 0 15 0 249813512 14429130752 58841 33554432000 4194304 4196468 140733953956832 139790289136784 139790694979285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4673] ppid=4660 vsize=14090948 memory=235364 CPUtime=2.88 cores=0,2,4,6
/proc/4666/task/4673/stat : 4673 (java) S 4660 4666 665 0 -1 1077944384 2816 0 0 0 269 19 0 0 20 0 15 0 249813512 14429130752 58841 33554432000 4194304 4196468 140733953956832 139790288083984 139790694979285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4676] ppid=4660 vsize=14090948 memory=235364 CPUtime=3.05 cores=0,2,4,6
/proc/4666/task/4676/stat : 4676 (java) S 4660 4666 665 0 -1 1077944384 4696 0 0 0 286 19 0 0 20 0 15 0 249813514 14429130752 58841 33554432000 4194304 4196468 140733953956832 139789808650352 139790694980226 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4677] ppid=4660 vsize=14090948 memory=235364 CPUtime=0 cores=0,2,4,6
/proc/4666/task/4677/stat : 4677 (java) S 4660 4666 665 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 249813514 14429130752 58841 33554432000 4194304 4196468 140733953956832 139789807596384 139790694979285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4678] ppid=4660 vsize=14090948 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/4666/task/4678/stat : 4678 (java) S 4660 4666 665 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 249813514 14429130752 58841 33554432000 4194304 4196468 140733953956832 139789806544000 139790694979285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4685] ppid=4660 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4666/task/4685/stat : 4685 (java) S 4660 4666 665 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249813517 14429130752 58841 33554432000 4194304 4196468 140733953956832 139789805492304 139790694987675 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4686] ppid=4660 vsize=14090948 memory=235364 CPUtime=1.05 cores=0,2,4,6
/proc/4666/task/4686/stat : 4686 (java) S 4660 4666 665 0 -1 1077944384 4663 0 0 0 104 1 0 0 20 0 15 0 249813517 14429130752 58841 33554432000 4194304 4196468 140733953956832 139789804440176 139790694980226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 70 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4687] ppid=4660 vsize=14090948 memory=235364 CPUtime=1.13 cores=0,2,4,6
/proc/4666/task/4687/stat : 4687 (java) S 4660 4666 665 0 -1 1077944384 4659 0 0 0 112 1 0 0 20 0 15 0 249813517 14429130752 58841 33554432000 4194304 4196468 140733953956832 139789803387376 139790694980226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 70 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4688] ppid=4660 vsize=14090948 memory=235364 CPUtime=0.51 cores=0,2,4,6
/proc/4666/task/4688/stat : 4688 (java) S 4660 4666 665 0 -1 1077944384 6142 0 0 0 50 1 0 0 20 0 15 0 249813517 14429130752 58841 33554432000 4194304 4196468 140733953956832 139789802335088 139790694980226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 70 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4689] ppid=4660 vsize=14090948 memory=235364 CPUtime=0 cores=0,2,4,6
/proc/4666/task/4689/stat : 4689 (java) S 4660 4666 665 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249813517 14429130752 58841 33554432000 4194304 4196468 140733953956832 139789801282528 139790694979285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4690] ppid=4660 vsize=14090948 memory=4132 CPUtime=0.73 cores=0,2,4,6
/proc/4666/task/4690/stat : 4690 (java) S 4660 4666 665 0 -1 1077944384 1263 0 0 0 29 44 0 0 20 0 15 0 249813517 14429130752 58841 33554432000 4194304 4196468 140733953956832 139789800229296 139790694980226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 102 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 235364 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2509.51 s]
# the end of solver process 4666 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.79 s, system=1.26768 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2509.5 s]
/proc/loadavg: 1.51 1.37 1.35 3/221 4868
/proc/meminfo: memFree=24341408/32770624 swapFree=67108856/67108860
[pid=4666] ppid=4660 vsize=14090948 memory=235364 CPUtime=2520.03 cores=0,2,4,6
/proc/4666/stat : 4666 (java) S 4660 4666 665 0 -1 1077944320 69439 0 0 0 251877 126 0 0 20 0 15 0 249813511 14429130752 58841 33554432000 4194304 4196468 140733953956832 140733953939376 139790694969079 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
/proc/4666/statm: 3522737 58841 3576 1 0 3484809 0
[pid=4666/tid=4668] ppid=4660 vsize=14090948 memory=235364 CPUtime=2501.97 cores=0,2,4,6
/proc/4666/task/4668/stat : 4668 (java) R 4660 4666 665 0 -1 4202560 34087 0 0 0 250183 14 0 0 20 0 15 0 249813512 14429130752 58841 33554432000 4194304 4196468 140733953956832 139790699207232 139790335375193 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4670] ppid=4660 vsize=14090948 memory=2424 CPUtime=2.86 cores=0,2,4,6
/proc/4666/task/4670/stat : 4670 (java) S 4660 4666 665 0 -1 1077944384 3373 0 0 0 264 22 0 0 20 0 15 0 249813512 14429130752 58841 33554432000 4194304 4196468 140733953956832 139790651521936 139790694979285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4671] ppid=4660 vsize=14090948 memory=235364 CPUtime=2.88 cores=0,2,4,6
/proc/4666/task/4671/stat : 4671 (java) S 4660 4666 665 0 -1 1077944384 3485 0 0 0 266 22 0 0 20 0 15 0 249813512 14429130752 58841 33554432000 4194304 4196468 140733953956832 139790650469136 139790694979285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4672] ppid=4660 vsize=14090948 memory=235364 CPUtime=2.86 cores=0,2,4,6
/proc/4666/task/4672/stat : 4672 (java) S 4660 4666 665 0 -1 1077944384 2783 0 0 0 266 20 0 0 20 0 15 0 249813512 14429130752 58841 33554432000 4194304 4196468 140733953956832 139790289136784 139790694979285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4673] ppid=4660 vsize=14090948 memory=235364 CPUtime=2.88 cores=0,2,4,6
/proc/4666/task/4673/stat : 4673 (java) S 4660 4666 665 0 -1 1077944384 2816 0 0 0 269 19 0 0 20 0 15 0 249813512 14429130752 58841 33554432000 4194304 4196468 140733953956832 139790288083984 139790694979285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4676] ppid=4660 vsize=14090948 memory=235364 CPUtime=3.05 cores=0,2,4,6
/proc/4666/task/4676/stat : 4676 (java) S 4660 4666 665 0 -1 1077944384 4696 0 0 0 286 19 0 0 20 0 15 0 249813514 14429130752 58841 33554432000 4194304 4196468 140733953956832 139789808650352 139790694980226 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4677] ppid=4660 vsize=14090948 memory=235364 CPUtime=0 cores=0,2,4,6
/proc/4666/task/4677/stat : 4677 (java) S 4660 4666 665 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 15 0 249813514 14429130752 58841 33554432000 4194304 4196468 140733953956832 139789807596384 139790694979285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4678] ppid=4660 vsize=14090948 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/4666/task/4678/stat : 4678 (java) S 4660 4666 665 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 15 0 249813514 14429130752 58841 33554432000 4194304 4196468 140733953956832 139789806544000 139790694979285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4685] ppid=4660 vsize=14090948 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4666/task/4685/stat : 4685 (java) S 4660 4666 665 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249813517 14429130752 58841 33554432000 4194304 4196468 140733953956832 139789805492304 139790694987675 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4686] ppid=4660 vsize=14090948 memory=235364 CPUtime=1.05 cores=0,2,4,6
/proc/4666/task/4686/stat : 4686 (java) S 4660 4666 665 0 -1 1077944384 4663 0 0 0 104 1 0 0 20 0 15 0 249813517 14429130752 58841 33554432000 4194304 4196468 140733953956832 139789804440176 139790694980226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 70 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4687] ppid=4660 vsize=14090948 memory=235364 CPUtime=1.13 cores=0,2,4,6
/proc/4666/task/4687/stat : 4687 (java) S 4660 4666 665 0 -1 1077944384 4659 0 0 0 112 1 0 0 20 0 15 0 249813517 14429130752 58841 33554432000 4194304 4196468 140733953956832 139789803387376 139790694980226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 70 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4688] ppid=4660 vsize=14090948 memory=235364 CPUtime=0.51 cores=0,2,4,6
/proc/4666/task/4688/stat : 4688 (java) S 4660 4666 665 0 -1 1077944384 6142 0 0 0 50 1 0 0 20 0 15 0 249813517 14429130752 58841 33554432000 4194304 4196468 140733953956832 139789802335088 139790694980226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 70 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4689] ppid=4660 vsize=14090948 memory=235364 CPUtime=0 cores=0,2,4,6
/proc/4666/task/4689/stat : 4689 (java) S 4660 4666 665 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 249813517 14429130752 58841 33554432000 4194304 4196468 140733953956832 139789801282528 139790694979285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
[pid=4666/tid=4690] ppid=4660 vsize=14090948 memory=4132 CPUtime=0.73 cores=0,2,4,6
/proc/4666/task/4690/stat : 4690 (java) S 4660 4666 665 0 -1 1077944384 1263 0 0 0 29 44 0 0 20 0 15 0 249813517 14429130752 58841 33554432000 4194304 4196468 140733953956832 139789800229296 139790694980226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 102 0 0 6293624 6294260 6979584 140733953958984 140733953959177 140733953959177 140733953961935 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 235364 KiB
Child status: 143
Real time (s): 2509.51
CPU time (s): 2520.06
CPU user time (s): 2518.79
CPU system time (s): 1.26768
CPU usage (%): 100.42
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 235364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.79
system time used= 1.26768
maximum resident set size= 235804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69848
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3032
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 138287
involuntary context switches= 5263
# summary of solver processes directly reported to runsolver:
# pid: 4666
# total CPU time (s): 2520.06
# total CPU user time (s): 2518.79
# total CPU system time (s): 1.26768
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.5497 second user time and 24.3449 second system time
The end