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 (8949 MiB free)
memory of node 1: 16384 MiB (6971 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304914-1534056419/watcher-4304914-1534056419 -o /tmp/evaluation-result-4304914-1534056419/solver-4304914-1534056419 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1534038702-32059 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1898968355 -superng HOME/instance-4304914-1534056419.xml
running on 4 cores: 1,3,5,7
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
solver pid=2780, runsolver pid=2777
Current StackSize limit: 8192 KiB
[startup+0.100063 s]*
/proc/loadavg: 1.60 1.56 1.49 2/210 2837
/proc/meminfo: memFree=16297268/32770624 swapFree=67108688/67108860
[pid=2780] ppid=2777 vsize=10005480 memory=15176 CPUtime=0.1 cores=1,3,5,7
/proc/2780/stat : 2780 (java) S 2777 2780 30627 0 -1 1077944320 4423 13024 0 0 1 1 5 3 20 0 6 0 223205089 10245611520 3728 33554432000 4194304 4196468 140725850862912 140725850845456 139837254258423 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
/proc/2780/statm: 2501370 3728 1934 1 0 2489808 0
[pid=2780/tid=2833] ppid=2777 vsize=10005480 memory=-8171376296011865461 CPUtime=0.09 cores=1,3,5,7
/proc/2780/task/2833/stat : 2833 (java) R 2777 2780 30627 0 -1 4202560 2306 13024 0 0 1 0 5 3 20 0 6 0 223205098 10245611520 3860 33554432000 4194304 4196468 140725850862912 139837226095184 139837235668573 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2834] ppid=2777 vsize=10005480 memory=5792869726567804975 CPUtime=0.08 cores=1,3,5,7
/proc/2780/task/2834/stat : 2834 (java) S 2777 2780 30627 0 -1 1077944384 1 13024 0 0 0 0 5 3 20 0 6 0 223205099 10245611520 3860 33554432000 4194304 4196468 140725850862912 139837258500752 139837254268629 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2835] ppid=2777 vsize=10005480 memory=139816836130432 CPUtime=0.08 cores=1,3,5,7
/proc/2780/task/2835/stat : 2835 (java) S 2777 2780 30627 0 -1 1077944384 1 13024 0 0 0 0 5 3 20 0 6 0 223205099 10245611520 3860 33554432000 4194304 4196468 140725850862912 139836793424400 139837254268629 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2836] ppid=2777 vsize=10005480 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2780/task/2836/stat : 2836 (java) S 2777 2780 30627 0 -1 1077944384 1 13024 0 0 0 0 5 3 20 0 6 0 223205099 10245611520 3860 33554432000 4194304 4196468 140725850862912 139836792371600 139837254268629 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2837] ppid=2777 vsize=10005480 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/2780/task/2837/stat : 2837 (java) S 2777 2780 30627 0 -1 1077944384 2 13024 0 0 0 0 5 3 20 0 6 0 223205099 10245611520 3860 33554432000 4194304 4196468 140725850862912 139836791318800 139837254268629 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 15176 KiB
[startup+0.210457 s]*
/proc/loadavg: 1.60 1.56 1.49 3/219 2846
/proc/meminfo: memFree=16273952/32770624 swapFree=67108688/67108860
[pid=2780] ppid=2777 vsize=10982744 memory=43228 CPUtime=0.26 cores=1,3,5,7
/proc/2780/stat : 2780 (java) S 2777 2780 30627 0 -1 1077944320 8042 13024 0 0 15 3 5 3 20 0 15 0 223205089 11246329856 10807 33554432000 4194304 4196468 140725850862912 140725850845456 139837254258423 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
/proc/2780/statm: 2745686 10807 2957 1 0 2708109 0
[pid=2780/tid=2833] ppid=2777 vsize=10982744 memory=8389772277269004345 CPUtime=0.19 cores=1,3,5,7
/proc/2780/task/2833/stat : 2833 (java) R 2777 2780 30627 0 -1 4202560 4876 13024 0 0 10 1 5 3 20 0 15 0 223205098 11246329856 11137 33554432000 4194304 4196468 140725850862912 139837226075536 139837238338910 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2834] ppid=2777 vsize=10982744 memory=4294967661 CPUtime=0.08 cores=1,3,5,7
/proc/2780/task/2834/stat : 2834 (java) S 2777 2780 30627 0 -1 1077944384 1 13024 0 0 0 0 5 3 20 0 15 0 223205099 11246329856 11137 33554432000 4194304 4196468 140725850862912 139837258500752 139837254268629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2835] ppid=2777 vsize=10982744 memory=288370192987842176 CPUtime=0.08 cores=1,3,5,7
/proc/2780/task/2835/stat : 2835 (java) S 2777 2780 30627 0 -1 1077944384 1 13024 0 0 0 0 5 3 20 0 15 0 223205099 11246329856 11137 33554432000 4194304 4196468 140725850862912 139836793424400 139837254268629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2836] ppid=2777 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2780/task/2836/stat : 2836 (java) S 2777 2780 30627 0 -1 1077944384 1 13024 0 0 0 0 5 3 20 0 15 0 223205099 11246329856 11137 33554432000 4194304 4196468 140725850862912 139836792371600 139837254268629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2837] ppid=2777 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/2780/task/2837/stat : 2837 (java) S 2777 2780 30627 0 -1 1077944384 2 13024 0 0 0 0 5 3 20 0 15 0 223205099 11246329856 11137 33554432000 4194304 4196468 140725850862912 139836791318800 139837254268629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2838] ppid=2777 vsize=10982744 memory=139816836130432 CPUtime=0.08 cores=1,3,5,7
/proc/2780/task/2838/stat : 2838 (java) S 2777 2780 30627 0 -1 1077944384 2 13024 0 0 0 0 5 3 20 0 15 0 223205101 11246329856 11137 33554432000 4194304 4196468 140725850862912 139836679752560 139837254269570 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2839] ppid=2777 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/2780/task/2839/stat : 2839 (java) S 2777 2780 30627 0 -1 1077944384 13 13024 0 0 0 0 5 3 20 0 15 0 223205101 11246329856 11137 33554432000 4194304 4196468 140725850862912 139836028610080 139837254268629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2840] ppid=2777 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2780/task/2840/stat : 2840 (java) S 2777 2780 30627 0 -1 1077944384 1 13024 0 0 0 0 5 3 20 0 15 0 223205101 11246329856 11137 33554432000 4194304 4196468 140725850862912 139835880760688 139837254268629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2841] ppid=2777 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2780/task/2841/stat : 2841 (java) S 2777 2780 30627 0 -1 1077944384 3 13024 0 0 0 0 5 3 20 0 15 0 223205104 11246329856 11137 33554432000 4194304 4196468 140725850862912 139835573360976 139837254277019 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2842] ppid=2777 vsize=10982744 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/2780/task/2842/stat : 2842 (java) S 2777 2780 30627 0 -1 1077944384 370 13024 0 0 1 0 5 3 20 0 15 0 223205104 11246329856 11137 33554432000 4194304 4196468 140725850862912 139836678699376 139837254269570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2843] ppid=2777 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/2780/task/2843/stat : 2843 (java) S 2777 2780 30627 0 -1 1077944384 263 13024 0 0 0 0 5 3 20 0 15 0 223205104 11246329856 11137 33554432000 4194304 4196468 140725850862912 139836677646576 139837254269570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2844] ppid=2777 vsize=10982744 memory=139816836130432 CPUtime=0.11 cores=1,3,5,7
/proc/2780/task/2844/stat : 2844 (java) S 2777 2780 30627 0 -1 1077944384 664 13024 0 0 3 0 5 3 20 0 15 0 223205104 11246329856 11137 33554432000 4194304 4196468 140725850862912 139836676593776 139837254269570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2845] ppid=2777 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/2780/task/2845/stat : 2845 (java) S 2777 2780 30627 0 -1 1077944384 3 13024 0 0 0 0 5 3 20 0 15 0 223205104 11246329856 11137 33554432000 4194304 4196468 140725850862912 139835142564064 139837254268629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2846] ppid=2777 vsize=10982744 memory=139816836130432 CPUtime=0.08 cores=1,3,5,7
/proc/2780/task/2846/stat : 2846 (java) S 2777 2780 30627 0 -1 1077944384 1 13024 0 0 0 0 5 3 20 0 15 0 223205104 11246329856 11137 33554432000 4194304 4196468 140725850862912 139836675542192 139837254269570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 43228 KiB
[startup+0.310312 s]*
/proc/loadavg: 1.60 1.56 1.49 3/219 2846
/proc/meminfo: memFree=16262604/32770624 swapFree=67108688/67108860
[pid=2780] ppid=2777 vsize=10983192 memory=55528 CPUtime=0.38 cores=1,3,5,7
/proc/2780/stat : 2780 (java) S 2777 2780 30627 0 -1 1077944320 10918 13024 0 0 26 4 5 3 20 0 15 0 223205089 11246788608 13882 33554432000 4194304 4196468 140725850862912 140725850845456 139837254258423 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
/proc/2780/statm: 2745798 13882 3103 1 0 2708109 0
[pid=2780/tid=2833] ppid=2777 vsize=10983192 memory=6935054825532540783 CPUtime=0.29 cores=1,3,5,7
/proc/2780/task/2833/stat : 2833 (java) R 2777 2780 30627 0 -1 4202560 7364 13024 0 0 18 3 5 3 20 0 15 0 223205098 11246788608 13882 33554432000 4194304 4196468 140725850862912 139837226070432 139837239424023 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2834] ppid=2777 vsize=10983192 memory=4872558044660077418 CPUtime=0.08 cores=1,3,5,7
/proc/2780/task/2834/stat : 2834 (java) S 2777 2780 30627 0 -1 1077944384 1 13024 0 0 0 0 5 3 20 0 15 0 223205099 11246788608 13882 33554432000 4194304 4196468 140725850862912 139837258500752 139837254268629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2835] ppid=2777 vsize=10983192 memory=-7390251449858225344 CPUtime=0.08 cores=1,3,5,7
/proc/2780/task/2835/stat : 2835 (java) S 2777 2780 30627 0 -1 1077944384 1 13024 0 0 0 0 5 3 20 0 15 0 223205099 11246788608 13882 33554432000 4194304 4196468 140725850862912 139836793424400 139837254268629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2836] ppid=2777 vsize=10983192 memory=1328725297981317182 CPUtime=0.08 cores=1,3,5,7
/proc/2780/task/2836/stat : 2836 (java) S 2777 2780 30627 0 -1 1077944384 1 13024 0 0 0 0 5 3 20 0 15 0 223205099 11246788608 13882 33554432000 4194304 4196468 140725850862912 139836792371600 139837254268629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2837] ppid=2777 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/2780/task/2837/stat : 2837 (java) S 2777 2780 30627 0 -1 1077944384 2 13024 0 0 0 0 5 3 20 0 15 0 223205099 11246788608 13882 33554432000 4194304 4196468 140725850862912 139836791318800 139837254268629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2838] ppid=2777 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2780/task/2838/stat : 2838 (java) S 2777 2780 30627 0 -1 1077944384 2 13024 0 0 0 0 5 3 20 0 15 0 223205101 11246788608 13882 33554432000 4194304 4196468 140725850862912 139836679752560 139837254269570 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2839] ppid=2777 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2780/task/2839/stat : 2839 (java) S 2777 2780 30627 0 -1 1077944384 13 13024 0 0 0 0 5 3 20 0 15 0 223205101 11246788608 13882 33554432000 4194304 4196468 140725850862912 139836028610080 139837254268629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2840] ppid=2777 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2780/task/2840/stat : 2840 (java) S 2777 2780 30627 0 -1 1077944384 1 13024 0 0 0 0 5 3 20 0 15 0 223205101 11246788608 13882 33554432000 4194304 4196468 140725850862912 139835880760688 139837254268629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2841] ppid=2777 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2780/task/2841/stat : 2841 (java) S 2777 2780 30627 0 -1 1077944384 3 13024 0 0 0 0 5 3 20 0 15 0 223205104 11246788608 13882 33554432000 4194304 4196468 140725850862912 139835573360976 139837254277019 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2842] ppid=2777 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/2780/task/2842/stat : 2842 (java) S 2777 2780 30627 0 -1 1077944384 374 13024 0 0 1 0 5 3 20 0 15 0 223205104 11246788608 13882 33554432000 4194304 4196468 140725850862912 139836678699376 139837254269570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2843] ppid=2777 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/2780/task/2843/stat : 2843 (java) S 2777 2780 30627 0 -1 1077944384 266 13024 0 0 1 0 5 3 20 0 15 0 223205104 11246788608 13882 33554432000 4194304 4196468 140725850862912 139836677646576 139837254269570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2844] ppid=2777 vsize=10983192 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/2780/task/2844/stat : 2844 (java) S 2777 2780 30627 0 -1 1077944384 700 13024 0 0 4 0 5 3 20 0 15 0 223205104 11246788608 13882 33554432000 4194304 4196468 140725850862912 139836676593776 139837254269570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2845] ppid=2777 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2780/task/2845/stat : 2845 (java) S 2777 2780 30627 0 -1 1077944384 3 13024 0 0 0 0 5 3 20 0 15 0 223205104 11246788608 13882 33554432000 4194304 4196468 140725850862912 139835142564064 139837254268629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2846] ppid=2777 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2780/task/2846/stat : 2846 (java) S 2777 2780 30627 0 -1 1077944384 1 13024 0 0 0 0 5 3 20 0 15 0 223205104 11246788608 13882 33554432000 4194304 4196468 140725850862912 139836675542192 139837254269570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55528 KiB
[startup+0.700764 s]
/proc/loadavg: 1.79 1.60 1.50 4/219 2846
/proc/meminfo: memFree=16250820/32770624 swapFree=67108688/67108860
[pid=2780] ppid=2777 vsize=10983192 memory=88132 CPUtime=0.99 cores=1,3,5,7
/proc/2780/stat : 2780 (java) S 2777 2780 30627 0 -1 1077944320 17161 13024 0 0 86 5 5 3 20 0 15 0 223205089 11246788608 22033 33554432000 4194304 4196468 140725850862912 140725850845456 139837254258423 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
/proc/2780/statm: 2745798 22033 3247 1 0 2708109 0
[pid=2780/tid=2833] ppid=2777 vsize=10983192 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/2780/task/2833/stat : 2833 (java) R 2777 2780 30627 0 -1 4202560 12424 13024 0 0 55 4 5 3 20 0 15 0 223205098 11246788608 22033 33554432000 4194304 4196468 140725850862912 139837226082688 139837238338910 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2834] ppid=2777 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2780/task/2834/stat : 2834 (java) S 2777 2780 30627 0 -1 1077944384 1 13024 0 0 0 0 5 3 20 0 15 0 223205099 11246788608 22033 33554432000 4194304 4196468 140725850862912 139837258500752 139837254268629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2835] ppid=2777 vsize=10983192 memory=8242257093008242997 CPUtime=0.08 cores=1,3,5,7
/proc/2780/task/2835/stat : 2835 (java) S 2777 2780 30627 0 -1 1077944384 1 13024 0 0 0 0 5 3 20 0 15 0 223205099 11246788608 22033 33554432000 4194304 4196468 140725850862912 139836793424400 139837254268629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2836] ppid=2777 vsize=10983192 memory=5931329019416957031 CPUtime=0.08 cores=1,3,5,7
/proc/2780/task/2836/stat : 2836 (java) S 2777 2780 30627 0 -1 1077944384 1 13024 0 0 0 0 5 3 20 0 15 0 223205099 11246788608 22033 33554432000 4194304 4196468 140725850862912 139836792371600 139837254268629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2837] ppid=2777 vsize=10983192 memory=5787776803188794432 CPUtime=0.08 cores=1,3,5,7
/proc/2780/task/2837/stat : 2837 (java) S 2777 2780 30627 0 -1 1077944384 2 13024 0 0 0 0 5 3 20 0 15 0 223205099 11246788608 22033 33554432000 4194304 4196468 140725850862912 139836791318800 139837254268629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2838] ppid=2777 vsize=10983192 memory=170926128 CPUtime=0.08 cores=1,3,5,7
/proc/2780/task/2838/stat : 2838 (java) R 2777 2780 30627 0 -1 1077944384 5 13024 0 0 0 0 5 3 20 0 15 0 223205101 11246788608 22033 33554432000 4194304 4196468 140725850862912 139836679752560 139837254269570 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2839] ppid=2777 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2780/task/2839/stat : 2839 (java) S 2777 2780 30627 0 -1 1077944384 13 13024 0 0 0 0 5 3 20 0 15 0 223205101 11246788608 22033 33554432000 4194304 4196468 140725850862912 139836028610080 139837254268629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2840] ppid=2777 vsize=10983192 memory=139816836129265 CPUtime=0.08 cores=1,3,5,7
/proc/2780/task/2840/stat : 2840 (java) S 2777 2780 30627 0 -1 1077944384 1 13024 0 0 0 0 5 3 20 0 15 0 223205101 11246788608 22033 33554432000 4194304 4196468 140725850862912 139835880760688 139837254268629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2841] ppid=2777 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2780/task/2841/stat : 2841 (java) S 2777 2780 30627 0 -1 1077944384 3 13024 0 0 0 0 5 3 20 0 15 0 223205104 11246788608 22033 33554432000 4194304 4196468 140725850862912 139835573360976 139837254277019 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2842] ppid=2777 vsize=10983192 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/2780/task/2842/stat : 2842 (java) S 2777 2780 30627 0 -1 1077944384 735 13024 0 0 7 0 5 3 20 0 15 0 223205104 11246788608 22033 33554432000 4194304 4196468 140725850862912 139836678699376 139837254269570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2843] ppid=2777 vsize=10983192 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/2780/task/2843/stat : 2843 (java) S 2777 2780 30627 0 -1 1077944384 914 13024 0 0 10 0 5 3 20 0 15 0 223205104 11246788608 22033 33554432000 4194304 4196468 140725850862912 139836677646576 139837254269570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2844] ppid=2777 vsize=10983192 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/2780/task/2844/stat : 2844 (java) S 2777 2780 30627 0 -1 1077944384 865 13024 0 0 13 0 5 3 20 0 15 0 223205104 11246788608 22033 33554432000 4194304 4196468 140725850862912 139836676593776 139837254269570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2845] ppid=2777 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2780/task/2845/stat : 2845 (java) S 2777 2780 30627 0 -1 1077944384 3 13024 0 0 0 0 5 3 20 0 15 0 223205104 11246788608 22033 33554432000 4194304 4196468 140725850862912 139835142564064 139837254268629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2846] ppid=2777 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2780/task/2846/stat : 2846 (java) S 2777 2780 30627 0 -1 1077944384 1 13024 0 0 0 0 5 3 20 0 15 0 223205104 11246788608 22033 33554432000 4194304 4196468 140725850862912 139836675542192 139837254269570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88132 KiB
[startup+1.50146 s]
/proc/loadavg: 1.79 1.60 1.50 3/219 2846
/proc/meminfo: memFree=16205488/32770624 swapFree=67108688/67108860
[pid=2780] ppid=2777 vsize=10993996 memory=233104 CPUtime=3.1 cores=1,3,5,7
/proc/2780/stat : 2780 (java) S 2777 2780 30627 0 -1 1077944320 24762 13024 0 0 292 10 5 3 20 0 15 0 223205089 11257851904 58276 33554432000 4194304 4196468 140725850862912 140725850845456 139837254258423 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
/proc/2780/statm: 2748499 58276 3453 1 0 2710157 0
[pid=2780/tid=2833] ppid=2777 vsize=10993996 memory=2636 CPUtime=1.46 cores=1,3,5,7
/proc/2780/task/2833/stat : 2833 (java) R 2777 2780 30627 0 -1 4202560 15465 13024 0 0 131 7 5 3 20 0 15 0 223205098 11257851904 58276 33554432000 4194304 4196468 140725850862912 139837226093568 139837239953487 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2834] ppid=2777 vsize=10993996 memory=2836 CPUtime=0.08 cores=1,3,5,7
/proc/2780/task/2834/stat : 2834 (java) S 2777 2780 30627 0 -1 1077944384 58 13024 0 0 0 0 5 3 20 0 15 0 223205099 11257851904 58276 33554432000 4194304 4196468 140725850862912 139837258500752 139837254268629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2835] ppid=2777 vsize=10993996 memory=279633375542752 CPUtime=0.08 cores=1,3,5,7
/proc/2780/task/2835/stat : 2835 (java) S 2777 2780 30627 0 -1 1077944384 310 13024 0 0 0 0 5 3 20 0 15 0 223205099 11257851904 58276 33554432000 4194304 4196468 140725850862912 139836793424400 139837254268629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2836] ppid=2777 vsize=10993996 memory=7452438502876668776 CPUtime=0.08 cores=1,3,5,7
/proc/2780/task/2836/stat : 2836 (java) S 2777 2780 30627 0 -1 1077944384 8 13024 0 0 0 0 5 3 20 0 15 0 223205099 11257851904 58276 33554432000 4194304 4196468 140725850862912 139836792371600 139837254268629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2837] ppid=2777 vsize=10993996 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2780/task/2837/stat : 2837 (java) S 2777 2780 30627 0 -1 1077944384 41 13024 0 0 0 0 5 3 20 0 15 0 223205099 11257851904 58276 33554432000 4194304 4196468 140725850862912 139836791318800 139837254268629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2838] ppid=2777 vsize=10993996 memory=6944656575208382560 CPUtime=0.08 cores=1,3,5,7
/proc/2780/task/2838/stat : 2838 (java) S 2777 2780 30627 0 -1 1077944384 30 13024 0 0 0 0 5 3 20 0 15 0 223205101 11257851904 58276 33554432000 4194304 4196468 140725850862912 139836679752560 139837254269570 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2839] ppid=2777 vsize=10993996 memory=6944656592387989600 CPUtime=0.08 cores=1,3,5,7
/proc/2780/task/2839/stat : 2839 (java) S 2777 2780 30627 0 -1 1077944384 15 13024 0 0 0 0 5 3 20 0 15 0 223205101 11257851904 58276 33554432000 4194304 4196468 140725850862912 139836028610080 139837254268629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2840] ppid=2777 vsize=10993996 memory=6944656592387989600 CPUtime=0.08 cores=1,3,5,7
/proc/2780/task/2840/stat : 2840 (java) S 2777 2780 30627 0 -1 1077944384 2 13024 0 0 0 0 5 3 20 0 15 0 223205101 11257851904 58276 33554432000 4194304 4196468 140725850862912 139835880760688 139837254268629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2841] ppid=2777 vsize=10993996 memory=6944656575208382560 CPUtime=0.08 cores=1,3,5,7
/proc/2780/task/2841/stat : 2841 (java) S 2777 2780 30627 0 -1 1077944384 3 13024 0 0 0 0 5 3 20 0 15 0 223205104 11257851904 58276 33554432000 4194304 4196468 140725850862912 139835573360976 139837254277019 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2842] ppid=2777 vsize=10993996 memory=6944656592387989600 CPUtime=0.6 cores=1,3,5,7
/proc/2780/task/2842/stat : 2842 (java) R 2777 2780 30627 0 -1 4202560 1952 13024 0 0 52 0 5 3 20 0 15 0 223205104 11257851904 58276 33554432000 4194304 4196468 140725850862912 139836678688048 139837235778108 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2843] ppid=2777 vsize=10993996 memory=279633375826704 CPUtime=0.6 cores=1,3,5,7
/proc/2780/task/2843/stat : 2843 (java) R 2777 2780 30627 0 -1 4202560 2553 13024 0 0 52 0 5 3 20 0 15 0 223205104 11257851904 58276 33554432000 4194304 4196468 140725850862912 139836677632456 139837235779505 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2844] ppid=2777 vsize=10993996 memory=13878 CPUtime=0.62 cores=1,3,5,7
/proc/2780/task/2844/stat : 2844 (java) S 2777 2780 30627 0 -1 1077944384 2129 13024 0 0 54 0 5 3 20 0 15 0 223205104 11257851904 58276 33554432000 4194304 4196468 140725850862912 139836676593776 139837254269570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2845] ppid=2777 vsize=10993996 memory=25517 CPUtime=0.08 cores=1,3,5,7
/proc/2780/task/2845/stat : 2845 (java) S 2777 2780 30627 0 -1 1077944384 3 13024 0 0 0 0 5 3 20 0 15 0 223205104 11257851904 58276 33554432000 4194304 4196468 140725850862912 139835142564064 139837254268629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2846] ppid=2777 vsize=10993996 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/2780/task/2846/stat : 2846 (java) S 2777 2780 30627 0 -1 1077944384 1 13024 0 0 0 0 5 3 20 0 15 0 223205104 11257851904 58276 33554432000 4194304 4196468 140725850862912 139836675542192 139837254269570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 10993996 KiB
################
# More data... #
################
/proc/2780/task/2833/stat : 2833 (java) R 2777 2780 30627 0 -1 4202560 319003 13024 0 0 237270 85 5 3 20 0 15 0 223205098 11345952768 786072 33554432000 4194304 4196468 140725850862912 139837226090976 139836834588359 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2834] ppid=2777 vsize=11080032 memory=3144288 CPUtime=6.28 cores=1,3,5,7
/proc/2780/task/2834/stat : 2834 (java) S 2777 2780 30627 0 -1 1077944384 25430 13024 0 0 590 30 5 3 20 0 15 0 223205099 11345952768 786072 33554432000 4194304 4196468 140725850862912 139837258500752 139837254268629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2835] ppid=2777 vsize=11080032 memory=3144288 CPUtime=6.29 cores=1,3,5,7
/proc/2780/task/2835/stat : 2835 (java) S 2777 2780 30627 0 -1 1077944384 23378 13024 0 0 593 28 5 3 20 0 15 0 223205099 11345952768 786072 33554432000 4194304 4196468 140725850862912 139836793424400 139837254268629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2836] ppid=2777 vsize=11080032 memory=3144288 CPUtime=6.27 cores=1,3,5,7
/proc/2780/task/2836/stat : 2836 (java) S 2777 2780 30627 0 -1 1077944384 25498 13024 0 0 592 27 5 3 20 0 15 0 223205099 11345952768 786072 33554432000 4194304 4196468 140725850862912 139836792371600 139837254268629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2837] ppid=2777 vsize=11080032 memory=3144288 CPUtime=6.29 cores=1,3,5,7
/proc/2780/task/2837/stat : 2837 (java) S 2777 2780 30627 0 -1 1077944384 24319 13024 0 0 591 30 5 3 20 0 15 0 223205099 11345952768 786072 33554432000 4194304 4196468 140725850862912 139836791318800 139837254268629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2838] ppid=2777 vsize=11080032 memory=3144288 CPUtime=1.74 cores=1,3,5,7
/proc/2780/task/2838/stat : 2838 (java) S 2777 2780 30627 0 -1 1077944384 34503 13024 0 0 142 24 5 3 20 0 15 0 223205101 11345952768 786072 33554432000 4194304 4196468 140725850862912 139836679752560 139837254269570 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2839] ppid=2777 vsize=11080032 memory=3132436 CPUtime=0.08 cores=1,3,5,7
/proc/2780/task/2839/stat : 2839 (java) S 2777 2780 30627 0 -1 1077944384 35 13024 0 0 0 0 5 3 20 0 15 0 223205101 11345952768 786072 33554432000 4194304 4196468 140725850862912 139836028610144 139837254268629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2840] ppid=2777 vsize=11080032 memory=8 CPUtime=0.08 cores=1,3,5,7
/proc/2780/task/2840/stat : 2840 (java) S 2777 2780 30627 0 -1 1077944384 23 13024 0 0 0 0 5 3 20 0 15 0 223205101 11345952768 786072 33554432000 4194304 4196468 140725850862912 139835880760704 139837254268629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2841] ppid=2777 vsize=11080032 memory=3824 CPUtime=0.08 cores=1,3,5,7
/proc/2780/task/2841/stat : 2841 (java) S 2777 2780 30627 0 -1 1077944384 3 13024 0 0 0 0 5 3 20 0 15 0 223205104 11345952768 786072 33554432000 4194304 4196468 140725850862912 139835573360976 139837254277019 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2842] ppid=2777 vsize=11080032 memory=3144288 CPUtime=9.61 cores=1,3,5,7
/proc/2780/task/2842/stat : 2842 (java) S 2777 2780 30627 0 -1 1077944384 61857 13024 0 0 945 8 5 3 20 0 15 0 223205104 11345952768 786072 33554432000 4194304 4196468 140725850862912 139836678699376 139837254269570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2843] ppid=2777 vsize=11080032 memory=3144288 CPUtime=9.49 cores=1,3,5,7
/proc/2780/task/2843/stat : 2843 (java) S 2777 2780 30627 0 -1 1077944384 71089 13024 0 0 935 6 5 3 20 0 15 0 223205104 11345952768 786072 33554432000 4194304 4196468 140725850862912 139836677646576 139837254269570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2844] ppid=2777 vsize=11080032 memory=3824 CPUtime=3.24 cores=1,3,5,7
/proc/2780/task/2844/stat : 2844 (java) S 2777 2780 30627 0 -1 1077944384 51138 13024 0 0 309 7 5 3 20 0 15 0 223205104 11345952768 786072 33554432000 4194304 4196468 140725850862912 139836676593776 139837254269570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2845] ppid=2777 vsize=11080032 memory=60880 CPUtime=0.08 cores=1,3,5,7
/proc/2780/task/2845/stat : 2845 (java) S 2777 2780 30627 0 -1 1077944384 3 13024 0 0 0 0 5 3 20 0 15 0 223205104 11345952768 786072 33554432000 4194304 4196468 140725850862912 139835142564064 139837254268629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2846] ppid=2777 vsize=11080032 memory=928 CPUtime=1.47 cores=1,3,5,7
/proc/2780/task/2846/stat : 2846 (java) S 2777 2780 30627 0 -1 1077944384 2388 13024 0 0 56 83 5 3 20 0 15 0 223205104 11345952768 786072 33554432000 4194304 4196468 140725850862912 139836675542192 139837254269570 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
Current children cumulated CPU time: 2423.68 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 3144288 KiB
[startup+2442.3 s]
/proc/loadavg: 1.61 1.65 1.66 3/218 3458
/proc/meminfo: memFree=8818512/32770624 swapFree=67108688/67108860
[pid=2780] ppid=2777 vsize=11080032 memory=3143304 CPUtime=2483.81 cores=1,3,5,7
/proc/2780/stat : 2780 (java) S 2777 2780 30627 0 -1 1077944320 643943 13024 0 0 248062 311 5 3 20 0 15 0 223205089 11345952768 785826 33554432000 4194304 4196468 140725850862912 140725850845456 139837254258423 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
/proc/2780/statm: 2770008 785826 3541 1 0 2731661 0
[pid=2780/tid=2833] ppid=2777 vsize=11080032 memory=3143304 CPUtime=2433.57 cores=1,3,5,7
/proc/2780/task/2833/stat : 2833 (java) R 2777 2780 30627 0 -1 4202560 321321 13024 0 0 243263 86 5 3 20 0 15 0 223205098 11345952768 785826 33554432000 4194304 4196468 140725850862912 139837226091568 139836829733535 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2834] ppid=2777 vsize=11080032 memory=3143304 CPUtime=6.31 cores=1,3,5,7
/proc/2780/task/2834/stat : 2834 (java) S 2777 2780 30627 0 -1 1077944384 25517 13024 0 0 593 30 5 3 20 0 15 0 223205099 11345952768 785826 33554432000 4194304 4196468 140725850862912 139837258500752 139837254268629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2835] ppid=2777 vsize=11080032 memory=3144288 CPUtime=6.32 cores=1,3,5,7
/proc/2780/task/2835/stat : 2835 (java) S 2777 2780 30627 0 -1 1077944384 23435 13024 0 0 596 28 5 3 20 0 15 0 223205099 11345952768 785826 33554432000 4194304 4196468 140725850862912 139836793424400 139837254268629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2836] ppid=2777 vsize=11080032 memory=3143304 CPUtime=6.3 cores=1,3,5,7
/proc/2780/task/2836/stat : 2836 (java) S 2777 2780 30627 0 -1 1077944384 25850 13024 0 0 595 27 5 3 20 0 15 0 223205099 11345952768 785826 33554432000 4194304 4196468 140725850862912 139836792371600 139837254268629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2837] ppid=2777 vsize=11080032 memory=3143304 CPUtime=6.32 cores=1,3,5,7
/proc/2780/task/2837/stat : 2837 (java) S 2777 2780 30627 0 -1 1077944384 24343 13024 0 0 594 30 5 3 20 0 15 0 223205099 11345952768 785826 33554432000 4194304 4196468 140725850862912 139836791318800 139837254268629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2838] ppid=2777 vsize=11080032 memory=3143304 CPUtime=1.74 cores=1,3,5,7
/proc/2780/task/2838/stat : 2838 (java) S 2777 2780 30627 0 -1 1077944384 34711 13024 0 0 142 24 5 3 20 0 15 0 223205101 11345952768 785826 33554432000 4194304 4196468 140725850862912 139836679752560 139837254269570 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2839] ppid=2777 vsize=11080032 memory=3143304 CPUtime=0.08 cores=1,3,5,7
/proc/2780/task/2839/stat : 2839 (java) S 2777 2780 30627 0 -1 1077944384 35 13024 0 0 0 0 5 3 20 0 15 0 223205101 11345952768 785826 33554432000 4194304 4196468 140725850862912 139836028610144 139837254268629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2840] ppid=2777 vsize=11080032 memory=3143304 CPUtime=0.08 cores=1,3,5,7
/proc/2780/task/2840/stat : 2840 (java) S 2777 2780 30627 0 -1 1077944384 23 13024 0 0 0 0 5 3 20 0 15 0 223205101 11345952768 785826 33554432000 4194304 4196468 140725850862912 139835880760704 139837254268629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2841] ppid=2777 vsize=11080032 memory=3143304 CPUtime=0.08 cores=1,3,5,7
/proc/2780/task/2841/stat : 2841 (java) S 2777 2780 30627 0 -1 1077944384 3 13024 0 0 0 0 5 3 20 0 15 0 223205104 11345952768 785826 33554432000 4194304 4196468 140725850862912 139835573360976 139837254277019 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2842] ppid=2777 vsize=11080032 memory=3143304 CPUtime=9.61 cores=1,3,5,7
/proc/2780/task/2842/stat : 2842 (java) S 2777 2780 30627 0 -1 1077944384 61859 13024 0 0 945 8 5 3 20 0 15 0 223205104 11345952768 785826 33554432000 4194304 4196468 140725850862912 139836678699376 139837254269570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2843] ppid=2777 vsize=11080032 memory=3143304 CPUtime=9.49 cores=1,3,5,7
/proc/2780/task/2843/stat : 2843 (java) S 2777 2780 30627 0 -1 1077944384 71091 13024 0 0 935 6 5 3 20 0 15 0 223205104 11345952768 785826 33554432000 4194304 4196468 140725850862912 139836677646576 139837254269570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2844] ppid=2777 vsize=11080032 memory=3143304 CPUtime=3.24 cores=1,3,5,7
/proc/2780/task/2844/stat : 2844 (java) S 2777 2780 30627 0 -1 1077944384 51141 13024 0 0 309 7 5 3 20 0 15 0 223205104 11345952768 785826 33554432000 4194304 4196468 140725850862912 139836676593776 139837254269570 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2845] ppid=2777 vsize=11080032 memory=3143304 CPUtime=0.08 cores=1,3,5,7
/proc/2780/task/2845/stat : 2845 (java) S 2777 2780 30627 0 -1 1077944384 3 13024 0 0 0 0 5 3 20 0 15 0 223205104 11345952768 785826 33554432000 4194304 4196468 140725850862912 139835142564064 139837254268629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2846] ppid=2777 vsize=11080032 memory=3143304 CPUtime=1.51 cores=1,3,5,7
/proc/2780/task/2846/stat : 2846 (java) S 2777 2780 30627 0 -1 1077944384 2419 13024 0 0 58 85 5 3 20 0 15 0 223205104 11345952768 785826 33554432000 4194304 4196468 140725850862912 139836675542192 139837254269570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
Current children cumulated CPU time: 2483.81 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 3143304 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2478.5 s]
/proc/loadavg: 1.64 1.66 1.66 3/218 3460
/proc/meminfo: memFree=8818180/32770624 swapFree=67108688/67108860
[pid=2780] ppid=2777 vsize=11080032 memory=3143304 CPUtime=2520.08 cores=1,3,5,7
/proc/2780/stat : 2780 (java) S 2777 2780 30627 0 -1 1077944320 646086 13024 0 0 251688 312 5 3 20 0 15 0 223205089 11345952768 785826 33554432000 4194304 4196468 140725850862912 140725850845456 139837254258423 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
/proc/2780/statm: 2770008 785826 3541 1 0 2731661 0
[pid=2780/tid=2833] ppid=2777 vsize=11080032 memory=3143304 CPUtime=2469.74 cores=1,3,5,7
/proc/2780/task/2833/stat : 2833 (java) R 2777 2780 30627 0 -1 4202560 322628 13024 0 0 246880 86 5 3 20 0 15 0 223205098 11345952768 785826 33554432000 4194304 4196468 140725850862912 139837226091936 139836829571710 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2834] ppid=2777 vsize=11080032 memory=3143304 CPUtime=6.33 cores=1,3,5,7
/proc/2780/task/2834/stat : 2834 (java) S 2777 2780 30627 0 -1 1077944384 25828 13024 0 0 595 30 5 3 20 0 15 0 223205099 11345952768 785826 33554432000 4194304 4196468 140725850862912 139837258500752 139837254268629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2835] ppid=2777 vsize=11080032 memory=3143304 CPUtime=6.34 cores=1,3,5,7
/proc/2780/task/2835/stat : 2835 (java) S 2777 2780 30627 0 -1 1077944384 23590 13024 0 0 598 28 5 3 20 0 15 0 223205099 11345952768 785826 33554432000 4194304 4196468 140725850862912 139836793424400 139837254268629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2836] ppid=2777 vsize=11080032 memory=3143304 CPUtime=6.32 cores=1,3,5,7
/proc/2780/task/2836/stat : 2836 (java) S 2777 2780 30627 0 -1 1077944384 25880 13024 0 0 597 27 5 3 20 0 15 0 223205099 11345952768 785826 33554432000 4194304 4196468 140725850862912 139836792371600 139837254268629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2837] ppid=2777 vsize=11080032 memory=3143304 CPUtime=6.34 cores=1,3,5,7
/proc/2780/task/2837/stat : 2837 (java) S 2777 2780 30627 0 -1 1077944384 24453 13024 0 0 596 30 5 3 20 0 15 0 223205099 11345952768 785826 33554432000 4194304 4196468 140725850862912 139836791318800 139837254268629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2838] ppid=2777 vsize=11080032 memory=3143304 CPUtime=1.75 cores=1,3,5,7
/proc/2780/task/2838/stat : 2838 (java) S 2777 2780 30627 0 -1 1077944384 34910 13024 0 0 143 24 5 3 20 0 15 0 223205101 11345952768 785826 33554432000 4194304 4196468 140725850862912 139836679752560 139837254269570 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2839] ppid=2777 vsize=11080032 memory=68 CPUtime=0.08 cores=1,3,5,7
/proc/2780/task/2839/stat : 2839 (java) S 2777 2780 30627 0 -1 1077944384 35 13024 0 0 0 0 5 3 20 0 15 0 223205101 11345952768 785826 33554432000 4194304 4196468 140725850862912 139836028610144 139837254268629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2840] ppid=2777 vsize=11080032 memory=167 CPUtime=0.08 cores=1,3,5,7
/proc/2780/task/2840/stat : 2840 (java) S 2777 2780 30627 0 -1 1077944384 23 13024 0 0 0 0 5 3 20 0 15 0 223205101 11345952768 785826 33554432000 4194304 4196468 140725850862912 139835880760704 139837254268629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2841] ppid=2777 vsize=11080032 memory=3143304 CPUtime=0.08 cores=1,3,5,7
/proc/2780/task/2841/stat : 2841 (java) S 2777 2780 30627 0 -1 1077944384 3 13024 0 0 0 0 5 3 20 0 15 0 223205104 11345952768 785826 33554432000 4194304 4196468 140725850862912 139835573360976 139837254277019 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2842] ppid=2777 vsize=11080032 memory=3143304 CPUtime=9.61 cores=1,3,5,7
/proc/2780/task/2842/stat : 2842 (java) S 2777 2780 30627 0 -1 1077944384 61861 13024 0 0 945 8 5 3 20 0 15 0 223205104 11345952768 785826 33554432000 4194304 4196468 140725850862912 139836678699376 139837254269570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2843] ppid=2777 vsize=11080032 memory=3143304 CPUtime=9.49 cores=1,3,5,7
/proc/2780/task/2843/stat : 2843 (java) S 2777 2780 30627 0 -1 1077944384 71093 13024 0 0 935 6 5 3 20 0 15 0 223205104 11345952768 785826 33554432000 4194304 4196468 140725850862912 139836677646576 139837254269570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2844] ppid=2777 vsize=11080032 memory=3824 CPUtime=3.24 cores=1,3,5,7
/proc/2780/task/2844/stat : 2844 (java) S 2777 2780 30627 0 -1 1077944384 51143 13024 0 0 309 7 5 3 20 0 15 0 223205104 11345952768 785826 33554432000 4194304 4196468 140725850862912 139836676593776 139837254269570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2845] ppid=2777 vsize=11080032 memory=1224 CPUtime=0.08 cores=1,3,5,7
/proc/2780/task/2845/stat : 2845 (java) S 2777 2780 30627 0 -1 1077944384 3 13024 0 0 0 0 5 3 20 0 15 0 223205104 11345952768 785826 33554432000 4194304 4196468 140725850862912 139835142564064 139837254268629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2846] ppid=2777 vsize=11080032 memory=1792 CPUtime=1.53 cores=1,3,5,7
/proc/2780/task/2846/stat : 2846 (java) S 2777 2780 30627 0 -1 1077944384 2444 13024 0 0 59 86 5 3 20 0 15 0 223205104 11345952768 785826 33554432000 4194304 4196468 140725850862912 139836675542192 139837254269570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 3143304 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2478.55 s]
# the end of solver process 2780 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.98 s, system=3.17021 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2478.5 s]
/proc/loadavg: 1.64 1.66 1.66 3/218 3460
/proc/meminfo: memFree=8818180/32770624 swapFree=67108688/67108860
[pid=2780] ppid=2777 vsize=11080032 memory=3143304 CPUtime=2520.08 cores=1,3,5,7
/proc/2780/stat : 2780 (java) S 2777 2780 30627 0 -1 1077944320 646086 13024 0 0 251688 312 5 3 20 0 15 0 223205089 11345952768 785826 33554432000 4194304 4196468 140725850862912 140725850845456 139837254258423 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
/proc/2780/statm: 2770008 785826 3541 1 0 2731661 0
[pid=2780/tid=2833] ppid=2777 vsize=11080032 memory=3143304 CPUtime=2469.74 cores=1,3,5,7
/proc/2780/task/2833/stat : 2833 (java) R 2777 2780 30627 0 -1 4202560 322628 13024 0 0 246880 86 5 3 20 0 15 0 223205098 11345952768 785826 33554432000 4194304 4196468 140725850862912 139837226091936 139836829571710 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2834] ppid=2777 vsize=11080032 memory=3143304 CPUtime=6.33 cores=1,3,5,7
/proc/2780/task/2834/stat : 2834 (java) S 2777 2780 30627 0 -1 1077944384 25828 13024 0 0 595 30 5 3 20 0 15 0 223205099 11345952768 785826 33554432000 4194304 4196468 140725850862912 139837258500752 139837254268629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2835] ppid=2777 vsize=11080032 memory=3143304 CPUtime=6.34 cores=1,3,5,7
/proc/2780/task/2835/stat : 2835 (java) S 2777 2780 30627 0 -1 1077944384 23590 13024 0 0 598 28 5 3 20 0 15 0 223205099 11345952768 785826 33554432000 4194304 4196468 140725850862912 139836793424400 139837254268629 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2836] ppid=2777 vsize=11080032 memory=3143304 CPUtime=6.32 cores=1,3,5,7
/proc/2780/task/2836/stat : 2836 (java) S 2777 2780 30627 0 -1 1077944384 25880 13024 0 0 597 27 5 3 20 0 15 0 223205099 11345952768 785826 33554432000 4194304 4196468 140725850862912 139836792371600 139837254268629 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2837] ppid=2777 vsize=11080032 memory=3143304 CPUtime=6.34 cores=1,3,5,7
/proc/2780/task/2837/stat : 2837 (java) S 2777 2780 30627 0 -1 1077944384 24453 13024 0 0 596 30 5 3 20 0 15 0 223205099 11345952768 785826 33554432000 4194304 4196468 140725850862912 139836791318800 139837254268629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2838] ppid=2777 vsize=11080032 memory=3143304 CPUtime=1.75 cores=1,3,5,7
/proc/2780/task/2838/stat : 2838 (java) S 2777 2780 30627 0 -1 1077944384 34910 13024 0 0 143 24 5 3 20 0 15 0 223205101 11345952768 785826 33554432000 4194304 4196468 140725850862912 139836679752560 139837254269570 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2839] ppid=2777 vsize=11080032 memory=68 CPUtime=0.08 cores=1,3,5,7
/proc/2780/task/2839/stat : 2839 (java) S 2777 2780 30627 0 -1 1077944384 35 13024 0 0 0 0 5 3 20 0 15 0 223205101 11345952768 785826 33554432000 4194304 4196468 140725850862912 139836028610144 139837254268629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2840] ppid=2777 vsize=11080032 memory=167 CPUtime=0.08 cores=1,3,5,7
/proc/2780/task/2840/stat : 2840 (java) S 2777 2780 30627 0 -1 1077944384 23 13024 0 0 0 0 5 3 20 0 15 0 223205101 11345952768 785826 33554432000 4194304 4196468 140725850862912 139835880760704 139837254268629 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2841] ppid=2777 vsize=11080032 memory=3143304 CPUtime=0.08 cores=1,3,5,7
/proc/2780/task/2841/stat : 2841 (java) S 2777 2780 30627 0 -1 1077944384 3 13024 0 0 0 0 5 3 20 0 15 0 223205104 11345952768 785826 33554432000 4194304 4196468 140725850862912 139835573360976 139837254277019 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2842] ppid=2777 vsize=11080032 memory=3143304 CPUtime=9.61 cores=1,3,5,7
/proc/2780/task/2842/stat : 2842 (java) S 2777 2780 30627 0 -1 1077944384 61861 13024 0 0 945 8 5 3 20 0 15 0 223205104 11345952768 785826 33554432000 4194304 4196468 140725850862912 139836678699376 139837254269570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2843] ppid=2777 vsize=11080032 memory=3143304 CPUtime=9.49 cores=1,3,5,7
/proc/2780/task/2843/stat : 2843 (java) S 2777 2780 30627 0 -1 1077944384 71093 13024 0 0 935 6 5 3 20 0 15 0 223205104 11345952768 785826 33554432000 4194304 4196468 140725850862912 139836677646576 139837254269570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2844] ppid=2777 vsize=11080032 memory=3824 CPUtime=3.24 cores=1,3,5,7
/proc/2780/task/2844/stat : 2844 (java) S 2777 2780 30627 0 -1 1077944384 51143 13024 0 0 309 7 5 3 20 0 15 0 223205104 11345952768 785826 33554432000 4194304 4196468 140725850862912 139836676593776 139837254269570 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2845] ppid=2777 vsize=11080032 memory=1224 CPUtime=0.08 cores=1,3,5,7
/proc/2780/task/2845/stat : 2845 (java) S 2777 2780 30627 0 -1 1077944384 3 13024 0 0 0 0 5 3 20 0 15 0 223205104 11345952768 785826 33554432000 4194304 4196468 140725850862912 139835142564064 139837254268629 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
[pid=2780/tid=2846] ppid=2777 vsize=11080032 memory=1792 CPUtime=1.53 cores=1,3,5,7
/proc/2780/task/2846/stat : 2846 (java) S 2777 2780 30627 0 -1 1077944384 2444 13024 0 0 59 86 5 3 20 0 15 0 223205104 11345952768 785826 33554432000 4194304 4196468 140725850862912 139836675542192 139837254269570 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14761984 140725850868323 140725850871132 140725850871132 140725850873807 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 3143304 KiB
Child status: 143
Real time (s): 2478.55
CPU time (s): 2520.15
CPU user time (s): 2516.98
CPU system time (s): 3.17021
CPU usage (%): 101.678
Max. virtual memory (cumulated for all children) (KiB): 11082800
Max. memory (cumulated for all children) (KiB): 3144288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.98
system time used= 3.17021
maximum resident set size= 3145672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 660097
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 92019
involuntary context switches= 3683
# summary of solver processes directly reported to runsolver:
# pid: 2780
# total CPU time (s): 2520.15
# total CPU user time (s): 2516.98
# total CPU system time (s): 3.17021
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.1922 second user time and 24.325 second system time
The end