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 (10769 MiB free)
memory of node 1: 16384 MiB (13654 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304962-1534097135/watcher-4304962-1534097135 -o /tmp/evaluation-result-4304962-1534097135/solver-4304962-1534097135 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1534097135-27929 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1567206441 -superng HOME/instance-4304962-1534097135.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=27957, runsolver pid=27951
Current StackSize limit: 8192 KiB
[startup+0.100082 s]*
/proc/loadavg: 1.00 1.01 1.05 5/193 28044
/proc/meminfo: memFree=25003536/32770624 swapFree=67058900/67108860
[pid=27957] ppid=27951 vsize=113256 memory=1612 CPUtime=0.08 cores=1,3,5,7
/proc/27957/stat : 27957 (bash) R 27951 27957 20606 0 -1 4202496 973 12470 0 1 0 0 5 3 20 0 1 0 227276739 115974144 403 33554432000 4194304 5098028 140734629165472 140734629158456 140711847711872 0 0 4100 65536 0 0 0 17 5 0 0 0 0 0 7196144 7232144 18964480 140734629172386 140734629172520 140734629172520 140734629175278 0
/proc/27957/statm: 28314 403 319 221 0 119 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 113256 KiB
Current children cumulated memory: 1612 KiB
[startup+0.209938 s]*
/proc/loadavg: 1.00 1.01 1.05 7/216 28089
/proc/meminfo: memFree=24958852/32770624 swapFree=67058900/67108860
[pid=27957] ppid=27951 vsize=10982744 memory=39616 CPUtime=0.23 cores=1,3,5,7
/proc/27957/stat : 27957 (java) S 27951 27957 20606 0 -1 1077944320 6632 13160 0 1 13 2 5 3 20 0 15 0 227276739 11246329856 9904 33554432000 4194304 4196468 140725419331680 140725419314224 139787276087031 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
/proc/27957/statm: 2745686 9904 2957 1 0 2708109 0
[pid=27957/tid=28063] ppid=27951 vsize=10982744 memory=7022364594140610616 CPUtime=0.17 cores=1,3,5,7
/proc/27957/task/28063/stat : 28063 (java) R 27951 27957 20606 0 -1 4202560 3165 13160 0 1 8 1 5 3 20 0 15 0 227276751 11246329856 9904 33554432000 4194304 4196468 140725419331680 139787247911448 139787260167518 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28064] ppid=27951 vsize=10982744 memory=365 CPUtime=0.08 cores=1,3,5,7
/proc/27957/task/28064/stat : 28064 (java) S 27951 27957 20606 0 -1 1077944384 1 13160 0 1 0 0 5 3 20 0 15 0 227276751 11246329856 9904 33554432000 4194304 4196468 140725419331680 139787280329232 139787276097237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28065] ppid=27951 vsize=10982744 memory=288370492113966720 CPUtime=0.08 cores=1,3,5,7
/proc/27957/task/28065/stat : 28065 (java) S 27951 27957 20606 0 -1 1077944384 1 13160 0 1 0 0 5 3 20 0 15 0 227276751 11246329856 9904 33554432000 4194304 4196468 140725419331680 139787161594512 139787276097237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28066] ppid=27951 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27957/task/28066/stat : 28066 (java) S 27951 27957 20606 0 -1 1077944384 1 13160 0 1 0 0 5 3 20 0 15 0 227276751 11246329856 9904 33554432000 4194304 4196468 140725419331680 139786814413072 139787276097237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28067] ppid=27951 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/27957/task/28067/stat : 28067 (java) S 27951 27957 20606 0 -1 1077944384 2 13160 0 1 0 0 5 3 20 0 15 0 227276751 11246329856 9904 33554432000 4194304 4196468 140725419331680 139786813360528 139787276097237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28072] ppid=27951 vsize=10982744 memory=140115962254976 CPUtime=0.08 cores=1,3,5,7
/proc/27957/task/28072/stat : 28072 (java) S 27951 27957 20606 0 -1 1077944384 2 13160 0 1 0 0 5 3 20 0 15 0 227276753 11246329856 9904 33554432000 4194304 4196468 140725419331680 139786769107696 139787276098178 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28074] ppid=27951 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/27957/task/28074/stat : 28074 (java) S 27951 27957 20606 0 -1 1077944384 13 13160 0 1 0 0 5 3 20 0 15 0 227276753 11246329856 9904 33554432000 4194304 4196468 140725419331680 139786085983904 139787276097237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28076] ppid=27951 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27957/task/28076/stat : 28076 (java) S 27951 27957 20606 0 -1 1077944384 21 13160 0 1 0 0 5 3 20 0 15 0 227276754 11246329856 9904 33554432000 4194304 4196468 140725419331680 139786018870512 139787276097237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28078] ppid=27951 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27957/task/28078/stat : 28078 (java) S 27951 27957 20606 0 -1 1077944384 3 13160 0 1 0 0 5 3 20 0 15 0 227276756 11246329856 9904 33554432000 4194304 4196468 140725419331680 139785711475152 139787276105627 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28079] ppid=27951 vsize=10982744 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/27957/task/28079/stat : 28079 (java) S 27951 27957 20606 0 -1 1077944384 547 13160 0 1 1 0 5 3 20 0 15 0 227276756 11246329856 9904 33554432000 4194304 4196468 140725419331680 139786768054512 139787276098178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28080] ppid=27951 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/27957/task/28080/stat : 28080 (java) S 27951 27957 20606 0 -1 1077944384 61 13160 0 1 0 0 5 3 20 0 15 0 227276756 11246329856 9904 33554432000 4194304 4196468 140725419331680 139786767001968 139787276098178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28081] ppid=27951 vsize=10982744 memory=140115962254976 CPUtime=0.1 cores=1,3,5,7
/proc/27957/task/28081/stat : 28081 (java) R 27951 27957 20606 0 -1 4202560 620 13160 0 1 2 0 5 3 20 0 15 0 227276756 11246329856 9904 33554432000 4194304 4196468 140725419331680 139786765948912 139787256413856 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28086] ppid=27951 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/27957/task/28086/stat : 28086 (java) S 27951 27957 20606 0 -1 1077944384 3 13160 0 1 0 0 5 3 20 0 15 0 227276756 11246329856 9904 33554432000 4194304 4196468 140725419331680 139785280678240 139787276097237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28088] ppid=27951 vsize=10982744 memory=140115962254976 CPUtime=0.08 cores=1,3,5,7
/proc/27957/task/28088/stat : 28088 (java) S 27951 27957 20606 0 -1 1077944384 1 13160 0 1 0 0 5 3 20 0 15 0 227276757 11246329856 9904 33554432000 4194304 4196468 140725419331680 139786764897328 139787276098178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 39616 KiB
[startup+0.310599 s]*
/proc/loadavg: 1.00 1.01 1.05 7/216 28089
/proc/meminfo: memFree=24932108/32770624 swapFree=67058900/67108860
[pid=27957] ppid=27951 vsize=10983192 memory=53124 CPUtime=0.37 cores=1,3,5,7
/proc/27957/stat : 27957 (java) S 27951 27957 20606 0 -1 1077944320 9857 13160 0 1 26 3 5 3 20 0 15 0 227276739 11246788608 13281 33554432000 4194304 4196468 140725419331680 140725419314224 139787276087031 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
/proc/27957/statm: 2745798 13281 3076 1 0 2708109 0
[pid=27957/tid=28063] ppid=27951 vsize=10983192 memory=576461178948550685 CPUtime=0.27 cores=1,3,5,7
/proc/27957/task/28063/stat : 28063 (java) R 27951 27957 20606 0 -1 4202560 6374 13160 0 1 17 2 5 3 20 0 15 0 227276751 11246788608 13281 33554432000 4194304 4196468 140725419331680 139787247899040 139787276098966 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28064] ppid=27951 vsize=10983192 memory=304274695493255191 CPUtime=0.08 cores=1,3,5,7
/proc/27957/task/28064/stat : 28064 (java) S 27951 27957 20606 0 -1 1077944384 1 13160 0 1 0 0 5 3 20 0 15 0 227276751 11246788608 13281 33554432000 4194304 4196468 140725419331680 139787280329232 139787276097237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28065] ppid=27951 vsize=10983192 memory=297430606173210240 CPUtime=0.08 cores=1,3,5,7
/proc/27957/task/28065/stat : 28065 (java) S 27951 27957 20606 0 -1 1077944384 1 13160 0 1 0 0 5 3 20 0 15 0 227276751 11246788608 13281 33554432000 4194304 4196468 140725419331680 139787161594512 139787276097237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28066] ppid=27951 vsize=10983192 memory=8508281403248052365 CPUtime=0.08 cores=1,3,5,7
/proc/27957/task/28066/stat : 28066 (java) S 27951 27957 20606 0 -1 1077944384 1 13160 0 1 0 0 5 3 20 0 15 0 227276751 11246788608 13281 33554432000 4194304 4196468 140725419331680 139786814413072 139787276097237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28067] ppid=27951 vsize=10983192 memory=3472328296227680303 CPUtime=0.08 cores=1,3,5,7
/proc/27957/task/28067/stat : 28067 (java) S 27951 27957 20606 0 -1 1077944384 2 13160 0 1 0 0 5 3 20 0 15 0 227276751 11246788608 13281 33554432000 4194304 4196468 140725419331680 139786813360528 139787276097237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28072] ppid=27951 vsize=10983192 memory=3472468412189935280 CPUtime=0.08 cores=1,3,5,7
/proc/27957/task/28072/stat : 28072 (java) S 27951 27957 20606 0 -1 1077944384 2 13160 0 1 0 0 5 3 20 0 15 0 227276753 11246788608 13281 33554432000 4194304 4196468 140725419331680 139786769107696 139787276098178 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28074] ppid=27951 vsize=10983192 memory=7378697629483820645 CPUtime=0.08 cores=1,3,5,7
/proc/27957/task/28074/stat : 28074 (java) S 27951 27957 20606 0 -1 1077944384 13 13160 0 1 0 0 5 3 20 0 15 0 227276753 11246788608 13281 33554432000 4194304 4196468 140725419331680 139786085983904 139787276097237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28076] ppid=27951 vsize=10983192 memory=-8312670058677691234 CPUtime=0.08 cores=1,3,5,7
/proc/27957/task/28076/stat : 28076 (java) S 27951 27957 20606 0 -1 1077944384 21 13160 0 1 0 0 5 3 20 0 15 0 227276754 11246788608 13281 33554432000 4194304 4196468 140725419331680 139786018870512 139787276097237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28078] ppid=27951 vsize=10983192 memory=6655300316396806240 CPUtime=0.08 cores=1,3,5,7
/proc/27957/task/28078/stat : 28078 (java) S 27951 27957 20606 0 -1 1077944384 3 13160 0 1 0 0 5 3 20 0 15 0 227276756 11246788608 13281 33554432000 4194304 4196468 140725419331680 139785711475152 139787276105627 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28079] ppid=27951 vsize=10983192 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/27957/task/28079/stat : 28079 (java) S 27951 27957 20606 0 -1 1077944384 549 13160 0 1 2 0 5 3 20 0 15 0 227276756 11246788608 13281 33554432000 4194304 4196468 140725419331680 139786768054512 139787276098178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28080] ppid=27951 vsize=10983192 memory=8389772264424737328 CPUtime=0.09 cores=1,3,5,7
/proc/27957/task/28080/stat : 28080 (java) S 27951 27957 20606 0 -1 1077944384 64 13160 0 1 1 0 5 3 20 0 15 0 227276756 11246788608 13281 33554432000 4194304 4196468 140725419331680 139786767001968 139787276098178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28081] ppid=27951 vsize=10983192 memory=140115962254976 CPUtime=0.13 cores=1,3,5,7
/proc/27957/task/28081/stat : 28081 (java) R 27951 27957 20606 0 -1 4202560 628 13160 0 1 5 0 5 3 20 0 15 0 227276756 11246788608 13281 33554432000 4194304 4196468 140725419331680 139786765948912 139787276108378 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28086] ppid=27951 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/27957/task/28086/stat : 28086 (java) S 27951 27957 20606 0 -1 1077944384 3 13160 0 1 0 0 5 3 20 0 15 0 227276756 11246788608 13281 33554432000 4194304 4196468 140725419331680 139785280678240 139787276097237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28088] ppid=27951 vsize=10983192 memory=140115962254976 CPUtime=0.08 cores=1,3,5,7
/proc/27957/task/28088/stat : 28088 (java) S 27951 27957 20606 0 -1 1077944384 1 13160 0 1 0 0 5 3 20 0 15 0 227276757 11246788608 13281 33554432000 4194304 4196468 140725419331680 139786764897328 139787276098178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 53124 KiB
[startup+0.700703 s]
/proc/loadavg: 1.00 1.01 1.05 4/216 28089
/proc/meminfo: memFree=24905196/32770624 swapFree=67058900/67108860
[pid=27957] ppid=27951 vsize=10983192 memory=88176 CPUtime=0.97 cores=1,3,5,7
/proc/27957/stat : 27957 (java) S 27951 27957 20606 0 -1 1077944320 16705 13160 0 1 85 4 5 3 20 0 15 0 227276739 11246788608 22044 33554432000 4194304 4196468 140725419331680 140725419314224 139787276087031 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
/proc/27957/statm: 2745798 22044 3237 1 0 2708109 0
[pid=27957/tid=28063] ppid=27951 vsize=10983192 memory=327 CPUtime=0.64 cores=1,3,5,7
/proc/27957/task/28063/stat : 28063 (java) R 27951 27957 20606 0 -1 4202560 12099 13160 0 1 53 3 5 3 20 0 15 0 227276751 11246788608 22044 33554432000 4194304 4196468 140725419331680 139787247909968 139787257460480 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28064] ppid=27951 vsize=10983192 memory=8054 CPUtime=0.08 cores=1,3,5,7
/proc/27957/task/28064/stat : 28064 (java) S 27951 27957 20606 0 -1 1077944384 1 13160 0 1 0 0 5 3 20 0 15 0 227276751 11246788608 22044 33554432000 4194304 4196468 140725419331680 139787280329232 139787276097237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28065] ppid=27951 vsize=10983192 memory=239 CPUtime=0.08 cores=1,3,5,7
/proc/27957/task/28065/stat : 28065 (java) S 27951 27957 20606 0 -1 1077944384 1 13160 0 1 0 0 5 3 20 0 15 0 227276751 11246788608 22044 33554432000 4194304 4196468 140725419331680 139787161594512 139787276097237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28066] ppid=27951 vsize=10983192 memory=213 CPUtime=0.08 cores=1,3,5,7
/proc/27957/task/28066/stat : 28066 (java) S 27951 27957 20606 0 -1 1077944384 1 13160 0 1 0 0 5 3 20 0 15 0 227276751 11246788608 22044 33554432000 4194304 4196468 140725419331680 139786814413072 139787276097237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28067] ppid=27951 vsize=10983192 memory=4 CPUtime=0.08 cores=1,3,5,7
/proc/27957/task/28067/stat : 28067 (java) S 27951 27957 20606 0 -1 1077944384 2 13160 0 1 0 0 5 3 20 0 15 0 227276751 11246788608 22044 33554432000 4194304 4196468 140725419331680 139786813360528 139787276097237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28072] ppid=27951 vsize=10983192 memory=83 CPUtime=0.08 cores=1,3,5,7
/proc/27957/task/28072/stat : 28072 (java) S 27951 27957 20606 0 -1 1077944384 5 13160 0 1 0 0 5 3 20 0 15 0 227276753 11246788608 22044 33554432000 4194304 4196468 140725419331680 139786769107696 139787276098178 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28074] ppid=27951 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27957/task/28074/stat : 28074 (java) S 27951 27957 20606 0 -1 1077944384 13 13160 0 1 0 0 5 3 20 0 15 0 227276753 11246788608 22044 33554432000 4194304 4196468 140725419331680 139786085983904 139787276097237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28076] ppid=27951 vsize=10983192 memory=4638778398333162340 CPUtime=0.08 cores=1,3,5,7
/proc/27957/task/28076/stat : 28076 (java) S 27951 27957 20606 0 -1 1077944384 21 13160 0 1 0 0 5 3 20 0 15 0 227276754 11246788608 22044 33554432000 4194304 4196468 140725419331680 139786018870512 139787276097237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28078] ppid=27951 vsize=10983192 memory=6935650355287975249 CPUtime=0.08 cores=1,3,5,7
/proc/27957/task/28078/stat : 28078 (java) S 27951 27957 20606 0 -1 1077944384 3 13160 0 1 0 0 5 3 20 0 15 0 227276756 11246788608 22044 33554432000 4194304 4196468 140725419331680 139785711475152 139787276105627 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28079] ppid=27951 vsize=10983192 memory=5936096565992112228 CPUtime=0.18 cores=1,3,5,7
/proc/27957/task/28079/stat : 28079 (java) S 27951 27957 20606 0 -1 1077944384 1206 13160 0 1 10 0 5 3 20 0 15 0 227276756 11246788608 22044 33554432000 4194304 4196468 140725419331680 139786768054512 139787276098178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28080] ppid=27951 vsize=10983192 memory=7825734864442108491 CPUtime=0.15 cores=1,3,5,7
/proc/27957/task/28080/stat : 28080 (java) S 27951 27957 20606 0 -1 1077944384 440 13160 0 1 7 0 5 3 20 0 15 0 227276756 11246788608 22044 33554432000 4194304 4196468 140725419331680 139786767001968 139787276098178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28081] ppid=27951 vsize=10983192 memory=4716009337774116214 CPUtime=0.21 cores=1,3,5,7
/proc/27957/task/28081/stat : 28081 (java) S 27951 27957 20606 0 -1 1077944384 715 13160 0 1 13 0 5 3 20 0 15 0 227276756 11246788608 22044 33554432000 4194304 4196468 140725419331680 139786765948912 139787276098178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28086] ppid=27951 vsize=10983192 memory=-9181546051567709026 CPUtime=0.08 cores=1,3,5,7
/proc/27957/task/28086/stat : 28086 (java) S 27951 27957 20606 0 -1 1077944384 3 13160 0 1 0 0 5 3 20 0 15 0 227276756 11246788608 22044 33554432000 4194304 4196468 140725419331680 139785280678240 139787276097237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28088] ppid=27951 vsize=10983192 memory=1860 CPUtime=0.08 cores=1,3,5,7
/proc/27957/task/28088/stat : 28088 (java) S 27951 27957 20606 0 -1 1077944384 1 13160 0 1 0 0 5 3 20 0 15 0 227276757 11246788608 22044 33554432000 4194304 4196468 140725419331680 139786764897328 139787276098178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88176 KiB
[startup+1.50168 s]
/proc/loadavg: 1.00 1.01 1.05 4/216 28089
/proc/meminfo: memFree=24798820/32770624 swapFree=67058900/67108860
[pid=27957] ppid=27951 vsize=10996044 memory=199120 CPUtime=2.59 cores=1,3,5,7
/proc/27957/stat : 27957 (java) S 27951 27957 20606 0 -1 1077944320 23841 13160 0 1 241 10 5 3 20 0 15 0 227276739 11259949056 49780 33554432000 4194304 4196468 140725419331680 140725419314224 139787276087031 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
/proc/27957/statm: 2749011 49780 3448 1 0 2710669 0
[pid=27957/tid=28063] ppid=27951 vsize=10996044 memory=0 CPUtime=1.39 cores=1,3,5,7
/proc/27957/task/28063/stat : 28063 (java) S 27951 27957 20606 0 -1 1077944384 16927 13160 0 1 126 5 5 3 20 0 15 0 227276751 11259949056 49780 33554432000 4194304 4196468 140725419331680 139787247899696 139787276097237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28064] ppid=27951 vsize=10996044 memory=3474862696330166314 CPUtime=0.1 cores=1,3,5,7
/proc/27957/task/28064/stat : 28064 (java) R 27951 27957 20606 0 -1 4202560 186 13160 0 1 2 0 5 3 20 0 15 0 227276751 11259949056 49780 33554432000 4194304 4196468 140725419331680 139787280329232 139787268715239 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28065] ppid=27951 vsize=10996044 memory=7661018143487910759 CPUtime=0.09 cores=1,3,5,7
/proc/27957/task/28065/stat : 28065 (java) R 27951 27957 20606 0 -1 4202560 48 13160 0 1 1 0 5 3 20 0 15 0 227276751 11259949056 49780 33554432000 4194304 4196468 140725419331680 139787161594712 139787260787675 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28066] ppid=27951 vsize=10996044 memory=7956005031678667109 CPUtime=0.09 cores=1,3,5,7
/proc/27957/task/28066/stat : 28066 (java) R 27951 27957 20606 0 -1 4202560 13 13160 0 1 1 0 5 3 20 0 15 0 227276751 11259949056 49780 33554432000 4194304 4196468 140725419331680 139786814413072 139787268715239 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28067] ppid=27951 vsize=10996044 memory=7661014862199808871 CPUtime=0.09 cores=1,3,5,7
/proc/27957/task/28067/stat : 28067 (java) R 27951 27957 20606 0 -1 4202560 38 13160 0 1 1 0 5 3 20 0 15 0 227276751 11259949056 49780 33554432000 4194304 4196468 140725419331680 139786813360528 139787268715239 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28072] ppid=27951 vsize=10996044 memory=7301855991734425442 CPUtime=0.09 cores=1,3,5,7
/proc/27957/task/28072/stat : 28072 (java) S 27951 27957 20606 0 -1 1077944384 43 13160 0 1 1 0 5 3 20 0 15 0 227276753 11259949056 49780 33554432000 4194304 4196468 140725419331680 139786769106208 139787276097237 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28074] ppid=27951 vsize=10996044 memory=7734797396476342168 CPUtime=0.08 cores=1,3,5,7
/proc/27957/task/28074/stat : 28074 (java) S 27951 27957 20606 0 -1 1077944384 13 13160 0 1 0 0 5 3 20 0 15 0 227276753 11259949056 49780 33554432000 4194304 4196468 140725419331680 139786085983904 139787276097237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28076] ppid=27951 vsize=10996044 memory=11474065362 CPUtime=0.08 cores=1,3,5,7
/proc/27957/task/28076/stat : 28076 (java) S 27951 27957 20606 0 -1 1077944384 21 13160 0 1 0 0 5 3 20 0 15 0 227276754 11259949056 49780 33554432000 4194304 4196468 140725419331680 139786018870512 139787276097237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28078] ppid=27951 vsize=10996044 memory=280231718158296 CPUtime=0.08 cores=1,3,5,7
/proc/27957/task/28078/stat : 28078 (java) S 27951 27957 20606 0 -1 1077944384 3 13160 0 1 0 0 5 3 20 0 15 0 227276756 11259949056 49780 33554432000 4194304 4196468 140725419331680 139785711475152 139787276105627 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28079] ppid=27951 vsize=10996044 memory=280231718417776 CPUtime=0.4 cores=1,3,5,7
/proc/27957/task/28079/stat : 28079 (java) S 27951 27957 20606 0 -1 1077944384 1768 13160 0 1 32 0 5 3 20 0 15 0 227276756 11259949056 49780 33554432000 4194304 4196468 140725419331680 139786768054512 139787276098178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28080] ppid=27951 vsize=10996044 memory=6655300316396806240 CPUtime=0.39 cores=1,3,5,7
/proc/27957/task/28080/stat : 28080 (java) S 27951 27957 20606 0 -1 1077944384 1093 13160 0 1 31 0 5 3 20 0 15 0 227276756 11259949056 49780 33554432000 4194304 4196468 140725419331680 139786767001968 139787276098178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28081] ppid=27951 vsize=10996044 memory=0 CPUtime=0.49 cores=1,3,5,7
/proc/27957/task/28081/stat : 28081 (java) S 27951 27957 20606 0 -1 1077944384 1489 13160 0 1 41 0 5 3 20 0 15 0 227276756 11259949056 49780 33554432000 4194304 4196468 140725419331680 139786765948912 139787276098178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28086] ppid=27951 vsize=10996044 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27957/task/28086/stat : 28086 (java) S 27951 27957 20606 0 -1 1077944384 3 13160 0 1 0 0 5 3 20 0 15 0 227276756 11259949056 49780 33554432000 4194304 4196468 140725419331680 139785280678240 139787276097237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28088] ppid=27951 vsize=10996044 memory=14018773256590 CPUtime=0.08 cores=1,3,5,7
/proc/27957/task/28088/stat : 28088 (java) S 27951 27957 20606 0 -1 1077944384 2 13160 0 1 0 0 5 3 20 0 15 0 227276757 11259949056 49780 33554432000 4194304 4196468 140725419331680 139786764897328 139787276098178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
Current children cumulated CPU time: 2.59 s
Current children cumulated vsize: 10996044 KiB
Current children cumulated memory: 199120 KiB
[startup+3.11069 s]
/proc/loadavg: 1.16 1.05 1.06 8/216 28089
/proc/meminfo: memFree=24569140/32770624 swapFree=67058900/67108860
[pid=27957] ppid=27951 vsize=11006304 memory=258020 CPUtime=6.14 cores=1,3,5,7
/proc/27957/stat : 27957 (java) S 27951 27957 20606 0 -1 1077944320 31968 13160 0 1 591 15 5 3 20 0 15 0 227276739 11270455296 64505 33554432000 4194304 4196468 140725419331680 140725419314224 139787276087031 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
/proc/27957/statm: 2751576 64505 3491 1 0 2713229 0
[pid=27957/tid=28063] ppid=27951 vsize=11006304 memory=2241 CPUtime=2.98 cores=1,3,5,7
/proc/27957/task/28063/stat : 28063 (java) R 27951 27957 20606 0 -1 4202560 22074 13160 0 1 282 8 5 3 20 0 15 0 227276751 11270455296 64505 33554432000 4194304 4196468 140725419331680 139787247911904 139787260294704 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
################
# More data... #
################
/proc/27957/task/28063/stat : 28063 (java) R 27951 27957 20606 0 -1 4202560 526649 13160 0 1 236876 97 5 3 20 0 15 0 227276751 11345952768 888122 33554432000 4194304 4196468 140725419331680 139787247921488 139786855906593 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28064] ppid=27951 vsize=11080032 memory=3550432 CPUtime=11.27 cores=1,3,5,7
/proc/27957/task/28064/stat : 28064 (java) S 27951 27957 20606 0 -1 1077944384 88597 13160 0 1 1056 63 5 3 20 0 15 0 227276751 11345952768 888122 33554432000 4194304 4196468 140725419331680 139787280329232 139787276097237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28065] ppid=27951 vsize=11080032 memory=3550432 CPUtime=11.27 cores=1,3,5,7
/proc/27957/task/28065/stat : 28065 (java) S 27951 27957 20606 0 -1 1077944384 85490 13160 0 1 1057 62 5 3 20 0 15 0 227276751 11345952768 888122 33554432000 4194304 4196468 140725419331680 139787161594512 139787276097237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28066] ppid=27951 vsize=11080032 memory=3542716 CPUtime=11.29 cores=1,3,5,7
/proc/27957/task/28066/stat : 28066 (java) S 27951 27957 20606 0 -1 1077944384 93740 13160 0 1 1056 65 5 3 20 0 15 0 227276751 11345952768 888122 33554432000 4194304 4196468 140725419331680 139786814413072 139787276097237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28067] ppid=27951 vsize=11080032 memory=3548384 CPUtime=11.27 cores=1,3,5,7
/proc/27957/task/28067/stat : 28067 (java) S 27951 27957 20606 0 -1 1077944384 86937 13160 0 1 1056 63 5 3 20 0 15 0 227276751 11345952768 888122 33554432000 4194304 4196468 140725419331680 139786813360528 139787276097237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28072] ppid=27951 vsize=11080032 memory=418 CPUtime=1.14 cores=1,3,5,7
/proc/27957/task/28072/stat : 28072 (java) S 27951 27957 20606 0 -1 1077944384 37232 13160 0 1 94 12 5 3 20 0 15 0 227276753 11345952768 888122 33554432000 4194304 4196468 140725419331680 139786769107696 139787276098178 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28074] ppid=27951 vsize=11080032 memory=3548384 CPUtime=0.08 cores=1,3,5,7
/proc/27957/task/28074/stat : 28074 (java) S 27951 27957 20606 0 -1 1077944384 25 13160 0 1 0 0 5 3 20 0 15 0 227276753 11345952768 888122 33554432000 4194304 4196468 140725419331680 139786085983968 139787276097237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28076] ppid=27951 vsize=11080032 memory=3550432 CPUtime=0.08 cores=1,3,5,7
/proc/27957/task/28076/stat : 28076 (java) S 27951 27957 20606 0 -1 1077944384 83 13160 0 1 0 0 5 3 20 0 15 0 227276754 11345952768 888122 33554432000 4194304 4196468 140725419331680 139786018870528 139787276097237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28078] ppid=27951 vsize=11080032 memory=3550432 CPUtime=0.08 cores=1,3,5,7
/proc/27957/task/28078/stat : 28078 (java) S 27951 27957 20606 0 -1 1077944384 3 13160 0 1 0 0 5 3 20 0 15 0 227276756 11345952768 888122 33554432000 4194304 4196468 140725419331680 139785711475152 139787276105627 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28079] ppid=27951 vsize=11080032 memory=3552488 CPUtime=12.94 cores=1,3,5,7
/proc/27957/task/28079/stat : 28079 (java) S 27951 27957 20606 0 -1 1077944384 31441 13160 0 1 1279 7 5 3 20 0 15 0 227276756 11345952768 888122 33554432000 4194304 4196468 140725419331680 139786768054512 139787276098178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28080] ppid=27951 vsize=11080032 memory=3552488 CPUtime=13.63 cores=1,3,5,7
/proc/27957/task/28080/stat : 28080 (java) S 27951 27957 20606 0 -1 1077944384 37181 13160 0 1 1348 7 5 3 20 0 15 0 227276756 11345952768 888122 33554432000 4194304 4196468 140725419331680 139786767001968 139787276098178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28081] ppid=27951 vsize=11080032 memory=3552488 CPUtime=4.26 cores=1,3,5,7
/proc/27957/task/28081/stat : 28081 (java) S 27951 27957 20606 0 -1 1077944384 32660 13160 0 1 410 8 5 3 20 0 15 0 227276756 11345952768 888122 33554432000 4194304 4196468 140725419331680 139786765948912 139787276098178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28086] ppid=27951 vsize=11080032 memory=3552488 CPUtime=0.08 cores=1,3,5,7
/proc/27957/task/28086/stat : 28086 (java) S 27951 27957 20606 0 -1 1077944384 3 13160 0 1 0 0 5 3 20 0 15 0 227276756 11345952768 888122 33554432000 4194304 4196468 140725419331680 139785280678240 139787276097237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28088] ppid=27951 vsize=11080032 memory=524 CPUtime=1.43 cores=1,3,5,7
/proc/27957/task/28088/stat : 28088 (java) S 27951 27957 20606 0 -1 1077944384 1393 13160 0 1 59 76 5 3 20 0 15 0 227276757 11345952768 888122 33554432000 4194304 4196468 140725419331680 139786764897328 139787276098178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
Current children cumulated CPU time: 2447.69 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 3552488 KiB
[startup+2442.3 s]
/proc/loadavg: 1.75 1.74 1.65 3/215 28289
/proc/meminfo: memFree=18249544/32770624 swapFree=67058900/67108860
[pid=27957] ppid=27951 vsize=11080032 memory=3562740 CPUtime=2507.8 cores=1,3,5,7
/proc/27957/stat : 27957 (java) S 27951 27957 20606 0 -1 1077944320 1033686 13160 0 1 250321 451 5 3 20 0 15 0 227276739 11345952768 890685 33554432000 4194304 4196468 140725419331680 140725419314224 139787276087031 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
/proc/27957/statm: 2770008 890685 3535 1 0 2731661 0
[pid=27957/tid=28063] ppid=27951 vsize=11080032 memory=3560692 CPUtime=2429.78 cores=1,3,5,7
/proc/27957/task/28063/stat : 28063 (java) R 27951 27957 20606 0 -1 4202560 531123 13160 0 1 242872 98 5 3 20 0 15 0 227276751 11345952768 890685 33554432000 4194304 4196468 140725419331680 139787247921328 139786861012219 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28064] ppid=27951 vsize=11080032 memory=3548384 CPUtime=11.29 cores=1,3,5,7
/proc/27957/task/28064/stat : 28064 (java) S 27951 27957 20606 0 -1 1077944384 90555 13160 0 1 1058 63 5 3 20 0 15 0 227276751 11345952768 890685 33554432000 4194304 4196468 140725419331680 139787280329232 139787276097237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28065] ppid=27951 vsize=11080032 memory=3558644 CPUtime=11.3 cores=1,3,5,7
/proc/27957/task/28065/stat : 28065 (java) S 27951 27957 20606 0 -1 1077944384 85761 13160 0 1 1060 62 5 3 20 0 15 0 227276751 11345952768 890685 33554432000 4194304 4196468 140725419331680 139787161594512 139787276097237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28066] ppid=27951 vsize=11080032 memory=3560692 CPUtime=11.32 cores=1,3,5,7
/proc/27957/task/28066/stat : 28066 (java) S 27951 27957 20606 0 -1 1077944384 95275 13160 0 1 1058 66 5 3 20 0 15 0 227276751 11345952768 890685 33554432000 4194304 4196468 140725419331680 139786814413072 139787276097237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28067] ppid=27951 vsize=11080032 memory=3560692 CPUtime=11.31 cores=1,3,5,7
/proc/27957/task/28067/stat : 28067 (java) S 27951 27957 20606 0 -1 1077944384 88540 13160 0 1 1059 64 5 3 20 0 15 0 227276751 11345952768 890685 33554432000 4194304 4196468 140725419331680 139786813360528 139787276097237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28072] ppid=27951 vsize=11080032 memory=3556592 CPUtime=1.15 cores=1,3,5,7
/proc/27957/task/28072/stat : 28072 (java) S 27951 27957 20606 0 -1 1077944384 37422 13160 0 1 94 13 5 3 20 0 15 0 227276753 11345952768 890685 33554432000 4194304 4196468 140725419331680 139786769107696 139787276098178 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28074] ppid=27951 vsize=11080032 memory=3560692 CPUtime=0.08 cores=1,3,5,7
/proc/27957/task/28074/stat : 28074 (java) S 27951 27957 20606 0 -1 1077944384 25 13160 0 1 0 0 5 3 20 0 15 0 227276753 11345952768 890685 33554432000 4194304 4196468 140725419331680 139786085983968 139787276097237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28076] ppid=27951 vsize=11080032 memory=3558644 CPUtime=0.08 cores=1,3,5,7
/proc/27957/task/28076/stat : 28076 (java) S 27951 27957 20606 0 -1 1077944384 83 13160 0 1 0 0 5 3 20 0 15 0 227276754 11345952768 890685 33554432000 4194304 4196468 140725419331680 139786018870528 139787276097237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28078] ppid=27951 vsize=11080032 memory=3562740 CPUtime=0.08 cores=1,3,5,7
/proc/27957/task/28078/stat : 28078 (java) S 27951 27957 20606 0 -1 1077944384 3 13160 0 1 0 0 5 3 20 0 15 0 227276756 11345952768 890685 33554432000 4194304 4196468 140725419331680 139785711475152 139787276105627 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28079] ppid=27951 vsize=11080032 memory=3560692 CPUtime=12.94 cores=1,3,5,7
/proc/27957/task/28079/stat : 28079 (java) S 27951 27957 20606 0 -1 1077944384 31443 13160 0 1 1279 7 5 3 20 0 15 0 227276756 11345952768 890685 33554432000 4194304 4196468 140725419331680 139786768054512 139787276098178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28080] ppid=27951 vsize=11080032 memory=3562740 CPUtime=13.63 cores=1,3,5,7
/proc/27957/task/28080/stat : 28080 (java) S 27951 27957 20606 0 -1 1077944384 37184 13160 0 1 1348 7 5 3 20 0 15 0 227276756 11345952768 890685 33554432000 4194304 4196468 140725419331680 139786767001968 139787276098178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28081] ppid=27951 vsize=11080032 memory=3562740 CPUtime=4.26 cores=1,3,5,7
/proc/27957/task/28081/stat : 28081 (java) S 27951 27957 20606 0 -1 1077944384 32662 13160 0 1 410 8 5 3 20 0 15 0 227276756 11345952768 890685 33554432000 4194304 4196468 140725419331680 139786765948912 139787276098178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28086] ppid=27951 vsize=11080032 memory=5112 CPUtime=0.08 cores=1,3,5,7
/proc/27957/task/28086/stat : 28086 (java) S 27951 27957 20606 0 -1 1077944384 3 13160 0 1 0 0 5 3 20 0 15 0 227276756 11345952768 890685 33554432000 4194304 4196468 140725419331680 139785280678240 139787276097237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28088] ppid=27951 vsize=11080032 memory=3560692 CPUtime=1.46 cores=1,3,5,7
/proc/27957/task/28088/stat : 28088 (java) S 27951 27957 20606 0 -1 1077944384 1413 13160 0 1 60 78 5 3 20 0 15 0 227276757 11345952768 890685 33554432000 4194304 4196468 140725419331680 139786764897328 139787276098178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
Current children cumulated CPU time: 2507.8 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 3562740 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2454.5 s]
/proc/loadavg: 1.73 1.74 1.66 3/215 28289
/proc/meminfo: memFree=18247372/32770624 swapFree=67058900/67108860
[pid=27957] ppid=27951 vsize=11080032 memory=3564800 CPUtime=2520.03 cores=1,3,5,7
/proc/27957/stat : 27957 (java) S 27951 27957 20606 0 -1 1077944320 1033838 13160 0 1 251543 452 5 3 20 0 15 0 227276739 11345952768 891200 33554432000 4194304 4196468 140725419331680 140725419314224 139787276087031 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
/proc/27957/statm: 2770008 891200 3535 1 0 2731661 0
[pid=27957/tid=28063] ppid=27951 vsize=11080032 memory=3544 CPUtime=2441.97 cores=1,3,5,7
/proc/27957/task/28063/stat : 28063 (java) R 27951 27957 20606 0 -1 4202560 531265 13160 0 1 244091 98 5 3 20 0 15 0 227276751 11345952768 891200 33554432000 4194304 4196468 140725419331680 139787247919056 139786859505385 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28064] ppid=27951 vsize=11080032 memory=3564800 CPUtime=11.3 cores=1,3,5,7
/proc/27957/task/28064/stat : 28064 (java) S 27951 27957 20606 0 -1 1077944384 90555 13160 0 1 1059 63 5 3 20 0 15 0 227276751 11345952768 891200 33554432000 4194304 4196468 140725419331680 139787280329232 139787276097237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28065] ppid=27951 vsize=11080032 memory=3562740 CPUtime=11.3 cores=1,3,5,7
/proc/27957/task/28065/stat : 28065 (java) S 27951 27957 20606 0 -1 1077944384 85761 13160 0 1 1060 62 5 3 20 0 15 0 227276751 11345952768 891200 33554432000 4194304 4196468 140725419331680 139787161594512 139787276097237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28066] ppid=27951 vsize=11080032 memory=3562740 CPUtime=11.33 cores=1,3,5,7
/proc/27957/task/28066/stat : 28066 (java) S 27951 27957 20606 0 -1 1077944384 95275 13160 0 1 1059 66 5 3 20 0 15 0 227276751 11345952768 891200 33554432000 4194304 4196468 140725419331680 139786814413072 139787276097237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28067] ppid=27951 vsize=11080032 memory=3562740 CPUtime=11.31 cores=1,3,5,7
/proc/27957/task/28067/stat : 28067 (java) S 27951 27957 20606 0 -1 1077944384 88540 13160 0 1 1059 64 5 3 20 0 15 0 227276751 11345952768 891200 33554432000 4194304 4196468 140725419331680 139786813360528 139787276097237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28072] ppid=27951 vsize=11080032 memory=3558644 CPUtime=1.15 cores=1,3,5,7
/proc/27957/task/28072/stat : 28072 (java) S 27951 27957 20606 0 -1 1077944384 37430 13160 0 1 94 13 5 3 20 0 15 0 227276753 11345952768 891200 33554432000 4194304 4196468 140725419331680 139786769107696 139787276098178 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28074] ppid=27951 vsize=11080032 memory=3556592 CPUtime=0.08 cores=1,3,5,7
/proc/27957/task/28074/stat : 28074 (java) S 27951 27957 20606 0 -1 1077944384 25 13160 0 1 0 0 5 3 20 0 15 0 227276753 11345952768 891200 33554432000 4194304 4196468 140725419331680 139786085983968 139787276097237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28076] ppid=27951 vsize=11080032 memory=3560692 CPUtime=0.08 cores=1,3,5,7
/proc/27957/task/28076/stat : 28076 (java) S 27951 27957 20606 0 -1 1077944384 83 13160 0 1 0 0 5 3 20 0 15 0 227276754 11345952768 891200 33554432000 4194304 4196468 140725419331680 139786018870528 139787276097237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28078] ppid=27951 vsize=11080032 memory=3560692 CPUtime=0.08 cores=1,3,5,7
/proc/27957/task/28078/stat : 28078 (java) S 27951 27957 20606 0 -1 1077944384 3 13160 0 1 0 0 5 3 20 0 15 0 227276756 11345952768 891200 33554432000 4194304 4196468 140725419331680 139785711475152 139787276105627 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28079] ppid=27951 vsize=11080032 memory=3558644 CPUtime=12.94 cores=1,3,5,7
/proc/27957/task/28079/stat : 28079 (java) S 27951 27957 20606 0 -1 1077944384 31443 13160 0 1 1279 7 5 3 20 0 15 0 227276756 11345952768 891200 33554432000 4194304 4196468 140725419331680 139786768054512 139787276098178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28080] ppid=27951 vsize=11080032 memory=3548384 CPUtime=13.63 cores=1,3,5,7
/proc/27957/task/28080/stat : 28080 (java) S 27951 27957 20606 0 -1 1077944384 37184 13160 0 1 1348 7 5 3 20 0 15 0 227276756 11345952768 891200 33554432000 4194304 4196468 140725419331680 139786767001968 139787276098178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28081] ppid=27951 vsize=11080032 memory=3564800 CPUtime=4.26 cores=1,3,5,7
/proc/27957/task/28081/stat : 28081 (java) S 27951 27957 20606 0 -1 1077944384 32662 13160 0 1 410 8 5 3 20 0 15 0 227276756 11345952768 891200 33554432000 4194304 4196468 140725419331680 139786765948912 139787276098178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28086] ppid=27951 vsize=11080032 memory=3558644 CPUtime=0.08 cores=1,3,5,7
/proc/27957/task/28086/stat : 28086 (java) S 27951 27957 20606 0 -1 1077944384 3 13160 0 1 0 0 5 3 20 0 15 0 227276756 11345952768 891200 33554432000 4194304 4196468 140725419331680 139785280678240 139787276097237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28088] ppid=27951 vsize=11080032 memory=3172 CPUtime=1.48 cores=1,3,5,7
/proc/27957/task/28088/stat : 28088 (java) S 27951 27957 20606 0 -1 1077944384 1415 13160 0 1 61 79 5 3 20 0 15 0 227276757 11345952768 891200 33554432000 4194304 4196468 140725419331680 139786764897328 139787276098178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 3564800 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2454.55 s]
# the end of solver process 27957 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.51 s, system=4.58356 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2454.5 s]
/proc/loadavg: 1.73 1.74 1.66 3/215 28289
/proc/meminfo: memFree=18247372/32770624 swapFree=67058900/67108860
[pid=27957] ppid=27951 vsize=11080032 memory=3564800 CPUtime=2520.03 cores=1,3,5,7
/proc/27957/stat : 27957 (java) S 27951 27957 20606 0 -1 1077944320 1033838 13160 0 1 251543 452 5 3 20 0 15 0 227276739 11345952768 891200 33554432000 4194304 4196468 140725419331680 140725419314224 139787276087031 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
/proc/27957/statm: 2770008 891200 3535 1 0 2731661 0
[pid=27957/tid=28063] ppid=27951 vsize=11080032 memory=3544 CPUtime=2441.97 cores=1,3,5,7
/proc/27957/task/28063/stat : 28063 (java) R 27951 27957 20606 0 -1 4202560 531265 13160 0 1 244091 98 5 3 20 0 15 0 227276751 11345952768 891200 33554432000 4194304 4196468 140725419331680 139787247919056 139786859505385 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28064] ppid=27951 vsize=11080032 memory=3564800 CPUtime=11.3 cores=1,3,5,7
/proc/27957/task/28064/stat : 28064 (java) S 27951 27957 20606 0 -1 1077944384 90555 13160 0 1 1059 63 5 3 20 0 15 0 227276751 11345952768 891200 33554432000 4194304 4196468 140725419331680 139787280329232 139787276097237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28065] ppid=27951 vsize=11080032 memory=3562740 CPUtime=11.3 cores=1,3,5,7
/proc/27957/task/28065/stat : 28065 (java) S 27951 27957 20606 0 -1 1077944384 85761 13160 0 1 1060 62 5 3 20 0 15 0 227276751 11345952768 891200 33554432000 4194304 4196468 140725419331680 139787161594512 139787276097237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28066] ppid=27951 vsize=11080032 memory=3562740 CPUtime=11.33 cores=1,3,5,7
/proc/27957/task/28066/stat : 28066 (java) S 27951 27957 20606 0 -1 1077944384 95275 13160 0 1 1059 66 5 3 20 0 15 0 227276751 11345952768 891200 33554432000 4194304 4196468 140725419331680 139786814413072 139787276097237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28067] ppid=27951 vsize=11080032 memory=3562740 CPUtime=11.31 cores=1,3,5,7
/proc/27957/task/28067/stat : 28067 (java) S 27951 27957 20606 0 -1 1077944384 88540 13160 0 1 1059 64 5 3 20 0 15 0 227276751 11345952768 891200 33554432000 4194304 4196468 140725419331680 139786813360528 139787276097237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28072] ppid=27951 vsize=11080032 memory=3558644 CPUtime=1.15 cores=1,3,5,7
/proc/27957/task/28072/stat : 28072 (java) S 27951 27957 20606 0 -1 1077944384 37430 13160 0 1 94 13 5 3 20 0 15 0 227276753 11345952768 891200 33554432000 4194304 4196468 140725419331680 139786769107696 139787276098178 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28074] ppid=27951 vsize=11080032 memory=3556592 CPUtime=0.08 cores=1,3,5,7
/proc/27957/task/28074/stat : 28074 (java) S 27951 27957 20606 0 -1 1077944384 25 13160 0 1 0 0 5 3 20 0 15 0 227276753 11345952768 891200 33554432000 4194304 4196468 140725419331680 139786085983968 139787276097237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28076] ppid=27951 vsize=11080032 memory=3560692 CPUtime=0.08 cores=1,3,5,7
/proc/27957/task/28076/stat : 28076 (java) S 27951 27957 20606 0 -1 1077944384 83 13160 0 1 0 0 5 3 20 0 15 0 227276754 11345952768 891200 33554432000 4194304 4196468 140725419331680 139786018870528 139787276097237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28078] ppid=27951 vsize=11080032 memory=3560692 CPUtime=0.08 cores=1,3,5,7
/proc/27957/task/28078/stat : 28078 (java) S 27951 27957 20606 0 -1 1077944384 3 13160 0 1 0 0 5 3 20 0 15 0 227276756 11345952768 891200 33554432000 4194304 4196468 140725419331680 139785711475152 139787276105627 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28079] ppid=27951 vsize=11080032 memory=3558644 CPUtime=12.94 cores=1,3,5,7
/proc/27957/task/28079/stat : 28079 (java) S 27951 27957 20606 0 -1 1077944384 31443 13160 0 1 1279 7 5 3 20 0 15 0 227276756 11345952768 891200 33554432000 4194304 4196468 140725419331680 139786768054512 139787276098178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28080] ppid=27951 vsize=11080032 memory=3548384 CPUtime=13.63 cores=1,3,5,7
/proc/27957/task/28080/stat : 28080 (java) S 27951 27957 20606 0 -1 1077944384 37184 13160 0 1 1348 7 5 3 20 0 15 0 227276756 11345952768 891200 33554432000 4194304 4196468 140725419331680 139786767001968 139787276098178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28081] ppid=27951 vsize=11080032 memory=3564800 CPUtime=4.26 cores=1,3,5,7
/proc/27957/task/28081/stat : 28081 (java) S 27951 27957 20606 0 -1 1077944384 32662 13160 0 1 410 8 5 3 20 0 15 0 227276756 11345952768 891200 33554432000 4194304 4196468 140725419331680 139786765948912 139787276098178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28086] ppid=27951 vsize=11080032 memory=3558644 CPUtime=0.08 cores=1,3,5,7
/proc/27957/task/28086/stat : 28086 (java) S 27951 27957 20606 0 -1 1077944384 3 13160 0 1 0 0 5 3 20 0 15 0 227276756 11345952768 891200 33554432000 4194304 4196468 140725419331680 139785280678240 139787276097237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
[pid=27957/tid=28088] ppid=27951 vsize=11080032 memory=3172 CPUtime=1.48 cores=1,3,5,7
/proc/27957/task/28088/stat : 28088 (java) S 27951 27957 20606 0 -1 1077944384 1415 13160 0 1 61 79 5 3 20 0 15 0 227276757 11345952768 891200 33554432000 4194304 4196468 140725419331680 139786764897328 139787276098178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35897344 140725419334243 140725419337052 140725419337052 140725419339727 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 3564800 KiB
Child status: 143
Real time (s): 2454.55
CPU time (s): 2520.1
CPU user time (s): 2515.51
CPU system time (s): 4.58356
CPU usage (%): 102.67
Max. virtual memory (cumulated for all children) (KiB): 11080032
Max. memory (cumulated for all children) (KiB): 3810596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.51
system time used= 4.58356
maximum resident set size= 3812644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1048387
page faults= 1
swaps= 0
block input operations= 160
block output operations= 2896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 76700
involuntary context switches= 1582
# summary of solver processes directly reported to runsolver:
# pid: 27957
# total CPU time (s): 2520.1
# total CPU user time (s): 2515.51
# total CPU system time (s): 4.58356
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.4124 second user time and 24.0129 second system time
The end