runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4244174-1500681415/watcher-4244174-1500681415 -o /tmp/evaluation-result-4244174-1500681415/solver-4244174-1500681415 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node106-1500681061-15129 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4244174-1500681415.xml
pid=15299
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 14.96 11.90 7.28 3/260 15302
/proc/meminfo: memFree=32051624/32770624 swapFree=5940/55780
[pid=15302] ppid=15299 vsize=361196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15302/stat : 15302 (java) S 15299 15302 15097 0 -1 1077944320 1716 0 0 0 0 0 0 0 20 0 2 0 3411175 369864704 1934 33554432000 4194304 4196468 140724577177840 140724577160384 140269726117623 0 0 0 16784584 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
/proc/15302/statm: 90299 1934 1081 1 0 79210 0
[pid=15302/tid=15303] ppid=15299 vsize=361196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15303/stat : 15303 (java) S 15299 15302 15097 0 -1 1077944384 410 0 0 0 0 0 0 0 20 0 2 0 3411176 369864704 1934 33554432000 4194304 4196468 140724577177840 140269730359712 140269726128770 0 4 0 16784584 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[startup+0.100063 s]
/proc/loadavg: 14.96 11.90 7.28 3/260 15302
/proc/meminfo: memFree=32051624/32770624 swapFree=5940/55780
[pid=15302] ppid=15299 vsize=10900556 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/15302/stat : 15302 (java) S 15299 15302 15097 0 -1 1077944320 4967 0 0 0 8 1 0 0 20 0 20 0 3411175 11162169344 6078 33554432000 4194304 4196468 140724577177840 140724577160384 140269726117623 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
/proc/15302/statm: 2725139 6078 2625 1 0 2713552 0
[pid=15302/tid=15303] ppid=15299 vsize=10900556 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15303/stat : 15303 (java) R 15299 15302 15097 0 -1 4202560 3067 0 0 0 7 0 0 0 20 0 20 0 3411176 11162169344 6078 33554432000 4194304 4196468 140724577177840 140269730359904 140269726139549 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10900556
[startup+0.20032 s]
/proc/loadavg: 14.96 11.90 7.28 3/260 15302
/proc/meminfo: memFree=32051624/32770624 swapFree=5940/55780
[pid=15302] ppid=15299 vsize=10900556 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/15302/stat : 15302 (java) S 15299 15302 15097 0 -1 1077944320 7147 0 0 0 24 2 0 0 20 0 20 0 3411175 11162169344 8489 33554432000 4194304 4196468 140724577177840 140724577160384 140269726117623 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
/proc/15302/statm: 2725139 8489 2876 1 0 2713552 0
[pid=15302/tid=15303] ppid=15299 vsize=10900556 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15303/stat : 15303 (java) R 15299 15302 15097 0 -1 4202560 4772 0 0 0 16 1 0 0 20 0 20 0 3411176 11162169344 8489 33554432000 4194304 4196468 140724577177840 140269730350144 140269710198110 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 10900556
[startup+0.300297 s]
/proc/loadavg: 14.96 11.90 7.28 3/260 15302
/proc/meminfo: memFree=32051624/32770624 swapFree=5940/55780
[pid=15302] ppid=15299 vsize=10900556 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/15302/stat : 15302 (java) S 15299 15302 15097 0 -1 1077944320 8175 0 0 0 40 3 0 0 20 0 20 0 3411175 11162169344 15080 33554432000 4194304 4196468 140724577177840 140724577160384 140269726117623 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
/proc/15302/statm: 2725139 15080 2941 1 0 2713552 0
[pid=15302/tid=15303] ppid=15299 vsize=10900556 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15303/stat : 15303 (java) R 15299 15302 15097 0 -1 4202560 5061 0 0 0 25 2 0 0 20 0 20 0 3411176 11162169344 15080 33554432000 4194304 4196468 140724577177840 140269730348992 140269726139549 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 10900556
[startup+0.700322 s]
/proc/loadavg: 14.96 11.90 7.28 3/260 15302
/proc/meminfo: memFree=32051624/32770624 swapFree=5940/55780
[pid=15302] ppid=15299 vsize=10900632 CPUtime=1.58 cores=1,3,5,7,9,11,13,15
/proc/15302/stat : 15302 (java) S 15299 15302 15097 0 -1 1077944320 9785 0 0 0 97 61 0 0 20 0 20 0 3411175 11162247168 126566 33554432000 4194304 4196468 140724577177840 140724577160384 140269726117623 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
/proc/15302/statm: 2725158 126566 3025 1 0 2713552 0
[pid=15302/tid=15303] ppid=15299 vsize=10900632 CPUtime=0.57 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15303/stat : 15303 (java) R 15299 15302 15097 0 -1 4202560 5970 0 0 0 49 8 0 0 20 0 20 0 3411176 11162247168 126566 33554432000 4194304 4196468 140724577177840 140269730352584 140269354033950 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 10900632
[startup+1.50079 s]
/proc/loadavg: 13.92 11.74 7.25 3/274 15366
/proc/meminfo: memFree=31378372/32770624 swapFree=5940/57136
[pid=15302] ppid=15299 vsize=10900632 CPUtime=3.87 cores=1,3,5,7,9,11,13,15
/proc/15302/stat : 15302 (java) S 15299 15302 15097 0 -1 1077944320 13348 0 0 0 308 79 0 0 20 0 20 0 3411175 11162247168 180163 33554432000 4194304 4196468 140724577177840 140724577160384 140269726117623 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
/proc/15302/statm: 2725158 180163 3125 1 0 2713552 0
[pid=15302/tid=15303] ppid=15299 vsize=10900632 CPUtime=1.24 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15303/stat : 15303 (java) R 15299 15302 15097 0 -1 4202560 6056 0 0 0 114 10 0 0 20 0 20 0 3411176 11162247168 180163 33554432000 4194304 4196468 140724577177840 140269730355376 140269354034055 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15305] ppid=15299 vsize=10900632 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15305/stat : 15305 (java) S 15299 15302 15097 0 -1 1077944384 149 0 0 0 13 8 0 0 20 0 20 0 3411177 11162247168 180163 33554432000 4194304 4196468 140724577177840 140269678737808 140269726127829 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15306] ppid=15299 vsize=10900632 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15306/stat : 15306 (java) S 15299 15302 15097 0 -1 1077944384 91 0 0 0 13 8 0 0 20 0 20 0 3411177 11162247168 180163 33554432000 4194304 4196468 140724577177840 140269677685008 140269726127829 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15307] ppid=15299 vsize=10900632 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15307/stat : 15307 (java) S 15299 15302 15097 0 -1 1077944384 92 0 0 0 13 8 0 0 20 0 20 0 3411177 11162247168 180163 33554432000 4194304 4196468 140724577177840 140269676632720 140269726127829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15308] ppid=15299 vsize=10900632 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15308/stat : 15308 (java) S 15299 15302 15097 0 -1 1077944384 97 0 0 0 9 8 0 0 20 0 20 0 3411177 11162247168 180163 33554432000 4194304 4196468 140724577177840 140269675579920 140269726127829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15309] ppid=15299 vsize=10900632 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15309/stat : 15309 (java) S 15299 15302 15097 0 -1 1077944384 100 0 0 0 13 8 0 0 20 0 20 0 3411177 11162247168 180163 33554432000 4194304 4196468 140724577177840 140269674527632 140269726127829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15310] ppid=15299 vsize=10900632 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15310/stat : 15310 (java) S 15299 15302 15097 0 -1 1077944384 70 0 0 0 13 7 0 0 20 0 20 0 3411177 11162247168 180163 33554432000 4194304 4196468 140724577177840 140269327145744 140269726127829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15311] ppid=15299 vsize=10900632 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15311/stat : 15311 (java) S 15299 15302 15097 0 -1 1077944384 97 0 0 0 10 8 0 0 20 0 20 0 3411177 11162247168 180163 33554432000 4194304 4196468 140724577177840 140269326093456 140269726127829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15312] ppid=15299 vsize=10900632 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15312/stat : 15312 (java) S 15299 15302 15097 0 -1 1077944384 89 0 0 0 13 8 0 0 20 0 20 0 3411177 11162247168 180163 33554432000 4194304 4196468 140724577177840 140269325040656 140269726127829 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15316] ppid=15299 vsize=10900632 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15316/stat : 15316 (java) S 15299 15302 15097 0 -1 1077944384 533 0 0 0 1 0 0 0 20 0 20 0 3411179 11162247168 180163 33554432000 4194304 4196468 140724577177840 140268544186480 140269726128770 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15317] ppid=15299 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15317/stat : 15317 (java) S 15299 15302 15097 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 3411180 11162247168 180163 33554432000 4194304 4196468 140724577177840 140268543132448 140269726127829 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15318] ppid=15299 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15318/stat : 15318 (java) S 15299 15302 15097 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3411180 11162247168 180163 33554432000 4194304 4196468 140724577177840 140268542080112 140269726127829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15319] ppid=15299 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15319/stat : 15319 (java) S 15299 15302 15097 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3411184 11162247168 180163 33554432000 4194304 4196468 140724577177840 140268541028432 140269726136219 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15320] ppid=15299 vsize=10900632 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15320/stat : 15320 (java) S 15299 15302 15097 0 -1 1077944384 1728 0 0 0 31 0 0 0 20 0 20 0 3411184 11162247168 180163 33554432000 4194304 4196468 140724577177840 140268539976304 140269726128770 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15321] ppid=15299 vsize=10900632 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15321/stat : 15321 (java) S 15299 15302 15097 0 -1 1077944384 937 0 0 0 19 0 0 0 20 0 20 0 3411184 11162247168 180163 33554432000 4194304 4196468 140724577177840 140268538923504 140269726128770 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15322] ppid=15299 vsize=10900632 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15322/stat : 15322 (java) S 15299 15302 15097 0 -1 1077944384 955 0 0 0 20 0 0 0 20 0 20 0 3411184 11162247168 180163 33554432000 4194304 4196468 140724577177840 140268537871216 140269726128770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15323] ppid=15299 vsize=10900632 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15323/stat : 15323 (java) S 15299 15302 15097 0 -1 1077944384 987 0 0 0 21 0 0 0 20 0 20 0 3411184 11162247168 180163 33554432000 4194304 4196468 140724577177840 140268536818416 140269726128770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15327] ppid=15299 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15327/stat : 15327 (java) S 15299 15302 15097 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3411185 11162247168 180163 33554432000 4194304 4196468 140724577177840 140268535765344 140269726127829 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15329] ppid=15299 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15329/stat : 15329 (java) S 15299 15302 15097 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3411185 11162247168 180163 33554432000 4194304 4196468 140724577177840 140268534712624 140269726128770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
Current children cumulated CPU time (s) 3.87
Current children cumulated vsize (KiB) 10900632
[startup+3.10114 s]
/proc/loadavg: 13.92 11.74 7.25 10/281 15373
/proc/meminfo: memFree=30063496/32770624 swapFree=5940/57168
[pid=15302] ppid=15299 vsize=10900632 CPUtime=6.63 cores=1,3,5,7,9,11,13,15
/proc/15302/stat : 15302 (java) S 15299 15302 15097 0 -1 1077944320 16452 0 0 0 517 146 0 0 20 0 20 0 3411175 11162247168 242235 33554432000 4194304 4196468 140724577177840 140724577160384 140269726117623 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
/proc/15302/statm: 2725158 242235 3125 1 0 2713552 0
[pid=15302/tid=15303] ppid=15299 vsize=10900632 CPUtime=2.65 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15303/stat : 15303 (java) R 15299 15302 15097 0 -1 4202560 6727 0 0 0 251 14 0 0 20 0 20 0 3411176 11162247168 242235 33554432000 4194304 4196468 140724577177840 140269730355200 140269356438598 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15305] ppid=15299 vsize=10900632 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15305/stat : 15305 (java) S 15299 15302 15097 0 -1 1077944384 402 0 0 0 22 16 0 0 20 0 20 0 3411177 11162247168 242235 33554432000 4194304 4196468 140724577177840 140269678737808 140269726127829 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15306] ppid=15299 vsize=10900632 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15306/stat : 15306 (java) S 15299 15302 15097 0 -1 1077944384 348 0 0 0 22 16 0 0 20 0 20 0 3411177 11162247168 242235 33554432000 4194304 4196468 140724577177840 140269677685008 140269726127829 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15307] ppid=15299 vsize=10900632 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15307/stat : 15307 (java) S 15299 15302 15097 0 -1 1077944384 336 0 0 0 22 16 0 0 20 0 20 0 3411177 11162247168 242235 33554432000 4194304 4196468 140724577177840 140269676632720 140269726127829 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15308] ppid=15299 vsize=10900632 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15308/stat : 15308 (java) S 15299 15302 15097 0 -1 1077944384 355 0 0 0 18 16 0 0 20 0 20 0 3411177 11162247168 242235 33554432000 4194304 4196468 140724577177840 140269675579920 140269726127829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15309] ppid=15299 vsize=10900632 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15309/stat : 15309 (java) S 15299 15302 15097 0 -1 1077944384 360 0 0 0 21 16 0 0 20 0 20 0 3411177 11162247168 242235 33554432000 4194304 4196468 140724577177840 140269674527632 140269726127829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15310] ppid=15299 vsize=10900632 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15310/stat : 15310 (java) S 15299 15302 15097 0 -1 1077944384 301 0 0 0 21 14 0 0 20 0 20 0 3411177 11162247168 242235 33554432000 4194304 4196468 140724577177840 140269327145744 140269726127829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15311] ppid=15299 vsize=10900632 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15311/stat : 15311 (java) S 15299 15302 15097 0 -1 1077944384 560 0 0 0 18 16 0 0 20 0 20 0 3411177 11162247168 242235 33554432000 4194304 4196468 140724577177840 140269326093456 140269726127829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15312] ppid=15299 vsize=10900632 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15312/stat : 15312 (java) S 15299 15302 15097 0 -1 1077944384 343 0 0 0 22 16 0 0 20 0 20 0 3411177 11162247168 242235 33554432000 4194304 4196468 140724577177840 140269325040656 140269726127829 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15316] ppid=15299 vsize=10900632 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15316/stat : 15316 (java) S 15299 15302 15097 0 -1 1077944384 742 0 0 0 1 0 0 0 20 0 20 0 3411179 11162247168 242235 33554432000 4194304 4196468 140724577177840 140268544186480 140269726128770 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15317] ppid=15299 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15317/stat : 15317 (java) S 15299 15302 15097 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 3411180 11162247168 242235 33554432000 4194304 4196468 140724577177840 140268543132448 140269726127829 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15318] ppid=15299 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15318/stat : 15318 (java) S 15299 15302 15097 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3411180 11162247168 242235 33554432000 4194304 4196468 140724577177840 140268542080112 140269726127829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15319] ppid=15299 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15319/stat : 15319 (java) S 15299 15302 15097 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3411184 11162247168 242235 33554432000 4194304 4196468 140724577177840 140268541028432 140269726136219 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15320] ppid=15299 vsize=10900632 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15320/stat : 15320 (java) S 15299 15302 15097 0 -1 1077944384 1728 0 0 0 31 0 0 0 20 0 20 0 3411184 11162247168 242235 33554432000 4194304 4196468 140724577177840 140268539976304 140269726128770 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15321] ppid=15299 vsize=10900632 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15321/stat : 15321 (java) S 15299 15302 15097 0 -1 1077944384 937 0 0 0 19 0 0 0 20 0 20 0 3411184 11162247168 242235 33554432000 4194304 4196468 140724577177840 140268538923504 140269726128770 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15322] ppid=15299 vsize=10900632 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15322/stat : 15322 (java) S 15299 15302 15097 0 -1 1077944384 955 0 0 0 20 0 0 0 20 0 20 0 3411184 11162247168 242235 33554432000 4194304 4196468 140724577177840 140268537871216 140269726128770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15323] ppid=15299 vsize=10900632 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15323/stat : 15323 (java) S 15299 15302 15097 0 -1 1077944384 987 0 0 0 21 0 0 0 20 0 20 0 3411184 11162247168 242235 33554432000 4194304 4196468 140724577177840 140268536818416 140269726128770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15327] ppid=15299 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15327/stat : 15327 (java) S 15299 15302 15097 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3411185 11162247168 242235 33554432000 4194304 4196468 140724577177840 140268535765344 140269726127829 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15329] ppid=15299 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15329/stat : 15329 (java) S 15299 15302 15097 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 3411185 11162247168 242235 33554432000 4194304 4196468 140724577177840 140268534712624 140269726128770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
Current children cumulated CPU time (s) 6.63
Current children cumulated vsize (KiB) 10900632
[startup+6.30109 s]
/proc/loadavg: 12.89 11.56 7.22 3/281 15373
/proc/meminfo: memFree=29310756/32770624 swapFree=5940/57176
[pid=15302] ppid=15299 vsize=10900632 CPUtime=10.82 cores=1,3,5,7,9,11,13,15
/proc/15302/stat : 15302 (java) S 15299 15302 15097 0 -1 1077944320 22345 0 0 0 898 184 0 0 20 0 20 0 3411175 11162247168 294644 33554432000 4194304 4196468 140724577177840 140724577160384 140269726117623 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
/proc/15302/statm: 2725158 294644 3130 1 0 2713552 0
[pid=15302/tid=15303] ppid=15299 vsize=10900632 CPUtime=5.74 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15303/stat : 15303 (java) R 15299 15302 15097 0 -1 4202560 8784 0 0 0 558 16 0 0 20 0 20 0 3411176 11162247168 294644 33554432000 4194304 4196468 140724577177840 140269730354888 140269356998264 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15305] ppid=15299 vsize=10900632 CPUtime=0.48 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15305/stat : 15305 (java) S 15299 15302 15097 0 -1 1077944384 610 0 0 0 28 20 0 0 20 0 20 0 3411177 11162247168 294644 33554432000 4194304 4196468 140724577177840 140269678737808 140269726127829 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15306] ppid=15299 vsize=10900632 CPUtime=0.48 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15306/stat : 15306 (java) S 15299 15302 15097 0 -1 1077944384 465 0 0 0 28 20 0 0 20 0 20 0 3411177 11162247168 294644 33554432000 4194304 4196468 140724577177840 140269677685008 140269726127829 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15307] ppid=15299 vsize=10900632 CPUtime=0.48 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15307/stat : 15307 (java) S 15299 15302 15097 0 -1 1077944384 556 0 0 0 28 20 0 0 20 0 20 0 3411177 11162247168 294644 33554432000 4194304 4196468 140724577177840 140269676632720 140269726127829 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15308] ppid=15299 vsize=10900632 CPUtime=0.44 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15308/stat : 15308 (java) S 15299 15302 15097 0 -1 1077944384 434 0 0 0 23 21 0 0 20 0 20 0 3411177 11162247168 294644 33554432000 4194304 4196468 140724577177840 140269675579920 140269726127829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15309] ppid=15299 vsize=10900632 CPUtime=0.47 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15309/stat : 15309 (java) S 15299 15302 15097 0 -1 1077944384 435 0 0 0 26 21 0 0 20 0 20 0 3411177 11162247168 294644 33554432000 4194304 4196468 140724577177840 140269674527632 140269726127829 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15310] ppid=15299 vsize=10900632 CPUtime=0.45 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15310/stat : 15310 (java) S 15299 15302 15097 0 -1 1077944384 376 0 0 0 27 18 0 0 20 0 20 0 3411177 11162247168 294644 33554432000 4194304 4196468 140724577177840 140269327145744 140269726127829 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15311] ppid=15299 vsize=10900632 CPUtime=0.45 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15311/stat : 15311 (java) S 15299 15302 15097 0 -1 1077944384 826 0 0 0 24 21 0 0 20 0 20 0 3411177 11162247168 294644 33554432000 4194304 4196468 140724577177840 140269326093456 140269726127829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15312] ppid=15299 vsize=10900632 CPUtime=0.48 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15312/stat : 15312 (java) S 15299 15302 15097 0 -1 1077944384 480 0 0 0 28 20 0 0 20 0 20 0 3411177 11162247168 294644 33554432000 4194304 4196468 140724577177840 140269325040656 140269726127829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15316] ppid=15299 vsize=10900632 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15316/stat : 15316 (java) S 15299 15302 15097 0 -1 1077944384 903 0 0 0 1 0 0 0 20 0 20 0 3411179 11162247168 294644 33554432000 4194304 4196468 140724577177840 140268544186480 140269726128770 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15317] ppid=15299 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15317/stat : 15317 (java) S 15299 15302 15097 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 3411180 11162247168 294644 33554432000 4194304 4196468 140724577177840 140268543132512 140269726127829 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15318] ppid=15299 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15318/stat : 15318 (java) S 15299 15302 15097 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 3411180 11162247168 294644 33554432000 4194304 4196468 140724577177840 140268542080128 140269726127829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15319] ppid=15299 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
[pid=15302/tid=15321] ppid=15299 vsize=10900632 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15321/stat : 15321 (java) S 15299 15302 15097 0 -1 1077944384 4559 0 0 0 49 1 0 0 20 0 20 0 3411184 11162247168 2061402 33554432000 4194304 4196468 140724577177840 140268538923552 140269726127829 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15322] ppid=15299 vsize=10900632 CPUtime=1.34 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15322/stat : 15322 (java) S 15299 15302 15097 0 -1 1077944384 8445 0 0 0 133 1 0 0 20 0 20 0 3411184 11162247168 2061402 33554432000 4194304 4196468 140724577177840 140268537871264 140269726127829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15323] ppid=15299 vsize=10900632 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15323/stat : 15323 (java) S 15299 15302 15097 0 -1 1077944384 1992 0 0 0 32 0 0 0 20 0 20 0 3411184 11162247168 2061402 33554432000 4194304 4196468 140724577177840 140268536818176 140269726127829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15327] ppid=15299 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15327/stat : 15327 (java) S 15299 15302 15097 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3411185 11162247168 2061402 33554432000 4194304 4196468 140724577177840 140268535765344 140269726127829 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15329] ppid=15299 vsize=10900632 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15329/stat : 15329 (java) S 15299 15302 15097 0 -1 1077944384 1819 0 0 0 7 4 0 0 20 0 20 0 3411185 11162247168 2061402 33554432000 4194304 4196468 140724577177840 140268534712624 140269726128770 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
Current children cumulated CPU time (s) 2400.22
Current children cumulated vsize (KiB) 10900632
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -15302
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 15302 sig 9
??? end of watcher thread
Solver just ended.
Dumping a history of the last processes samples
[startup+331.213 s]
/proc/loadavg: 15.63 13.89 9.46 17/285 15413
/proc/meminfo: memFree=15363392/32770624 swapFree=5940/57472
[pid=15302] ppid=15299 vsize=10900632 CPUtime=2409.5 cores=1,3,5,7,9,11,13,15
/proc/15302/stat : 15302 (java) S 15299 15302 15097 0 -1 1077944320 202268 0 0 0 237607 3343 0 0 20 0 20 0 3411175 11162247168 2061402 33554432000 4194304 4196468 140724577177840 140724577160384 140269726117623 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
/proc/15302/statm: 2725158 2061402 3149 1 0 2713552 0
[pid=15302/tid=15303] ppid=15299 vsize=10900632 CPUtime=25.66 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15303/stat : 15303 (java) S 15299 15302 15097 0 -1 1077944384 16922 0 0 0 2540 26 0 0 20 0 20 0 3411176 11162247168 2061402 33554432000 4194304 4196468 140724577177840 140269730354816 140269726127829 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15305] ppid=15299 vsize=10900632 CPUtime=296.34 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15305/stat : 15305 (java) R 15299 15302 15097 0 -1 4202560 7477 0 0 0 29205 429 0 0 20 0 20 0 3411177 11162247168 2061402 33554432000 4194304 4196468 140724577177840 140269678737704 140269718745831 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15306] ppid=15299 vsize=10900632 CPUtime=296.91 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15306/stat : 15306 (java) R 15299 15302 15097 0 -1 4202560 11690 0 0 0 29271 420 0 0 20 0 20 0 3411177 11162247168 2061402 33554432000 4194304 4196468 140724577177840 140269677684904 140269718745831 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15307] ppid=15299 vsize=10900632 CPUtime=297.37 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15307/stat : 15307 (java) R 15299 15302 15097 0 -1 4202560 12460 0 0 0 29330 407 0 0 20 0 20 0 3411177 11162247168 2061402 33554432000 4194304 4196468 140724577177840 140269676632616 140269709500656 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15308] ppid=15299 vsize=10900632 CPUtime=297.94 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15308/stat : 15308 (java) R 15299 15302 15097 0 -1 4202560 9105 0 0 0 29388 406 0 0 20 0 20 0 3411177 11162247168 2061402 33554432000 4194304 4196468 140724577177840 140269675579816 140269709500658 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15309] ppid=15299 vsize=10900632 CPUtime=296 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15309/stat : 15309 (java) R 15299 15302 15097 0 -1 4202560 9364 0 0 0 29184 416 0 0 20 0 20 0 3411177 11162247168 2061402 33554432000 4194304 4196468 140724577177840 140269674527528 140269718745831 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15310] ppid=15299 vsize=10900632 CPUtime=296.94 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15310/stat : 15310 (java) R 15299 15302 15097 0 -1 4202560 10947 0 0 0 29280 414 0 0 20 0 20 0 3411177 11162247168 2061402 33554432000 4194304 4196468 140724577177840 140269327145640 140269711876432 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15311] ppid=15299 vsize=10900632 CPUtime=298.3 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15311/stat : 15311 (java) R 15299 15302 15097 0 -1 4202560 12064 0 0 0 29421 409 0 0 20 0 20 0 3411177 11162247168 2061402 33554432000 4194304 4196468 140724577177840 140269326093352 140269718745831 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15312] ppid=15299 vsize=10900632 CPUtime=298.37 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15312/stat : 15312 (java) R 15299 15302 15097 0 -1 4202560 12206 0 0 0 29439 398 0 0 20 0 20 0 3411177 11162247168 2061402 33554432000 4194304 4196468 140724577177840 140269325040856 140269710571804 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15316] ppid=15299 vsize=10900632 CPUtime=1.94 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15316/stat : 15316 (java) S 15299 15302 15097 0 -1 1077944384 73453 0 0 0 190 4 0 0 20 0 20 0 3411179 11162247168 2061402 33554432000 4194304 4196468 140724577177840 140268544184800 140269726127829 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15317] ppid=15299 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15317/stat : 15317 (java) S 15299 15302 15097 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 3411180 11162247168 2061402 33554432000 4194304 4196468 140724577177840 140268543132512 140269726127829 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15318] ppid=15299 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15318/stat : 15318 (java) S 15299 15302 15097 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 3411180 11162247168 2061402 33554432000 4194304 4196468 140724577177840 140268542080128 140269726127829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15319] ppid=15299 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15319/stat : 15319 (java) S 15299 15302 15097 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3411184 11162247168 2061402 33554432000 4194304 4196468 140724577177840 140268541028080 140269726127829 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15320] ppid=15299 vsize=10900632 CPUtime=1.31 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15320/stat : 15320 (java) S 15299 15302 15097 0 -1 1077944384 8364 0 0 0 129 2 0 0 20 0 20 0 3411184 11162247168 2061402 33554432000 4194304 4196468 140724577177840 140268539976352 140269726127829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15321] ppid=15299 vsize=10900632 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15321/stat : 15321 (java) S 15299 15302 15097 0 -1 1077944384 4559 0 0 0 49 1 0 0 20 0 20 0 3411184 11162247168 2061402 33554432000 4194304 4196468 140724577177840 140268538923552 140269726127829 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15322] ppid=15299 vsize=10900632 CPUtime=1.34 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15322/stat : 15322 (java) S 15299 15302 15097 0 -1 1077944384 8445 0 0 0 133 1 0 0 20 0 20 0 3411184 11162247168 2061402 33554432000 4194304 4196468 140724577177840 140268537871264 140269726127829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15323] ppid=15299 vsize=10900632 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15323/stat : 15323 (java) S 15299 15302 15097 0 -1 1077944384 1992 0 0 0 32 0 0 0 20 0 20 0 3411184 11162247168 2061402 33554432000 4194304 4196468 140724577177840 140268536818176 140269726127829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15327] ppid=15299 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15327/stat : 15327 (java) S 15299 15302 15097 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3411185 11162247168 2061402 33554432000 4194304 4196468 140724577177840 140268535765344 140269726127829 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15329] ppid=15299 vsize=10900632 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15329/stat : 15329 (java) S 15299 15302 15097 0 -1 1077944384 1819 0 0 0 7 4 0 0 20 0 20 0 3411185 11162247168 2061402 33554432000 4194304 4196468 140724577177840 140268534712624 140269726128770 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
Current children cumulated CPU time (s) 2409.5
Current children cumulated vsize (KiB) 10900632
[startup+331.601 s]
/proc/loadavg: 15.63 13.89 9.46 17/285 15413
/proc/meminfo: memFree=15363392/32770624 swapFree=5940/57472
[pid=15302] ppid=15299 vsize=10900632 CPUtime=2412.51 cores=1,3,5,7,9,11,13,15
/proc/15302/stat : 15302 (java) S 15299 15302 15097 0 -1 1077944320 202328 0 0 0 237906 3345 0 0 20 0 20 0 3411175 11162247168 2061402 33554432000 4194304 4196468 140724577177840 140724577160384 140269726117623 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
/proc/15302/statm: 2725158 2061402 3149 1 0 2713552 0
[pid=15302/tid=15303] ppid=15299 vsize=10900632 CPUtime=25.66 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15303/stat : 15303 (java) S 15299 15302 15097 0 -1 1077944384 16922 0 0 0 2540 26 0 0 20 0 20 0 3411176 11162247168 2061402 33554432000 4194304 4196468 140724577177840 140269730354816 140269726127829 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15305] ppid=15299 vsize=10900632 CPUtime=296.72 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15305/stat : 15305 (java) R 15299 15302 15097 0 -1 4202560 7477 0 0 0 29243 429 0 0 20 0 20 0 3411177 11162247168 2061402 33554432000 4194304 4196468 140724577177840 140269678737704 140269718745831 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15306] ppid=15299 vsize=10900632 CPUtime=297.29 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15306/stat : 15306 (java) R 15299 15302 15097 0 -1 4202560 11690 0 0 0 29309 420 0 0 20 0 20 0 3411177 11162247168 2061402 33554432000 4194304 4196468 140724577177840 140269677684904 140269718745831 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15307] ppid=15299 vsize=10900632 CPUtime=297.73 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15307/stat : 15307 (java) R 15299 15302 15097 0 -1 4202560 12460 0 0 0 29366 407 0 0 20 0 20 0 3411177 11162247168 2061402 33554432000 4194304 4196468 140724577177840 140269676632616 140269718745831 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15308] ppid=15299 vsize=10900632 CPUtime=298.31 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15308/stat : 15308 (java) R 15299 15302 15097 0 -1 4202560 9105 0 0 0 29424 407 0 0 20 0 20 0 3411177 11162247168 2061402 33554432000 4194304 4196468 140724577177840 140269675579504 140269718745831 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15309] ppid=15299 vsize=10900632 CPUtime=296.38 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15309/stat : 15309 (java) R 15299 15302 15097 0 -1 4202560 9364 0 0 0 29222 416 0 0 20 0 20 0 3411177 11162247168 2061402 33554432000 4194304 4196468 140724577177840 140269674527216 140269718745831 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15310] ppid=15299 vsize=10900632 CPUtime=297.31 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15310/stat : 15310 (java) R 15299 15302 15097 0 -1 4202560 10947 0 0 0 29317 414 0 0 20 0 20 0 3411177 11162247168 2061402 33554432000 4194304 4196468 140724577177840 140269327145640 140269709500658 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15311] ppid=15299 vsize=10900632 CPUtime=298.68 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15311/stat : 15311 (java) R 15299 15302 15097 0 -1 4202560 12064 0 0 0 29459 409 0 0 20 0 20 0 3411177 11162247168 2061402 33554432000 4194304 4196468 140724577177840 140269326093352 140269718745831 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15312] ppid=15299 vsize=10900632 CPUtime=298.76 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15312/stat : 15312 (java) R 15299 15302 15097 0 -1 4202560 12266 0 0 0 29478 398 0 0 20 0 20 0 3411177 11162247168 2061402 33554432000 4194304 4196468 140724577177840 140269325040856 140269707670874 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15316] ppid=15299 vsize=10900632 CPUtime=1.94 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15316/stat : 15316 (java) S 15299 15302 15097 0 -1 1077944384 73453 0 0 0 190 4 0 0 20 0 20 0 3411179 11162247168 2061402 33554432000 4194304 4196468 140724577177840 140268544184800 140269726127829 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15317] ppid=15299 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15317/stat : 15317 (java) S 15299 15302 15097 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 3411180 11162247168 2061402 33554432000 4194304 4196468 140724577177840 140268543132512 140269726127829 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15318] ppid=15299 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15318/stat : 15318 (java) S 15299 15302 15097 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 3411180 11162247168 2061402 33554432000 4194304 4196468 140724577177840 140268542080128 140269726127829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15319] ppid=15299 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15319/stat : 15319 (java) S 15299 15302 15097 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3411184 11162247168 2061402 33554432000 4194304 4196468 140724577177840 140268541028080 140269726127829 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15320] ppid=15299 vsize=10900632 CPUtime=1.31 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15320/stat : 15320 (java) S 15299 15302 15097 0 -1 1077944384 8364 0 0 0 129 2 0 0 20 0 20 0 3411184 11162247168 2061402 33554432000 4194304 4196468 140724577177840 140268539976352 140269726127829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15321] ppid=15299 vsize=10900632 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15321/stat : 15321 (java) S 15299 15302 15097 0 -1 1077944384 4559 0 0 0 49 1 0 0 20 0 20 0 3411184 11162247168 2061402 33554432000 4194304 4196468 140724577177840 140268538923552 140269726127829 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15322] ppid=15299 vsize=10900632 CPUtime=1.34 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15322/stat : 15322 (java) S 15299 15302 15097 0 -1 1077944384 8445 0 0 0 133 1 0 0 20 0 20 0 3411184 11162247168 2061402 33554432000 4194304 4196468 140724577177840 140268537871264 140269726127829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15323] ppid=15299 vsize=10900632 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15323/stat : 15323 (java) S 15299 15302 15097 0 -1 1077944384 1992 0 0 0 32 0 0 0 20 0 20 0 3411184 11162247168 2061402 33554432000 4194304 4196468 140724577177840 140268536818176 140269726127829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15327] ppid=15299 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15327/stat : 15327 (java) S 15299 15302 15097 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3411185 11162247168 2061402 33554432000 4194304 4196468 140724577177840 140268535765344 140269726127829 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15329] ppid=15299 vsize=10900632 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15329/stat : 15329 (java) S 15299 15302 15097 0 -1 1077944384 1819 0 0 0 7 4 0 0 20 0 20 0 3411185 11162247168 2061402 33554432000 4194304 4196468 140724577177840 140268534712624 140269726128770 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
Current children cumulated CPU time (s) 2412.51
Current children cumulated vsize (KiB) 10900632
[startup+332.001 s]
/proc/loadavg: 15.63 13.89 9.46 17/285 15413
/proc/meminfo: memFree=15363392/32770624 swapFree=5940/57472
[pid=15302] ppid=15299 vsize=10900632 CPUtime=2415.62 cores=1,3,5,7,9,11,13,15
/proc/15302/stat : 15302 (java) S 15299 15302 15097 0 -1 1077944320 202388 0 0 0 238216 3346 0 0 20 0 20 0 3411175 11162247168 2061402 33554432000 4194304 4196468 140724577177840 140724577160384 140269726117623 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
/proc/15302/statm: 2725158 2061402 3149 1 0 2713552 0
[pid=15302/tid=15303] ppid=15299 vsize=10900632 CPUtime=25.66 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15303/stat : 15303 (java) S 15299 15302 15097 0 -1 1077944384 16922 0 0 0 2540 26 0 0 20 0 20 0 3411176 11162247168 2061402 33554432000 4194304 4196468 140724577177840 140269730354816 140269726127829 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15305] ppid=15299 vsize=10900632 CPUtime=297.1 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15305/stat : 15305 (java) R 15299 15302 15097 0 -1 4202560 7477 0 0 0 29281 429 0 0 20 0 20 0 3411177 11162247168 2061402 33554432000 4194304 4196468 140724577177840 140269678737704 140269718745831 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15306] ppid=15299 vsize=10900632 CPUtime=297.68 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15306/stat : 15306 (java) R 15299 15302 15097 0 -1 4202560 11690 0 0 0 29348 420 0 0 20 0 20 0 3411177 11162247168 2061402 33554432000 4194304 4196468 140724577177840 140269677684904 140269718745831 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15307] ppid=15299 vsize=10900632 CPUtime=298.12 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15307/stat : 15307 (java) R 15299 15302 15097 0 -1 4202560 12460 0 0 0 29405 407 0 0 20 0 20 0 3411177 11162247168 2061402 33554432000 4194304 4196468 140724577177840 140269676632304 140269718745831 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15308] ppid=15299 vsize=10900632 CPUtime=298.69 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15308/stat : 15308 (java) R 15299 15302 15097 0 -1 4202560 9105 0 0 0 29462 407 0 0 20 0 20 0 3411177 11162247168 2061402 33554432000 4194304 4196468 140724577177840 140269675579816 140269718745831 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15309] ppid=15299 vsize=10900632 CPUtime=296.77 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15309/stat : 15309 (java) R 15299 15302 15097 0 -1 4202560 9364 0 0 0 29260 417 0 0 20 0 20 0 3411177 11162247168 2061402 33554432000 4194304 4196468 140724577177840 140269674527216 140269718745831 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15310] ppid=15299 vsize=10900632 CPUtime=297.7 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15310/stat : 15310 (java) R 15299 15302 15097 0 -1 4202560 10947 0 0 0 29356 414 0 0 20 0 20 0 3411177 11162247168 2061402 33554432000 4194304 4196468 140724577177840 140269327145640 140269709500656 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15311] ppid=15299 vsize=10900632 CPUtime=299.06 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15311/stat : 15311 (java) R 15299 15302 15097 0 -1 4202560 12064 0 0 0 29497 409 0 0 20 0 20 0 3411177 11162247168 2061402 33554432000 4194304 4196468 140724577177840 140269326093352 140269718745831 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15312] ppid=15299 vsize=10900632 CPUtime=299.16 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15312/stat : 15312 (java) R 15299 15302 15097 0 -1 4202560 12326 0 0 0 29518 398 0 0 20 0 20 0 3411177 11162247168 2061402 33554432000 4194304 4196468 140724577177840 140269325040856 140269711068747 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15316] ppid=15299 vsize=10900632 CPUtime=1.94 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15316/stat : 15316 (java) S 15299 15302 15097 0 -1 1077944384 73453 0 0 0 190 4 0 0 20 0 20 0 3411179 11162247168 2061402 33554432000 4194304 4196468 140724577177840 140268544184800 140269726127829 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15317] ppid=15299 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15317/stat : 15317 (java) S 15299 15302 15097 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 20 0 3411180 11162247168 2061402 33554432000 4194304 4196468 140724577177840 140268543132512 140269726127829 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15318] ppid=15299 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15318/stat : 15318 (java) S 15299 15302 15097 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 3411180 11162247168 2061402 33554432000 4194304 4196468 140724577177840 140268542080128 140269726127829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15319] ppid=15299 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15319/stat : 15319 (java) S 15299 15302 15097 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3411184 11162247168 2061402 33554432000 4194304 4196468 140724577177840 140268541028080 140269726127829 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15320] ppid=15299 vsize=10900632 CPUtime=1.31 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15320/stat : 15320 (java) S 15299 15302 15097 0 -1 1077944384 8364 0 0 0 129 2 0 0 20 0 20 0 3411184 11162247168 2061402 33554432000 4194304 4196468 140724577177840 140268539976352 140269726127829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15321] ppid=15299 vsize=10900632 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15321/stat : 15321 (java) S 15299 15302 15097 0 -1 1077944384 4559 0 0 0 49 1 0 0 20 0 20 0 3411184 11162247168 2061402 33554432000 4194304 4196468 140724577177840 140268538923552 140269726127829 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15322] ppid=15299 vsize=10900632 CPUtime=1.34 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15322/stat : 15322 (java) S 15299 15302 15097 0 -1 1077944384 8445 0 0 0 133 1 0 0 20 0 20 0 3411184 11162247168 2061402 33554432000 4194304 4196468 140724577177840 140268537871264 140269726127829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15323] ppid=15299 vsize=10900632 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15323/stat : 15323 (java) S 15299 15302 15097 0 -1 1077944384 1992 0 0 0 32 0 0 0 20 0 20 0 3411184 11162247168 2061402 33554432000 4194304 4196468 140724577177840 140268536818176 140269726127829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15327] ppid=15299 vsize=10900632 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15327/stat : 15327 (java) S 15299 15302 15097 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3411185 11162247168 2061402 33554432000 4194304 4196468 140724577177840 140268535765344 140269726127829 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
[pid=15302/tid=15329] ppid=15299 vsize=10900632 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/15302/task/15329/stat : 15329 (java) S 15299 15302 15097 0 -1 1077944384 1819 0 0 0 7 4 0 0 20 0 20 0 3411185 11162247168 2061402 33554432000 4194304 4196468 140724577177840 140268534712624 140269726128770 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 22892544 140724577178795 140724577178948 140724577178948 140724577181647 0
Current children cumulated CPU time (s) 2415.62
Current children cumulated vsize (KiB) 10900632
Child ended because it received signal 9 (SIGKILL)
Real time (s): 332.041
CPU time (s): 2415.7
CPU user time (s): 2382.19
CPU system time (s): 33.5049
CPU usage (%): 727.529
Max. virtual memory (cumulated for all children) (KiB): 10904656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2382.19
system time used= 33.5049
maximum resident set size= 8245876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 202392
page faults= 0
swaps= 0
block input operations= 0
block output operations= 432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 47950
involuntary context switches= 217531
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.13652 second user time and 3.27969 second system time
The end