runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (12174 MiB free)
memory of node 1: 16384 MiB (11105 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304953-1534096381/watcher-4304953-1534096381 -o /tmp/evaluation-result-4304953-1534096381/solver-4304953-1534096381 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1534096381-30251 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1099490868 HOME/instance-4304953-1534096381.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=30275, runsolver pid=30272
[startup+0.100176 s]*
/proc/loadavg: 0.95 1.39 1.60 4/191 30366
/proc/meminfo: memFree=23836480/32770624 swapFree=67108372/67108860
[pid=30275] ppid=30272 vsize=113256 memory=1608 CPUtime=0.07 cores=0,2,4,6
/proc/30275/stat : 30275 (bash) S 30272 30275 30220 0 -1 4202496 912 10997 1 1 0 0 4 3 20 0 1 0 227201283 115974144 402 33554432000 4194304 5098028 140725635849648 140725635842872 140506172279808 0 0 4100 65536 18446744071580971376 0 0 17 2 0 0 1 0 0 7196144 7232144 40611840 140725635855531 140725635855656 140725635855656 140725635858414 0
/proc/30275/statm: 28314 402 318 221 0 119 0
Current children cumulated CPU time: 0.07 s
Current children cumulated vsize: 113256 KiB
Current children cumulated memory: 1608 KiB
[startup+0.210192 s]*
/proc/loadavg: 0.95 1.39 1.60 6/215 30412
/proc/meminfo: memFree=23789536/32770624 swapFree=67108372/67108860
[pid=30275] ppid=30272 vsize=10982744 memory=38368 CPUtime=0.22 cores=0,2,4,6
/proc/30275/stat : 30275 (java) S 30272 30275 30220 0 -1 1077944320 6806 13014 1 2 13 2 4 3 20 0 15 0 227201283 11246329856 9592 33554432000 4194304 4196468 140737029055232 140737029037776 139713253990135 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
/proc/30275/statm: 2745686 9592 2944 1 0 2708109 0
[pid=30275/tid=30386] ppid=30272 vsize=10982744 memory=7022364594140610616 CPUtime=0.16 cores=0,2,4,6
/proc/30275/task/30386/stat : 30386 (java) R 30272 30275 30220 0 -1 4202560 3359 13014 0 2 8 1 4 3 20 0 15 0 227201296 11246329856 9592 33554432000 4194304 4196468 140737029055232 139713225811232 139713254012061 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30388] ppid=30272 vsize=10982744 memory=345 CPUtime=0.07 cores=0,2,4,6
/proc/30275/task/30388/stat : 30388 (java) S 30272 30275 30220 0 -1 1077944384 1 13014 0 2 0 0 4 3 20 0 15 0 227201296 11246329856 9592 33554432000 4194304 4196468 140737029055232 139713258232592 139713254000341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30389] ppid=30272 vsize=10982744 memory=140492257298539 CPUtime=0.07 cores=0,2,4,6
/proc/30275/task/30389/stat : 30389 (java) S 30272 30275 30220 0 -1 1077944384 1 13014 0 2 0 0 4 3 20 0 15 0 227201296 11246329856 9592 33554432000 4194304 4196468 140737029055232 139712793336720 139713254000341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30391] ppid=30272 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30275/task/30391/stat : 30391 (java) S 30272 30275 30220 0 -1 1077944384 1 13014 0 2 0 0 4 3 20 0 15 0 227201296 11246329856 9592 33554432000 4194304 4196468 140737029055232 139712792284176 139713254000341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30393] ppid=30272 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/30275/task/30393/stat : 30393 (java) S 30272 30275 30220 0 -1 1077944384 2 13014 0 2 0 0 4 3 20 0 15 0 227201296 11246329856 9592 33554432000 4194304 4196468 140737029055232 139712791231632 139713254000341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30396] ppid=30272 vsize=10982744 memory=140492257269376 CPUtime=0.07 cores=0,2,4,6
/proc/30275/task/30396/stat : 30396 (java) S 30272 30275 30220 0 -1 1077944384 2 13014 0 2 0 0 4 3 20 0 15 0 227201298 11246329856 9592 33554432000 4194304 4196468 140737029055232 139712747112432 139713254001282 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30398] ppid=30272 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/30275/task/30398/stat : 30398 (java) S 30272 30275 30220 0 -1 1077944384 13 13014 0 2 0 0 4 3 20 0 15 0 227201298 11246329856 9592 33554432000 4194304 4196468 140737029055232 139712064906144 139713254000341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30400] ppid=30272 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30275/task/30400/stat : 30400 (java) S 30272 30275 30220 0 -1 1077944384 2 13014 0 2 0 0 4 3 20 0 15 0 227201298 11246329856 9592 33554432000 4194304 4196468 140737029055232 139711863579632 139713254000341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30405] ppid=30272 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30275/task/30405/stat : 30405 (java) S 30272 30275 30220 0 -1 1077944384 3 13014 0 2 0 0 4 3 20 0 15 0 227201301 11246329856 9592 33554432000 4194304 4196468 140737029055232 139711556180176 139713254008731 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30406] ppid=30272 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30275/task/30406/stat : 30406 (java) S 30272 30275 30220 0 -1 1077944384 568 13014 0 2 1 0 4 3 20 0 15 0 227201301 11246329856 9592 33554432000 4194304 4196468 140737029055232 139712746060272 139713254001282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30407] ppid=30272 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/30275/task/30407/stat : 30407 (java) S 30272 30275 30220 0 -1 1077944384 58 13014 0 2 0 0 4 3 20 0 15 0 227201301 11246329856 9592 33554432000 4194304 4196468 140737029055232 139712745007728 139713254001282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30409] ppid=30272 vsize=10982744 memory=140492257269376 CPUtime=0.09 cores=0,2,4,6
/proc/30275/task/30409/stat : 30409 (java) S 30272 30275 30220 0 -1 1077944384 606 13014 0 2 2 0 4 3 20 0 15 0 227201301 11246329856 9592 33554432000 4194304 4196468 140737029055232 139712743955184 139713254001282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30411] ppid=30272 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/30275/task/30411/stat : 30411 (java) S 30272 30275 30220 0 -1 1077944384 3 13014 0 2 0 0 4 3 20 0 15 0 227201301 11246329856 9592 33554432000 4194304 4196468 140737029055232 139711125384288 139713254000341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30412] ppid=30272 vsize=10982744 memory=140492257269376 CPUtime=0.07 cores=0,2,4,6
/proc/30275/task/30412/stat : 30412 (java) S 30272 30275 30220 0 -1 1077944384 1 13014 0 2 0 0 4 3 20 0 15 0 227201302 11246329856 9592 33554432000 4194304 4196468 140737029055232 139712742902064 139713254001282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 38368 KiB
[startup+0.310495 s]*
/proc/loadavg: 0.95 1.39 1.60 3/215 30412
/proc/meminfo: memFree=23759020/32770624 swapFree=67108372/67108860
[pid=30275] ppid=30272 vsize=10983224 memory=52044 CPUtime=0.35 cores=0,2,4,6
/proc/30275/stat : 30275 (java) S 30272 30275 30220 0 -1 1077944320 9959 13014 1 2 25 3 4 3 20 0 15 0 227201283 11246821376 13011 33554432000 4194304 4196468 140737029055232 140737029037776 139713253990135 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
/proc/30275/statm: 2745798 13011 3069 1 0 2708109 0
[pid=30275/tid=30386] ppid=30272 vsize=10983192 memory=6791534058613427641 CPUtime=0.26 cores=0,2,4,6
/proc/30275/task/30386/stat : 30386 (java) D 30272 30275 30220 0 -1 1077944384 6504 13014 0 2 17 2 4 3 20 0 15 0 227201296 11246788608 13011 33554432000 4194304 4196468 140737029055232 139713225800704 139713246669357 0 4 0 16800975 18446744072101514788 0 0 -1 0 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30388] ppid=30272 vsize=10983224 memory=4126316290023845779 CPUtime=0.07 cores=0,2,4,6
/proc/30275/task/30388/stat : 30388 (java) S 30272 30275 30220 0 -1 1077944384 1 13014 0 2 0 0 4 3 20 0 15 0 227201296 11246821376 13011 33554432000 4194304 4196468 140737029055232 139713258232592 139713254000341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30389] ppid=30272 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30275/task/30389/stat : 30389 (java) S 30272 30275 30220 0 -1 1077944384 1 13014 0 2 0 0 4 3 20 0 15 0 227201296 11246788608 13011 33554432000 4194304 4196468 140737029055232 139712793336720 139713254000341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30391] ppid=30272 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30275/task/30391/stat : 30391 (java) S 30272 30275 30220 0 -1 1077944384 1 13014 0 2 0 0 4 3 20 0 15 0 227201296 11246788608 13011 33554432000 4194304 4196468 140737029055232 139712792284176 139713254000341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30393] ppid=30272 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30275/task/30393/stat : 30393 (java) S 30272 30275 30220 0 -1 1077944384 2 13014 0 2 0 0 4 3 20 0 15 0 227201296 11246788608 13011 33554432000 4194304 4196468 140737029055232 139712791231632 139713254000341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30396] ppid=30272 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30275/task/30396/stat : 30396 (java) S 30272 30275 30220 0 -1 1077944384 2 13014 0 2 0 0 4 3 20 0 15 0 227201298 11246788608 13011 33554432000 4194304 4196468 140737029055232 139712747112432 139713254001282 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30398] ppid=30272 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30275/task/30398/stat : 30398 (java) S 30272 30275 30220 0 -1 1077944384 13 13014 0 2 0 0 4 3 20 0 15 0 227201298 11246788608 13011 33554432000 4194304 4196468 140737029055232 139712064906144 139713254000341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30400] ppid=30272 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30275/task/30400/stat : 30400 (java) S 30272 30275 30220 0 -1 1077944384 2 13014 0 2 0 0 4 3 20 0 15 0 227201298 11246788608 13011 33554432000 4194304 4196468 140737029055232 139711863579632 139713254000341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30405] ppid=30272 vsize=10983224 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30275/task/30405/stat : 30405 (java) S 30272 30275 30220 0 -1 1077944384 3 13014 0 2 0 0 4 3 20 0 15 0 227201301 11246821376 13011 33554432000 4194304 4196468 140737029055232 139711556180176 139713254008731 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30406] ppid=30272 vsize=10983224 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30275/task/30406/stat : 30406 (java) S 30272 30275 30220 0 -1 1077944384 571 13014 0 2 1 0 4 3 20 0 15 0 227201301 11246821376 13011 33554432000 4194304 4196468 140737029055232 139712746060272 139713254001282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30407] ppid=30272 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/30275/task/30407/stat : 30407 (java) S 30272 30275 30220 0 -1 1077944384 59 13014 0 2 1 0 4 3 20 0 15 0 227201301 11246788608 13011 33554432000 4194304 4196468 140737029055232 139712745007728 139713254001282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30409] ppid=30272 vsize=10983192 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/30275/task/30409/stat : 30409 (java) S 30272 30275 30220 0 -1 1077944384 624 13014 0 2 4 0 4 3 20 0 15 0 227201301 11246788608 13011 33554432000 4194304 4196468 140737029055232 139712743955184 139713254001282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30411] ppid=30272 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30275/task/30411/stat : 30411 (java) S 30272 30275 30220 0 -1 1077944384 3 13014 0 2 0 0 4 3 20 0 15 0 227201301 11246788608 13011 33554432000 4194304 4196468 140737029055232 139711125384288 139713254000341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30412] ppid=30272 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30275/task/30412/stat : 30412 (java) S 30272 30275 30220 0 -1 1077944384 1 13014 0 2 0 0 4 3 20 0 15 0 227201302 11246788608 13011 33554432000 4194304 4196468 140737029055232 139712742902064 139713254001282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 10983224 KiB
Current children cumulated memory: 52044 KiB
[startup+0.700752 s]
/proc/loadavg: 0.95 1.39 1.60 4/215 30412
/proc/meminfo: memFree=23732852/32770624 swapFree=67108372/67108860
[pid=30275] ppid=30272 vsize=10983192 memory=88504 CPUtime=0.96 cores=0,2,4,6
/proc/30275/stat : 30275 (java) S 30272 30275 30220 0 -1 1077944320 16685 13014 1 2 84 5 4 3 20 0 15 0 227201283 11246788608 22126 33554432000 4194304 4196468 140737029055232 140737029037776 139713253990135 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
/proc/30275/statm: 2745798 22126 3240 1 0 2708109 0
[pid=30275/tid=30386] ppid=30272 vsize=10983192 memory=0 CPUtime=0.63 cores=0,2,4,6
/proc/30275/task/30386/stat : 30386 (java) R 30272 30275 30220 0 -1 4202560 12174 13014 0 2 53 3 4 3 20 0 15 0 227201296 11246788608 22126 33554432000 4194304 4196468 140737029055232 139713225813136 139713238070622 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30388] ppid=30272 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30275/task/30388/stat : 30388 (java) S 30272 30275 30220 0 -1 1077944384 1 13014 0 2 0 0 4 3 20 0 15 0 227201296 11246788608 22126 33554432000 4194304 4196468 140737029055232 139713258232592 139713254000341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30389] ppid=30272 vsize=10983192 memory=2554968672001 CPUtime=0.07 cores=0,2,4,6
/proc/30275/task/30389/stat : 30389 (java) S 30272 30275 30220 0 -1 1077944384 1 13014 0 2 0 0 4 3 20 0 15 0 227201296 11246788608 22126 33554432000 4194304 4196468 140737029055232 139712793336720 139713254000341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30391] ppid=30272 vsize=10983192 memory=448685905 CPUtime=0.07 cores=0,2,4,6
/proc/30275/task/30391/stat : 30391 (java) S 30272 30275 30220 0 -1 1077944384 1 13014 0 2 0 0 4 3 20 0 15 0 227201296 11246788608 22126 33554432000 4194304 4196468 140737029055232 139712792284176 139713254000341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30393] ppid=30272 vsize=10983192 memory=6451477258504341916 CPUtime=0.07 cores=0,2,4,6
/proc/30275/task/30393/stat : 30393 (java) S 30272 30275 30220 0 -1 1077944384 2 13014 0 2 0 0 4 3 20 0 15 0 227201296 11246788608 22126 33554432000 4194304 4196468 140737029055232 139712791231632 139713254000341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30396] ppid=30272 vsize=10983192 memory=8027200599993434217 CPUtime=0.07 cores=0,2,4,6
/proc/30275/task/30396/stat : 30396 (java) S 30272 30275 30220 0 -1 1077944384 6 13014 0 2 0 0 4 3 20 0 15 0 227201298 11246788608 22126 33554432000 4194304 4196468 140737029055232 139712747112432 139713254001282 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30398] ppid=30272 vsize=10983192 memory=7595725831727968097 CPUtime=0.07 cores=0,2,4,6
/proc/30275/task/30398/stat : 30398 (java) S 30272 30275 30220 0 -1 1077944384 13 13014 0 2 0 0 4 3 20 0 15 0 227201298 11246788608 22126 33554432000 4194304 4196468 140737029055232 139712064906144 139713254000341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30400] ppid=30272 vsize=10983192 memory=3054156605335180436 CPUtime=0.07 cores=0,2,4,6
/proc/30275/task/30400/stat : 30400 (java) S 30272 30275 30220 0 -1 1077944384 2 13014 0 2 0 0 4 3 20 0 15 0 227201298 11246788608 22126 33554432000 4194304 4196468 140737029055232 139711863579632 139713254000341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30405] ppid=30272 vsize=10983192 memory=8031735012220349003 CPUtime=0.07 cores=0,2,4,6
/proc/30275/task/30405/stat : 30405 (java) S 30272 30275 30220 0 -1 1077944384 3 13014 0 2 0 0 4 3 20 0 15 0 227201301 11246788608 22126 33554432000 4194304 4196468 140737029055232 139711556180176 139713254008731 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30406] ppid=30272 vsize=10983192 memory=-7522837583045875833 CPUtime=0.16 cores=0,2,4,6
/proc/30275/task/30406/stat : 30406 (java) R 30272 30275 30220 0 -1 4202560 1194 13014 0 2 9 0 4 3 20 0 15 0 227201301 11246788608 22126 33554432000 4194304 4196468 140737029055232 139712746050640 139713254011482 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30407] ppid=30272 vsize=10983192 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/30275/task/30407/stat : 30407 (java) S 30272 30275 30220 0 -1 1077944384 423 13014 0 2 7 0 4 3 20 0 15 0 227201301 11246788608 22126 33554432000 4194304 4196468 140737029055232 139712745007728 139713254001282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30409] ppid=30272 vsize=10983192 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/30275/task/30409/stat : 30409 (java) S 30272 30275 30220 0 -1 1077944384 678 13014 0 2 13 0 4 3 20 0 15 0 227201301 11246788608 22126 33554432000 4194304 4196468 140737029055232 139712743955184 139713254001282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30411] ppid=30272 vsize=10983192 memory=1616 CPUtime=0.07 cores=0,2,4,6
/proc/30275/task/30411/stat : 30411 (java) S 30272 30275 30220 0 -1 1077944384 3 13014 0 2 0 0 4 3 20 0 15 0 227201301 11246788608 22126 33554432000 4194304 4196468 140737029055232 139711125384288 139713254000341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30412] ppid=30272 vsize=10983192 memory=1172 CPUtime=0.07 cores=0,2,4,6
/proc/30275/task/30412/stat : 30412 (java) S 30272 30275 30220 0 -1 1077944384 1 13014 0 2 0 0 4 3 20 0 15 0 227201302 11246788608 22126 33554432000 4194304 4196468 140737029055232 139712742902064 139713254001282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
Current children cumulated CPU time: 0.96 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88504 KiB
[startup+1.50072 s]
/proc/loadavg: 0.95 1.39 1.60 7/215 30412
/proc/meminfo: memFree=23647916/32770624 swapFree=67108372/67108860
[pid=30275] ppid=30272 vsize=10993996 memory=197552 CPUtime=3.04 cores=0,2,4,6
/proc/30275/stat : 30275 (java) S 30272 30275 30220 0 -1 1077944320 24937 13014 1 2 288 9 4 3 20 0 15 0 227201283 11257851904 49388 33554432000 4194304 4196468 140737029055232 140737029037776 139713253990135 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
/proc/30275/statm: 2748499 49388 3445 1 0 2710157 0
[pid=30275/tid=30386] ppid=30272 vsize=10993996 memory=2424 CPUtime=1.43 cores=0,2,4,6
/proc/30275/task/30386/stat : 30386 (java) R 30272 30275 30220 0 -1 4202560 15545 13014 0 2 129 7 4 3 20 0 15 0 227201296 11257851904 49388 33554432000 4194304 4196468 140737029055232 139713225822496 139712820029178 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30388] ppid=30272 vsize=10993996 memory=109824 CPUtime=0.07 cores=0,2,4,6
/proc/30275/task/30388/stat : 30388 (java) S 30272 30275 30220 0 -1 1077944384 1 13014 0 2 0 0 4 3 20 0 15 0 227201296 11257851904 49388 33554432000 4194304 4196468 140737029055232 139713258232592 139713254000341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30389] ppid=30272 vsize=10993996 memory=3812 CPUtime=0.07 cores=0,2,4,6
/proc/30275/task/30389/stat : 30389 (java) S 30272 30275 30220 0 -1 1077944384 1 13014 0 2 0 0 4 3 20 0 15 0 227201296 11257851904 49388 33554432000 4194304 4196468 140737029055232 139712793336720 139713254000341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30391] ppid=30272 vsize=10993996 memory=99076 CPUtime=0.07 cores=0,2,4,6
/proc/30275/task/30391/stat : 30391 (java) S 30272 30275 30220 0 -1 1077944384 1 13014 0 2 0 0 4 3 20 0 15 0 227201296 11257851904 49388 33554432000 4194304 4196468 140737029055232 139712792284176 139713254000341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30393] ppid=30272 vsize=10993996 memory=1172 CPUtime=0.07 cores=0,2,4,6
/proc/30275/task/30393/stat : 30393 (java) S 30272 30275 30220 0 -1 1077944384 2 13014 0 2 0 0 4 3 20 0 15 0 227201296 11257851904 49388 33554432000 4194304 4196468 140737029055232 139712791231632 139713254000341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30396] ppid=30272 vsize=10993996 memory=2751 CPUtime=0.07 cores=0,2,4,6
/proc/30275/task/30396/stat : 30396 (java) S 30272 30275 30220 0 -1 1077944384 14 13014 0 2 0 0 4 3 20 0 15 0 227201298 11257851904 49388 33554432000 4194304 4196468 140737029055232 139712747112432 139713254001282 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30398] ppid=30272 vsize=10993996 memory=1062 CPUtime=0.07 cores=0,2,4,6
/proc/30275/task/30398/stat : 30398 (java) S 30272 30275 30220 0 -1 1077944384 13 13014 0 2 0 0 4 3 20 0 15 0 227201298 11257851904 49388 33554432000 4194304 4196468 140737029055232 139712064906144 139713254000341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30400] ppid=30272 vsize=10993996 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/30275/task/30400/stat : 30400 (java) S 30272 30275 30220 0 -1 1077944384 2 13014 0 2 0 0 4 3 20 0 15 0 227201298 11257851904 49388 33554432000 4194304 4196468 140737029055232 139711863579632 139713254000341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30405] ppid=30272 vsize=10993996 memory=66 CPUtime=0.07 cores=0,2,4,6
/proc/30275/task/30405/stat : 30405 (java) S 30272 30275 30220 0 -1 1077944384 3 13014 0 2 0 0 4 3 20 0 15 0 227201301 11257851904 49407 33554432000 4194304 4196468 140737029055232 139711556180176 139713254008731 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30406] ppid=30272 vsize=10993996 memory=6791534058613427641 CPUtime=0.66 cores=0,2,4,6
/proc/30275/task/30406/stat : 30406 (java) R 30272 30275 30220 0 -1 4202560 3111 13014 0 2 59 0 4 3 20 0 15 0 227201301 11257851904 49407 33554432000 4194304 4196468 140737029055232 139712746046152 139713232130097 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30407] ppid=30272 vsize=10993996 memory=8475934422144292502 CPUtime=0.62 cores=0,2,4,6
/proc/30275/task/30407/stat : 30407 (java) R 30272 30275 30220 0 -1 4202560 2529 13014 0 2 55 0 4 3 20 0 15 0 227201301 11257851904 49407 33554432000 4194304 4196468 140737029055232 139712744994480 139713233246733 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30409] ppid=30272 vsize=10993996 memory=-6876588452865875872 CPUtime=0.5 cores=0,2,4,6
/proc/30275/task/30409/stat : 30409 (java) S 30272 30275 30220 0 -1 1077944384 1527 13014 0 2 43 0 4 3 20 0 15 0 227201301 11257851904 49407 33554432000 4194304 4196468 140737029055232 139712743955184 139713254001282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30411] ppid=30272 vsize=10993996 memory=-7606742951091920751 CPUtime=0.07 cores=0,2,4,6
/proc/30275/task/30411/stat : 30411 (java) S 30272 30275 30220 0 -1 1077944384 3 13014 0 2 0 0 4 3 20 0 15 0 227201301 11257851904 49407 33554432000 4194304 4196468 140737029055232 139711125384288 139713254000341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30412] ppid=30272 vsize=10993996 memory=-3775572685057999774 CPUtime=0.07 cores=0,2,4,6
/proc/30275/task/30412/stat : 30412 (java) S 30272 30275 30220 0 -1 1077944384 1 13014 0 2 0 0 4 3 20 0 15 0 227201302 11257851904 49407 33554432000 4194304 4196468 140737029055232 139712742902064 139713254001282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
Current children cumulated CPU time: 3.04 s
Current children cumulated vsize: 10993996 KiB
Current children cumulated memory: 197552 KiB
[startup+3.11065 s]
/proc/loadavg: 1.28 1.45 1.62 9/215 30412
/proc/meminfo: memFree=23058372/32770624 swapFree=67108372/67108860
[pid=30275] ppid=30272 vsize=11006304 memory=278352 CPUtime=6.78 cores=0,2,4,6
/proc/30275/stat : 30275 (java) S 30272 30275 30220 0 -1 1077944320 41977 13014 1 2 651 20 4 3 20 0 15 0 227201283 11270455296 69588 33554432000 4194304 4196468 140737029055232 140737029037776 139713253990135 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
/proc/30275/statm: 2751576 69588 3500 1 0 2713229 0
[pid=30275/tid=30386] ppid=30272 vsize=11006304 memory=2241 CPUtime=2.98 cores=0,2,4,6
/proc/30275/task/30386/stat : 30386 (java) R 30272 30275 30220 0 -1 4202560 25661 13014 0 2 282 9 4 3 20 0 15 0 227201296 11270455296 69588 33554432000 4194304 4196468 140737029055232 139713225817264 139713254002070 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
################
# More data... #
################
/proc/30275/task/30386/stat : 30386 (java) R 30272 30275 30220 0 -1 4202560 112047 13014 0 2 235612 58 4 3 20 0 15 0 227201296 11345952768 424213 33554432000 4194304 4196468 140737029055232 139713225824384 139712841243088 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30388] ppid=30272 vsize=11080032 memory=1696852 CPUtime=13.41 cores=0,2,4,6
/proc/30275/task/30388/stat : 30388 (java) S 30272 30275 30220 0 -1 1077944384 40736 13014 0 2 1286 48 4 3 20 0 15 0 227201296 11345952768 424213 33554432000 4194304 4196468 140737029055232 139713258232592 139713254000341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30389] ppid=30272 vsize=11080032 memory=1696852 CPUtime=13.4 cores=0,2,4,6
/proc/30275/task/30389/stat : 30389 (java) S 30272 30275 30220 0 -1 1077944384 30653 13014 0 2 1285 48 4 3 20 0 15 0 227201296 11345952768 424213 33554432000 4194304 4196468 140737029055232 139712793336720 139713254000341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30391] ppid=30272 vsize=11080032 memory=0 CPUtime=13.39 cores=0,2,4,6
/proc/30275/task/30391/stat : 30391 (java) S 30272 30275 30220 0 -1 1077944384 26263 13014 0 2 1285 47 4 3 20 0 15 0 227201296 11345952768 424213 33554432000 4194304 4196468 140737029055232 139712792284176 139713254000341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30393] ppid=30272 vsize=11080032 memory=0 CPUtime=13.42 cores=0,2,4,6
/proc/30275/task/30393/stat : 30393 (java) S 30272 30275 30220 0 -1 1077944384 38213 13014 0 2 1284 51 4 3 20 0 15 0 227201296 11345952768 424213 33554432000 4194304 4196468 140737029055232 139712791231632 139713254000341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30396] ppid=30272 vsize=11080032 memory=1696828 CPUtime=8.92 cores=0,2,4,6
/proc/30275/task/30396/stat : 30396 (java) S 30272 30275 30220 0 -1 1077944384 27154 13014 0 2 839 46 4 3 20 0 15 0 227201298 11345952768 424213 33554432000 4194304 4196468 140737029055232 139712747112432 139713254001282 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30398] ppid=30272 vsize=11080032 memory=1696848 CPUtime=0.07 cores=0,2,4,6
/proc/30275/task/30398/stat : 30398 (java) S 30272 30275 30220 0 -1 1077944384 15 13014 0 2 0 0 4 3 20 0 15 0 227201298 11345952768 424213 33554432000 4194304 4196468 140737029055232 139712064906208 139713254000341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30400] ppid=30272 vsize=11080032 memory=1696852 CPUtime=0.07 cores=0,2,4,6
/proc/30275/task/30400/stat : 30400 (java) S 30272 30275 30220 0 -1 1077944384 5 13014 0 2 0 0 4 3 20 0 15 0 227201298 11345952768 424213 33554432000 4194304 4196468 140737029055232 139711863579648 139713254000341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30405] ppid=30272 vsize=11080032 memory=1696852 CPUtime=0.07 cores=0,2,4,6
/proc/30275/task/30405/stat : 30405 (java) S 30272 30275 30220 0 -1 1077944384 3 13014 0 2 0 0 4 3 20 0 15 0 227201301 11345952768 424213 33554432000 4194304 4196468 140737029055232 139711556180176 139713254008731 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30406] ppid=30272 vsize=11080032 memory=0 CPUtime=10.82 cores=0,2,4,6
/proc/30275/task/30406/stat : 30406 (java) S 30272 30275 30220 0 -1 1077944384 16050 13014 0 2 1069 6 4 3 20 0 15 0 227201301 11345952768 424213 33554432000 4194304 4196468 140737029055232 139712746060272 139713254001282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30407] ppid=30272 vsize=11080032 memory=1696852 CPUtime=12.02 cores=0,2,4,6
/proc/30275/task/30407/stat : 30407 (java) S 30272 30275 30220 0 -1 1077944384 21473 13014 0 2 1188 7 4 3 20 0 15 0 227201301 11345952768 424213 33554432000 4194304 4196468 140737029055232 139712745007728 139713254001282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30409] ppid=30272 vsize=11080032 memory=244621 CPUtime=4.19 cores=0,2,4,6
/proc/30275/task/30409/stat : 30409 (java) S 30272 30275 30220 0 -1 1077944384 34564 13014 0 2 403 9 4 3 20 0 15 0 227201301 11345952768 424213 33554432000 4194304 4196468 140737029055232 139712743955184 139713254001282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30411] ppid=30272 vsize=11080032 memory=1696852 CPUtime=0.07 cores=0,2,4,6
/proc/30275/task/30411/stat : 30411 (java) S 30272 30275 30220 0 -1 1077944384 3 13014 0 2 0 0 4 3 20 0 15 0 227201301 11345952768 424213 33554432000 4194304 4196468 140737029055232 139711125384288 139713254000341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30412] ppid=30272 vsize=11080032 memory=1696852 CPUtime=1.59 cores=0,2,4,6
/proc/30275/task/30412/stat : 30412 (java) S 30272 30275 30220 0 -1 1077944384 1697 13014 0 2 70 82 4 3 20 0 15 0 227201302 11345952768 424213 33554432000 4194304 4196468 140737029055232 139712742902064 139713254001282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
Current children cumulated CPU time: 2447.4 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1696852 KiB
[startup+2442.3 s]
/proc/loadavg: 1.24 1.36 1.41 3/216 30511
/proc/meminfo: memFree=20554624/32770624 swapFree=67108372/67108860
[pid=30275] ppid=30272 vsize=11080032 memory=1696912 CPUtime=2508.46 cores=0,2,4,6
/proc/30275/stat : 30275 (java) S 30272 30275 30220 0 -1 1077944320 357419 13014 1 2 250481 358 4 3 20 0 15 0 227201283 11345952768 424228 33554432000 4194304 4196468 140737029055232 140737029037776 139713253990135 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
/proc/30275/statm: 2770008 424228 3534 1 0 2731661 0
[pid=30275/tid=30386] ppid=30272 vsize=11080032 memory=1696912 CPUtime=2416.09 cores=0,2,4,6
/proc/30275/task/30386/stat : 30386 (java) R 30272 30275 30220 0 -1 4202560 113675 13014 0 2 241543 59 4 3 20 0 15 0 227201296 11345952768 424228 33554432000 4194304 4196468 140737029055232 139713225825408 139712824908127 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30388] ppid=30272 vsize=11080032 memory=1696912 CPUtime=13.77 cores=0,2,4,6
/proc/30275/task/30388/stat : 30388 (java) S 30272 30275 30220 0 -1 1077944384 41990 13014 0 2 1321 49 4 3 20 0 15 0 227201296 11345952768 424228 33554432000 4194304 4196468 140737029055232 139713258232592 139713254000341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30389] ppid=30272 vsize=11080032 memory=1696852 CPUtime=13.78 cores=0,2,4,6
/proc/30275/task/30389/stat : 30389 (java) S 30272 30275 30220 0 -1 1077944384 32533 13014 0 2 1321 50 4 3 20 0 15 0 227201296 11345952768 424228 33554432000 4194304 4196468 140737029055232 139712793336720 139713254000341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30391] ppid=30272 vsize=11080032 memory=1696880 CPUtime=13.76 cores=0,2,4,6
/proc/30275/task/30391/stat : 30391 (java) S 30272 30275 30220 0 -1 1077944384 26876 13014 0 2 1321 48 4 3 20 0 15 0 227201296 11345952768 424228 33554432000 4194304 4196468 140737029055232 139712792284176 139713254000341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30393] ppid=30272 vsize=11080032 memory=1696900 CPUtime=13.78 cores=0,2,4,6
/proc/30275/task/30393/stat : 30393 (java) S 30272 30275 30220 0 -1 1077944384 38388 13014 0 2 1320 51 4 3 20 0 15 0 227201296 11345952768 424228 33554432000 4194304 4196468 140737029055232 139712791231632 139713254000341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30396] ppid=30272 vsize=11080032 memory=1696912 CPUtime=9.16 cores=0,2,4,6
/proc/30275/task/30396/stat : 30396 (java) S 30272 30275 30220 0 -1 1077944384 27903 13014 0 2 861 48 4 3 20 0 15 0 227201298 11345952768 424228 33554432000 4194304 4196468 140737029055232 139712747112432 139713254001282 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30398] ppid=30272 vsize=11080032 memory=1696912 CPUtime=0.07 cores=0,2,4,6
/proc/30275/task/30398/stat : 30398 (java) S 30272 30275 30220 0 -1 1077944384 15 13014 0 2 0 0 4 3 20 0 15 0 227201298 11345952768 424228 33554432000 4194304 4196468 140737029055232 139712064906208 139713254000341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30400] ppid=30272 vsize=11080032 memory=1696912 CPUtime=0.07 cores=0,2,4,6
/proc/30275/task/30400/stat : 30400 (java) S 30272 30275 30220 0 -1 1077944384 5 13014 0 2 0 0 4 3 20 0 15 0 227201298 11345952768 424228 33554432000 4194304 4196468 140737029055232 139711863579648 139713254000341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30405] ppid=30272 vsize=11080032 memory=1696912 CPUtime=0.07 cores=0,2,4,6
/proc/30275/task/30405/stat : 30405 (java) S 30272 30275 30220 0 -1 1077944384 3 13014 0 2 0 0 4 3 20 0 15 0 227201301 11345952768 424228 33554432000 4194304 4196468 140737029055232 139711556180176 139713254008731 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30406] ppid=30272 vsize=11080032 memory=1696912 CPUtime=10.82 cores=0,2,4,6
/proc/30275/task/30406/stat : 30406 (java) S 30272 30275 30220 0 -1 1077944384 16056 13014 0 2 1069 6 4 3 20 0 15 0 227201301 11345952768 424228 33554432000 4194304 4196468 140737029055232 139712746060272 139713254001282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30407] ppid=30272 vsize=11080032 memory=1696912 CPUtime=12.02 cores=0,2,4,6
/proc/30275/task/30407/stat : 30407 (java) S 30272 30275 30220 0 -1 1077944384 21477 13014 0 2 1188 7 4 3 20 0 15 0 227201301 11345952768 424228 33554432000 4194304 4196468 140737029055232 139712745007728 139713254001282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30409] ppid=30272 vsize=11080032 memory=1696912 CPUtime=4.19 cores=0,2,4,6
/proc/30275/task/30409/stat : 30409 (java) S 30272 30275 30220 0 -1 1077944384 34570 13014 0 2 403 9 4 3 20 0 15 0 227201301 11345952768 424228 33554432000 4194304 4196468 140737029055232 139712743955184 139713254001282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30411] ppid=30272 vsize=11080032 memory=1696912 CPUtime=0.07 cores=0,2,4,6
/proc/30275/task/30411/stat : 30411 (java) S 30272 30275 30220 0 -1 1077944384 3 13014 0 2 0 0 4 3 20 0 15 0 227201301 11345952768 424228 33554432000 4194304 4196468 140737029055232 139711125384288 139713254000341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30412] ppid=30272 vsize=11080032 memory=6791534058613427641 CPUtime=1.62 cores=0,2,4,6
/proc/30275/task/30412/stat : 30412 (java) S 30272 30275 30220 0 -1 1077944384 1737 13014 0 2 71 84 4 3 20 0 15 0 227201302 11345952768 424228 33554432000 4194304 4196468 140737029055232 139712742902064 139713254001282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
Current children cumulated CPU time: 2508.46 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1696912 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2453.7 s]
/proc/loadavg: 1.43 1.40 1.42 3/216 30766
/proc/meminfo: memFree=22024736/32770624 swapFree=67108372/67108860
[pid=30275] ppid=30272 vsize=11080032 memory=1696912 CPUtime=2520.07 cores=0,2,4,6
/proc/30275/stat : 30275 (java) S 30272 30275 30220 0 -1 1077944320 357572 13014 1 2 251640 360 4 3 20 0 15 0 227201283 11345952768 424228 33554432000 4194304 4196468 140737029055232 140737029037776 139713253990135 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
/proc/30275/statm: 2770008 424228 3534 1 0 2731661 0
[pid=30275/tid=30386] ppid=30272 vsize=11080032 memory=1696912 CPUtime=2427.35 cores=0,2,4,6
/proc/30275/task/30386/stat : 30386 (java) R 30272 30275 30220 0 -1 4202560 113809 13014 0 2 242669 59 4 3 20 0 15 0 227201296 11345952768 424228 33554432000 4194304 4196468 140737029055232 139713225824704 139712834993543 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30388] ppid=30272 vsize=11080032 memory=1696912 CPUtime=13.84 cores=0,2,4,6
/proc/30275/task/30388/stat : 30388 (java) S 30272 30275 30220 0 -1 1077944384 41991 13014 0 2 1328 49 4 3 20 0 15 0 227201296 11345952768 424228 33554432000 4194304 4196468 140737029055232 139713258232592 139713254000341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30389] ppid=30272 vsize=11080032 memory=1696900 CPUtime=13.85 cores=0,2,4,6
/proc/30275/task/30389/stat : 30389 (java) S 30272 30275 30220 0 -1 1077944384 32535 13014 0 2 1328 50 4 3 20 0 15 0 227201296 11345952768 424228 33554432000 4194304 4196468 140737029055232 139712793336720 139713254000341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30391] ppid=30272 vsize=11080032 memory=1696912 CPUtime=13.83 cores=0,2,4,6
/proc/30275/task/30391/stat : 30391 (java) S 30272 30275 30220 0 -1 1077944384 26877 13014 0 2 1328 48 4 3 20 0 15 0 227201296 11345952768 424228 33554432000 4194304 4196468 140737029055232 139712792284176 139713254000341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30393] ppid=30272 vsize=11080032 memory=1696912 CPUtime=13.85 cores=0,2,4,6
/proc/30275/task/30393/stat : 30393 (java) S 30272 30275 30220 0 -1 1077944384 38402 13014 0 2 1327 51 4 3 20 0 15 0 227201296 11345952768 424228 33554432000 4194304 4196468 140737029055232 139712791231632 139713254000341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30396] ppid=30272 vsize=11080032 memory=1696912 CPUtime=9.21 cores=0,2,4,6
/proc/30275/task/30396/stat : 30396 (java) S 30272 30275 30220 0 -1 1077944384 27904 13014 0 2 866 48 4 3 20 0 15 0 227201298 11345952768 424228 33554432000 4194304 4196468 140737029055232 139712747112432 139713254001282 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30398] ppid=30272 vsize=11080032 memory=1696912 CPUtime=0.07 cores=0,2,4,6
/proc/30275/task/30398/stat : 30398 (java) S 30272 30275 30220 0 -1 1077944384 15 13014 0 2 0 0 4 3 20 0 15 0 227201298 11345952768 424228 33554432000 4194304 4196468 140737029055232 139712064906208 139713254000341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30400] ppid=30272 vsize=11080032 memory=1696880 CPUtime=0.07 cores=0,2,4,6
/proc/30275/task/30400/stat : 30400 (java) S 30272 30275 30220 0 -1 1077944384 5 13014 0 2 0 0 4 3 20 0 15 0 227201298 11345952768 424228 33554432000 4194304 4196468 140737029055232 139711863579648 139713254000341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30405] ppid=30272 vsize=11080032 memory=1696852 CPUtime=0.07 cores=0,2,4,6
/proc/30275/task/30405/stat : 30405 (java) S 30272 30275 30220 0 -1 1077944384 3 13014 0 2 0 0 4 3 20 0 15 0 227201301 11345952768 424228 33554432000 4194304 4196468 140737029055232 139711556180176 139713254008731 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30406] ppid=30272 vsize=11080032 memory=1696912 CPUtime=10.82 cores=0,2,4,6
/proc/30275/task/30406/stat : 30406 (java) S 30272 30275 30220 0 -1 1077944384 16056 13014 0 2 1069 6 4 3 20 0 15 0 227201301 11345952768 424228 33554432000 4194304 4196468 140737029055232 139712746060272 139713254001282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30407] ppid=30272 vsize=11080032 memory=1620 CPUtime=12.02 cores=0,2,4,6
/proc/30275/task/30407/stat : 30407 (java) S 30272 30275 30220 0 -1 1077944384 21477 13014 0 2 1188 7 4 3 20 0 15 0 227201301 11345952768 424228 33554432000 4194304 4196468 140737029055232 139712745007728 139713254001282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30409] ppid=30272 vsize=11080032 memory=1696912 CPUtime=4.19 cores=0,2,4,6
/proc/30275/task/30409/stat : 30409 (java) S 30272 30275 30220 0 -1 1077944384 34570 13014 0 2 403 9 4 3 20 0 15 0 227201301 11345952768 424228 33554432000 4194304 4196468 140737029055232 139712743955184 139713254001282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30411] ppid=30272 vsize=11080032 memory=1696912 CPUtime=0.07 cores=0,2,4,6
/proc/30275/task/30411/stat : 30411 (java) S 30272 30275 30220 0 -1 1077944384 3 13014 0 2 0 0 4 3 20 0 15 0 227201301 11345952768 424228 33554432000 4194304 4196468 140737029055232 139711125384288 139713254000341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30412] ppid=30272 vsize=11080032 memory=3812 CPUtime=1.63 cores=0,2,4,6
/proc/30275/task/30412/stat : 30412 (java) S 30272 30275 30220 0 -1 1077944384 1737 13014 0 2 72 84 4 3 20 0 15 0 227201302 11345952768 424228 33554432000 4194304 4196468 140737029055232 139712742902064 139713254001282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1696912 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2453.75 s]
# the end of solver process 30275 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.47 s, system=3.65976 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2453.7 s]
/proc/loadavg: 1.43 1.40 1.42 3/216 30766
/proc/meminfo: memFree=22024736/32770624 swapFree=67108372/67108860
[pid=30275] ppid=30272 vsize=11080032 memory=1696912 CPUtime=2520.07 cores=0,2,4,6
/proc/30275/stat : 30275 (java) S 30272 30275 30220 0 -1 1077944320 357572 13014 1 2 251640 360 4 3 20 0 15 0 227201283 11345952768 424228 33554432000 4194304 4196468 140737029055232 140737029037776 139713253990135 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 1 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
/proc/30275/statm: 2770008 424228 3534 1 0 2731661 0
[pid=30275/tid=30386] ppid=30272 vsize=11080032 memory=1696912 CPUtime=2427.35 cores=0,2,4,6
/proc/30275/task/30386/stat : 30386 (java) R 30272 30275 30220 0 -1 4202560 113809 13014 0 2 242669 59 4 3 20 0 15 0 227201296 11345952768 424228 33554432000 4194304 4196468 140737029055232 139713225824704 139712834993543 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30388] ppid=30272 vsize=11080032 memory=1696912 CPUtime=13.84 cores=0,2,4,6
/proc/30275/task/30388/stat : 30388 (java) S 30272 30275 30220 0 -1 1077944384 41991 13014 0 2 1328 49 4 3 20 0 15 0 227201296 11345952768 424228 33554432000 4194304 4196468 140737029055232 139713258232592 139713254000341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30389] ppid=30272 vsize=11080032 memory=1696900 CPUtime=13.85 cores=0,2,4,6
/proc/30275/task/30389/stat : 30389 (java) S 30272 30275 30220 0 -1 1077944384 32535 13014 0 2 1328 50 4 3 20 0 15 0 227201296 11345952768 424228 33554432000 4194304 4196468 140737029055232 139712793336720 139713254000341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30391] ppid=30272 vsize=11080032 memory=1696912 CPUtime=13.83 cores=0,2,4,6
/proc/30275/task/30391/stat : 30391 (java) S 30272 30275 30220 0 -1 1077944384 26877 13014 0 2 1328 48 4 3 20 0 15 0 227201296 11345952768 424228 33554432000 4194304 4196468 140737029055232 139712792284176 139713254000341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30393] ppid=30272 vsize=11080032 memory=1696912 CPUtime=13.85 cores=0,2,4,6
/proc/30275/task/30393/stat : 30393 (java) S 30272 30275 30220 0 -1 1077944384 38402 13014 0 2 1327 51 4 3 20 0 15 0 227201296 11345952768 424228 33554432000 4194304 4196468 140737029055232 139712791231632 139713254000341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30396] ppid=30272 vsize=11080032 memory=1696912 CPUtime=9.21 cores=0,2,4,6
/proc/30275/task/30396/stat : 30396 (java) S 30272 30275 30220 0 -1 1077944384 27904 13014 0 2 866 48 4 3 20 0 15 0 227201298 11345952768 424228 33554432000 4194304 4196468 140737029055232 139712747112432 139713254001282 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30398] ppid=30272 vsize=11080032 memory=1696912 CPUtime=0.07 cores=0,2,4,6
/proc/30275/task/30398/stat : 30398 (java) S 30272 30275 30220 0 -1 1077944384 15 13014 0 2 0 0 4 3 20 0 15 0 227201298 11345952768 424228 33554432000 4194304 4196468 140737029055232 139712064906208 139713254000341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30400] ppid=30272 vsize=11080032 memory=1696880 CPUtime=0.07 cores=0,2,4,6
/proc/30275/task/30400/stat : 30400 (java) S 30272 30275 30220 0 -1 1077944384 5 13014 0 2 0 0 4 3 20 0 15 0 227201298 11345952768 424228 33554432000 4194304 4196468 140737029055232 139711863579648 139713254000341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30405] ppid=30272 vsize=11080032 memory=1696852 CPUtime=0.07 cores=0,2,4,6
/proc/30275/task/30405/stat : 30405 (java) S 30272 30275 30220 0 -1 1077944384 3 13014 0 2 0 0 4 3 20 0 15 0 227201301 11345952768 424228 33554432000 4194304 4196468 140737029055232 139711556180176 139713254008731 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30406] ppid=30272 vsize=11080032 memory=1696912 CPUtime=10.82 cores=0,2,4,6
/proc/30275/task/30406/stat : 30406 (java) S 30272 30275 30220 0 -1 1077944384 16056 13014 0 2 1069 6 4 3 20 0 15 0 227201301 11345952768 424228 33554432000 4194304 4196468 140737029055232 139712746060272 139713254001282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30407] ppid=30272 vsize=11080032 memory=1620 CPUtime=12.02 cores=0,2,4,6
/proc/30275/task/30407/stat : 30407 (java) S 30272 30275 30220 0 -1 1077944384 21477 13014 0 2 1188 7 4 3 20 0 15 0 227201301 11345952768 424228 33554432000 4194304 4196468 140737029055232 139712745007728 139713254001282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30409] ppid=30272 vsize=11080032 memory=1696912 CPUtime=4.19 cores=0,2,4,6
/proc/30275/task/30409/stat : 30409 (java) S 30272 30275 30220 0 -1 1077944384 34570 13014 0 2 403 9 4 3 20 0 15 0 227201301 11345952768 424228 33554432000 4194304 4196468 140737029055232 139712743955184 139713254001282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30411] ppid=30272 vsize=11080032 memory=1696912 CPUtime=0.07 cores=0,2,4,6
/proc/30275/task/30411/stat : 30411 (java) S 30272 30275 30220 0 -1 1077944384 3 13014 0 2 0 0 4 3 20 0 15 0 227201301 11345952768 424228 33554432000 4194304 4196468 140737029055232 139711125384288 139713254000341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
[pid=30275/tid=30412] ppid=30272 vsize=11080032 memory=3812 CPUtime=1.63 cores=0,2,4,6
/proc/30275/task/30412/stat : 30412 (java) S 30272 30275 30220 0 -1 1077944384 1737 13014 0 2 72 84 4 3 20 0 15 0 227201302 11345952768 424228 33554432000 4194304 4196468 140737029055232 139712742902064 139713254001282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15142912 140737029061228 140737029064028 140737029064028 140737029066703 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1696912 KiB
Child status: 143
Real time (s): 2453.75
CPU time (s): 2520.13
CPU user time (s): 2516.47
CPU system time (s): 3.65976
CPU usage (%): 102.705
Max. virtual memory (cumulated for all children) (KiB): 11080032
Max. memory (cumulated for all children) (KiB): 1790588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.47
system time used= 3.65976
maximum resident set size= 1792064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 374750
page faults= 3
swaps= 0
block input operations= 72
block output operations= 2888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 245944
involuntary context switches= 8028
# summary of solver processes directly reported to runsolver:
# pid: 30275
# total CPU time (s): 2520.13
# total CPU user time (s): 2516.47
# total CPU system time (s): 3.65976
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.8554 second user time and 22.8148 second system time
The end