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 (10175 MiB free)
memory of node 1: 16384 MiB (15310 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396529-1568400757/watcher-4396529-1568400757 -o /tmp/evaluation-result-4396529-1568400757/solver-4396529-1568400757 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568394225-5976 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1453630494 HOME/instance-4396529-1568400757.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=6544, runsolver pid=6541
Current StackSize limit: 8192 KiB
[startup+0.101435 s]*
/proc/loadavg: 1.66 1.64 1.61 3/218 6601
/proc/meminfo: memFree=26070128/32770624 swapFree=66977616/67108860
[pid=6544] ppid=6541 vsize=9972712 memory=17080 CPUtime=0.09 cores=1,3,5,7
/proc/6544/stat : 6544 (java) S 6541 6544 5944 0 -1 1077944320 4499 13324 0 0 1 0 5 3 20 0 6 0 416332951 10212057088 4270 33554432000 4194304 4196468 140723074307968 140723074290512 139748809023223 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
/proc/6544/statm: 2493178 4270 1935 1 0 2481616 0
[pid=6544/tid=6597] ppid=6541 vsize=9972712 memory=720575944405811505 CPUtime=0.09 cores=1,3,5,7
/proc/6544/task/6597/stat : 6597 (java) R 6541 6544 5944 0 -1 4202560 2333 13324 0 0 1 0 5 3 20 0 6 0 416332960 10212057088 4270 33554432000 4194304 4196468 140723074307968 139748780859984 139748809045149 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6598] ppid=6541 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6544/task/6598/stat : 6598 (java) S 6541 6544 5944 0 -1 1077944384 1 13324 0 0 0 0 5 3 20 0 6 0 416332961 10212057088 4336 33554432000 4194304 4196468 140723074307968 139748813266064 139748809033429 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6599] ppid=6541 vsize=9972712 memory=15966018613335704 CPUtime=0.08 cores=1,3,5,7
/proc/6544/task/6599/stat : 6599 (java) S 6541 6544 5944 0 -1 1077944384 1 13324 0 0 0 0 5 3 20 0 6 0 416332961 10212057088 4336 33554432000 4194304 4196468 140723074307968 139748712156176 139748809033429 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6600] ppid=6541 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6544/task/6600/stat : 6600 (java) S 6541 6544 5944 0 -1 1077944384 2 13324 0 0 0 0 5 3 20 0 6 0 416332961 10212057088 4336 33554432000 4194304 4196468 140723074307968 139748711103376 139748809033429 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6601] ppid=6541 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6544/task/6601/stat : 6601 (java) S 6541 6544 5944 0 -1 1077944384 2 13324 0 0 0 0 5 3 20 0 6 0 416332961 10212057088 4336 33554432000 4194304 4196468 140723074307968 139748710050576 139748809033429 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17080 KiB
[startup+0.209935 s]*
/proc/loadavg: 1.66 1.64 1.61 4/227 6610
/proc/meminfo: memFree=26054504/32770624 swapFree=66977616/67108860
[pid=6544] ppid=6541 vsize=10819664 memory=39480 CPUtime=0.26 cores=1,3,5,7
/proc/6544/stat : 6544 (java) S 6541 6544 5944 0 -1 1077944320 7173 13324 0 0 17 1 5 3 20 0 15 0 416332951 11079335936 9870 33554432000 4194304 4196468 140723074307968 140723074290512 139748809023223 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
/proc/6544/statm: 2704916 9870 3164 1 0 2667149 0
[pid=6544/tid=6597] ppid=6541 vsize=10819664 memory=729618466009055537 CPUtime=0.2 cores=1,3,5,7
/proc/6544/task/6597/stat : 6597 (java) R 6541 6544 5944 0 -1 4202560 3692 13324 0 0 11 1 5 3 20 0 15 0 416332960 11079335936 9870 33554432000 4194304 4196468 140723074307968 139748780855648 139748793103710 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6598] ppid=6541 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6544/task/6598/stat : 6598 (java) S 6541 6544 5944 0 -1 1077944384 1 13324 0 0 0 0 5 3 20 0 15 0 416332961 11079335936 9870 33554432000 4194304 4196468 140723074307968 139748813266064 139748809033429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6599] ppid=6541 vsize=10819664 memory=15966018613335704 CPUtime=0.08 cores=1,3,5,7
/proc/6544/task/6599/stat : 6599 (java) S 6541 6544 5944 0 -1 1077944384 1 13324 0 0 0 0 5 3 20 0 15 0 416332961 11079335936 9870 33554432000 4194304 4196468 140723074307968 139748712156176 139748809033429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6600] ppid=6541 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6544/task/6600/stat : 6600 (java) S 6541 6544 5944 0 -1 1077944384 2 13324 0 0 0 0 5 3 20 0 15 0 416332961 11079335936 9870 33554432000 4194304 4196468 140723074307968 139748711103376 139748809033429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6601] ppid=6541 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6544/task/6601/stat : 6601 (java) S 6541 6544 5944 0 -1 1077944384 2 13324 0 0 0 0 5 3 20 0 15 0 416332961 11079335936 9870 33554432000 4194304 4196468 140723074307968 139748710050576 139748809033429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6602] ppid=6541 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6544/task/6602/stat : 6602 (java) S 6541 6544 5944 0 -1 1077944384 2 13324 0 0 0 0 5 3 20 0 15 0 416332963 11079335936 9870 33554432000 4194304 4196468 140723074307968 139748268583280 139748809034370 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6603] ppid=6541 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/6544/task/6603/stat : 6603 (java) S 6541 6544 5944 0 -1 1077944384 13 13324 0 0 0 0 5 3 20 0 15 0 416332963 11079335936 9870 33554432000 4194304 4196468 140723074307968 139748169475104 139748809033429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6604] ppid=6541 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6544/task/6604/stat : 6604 (java) S 6541 6544 5944 0 -1 1077944384 1 13324 0 0 0 0 5 3 20 0 15 0 416332963 11079335936 9870 33554432000 4194304 4196468 140723074307968 139747565495152 139748809033429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6605] ppid=6541 vsize=10819664 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6544/task/6605/stat : 6605 (java) S 6541 6544 5944 0 -1 1077944384 3 13324 0 0 0 0 5 3 20 0 15 0 416332966 11079335936 9870 33554432000 4194304 4196468 140723074307968 139747325204304 139748809041819 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6606] ppid=6541 vsize=10819664 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/6544/task/6606/stat : 6606 (java) S 6541 6544 5944 0 -1 1077944384 467 13324 0 0 1 0 5 3 20 0 15 0 416332966 11079335936 9870 33554432000 4194304 4196468 140723074307968 139748267531120 139748809034370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6607] ppid=6541 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/6544/task/6607/stat : 6607 (java) S 6541 6544 5944 0 -1 1077944384 179 13324 0 0 0 0 5 3 20 0 15 0 416332966 11079335936 9870 33554432000 4194304 4196468 140723074307968 139748266478320 139748809034370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6608] ppid=6541 vsize=10819664 memory=140501985056384 CPUtime=0.11 cores=1,3,5,7
/proc/6544/task/6608/stat : 6608 (java) S 6541 6544 5944 0 -1 1077944384 603 13324 0 0 3 0 5 3 20 0 15 0 416332966 11079335936 9870 33554432000 4194304 4196468 140723074307968 139748265425520 139748809034370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6609] ppid=6541 vsize=10819664 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/6544/task/6609/stat : 6609 (java) S 6541 6544 5944 0 -1 1077944384 3 13324 0 0 0 0 5 3 20 0 15 0 416332966 11079335936 9870 33554432000 4194304 4196468 140723074307968 139747291646688 139748809033429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6610] ppid=6541 vsize=10819664 memory=140501985056384 CPUtime=0.08 cores=1,3,5,7
/proc/6544/task/6610/stat : 6610 (java) S 6541 6544 5944 0 -1 1077944384 1 13324 0 0 0 0 5 3 20 0 15 0 416332966 11079335936 9870 33554432000 4194304 4196468 140723074307968 139748264372912 139748809034370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 39480 KiB
[startup+0.310393 s]*
/proc/loadavg: 1.66 1.64 1.61 4/227 6610
/proc/meminfo: memFree=26045104/32770624 swapFree=66977616/67108860
[pid=6544] ppid=6541 vsize=10820148 memory=50612 CPUtime=0.41 cores=1,3,5,7
/proc/6544/stat : 6544 (java) S 6541 6544 5944 0 -1 1077944320 10867 13324 0 0 30 3 5 3 20 0 15 0 416332951 11079831552 12653 33554432000 4194304 4196468 140723074307968 140723074290512 139748809023223 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
/proc/6544/statm: 2705037 12653 3296 1 0 2667149 0
[pid=6544/tid=6597] ppid=6541 vsize=10820148 memory=8317482817917895235 CPUtime=0.29 cores=1,3,5,7
/proc/6544/task/6597/stat : 6597 (java) R 6541 6544 5944 0 -1 4202560 7369 13324 0 0 19 2 5 3 20 0 15 0 416332960 11079831552 12653 33554432000 4194304 4196468 140723074307968 139748780836544 139748793103710 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6598] ppid=6541 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6544/task/6598/stat : 6598 (java) S 6541 6544 5944 0 -1 1077944384 1 13324 0 0 0 0 5 3 20 0 15 0 416332961 11079831552 12653 33554432000 4194304 4196468 140723074307968 139748813266064 139748809033429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6599] ppid=6541 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6544/task/6599/stat : 6599 (java) S 6541 6544 5944 0 -1 1077944384 1 13324 0 0 0 0 5 3 20 0 15 0 416332961 11079831552 12653 33554432000 4194304 4196468 140723074307968 139748712156176 139748809033429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6600] ppid=6541 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6544/task/6600/stat : 6600 (java) S 6541 6544 5944 0 -1 1077944384 2 13324 0 0 0 0 5 3 20 0 15 0 416332961 11079831552 12653 33554432000 4194304 4196468 140723074307968 139748711103376 139748809033429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6601] ppid=6541 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6544/task/6601/stat : 6601 (java) S 6541 6544 5944 0 -1 1077944384 2 13324 0 0 0 0 5 3 20 0 15 0 416332961 11079831552 12653 33554432000 4194304 4196468 140723074307968 139748710050576 139748809033429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6602] ppid=6541 vsize=10820148 memory=140501985056383 CPUtime=0.08 cores=1,3,5,7
/proc/6544/task/6602/stat : 6602 (java) S 6541 6544 5944 0 -1 1077944384 2 13324 0 0 0 0 5 3 20 0 15 0 416332963 11079831552 12653 33554432000 4194304 4196468 140723074307968 139748268583280 139748809034370 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6603] ppid=6541 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/6544/task/6603/stat : 6603 (java) S 6541 6544 5944 0 -1 1077944384 13 13324 0 0 0 0 5 3 20 0 15 0 416332963 11079831552 12653 33554432000 4194304 4196468 140723074307968 139748169475104 139748809033429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6604] ppid=6541 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6544/task/6604/stat : 6604 (java) S 6541 6544 5944 0 -1 1077944384 1 13324 0 0 0 0 5 3 20 0 15 0 416332963 11079831552 12653 33554432000 4194304 4196468 140723074307968 139747565495152 139748809033429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6605] ppid=6541 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6544/task/6605/stat : 6605 (java) S 6541 6544 5944 0 -1 1077944384 3 13324 0 0 0 0 5 3 20 0 15 0 416332966 11079831552 12653 33554432000 4194304 4196468 140723074307968 139747325204304 139748809041819 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6606] ppid=6541 vsize=10820148 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/6544/task/6606/stat : 6606 (java) S 6541 6544 5944 0 -1 1077944384 468 13324 0 0 2 0 5 3 20 0 15 0 416332966 11079831552 12653 33554432000 4194304 4196468 140723074307968 139748267531120 139748809034370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6607] ppid=6541 vsize=10820148 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/6544/task/6607/stat : 6607 (java) S 6541 6544 5944 0 -1 1077944384 188 13324 0 0 1 0 5 3 20 0 15 0 416332966 11079831552 12653 33554432000 4194304 4196468 140723074307968 139748266478320 139748809034370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6608] ppid=6541 vsize=10820148 memory=140501985056384 CPUtime=0.13 cores=1,3,5,7
/proc/6544/task/6608/stat : 6608 (java) S 6541 6544 5944 0 -1 1077944384 612 13324 0 0 5 0 5 3 20 0 15 0 416332966 11079831552 12653 33554432000 4194304 4196468 140723074307968 139748265425520 139748809034370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6609] ppid=6541 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/6544/task/6609/stat : 6609 (java) S 6541 6544 5944 0 -1 1077944384 3 13324 0 0 0 0 5 3 20 0 15 0 416332966 11079831552 12653 33554432000 4194304 4196468 140723074307968 139747291646688 139748809033429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6610] ppid=6541 vsize=10820148 memory=140501985056384 CPUtime=0.08 cores=1,3,5,7
/proc/6544/task/6610/stat : 6610 (java) S 6541 6544 5944 0 -1 1077944384 1 13324 0 0 0 0 5 3 20 0 15 0 416332966 11079831552 12653 33554432000 4194304 4196468 140723074307968 139748264372912 139748809034370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 50612 KiB
[startup+0.700682 s]
/proc/loadavg: 1.66 1.64 1.61 3/227 6610
/proc/meminfo: memFree=26036120/32770624 swapFree=66977616/67108860
[pid=6544] ppid=6541 vsize=10824360 memory=83220 CPUtime=1.11 cores=1,3,5,7
/proc/6544/stat : 6544 (java) S 6541 6544 5944 0 -1 1077944320 15035 13324 0 0 97 6 5 3 20 0 15 0 416332951 11084144640 20805 33554432000 4194304 4196468 140723074307968 140723074290512 139748809023223 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
/proc/6544/statm: 2706090 20805 3506 1 0 2668173 0
[pid=6544/tid=6597] ppid=6541 vsize=10824360 memory=7810487918915055718 CPUtime=0.67 cores=1,3,5,7
/proc/6544/task/6597/stat : 6597 (java) R 6541 6544 5944 0 -1 4202560 10396 13324 0 0 55 4 5 3 20 0 15 0 416332960 11084144640 20805 33554432000 4194304 4196468 140723074307968 139748780842848 139748809045149 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6598] ppid=6541 vsize=10824360 memory=1428 CPUtime=0.08 cores=1,3,5,7
/proc/6544/task/6598/stat : 6598 (java) S 6541 6544 5944 0 -1 1077944384 1 13324 0 0 0 0 5 3 20 0 15 0 416332961 11084144640 20805 33554432000 4194304 4196468 140723074307968 139748813266064 139748809033429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6599] ppid=6541 vsize=10824360 memory=1724 CPUtime=0.08 cores=1,3,5,7
/proc/6544/task/6599/stat : 6599 (java) S 6541 6544 5944 0 -1 1077944384 1 13324 0 0 0 0 5 3 20 0 15 0 416332961 11084144640 20805 33554432000 4194304 4196468 140723074307968 139748712156176 139748809033429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6600] ppid=6541 vsize=10824360 memory=4580 CPUtime=0.08 cores=1,3,5,7
/proc/6544/task/6600/stat : 6600 (java) S 6541 6544 5944 0 -1 1077944384 2 13324 0 0 0 0 5 3 20 0 15 0 416332961 11084144640 20845 33554432000 4194304 4196468 140723074307968 139748711103376 139748809033429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6601] ppid=6541 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6544/task/6601/stat : 6601 (java) S 6541 6544 5944 0 -1 1077944384 2 13324 0 0 0 0 5 3 20 0 15 0 416332961 11084144640 20845 33554432000 4194304 4196468 140723074307968 139748710050576 139748809033429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6602] ppid=6541 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6544/task/6602/stat : 6602 (java) S 6541 6544 5944 0 -1 1077944384 5 13324 0 0 0 0 5 3 20 0 15 0 416332963 11084144640 20845 33554432000 4194304 4196468 140723074307968 139748268583280 139748809034370 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6603] ppid=6541 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6544/task/6603/stat : 6603 (java) S 6541 6544 5944 0 -1 1077944384 13 13324 0 0 0 0 5 3 20 0 15 0 416332963 11084144640 20845 33554432000 4194304 4196468 140723074307968 139748169475104 139748809033429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6604] ppid=6541 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6544/task/6604/stat : 6604 (java) S 6541 6544 5944 0 -1 1077944384 1 13324 0 0 0 0 5 3 20 0 15 0 416332963 11084144640 20845 33554432000 4194304 4196468 140723074307968 139747565495152 139748809033429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6605] ppid=6541 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6544/task/6605/stat : 6605 (java) S 6541 6544 5944 0 -1 1077944384 3 13324 0 0 0 0 5 3 20 0 15 0 416332966 11084144640 20845 33554432000 4194304 4196468 140723074307968 139747325204304 139748809041819 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6606] ppid=6541 vsize=10824360 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/6544/task/6606/stat : 6606 (java) S 6541 6544 5944 0 -1 1077944384 948 13324 0 0 11 0 5 3 20 0 15 0 416332966 11084144640 20845 33554432000 4194304 4196468 140723074307968 139748267531120 139748809034370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6607] ppid=6541 vsize=10824360 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/6544/task/6607/stat : 6607 (java) S 6541 6544 5944 0 -1 1077944384 637 13324 0 0 12 0 5 3 20 0 15 0 416332966 11084144640 20845 33554432000 4194304 4196468 140723074307968 139748266478320 139748809034370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6608] ppid=6541 vsize=10824360 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/6544/task/6608/stat : 6608 (java) S 6541 6544 5944 0 -1 1077944384 817 13324 0 0 17 0 5 3 20 0 15 0 416332966 11084144640 20845 33554432000 4194304 4196468 140723074307968 139748265425520 139748809034370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6609] ppid=6541 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6544/task/6609/stat : 6609 (java) S 6541 6544 5944 0 -1 1077944384 3 13324 0 0 0 0 5 3 20 0 15 0 416332966 11084144640 20845 33554432000 4194304 4196468 140723074307968 139747291646688 139748809033429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6610] ppid=6541 vsize=10824360 memory=3616 CPUtime=0.08 cores=1,3,5,7
/proc/6544/task/6610/stat : 6610 (java) S 6541 6544 5944 0 -1 1077944384 1 13324 0 0 0 0 5 3 20 0 15 0 416332966 11084144640 20845 33554432000 4194304 4196468 140723074307968 139748264372912 139748809034370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 83220 KiB
[startup+1.50077 s]
/proc/loadavg: 1.66 1.64 1.61 5/227 6610
/proc/meminfo: memFree=25970180/32770624 swapFree=66977616/67108860
[pid=6544] ppid=6541 vsize=10832628 memory=246880 CPUtime=2.85 cores=1,3,5,7
/proc/6544/stat : 6544 (java) S 6541 6544 5944 0 -1 1077944320 23183 13324 0 0 264 13 5 3 20 0 15 0 416332951 11092611072 61720 33554432000 4194304 4196468 140723074307968 140723074290512 139748809023223 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
/proc/6544/statm: 2708157 61720 3586 1 0 2670221 0
[pid=6544/tid=6597] ppid=6541 vsize=10832628 memory=140501869138520 CPUtime=1.43 cores=1,3,5,7
/proc/6544/task/6597/stat : 6597 (java) R 6541 6544 5944 0 -1 4202560 15074 13324 0 0 128 7 5 3 20 0 15 0 416332960 11092611072 61720 33554432000 4194304 4196468 140723074307968 139748780856128 139748795272330 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6598] ppid=6541 vsize=10832628 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/6544/task/6598/stat : 6598 (java) S 6541 6544 5944 0 -1 1077944384 61 13324 0 0 1 0 5 3 20 0 15 0 416332961 11092611072 61720 33554432000 4194304 4196468 140723074307968 139748813266064 139748809033429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6599] ppid=6541 vsize=10832628 memory=6628 CPUtime=0.09 cores=1,3,5,7
/proc/6544/task/6599/stat : 6599 (java) S 6541 6544 5944 0 -1 1077944384 23 13324 0 0 1 0 5 3 20 0 15 0 416332961 11092611072 61720 33554432000 4194304 4196468 140723074307968 139748712156176 139748809033429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6600] ppid=6541 vsize=10832628 memory=8 CPUtime=0.09 cores=1,3,5,7
/proc/6544/task/6600/stat : 6600 (java) S 6541 6544 5944 0 -1 1077944384 256 13324 0 0 1 0 5 3 20 0 15 0 416332961 11092611072 61720 33554432000 4194304 4196468 140723074307968 139748711103376 139748809033429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6601] ppid=6541 vsize=10832628 memory=281003738683808 CPUtime=0.09 cores=1,3,5,7
/proc/6544/task/6601/stat : 6601 (java) S 6541 6544 5944 0 -1 1077944384 85 13324 0 0 1 0 5 3 20 0 15 0 416332961 11092611072 61720 33554432000 4194304 4196468 140723074307968 139748710050576 139748809033429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6602] ppid=6541 vsize=10832628 memory=168594646250326 CPUtime=0.09 cores=1,3,5,7
/proc/6544/task/6602/stat : 6602 (java) S 6541 6544 5944 0 -1 1077944384 1066 13324 0 0 1 0 5 3 20 0 15 0 416332963 11092611072 61720 33554432000 4194304 4196468 140723074307968 139748268583280 139748809034370 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6603] ppid=6541 vsize=10832628 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6544/task/6603/stat : 6603 (java) S 6541 6544 5944 0 -1 1077944384 14 13324 0 0 0 0 5 3 20 0 15 0 416332963 11092611072 61720 33554432000 4194304 4196468 140723074307968 139748169475168 139748809033429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6604] ppid=6541 vsize=10832628 memory=6011696181542810418 CPUtime=0.08 cores=1,3,5,7
/proc/6544/task/6604/stat : 6604 (java) S 6541 6544 5944 0 -1 1077944384 3 13324 0 0 0 0 5 3 20 0 15 0 416332963 11092611072 61720 33554432000 4194304 4196468 140723074307968 139747565495168 139748809033429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6605] ppid=6541 vsize=10832628 memory=-8412660965132101773 CPUtime=0.08 cores=1,3,5,7
/proc/6544/task/6605/stat : 6605 (java) S 6541 6544 5944 0 -1 1077944384 3 13324 0 0 0 0 5 3 20 0 15 0 416332966 11092611072 61720 33554432000 4194304 4196468 140723074307968 139747325204304 139748809041819 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6606] ppid=6541 vsize=10832628 memory=-7668917182949848256 CPUtime=0.52 cores=1,3,5,7
/proc/6544/task/6606/stat : 6606 (java) S 6541 6544 5944 0 -1 1077944384 1739 13324 0 0 43 1 5 3 20 0 15 0 416332966 11092611072 61720 33554432000 4194304 4196468 140723074307968 139748267531120 139748809034370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6607] ppid=6541 vsize=10832628 memory=8514726395714956677 CPUtime=0.55 cores=1,3,5,7
/proc/6544/task/6607/stat : 6607 (java) S 6541 6544 5944 0 -1 1077944384 1040 13324 0 0 47 0 5 3 20 0 15 0 416332966 11092611072 61720 33554432000 4194304 4196468 140723074307968 139748266478320 139748809034370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6608] ppid=6541 vsize=10832628 memory=-8995268955501401461 CPUtime=0.45 cores=1,3,5,7
/proc/6544/task/6608/stat : 6608 (java) S 6541 6544 5944 0 -1 1077944384 1608 13324 0 0 37 0 5 3 20 0 15 0 416332966 11092611072 61720 33554432000 4194304 4196468 140723074307968 139748265425520 139748809034370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6609] ppid=6541 vsize=10832628 memory=4283920778551074714 CPUtime=0.08 cores=1,3,5,7
/proc/6544/task/6609/stat : 6609 (java) S 6541 6544 5944 0 -1 1077944384 3 13324 0 0 0 0 5 3 20 0 15 0 416332966 11092611072 61720 33554432000 4194304 4196468 140723074307968 139747291646688 139748809033429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6610] ppid=6541 vsize=10832628 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/6544/task/6610/stat : 6610 (java) S 6541 6544 5944 0 -1 1077944384 3 13324 0 0 0 0 5 3 20 0 15 0 416332966 11092611072 61720 33554432000 4194304 4196468 140723074307968 139748264372912 139748809034370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
Current children cumulated CPU time: 2.85 s
Current children cumulated vsize: 10832628 KiB
################
# More data... #
################
/proc/6544/task/6597/stat : 6597 (java) R 6541 6544 5944 0 -1 4202560 128245 13324 0 0 224662 65 5 3 20 0 15 0 416332960 11109408768 631288 33554432000 4194304 4196468 140723074307968 139748780859168 139748394024099 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6598] ppid=6541 vsize=10849032 memory=2525152 CPUtime=8.21 cores=1,3,5,7
/proc/6544/task/6598/stat : 6598 (java) S 6541 6544 5944 0 -1 1077944384 37626 13324 0 0 779 34 5 3 20 0 15 0 416332961 11109408768 631288 33554432000 4194304 4196468 140723074307968 139748813266064 139748809033429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6599] ppid=6541 vsize=10849032 memory=2525152 CPUtime=8.24 cores=1,3,5,7
/proc/6544/task/6599/stat : 6599 (java) S 6541 6544 5944 0 -1 1077944384 43277 13324 0 0 780 36 5 3 20 0 15 0 416332961 11109408768 631288 33554432000 4194304 4196468 140723074307968 139748712156176 139748809033429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6600] ppid=6541 vsize=10849032 memory=2525152 CPUtime=8.18 cores=1,3,5,7
/proc/6544/task/6600/stat : 6600 (java) S 6541 6544 5944 0 -1 1077944384 31966 13324 0 0 777 33 5 3 20 0 15 0 416332961 11109408768 631288 33554432000 4194304 4196468 140723074307968 139748711103376 139748809033429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6601] ppid=6541 vsize=10849032 memory=2525152 CPUtime=8.22 cores=1,3,5,7
/proc/6544/task/6601/stat : 6601 (java) S 6541 6544 5944 0 -1 1077944384 37224 13324 0 0 778 36 5 3 20 0 15 0 416332961 11109408768 631288 33554432000 4194304 4196468 140723074307968 139748710050576 139748809033429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6602] ppid=6541 vsize=10849032 memory=3272 CPUtime=4.99 cores=1,3,5,7
/proc/6544/task/6602/stat : 6602 (java) S 6541 6544 5944 0 -1 1077944384 29584 13324 0 0 462 29 5 3 20 0 15 0 416332963 11109408768 631288 33554432000 4194304 4196468 140723074307968 139748268583280 139748809034370 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6603] ppid=6541 vsize=10849032 memory=1861624 CPUtime=0.08 cores=1,3,5,7
/proc/6544/task/6603/stat : 6603 (java) S 6541 6544 5944 0 -1 1077944384 22 13324 0 0 0 0 5 3 20 0 15 0 416332963 11109408768 631288 33554432000 4194304 4196468 140723074307968 139748169475232 139748809033429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6604] ppid=6541 vsize=10849032 memory=2525152 CPUtime=0.08 cores=1,3,5,7
/proc/6544/task/6604/stat : 6604 (java) S 6541 6544 5944 0 -1 1077944384 26 13324 0 0 0 0 5 3 20 0 15 0 416332963 11109408768 631288 33554432000 4194304 4196468 140723074307968 139747565495328 139748809033429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6605] ppid=6541 vsize=10849032 memory=2525152 CPUtime=0.08 cores=1,3,5,7
/proc/6544/task/6605/stat : 6605 (java) S 6541 6544 5944 0 -1 1077944384 3 13324 0 0 0 0 5 3 20 0 15 0 416332966 11109408768 631288 33554432000 4194304 4196468 140723074307968 139747325204304 139748809041819 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6606] ppid=6541 vsize=10849032 memory=2525152 CPUtime=5.62 cores=1,3,5,7
/proc/6544/task/6606/stat : 6606 (java) S 6541 6544 5944 0 -1 1077944384 36716 13324 0 0 549 5 5 3 20 0 15 0 416332966 11109408768 631288 33554432000 4194304 4196468 140723074307968 139748267531120 139748809034370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6607] ppid=6541 vsize=10849032 memory=2525152 CPUtime=5.06 cores=1,3,5,7
/proc/6544/task/6607/stat : 6607 (java) S 6541 6544 5944 0 -1 1077944384 30808 13324 0 0 494 4 5 3 20 0 15 0 416332966 11109408768 631288 33554432000 4194304 4196468 140723074307968 139748266478320 139748809034370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6608] ppid=6541 vsize=10849032 memory=40412 CPUtime=2.06 cores=1,3,5,7
/proc/6544/task/6608/stat : 6608 (java) S 6541 6544 5944 0 -1 1077944384 21542 13324 0 0 194 4 5 3 20 0 15 0 416332966 11109408768 631288 33554432000 4194304 4196468 140723074307968 139748265425520 139748809034370 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6609] ppid=6541 vsize=10849032 memory=2525152 CPUtime=0.08 cores=1,3,5,7
/proc/6544/task/6609/stat : 6609 (java) S 6541 6544 5944 0 -1 1077944384 3 13324 0 0 0 0 5 3 20 0 15 0 416332966 11109408768 631288 33554432000 4194304 4196468 140723074307968 139747291646688 139748809033429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6610] ppid=6541 vsize=10849032 memory=1556 CPUtime=1.36 cores=1,3,5,7
/proc/6544/task/6610/stat : 6610 (java) S 6541 6544 5944 0 -1 1077944384 2343 13324 0 0 57 71 5 3 20 0 15 0 416332966 11109408768 631288 33554432000 4194304 4196468 140723074307968 139748264372912 139748809034370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
Current children cumulated CPU time: 2298.7 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 2525152 KiB
[startup+2322.3 s]
/proc/loadavg: 1.14 1.25 1.33 3/227 6976
/proc/meminfo: memFree=22471312/32770624 swapFree=66977616/67108860
[pid=6544] ppid=6541 vsize=10849032 memory=2525208 CPUtime=2359.62 cores=1,3,5,7
/proc/6544/stat : 6544 (java) S 6541 6544 5944 0 -1 1077944320 406285 13324 0 0 235657 297 5 3 20 0 15 0 416332951 11109408768 631302 33554432000 4194304 4196468 140723074307968 140723074290512 139748809023223 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
/proc/6544/statm: 2712258 631302 3628 1 0 2674317 0
[pid=6544/tid=6597] ppid=6541 vsize=10849032 memory=2525208 CPUtime=2306.8 cores=1,3,5,7
/proc/6544/task/6597/stat : 6597 (java) R 6541 6544 5944 0 -1 4202560 129829 13324 0 0 230606 66 5 3 20 0 15 0 416332960 11109408768 631302 33554432000 4194304 4196468 140723074307968 139748780847696 139748403487845 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6598] ppid=6541 vsize=10849032 memory=2525208 CPUtime=8.52 cores=1,3,5,7
/proc/6544/task/6598/stat : 6598 (java) S 6541 6544 5944 0 -1 1077944384 38313 13324 0 0 809 35 5 3 20 0 15 0 416332961 11109408768 631302 33554432000 4194304 4196468 140723074307968 139748813266064 139748809033429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6599] ppid=6541 vsize=10849032 memory=0 CPUtime=8.54 cores=1,3,5,7
/proc/6544/task/6599/stat : 6599 (java) S 6541 6544 5944 0 -1 1077944384 43548 13324 0 0 809 37 5 3 20 0 15 0 416332961 11109408768 631302 33554432000 4194304 4196468 140723074307968 139748712156176 139748809033429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6600] ppid=6541 vsize=10849032 memory=2525208 CPUtime=8.49 cores=1,3,5,7
/proc/6544/task/6600/stat : 6600 (java) S 6541 6544 5944 0 -1 1077944384 32540 13324 0 0 807 34 5 3 20 0 15 0 416332961 11109408768 631302 33554432000 4194304 4196468 140723074307968 139748711103376 139748809033429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6601] ppid=6541 vsize=10849032 memory=2525208 CPUtime=8.54 cores=1,3,5,7
/proc/6544/task/6601/stat : 6601 (java) S 6541 6544 5944 0 -1 1077944384 37339 13324 0 0 808 38 5 3 20 0 15 0 416332961 11109408768 631302 33554432000 4194304 4196468 140723074307968 139748710050576 139748809033429 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6602] ppid=6541 vsize=10849032 memory=2525208 CPUtime=5.18 cores=1,3,5,7
/proc/6544/task/6602/stat : 6602 (java) S 6541 6544 5944 0 -1 1077944384 30165 13324 0 0 480 30 5 3 20 0 15 0 416332963 11109408768 631302 33554432000 4194304 4196468 140723074307968 139748268583280 139748809034370 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6603] ppid=6541 vsize=10849032 memory=2525208 CPUtime=0.08 cores=1,3,5,7
/proc/6544/task/6603/stat : 6603 (java) S 6541 6544 5944 0 -1 1077944384 22 13324 0 0 0 0 5 3 20 0 15 0 416332963 11109408768 631302 33554432000 4194304 4196468 140723074307968 139748169475232 139748809033429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6604] ppid=6541 vsize=10849032 memory=2525208 CPUtime=0.08 cores=1,3,5,7
/proc/6544/task/6604/stat : 6604 (java) S 6541 6544 5944 0 -1 1077944384 26 13324 0 0 0 0 5 3 20 0 15 0 416332963 11109408768 631302 33554432000 4194304 4196468 140723074307968 139747565495328 139748809033429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6605] ppid=6541 vsize=10849032 memory=2525208 CPUtime=0.08 cores=1,3,5,7
/proc/6544/task/6605/stat : 6605 (java) S 6541 6544 5944 0 -1 1077944384 3 13324 0 0 0 0 5 3 20 0 15 0 416332966 11109408768 631302 33554432000 4194304 4196468 140723074307968 139747325204304 139748809041819 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6606] ppid=6541 vsize=10849032 memory=2525208 CPUtime=5.64 cores=1,3,5,7
/proc/6544/task/6606/stat : 6606 (java) S 6541 6544 5944 0 -1 1077944384 37254 13324 0 0 551 5 5 3 20 0 15 0 416332966 11109408768 631302 33554432000 4194304 4196468 140723074307968 139748267531120 139748809034370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6607] ppid=6541 vsize=10849032 memory=21380 CPUtime=5.06 cores=1,3,5,7
/proc/6544/task/6607/stat : 6607 (java) S 6541 6544 5944 0 -1 1077944384 31109 13324 0 0 494 4 5 3 20 0 15 0 416332966 11109408768 631302 33554432000 4194304 4196468 140723074307968 139748266478320 139748809034370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6608] ppid=6541 vsize=10849032 memory=2120 CPUtime=2.06 cores=1,3,5,7
/proc/6544/task/6608/stat : 6608 (java) S 6541 6544 5944 0 -1 1077944384 21548 13324 0 0 194 4 5 3 20 0 15 0 416332966 11109408768 631302 33554432000 4194304 4196468 140723074307968 139748265425520 139748809034370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6609] ppid=6541 vsize=10849032 memory=2525208 CPUtime=0.08 cores=1,3,5,7
/proc/6544/task/6609/stat : 6609 (java) S 6541 6544 5944 0 -1 1077944384 3 13324 0 0 0 0 5 3 20 0 15 0 416332966 11109408768 631302 33554432000 4194304 4196468 140723074307968 139747291646688 139748809033429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6610] ppid=6541 vsize=10849032 memory=40432 CPUtime=1.4 cores=1,3,5,7
/proc/6544/task/6610/stat : 6610 (java) S 6541 6544 5944 0 -1 1077944384 2381 13324 0 0 59 73 5 3 20 0 15 0 416332966 11109408768 631302 33554432000 4194304 4196468 140723074307968 139748264372912 139748809034370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
Current children cumulated CPU time: 2359.62 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 2525208 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2362.11 s]
/proc/loadavg: 1.27 1.28 1.33 3/227 6979
/proc/meminfo: memFree=22471208/32770624 swapFree=66977616/67108860
[pid=6544] ppid=6541 vsize=10849032 memory=2525260 CPUtime=2400.07 cores=1,3,5,7
/proc/6544/stat : 6544 (java) S 6541 6544 5944 0 -1 1077944320 409001 13324 0 0 239697 302 5 3 20 0 15 0 416332951 11109408768 631315 33554432000 4194304 4196468 140723074307968 140723074290512 139748809023223 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
/proc/6544/statm: 2712258 631315 3628 1 0 2674317 0
[pid=6544/tid=6597] ppid=6541 vsize=10849032 memory=8 CPUtime=2346.23 cores=1,3,5,7
/proc/6544/task/6597/stat : 6597 (java) R 6541 6544 5944 0 -1 4202560 130833 13324 0 0 234548 67 5 3 20 0 15 0 416332960 11109408768 631315 33554432000 4194304 4196468 140723074307968 139748780857936 139748403469191 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6598] ppid=6541 vsize=10849032 memory=2525260 CPUtime=8.74 cores=1,3,5,7
/proc/6544/task/6598/stat : 6598 (java) S 6541 6544 5944 0 -1 1077944384 38858 13324 0 0 830 36 5 3 20 0 15 0 416332961 11109408768 631315 33554432000 4194304 4196468 140723074307968 139748813266064 139748809033429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6599] ppid=6541 vsize=10849032 memory=2525260 CPUtime=8.75 cores=1,3,5,7
/proc/6544/task/6599/stat : 6599 (java) S 6541 6544 5944 0 -1 1077944384 43890 13324 0 0 830 37 5 3 20 0 15 0 416332961 11109408768 631315 33554432000 4194304 4196468 140723074307968 139748712156176 139748809033429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6600] ppid=6541 vsize=10849032 memory=2525232 CPUtime=8.71 cores=1,3,5,7
/proc/6544/task/6600/stat : 6600 (java) S 6541 6544 5944 0 -1 1077944384 32634 13324 0 0 828 35 5 3 20 0 15 0 416332961 11109408768 631315 33554432000 4194304 4196468 140723074307968 139748711103376 139748809033429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6601] ppid=6541 vsize=10849032 memory=2525260 CPUtime=8.75 cores=1,3,5,7
/proc/6544/task/6601/stat : 6601 (java) S 6541 6544 5944 0 -1 1077944384 37638 13324 0 0 828 39 5 3 20 0 15 0 416332961 11109408768 631315 33554432000 4194304 4196468 140723074307968 139748710050576 139748809033429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6602] ppid=6541 vsize=10849032 memory=2525260 CPUtime=5.31 cores=1,3,5,7
/proc/6544/task/6602/stat : 6602 (java) S 6541 6544 5944 0 -1 1077944384 30572 13324 0 0 493 30 5 3 20 0 15 0 416332963 11109408768 631315 33554432000 4194304 4196468 140723074307968 139748268583280 139748809034370 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6603] ppid=6541 vsize=10849032 memory=2525260 CPUtime=0.08 cores=1,3,5,7
/proc/6544/task/6603/stat : 6603 (java) S 6541 6544 5944 0 -1 1077944384 22 13324 0 0 0 0 5 3 20 0 15 0 416332963 11109408768 631315 33554432000 4194304 4196468 140723074307968 139748169475232 139748809033429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6604] ppid=6541 vsize=10849032 memory=2522988 CPUtime=0.08 cores=1,3,5,7
/proc/6544/task/6604/stat : 6604 (java) S 6541 6544 5944 0 -1 1077944384 26 13324 0 0 0 0 5 3 20 0 15 0 416332963 11109408768 631315 33554432000 4194304 4196468 140723074307968 139747565495328 139748809033429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6605] ppid=6541 vsize=10849032 memory=2525232 CPUtime=0.08 cores=1,3,5,7
/proc/6544/task/6605/stat : 6605 (java) S 6541 6544 5944 0 -1 1077944384 3 13324 0 0 0 0 5 3 20 0 15 0 416332966 11109408768 631315 33554432000 4194304 4196468 140723074307968 139747325204304 139748809041819 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6606] ppid=6541 vsize=10849032 memory=1112 CPUtime=5.64 cores=1,3,5,7
/proc/6544/task/6606/stat : 6606 (java) S 6541 6544 5944 0 -1 1077944384 37256 13324 0 0 551 5 5 3 20 0 15 0 416332966 11109408768 631315 33554432000 4194304 4196468 140723074307968 139748267531120 139748809034370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6607] ppid=6541 vsize=10849032 memory=8112282956445269571 CPUtime=5.06 cores=1,3,5,7
/proc/6544/task/6607/stat : 6607 (java) S 6541 6544 5944 0 -1 1077944384 31111 13324 0 0 494 4 5 3 20 0 15 0 416332966 11109408768 631315 33554432000 4194304 4196468 140723074307968 139748266478320 139748809034370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6608] ppid=6541 vsize=10849032 memory=988 CPUtime=2.06 cores=1,3,5,7
/proc/6544/task/6608/stat : 6608 (java) S 6541 6544 5944 0 -1 1077944384 21550 13324 0 0 194 4 5 3 20 0 15 0 416332966 11109408768 631315 33554432000 4194304 4196468 140723074307968 139748265425520 139748809034370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6609] ppid=6541 vsize=10849032 memory=-6079413513306267537 CPUtime=0.08 cores=1,3,5,7
/proc/6544/task/6609/stat : 6609 (java) S 6541 6544 5944 0 -1 1077944384 3 13324 0 0 0 0 5 3 20 0 15 0 416332966 11109408768 631315 33554432000 4194304 4196468 140723074307968 139747291646688 139748809033429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6610] ppid=6541 vsize=10849032 memory=-7306664164571045025 CPUtime=1.43 cores=1,3,5,7
/proc/6544/task/6610/stat : 6610 (java) S 6541 6544 5944 0 -1 1077944384 2400 13324 0 0 60 75 5 3 20 0 15 0 416332966 11109408768 631315 33554432000 4194304 4196468 140723074307968 139748264372912 139748809034370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 2525260 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2362.14 s]
# the end of solver process 6544 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2397.05 s, system=3.06817 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2362.11 s]
/proc/loadavg: 1.27 1.28 1.33 3/227 6979
/proc/meminfo: memFree=22471208/32770624 swapFree=66977616/67108860
[pid=6544] ppid=6541 vsize=10849032 memory=2525260 CPUtime=2400.07 cores=1,3,5,7
/proc/6544/stat : 6544 (java) S 6541 6544 5944 0 -1 1077944320 409001 13324 0 0 239697 302 5 3 20 0 15 0 416332951 11109408768 631315 33554432000 4194304 4196468 140723074307968 140723074290512 139748809023223 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
/proc/6544/statm: 2712258 631315 3628 1 0 2674317 0
[pid=6544/tid=6597] ppid=6541 vsize=10849032 memory=8 CPUtime=2346.23 cores=1,3,5,7
/proc/6544/task/6597/stat : 6597 (java) R 6541 6544 5944 0 -1 4202560 130833 13324 0 0 234548 67 5 3 20 0 15 0 416332960 11109408768 631315 33554432000 4194304 4196468 140723074307968 139748780857936 139748403469191 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6598] ppid=6541 vsize=10849032 memory=2525260 CPUtime=8.74 cores=1,3,5,7
/proc/6544/task/6598/stat : 6598 (java) S 6541 6544 5944 0 -1 1077944384 38858 13324 0 0 830 36 5 3 20 0 15 0 416332961 11109408768 631315 33554432000 4194304 4196468 140723074307968 139748813266064 139748809033429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6599] ppid=6541 vsize=10849032 memory=2525260 CPUtime=8.75 cores=1,3,5,7
/proc/6544/task/6599/stat : 6599 (java) S 6541 6544 5944 0 -1 1077944384 43890 13324 0 0 830 37 5 3 20 0 15 0 416332961 11109408768 631315 33554432000 4194304 4196468 140723074307968 139748712156176 139748809033429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6600] ppid=6541 vsize=10849032 memory=2525232 CPUtime=8.71 cores=1,3,5,7
/proc/6544/task/6600/stat : 6600 (java) S 6541 6544 5944 0 -1 1077944384 32634 13324 0 0 828 35 5 3 20 0 15 0 416332961 11109408768 631315 33554432000 4194304 4196468 140723074307968 139748711103376 139748809033429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6601] ppid=6541 vsize=10849032 memory=2525260 CPUtime=8.75 cores=1,3,5,7
/proc/6544/task/6601/stat : 6601 (java) S 6541 6544 5944 0 -1 1077944384 37638 13324 0 0 828 39 5 3 20 0 15 0 416332961 11109408768 631315 33554432000 4194304 4196468 140723074307968 139748710050576 139748809033429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6602] ppid=6541 vsize=10849032 memory=2525260 CPUtime=5.31 cores=1,3,5,7
/proc/6544/task/6602/stat : 6602 (java) S 6541 6544 5944 0 -1 1077944384 30572 13324 0 0 493 30 5 3 20 0 15 0 416332963 11109408768 631315 33554432000 4194304 4196468 140723074307968 139748268583280 139748809034370 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6603] ppid=6541 vsize=10849032 memory=2525260 CPUtime=0.08 cores=1,3,5,7
/proc/6544/task/6603/stat : 6603 (java) S 6541 6544 5944 0 -1 1077944384 22 13324 0 0 0 0 5 3 20 0 15 0 416332963 11109408768 631315 33554432000 4194304 4196468 140723074307968 139748169475232 139748809033429 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6604] ppid=6541 vsize=10849032 memory=2522988 CPUtime=0.08 cores=1,3,5,7
/proc/6544/task/6604/stat : 6604 (java) S 6541 6544 5944 0 -1 1077944384 26 13324 0 0 0 0 5 3 20 0 15 0 416332963 11109408768 631315 33554432000 4194304 4196468 140723074307968 139747565495328 139748809033429 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6605] ppid=6541 vsize=10849032 memory=2525232 CPUtime=0.08 cores=1,3,5,7
/proc/6544/task/6605/stat : 6605 (java) S 6541 6544 5944 0 -1 1077944384 3 13324 0 0 0 0 5 3 20 0 15 0 416332966 11109408768 631315 33554432000 4194304 4196468 140723074307968 139747325204304 139748809041819 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6606] ppid=6541 vsize=10849032 memory=1112 CPUtime=5.64 cores=1,3,5,7
/proc/6544/task/6606/stat : 6606 (java) S 6541 6544 5944 0 -1 1077944384 37256 13324 0 0 551 5 5 3 20 0 15 0 416332966 11109408768 631315 33554432000 4194304 4196468 140723074307968 139748267531120 139748809034370 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6607] ppid=6541 vsize=10849032 memory=8112282956445269571 CPUtime=5.06 cores=1,3,5,7
/proc/6544/task/6607/stat : 6607 (java) S 6541 6544 5944 0 -1 1077944384 31111 13324 0 0 494 4 5 3 20 0 15 0 416332966 11109408768 631315 33554432000 4194304 4196468 140723074307968 139748266478320 139748809034370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6608] ppid=6541 vsize=10849032 memory=988 CPUtime=2.06 cores=1,3,5,7
/proc/6544/task/6608/stat : 6608 (java) S 6541 6544 5944 0 -1 1077944384 21550 13324 0 0 194 4 5 3 20 0 15 0 416332966 11109408768 631315 33554432000 4194304 4196468 140723074307968 139748265425520 139748809034370 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6609] ppid=6541 vsize=10849032 memory=-6079413513306267537 CPUtime=0.08 cores=1,3,5,7
/proc/6544/task/6609/stat : 6609 (java) S 6541 6544 5944 0 -1 1077944384 3 13324 0 0 0 0 5 3 20 0 15 0 416332966 11109408768 631315 33554432000 4194304 4196468 140723074307968 139747291646688 139748809033429 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
[pid=6544/tid=6610] ppid=6541 vsize=10849032 memory=-7306664164571045025 CPUtime=1.43 cores=1,3,5,7
/proc/6544/task/6610/stat : 6610 (java) S 6541 6544 5944 0 -1 1077944384 2400 13324 0 0 60 75 5 3 20 0 15 0 416332966 11109408768 631315 33554432000 4194304 4196468 140723074307968 139748264372912 139748809034370 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16326656 140723074317039 140723074319557 140723074319557 140723074322383 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 10849032 KiB
Current children cumulated memory: 2525260 KiB
Child status: 143
Real time (s): 2362.14
CPU time (s): 2400.12
CPU user time (s): 2397.05
CPU system time (s): 3.06817
CPU usage (%): 101.608
Max. virtual memory (cumulated for all children) (KiB): 10849032
Max. memory (cumulated for all children) (KiB): 2849732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.05
system time used= 3.06817
maximum resident set size= 2851780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 423551
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 167499
involuntary context switches= 5951
# summary of solver processes directly reported to runsolver:
# pid: 6544
# total CPU time (s): 2400.12
# total CPU user time (s): 2397.05
# total CPU system time (s): 3.06817
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.4777 second user time and 22.9137 second system time
The end