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 (11636 MiB free)
memory of node 1: 16384 MiB (14953 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4300394-1532885778/watcher-4300394-1532885778 -o /tmp/evaluation-result-4300394-1532885778/solver-4300394-1532885778 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1532880755-21206 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4300394-1532885778.xml --timelimit 2520
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=21739, runsolver pid=21736
[startup+0.100166 s]*
/proc/loadavg: 1.96 1.73 1.69 4/218 21754
/proc/meminfo: memFree=27212972/32770624 swapFree=67108860/67108860
[pid=21739] ppid=21736 vsize=10661056 memory=27708 CPUtime=0.13 cores=0,2,4,6
/proc/21739/stat : 21739 (java) S 21736 21739 21175 0 -1 1077944320 5273 0 0 0 12 1 0 0 20 0 15 0 106140948 10916921344 6927 33554432000 4194304 4196468 140727455764160 140727455746704 140474715340535 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
/proc/21739/statm: 2665264 6927 2847 1 0 2627263 0
[pid=21739/tid=21741] ppid=21736 vsize=10661056 memory=-8269626465541068156 CPUtime=0.09 cores=0,2,4,6
/proc/21739/task/21741/stat : 21741 (java) R 21736 21739 21175 0 -1 4202560 3139 0 0 0 9 0 0 0 20 0 15 0 106140948 10916921344 6927 33554432000 4194304 4196468 140727455764160 140474719568688 140474715352470 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21742] ppid=21736 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21739/task/21742/stat : 21742 (java) S 21736 21739 21175 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106140949 10916921344 6927 33554432000 4194304 4196468 140727455764160 140474641414928 140474715350741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21743] ppid=21736 vsize=10661056 memory=140458632545920 CPUtime=0 cores=0,2,4,6
/proc/21739/task/21743/stat : 21743 (java) S 21736 21739 21175 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106140949 10916921344 6927 33554432000 4194304 4196468 140727455764160 140474640362384 140474715350741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21744] ppid=21736 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21739/task/21744/stat : 21744 (java) S 21736 21739 21175 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106140949 10916921344 6927 33554432000 4194304 4196468 140727455764160 140474639309840 140474715350741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21745] ppid=21736 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21739/task/21745/stat : 21745 (java) S 21736 21739 21175 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106140949 10916921344 6927 33554432000 4194304 4196468 140727455764160 140474638257296 140474715350741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21746] ppid=21736 vsize=10661056 memory=140458632545920 CPUtime=0 cores=0,2,4,6
/proc/21739/task/21746/stat : 21746 (java) S 21736 21739 21175 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106140951 10916921344 6927 33554432000 4194304 4196468 140727455764160 140474206590960 140474715351682 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21747] ppid=21736 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21739/task/21747/stat : 21747 (java) S 21736 21739 21175 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 106140951 10916921344 6927 33554432000 4194304 4196468 140727455764160 140474205537184 140474715350741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21748] ppid=21736 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21739/task/21748/stat : 21748 (java) S 21736 21739 21175 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106140951 10916921344 6927 33554432000 4194304 4196468 140727455764160 140474204484592 140474715350741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21749] ppid=21736 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21739/task/21749/stat : 21749 (java) S 21736 21739 21175 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106140954 10916921344 6927 33554432000 4194304 4196468 140727455764160 140474203433168 140474715359131 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21750] ppid=21736 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21739/task/21750/stat : 21750 (java) R 21736 21739 21175 0 -1 4202560 423 0 0 0 0 0 0 0 20 0 15 0 106140954 10916921344 6927 33554432000 4194304 4196468 140727455764160 140474202380784 140474708325577 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21751] ppid=21736 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21739/task/21751/stat : 21751 (java) R 21736 21739 21175 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106140954 10916921344 6927 33554432000 4194304 4196468 140727455764160 140474201328240 140474715351682 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21752] ppid=21736 vsize=10661056 memory=140458632545920 CPUtime=0.02 cores=0,2,4,6
/proc/21739/task/21752/stat : 21752 (java) R 21736 21739 21175 0 -1 4202560 341 0 0 0 2 0 0 0 20 0 15 0 106140954 10916921344 6927 33554432000 4194304 4196468 140727455764160 140474200275696 140474699421022 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21753] ppid=21736 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21739/task/21753/stat : 21753 (java) S 21736 21739 21175 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106140954 10916921344 6927 33554432000 4194304 4196468 140727455764160 140474199223392 140474715350741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21754] ppid=21736 vsize=10661056 memory=140458632545920 CPUtime=0 cores=0,2,4,6
/proc/21739/task/21754/stat : 21754 (java) S 21736 21739 21175 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106140954 10916921344 6927 33554432000 4194304 4196468 140727455764160 140474198169904 140474715351682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 27708 KiB
[startup+0.210799 s]*
/proc/loadavg: 1.96 1.73 1.69 3/218 21754
/proc/meminfo: memFree=27200484/32770624 swapFree=67108860/67108860
[pid=21739] ppid=21736 vsize=10661056 memory=40488 CPUtime=0.33 cores=0,2,4,6
/proc/21739/stat : 21739 (java) S 21736 21739 21175 0 -1 1077944320 8159 0 0 0 31 2 0 0 20 0 15 0 106140948 10916921344 10122 33554432000 4194304 4196468 140727455764160 140727455746704 140474715340535 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
/proc/21739/statm: 2665264 10122 2998 1 0 2627263 0
[pid=21739/tid=21741] ppid=21736 vsize=10661056 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/21739/task/21741/stat : 21741 (java) R 21736 21739 21175 0 -1 4202560 5192 0 0 0 19 1 0 0 20 0 15 0 106140948 10916921344 10122 33554432000 4194304 4196468 140727455764160 140474719570480 140474699421022 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21742] ppid=21736 vsize=10661056 memory=365 CPUtime=0 cores=0,2,4,6
/proc/21739/task/21742/stat : 21742 (java) S 21736 21739 21175 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106140949 10916921344 10122 33554432000 4194304 4196468 140727455764160 140474641414928 140474715350741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21743] ppid=21736 vsize=10661056 memory=288370834784257664 CPUtime=0 cores=0,2,4,6
/proc/21739/task/21743/stat : 21743 (java) S 21736 21739 21175 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106140949 10916921344 10122 33554432000 4194304 4196468 140727455764160 140474640362384 140474715350741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21744] ppid=21736 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21739/task/21744/stat : 21744 (java) S 21736 21739 21175 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106140949 10916921344 10122 33554432000 4194304 4196468 140727455764160 140474639309840 140474715350741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21745] ppid=21736 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21739/task/21745/stat : 21745 (java) S 21736 21739 21175 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106140949 10916921344 10122 33554432000 4194304 4196468 140727455764160 140474638257296 140474715350741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21746] ppid=21736 vsize=10661056 memory=140458632545920 CPUtime=0 cores=0,2,4,6
/proc/21739/task/21746/stat : 21746 (java) S 21736 21739 21175 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106140951 10916921344 10127 33554432000 4194304 4196468 140727455764160 140474206590960 140474715351682 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21747] ppid=21736 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21739/task/21747/stat : 21747 (java) S 21736 21739 21175 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 106140951 10916921344 10127 33554432000 4194304 4196468 140727455764160 140474205537184 140474715350741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21748] ppid=21736 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21739/task/21748/stat : 21748 (java) S 21736 21739 21175 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106140951 10916921344 10127 33554432000 4194304 4196468 140727455764160 140474204484592 140474715350741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21749] ppid=21736 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21739/task/21749/stat : 21749 (java) S 21736 21739 21175 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106140954 10916921344 10127 33554432000 4194304 4196468 140727455764160 140474203433168 140474715359131 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21750] ppid=21736 vsize=10661056 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/21739/task/21750/stat : 21750 (java) S 21736 21739 21175 0 -1 1077944384 749 0 0 0 3 0 0 0 20 0 15 0 106140954 10916921344 10127 33554432000 4194304 4196468 140727455764160 140474202380784 140474715351682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21751] ppid=21736 vsize=10661056 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/21739/task/21751/stat : 21751 (java) S 21736 21739 21175 0 -1 1077944384 81 0 0 0 1 0 0 0 20 0 15 0 106140954 10916921344 10127 33554432000 4194304 4196468 140727455764160 140474201328240 140474715351682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21752] ppid=21736 vsize=10661056 memory=140458632545920 CPUtime=0.07 cores=0,2,4,6
/proc/21739/task/21752/stat : 21752 (java) S 21736 21739 21175 0 -1 1077944384 769 0 0 0 7 0 0 0 20 0 15 0 106140954 10916921344 10127 33554432000 4194304 4196468 140727455764160 140474200275696 140474715351682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21753] ppid=21736 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21739/task/21753/stat : 21753 (java) S 21736 21739 21175 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106140954 10916921344 10127 33554432000 4194304 4196468 140727455764160 140474199223392 140474715350741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21754] ppid=21736 vsize=10661056 memory=140458632545920 CPUtime=0 cores=0,2,4,6
/proc/21739/task/21754/stat : 21754 (java) S 21736 21739 21175 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106140954 10916921344 10127 33554432000 4194304 4196468 140727455764160 140474198169904 140474715351682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 40488 KiB
[startup+0.310164 s]*
/proc/loadavg: 1.96 1.73 1.69 6/218 21754
/proc/meminfo: memFree=27191584/32770624 swapFree=67108860/67108860
[pid=21739] ppid=21736 vsize=10661132 memory=50284 CPUtime=0.61 cores=0,2,4,6
/proc/21739/stat : 21739 (java) S 21736 21739 21175 0 -1 1077944320 9633 0 0 0 58 3 0 0 20 0 15 0 106140948 10916999168 12571 33554432000 4194304 4196468 140727455764160 140727455746704 140474715340535 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
/proc/21739/statm: 2665283 12571 3068 1 0 2627263 0
[pid=21739/tid=21741] ppid=21736 vsize=10661132 memory=7311146985107750967 CPUtime=0.29 cores=0,2,4,6
/proc/21739/task/21741/stat : 21741 (java) R 21736 21739 21175 0 -1 4202560 5481 0 0 0 28 1 0 0 20 0 15 0 106140948 10916999168 12571 33554432000 4194304 4196468 140727455764160 140474719574976 140474715362461 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21742] ppid=21736 vsize=10661132 memory=288230613314699287 CPUtime=0 cores=0,2,4,6
/proc/21739/task/21742/stat : 21742 (java) S 21736 21739 21175 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106140949 10916999168 12571 33554432000 4194304 4196468 140727455764160 140474641414928 140474715350741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21743] ppid=21736 vsize=10661132 memory=288370834784257664 CPUtime=0 cores=0,2,4,6
/proc/21739/task/21743/stat : 21743 (java) S 21736 21739 21175 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106140949 10916999168 12571 33554432000 4194304 4196468 140727455764160 140474640362384 140474715350741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21744] ppid=21736 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21739/task/21744/stat : 21744 (java) S 21736 21739 21175 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106140949 10916999168 12571 33554432000 4194304 4196468 140727455764160 140474639309840 140474715350741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21745] ppid=21736 vsize=10661132 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21739/task/21745/stat : 21745 (java) S 21736 21739 21175 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106140949 10916999168 12571 33554432000 4194304 4196468 140727455764160 140474638257296 140474715350741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21746] ppid=21736 vsize=10661132 memory=140458632545920 CPUtime=0 cores=0,2,4,6
/proc/21739/task/21746/stat : 21746 (java) S 21736 21739 21175 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106140951 10916999168 12571 33554432000 4194304 4196468 140727455764160 140474206590960 140474715351682 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21747] ppid=21736 vsize=10661132 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21739/task/21747/stat : 21747 (java) S 21736 21739 21175 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 106140951 10916999168 12571 33554432000 4194304 4196468 140727455764160 140474205537184 140474715350741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21748] ppid=21736 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21739/task/21748/stat : 21748 (java) S 21736 21739 21175 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106140951 10916999168 12571 33554432000 4194304 4196468 140727455764160 140474204484592 140474715350741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21749] ppid=21736 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21739/task/21749/stat : 21749 (java) S 21736 21739 21175 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106140954 10916999168 12571 33554432000 4194304 4196468 140727455764160 140474203433168 140474715359131 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21750] ppid=21736 vsize=10661132 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/21739/task/21750/stat : 21750 (java) S 21736 21739 21175 0 -1 1077944384 1129 0 0 0 8 0 0 0 20 0 15 0 106140954 10916999168 12571 33554432000 4194304 4196468 140727455764160 140474202380784 140474715351682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21751] ppid=21736 vsize=10661132 memory=-1 CPUtime=0.06 cores=0,2,4,6
/proc/21739/task/21751/stat : 21751 (java) R 21736 21739 21175 0 -1 4202560 584 0 0 0 6 0 0 0 20 0 15 0 106140954 10916999168 12571 33554432000 4194304 4196468 140727455764160 140474201309832 140474696858436 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21752] ppid=21736 vsize=10661132 memory=140458632545920 CPUtime=0.14 cores=0,2,4,6
/proc/21739/task/21752/stat : 21752 (java) S 21736 21739 21175 0 -1 1077944384 1070 0 0 0 14 0 0 0 20 0 15 0 106140954 10916999168 12571 33554432000 4194304 4196468 140727455764160 140474200275696 140474715351682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21753] ppid=21736 vsize=10661132 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/21739/task/21753/stat : 21753 (java) S 21736 21739 21175 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106140954 10916999168 12571 33554432000 4194304 4196468 140727455764160 140474199223392 140474715350741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21754] ppid=21736 vsize=10661132 memory=140458632545920 CPUtime=0 cores=0,2,4,6
/proc/21739/task/21754/stat : 21754 (java) S 21736 21739 21175 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106140954 10916999168 12571 33554432000 4194304 4196468 140727455764160 140474198169904 140474715351682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 50284 KiB
[startup+0.700744 s]
/proc/loadavg: 1.96 1.73 1.69 5/218 21754
/proc/meminfo: memFree=27172108/32770624 swapFree=67108860/67108860
[pid=21739] ppid=21736 vsize=10661132 memory=95808 CPUtime=1.81 cores=0,2,4,6
/proc/21739/stat : 21739 (java) S 21736 21739 21175 0 -1 1077944320 16900 0 0 0 176 5 0 0 20 0 15 0 106140948 10916999168 23886 33554432000 4194304 4196468 140727455764160 140727455746704 140474715340535 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
/proc/21739/statm: 2665283 23952 3112 1 0 2627263 0
[pid=21739/tid=21741] ppid=21736 vsize=10661132 memory=18104 CPUtime=0.68 cores=0,2,4,6
/proc/21739/task/21741/stat : 21741 (java) R 21736 21739 21175 0 -1 4202560 5707 0 0 0 66 2 0 0 20 0 15 0 106140948 10916999168 23952 33554432000 4194304 4196468 140727455764160 140474719566944 140727456491458 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21742] ppid=21736 vsize=10661132 memory=18220 CPUtime=0 cores=0,2,4,6
/proc/21739/task/21742/stat : 21742 (java) S 21736 21739 21175 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106140949 10916999168 23952 33554432000 4194304 4196468 140727455764160 140474641414928 140474715350741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21743] ppid=21736 vsize=10661132 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/21739/task/21743/stat : 21743 (java) S 21736 21739 21175 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106140949 10916999168 24018 33554432000 4194304 4196468 140727455764160 140474640362384 140474715350741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21744] ppid=21736 vsize=10661132 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/21739/task/21744/stat : 21744 (java) S 21736 21739 21175 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106140949 10916999168 24018 33554432000 4194304 4196468 140727455764160 140474639309840 140474715350741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21745] ppid=21736 vsize=10661132 memory=644 CPUtime=0 cores=0,2,4,6
/proc/21739/task/21745/stat : 21745 (java) S 21736 21739 21175 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106140949 10916999168 24018 33554432000 4194304 4196468 140727455764160 140474638257296 140474715350741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21746] ppid=21736 vsize=10661132 memory=952 CPUtime=0 cores=0,2,4,6
/proc/21739/task/21746/stat : 21746 (java) S 21736 21739 21175 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 106140951 10916999168 24018 33554432000 4194304 4196468 140727455764160 140474206590960 140474715351682 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21747] ppid=21736 vsize=10661132 memory=2376 CPUtime=0 cores=0,2,4,6
/proc/21739/task/21747/stat : 21747 (java) S 21736 21739 21175 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 106140951 10916999168 24084 33554432000 4194304 4196468 140727455764160 140474205537184 140474715350741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21748] ppid=21736 vsize=10661132 memory=1536 CPUtime=0 cores=0,2,4,6
/proc/21739/task/21748/stat : 21748 (java) S 21736 21739 21175 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106140951 10916999168 24084 33554432000 4194304 4196468 140727455764160 140474204484592 140474715350741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21749] ppid=21736 vsize=10661132 memory=7379241883359864663 CPUtime=0 cores=0,2,4,6
/proc/21739/task/21749/stat : 21749 (java) S 21736 21739 21175 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106140954 10916999168 24084 33554432000 4194304 4196468 140727455764160 140474203433168 140474715359131 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21750] ppid=21736 vsize=10661132 memory=6081108994580113768 CPUtime=0.42 cores=0,2,4,6
/proc/21739/task/21750/stat : 21750 (java) R 21736 21739 21175 0 -1 4202560 3755 0 0 0 42 0 0 0 20 0 15 0 106140954 10916999168 24084 33554432000 4194304 4196468 140727455764160 140474202365256 140474700448699 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21751] ppid=21736 vsize=10661132 memory=6154282490091891024 CPUtime=0.4 cores=0,2,4,6
/proc/21739/task/21751/stat : 21751 (java) R 21736 21739 21175 0 -1 4202560 4073 0 0 0 39 1 0 0 20 0 15 0 106140954 10916999168 24084 33554432000 4194304 4196468 140727455764160 140474201312904 140474701495822 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21752] ppid=21736 vsize=10661132 memory=0 CPUtime=0.26 cores=0,2,4,6
/proc/21739/task/21752/stat : 21752 (java) S 21736 21739 21175 0 -1 1077944384 2185 0 0 0 26 0 0 0 20 0 15 0 106140954 10916999168 24084 33554432000 4194304 4196468 140727455764160 140474200275696 140474715351682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21753] ppid=21736 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21739/task/21753/stat : 21753 (java) S 21736 21739 21175 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106140954 10916999168 24084 33554432000 4194304 4196468 140727455764160 140474199223392 140474715350741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21754] ppid=21736 vsize=10661132 memory=4576 CPUtime=0 cores=0,2,4,6
/proc/21739/task/21754/stat : 21754 (java) S 21736 21739 21175 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106140954 10916999168 24084 33554432000 4194304 4196468 140727455764160 140474198169904 140474715351682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
Current children cumulated CPU time: 1.81 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 95808 KiB
[startup+1.50078 s]
/proc/loadavg: 1.96 1.73 1.69 6/218 21754
/proc/meminfo: memFree=27115524/32770624 swapFree=67108860/67108860
[pid=21739] ppid=21736 vsize=10661132 memory=174172 CPUtime=3.57 cores=0,2,4,6
/proc/21739/stat : 21739 (java) S 21736 21739 21175 0 -1 1077944320 25195 0 0 0 350 7 0 0 20 0 15 0 106140948 10916999168 43543 33554432000 4194304 4196468 140727455764160 140727455746704 140474715340535 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
/proc/21739/statm: 2665283 43543 3120 1 0 2627263 0
[pid=21739/tid=21741] ppid=21736 vsize=10661132 memory=153616 CPUtime=1.48 cores=0,2,4,6
/proc/21739/task/21741/stat : 21741 (java) R 21736 21739 21175 0 -1 4202560 6157 0 0 0 144 4 0 0 20 0 15 0 106140948 10916999168 43543 33554432000 4194304 4196468 140727455764160 140474719577024 140727456491458 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21742] ppid=21736 vsize=10661132 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/21739/task/21742/stat : 21742 (java) S 21736 21739 21175 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106140949 10916999168 43543 33554432000 4194304 4196468 140727455764160 140474641414928 140474715350741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21743] ppid=21736 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21739/task/21743/stat : 21743 (java) S 21736 21739 21175 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106140949 10916999168 43543 33554432000 4194304 4196468 140727455764160 140474640362384 140474715350741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21744] ppid=21736 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21739/task/21744/stat : 21744 (java) S 21736 21739 21175 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106140949 10916999168 43543 33554432000 4194304 4196468 140727455764160 140474639309840 140474715350741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21745] ppid=21736 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21739/task/21745/stat : 21745 (java) S 21736 21739 21175 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106140949 10916999168 43543 33554432000 4194304 4196468 140727455764160 140474638257296 140474715350741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21746] ppid=21736 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/21739/task/21746/stat : 21746 (java) S 21736 21739 21175 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 106140951 10916999168 43543 33554432000 4194304 4196468 140727455764160 140474206590960 140474715351682 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
################
# More data... #
################
/proc/21739/task/21741/stat : 21741 (java) R 21736 21739 21175 0 -1 4202560 16467 0 0 0 241771 1659 0 0 20 0 15 0 106140948 10916999168 34179 33554432000 4194304 4196468 140727455764160 140474719581504 140727456491458 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21742] ppid=21736 vsize=10661132 memory=136716 CPUtime=3.55 cores=0,2,4,6
/proc/21739/task/21742/stat : 21742 (java) S 21736 21739 21175 0 -1 1077944384 3431 0 0 0 340 15 0 0 20 0 15 0 106140949 10916999168 34179 33554432000 4194304 4196468 140727455764160 140474641414928 140474715350741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21743] ppid=21736 vsize=10661132 memory=136716 CPUtime=3.53 cores=0,2,4,6
/proc/21739/task/21743/stat : 21743 (java) S 21736 21739 21175 0 -1 1077944384 3576 0 0 0 338 15 0 0 20 0 15 0 106140949 10916999168 34179 33554432000 4194304 4196468 140727455764160 140474640362384 140474715350741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21744] ppid=21736 vsize=10661132 memory=6791534058613427641 CPUtime=3.52 cores=0,2,4,6
/proc/21739/task/21744/stat : 21744 (java) S 21736 21739 21175 0 -1 1077944384 3148 0 0 0 336 16 0 0 20 0 15 0 106140949 10916999168 34179 33554432000 4194304 4196468 140727455764160 140474639309840 140474715350741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21745] ppid=21736 vsize=10661132 memory=136716 CPUtime=3.54 cores=0,2,4,6
/proc/21739/task/21745/stat : 21745 (java) S 21736 21739 21175 0 -1 1077944384 2606 0 0 0 339 15 0 0 20 0 15 0 106140949 10916999168 34179 33554432000 4194304 4196468 140727455764160 140474638257296 140474715350741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21746] ppid=21736 vsize=10661132 memory=136716 CPUtime=2.5 cores=0,2,4,6
/proc/21739/task/21746/stat : 21746 (java) S 21736 21739 21175 0 -1 1077944384 5113 0 0 0 234 16 0 0 20 0 15 0 106140951 10916999168 34179 33554432000 4194304 4196468 140727455764160 140474206590960 140474715351682 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21747] ppid=21736 vsize=10661132 memory=136716 CPUtime=0 cores=0,2,4,6
/proc/21739/task/21747/stat : 21747 (java) S 21736 21739 21175 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 106140951 10916999168 34179 33554432000 4194304 4196468 140727455764160 140474205537184 140474715350741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21748] ppid=21736 vsize=10661132 memory=136716 CPUtime=0 cores=0,2,4,6
/proc/21739/task/21748/stat : 21748 (java) S 21736 21739 21175 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 106140951 10916999168 34179 33554432000 4194304 4196468 140727455764160 140474204484592 140474715350741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21749] ppid=21736 vsize=10661132 memory=136716 CPUtime=0 cores=0,2,4,6
/proc/21739/task/21749/stat : 21749 (java) S 21736 21739 21175 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106140954 10916999168 34179 33554432000 4194304 4196468 140727455764160 140474203433168 140474715359131 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21750] ppid=21736 vsize=10661132 memory=136716 CPUtime=1.1 cores=0,2,4,6
/proc/21739/task/21750/stat : 21750 (java) S 21736 21739 21175 0 -1 1077944384 8043 0 0 0 109 1 0 0 20 0 15 0 106140954 10916999168 34179 33554432000 4194304 4196468 140727455764160 140474202380784 140474715351682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21751] ppid=21736 vsize=10661132 memory=136716 CPUtime=1.09 cores=0,2,4,6
/proc/21739/task/21751/stat : 21751 (java) S 21736 21739 21175 0 -1 1077944384 9847 0 0 0 107 2 0 0 20 0 15 0 106140954 10916999168 34179 33554432000 4194304 4196468 140727455764160 140474201328240 140474715351682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21752] ppid=21736 vsize=10661132 memory=136716 CPUtime=0.33 cores=0,2,4,6
/proc/21739/task/21752/stat : 21752 (java) S 21736 21739 21175 0 -1 1077944384 3380 0 0 0 32 1 0 0 20 0 15 0 106140954 10916999168 34179 33554432000 4194304 4196468 140727455764160 140474200275696 140474715351682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21753] ppid=21736 vsize=10661132 memory=136716 CPUtime=0 cores=0,2,4,6
/proc/21739/task/21753/stat : 21753 (java) S 21736 21739 21175 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106140954 10916999168 34179 33554432000 4194304 4196468 140727455764160 140474199223392 140474715350741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21754] ppid=21736 vsize=10661132 memory=136716 CPUtime=0.85 cores=0,2,4,6
/proc/21739/task/21754/stat : 21754 (java) S 21736 21739 21175 0 -1 1077944384 1139 0 0 0 43 42 0 0 20 0 15 0 106140954 10916999168 34179 33554432000 4194304 4196468 140727455764160 140474198169904 140474715351682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
Current children cumulated CPU time: 2454.41 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 136716 KiB
[startup+2502.3 s]
/proc/loadavg: 1.66 1.52 1.44 3/219 21953
/proc/meminfo: memFree=27049740/32770624 swapFree=67108860/67108860
[pid=21739] ppid=21736 vsize=10661132 memory=136716 CPUtime=2514.58 cores=0,2,4,6
/proc/21739/stat : 21739 (java) S 21736 21739 21175 0 -1 1077944320 58878 0 0 0 249656 1802 0 0 20 0 15 0 106140948 10916999168 34179 33554432000 4194304 4196468 140727455764160 140727455746704 140474715340535 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
/proc/21739/statm: 2665283 34179 3158 1 0 2627263 0
[pid=21739/tid=21741] ppid=21736 vsize=10661132 memory=136716 CPUtime=2494.11 cores=0,2,4,6
/proc/21739/task/21741/stat : 21741 (java) R 21736 21739 21175 0 -1 4202560 16724 0 0 0 247713 1698 0 0 20 0 15 0 106140948 10916999168 34179 33554432000 4194304 4196468 140727455764160 140474719581504 140474304505406 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21742] ppid=21736 vsize=10661132 memory=136716 CPUtime=3.62 cores=0,2,4,6
/proc/21739/task/21742/stat : 21742 (java) S 21736 21739 21175 0 -1 1077944384 3437 0 0 0 347 15 0 0 20 0 15 0 106140949 10916999168 34179 33554432000 4194304 4196468 140727455764160 140474641414928 140474715350741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21743] ppid=21736 vsize=10661132 memory=136716 CPUtime=3.61 cores=0,2,4,6
/proc/21739/task/21743/stat : 21743 (java) S 21736 21739 21175 0 -1 1077944384 3808 0 0 0 346 15 0 0 20 0 15 0 106140949 10916999168 34179 33554432000 4194304 4196468 140727455764160 140474640362384 140474715350741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21744] ppid=21736 vsize=10661132 memory=136716 CPUtime=3.59 cores=0,2,4,6
/proc/21739/task/21744/stat : 21744 (java) S 21736 21739 21175 0 -1 1077944384 3151 0 0 0 343 16 0 0 20 0 15 0 106140949 10916999168 34179 33554432000 4194304 4196468 140727455764160 140474639309840 140474715350741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21745] ppid=21736 vsize=10661132 memory=136716 CPUtime=3.63 cores=0,2,4,6
/proc/21739/task/21745/stat : 21745 (java) S 21736 21739 21175 0 -1 1077944384 2637 0 0 0 347 16 0 0 20 0 15 0 106140949 10916999168 34179 33554432000 4194304 4196468 140727455764160 140474638257296 140474715350741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21746] ppid=21736 vsize=10661132 memory=136716 CPUtime=2.55 cores=0,2,4,6
/proc/21739/task/21746/stat : 21746 (java) S 21736 21739 21175 0 -1 1077944384 5281 0 0 0 238 17 0 0 20 0 15 0 106140951 10916999168 34179 33554432000 4194304 4196468 140727455764160 140474206590960 140474715351682 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21747] ppid=21736 vsize=10661132 memory=3560 CPUtime=0 cores=0,2,4,6
/proc/21739/task/21747/stat : 21747 (java) S 21736 21739 21175 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 106140951 10916999168 34179 33554432000 4194304 4196468 140727455764160 140474205537184 140474715350741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21748] ppid=21736 vsize=10661132 memory=136716 CPUtime=0 cores=0,2,4,6
/proc/21739/task/21748/stat : 21748 (java) S 21736 21739 21175 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 106140951 10916999168 34179 33554432000 4194304 4196468 140727455764160 140474204484592 140474715350741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21749] ppid=21736 vsize=10661132 memory=8484 CPUtime=0 cores=0,2,4,6
/proc/21739/task/21749/stat : 21749 (java) S 21736 21739 21175 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106140954 10916999168 34179 33554432000 4194304 4196468 140727455764160 140474203433168 140474715359131 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21750] ppid=21736 vsize=10661132 memory=136716 CPUtime=1.1 cores=0,2,4,6
/proc/21739/task/21750/stat : 21750 (java) S 21736 21739 21175 0 -1 1077944384 8045 0 0 0 109 1 0 0 20 0 15 0 106140954 10916999168 34179 33554432000 4194304 4196468 140727455764160 140474202380784 140474715351682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21751] ppid=21736 vsize=10661132 memory=968 CPUtime=1.09 cores=0,2,4,6
/proc/21739/task/21751/stat : 21751 (java) S 21736 21739 21175 0 -1 1077944384 9849 0 0 0 107 2 0 0 20 0 15 0 106140954 10916999168 34179 33554432000 4194304 4196468 140727455764160 140474201328240 140474715351682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21752] ppid=21736 vsize=10661132 memory=136716 CPUtime=0.33 cores=0,2,4,6
/proc/21739/task/21752/stat : 21752 (java) S 21736 21739 21175 0 -1 1077944384 3382 0 0 0 32 1 0 0 20 0 15 0 106140954 10916999168 34179 33554432000 4194304 4196468 140727455764160 140474200275696 140474715351682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21753] ppid=21736 vsize=10661132 memory=136716 CPUtime=0 cores=0,2,4,6
/proc/21739/task/21753/stat : 21753 (java) S 21736 21739 21175 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106140954 10916999168 34179 33554432000 4194304 4196468 140727455764160 140474199223392 140474715350741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21754] ppid=21736 vsize=10661132 memory=136716 CPUtime=0.87 cores=0,2,4,6
/proc/21739/task/21754/stat : 21754 (java) S 21736 21739 21175 0 -1 1077944384 1154 0 0 0 45 42 0 0 20 0 15 0 106140954 10916999168 34179 33554432000 4194304 4196468 140727455764160 140474198169904 140474715351682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
Current children cumulated CPU time: 2514.58 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 136716 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2507.7 s]
/proc/loadavg: 1.60 1.51 1.44 3/219 21953
/proc/meminfo: memFree=27049740/32770624 swapFree=67108860/67108860
[pid=21739] ppid=21736 vsize=10661132 memory=136716 CPUtime=2520 cores=0,2,4,6
/proc/21739/stat : 21739 (java) S 21736 21739 21175 0 -1 1077944320 58888 0 0 0 250194 1806 0 0 20 0 15 0 106140948 10916999168 34179 33554432000 4194304 4196468 140727455764160 140727455746704 140474715340535 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
/proc/21739/statm: 2665283 34179 3158 1 0 2627263 0
[pid=21739/tid=21741] ppid=21736 vsize=10661132 memory=136716 CPUtime=2499.49 cores=0,2,4,6
/proc/21739/task/21741/stat : 21741 (java) R 21736 21739 21175 0 -1 4202560 16733 0 0 0 248248 1701 0 0 20 0 15 0 106140948 10916999168 34179 33554432000 4194304 4196468 140727455764160 140474719580160 140727456491458 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21742] ppid=21736 vsize=10661132 memory=136716 CPUtime=3.63 cores=0,2,4,6
/proc/21739/task/21742/stat : 21742 (java) S 21736 21739 21175 0 -1 1077944384 3437 0 0 0 348 15 0 0 20 0 15 0 106140949 10916999168 34179 33554432000 4194304 4196468 140727455764160 140474641414928 140474715350741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21743] ppid=21736 vsize=10661132 memory=136716 CPUtime=3.62 cores=0,2,4,6
/proc/21739/task/21743/stat : 21743 (java) S 21736 21739 21175 0 -1 1077944384 3809 0 0 0 347 15 0 0 20 0 15 0 106140949 10916999168 34179 33554432000 4194304 4196468 140727455764160 140474640362384 140474715350741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21744] ppid=21736 vsize=10661132 memory=136716 CPUtime=3.6 cores=0,2,4,6
/proc/21739/task/21744/stat : 21744 (java) S 21736 21739 21175 0 -1 1077944384 3151 0 0 0 344 16 0 0 20 0 15 0 106140949 10916999168 34179 33554432000 4194304 4196468 140727455764160 140474639309840 140474715350741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21745] ppid=21736 vsize=10661132 memory=136716 CPUtime=3.63 cores=0,2,4,6
/proc/21739/task/21745/stat : 21745 (java) S 21736 21739 21175 0 -1 1077944384 2637 0 0 0 347 16 0 0 20 0 15 0 106140949 10916999168 34179 33554432000 4194304 4196468 140727455764160 140474638257296 140474715350741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21746] ppid=21736 vsize=10661132 memory=136716 CPUtime=2.56 cores=0,2,4,6
/proc/21739/task/21746/stat : 21746 (java) S 21736 21739 21175 0 -1 1077944384 5281 0 0 0 239 17 0 0 20 0 15 0 106140951 10916999168 34179 33554432000 4194304 4196468 140727455764160 140474206590960 140474715351682 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21747] ppid=21736 vsize=10661132 memory=136716 CPUtime=0 cores=0,2,4,6
/proc/21739/task/21747/stat : 21747 (java) S 21736 21739 21175 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 106140951 10916999168 34179 33554432000 4194304 4196468 140727455764160 140474205537184 140474715350741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21748] ppid=21736 vsize=10661132 memory=136716 CPUtime=0 cores=0,2,4,6
/proc/21739/task/21748/stat : 21748 (java) S 21736 21739 21175 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 106140951 10916999168 34179 33554432000 4194304 4196468 140727455764160 140474204484592 140474715350741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21749] ppid=21736 vsize=10661132 memory=136716 CPUtime=0 cores=0,2,4,6
/proc/21739/task/21749/stat : 21749 (java) S 21736 21739 21175 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106140954 10916999168 34179 33554432000 4194304 4196468 140727455764160 140474203433168 140474715359131 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21750] ppid=21736 vsize=10661132 memory=136716 CPUtime=1.1 cores=0,2,4,6
/proc/21739/task/21750/stat : 21750 (java) S 21736 21739 21175 0 -1 1077944384 8045 0 0 0 109 1 0 0 20 0 15 0 106140954 10916999168 34179 33554432000 4194304 4196468 140727455764160 140474202380784 140474715351682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21751] ppid=21736 vsize=10661132 memory=136716 CPUtime=1.09 cores=0,2,4,6
/proc/21739/task/21751/stat : 21751 (java) S 21736 21739 21175 0 -1 1077944384 9849 0 0 0 107 2 0 0 20 0 15 0 106140954 10916999168 34179 33554432000 4194304 4196468 140727455764160 140474201328240 140474715351682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21752] ppid=21736 vsize=10661132 memory=136716 CPUtime=0.33 cores=0,2,4,6
/proc/21739/task/21752/stat : 21752 (java) S 21736 21739 21175 0 -1 1077944384 3382 0 0 0 32 1 0 0 20 0 15 0 106140954 10916999168 34179 33554432000 4194304 4196468 140727455764160 140474200275696 140474715351682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21753] ppid=21736 vsize=10661132 memory=136716 CPUtime=0 cores=0,2,4,6
/proc/21739/task/21753/stat : 21753 (java) S 21736 21739 21175 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106140954 10916999168 34179 33554432000 4194304 4196468 140727455764160 140474199223392 140474715350741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21754] ppid=21736 vsize=10661132 memory=136716 CPUtime=0.87 cores=0,2,4,6
/proc/21739/task/21754/stat : 21754 (java) S 21736 21739 21175 0 -1 1077944384 1154 0 0 0 45 42 0 0 20 0 15 0 106140954 10916999168 34179 33554432000 4194304 4196468 140727455764160 140474198169904 140474715351682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 136716 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2507.72 s]
# the end of solver process 21739 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2501.96 s, system=18.0671 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2507.7 s]
/proc/loadavg: 1.60 1.51 1.44 3/219 21953
/proc/meminfo: memFree=27049740/32770624 swapFree=67108860/67108860
[pid=21739] ppid=21736 vsize=10661132 memory=136716 CPUtime=2520 cores=0,2,4,6
/proc/21739/stat : 21739 (java) S 21736 21739 21175 0 -1 1077944320 58888 0 0 0 250194 1806 0 0 20 0 15 0 106140948 10916999168 34179 33554432000 4194304 4196468 140727455764160 140727455746704 140474715340535 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
/proc/21739/statm: 2665283 34179 3158 1 0 2627263 0
[pid=21739/tid=21741] ppid=21736 vsize=10661132 memory=136716 CPUtime=2499.49 cores=0,2,4,6
/proc/21739/task/21741/stat : 21741 (java) R 21736 21739 21175 0 -1 4202560 16733 0 0 0 248248 1701 0 0 20 0 15 0 106140948 10916999168 34179 33554432000 4194304 4196468 140727455764160 140474719580160 140727456491458 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21742] ppid=21736 vsize=10661132 memory=136716 CPUtime=3.63 cores=0,2,4,6
/proc/21739/task/21742/stat : 21742 (java) S 21736 21739 21175 0 -1 1077944384 3437 0 0 0 348 15 0 0 20 0 15 0 106140949 10916999168 34179 33554432000 4194304 4196468 140727455764160 140474641414928 140474715350741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21743] ppid=21736 vsize=10661132 memory=136716 CPUtime=3.62 cores=0,2,4,6
/proc/21739/task/21743/stat : 21743 (java) S 21736 21739 21175 0 -1 1077944384 3809 0 0 0 347 15 0 0 20 0 15 0 106140949 10916999168 34179 33554432000 4194304 4196468 140727455764160 140474640362384 140474715350741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21744] ppid=21736 vsize=10661132 memory=136716 CPUtime=3.6 cores=0,2,4,6
/proc/21739/task/21744/stat : 21744 (java) S 21736 21739 21175 0 -1 1077944384 3151 0 0 0 344 16 0 0 20 0 15 0 106140949 10916999168 34179 33554432000 4194304 4196468 140727455764160 140474639309840 140474715350741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21745] ppid=21736 vsize=10661132 memory=136716 CPUtime=3.63 cores=0,2,4,6
/proc/21739/task/21745/stat : 21745 (java) S 21736 21739 21175 0 -1 1077944384 2637 0 0 0 347 16 0 0 20 0 15 0 106140949 10916999168 34179 33554432000 4194304 4196468 140727455764160 140474638257296 140474715350741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21746] ppid=21736 vsize=10661132 memory=136716 CPUtime=2.56 cores=0,2,4,6
/proc/21739/task/21746/stat : 21746 (java) S 21736 21739 21175 0 -1 1077944384 5281 0 0 0 239 17 0 0 20 0 15 0 106140951 10916999168 34179 33554432000 4194304 4196468 140727455764160 140474206590960 140474715351682 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21747] ppid=21736 vsize=10661132 memory=136716 CPUtime=0 cores=0,2,4,6
/proc/21739/task/21747/stat : 21747 (java) S 21736 21739 21175 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 106140951 10916999168 34179 33554432000 4194304 4196468 140727455764160 140474205537184 140474715350741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21748] ppid=21736 vsize=10661132 memory=136716 CPUtime=0 cores=0,2,4,6
/proc/21739/task/21748/stat : 21748 (java) S 21736 21739 21175 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 106140951 10916999168 34179 33554432000 4194304 4196468 140727455764160 140474204484592 140474715350741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21749] ppid=21736 vsize=10661132 memory=136716 CPUtime=0 cores=0,2,4,6
/proc/21739/task/21749/stat : 21749 (java) S 21736 21739 21175 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106140954 10916999168 34179 33554432000 4194304 4196468 140727455764160 140474203433168 140474715359131 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21750] ppid=21736 vsize=10661132 memory=136716 CPUtime=1.1 cores=0,2,4,6
/proc/21739/task/21750/stat : 21750 (java) S 21736 21739 21175 0 -1 1077944384 8045 0 0 0 109 1 0 0 20 0 15 0 106140954 10916999168 34179 33554432000 4194304 4196468 140727455764160 140474202380784 140474715351682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21751] ppid=21736 vsize=10661132 memory=136716 CPUtime=1.09 cores=0,2,4,6
/proc/21739/task/21751/stat : 21751 (java) S 21736 21739 21175 0 -1 1077944384 9849 0 0 0 107 2 0 0 20 0 15 0 106140954 10916999168 34179 33554432000 4194304 4196468 140727455764160 140474201328240 140474715351682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21752] ppid=21736 vsize=10661132 memory=136716 CPUtime=0.33 cores=0,2,4,6
/proc/21739/task/21752/stat : 21752 (java) S 21736 21739 21175 0 -1 1077944384 3382 0 0 0 32 1 0 0 20 0 15 0 106140954 10916999168 34179 33554432000 4194304 4196468 140727455764160 140474200275696 140474715351682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21753] ppid=21736 vsize=10661132 memory=136716 CPUtime=0 cores=0,2,4,6
/proc/21739/task/21753/stat : 21753 (java) S 21736 21739 21175 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106140954 10916999168 34179 33554432000 4194304 4196468 140727455764160 140474199223392 140474715350741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
[pid=21739/tid=21754] ppid=21736 vsize=10661132 memory=136716 CPUtime=0.87 cores=0,2,4,6
/proc/21739/task/21754/stat : 21754 (java) S 21736 21739 21175 0 -1 1077944384 1154 0 0 0 45 42 0 0 20 0 15 0 106140954 10916999168 34179 33554432000 4194304 4196468 140727455764160 140474198169904 140474715351682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9551872 140727455769756 140727455769865 140727455769865 140727455772623 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 136716 KiB
Child status: 143
Real time (s): 2507.72
CPU time (s): 2520.03
CPU user time (s): 2501.96
CPU system time (s): 18.0671
CPU usage (%): 100.491
Max. virtual memory (cumulated for all children) (KiB): 10663008
Max. memory (cumulated for all children) (KiB): 221668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2501.96
system time used= 18.0671
maximum resident set size= 221672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59163
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 127755
involuntary context switches= 6751
# summary of solver processes directly reported to runsolver:
# pid: 21739
# total CPU time (s): 2520.03
# total CPU user time (s): 2501.96
# total CPU system time (s): 18.0671
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.3191 second user time and 21.4021 second system time
The end