runsolver Copyright (C) 2010 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 893)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3190188-1302596758/watcher-3190188-1302596758 -o /tmp/evaluation-result-3190188-1302596758/solver-3190188-1302596758 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3190188-1302596758.cnf
running on 2 cores: 4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 8.23 7.57 5.40 3/181 29745
/proc/meminfo: memFree=16951424/32951124 swapFree=67111528/67111528
[pid=29745] ppid=29743 vsize=11760 CPUtime=0 cores=4,6
/proc/29745/stat : 29745 (runsolver) S 29743 29745 29701 0 -1 4202560 47 0 0 0 0 0 0 0 25 0 1 0 352091095 12042240 55 33554432000 4194304 5392636 140736760025472 18446744073709551615 5012135 0 2147483391 4096 24578 18446744071699207358 0 0 17 4 0 0 0
/proc/29745/statm: 2940 55 36 293 0 2644 0
[startup+0.0612541 s]
/proc/loadavg: 8.23 7.57 5.40 3/181 29745
/proc/meminfo: memFree=16951424/32951124 swapFree=67111528/67111528
[pid=29745] ppid=29743 vsize=23028 CPUtime=0 cores=4,6
/proc/29745/stat : 29745 (java) D 29743 29745 29701 0 -1 4202496 1046 0 9 0 0 0 0 0 17 0 1 0 352091095 23580672 797 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 47092092094944 0 0 4096 0 18446744071562234166 0 0 17 4 0 0 2
/proc/29745/statm: 5757 797 593 9 0 124 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23028
[startup+0.100397 s]
/proc/loadavg: 8.23 7.57 5.40 3/181 29745
/proc/meminfo: memFree=16951424/32951124 swapFree=67111528/67111528
[pid=29745] ppid=29743 vsize=7551740 CPUtime=0.01 cores=4,6
/proc/29745/stat : 29745 (java) S 29743 29745 29701 0 -1 4202496 7643 0 22 0 0 1 0 0 17 0 10 0 352091095 7732981760 7361 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273419237 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 3
/proc/29745/statm: 1887935 7361 1090 9 0 1878683 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 7551740
[startup+0.382814 s]
/proc/loadavg: 8.23 7.57 5.40 3/181 29745
/proc/meminfo: memFree=16951424/32951124 swapFree=67111528/67111528
[pid=29745] ppid=29743 vsize=7702560 CPUtime=0.33 cores=4,6
/proc/29745/stat : 29745 (java) S 29743 29745 29701 0 -1 4202496 13543 0 65 0 30 3 0 0 17 0 18 0 352091095 7887421440 13100 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 3
/proc/29745/statm: 1925640 13101 2198 9 0 1916378 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 7702560
[startup+0.759352 s]
/proc/loadavg: 8.23 7.57 5.40 3/181 29745
/proc/meminfo: memFree=16951424/32951124 swapFree=67111528/67111528
[pid=29745] ppid=29743 vsize=7710224 CPUtime=0.92 cores=4,6
/proc/29745/stat : 29745 (java) S 29743 29745 29701 0 -1 4202496 19425 0 65 0 88 4 0 0 17 0 19 0 352091095 7895269376 17804 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 3
/proc/29745/statm: 1927556 17804 2220 9 0 1918294 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 7710224
[startup+1.50101 s]
/proc/loadavg: 8.23 7.57 5.40 5/262 29834
/proc/meminfo: memFree=16702892/32951124 swapFree=67111528/67111528
[pid=29745] ppid=29743 vsize=7709664 CPUtime=1.74 cores=4,6
/proc/29745/stat : 29745 (java) S 29743 29745 29701 0 -1 4202496 20216 0 65 0 170 4 0 0 17 0 19 0 352091095 7894695936 18241 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 3
/proc/29745/statm: 1927416 18241 2226 9 0 1918154 0
[pid=29745/tid=29751] ppid=29743 vsize=7709664 CPUtime=1.2 cores=4,6
/proc/29745/task/29751/stat : 29751 (java) R 29743 29745 29701 0 -1 4202560 14809 0 50 0 117 3 0 0 20 0 19 0 352091102 7894695936 18241 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 46912505649588 0 4 0 16800975 0 0 0 -1 4 0 0 8
[pid=29745/tid=29754] ppid=29743 vsize=7709664 CPUtime=0 cores=4,6
/proc/29745/task/29754/stat : 29754 (java) S 29743 29745 29701 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 352091104 7894695936 18241 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 4 0 0 0
[pid=29745/tid=29756] ppid=29743 vsize=7709664 CPUtime=0 cores=4,6
/proc/29745/task/29756/stat : 29756 (java) S 29743 29745 29701 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352091104 7894695936 18241 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 4 0 0 0
[pid=29745/tid=29758] ppid=29743 vsize=7709664 CPUtime=0 cores=4,6
/proc/29745/task/29758/stat : 29758 (java) S 29743 29745 29701 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352091104 7894695936 18241 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 4 0 0 0
[pid=29745/tid=29760] ppid=29743 vsize=7709664 CPUtime=0 cores=4,6
/proc/29745/task/29760/stat : 29760 (java) S 29743 29745 29701 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352091104 7894695936 18241 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 4 0 0 0
[pid=29745/tid=29762] ppid=29743 vsize=7709664 CPUtime=0 cores=4,6
/proc/29745/task/29762/stat : 29762 (java) S 29743 29745 29701 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352091104 7894695936 18241 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 4 0 0 0
[pid=29745/tid=29764] ppid=29743 vsize=7709664 CPUtime=0 cores=4,6
/proc/29745/task/29764/stat : 29764 (java) S 29743 29745 29701 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352091104 7894695936 18241 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 4 0 0 0
[pid=29745/tid=29766] ppid=29743 vsize=7709664 CPUtime=0 cores=4,6
/proc/29745/task/29766/stat : 29766 (java) S 29743 29745 29701 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352091104 7894695936 18241 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 4 0 0 0
[pid=29745/tid=29768] ppid=29743 vsize=7709664 CPUtime=0 cores=4,6
/proc/29745/task/29768/stat : 29768 (java) S 29743 29745 29701 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352091104 7894695936 18241 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 4 0 0 0
[pid=29745/tid=29777] ppid=29743 vsize=7709664 CPUtime=0 cores=4,6
/proc/29745/task/29777/stat : 29777 (java) S 29743 29745 29701 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 352091108 7894695936 18241 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273433088 0 0 0 16800975 18446604453968142784 0 0 -1 4 0 0 0
[pid=29745/tid=29787] ppid=29743 vsize=7709664 CPUtime=0 cores=4,6
/proc/29745/task/29787/stat : 29787 (java) S 29743 29745 29701 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 352091109 7894695936 18241 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29788] ppid=29743 vsize=7709664 CPUtime=0 cores=4,6
/proc/29745/task/29788/stat : 29788 (java) S 29743 29745 29701 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 352091109 7894695936 18241 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29793] ppid=29743 vsize=7709664 CPUtime=0 cores=4,6
/proc/29745/task/29793/stat : 29793 (java) S 29743 29745 29701 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352091115 7894695936 18241 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273440177 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29795] ppid=29743 vsize=7709664 CPUtime=0.33 cores=4,6
/proc/29745/task/29795/stat : 29795 (java) S 29743 29745 29701 0 -1 4202560 2990 0 0 0 33 0 0 0 16 0 19 0 352091115 7894695936 18241 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29799] ppid=29743 vsize=7709664 CPUtime=0.19 cores=4,6
/proc/29745/task/29799/stat : 29799 (java) S 29743 29745 29701 0 -1 4202560 1266 0 2 0 19 0 0 0 15 0 19 0 352091115 7894695936 18241 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 4 0 0 0
[pid=29745/tid=29801] ppid=29743 vsize=7709664 CPUtime=0 cores=4,6
/proc/29745/task/29801/stat : 29801 (java) S 29743 29745 29701 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 352091115 7894695936 18241 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29805] ppid=29743 vsize=7709664 CPUtime=0 cores=4,6
/proc/29745/task/29805/stat : 29805 (java) S 29743 29745 29701 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 352091115 7894695936 18241 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273433088 0 4 0 16800975 18446604453968142784 0 0 -1 4 0 0 0
[pid=29745/tid=29833] ppid=29743 vsize=7709664 CPUtime=0 cores=4,6
/proc/29745/task/29833/stat : 29833 (java) S 29743 29745 29701 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 352091149 7894695936 18241 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273433088 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.74
Current children cumulated vsize (KiB) 7709664
[startup+3.10069 s]
/proc/loadavg: 8.23 7.57 5.40 5/262 29834
/proc/meminfo: memFree=16652796/32951124 swapFree=67111528/67111528
[pid=29745] ppid=29743 vsize=7709664 CPUtime=3.34 cores=4,6
/proc/29745/stat : 29745 (java) S 29743 29745 29701 0 -1 4202496 20769 0 65 0 330 4 0 0 17 0 19 0 352091095 7894695936 18793 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 3
/proc/29745/statm: 1927416 18793 2226 9 0 1918154 0
[pid=29745/tid=29751] ppid=29743 vsize=7709664 CPUtime=2.8 cores=4,6
/proc/29745/task/29751/stat : 29751 (java) R 29743 29745 29701 0 -1 4202560 15361 0 50 0 277 3 0 0 25 0 19 0 352091102 7894695936 18793 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 46912505733308 0 4 0 16800975 0 0 0 -1 4 0 0 8
[pid=29745/tid=29754] ppid=29743 vsize=7709664 CPUtime=0 cores=4,6
/proc/29745/task/29754/stat : 29754 (java) S 29743 29745 29701 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 352091104 7894695936 18793 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 4 0 0 0
[pid=29745/tid=29756] ppid=29743 vsize=7709664 CPUtime=0 cores=4,6
/proc/29745/task/29756/stat : 29756 (java) S 29743 29745 29701 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352091104 7894695936 18793 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 4 0 0 0
[pid=29745/tid=29758] ppid=29743 vsize=7709664 CPUtime=0 cores=4,6
/proc/29745/task/29758/stat : 29758 (java) S 29743 29745 29701 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352091104 7894695936 18793 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 4 0 0 0
[pid=29745/tid=29760] ppid=29743 vsize=7709664 CPUtime=0 cores=4,6
/proc/29745/task/29760/stat : 29760 (java) S 29743 29745 29701 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352091104 7894695936 18793 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 4 0 0 0
[pid=29745/tid=29762] ppid=29743 vsize=7709664 CPUtime=0 cores=4,6
/proc/29745/task/29762/stat : 29762 (java) S 29743 29745 29701 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352091104 7894695936 18793 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 4 0 0 0
[pid=29745/tid=29764] ppid=29743 vsize=7709664 CPUtime=0 cores=4,6
/proc/29745/task/29764/stat : 29764 (java) S 29743 29745 29701 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352091104 7894695936 18793 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 4 0 0 0
[pid=29745/tid=29766] ppid=29743 vsize=7709664 CPUtime=0 cores=4,6
/proc/29745/task/29766/stat : 29766 (java) S 29743 29745 29701 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352091104 7894695936 18793 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 4 0 0 0
[pid=29745/tid=29768] ppid=29743 vsize=7709664 CPUtime=0 cores=4,6
/proc/29745/task/29768/stat : 29768 (java) S 29743 29745 29701 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352091104 7894695936 18793 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 4 0 0 0
[pid=29745/tid=29777] ppid=29743 vsize=7709664 CPUtime=0 cores=4,6
/proc/29745/task/29777/stat : 29777 (java) S 29743 29745 29701 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 352091108 7894695936 18793 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273433088 0 0 0 16800975 18446604453968142784 0 0 -1 4 0 0 0
[pid=29745/tid=29787] ppid=29743 vsize=7709664 CPUtime=0 cores=4,6
/proc/29745/task/29787/stat : 29787 (java) S 29743 29745 29701 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 352091109 7894695936 18793 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29788] ppid=29743 vsize=7709664 CPUtime=0 cores=4,6
/proc/29745/task/29788/stat : 29788 (java) S 29743 29745 29701 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 352091109 7894695936 18793 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29793] ppid=29743 vsize=7709664 CPUtime=0 cores=4,6
/proc/29745/task/29793/stat : 29793 (java) S 29743 29745 29701 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352091115 7894695936 18793 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273440177 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29795] ppid=29743 vsize=7709664 CPUtime=0.33 cores=4,6
/proc/29745/task/29795/stat : 29795 (java) S 29743 29745 29701 0 -1 4202560 2990 0 0 0 33 0 0 0 16 0 19 0 352091115 7894695936 18793 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29799] ppid=29743 vsize=7709664 CPUtime=0.19 cores=4,6
/proc/29745/task/29799/stat : 29799 (java) S 29743 29745 29701 0 -1 4202560 1266 0 2 0 19 0 0 0 15 0 19 0 352091115 7894695936 18793 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 4 0 0 0
[pid=29745/tid=29801] ppid=29743 vsize=7709664 CPUtime=0 cores=4,6
/proc/29745/task/29801/stat : 29801 (java) S 29743 29745 29701 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 352091115 7894695936 18794 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29805] ppid=29743 vsize=7709664 CPUtime=0 cores=4,6
/proc/29745/task/29805/stat : 29805 (java) S 29743 29745 29701 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 352091115 7894695936 18794 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273433088 0 4 0 16800975 18446604453968142784 0 0 -1 4 0 0 0
[pid=29745/tid=29833] ppid=29743 vsize=7709664 CPUtime=0 cores=4,6
/proc/29745/task/29833/stat : 29833 (java) S 29743 29745 29701 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 352091149 7894695936 18794 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273433088 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.34
Current children cumulated vsize (KiB) 7709664
[startup+6.30117 s]
/proc/loadavg: 7.89 7.51 5.39 6/262 29834
/proc/meminfo: memFree=16610172/32951124 swapFree=67111528/67111528
[pid=29745] ppid=29743 vsize=7709664 CPUtime=6.77 cores=4,6
/proc/29745/stat : 29745 (java) S 29743 29745 29701 0 -1 4202496 39741 0 65 0 670 7 0 0 17 0 19 0 352091095 7894695936 35938 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 3
/proc/29745/statm: 1927416 35938 2252 9 0 1918154 0
[pid=29745/tid=29751] ppid=29743 vsize=7709664 CPUtime=5.86 cores=4,6
/proc/29745/task/29751/stat : 29751 (java) R 29743 29745 29701 0 -1 4202560 16096 0 50 0 583 3 0 0 25 0 19 0 352091102 7894695936 35938 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 46912505623994 0 4 0 16800975 0 0 0 -1 4 0 0 8
[pid=29745/tid=29754] ppid=29743 vsize=7709664 CPUtime=0.03 cores=4,6
/proc/29745/task/29754/stat : 29754 (java) S 29743 29745 29701 0 -1 4202560 2328 0 0 0 3 0 0 0 18 0 19 0 352091104 7894695936 35938 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29756] ppid=29743 vsize=7709664 CPUtime=0 cores=4,6
/proc/29745/task/29756/stat : 29756 (java) S 29743 29745 29701 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 352091104 7894695936 35938 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29758] ppid=29743 vsize=7709664 CPUtime=0 cores=4,6
/proc/29745/task/29758/stat : 29758 (java) S 29743 29745 29701 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 352091104 7894695936 35938 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29760] ppid=29743 vsize=7709664 CPUtime=0 cores=4,6
/proc/29745/task/29760/stat : 29760 (java) S 29743 29745 29701 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 352091104 7894695936 35938 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29762] ppid=29743 vsize=7709664 CPUtime=0 cores=4,6
/proc/29745/task/29762/stat : 29762 (java) S 29743 29745 29701 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 352091104 7894695936 35938 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29764] ppid=29743 vsize=7709664 CPUtime=0 cores=4,6
/proc/29745/task/29764/stat : 29764 (java) S 29743 29745 29701 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 352091104 7894695936 35938 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29766] ppid=29743 vsize=7709664 CPUtime=0.02 cores=4,6
/proc/29745/task/29766/stat : 29766 (java) S 29743 29745 29701 0 -1 4202560 2967 0 0 0 2 0 0 0 18 0 19 0 352091104 7894695936 35938 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29768] ppid=29743 vsize=7709664 CPUtime=0 cores=4,6
/proc/29745/task/29768/stat : 29768 (java) S 29743 29745 29701 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 352091104 7894695936 35938 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29777] ppid=29743 vsize=7709664 CPUtime=0.09 cores=4,6
/proc/29745/task/29777/stat : 29777 (java) S 29743 29745 29701 0 -1 4202560 6296 0 0 0 9 0 0 0 16 0 19 0 352091108 7894695936 35938 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273433088 0 0 0 16800975 18446604453968142784 0 0 -1 4 0 0 0
[pid=29745/tid=29787] ppid=29743 vsize=7709664 CPUtime=0 cores=4,6
/proc/29745/task/29787/stat : 29787 (java) S 29743 29745 29701 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 352091109 7894695936 35938 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 4 0 0 0
[pid=29745/tid=29788] ppid=29743 vsize=7709664 CPUtime=0 cores=4,6
/proc/29745/task/29788/stat : 29788 (java) S 29743 29745 29701 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 352091109 7894695936 35938 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29793] ppid=29743 vsize=7709664 CPUtime=0 cores=4,6
/proc/29745/task/29793/stat : 29793 (java) S 29743 29745 29701 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352091115 7894695936 35938 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273440177 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29795] ppid=29743 vsize=7709664 CPUtime=0.51 cores=4,6
/proc/29745/task/29795/stat : 29795 (java) S 29743 29745 29701 0 -1 4202560 9620 0 0 0 50 1 0 0 16 0 19 0 352091115 7894695936 35938 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29799] ppid=29743 vsize=7709664 CPUtime=0.2 cores=4,6
/proc/29745/task/29799/stat : 29799 (java) S 29743 29745 29701 0 -1 4202560 1286 0 2 0 20 0 0 0 15 0 19 0 352091115 7894695936 35938 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29801] ppid=29743 vsize=7709664 CPUtime=0 cores=4,6
/proc/29745/task/29801/stat : 29801 (java) S 29743 29745 29701 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 352091115 7894695936 35938 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29805] ppid=29743 vsize=7709664 CPUtime=0 cores=4,6
/proc/29745/task/29805/stat : 29805 (java) S 29743 29745 29701 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 352091115 7894695936 35938 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273433088 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29833] ppid=29743 vsize=7709664 CPUtime=0 cores=4,6
/proc/29745/task/29833/stat : 29833 (java) S 29743 29745 29701 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 352091149 7894695936 35938 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273433088 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.77
Current children cumulated vsize (KiB) 7709664
[startup+12.701 s]
################
# More data... #
################
[pid=29745/tid=29764] ppid=29743 vsize=7709664 CPUtime=0.11 cores=4,6
/proc/29745/task/29764/stat : 29764 (java) S 29743 29745 29701 0 -1 4202560 2340 0 0 0 11 0 0 0 15 0 19 0 352091104 7894695936 80990 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29766] ppid=29743 vsize=7709664 CPUtime=0.11 cores=4,6
/proc/29745/task/29766/stat : 29766 (java) S 29743 29745 29701 0 -1 4202560 5422 0 0 0 10 1 0 0 15 0 19 0 352091104 7894695936 80990 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29768] ppid=29743 vsize=7709664 CPUtime=0.17 cores=4,6
/proc/29745/task/29768/stat : 29768 (java) S 29743 29745 29701 0 -1 4202560 1672 0 0 0 17 0 0 0 15 0 19 0 352091104 7894695936 80990 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29777] ppid=29743 vsize=7709664 CPUtime=4.32 cores=4,6
/proc/29745/task/29777/stat : 29777 (java) S 29743 29745 29701 0 -1 4202560 10081 0 0 0 431 1 0 0 15 0 19 0 352091108 7894695936 80990 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273433088 0 0 0 16800975 18446604453968142784 0 0 -1 4 0 0 0
[pid=29745/tid=29787] ppid=29743 vsize=7709664 CPUtime=0 cores=4,6
/proc/29745/task/29787/stat : 29787 (java) S 29743 29745 29701 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 352091109 7894695936 80990 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 4 0 0 0
[pid=29745/tid=29788] ppid=29743 vsize=7709664 CPUtime=0 cores=4,6
/proc/29745/task/29788/stat : 29788 (java) S 29743 29745 29701 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 352091109 7894695936 80990 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29793] ppid=29743 vsize=7709664 CPUtime=0 cores=4,6
/proc/29745/task/29793/stat : 29793 (java) S 29743 29745 29701 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352091115 7894695936 80990 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273440177 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29795] ppid=29743 vsize=7709664 CPUtime=0.53 cores=4,6
/proc/29745/task/29795/stat : 29795 (java) S 29743 29745 29701 0 -1 4202560 9623 0 0 0 52 1 0 0 15 0 19 0 352091115 7894695936 80990 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29799] ppid=29743 vsize=7709664 CPUtime=0.23 cores=4,6
/proc/29745/task/29799/stat : 29799 (java) S 29743 29745 29701 0 -1 4202560 1288 0 2 0 23 0 0 0 15 0 19 0 352091115 7894695936 80990 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29801] ppid=29743 vsize=7709664 CPUtime=0 cores=4,6
/proc/29745/task/29801/stat : 29801 (java) S 29743 29745 29701 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 352091115 7894695936 80990 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29805] ppid=29743 vsize=7709664 CPUtime=0 cores=4,6
/proc/29745/task/29805/stat : 29805 (java) S 29743 29745 29701 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 19 0 352091115 7894695936 80990 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273433088 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29833] ppid=29743 vsize=7709664 CPUtime=0 cores=4,6
/proc/29745/task/29833/stat : 29833 (java) S 29743 29745 29701 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 352091149 7894695936 80990 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273433088 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1123.38
Current children cumulated vsize (KiB) 7709664
[startup+1182.3 s]
/proc/loadavg: 4.00 4.07 4.37 5/262 29865
/proc/meminfo: memFree=16032416/32951124 swapFree=67111528/67111528
[pid=29745] ppid=29743 vsize=7709664 CPUtime=1183.42 cores=4,6
/proc/29745/stat : 29745 (java) S 29743 29745 29701 0 -1 4202496 93991 0 65 0 118326 16 0 0 17 0 19 0 352091095 7894695936 89512 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 3
/proc/29745/statm: 1927416 89512 2254 9 0 1918154 0
[pid=29745/tid=29751] ppid=29743 vsize=7709664 CPUtime=1176.89 cores=4,6
/proc/29745/task/29751/stat : 29751 (java) R 29743 29745 29701 0 -1 4202560 32488 0 50 0 117682 7 0 0 25 0 19 0 352091102 7894695936 89512 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 46912505733308 0 4 0 16800975 0 0 0 -1 4 0 0 8
[pid=29745/tid=29754] ppid=29743 vsize=7709664 CPUtime=0.23 cores=4,6
/proc/29745/task/29754/stat : 29754 (java) S 29743 29745 29701 0 -1 4202560 9446 0 0 0 23 0 0 0 15 0 19 0 352091104 7894695936 89512 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29756] ppid=29743 vsize=7709664 CPUtime=0.14 cores=4,6
/proc/29745/task/29756/stat : 29756 (java) S 29743 29745 29701 0 -1 4202560 1637 0 0 0 14 0 0 0 15 0 19 0 352091104 7894695936 89512 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29758] ppid=29743 vsize=7709664 CPUtime=0.09 cores=4,6
/proc/29745/task/29758/stat : 29758 (java) S 29743 29745 29701 0 -1 4202560 3066 0 0 0 9 0 0 0 15 0 19 0 352091104 7894695936 89512 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29760] ppid=29743 vsize=7709664 CPUtime=0.22 cores=4,6
/proc/29745/task/29760/stat : 29760 (java) S 29743 29745 29701 0 -1 4202560 7478 0 0 0 22 0 0 0 15 0 19 0 352091104 7894695936 89512 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29762] ppid=29743 vsize=7709664 CPUtime=0.17 cores=4,6
/proc/29745/task/29762/stat : 29762 (java) S 29743 29745 29701 0 -1 4202560 7872 0 0 0 16 1 0 0 15 0 19 0 352091104 7894695936 89512 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29764] ppid=29743 vsize=7709664 CPUtime=0.11 cores=4,6
/proc/29745/task/29764/stat : 29764 (java) S 29743 29745 29701 0 -1 4202560 2340 0 0 0 11 0 0 0 15 0 19 0 352091104 7894695936 89512 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29766] ppid=29743 vsize=7709664 CPUtime=0.11 cores=4,6
/proc/29745/task/29766/stat : 29766 (java) S 29743 29745 29701 0 -1 4202560 5422 0 0 0 10 1 0 0 15 0 19 0 352091104 7894695936 89512 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29768] ppid=29743 vsize=7709664 CPUtime=0.17 cores=4,6
/proc/29745/task/29768/stat : 29768 (java) S 29743 29745 29701 0 -1 4202560 1672 0 0 0 17 0 0 0 15 0 19 0 352091104 7894695936 89512 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29777] ppid=29743 vsize=7709664 CPUtime=4.42 cores=4,6
/proc/29745/task/29777/stat : 29777 (java) S 29743 29745 29701 0 -1 4202560 10450 0 0 0 441 1 0 0 15 0 19 0 352091108 7894695936 89512 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273433088 0 0 0 16800975 18446604453968142784 0 0 -1 4 0 0 0
[pid=29745/tid=29787] ppid=29743 vsize=7709664 CPUtime=0 cores=4,6
/proc/29745/task/29787/stat : 29787 (java) S 29743 29745 29701 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 352091109 7894695936 89512 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 4 0 0 0
[pid=29745/tid=29788] ppid=29743 vsize=7709664 CPUtime=0 cores=4,6
/proc/29745/task/29788/stat : 29788 (java) S 29743 29745 29701 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 352091109 7894695936 89512 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29793] ppid=29743 vsize=7709664 CPUtime=0 cores=4,6
/proc/29745/task/29793/stat : 29793 (java) S 29743 29745 29701 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352091115 7894695936 89512 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273440177 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29795] ppid=29743 vsize=7709664 CPUtime=0.53 cores=4,6
/proc/29745/task/29795/stat : 29795 (java) S 29743 29745 29701 0 -1 4202560 9623 0 0 0 52 1 0 0 15 0 19 0 352091115 7894695936 89512 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29799] ppid=29743 vsize=7709664 CPUtime=0.23 cores=4,6
/proc/29745/task/29799/stat : 29799 (java) S 29743 29745 29701 0 -1 4202560 1288 0 2 0 23 0 0 0 15 0 19 0 352091115 7894695936 89512 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29801] ppid=29743 vsize=7709664 CPUtime=0 cores=4,6
/proc/29745/task/29801/stat : 29801 (java) S 29743 29745 29701 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 352091115 7894695936 89512 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29805] ppid=29743 vsize=7709664 CPUtime=0 cores=4,6
/proc/29745/task/29805/stat : 29805 (java) S 29743 29745 29701 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 352091115 7894695936 89512 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273433088 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29833] ppid=29743 vsize=7709664 CPUtime=0 cores=4,6
/proc/29745/task/29833/stat : 29833 (java) S 29743 29745 29701 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 352091149 7894695936 89512 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273433088 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1183.42
Current children cumulated vsize (KiB) 7709664
[startup+1242.3 s]
/proc/loadavg: 4.00 4.05 4.35 5/262 29867
/proc/meminfo: memFree=16015524/32951124 swapFree=67111528/67111528
[pid=29745] ppid=29743 vsize=7709664 CPUtime=1243.44 cores=4,6
/proc/29745/stat : 29745 (java) S 29743 29745 29701 0 -1 4202496 97636 0 65 0 124328 16 0 0 17 0 19 0 352091095 7894695936 93150 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 3
/proc/29745/statm: 1927416 93150 2254 9 0 1918154 0
[pid=29745/tid=29751] ppid=29743 vsize=7709664 CPUtime=1236.73 cores=4,6
/proc/29745/task/29751/stat : 29751 (java) R 29743 29745 29701 0 -1 4202560 33577 0 50 0 123666 7 0 0 25 0 19 0 352091102 7894695936 93150 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 46912505649588 0 4 0 16800975 0 0 0 -1 4 0 0 8
[pid=29745/tid=29754] ppid=29743 vsize=7709664 CPUtime=0.23 cores=4,6
/proc/29745/task/29754/stat : 29754 (java) S 29743 29745 29701 0 -1 4202560 9446 0 0 0 23 0 0 0 15 0 19 0 352091104 7894695936 93150 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29756] ppid=29743 vsize=7709664 CPUtime=0.14 cores=4,6
/proc/29745/task/29756/stat : 29756 (java) S 29743 29745 29701 0 -1 4202560 1637 0 0 0 14 0 0 0 15 0 19 0 352091104 7894695936 93150 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29758] ppid=29743 vsize=7709664 CPUtime=0.09 cores=4,6
/proc/29745/task/29758/stat : 29758 (java) S 29743 29745 29701 0 -1 4202560 3066 0 0 0 9 0 0 0 16 0 19 0 352091104 7894695936 93150 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29760] ppid=29743 vsize=7709664 CPUtime=0.22 cores=4,6
/proc/29745/task/29760/stat : 29760 (java) S 29743 29745 29701 0 -1 4202560 7478 0 0 0 22 0 0 0 15 0 19 0 352091104 7894695936 93150 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29762] ppid=29743 vsize=7709664 CPUtime=0.19 cores=4,6
/proc/29745/task/29762/stat : 29762 (java) S 29743 29745 29701 0 -1 4202560 9098 0 0 0 18 1 0 0 15 0 19 0 352091104 7894695936 93150 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29764] ppid=29743 vsize=7709664 CPUtime=0.12 cores=4,6
/proc/29745/task/29764/stat : 29764 (java) S 29743 29745 29701 0 -1 4202560 2340 0 0 0 12 0 0 0 15 0 19 0 352091104 7894695936 93150 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29766] ppid=29743 vsize=7709664 CPUtime=0.14 cores=4,6
/proc/29745/task/29766/stat : 29766 (java) S 29743 29745 29701 0 -1 4202560 6746 0 0 0 13 1 0 0 15 0 19 0 352091104 7894695936 93150 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29768] ppid=29743 vsize=7709664 CPUtime=0.17 cores=4,6
/proc/29745/task/29768/stat : 29768 (java) S 29743 29745 29701 0 -1 4202560 1672 0 0 0 17 0 0 0 15 0 19 0 352091104 7894695936 93150 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29777] ppid=29743 vsize=7709664 CPUtime=4.55 cores=4,6
/proc/29745/task/29777/stat : 29777 (java) S 29743 29745 29701 0 -1 4202560 10452 0 0 0 454 1 0 0 15 0 19 0 352091108 7894695936 93150 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273433088 0 0 0 16800975 18446604453968142784 0 0 -1 4 0 0 0
[pid=29745/tid=29787] ppid=29743 vsize=7709664 CPUtime=0 cores=4,6
/proc/29745/task/29787/stat : 29787 (java) S 29743 29745 29701 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 352091109 7894695936 93150 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 4 0 0 0
[pid=29745/tid=29788] ppid=29743 vsize=7709664 CPUtime=0 cores=4,6
/proc/29745/task/29788/stat : 29788 (java) S 29743 29745 29701 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 352091109 7894695936 93150 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29793] ppid=29743 vsize=7709664 CPUtime=0 cores=4,6
/proc/29745/task/29793/stat : 29793 (java) S 29743 29745 29701 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352091115 7894695936 93150 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273440177 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29795] ppid=29743 vsize=7709664 CPUtime=0.53 cores=4,6
/proc/29745/task/29795/stat : 29795 (java) S 29743 29745 29701 0 -1 4202560 9623 0 0 0 52 1 0 0 15 0 19 0 352091115 7894695936 93150 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29799] ppid=29743 vsize=7709664 CPUtime=0.23 cores=4,6
/proc/29745/task/29799/stat : 29799 (java) S 29743 29745 29701 0 -1 4202560 1288 0 2 0 23 0 0 0 15 0 19 0 352091115 7894695936 93150 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29801] ppid=29743 vsize=7709664 CPUtime=0 cores=4,6
/proc/29745/task/29801/stat : 29801 (java) S 29743 29745 29701 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 352091115 7894695936 93150 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29805] ppid=29743 vsize=7709664 CPUtime=0 cores=4,6
/proc/29745/task/29805/stat : 29805 (java) S 29743 29745 29701 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 352091115 7894695936 93150 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273433088 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29833] ppid=29743 vsize=7709664 CPUtime=0 cores=4,6
/proc/29745/task/29833/stat : 29833 (java) S 29743 29745 29701 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 352091149 7894695936 93150 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273433088 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1243.44
Current children cumulated vsize (KiB) 7709664
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.00 4.04 4.32 7/265 29872
/proc/meminfo: memFree=15994700/32951124 swapFree=67111528/67111528
[pid=29745] ppid=29743 vsize=7709664 CPUtime=1301.16 cores=4,6
/proc/29745/stat : 29745 (java) S 29743 29745 29701 0 -1 4202496 97645 0 65 0 130100 16 0 0 17 0 19 0 352091095 7894695936 93152 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 3
/proc/29745/statm: 1927416 93152 2254 9 0 1918154 0
[pid=29745/tid=29751] ppid=29743 vsize=7709664 CPUtime=1294.32 cores=4,6
/proc/29745/task/29751/stat : 29751 (java) R 29743 29745 29701 0 -1 4202560 33578 0 50 0 129425 7 0 0 25 0 19 0 352091102 7894695936 93152 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 46912505664206 0 4 0 16800975 0 0 0 -1 4 0 0 8
[pid=29745/tid=29754] ppid=29743 vsize=7709664 CPUtime=0.23 cores=4,6
/proc/29745/task/29754/stat : 29754 (java) S 29743 29745 29701 0 -1 4202560 9446 0 0 0 23 0 0 0 15 0 19 0 352091104 7894695936 93152 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29756] ppid=29743 vsize=7709664 CPUtime=0.15 cores=4,6
/proc/29745/task/29756/stat : 29756 (java) S 29743 29745 29701 0 -1 4202560 1639 0 0 0 15 0 0 0 16 0 19 0 352091104 7894695936 93152 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29758] ppid=29743 vsize=7709664 CPUtime=0.11 cores=4,6
/proc/29745/task/29758/stat : 29758 (java) S 29743 29745 29701 0 -1 4202560 3066 0 0 0 11 0 0 0 15 0 19 0 352091104 7894695936 93152 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29760] ppid=29743 vsize=7709664 CPUtime=0.22 cores=4,6
/proc/29745/task/29760/stat : 29760 (java) S 29743 29745 29701 0 -1 4202560 7478 0 0 0 22 0 0 0 15 0 19 0 352091104 7894695936 93152 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29762] ppid=29743 vsize=7709664 CPUtime=0.19 cores=4,6
/proc/29745/task/29762/stat : 29762 (java) S 29743 29745 29701 0 -1 4202560 9098 0 0 0 18 1 0 0 15 0 19 0 352091104 7894695936 93152 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29764] ppid=29743 vsize=7709664 CPUtime=0.12 cores=4,6
/proc/29745/task/29764/stat : 29764 (java) S 29743 29745 29701 0 -1 4202560 2340 0 0 0 12 0 0 0 15 0 19 0 352091104 7894695936 93152 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29766] ppid=29743 vsize=7709664 CPUtime=0.14 cores=4,6
/proc/29745/task/29766/stat : 29766 (java) S 29743 29745 29701 0 -1 4202560 6746 0 0 0 13 1 0 0 15 0 19 0 352091104 7894695936 93152 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29768] ppid=29743 vsize=7709664 CPUtime=0.17 cores=4,6
/proc/29745/task/29768/stat : 29768 (java) S 29743 29745 29701 0 -1 4202560 1672 0 0 0 17 0 0 0 15 0 19 0 352091104 7894695936 93152 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29777] ppid=29743 vsize=7709664 CPUtime=4.65 cores=4,6
/proc/29745/task/29777/stat : 29777 (java) S 29743 29745 29701 0 -1 4202560 10454 0 0 0 464 1 0 0 15 0 19 0 352091108 7894695936 93152 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273433088 0 0 0 16800975 18446604453968142784 0 0 -1 4 0 0 0
[pid=29745/tid=29787] ppid=29743 vsize=7709664 CPUtime=0 cores=4,6
/proc/29745/task/29787/stat : 29787 (java) S 29743 29745 29701 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 352091109 7894695936 93152 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 4 0 0 0
[pid=29745/tid=29788] ppid=29743 vsize=7709664 CPUtime=0 cores=4,6
/proc/29745/task/29788/stat : 29788 (java) S 29743 29745 29701 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 19 0 352091109 7894695936 93152 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29793] ppid=29743 vsize=7709664 CPUtime=0 cores=4,6
/proc/29745/task/29793/stat : 29793 (java) S 29743 29745 29701 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 352091115 7894695936 93152 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273440177 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29795] ppid=29743 vsize=7709664 CPUtime=0.53 cores=4,6
/proc/29745/task/29795/stat : 29795 (java) S 29743 29745 29701 0 -1 4202560 9623 0 0 0 52 1 0 0 15 0 19 0 352091115 7894695936 93152 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29799] ppid=29743 vsize=7709664 CPUtime=0.23 cores=4,6
/proc/29745/task/29799/stat : 29799 (java) S 29743 29745 29701 0 -1 4202560 1288 0 2 0 23 0 0 0 15 0 19 0 352091115 7894695936 93152 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29801] ppid=29743 vsize=7709664 CPUtime=0 cores=4,6
/proc/29745/task/29801/stat : 29801 (java) S 29743 29745 29701 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 352091115 7894695936 93152 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273432473 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29805] ppid=29743 vsize=7709664 CPUtime=0 cores=4,6
/proc/29745/task/29805/stat : 29805 (java) S 29743 29745 29701 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 352091115 7894695936 93152 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273433088 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
[pid=29745/tid=29833] ppid=29743 vsize=7709664 CPUtime=0 cores=4,6
/proc/29745/task/29833/stat : 29833 (java) S 29743 29745 29701 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 352091149 7894695936 93152 33554432000 1073741824 1073778376 140734748911712 18446744073709551615 254273433088 0 4 0 16800975 18446604453968142784 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1301.16
Current children cumulated vsize (KiB) 7709664
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1300.06
CPU time (s): 1301.26
CPU user time (s): 1301.08
CPU system time (s): 0.182972
CPU usage (%): 100.092
Max. virtual memory (cumulated for all children) (KiB): 7710224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1301.08
system time used= 0.182972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97679
page faults= 65
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28660
involuntary context switches= 4337
runsolver used 2.27265 second user time and 4.83226 second system time
The end