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 (2350 MiB free)
memory of node 1: 16384 MiB (6085 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4402495-1568977155/watcher-4402495-1568977155 -o /tmp/evaluation-result-4402495-1568977155/solver-4402495-1568977155 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1568967599-29765 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=122441839 HOME/instance-4402495-1568977155.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=32071, runsolver pid=32068
Current StackSize limit: 8192 KiB
[startup+0.100107 s]*
/proc/loadavg: 1.46 1.38 1.54 3/215 32123
/proc/meminfo: memFree=8636780/32770624 swapFree=67002108/67108860
[pid=32071] ppid=32068 vsize=392944 memory=5880 CPUtime=0.08 cores=1,3,5,7
/proc/32071/stat : 32071 (java) S 32068 32071 29733 0 -1 1077944320 2729 13143 0 0 0 0 5 3 20 0 2 0 473877115 402374656 1470 33554432000 4194304 4196468 140731464574816 140731464557360 140573682978551 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
/proc/32071/statm: 98236 1470 1118 1 0 87147 0
[pid=32071/tid=32124] ppid=32068 vsize=8371124 memory=720575944405811505 CPUtime=0.08 cores=1,3,5,7
/proc/32071/task/32124/stat : 32124 (java) R 32068 32071 29733 0 -1 4202560 641 13143 0 0 0 0 5 3 20 0 2 0 473877125 8572030976 1584 33554432000 4194304 4196468 140731464574816 140573654821280 140573676162709 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 392944 KiB
Current children cumulated memory: 5880 KiB
[startup+0.21076 s]*
/proc/loadavg: 1.46 1.38 1.54 3/227 32137
/proc/meminfo: memFree=8607684/32770624 swapFree=67002108/67108860
[pid=32071] ppid=32068 vsize=10819716 memory=42916 CPUtime=0.24 cores=1,3,5,7
/proc/32071/stat : 32071 (java) S 32068 32071 29733 0 -1 1077944320 6988 13143 0 0 15 1 5 3 20 0 15 0 473877115 11079389184 10729 33554432000 4194304 4196468 140731464574816 140731464557360 140573682978551 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
/proc/32071/statm: 2704929 10729 3180 1 0 2667149 0
[pid=32071/tid=32124] ppid=32068 vsize=10819716 memory=7022364594140610616 CPUtime=0.17 cores=1,3,5,7
/proc/32071/task/32124/stat : 32124 (java) R 32068 32071 29733 0 -1 4202560 3496 13143 0 0 9 0 5 3 20 0 15 0 473877125 11079389184 10729 33554432000 4194304 4196468 140731464574816 140573654759504 140573667059038 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32125] ppid=32068 vsize=10819716 memory=345 CPUtime=0.08 cores=1,3,5,7
/proc/32071/task/32125/stat : 32125 (java) S 32068 32071 29733 0 -1 1077944384 1 13143 0 0 0 0 5 3 20 0 15 0 473877126 11079389184 10729 33554432000 4194304 4196468 140731464574816 140573687220496 140573682988757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32126] ppid=32068 vsize=10819716 memory=140018033868628 CPUtime=0.08 cores=1,3,5,7
/proc/32071/task/32126/stat : 32126 (java) S 32068 32071 29733 0 -1 1077944384 1 13143 0 0 0 0 5 3 20 0 15 0 473877126 11079389184 10729 33554432000 4194304 4196468 140731464574816 140573610379664 140573682988757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32127] ppid=32068 vsize=10819716 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32071/task/32127/stat : 32127 (java) S 32068 32071 29733 0 -1 1077944384 1 13143 0 0 0 0 5 3 20 0 15 0 473877126 11079389184 10729 33554432000 4194304 4196468 140731464574816 140573254851088 140573682988757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32128] ppid=32068 vsize=10819716 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/32071/task/32128/stat : 32128 (java) S 32068 32071 29733 0 -1 1077944384 2 13143 0 0 0 0 5 3 20 0 15 0 473877126 11079389184 10729 33554432000 4194304 4196468 140731464574816 140573253798544 140573682988757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32129] ppid=32068 vsize=10819716 memory=140018033837696 CPUtime=0.08 cores=1,3,5,7
/proc/32071/task/32129/stat : 32129 (java) S 32068 32071 29733 0 -1 1077944384 2 13143 0 0 0 0 5 3 20 0 15 0 473877127 11079389184 10729 33554432000 4194304 4196468 140731464574816 140573209545200 140573682989698 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32130] ppid=32068 vsize=10819716 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/32071/task/32130/stat : 32130 (java) S 32068 32071 29733 0 -1 1077944384 13 13143 0 0 0 0 5 3 20 0 15 0 473877128 11079389184 10729 33554432000 4194304 4196468 140731464574816 140573138740640 140573682988757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32131] ppid=32068 vsize=10819716 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32071/task/32131/stat : 32131 (java) S 32068 32071 29733 0 -1 1077944384 1 13143 0 0 0 0 5 3 20 0 15 0 473877128 11079389184 10729 33554432000 4194304 4196468 140731464574816 140573004522992 140573682988757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32132] ppid=32068 vsize=10819716 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32071/task/32132/stat : 32132 (java) S 32068 32071 29733 0 -1 1077944384 2 13143 0 0 0 0 5 3 20 0 15 0 473877130 11079389184 10729 33554432000 4194304 4196468 140731464574816 140572400544464 140573682997147 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32133] ppid=32068 vsize=10819716 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/32071/task/32133/stat : 32133 (java) S 32068 32071 29733 0 -1 1077944384 338 13143 0 0 1 0 5 3 20 0 15 0 473877130 11079389184 10729 33554432000 4194304 4196468 140731464574816 140573208492016 140573682989698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32134] ppid=32068 vsize=10819716 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/32071/task/32134/stat : 32134 (java) S 32068 32071 29733 0 -1 1077944384 315 13143 0 0 1 0 5 3 20 0 15 0 473877130 11079389184 10729 33554432000 4194304 4196468 140731464574816 140573207439472 140573682989698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32135] ppid=32068 vsize=10819716 memory=140018033837696 CPUtime=0.11 cores=1,3,5,7
/proc/32071/task/32135/stat : 32135 (java) R 32068 32071 29733 0 -1 4202560 602 13143 0 0 3 0 5 3 20 0 15 0 473877130 11079389184 10729 33554432000 4194304 4196468 140731464574816 140573105182960 140573661683453 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32136] ppid=32068 vsize=10819716 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/32071/task/32136/stat : 32136 (java) S 32068 32071 29733 0 -1 1077944384 3 13143 0 0 0 0 5 3 20 0 15 0 473877131 11079389184 10729 33554432000 4194304 4196468 140731464574816 140571930782304 140573682988757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32137] ppid=32068 vsize=10819716 memory=140018033837696 CPUtime=0.08 cores=1,3,5,7
/proc/32071/task/32137/stat : 32137 (java) S 32068 32071 29733 0 -1 1077944384 1 13143 0 0 0 0 5 3 20 0 15 0 473877131 11079389184 10729 33554432000 4194304 4196468 140731464574816 140573104130864 140573682989698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 10819716 KiB
Current children cumulated memory: 42916 KiB
[startup+0.310537 s]*
/proc/loadavg: 1.46 1.38 1.54 3/227 32137
/proc/meminfo: memFree=8595136/32770624 swapFree=67002108/67108860
[pid=32071] ppid=32068 vsize=10820196 memory=54024 CPUtime=0.37 cores=1,3,5,7
/proc/32071/stat : 32071 (java) S 32068 32071 29733 0 -1 1077944320 10701 13143 0 0 27 2 5 3 20 0 15 0 473877115 11079880704 13506 33554432000 4194304 4196468 140731464574816 140731464557360 140573682978551 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
/proc/32071/statm: 2705049 13506 3308 1 0 2667149 0
[pid=32071/tid=32124] ppid=32068 vsize=10820196 memory=0 CPUtime=0.28 cores=1,3,5,7
/proc/32071/task/32124/stat : 32124 (java) R 32068 32071 29733 0 -1 4202560 7182 13143 0 0 18 2 5 3 20 0 15 0 473877125 11079880704 13506 33554432000 4194304 4196468 140731464574816 140573654787472 140573667059038 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32125] ppid=32068 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32071/task/32125/stat : 32125 (java) S 32068 32071 29733 0 -1 1077944384 1 13143 0 0 0 0 5 3 20 0 15 0 473877126 11079880704 13506 33554432000 4194304 4196468 140731464574816 140573687220496 140573682988757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32126] ppid=32068 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32071/task/32126/stat : 32126 (java) S 32068 32071 29733 0 -1 1077944384 1 13143 0 0 0 0 5 3 20 0 15 0 473877126 11079880704 13506 33554432000 4194304 4196468 140731464574816 140573610379664 140573682988757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32127] ppid=32068 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32071/task/32127/stat : 32127 (java) S 32068 32071 29733 0 -1 1077944384 1 13143 0 0 0 0 5 3 20 0 15 0 473877126 11079880704 13506 33554432000 4194304 4196468 140731464574816 140573254851088 140573682988757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32128] ppid=32068 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/32071/task/32128/stat : 32128 (java) S 32068 32071 29733 0 -1 1077944384 2 13143 0 0 0 0 5 3 20 0 15 0 473877126 11079880704 13506 33554432000 4194304 4196468 140731464574816 140573253798544 140573682988757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32129] ppid=32068 vsize=10820196 memory=140018033837696 CPUtime=0.08 cores=1,3,5,7
/proc/32071/task/32129/stat : 32129 (java) S 32068 32071 29733 0 -1 1077944384 2 13143 0 0 0 0 5 3 20 0 15 0 473877127 11079880704 13506 33554432000 4194304 4196468 140731464574816 140573209545200 140573682989698 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32130] ppid=32068 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/32071/task/32130/stat : 32130 (java) S 32068 32071 29733 0 -1 1077944384 13 13143 0 0 0 0 5 3 20 0 15 0 473877128 11079880704 13506 33554432000 4194304 4196468 140731464574816 140573138740640 140573682988757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32131] ppid=32068 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32071/task/32131/stat : 32131 (java) S 32068 32071 29733 0 -1 1077944384 1 13143 0 0 0 0 5 3 20 0 15 0 473877128 11079880704 13506 33554432000 4194304 4196468 140731464574816 140573004522992 140573682988757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32132] ppid=32068 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32071/task/32132/stat : 32132 (java) S 32068 32071 29733 0 -1 1077944384 2 13143 0 0 0 0 5 3 20 0 15 0 473877130 11079880704 13506 33554432000 4194304 4196468 140731464574816 140572400544464 140573682997147 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32133] ppid=32068 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/32071/task/32133/stat : 32133 (java) S 32068 32071 29733 0 -1 1077944384 339 13143 0 0 1 0 5 3 20 0 15 0 473877130 11079880704 13506 33554432000 4194304 4196468 140731464574816 140573208492016 140573682989698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32134] ppid=32068 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/32071/task/32134/stat : 32134 (java) S 32068 32071 29733 0 -1 1077944384 324 13143 0 0 1 0 5 3 20 0 15 0 473877130 11079880704 13506 33554432000 4194304 4196468 140731464574816 140573207439472 140573682989698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32135] ppid=32068 vsize=10820196 memory=140018033837696 CPUtime=0.13 cores=1,3,5,7
/proc/32071/task/32135/stat : 32135 (java) S 32068 32071 29733 0 -1 1077944384 620 13143 0 0 5 0 5 3 20 0 15 0 473877130 11079880704 13506 33554432000 4194304 4196468 140731464574816 140573105182960 140573682989698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32136] ppid=32068 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/32071/task/32136/stat : 32136 (java) S 32068 32071 29733 0 -1 1077944384 3 13143 0 0 0 0 5 3 20 0 15 0 473877131 11079880704 13506 33554432000 4194304 4196468 140731464574816 140571930782304 140573682988757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32137] ppid=32068 vsize=10820196 memory=140018033837696 CPUtime=0.08 cores=1,3,5,7
/proc/32071/task/32137/stat : 32137 (java) S 32068 32071 29733 0 -1 1077944384 1 13143 0 0 0 0 5 3 20 0 15 0 473877131 11079880704 13506 33554432000 4194304 4196468 140731464574816 140573104130864 140573682989698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 54024 KiB
[startup+0.700722 s]
/proc/loadavg: 1.46 1.38 1.54 3/227 32137
/proc/meminfo: memFree=8582128/32770624 swapFree=67002108/67108860
[pid=32071] ppid=32068 vsize=10822316 memory=85276 CPUtime=1.1 cores=1,3,5,7
/proc/32071/stat : 32071 (java) S 32068 32071 29733 0 -1 1077944320 14992 13143 0 0 98 4 5 3 20 0 15 0 473877115 11082051584 21319 33554432000 4194304 4196468 140731464574816 140731464557360 140573682978551 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
/proc/32071/statm: 2705579 21319 3512 1 0 2667661 0
[pid=32071/tid=32124] ppid=32068 vsize=10822316 memory=3848 CPUtime=0.65 cores=1,3,5,7
/proc/32071/task/32124/stat : 32124 (java) R 32068 32071 29733 0 -1 4202560 10394 13143 0 0 54 3 5 3 20 0 15 0 473877125 11082051584 21319 33554432000 4194304 4196468 140731464574816 140573654803512 140573682999898 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32125] ppid=32068 vsize=10822316 memory=2924 CPUtime=0.08 cores=1,3,5,7
/proc/32071/task/32125/stat : 32125 (java) S 32068 32071 29733 0 -1 1077944384 1 13143 0 0 0 0 5 3 20 0 15 0 473877126 11082051584 21319 33554432000 4194304 4196468 140731464574816 140573687220496 140573682988757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32126] ppid=32068 vsize=10822316 memory=2700 CPUtime=0.08 cores=1,3,5,7
/proc/32071/task/32126/stat : 32126 (java) S 32068 32071 29733 0 -1 1077944384 1 13143 0 0 0 0 5 3 20 0 15 0 473877126 11082051584 21319 33554432000 4194304 4196468 140731464574816 140573610379664 140573682988757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32127] ppid=32068 vsize=10822316 memory=1408 CPUtime=0.08 cores=1,3,5,7
/proc/32071/task/32127/stat : 32127 (java) S 32068 32071 29733 0 -1 1077944384 1 13143 0 0 0 0 5 3 20 0 15 0 473877126 11082051584 21319 33554432000 4194304 4196468 140731464574816 140573254851088 140573682988757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32128] ppid=32068 vsize=10822316 memory=3136 CPUtime=0.08 cores=1,3,5,7
/proc/32071/task/32128/stat : 32128 (java) S 32068 32071 29733 0 -1 1077944384 2 13143 0 0 0 0 5 3 20 0 15 0 473877126 11082051584 21319 33554432000 4194304 4196468 140731464574816 140573253798544 140573682988757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32129] ppid=32068 vsize=10822316 memory=1375572 CPUtime=0.08 cores=1,3,5,7
/proc/32071/task/32129/stat : 32129 (java) S 32068 32071 29733 0 -1 1077944384 5 13143 0 0 0 0 5 3 20 0 15 0 473877127 11082051584 21319 33554432000 4194304 4196468 140731464574816 140573209545200 140573682989698 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32130] ppid=32068 vsize=10822316 memory=4104 CPUtime=0.08 cores=1,3,5,7
/proc/32071/task/32130/stat : 32130 (java) S 32068 32071 29733 0 -1 1077944384 13 13143 0 0 0 0 5 3 20 0 15 0 473877128 11082051584 21319 33554432000 4194304 4196468 140731464574816 140573138740640 140573682988757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32131] ppid=32068 vsize=10822316 memory=1408 CPUtime=0.08 cores=1,3,5,7
/proc/32071/task/32131/stat : 32131 (java) S 32068 32071 29733 0 -1 1077944384 1 13143 0 0 0 0 5 3 20 0 15 0 473877128 11082051584 21319 33554432000 4194304 4196468 140731464574816 140573004522992 140573682988757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32132] ppid=32068 vsize=10822316 memory=2400 CPUtime=0.08 cores=1,3,5,7
/proc/32071/task/32132/stat : 32132 (java) S 32068 32071 29733 0 -1 1077944384 2 13143 0 0 0 0 5 3 20 0 15 0 473877130 11082051584 21319 33554432000 4194304 4196468 140731464574816 140572400544464 140573682997147 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32133] ppid=32068 vsize=10822316 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/32071/task/32133/stat : 32133 (java) R 32068 32071 29733 0 -1 4202560 795 13143 0 0 15 0 5 3 20 0 15 0 473877130 11082051584 21319 33554432000 4194304 4196468 140731464574816 140573208469376 140573662832127 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32134] ppid=32068 vsize=10822316 memory=2276 CPUtime=0.19 cores=1,3,5,7
/proc/32071/task/32134/stat : 32134 (java) S 32068 32071 29733 0 -1 1077944384 798 13143 0 0 11 0 5 3 20 0 15 0 473877130 11082051584 21319 33554432000 4194304 4196468 140731464574816 140573207439472 140573682989698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32135] ppid=32068 vsize=10822316 memory=275441372933555 CPUtime=0.24 cores=1,3,5,7
/proc/32071/task/32135/stat : 32135 (java) S 32068 32071 29733 0 -1 1077944384 765 13143 0 0 16 0 5 3 20 0 15 0 473877130 11082051584 21319 33554432000 4194304 4196468 140731464574816 140573105182960 140573682989698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32136] ppid=32068 vsize=10822316 memory=288230621803970871 CPUtime=0.08 cores=1,3,5,7
/proc/32071/task/32136/stat : 32136 (java) S 32068 32071 29733 0 -1 1077944384 3 13143 0 0 0 0 5 3 20 0 15 0 473877131 11082051584 21319 33554432000 4194304 4196468 140731464574816 140571930782304 140573682988757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32137] ppid=32068 vsize=10822316 memory=16106965717748364 CPUtime=0.08 cores=1,3,5,7
/proc/32071/task/32137/stat : 32137 (java) S 32068 32071 29733 0 -1 1077944384 1 13143 0 0 0 0 5 3 20 0 15 0 473877131 11082051584 21319 33554432000 4194304 4196468 140731464574816 140573104130864 140573682989698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10822316 KiB
Current children cumulated memory: 85276 KiB
[startup+1.50072 s]
/proc/loadavg: 1.46 1.38 1.54 6/227 32137
/proc/meminfo: memFree=8526756/32770624 swapFree=67002108/67108860
[pid=32071] ppid=32068 vsize=10832632 memory=229764 CPUtime=3.32 cores=1,3,5,7
/proc/32071/stat : 32071 (java) S 32068 32071 29733 0 -1 1077944320 40134 13143 0 0 311 13 5 3 20 0 15 0 473877115 11092615168 57441 33554432000 4194304 4196468 140731464574816 140731464557360 140573682978551 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
/proc/32071/statm: 2708158 57441 3588 1 0 2670221 0
[pid=32071/tid=32124] ppid=32068 vsize=10832632 memory=164 CPUtime=1.41 cores=1,3,5,7
/proc/32071/task/32124/stat : 32124 (java) R 32068 32071 29733 0 -1 4202560 17970 13143 0 0 126 7 5 3 20 0 15 0 473877125 11092615168 57441 33554432000 4194304 4196468 140731464574816 140573654794672 140573667032603 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32125] ppid=32068 vsize=10832632 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/32071/task/32125/stat : 32125 (java) S 32068 32071 29733 0 -1 1077944384 296 13143 0 0 1 0 5 3 20 0 15 0 473877126 11092615168 57441 33554432000 4194304 4196468 140731464574816 140573687220496 140573682988757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32126] ppid=32068 vsize=10832632 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/32071/task/32126/stat : 32126 (java) S 32068 32071 29733 0 -1 1077944384 59 13143 0 0 1 0 5 3 20 0 15 0 473877126 11092615168 57441 33554432000 4194304 4196468 140731464574816 140573610379664 140573682988757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32127] ppid=32068 vsize=10832632 memory=4580 CPUtime=0.09 cores=1,3,5,7
/proc/32071/task/32127/stat : 32127 (java) S 32068 32071 29733 0 -1 1077944384 31 13143 0 0 1 0 5 3 20 0 15 0 473877126 11092615168 57441 33554432000 4194304 4196468 140731464574816 140573254851088 140573682988757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32128] ppid=32068 vsize=10832632 memory=280035760301320 CPUtime=0.09 cores=1,3,5,7
/proc/32071/task/32128/stat : 32128 (java) S 32068 32071 29733 0 -1 1077944384 71 13143 0 0 1 0 5 3 20 0 15 0 473877126 11092615168 57441 33554432000 4194304 4196468 140731464574816 140573253798544 140573682988757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32129] ppid=32068 vsize=10832632 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/32071/task/32129/stat : 32129 (java) S 32068 32071 29733 0 -1 1077944384 125 13143 0 0 1 0 5 3 20 0 15 0 473877127 11092615168 57441 33554432000 4194304 4196468 140731464574816 140573209545200 140573682989698 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32130] ppid=32068 vsize=10832632 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32071/task/32130/stat : 32130 (java) S 32068 32071 29733 0 -1 1077944384 14 13143 0 0 0 0 5 3 20 0 15 0 473877128 11092615168 57441 33554432000 4194304 4196468 140731464574816 140573138740704 140573682988757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32131] ppid=32068 vsize=10832632 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32071/task/32131/stat : 32131 (java) S 32068 32071 29733 0 -1 1077944384 1 13143 0 0 0 0 5 3 20 0 15 0 473877128 11092615168 57441 33554432000 4194304 4196468 140731464574816 140573004523008 140573682988757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32132] ppid=32068 vsize=10832632 memory=6370731357167314792 CPUtime=0.08 cores=1,3,5,7
/proc/32071/task/32132/stat : 32132 (java) S 32068 32071 29733 0 -1 1077944384 2 13143 0 0 0 0 5 3 20 0 15 0 473877130 11092615168 57441 33554432000 4194304 4196468 140731464574816 140572400544464 140573682997147 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32133] ppid=32068 vsize=10832632 memory=280035760299680 CPUtime=0.77 cores=1,3,5,7
/proc/32071/task/32133/stat : 32133 (java) S 32068 32071 29733 0 -1 1077944384 8968 13143 0 0 68 1 5 3 20 0 15 0 473877130 11092615168 57441 33554432000 4194304 4196468 140731464574816 140573208492016 140573682989698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32134] ppid=32068 vsize=10832632 memory=0 CPUtime=0.71 cores=1,3,5,7
/proc/32071/task/32134/stat : 32134 (java) S 32068 32071 29733 0 -1 1077944384 7669 13143 0 0 63 0 5 3 20 0 15 0 473877130 11092615168 57441 33554432000 4194304 4196468 140731464574816 140573207439472 140573682989698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32135] ppid=32068 vsize=10832632 memory=0 CPUtime=0.5 cores=1,3,5,7
/proc/32071/task/32135/stat : 32135 (java) S 32068 32071 29733 0 -1 1077944384 2714 13143 0 0 41 1 5 3 20 0 15 0 473877130 11092615168 57441 33554432000 4194304 4196468 140731464574816 140573105182960 140573682989698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32136] ppid=32068 vsize=10832632 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32071/task/32136/stat : 32136 (java) S 32068 32071 29733 0 -1 1077944384 3 13143 0 0 0 0 5 3 20 0 15 0 473877131 11092615168 57441 33554432000 4194304 4196468 140731464574816 140571930782304 140573682988757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32137] ppid=32068 vsize=10832632 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32071/task/32137/stat : 32137 (java) S 32068 32071 29733 0 -1 1077944384 2 13143 0 0 0 0 5 3 20 0 15 0 473877131 11092615168 57441 33554432000 4194304 4196468 140731464574816 140573104130864 140573682989698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
Current children cumulated CPU time: 3.32 s
Current children cumulated vsize: 10832632 KiB
Current children cumulated memory: 229764 KiB
[startup+3.10074 s]
/proc/loadavg: 1.66 1.42 1.55 4/227 32137
/proc/meminfo: memFree=8406812/32770624 swapFree=67002108/67108860
[pid=32071] ppid=32068 vsize=10842892 memory=287492 CPUtime=7.17 cores=1,3,5,7
/proc/32071/stat : 32071 (java) S 32068 32071 29733 0 -1 1077944320 53320 13143 0 0 691 18 5 3 20 0 15 0 473877115 11103121408 71873 33554432000 4194304 4196468 140731464574816 140731464557360 140573682978551 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
/proc/32071/statm: 2710723 71873 3609 1 0 2672781 0
################
# More data... #
################
/proc/32071/task/32124/stat : 32124 (java) R 32068 32071 29733 0 -1 4202560 120589 13143 0 0 235661 76 5 3 20 0 15 0 473877125 11109412864 503939 33554432000 4194304 4196468 140731464574816 140573654814160 140573295276896 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32125] ppid=32068 vsize=10849036 memory=124 CPUtime=13.15 cores=1,3,5,7
/proc/32071/task/32125/stat : 32125 (java) S 32068 32071 29733 0 -1 1077944384 50923 13143 0 0 1250 57 5 3 20 0 15 0 473877126 11109412864 503939 33554432000 4194304 4196468 140731464574816 140573687220496 140573682988757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32126] ppid=32068 vsize=10849036 memory=2017812 CPUtime=13.15 cores=1,3,5,7
/proc/32071/task/32126/stat : 32126 (java) S 32068 32071 29733 0 -1 1077944384 42356 13143 0 0 1250 57 5 3 20 0 15 0 473877126 11109412864 503939 33554432000 4194304 4196468 140731464574816 140573610379664 140573682988757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32127] ppid=32068 vsize=10849036 memory=2017812 CPUtime=13.16 cores=1,3,5,7
/proc/32071/task/32127/stat : 32127 (java) S 32068 32071 29733 0 -1 1077944384 33147 13143 0 0 1252 56 5 3 20 0 15 0 473877126 11109412864 503939 33554432000 4194304 4196468 140731464574816 140573254851088 140573682988757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32128] ppid=32068 vsize=10849036 memory=2017812 CPUtime=13.18 cores=1,3,5,7
/proc/32071/task/32128/stat : 32128 (java) S 32068 32071 29733 0 -1 1077944384 43734 13143 0 0 1251 59 5 3 20 0 15 0 473877126 11109412864 503939 33554432000 4194304 4196468 140731464574816 140573253798544 140573682988757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32129] ppid=32068 vsize=10849036 memory=2017808 CPUtime=9.03 cores=1,3,5,7
/proc/32071/task/32129/stat : 32129 (java) S 32068 32071 29733 0 -1 1077944384 36232 13143 0 0 834 61 5 3 20 0 15 0 473877127 11109412864 503939 33554432000 4194304 4196468 140731464574816 140573209545200 140573682989698 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32130] ppid=32068 vsize=10849036 memory=2016268 CPUtime=0.08 cores=1,3,5,7
/proc/32071/task/32130/stat : 32130 (java) S 32068 32071 29733 0 -1 1077944384 30 13143 0 0 0 0 5 3 20 0 15 0 473877128 11109412864 503939 33554432000 4194304 4196468 140731464574816 140573138740704 140573682988757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32131] ppid=32068 vsize=10849036 memory=4104 CPUtime=0.08 cores=1,3,5,7
/proc/32071/task/32131/stat : 32131 (java) S 32068 32071 29733 0 -1 1077944384 17 13143 0 0 0 0 5 3 20 0 15 0 473877128 11109412864 503939 33554432000 4194304 4196468 140731464574816 140573004523008 140573682988757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32132] ppid=32068 vsize=10849036 memory=2017812 CPUtime=0.08 cores=1,3,5,7
/proc/32071/task/32132/stat : 32132 (java) S 32068 32071 29733 0 -1 1077944384 2 13143 0 0 0 0 5 3 20 0 15 0 473877130 11109412864 503939 33554432000 4194304 4196468 140731464574816 140572400544464 140573682997147 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32133] ppid=32068 vsize=10849036 memory=924 CPUtime=7.07 cores=1,3,5,7
/proc/32071/task/32133/stat : 32133 (java) S 32068 32071 29733 0 -1 1077944384 26324 13143 0 0 696 3 5 3 20 0 15 0 473877130 11109412864 503939 33554432000 4194304 4196468 140731464574816 140573208492016 140573682989698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32134] ppid=32068 vsize=10849036 memory=0 CPUtime=7.23 cores=1,3,5,7
/proc/32071/task/32134/stat : 32134 (java) S 32068 32071 29733 0 -1 1077944384 23348 13143 0 0 711 4 5 3 20 0 15 0 473877130 11109412864 503939 33554432000 4194304 4196468 140731464574816 140573207439472 140573682989698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32135] ppid=32068 vsize=10849036 memory=3588 CPUtime=2.59 cores=1,3,5,7
/proc/32071/task/32135/stat : 32135 (java) S 32068 32071 29733 0 -1 1077944384 19652 13143 0 0 246 5 5 3 20 0 15 0 473877130 11109412864 503939 33554432000 4194304 4196468 140731464574816 140573105182960 140573682989698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32136] ppid=32068 vsize=10849036 memory=2016780 CPUtime=0.08 cores=1,3,5,7
/proc/32071/task/32136/stat : 32136 (java) S 32068 32071 29733 0 -1 1077944384 3 13143 0 0 0 0 5 3 20 0 15 0 473877131 11109412864 503939 33554432000 4194304 4196468 140731464574816 140571930782304 140573682988757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32137] ppid=32068 vsize=10849036 memory=2016780 CPUtime=1.42 cores=1,3,5,7
/proc/32071/task/32137/stat : 32137 (java) S 32068 32071 29733 0 -1 1077944384 2466 13143 0 0 56 78 5 3 20 0 15 0 473877131 11109412864 503939 33554432000 4194304 4196468 140731464574816 140573104130864 140573682989698 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
Current children cumulated CPU time: 2436.81 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 2015756 KiB
[startup+2442.3 s]
/proc/loadavg: 1.30 1.27 1.36 3/227 32636
/proc/meminfo: memFree=7219384/32770624 swapFree=67002108/67108860
[pid=32071] ppid=32068 vsize=10849036 memory=2006516 CPUtime=2497.92 cores=1,3,5,7
/proc/32071/stat : 32071 (java) S 32068 32071 29733 0 -1 1077944320 405673 13143 0 0 249373 411 5 3 20 0 15 0 473877115 11109412864 501629 33554432000 4194304 4196468 140731464574816 140731464557360 140573682978551 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
/proc/32071/statm: 2712259 501629 3630 1 0 2674317 0
[pid=32071/tid=32124] ppid=32068 vsize=10849036 memory=2017812 CPUtime=2416.76 cores=1,3,5,7
/proc/32071/task/32124/stat : 32124 (java) R 32068 32071 29733 0 -1 4202560 122325 13143 0 0 241591 77 5 3 20 0 15 0 473877125 11109412864 501629 33554432000 4194304 4196468 140731464574816 140573654813984 140573293121996 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32125] ppid=32068 vsize=10849036 memory=2006516 CPUtime=13.52 cores=1,3,5,7
/proc/32071/task/32125/stat : 32125 (java) S 32068 32071 29733 0 -1 1077944384 51092 13143 0 0 1286 58 5 3 20 0 15 0 473877126 11109412864 501629 33554432000 4194304 4196468 140731464574816 140573687220496 140573682988757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32126] ppid=32068 vsize=10849036 memory=2006516 CPUtime=13.52 cores=1,3,5,7
/proc/32071/task/32126/stat : 32126 (java) S 32068 32071 29733 0 -1 1077944384 43248 13143 0 0 1285 59 5 3 20 0 15 0 473877126 11109412864 501629 33554432000 4194304 4196468 140731464574816 140573610379664 140573682988757 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32127] ppid=32068 vsize=10849036 memory=2006516 CPUtime=13.53 cores=1,3,5,7
/proc/32071/task/32127/stat : 32127 (java) S 32068 32071 29733 0 -1 1077944384 33963 13143 0 0 1288 57 5 3 20 0 15 0 473877126 11109412864 501629 33554432000 4194304 4196468 140731464574816 140573254851088 140573682988757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32128] ppid=32068 vsize=10849036 memory=2006516 CPUtime=13.56 cores=1,3,5,7
/proc/32071/task/32128/stat : 32128 (java) S 32068 32071 29733 0 -1 1077944384 44059 13143 0 0 1288 60 5 3 20 0 15 0 473877126 11109412864 501629 33554432000 4194304 4196468 140731464574816 140573253798544 140573682988757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32129] ppid=32068 vsize=10849036 memory=2006516 CPUtime=9.27 cores=1,3,5,7
/proc/32071/task/32129/stat : 32129 (java) S 32068 32071 29733 0 -1 1077944384 36890 13143 0 0 857 62 5 3 20 0 15 0 473877127 11109412864 501629 33554432000 4194304 4196468 140731464574816 140573209545200 140573682989698 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32130] ppid=32068 vsize=10849036 memory=2006516 CPUtime=0.08 cores=1,3,5,7
/proc/32071/task/32130/stat : 32130 (java) S 32068 32071 29733 0 -1 1077944384 30 13143 0 0 0 0 5 3 20 0 15 0 473877128 11109412864 501629 33554432000 4194304 4196468 140731464574816 140573138740704 140573682988757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32131] ppid=32068 vsize=10849036 memory=2006516 CPUtime=0.08 cores=1,3,5,7
/proc/32071/task/32131/stat : 32131 (java) S 32068 32071 29733 0 -1 1077944384 17 13143 0 0 0 0 5 3 20 0 15 0 473877128 11109412864 501629 33554432000 4194304 4196468 140731464574816 140573004523008 140573682988757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32132] ppid=32068 vsize=10849036 memory=2832 CPUtime=0.08 cores=1,3,5,7
/proc/32071/task/32132/stat : 32132 (java) S 32068 32071 29733 0 -1 1077944384 2 13143 0 0 0 0 5 3 20 0 15 0 473877130 11109412864 501629 33554432000 4194304 4196468 140731464574816 140572400544464 140573682997147 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32133] ppid=32068 vsize=10849036 memory=2006516 CPUtime=7.07 cores=1,3,5,7
/proc/32071/task/32133/stat : 32133 (java) S 32068 32071 29733 0 -1 1077944384 26328 13143 0 0 696 3 5 3 20 0 15 0 473877130 11109412864 501629 33554432000 4194304 4196468 140731464574816 140573208492016 140573682989698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32134] ppid=32068 vsize=10849036 memory=3588 CPUtime=7.24 cores=1,3,5,7
/proc/32071/task/32134/stat : 32134 (java) S 32068 32071 29733 0 -1 1077944384 23354 13143 0 0 712 4 5 3 20 0 15 0 473877130 11109412864 501629 33554432000 4194304 4196468 140731464574816 140573207439472 140573682989698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32135] ppid=32068 vsize=10849036 memory=2006516 CPUtime=2.59 cores=1,3,5,7
/proc/32071/task/32135/stat : 32135 (java) S 32068 32071 29733 0 -1 1077944384 19656 13143 0 0 246 5 5 3 20 0 15 0 473877130 11109412864 501629 33554432000 4194304 4196468 140731464574816 140573105182960 140573682989698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32136] ppid=32068 vsize=10849036 memory=2006516 CPUtime=0.08 cores=1,3,5,7
/proc/32071/task/32136/stat : 32136 (java) S 32068 32071 29733 0 -1 1077944384 3 13143 0 0 0 0 5 3 20 0 15 0 473877131 11109412864 501629 33554432000 4194304 4196468 140731464574816 140571930782304 140573682988757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32137] ppid=32068 vsize=10849036 memory=2006516 CPUtime=1.45 cores=1,3,5,7
/proc/32071/task/32137/stat : 32137 (java) S 32068 32071 29733 0 -1 1077944384 2496 13143 0 0 58 79 5 3 20 0 15 0 473877131 11109412864 501629 33554432000 4194304 4196468 140731464574816 140573104130864 140573682989698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
Current children cumulated CPU time: 2497.92 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 2006516 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2464.1 s]
/proc/loadavg: 1.34 1.28 1.36 3/227 32637
/proc/meminfo: memFree=7219692/32770624 swapFree=67002108/67108860
[pid=32071] ppid=32068 vsize=10849036 memory=2006516 CPUtime=2520.09 cores=1,3,5,7
/proc/32071/stat : 32071 (java) S 32068 32071 29733 0 -1 1077944320 407877 13143 0 0 251587 414 5 3 20 0 15 0 473877115 11109412864 501629 33554432000 4194304 4196468 140731464574816 140731464557360 140573682978551 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
/proc/32071/statm: 2712259 501629 3630 1 0 2674317 0
[pid=32071/tid=32124] ppid=32068 vsize=10849036 memory=2006516 CPUtime=2438.33 cores=1,3,5,7
/proc/32071/task/32124/stat : 32124 (java) R 32068 32071 29733 0 -1 4202560 123144 13143 0 0 243747 78 5 3 20 0 15 0 473877125 11109412864 501629 33554432000 4194304 4196468 140731464574816 140573654814304 140573301159516 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32125] ppid=32068 vsize=10849036 memory=2006516 CPUtime=13.65 cores=1,3,5,7
/proc/32071/task/32125/stat : 32125 (java) S 32068 32071 29733 0 -1 1077944384 51334 13143 0 0 1298 59 5 3 20 0 15 0 473877126 11109412864 501629 33554432000 4194304 4196468 140731464574816 140573687220496 140573682988757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32126] ppid=32068 vsize=10849036 memory=2006516 CPUtime=13.65 cores=1,3,5,7
/proc/32071/task/32126/stat : 32126 (java) S 32068 32071 29733 0 -1 1077944384 43321 13143 0 0 1298 59 5 3 20 0 15 0 473877126 11109412864 501629 33554432000 4194304 4196468 140731464574816 140573610379664 140573682988757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32127] ppid=32068 vsize=10849036 memory=2006516 CPUtime=13.66 cores=1,3,5,7
/proc/32071/task/32127/stat : 32127 (java) S 32068 32071 29733 0 -1 1077944384 34129 13143 0 0 1300 58 5 3 20 0 15 0 473877126 11109412864 501629 33554432000 4194304 4196468 140731464574816 140573254851088 140573682988757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32128] ppid=32068 vsize=10849036 memory=2006516 CPUtime=13.69 cores=1,3,5,7
/proc/32071/task/32128/stat : 32128 (java) S 32068 32071 29733 0 -1 1077944384 44617 13143 0 0 1300 61 5 3 20 0 15 0 473877126 11109412864 501629 33554432000 4194304 4196468 140731464574816 140573253798544 140573682988757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32129] ppid=32068 vsize=10849036 memory=2006516 CPUtime=9.35 cores=1,3,5,7
/proc/32071/task/32129/stat : 32129 (java) S 32068 32071 29733 0 -1 1077944384 37223 13143 0 0 865 62 5 3 20 0 15 0 473877127 11109412864 501629 33554432000 4194304 4196468 140731464574816 140573209545200 140573682989698 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32130] ppid=32068 vsize=10849036 memory=1736 CPUtime=0.08 cores=1,3,5,7
/proc/32071/task/32130/stat : 32130 (java) S 32068 32071 29733 0 -1 1077944384 30 13143 0 0 0 0 5 3 20 0 15 0 473877128 11109412864 501629 33554432000 4194304 4196468 140731464574816 140573138740704 140573682988757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32131] ppid=32068 vsize=10849036 memory=2006516 CPUtime=0.08 cores=1,3,5,7
/proc/32071/task/32131/stat : 32131 (java) S 32068 32071 29733 0 -1 1077944384 17 13143 0 0 0 0 5 3 20 0 15 0 473877128 11109412864 501629 33554432000 4194304 4196468 140731464574816 140573004523008 140573682988757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32132] ppid=32068 vsize=10849036 memory=6128 CPUtime=0.08 cores=1,3,5,7
/proc/32071/task/32132/stat : 32132 (java) S 32068 32071 29733 0 -1 1077944384 2 13143 0 0 0 0 5 3 20 0 15 0 473877130 11109412864 501629 33554432000 4194304 4196468 140731464574816 140572400544464 140573682997147 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32133] ppid=32068 vsize=10849036 memory=1560 CPUtime=7.07 cores=1,3,5,7
/proc/32071/task/32133/stat : 32133 (java) S 32068 32071 29733 0 -1 1077944384 26330 13143 0 0 696 3 5 3 20 0 15 0 473877130 11109412864 501629 33554432000 4194304 4196468 140731464574816 140573208492016 140573682989698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32134] ppid=32068 vsize=10849036 memory=148 CPUtime=7.24 cores=1,3,5,7
/proc/32071/task/32134/stat : 32134 (java) S 32068 32071 29733 0 -1 1077944384 23357 13143 0 0 712 4 5 3 20 0 15 0 473877130 11109412864 501629 33554432000 4194304 4196468 140731464574816 140573207439472 140573682989698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32135] ppid=32068 vsize=10849036 memory=0 CPUtime=2.59 cores=1,3,5,7
/proc/32071/task/32135/stat : 32135 (java) S 32068 32071 29733 0 -1 1077944384 19658 13143 0 0 246 5 5 3 20 0 15 0 473877130 11109412864 501629 33554432000 4194304 4196468 140731464574816 140573105182960 140573682989698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32136] ppid=32068 vsize=10849036 memory=2006516 CPUtime=0.08 cores=1,3,5,7
/proc/32071/task/32136/stat : 32136 (java) S 32068 32071 29733 0 -1 1077944384 3 13143 0 0 0 0 5 3 20 0 15 0 473877131 11109412864 501629 33554432000 4194304 4196468 140731464574816 140571930782304 140573682988757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32137] ppid=32068 vsize=10849036 memory=6791534058613427641 CPUtime=1.47 cores=1,3,5,7
/proc/32071/task/32137/stat : 32137 (java) S 32068 32071 29733 0 -1 1077944384 2502 13143 0 0 59 80 5 3 20 0 15 0 473877131 11109412864 501629 33554432000 4194304 4196468 140731464574816 140573104130864 140573682989698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 2006516 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2464.13 s]
# the end of solver process 32071 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.94 s, system=4.19546 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2464.1 s]
/proc/loadavg: 1.34 1.28 1.36 3/227 32637
/proc/meminfo: memFree=7219692/32770624 swapFree=67002108/67108860
[pid=32071] ppid=32068 vsize=10849036 memory=2006516 CPUtime=2520.09 cores=1,3,5,7
/proc/32071/stat : 32071 (java) S 32068 32071 29733 0 -1 1077944320 407877 13143 0 0 251587 414 5 3 20 0 15 0 473877115 11109412864 501629 33554432000 4194304 4196468 140731464574816 140731464557360 140573682978551 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
/proc/32071/statm: 2712259 501629 3630 1 0 2674317 0
[pid=32071/tid=32124] ppid=32068 vsize=10849036 memory=2006516 CPUtime=2438.33 cores=1,3,5,7
/proc/32071/task/32124/stat : 32124 (java) R 32068 32071 29733 0 -1 4202560 123144 13143 0 0 243747 78 5 3 20 0 15 0 473877125 11109412864 501629 33554432000 4194304 4196468 140731464574816 140573654814304 140573301159516 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32125] ppid=32068 vsize=10849036 memory=2006516 CPUtime=13.65 cores=1,3,5,7
/proc/32071/task/32125/stat : 32125 (java) S 32068 32071 29733 0 -1 1077944384 51334 13143 0 0 1298 59 5 3 20 0 15 0 473877126 11109412864 501629 33554432000 4194304 4196468 140731464574816 140573687220496 140573682988757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32126] ppid=32068 vsize=10849036 memory=2006516 CPUtime=13.65 cores=1,3,5,7
/proc/32071/task/32126/stat : 32126 (java) S 32068 32071 29733 0 -1 1077944384 43321 13143 0 0 1298 59 5 3 20 0 15 0 473877126 11109412864 501629 33554432000 4194304 4196468 140731464574816 140573610379664 140573682988757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32127] ppid=32068 vsize=10849036 memory=2006516 CPUtime=13.66 cores=1,3,5,7
/proc/32071/task/32127/stat : 32127 (java) S 32068 32071 29733 0 -1 1077944384 34129 13143 0 0 1300 58 5 3 20 0 15 0 473877126 11109412864 501629 33554432000 4194304 4196468 140731464574816 140573254851088 140573682988757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32128] ppid=32068 vsize=10849036 memory=2006516 CPUtime=13.69 cores=1,3,5,7
/proc/32071/task/32128/stat : 32128 (java) S 32068 32071 29733 0 -1 1077944384 44617 13143 0 0 1300 61 5 3 20 0 15 0 473877126 11109412864 501629 33554432000 4194304 4196468 140731464574816 140573253798544 140573682988757 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32129] ppid=32068 vsize=10849036 memory=2006516 CPUtime=9.35 cores=1,3,5,7
/proc/32071/task/32129/stat : 32129 (java) S 32068 32071 29733 0 -1 1077944384 37223 13143 0 0 865 62 5 3 20 0 15 0 473877127 11109412864 501629 33554432000 4194304 4196468 140731464574816 140573209545200 140573682989698 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32130] ppid=32068 vsize=10849036 memory=1736 CPUtime=0.08 cores=1,3,5,7
/proc/32071/task/32130/stat : 32130 (java) S 32068 32071 29733 0 -1 1077944384 30 13143 0 0 0 0 5 3 20 0 15 0 473877128 11109412864 501629 33554432000 4194304 4196468 140731464574816 140573138740704 140573682988757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32131] ppid=32068 vsize=10849036 memory=2006516 CPUtime=0.08 cores=1,3,5,7
/proc/32071/task/32131/stat : 32131 (java) S 32068 32071 29733 0 -1 1077944384 17 13143 0 0 0 0 5 3 20 0 15 0 473877128 11109412864 501629 33554432000 4194304 4196468 140731464574816 140573004523008 140573682988757 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32132] ppid=32068 vsize=10849036 memory=6128 CPUtime=0.08 cores=1,3,5,7
/proc/32071/task/32132/stat : 32132 (java) S 32068 32071 29733 0 -1 1077944384 2 13143 0 0 0 0 5 3 20 0 15 0 473877130 11109412864 501629 33554432000 4194304 4196468 140731464574816 140572400544464 140573682997147 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32133] ppid=32068 vsize=10849036 memory=1560 CPUtime=7.07 cores=1,3,5,7
/proc/32071/task/32133/stat : 32133 (java) S 32068 32071 29733 0 -1 1077944384 26330 13143 0 0 696 3 5 3 20 0 15 0 473877130 11109412864 501629 33554432000 4194304 4196468 140731464574816 140573208492016 140573682989698 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32134] ppid=32068 vsize=10849036 memory=148 CPUtime=7.24 cores=1,3,5,7
/proc/32071/task/32134/stat : 32134 (java) S 32068 32071 29733 0 -1 1077944384 23357 13143 0 0 712 4 5 3 20 0 15 0 473877130 11109412864 501629 33554432000 4194304 4196468 140731464574816 140573207439472 140573682989698 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32135] ppid=32068 vsize=10849036 memory=0 CPUtime=2.59 cores=1,3,5,7
/proc/32071/task/32135/stat : 32135 (java) S 32068 32071 29733 0 -1 1077944384 19658 13143 0 0 246 5 5 3 20 0 15 0 473877130 11109412864 501629 33554432000 4194304 4196468 140731464574816 140573105182960 140573682989698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32136] ppid=32068 vsize=10849036 memory=2006516 CPUtime=0.08 cores=1,3,5,7
/proc/32071/task/32136/stat : 32136 (java) S 32068 32071 29733 0 -1 1077944384 3 13143 0 0 0 0 5 3 20 0 15 0 473877131 11109412864 501629 33554432000 4194304 4196468 140731464574816 140571930782304 140573682988757 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
[pid=32071/tid=32137] ppid=32068 vsize=10849036 memory=6791534058613427641 CPUtime=1.47 cores=1,3,5,7
/proc/32071/task/32137/stat : 32137 (java) S 32068 32071 29733 0 -1 1077944384 2502 13143 0 0 59 80 5 3 20 0 15 0 473877131 11109412864 501629 33554432000 4194304 4196468 140731464574816 140573104130864 140573682989698 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38129664 140731464583920 140731464586437 140731464586437 140731464589263 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10849036 KiB
Current children cumulated memory: 2006516 KiB
Child status: 143
Real time (s): 2464.13
CPU time (s): 2520.14
CPU user time (s): 2515.94
CPU system time (s): 4.19546
CPU usage (%): 102.273
Max. virtual memory (cumulated for all children) (KiB): 10849036
Max. memory (cumulated for all children) (KiB): 2875216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.94
system time used= 4.19546
maximum resident set size= 2879312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 424219
page faults= 0
swaps= 0
block input operations= 8
block output operations= 2864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 250596
involuntary context switches= 7325
# summary of solver processes directly reported to runsolver:
# pid: 32071
# total CPU time (s): 2520.14
# total CPU user time (s): 2515.94
# total CPU system time (s): 4.19546
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.5754 second user time and 23.337 second system time
The end