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 (13930 MiB free)
memory of node 1: 16384 MiB (15694 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398890-1568699293/watcher-4398890-1568699293 -o /tmp/evaluation-result-4398890-1568699293/solver-4398890-1568699293 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568698283-25925 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1725978719 HOME/instance-4398890-1568699293.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
Current StackSize limit: 8192 KiB
solver pid=26575, runsolver pid=26572
[startup+0.100061 s]*
/proc/loadavg: 8.21 8.24 5.96 3/208 26607
/proc/meminfo: memFree=30346336/32770624 swapFree=66917056/67108860
[pid=26575] ppid=26572 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26575/stat : 26575 (xcsp3-exec) S 26572 26575 25893 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445843155 115843072 362 33554432000 4194304 5098028 140723676606640 140723676604744 139871340393084 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 14725120 140723676615546 140723676615789 140723676615789 140723676618698 0
/proc/26575/statm: 28282 362 304 221 0 87 0
[pid=26577] ppid=26575 vsize=15144776 memory=29004 CPUtime=0.13 cores=1,3,5,7
/proc/26577/stat : 26577 (java) S 26575 26575 25893 0 -1 1077944320 5703 0 0 0 12 1 0 0 20 0 15 0 445843155 15508250624 7251 33554432000 4194304 4196468 140734620972544 140734620955088 139852367556343 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
/proc/26577/statm: 3786194 7251 3151 1 0 3748377 0
[pid=26577/tid=26578] ppid=26575 vsize=15144776 memory=-8035107114841901037 CPUtime=0.09 cores=1,3,5,7
/proc/26577/task/26578/stat : 26578 (java) R 26575 26575 25893 0 -1 4202560 3573 0 0 0 8 1 0 0 20 0 15 0 445843155 15508250624 7251 33554432000 4194304 4196468 140734620972544 139852371789120 139852359793470 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26579] ppid=26575 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26579/stat : 26579 (java) S 26575 26575 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445843156 15508250624 7251 33554432000 4194304 4196468 140734620972544 139852324109328 139852367566549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26580] ppid=26575 vsize=15144776 memory=139833324066432 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26580/stat : 26580 (java) S 26575 26575 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445843156 15508250624 7251 33554432000 4194304 4196468 140734620972544 139851958770832 139852367566549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26581] ppid=26575 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26581/stat : 26581 (java) S 26575 26575 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445843156 15508250624 7251 33554432000 4194304 4196468 140734620972544 139851957717776 139852367566549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26582] ppid=26575 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26582/stat : 26582 (java) S 26575 26575 25893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445843156 15508250624 7251 33554432000 4194304 4196468 140734620972544 139851956665232 139852367566549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26586] ppid=26575 vsize=15144776 memory=139833324066432 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26586/stat : 26586 (java) S 26575 26575 25893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445843157 15508250624 7251 33554432000 4194304 4196468 140734620972544 139851241322736 139852367567490 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26590] ppid=26575 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26590/stat : 26590 (java) S 26575 26575 25893 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445843158 15508250624 7251 33554432000 4194304 4196468 140734620972544 139851240268960 139852367566549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26592] ppid=26575 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26592/stat : 26592 (java) S 26575 26575 25893 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445843158 15508250624 7251 33554432000 4194304 4196468 140734620972544 139851239215856 139852367566549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26600] ppid=26575 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26600/stat : 26600 (java) S 26575 26575 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445843160 15508250624 7251 33554432000 4194304 4196468 140734620972544 139851238164432 139852367574939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26601] ppid=26575 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26601/stat : 26601 (java) S 26575 26575 25893 0 -1 1077944384 339 0 0 0 0 0 0 0 20 0 15 0 445843160 15508250624 7251 33554432000 4194304 4196468 140734620972544 139851237112560 139852367567490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26602] ppid=26575 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26602/stat : 26602 (java) S 26575 26575 25893 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 445843160 15508250624 7251 33554432000 4194304 4196468 140734620972544 139851236060016 139852367567490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26603] ppid=26575 vsize=15144776 memory=139833324066432 CPUtime=0.02 cores=1,3,5,7
/proc/26577/task/26603/stat : 26603 (java) S 26575 26575 25893 0 -1 1077944384 368 0 0 0 2 0 0 0 20 0 15 0 445843160 15508250624 7251 33554432000 4194304 4196468 140734620972544 139851235006960 139852367567490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26604] ppid=26575 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26604/stat : 26604 (java) S 26575 26575 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445843161 15508250624 7251 33554432000 4194304 4196468 140734620972544 139851233954656 139852367566549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26605] ppid=26575 vsize=15144776 memory=139833324066432 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26605/stat : 26605 (java) S 26575 26575 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445843161 15508250624 7251 33554432000 4194304 4196468 140734620972544 139851232901680 139852367567490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30452 KiB
[startup+0.213353 s]*
/proc/loadavg: 8.21 8.24 5.96 4/208 26610
/proc/meminfo: memFree=30305696/32770624 swapFree=66917056/67108860
[pid=26575] ppid=26572 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26575/stat : 26575 (xcsp3-exec) S 26572 26575 25893 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445843155 115843072 362 33554432000 4194304 5098028 140723676606640 140723676604744 139871340393084 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 14725120 140723676615546 140723676615789 140723676615789 140723676618698 0
/proc/26575/statm: 28282 362 304 221 0 87 0
[pid=26577] ppid=26575 vsize=15144776 memory=40440 CPUtime=0.35 cores=1,3,5,7
/proc/26577/stat : 26577 (java) S 26575 26575 25893 0 -1 1077944320 9306 0 0 0 31 4 0 0 20 0 15 0 445843155 15508250624 10110 33554432000 4194304 4196468 140734620972544 140734620955088 139852367556343 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
/proc/26577/statm: 3786194 10110 3307 1 0 3748377 0
[pid=26577/tid=26578] ppid=26575 vsize=15144776 memory=8390339637985935414 CPUtime=0.2 cores=1,3,5,7
/proc/26577/task/26578/stat : 26578 (java) R 26575 26575 25893 0 -1 4202560 6567 0 0 0 18 2 0 0 20 0 15 0 445843155 15508250624 10110 33554432000 4194304 4196468 140734620972544 139852371794160 139852351636830 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26579] ppid=26575 vsize=15144776 memory=288230600413020183 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26579/stat : 26579 (java) S 26575 26575 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445843156 15508250624 10110 33554432000 4194304 4196468 140734620972544 139852324109328 139852367566549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26580] ppid=26575 vsize=15144776 memory=4051467671414232736 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26580/stat : 26580 (java) S 26575 26575 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445843156 15508250624 10110 33554432000 4194304 4196468 140734620972544 139851958770832 139852367566549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26581] ppid=26575 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26581/stat : 26581 (java) S 26575 26575 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445843156 15508250624 10110 33554432000 4194304 4196468 140734620972544 139851957717776 139852367566549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26582] ppid=26575 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26582/stat : 26582 (java) S 26575 26575 25893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445843156 15508250624 10110 33554432000 4194304 4196468 140734620972544 139851956665232 139852367566549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26586] ppid=26575 vsize=15144776 memory=139833324066432 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26586/stat : 26586 (java) S 26575 26575 25893 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445843157 15508250624 10110 33554432000 4194304 4196468 140734620972544 139851241322736 139852367567490 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26590] ppid=26575 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26590/stat : 26590 (java) S 26575 26575 25893 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445843158 15508250624 10110 33554432000 4194304 4196468 140734620972544 139851240268960 139852367566549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26592] ppid=26575 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26592/stat : 26592 (java) S 26575 26575 25893 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445843158 15508250624 10110 33554432000 4194304 4196468 140734620972544 139851239215856 139852367566549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26600] ppid=26575 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26600/stat : 26600 (java) S 26575 26575 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445843160 15508250624 10110 33554432000 4194304 4196468 140734620972544 139851238164432 139852367574939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26601] ppid=26575 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/26577/task/26601/stat : 26601 (java) S 26575 26575 25893 0 -1 1077944384 404 0 0 0 2 0 0 0 20 0 15 0 445843160 15508250624 10110 33554432000 4194304 4196468 140734620972544 139851237112560 139852367567490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26602] ppid=26575 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/26577/task/26602/stat : 26602 (java) S 26575 26575 25893 0 -1 1077944384 221 0 0 0 2 0 0 0 20 0 15 0 445843160 15508250624 10110 33554432000 4194304 4196468 140734620972544 139851236060016 139852367567490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26603] ppid=26575 vsize=15144776 memory=139833324066432 CPUtime=0.08 cores=1,3,5,7
/proc/26577/task/26603/stat : 26603 (java) S 26575 26575 25893 0 -1 1077944384 810 0 0 0 8 0 0 0 20 0 15 0 445843160 15508250624 10110 33554432000 4194304 4196468 140734620972544 139851235006960 139852367567490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26604] ppid=26575 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26604/stat : 26604 (java) S 26575 26575 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445843161 15508250624 10110 33554432000 4194304 4196468 140734620972544 139851233954656 139852367566549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26605] ppid=26575 vsize=15144776 memory=139833324066432 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26605/stat : 26605 (java) S 26575 26575 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445843161 15508250624 10110 33554432000 4194304 4196468 140734620972544 139851232901680 139852367567490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41888 KiB
[startup+0.319741 s]*
/proc/loadavg: 8.21 8.24 5.96 5/228 26634
/proc/meminfo: memFree=30283248/32770624 swapFree=66917056/67108860
[pid=26575] ppid=26572 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26575/stat : 26575 (xcsp3-exec) S 26572 26575 25893 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445843155 115843072 362 33554432000 4194304 5098028 140723676606640 140723676604744 139871340393084 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 14725120 140723676615546 140723676615789 140723676615789 140723676618698 0
/proc/26575/statm: 28282 362 304 221 0 87 0
[pid=26577] ppid=26575 vsize=15149032 memory=49928 CPUtime=0.55 cores=1,3,5,7
/proc/26577/stat : 26577 (java) S 26575 26575 25893 0 -1 1077944320 10889 0 0 0 50 5 0 0 20 0 15 0 445843155 15512608768 12482 33554432000 4194304 4196468 140734620972544 140734620955088 139852367556343 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
/proc/26577/statm: 3787258 12482 3359 1 0 3748377 0
[pid=26577/tid=26578] ppid=26575 vsize=15149032 memory=6791534058613427641 CPUtime=0.31 cores=1,3,5,7
/proc/26577/task/26578/stat : 26578 (java) R 26575 26575 25893 0 -1 4202560 7807 0 0 0 28 3 0 0 20 0 15 0 445843155 15512608768 12547 33554432000 4194304 4196468 140734620972544 139852371784112 139852351636830 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26579] ppid=26575 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26579/stat : 26579 (java) S 26575 26575 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445843156 15512608768 12547 33554432000 4194304 4196468 140734620972544 139852324109328 139852367566549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26580] ppid=26575 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26580/stat : 26580 (java) S 26575 26575 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445843156 15512608768 12547 33554432000 4194304 4196468 140734620972544 139851958770832 139852367566549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26581] ppid=26575 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26581/stat : 26581 (java) S 26575 26575 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445843156 15512608768 12547 33554432000 4194304 4196468 140734620972544 139851957717776 139852367566549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26582] ppid=26575 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26582/stat : 26582 (java) S 26575 26575 25893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445843156 15512608768 12547 33554432000 4194304 4196468 140734620972544 139851956665232 139852367566549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26586] ppid=26575 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26586/stat : 26586 (java) S 26575 26575 25893 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445843157 15512608768 12547 33554432000 4194304 4196468 140734620972544 139851241322736 139852367567490 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26590] ppid=26575 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26590/stat : 26590 (java) S 26575 26575 25893 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445843158 15512608768 12547 33554432000 4194304 4196468 140734620972544 139851240268960 139852367566549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26592] ppid=26575 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26592/stat : 26592 (java) S 26575 26575 25893 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445843158 15512608768 12547 33554432000 4194304 4196468 140734620972544 139851239215856 139852367566549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26600] ppid=26575 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26600/stat : 26600 (java) S 26575 26575 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445843160 15512608768 12547 33554432000 4194304 4196468 140734620972544 139851238164432 139852367574939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26601] ppid=26575 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/26577/task/26601/stat : 26601 (java) S 26575 26575 25893 0 -1 1077944384 449 0 0 0 3 0 0 0 20 0 15 0 445843160 15512608768 12547 33554432000 4194304 4196468 140734620972544 139851237112560 139852367567490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26602] ppid=26575 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/26577/task/26602/stat : 26602 (java) S 26575 26575 25893 0 -1 1077944384 378 0 0 0 5 0 0 0 20 0 15 0 445843160 15512608768 12547 33554432000 4194304 4196468 140734620972544 139851236060016 139852367567490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26603] ppid=26575 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/26577/task/26603/stat : 26603 (java) S 26575 26575 25893 0 -1 1077944384 953 0 0 0 12 0 0 0 20 0 15 0 445843160 15512608768 12547 33554432000 4194304 4196468 140734620972544 139851235006960 139852367567490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26604] ppid=26575 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26604/stat : 26604 (java) S 26575 26575 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445843161 15512608768 12547 33554432000 4194304 4196468 140734620972544 139851233954656 139852367566549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26605] ppid=26575 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26605/stat : 26605 (java) S 26575 26575 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445843161 15512608768 12547 33554432000 4194304 4196468 140734620972544 139851232901680 139852367567490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51376 KiB
[startup+0.701503 s]
/proc/loadavg: 8.21 8.24 5.96 5/229 26635
/proc/meminfo: memFree=30242604/32770624 swapFree=66917056/67108860
[pid=26575] ppid=26572 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26575/stat : 26575 (xcsp3-exec) S 26572 26575 25893 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445843155 115843072 362 33554432000 4194304 5098028 140723676606640 140723676604744 139871340393084 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 14725120 140723676615546 140723676615789 140723676615789 140723676618698 0
/proc/26575/statm: 28282 362 304 221 0 87 0
[pid=26577] ppid=26575 vsize=15151156 memory=111524 CPUtime=1.77 cores=1,3,5,7
/proc/26577/stat : 26577 (java) S 26575 26575 25893 0 -1 1077944320 16440 0 0 0 170 7 0 0 20 0 15 0 445843155 15514783744 27881 33554432000 4194304 4196468 140734620972544 140734620955088 139852367556343 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
/proc/26577/statm: 3787789 27881 3444 1 0 3748889 0
[pid=26577/tid=26578] ppid=26575 vsize=15151156 memory=-7082918122175031429 CPUtime=0.67 cores=1,3,5,7
/proc/26577/task/26578/stat : 26578 (java) R 26575 26575 25893 0 -1 4202560 9080 0 0 0 63 4 0 0 20 0 15 0 445843155 15514783744 27881 33554432000 4194304 4196468 140734620972544 139852371792136 139852350076927 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26579] ppid=26575 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26579/stat : 26579 (java) S 26575 26575 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445843156 15514783744 27881 33554432000 4194304 4196468 140734620972544 139852324109328 139852367566549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26580] ppid=26575 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26580/stat : 26580 (java) S 26575 26575 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445843156 15514783744 27881 33554432000 4194304 4196468 140734620972544 139851958770832 139852367566549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26581] ppid=26575 vsize=15151156 memory=48336 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26581/stat : 26581 (java) S 26575 26575 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445843156 15514783744 27881 33554432000 4194304 4196468 140734620972544 139851957717776 139852367566549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26582] ppid=26575 vsize=15151156 memory=2020 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26582/stat : 26582 (java) S 26575 26575 25893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445843156 15514783744 27881 33554432000 4194304 4196468 140734620972544 139851956665232 139852367566549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26586] ppid=26575 vsize=15151156 memory=988 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26586/stat : 26586 (java) S 26575 26575 25893 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445843157 15514783744 27881 33554432000 4194304 4196468 140734620972544 139851241322736 139852367567490 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26590] ppid=26575 vsize=15151156 memory=1368 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26590/stat : 26590 (java) S 26575 26575 25893 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445843158 15514783744 27881 33554432000 4194304 4196468 140734620972544 139851240268960 139852367566549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26592] ppid=26575 vsize=15151156 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26592/stat : 26592 (java) S 26575 26575 25893 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445843158 15514783744 27881 33554432000 4194304 4196468 140734620972544 139851239215856 139852367566549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26600] ppid=26575 vsize=15151156 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26600/stat : 26600 (java) S 26575 26575 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445843160 15514783744 27881 33554432000 4194304 4196468 140734620972544 139851238164432 139852367574939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26601] ppid=26575 vsize=15151156 memory=6032 CPUtime=0.37 cores=1,3,5,7
/proc/26577/task/26601/stat : 26601 (java) R 26575 26575 25893 0 -1 4202560 1940 0 0 0 36 1 0 0 20 0 15 0 445843160 15514783744 27881 33554432000 4194304 4196468 140734620972544 139851237093576 139852351053127 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26602] ppid=26575 vsize=15151156 memory=11416 CPUtime=0.36 cores=1,3,5,7
/proc/26577/task/26602/stat : 26602 (java) R 26575 26575 25893 0 -1 4202560 1577 0 0 0 36 0 0 0 20 0 15 0 445843160 15514783744 27881 33554432000 4194304 4196468 140734620972544 139851236053040 139852348256647 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26603] ppid=26575 vsize=15151156 memory=768 CPUtime=0.34 cores=1,3,5,7
/proc/26577/task/26603/stat : 26603 (java) S 26575 26575 25893 0 -1 1077944384 2537 0 0 0 33 1 0 0 20 0 15 0 445843160 15514783744 27881 33554432000 4194304 4196468 140734620972544 139851235006960 139852367567490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26604] ppid=26575 vsize=15151156 memory=776 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26604/stat : 26604 (java) S 26575 26575 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445843161 15514783744 27881 33554432000 4194304 4196468 140734620972544 139851233954656 139852367566549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26605] ppid=26575 vsize=15151156 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26605/stat : 26605 (java) S 26575 26575 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445843161 15514783744 27881 33554432000 4194304 4196468 140734620972544 139851232901680 139852367567490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
Current children cumulated CPU time: 1.77 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 112972 KiB
[startup+1.50093 s]
/proc/loadavg: 8.21 8.24 5.96 7/229 26635
/proc/meminfo: memFree=30048568/32770624 swapFree=66917056/67108860
[pid=26575] ppid=26572 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26575/stat : 26575 (xcsp3-exec) S 26572 26575 25893 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445843155 115843072 362 33554432000 4194304 5098028 140723676606640 140723676604744 139871340393084 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 14725120 140723676615546 140723676615789 140723676615789 140723676618698 0
/proc/26575/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/26577/task/26581/stat : 26581 (java) R 26575 26575 25893 0 -1 4202560 94838 0 0 0 56653 185 0 0 20 0 15 0 445843156 15514783744 3154354 33554432000 4194304 4196468 140734620972544 139851957717776 139852352546007 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26582] ppid=26575 vsize=15151156 memory=932 CPUtime=566.88 cores=1,3,5,7
/proc/26577/task/26582/stat : 26582 (java) R 26575 26575 25893 0 -1 4202560 97428 0 0 0 56496 192 0 0 20 0 15 0 445843156 15514783744 3154354 33554432000 4194304 4196468 140734620972544 139851956665432 139852352545808 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26586] ppid=26575 vsize=15151156 memory=3848 CPUtime=77.99 cores=1,3,5,7
/proc/26577/task/26586/stat : 26586 (java) S 26575 26575 25893 0 -1 1077944384 140147 0 0 0 7789 10 0 0 20 0 15 0 445843157 15514783744 3154354 33554432000 4194304 4196468 140734620972544 139851241321280 139852367566549 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26590] ppid=26575 vsize=15151156 memory=2744 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26590/stat : 26590 (java) S 26575 26575 25893 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 445843158 15514783744 3154354 33554432000 4194304 4196468 140734620972544 139851240269024 139852367566549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26592] ppid=26575 vsize=15151156 memory=2592 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26592/stat : 26592 (java) S 26575 26575 25893 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 445843158 15514783744 3154354 33554432000 4194304 4196468 140734620972544 139851239215872 139852367566549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26600] ppid=26575 vsize=15151156 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26600/stat : 26600 (java) S 26575 26575 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445843160 15514783744 3154354 33554432000 4194304 4196468 140734620972544 139851238164432 139852367574939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26601] ppid=26575 vsize=15151156 memory=5316 CPUtime=1.17 cores=1,3,5,7
/proc/26577/task/26601/stat : 26601 (java) S 26575 26575 25893 0 -1 1077944384 6595 0 0 0 116 1 0 0 20 0 15 0 445843160 15514783744 3154354 33554432000 4194304 4196468 140734620972544 139851237112560 139852367567490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26602] ppid=26575 vsize=15151156 memory=1448 CPUtime=2.14 cores=1,3,5,7
/proc/26577/task/26602/stat : 26602 (java) S 26575 26575 25893 0 -1 1077944384 16555 0 0 0 212 2 0 0 20 0 15 0 445843160 15514783744 3154354 33554432000 4194304 4196468 140734620972544 139851236060064 139852367566549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26603] ppid=26575 vsize=15151156 memory=12617416 CPUtime=0.65 cores=1,3,5,7
/proc/26577/task/26603/stat : 26603 (java) S 26575 26575 25893 0 -1 1077944384 7911 0 0 0 63 2 0 0 20 0 15 0 445843160 15514783744 3154354 33554432000 4194304 4196468 140734620972544 139851235006720 139852367566549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26604] ppid=26575 vsize=15151156 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26604/stat : 26604 (java) S 26575 26575 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445843161 15514783744 3154354 33554432000 4194304 4196468 140734620972544 139851233954656 139852367566549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26605] ppid=26575 vsize=15151156 memory=3200 CPUtime=0.43 cores=1,3,5,7
/proc/26577/task/26605/stat : 26605 (java) S 26575 26575 25893 0 -1 1077944384 610 0 0 0 21 22 0 0 20 0 15 0 445843161 15514783744 3154354 33554432000 4194304 4196468 140734620972544 139851232901680 139852367567490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 10 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
Current children cumulated CPU time: 2520.28 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 12618864 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+816.824 s]
# the end of solver process 26575 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001133 s, system=0.001133 s
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+818.861 s]
# the end of solver process 26577 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.03 s, system=8.40359 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
Dumping a history of the last processes samples
[startup+817.602 s]
/proc/loadavg: 7.95 7.51 6.45 9/233 27402
/proc/meminfo: memFree=14208708/32770624 swapFree=66917056/67108860
[pid=26577] ppid=26572 vsize=15151156 memory=12617416 CPUtime=2523.42 cores=1,3,5,7
/proc/26577/stat : 26577 (java) S 26572 26575 25893 0 -1 1077944320 612826 0 0 0 251508 834 0 0 20 0 15 0 445843155 15514783744 3154354 33554432000 4194304 4196468 140734620972544 140734620955088 139852367556343 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
/proc/26577/statm: 3787789 3154354 3518 1 0 3748889 0
[pid=26577/tid=26578] ppid=26572 vsize=15151156 memory=12617416 CPUtime=167.1 cores=1,3,5,7
/proc/26577/task/26578/stat : 26578 (java) S 26572 26575 25893 0 -1 1077944384 32224 0 0 0 16662 48 0 0 20 0 15 0 445843155 15514783744 3154354 33554432000 4194304 4196468 140734620972544 139852371793456 139852367566549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26579] ppid=26572 vsize=15151156 memory=6791534058613427641 CPUtime=568.28 cores=1,3,5,7
/proc/26577/task/26579/stat : 26579 (java) R 26572 26575 25893 0 -1 4202560 98183 0 0 0 56635 193 0 0 20 0 15 0 445843156 15514783744 3154354 33554432000 4194304 4196468 140734620972544 139852324109528 139852352553022 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26580] ppid=26572 vsize=15151156 memory=988 CPUtime=568.75 cores=1,3,5,7
/proc/26577/task/26580/stat : 26580 (java) R 26572 26575 25893 0 -1 4202560 117025 0 0 0 56684 191 0 0 20 0 15 0 445843156 15514783744 3154354 33554432000 4194304 4196468 140734620972544 139851958771032 139852352255102 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26581] ppid=26572 vsize=15151156 memory=1368 CPUtime=569.17 cores=1,3,5,7
/proc/26577/task/26581/stat : 26581 (java) R 26572 26575 25893 0 -1 4202560 94838 0 0 0 56732 185 0 0 20 0 15 0 445843156 15514783744 3154354 33554432000 4194304 4196468 140734620972544 139851957717664 139852352255185 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26582] ppid=26572 vsize=15151156 memory=1056 CPUtime=567.65 cores=1,3,5,7
/proc/26577/task/26582/stat : 26582 (java) R 26572 26575 25893 0 -1 4202560 97435 0 0 0 56573 192 0 0 20 0 15 0 445843156 15514783744 3154354 33554432000 4194304 4196468 140734620972544 139851956665432 139852352255153 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26586] ppid=26572 vsize=15151156 memory=896 CPUtime=77.99 cores=1,3,5,7
/proc/26577/task/26586/stat : 26586 (java) S 26572 26575 25893 0 -1 1077944384 140147 0 0 0 7789 10 0 0 20 0 15 0 445843157 15514783744 3154354 33554432000 4194304 4196468 140734620972544 139851241321280 139852367566549 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26590] ppid=26572 vsize=15151156 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26590/stat : 26590 (java) S 26572 26575 25893 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 445843158 15514783744 3154354 33554432000 4194304 4196468 140734620972544 139851240269024 139852367566549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26592] ppid=26572 vsize=15151156 memory=2520 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26592/stat : 26592 (java) S 26572 26575 25893 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 445843158 15514783744 3154354 33554432000 4194304 4196468 140734620972544 139851239215872 139852367566549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26600] ppid=26572 vsize=15151156 memory=1760 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26600/stat : 26600 (java) S 26572 26575 25893 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445843160 15514783744 3154354 33554432000 4194304 4196468 140734620972544 139851238164080 139852367566549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26601] ppid=26572 vsize=15151156 memory=1660 CPUtime=1.17 cores=1,3,5,7
/proc/26577/task/26601/stat : 26601 (java) S 26572 26575 25893 0 -1 1077944384 6595 0 0 0 116 1 0 0 20 0 15 0 445843160 15514783744 3154354 33554432000 4194304 4196468 140734620972544 139851237112560 139852367567490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26602] ppid=26572 vsize=15151156 memory=111632 CPUtime=2.14 cores=1,3,5,7
/proc/26577/task/26602/stat : 26602 (java) S 26572 26575 25893 0 -1 1077944384 16555 0 0 0 212 2 0 0 20 0 15 0 445843160 15514783744 3154354 33554432000 4194304 4196468 140734620972544 139851236060064 139852367566549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26603] ppid=26572 vsize=15151156 memory=1716 CPUtime=0.65 cores=1,3,5,7
/proc/26577/task/26603/stat : 26603 (java) S 26572 26575 25893 0 -1 1077944384 7911 0 0 0 63 2 0 0 20 0 15 0 445843160 15514783744 3154354 33554432000 4194304 4196468 140734620972544 139851235006720 139852367566549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26604] ppid=26572 vsize=15151156 memory=6032 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26604/stat : 26604 (java) S 26572 26575 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445843161 15514783744 3154354 33554432000 4194304 4196468 140734620972544 139851233954656 139852367566549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26605] ppid=26572 vsize=15151156 memory=11416 CPUtime=0.43 cores=1,3,5,7
/proc/26577/task/26605/stat : 26605 (java) S 26572 26575 25893 0 -1 1077944384 610 0 0 0 21 22 0 0 20 0 15 0 445843161 15514783744 3154354 33554432000 4194304 4196468 140734620972544 139851232901680 139852367567490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
Current cumulated CPU time of completed processes: 0.002266 s
Current children cumulated CPU time: 2523.42 s
Current children cumulated vsize: 15151156 KiB
Current children cumulated memory: 12617416 KiB
[startup+818.401 s]
/proc/loadavg: 7.95 7.51 6.45 9/233 27402
/proc/meminfo: memFree=14114268/32770624 swapFree=66917056/67108860
[pid=26577] ppid=26572 vsize=15151156 memory=12617416 CPUtime=2525.74 cores=1,3,5,7
/proc/26577/stat : 26577 (java) S 26572 26575 25893 0 -1 1077944320 612871 0 0 0 251740 834 0 0 20 0 15 0 445843155 15514783744 3154354 33554432000 4194304 4196468 140734620972544 140734620955088 139852367556343 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
/proc/26577/statm: 3787789 3154354 3518 1 0 3748889 0
[pid=26577/tid=26578] ppid=26572 vsize=15151156 memory=776 CPUtime=167.1 cores=1,3,5,7
/proc/26577/task/26578/stat : 26578 (java) S 26572 26575 25893 0 -1 1077944384 32224 0 0 0 16662 48 0 0 20 0 15 0 445843155 15514783744 3154354 33554432000 4194304 4196468 140734620972544 139852371793408 139852367566549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26579] ppid=26572 vsize=15151156 memory=12617416 CPUtime=568.79 cores=1,3,5,7
/proc/26577/task/26579/stat : 26579 (java) R 26572 26575 25893 0 -1 4202560 98184 0 0 0 56686 193 0 0 20 0 15 0 445843156 15514783744 3154354 33554432000 4194304 4196468 140734620972544 139852324109328 139852352253901 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26580] ppid=26572 vsize=15151156 memory=12617416 CPUtime=569.26 cores=1,3,5,7
/proc/26577/task/26580/stat : 26580 (java) R 26572 26575 25893 0 -1 4202560 117026 0 0 0 56735 191 0 0 20 0 15 0 445843156 15514783744 3154354 33554432000 4194304 4196468 140734620972544 139851958770832 139852352254140 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26581] ppid=26572 vsize=15151156 memory=12617416 CPUtime=569.68 cores=1,3,5,7
/proc/26577/task/26581/stat : 26581 (java) R 26572 26575 25893 0 -1 4202560 94844 0 0 0 56783 185 0 0 20 0 15 0 445843156 15514783744 3154354 33554432000 4194304 4196468 140734620972544 139851957717976 139852352253982 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26582] ppid=26572 vsize=15151156 memory=6791534058613427641 CPUtime=568.15 cores=1,3,5,7
/proc/26577/task/26582/stat : 26582 (java) R 26572 26575 25893 0 -1 4202560 97435 0 0 0 56623 192 0 0 20 0 15 0 445843156 15514783744 3154354 33554432000 4194304 4196468 140734620972544 139851956665432 139852352541639 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26586] ppid=26572 vsize=15151156 memory=12617416 CPUtime=78.28 cores=1,3,5,7
/proc/26577/task/26586/stat : 26586 (java) S 26572 26575 25893 0 -1 1077944384 140148 0 0 0 7818 10 0 0 20 0 15 0 445843157 15514783744 3154354 33554432000 4194304 4196468 140734620972544 139851241321056 139852367566549 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26590] ppid=26572 vsize=15151156 memory=15544015764327034 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26590/stat : 26590 (java) S 26572 26575 25893 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 445843158 15514783744 3154354 33554432000 4194304 4196468 140734620972544 139851240269024 139852367566549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26592] ppid=26572 vsize=15151156 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26592/stat : 26592 (java) S 26572 26575 25893 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 445843158 15514783744 3154354 33554432000 4194304 4196468 140734620972544 139851239215872 139852367566549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26600] ppid=26572 vsize=15151156 memory=12617416 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26600/stat : 26600 (java) S 26572 26575 25893 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 445843160 15514783744 3154354 33554432000 4194304 4196468 140734620972544 139851238162432 139852367566549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26601] ppid=26572 vsize=15151156 memory=12617416 CPUtime=1.17 cores=1,3,5,7
/proc/26577/task/26601/stat : 26601 (java) S 26572 26575 25893 0 -1 1077944384 6595 0 0 0 116 1 0 0 20 0 15 0 445843160 15514783744 3154354 33554432000 4194304 4196468 140734620972544 139851237112560 139852367567490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26602] ppid=26572 vsize=15151156 memory=12617416 CPUtime=2.14 cores=1,3,5,7
/proc/26577/task/26602/stat : 26602 (java) S 26572 26575 25893 0 -1 1077944384 16555 0 0 0 212 2 0 0 20 0 15 0 445843160 15514783744 3154354 33554432000 4194304 4196468 140734620972544 139851236060016 139852367567490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26603] ppid=26572 vsize=15151156 memory=4040 CPUtime=0.65 cores=1,3,5,7
/proc/26577/task/26603/stat : 26603 (java) S 26572 26575 25893 0 -1 1077944384 7911 0 0 0 63 2 0 0 20 0 15 0 445843160 15514783744 3154354 33554432000 4194304 4196468 140734620972544 139851235006960 139852367567490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26604] ppid=26572 vsize=15151156 memory=12040 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26604/stat : 26604 (java) S 26572 26575 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445843161 15514783744 3154354 33554432000 4194304 4196468 140734620972544 139851233954656 139852367566549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26605] ppid=26572 vsize=15151156 memory=2124 CPUtime=0.43 cores=1,3,5,7
/proc/26577/task/26605/stat : 26605 (java) S 26572 26575 25893 0 -1 1077944384 610 0 0 0 21 22 0 0 20 0 15 0 445843161 15514783744 3154354 33554432000 4194304 4196468 140734620972544 139851232901680 139852367567490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
Current cumulated CPU time of completed processes: 0.002266 s
Current children cumulated CPU time: 2525.74 s
Current children cumulated vsize: 15151156 KiB
Current children cumulated memory: 12617416 KiB
[startup+818.804 s]
/proc/loadavg: 7.95 7.51 6.45 9/233 27402
/proc/meminfo: memFree=14114268/32770624 swapFree=66917056/67108860
[pid=26577] ppid=26572 vsize=15151156 memory=12617416 CPUtime=2527.35 cores=1,3,5,7
/proc/26577/stat : 26577 (java) S 26572 26575 25893 0 -1 1077944320 612888 0 0 0 251901 834 0 0 20 0 15 0 445843155 15514783744 3154354 33554432000 4194304 4196468 140734620972544 140734620955088 139852367556343 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
/proc/26577/statm: 3787789 3154354 3518 1 0 3748889 0
[pid=26577/tid=26578] ppid=26572 vsize=15151156 memory=6791534058613427641 CPUtime=167.1 cores=1,3,5,7
/proc/26577/task/26578/stat : 26578 (java) S 26572 26575 25893 0 -1 1077944384 32224 0 0 0 16662 48 0 0 20 0 15 0 445843155 15514783744 3154354 33554432000 4194304 4196468 140734620972544 139852371793408 139852367566549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26579] ppid=26572 vsize=15151156 memory=288230621803970871 CPUtime=569.19 cores=1,3,5,7
/proc/26577/task/26579/stat : 26579 (java) R 26572 26575 25893 0 -1 4202560 98184 0 0 0 56726 193 0 0 20 0 15 0 445843156 15514783744 3154354 33554432000 4194304 4196468 140734620972544 139852324109328 139852352509871 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26580] ppid=26572 vsize=15151156 memory=15544015764327034 CPUtime=569.66 cores=1,3,5,7
/proc/26577/task/26580/stat : 26580 (java) R 26572 26575 25893 0 -1 4202560 117026 0 0 0 56775 191 0 0 20 0 15 0 445843156 15514783744 3154354 33554432000 4194304 4196468 140734620972544 139851958771032 139852352506948 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26581] ppid=26572 vsize=15151156 memory=12040 CPUtime=570.08 cores=1,3,5,7
/proc/26577/task/26581/stat : 26581 (java) R 26572 26575 25893 0 -1 4202560 94861 0 0 0 56823 185 0 0 20 0 15 0 445843156 15514783744 3154354 33554432000 4194304 4196468 140734620972544 139851957717976 139852352507399 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26582] ppid=26572 vsize=15151156 memory=2124 CPUtime=568.55 cores=1,3,5,7
/proc/26577/task/26582/stat : 26582 (java) R 26572 26575 25893 0 -1 4202560 97435 0 0 0 56663 192 0 0 20 0 15 0 445843156 15514783744 3154354 33554432000 4194304 4196468 140734620972544 139851956665432 139852352507552 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26586] ppid=26572 vsize=15151156 memory=25840 CPUtime=78.28 cores=1,3,5,7
/proc/26577/task/26586/stat : 26586 (java) S 26572 26575 25893 0 -1 1077944384 140148 0 0 0 7818 10 0 0 20 0 15 0 445843157 15514783744 3154354 33554432000 4194304 4196468 140734620972544 139851241321056 139852367566549 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26590] ppid=26572 vsize=15151156 memory=492 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26590/stat : 26590 (java) S 26572 26575 25893 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 445843158 15514783744 3154354 33554432000 4194304 4196468 140734620972544 139851240269024 139852367566549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26592] ppid=26572 vsize=15151156 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26592/stat : 26592 (java) S 26572 26575 25893 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 445843158 15514783744 3154354 33554432000 4194304 4196468 140734620972544 139851239215872 139852367566549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26600] ppid=26572 vsize=15151156 memory=932 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26600/stat : 26600 (java) S 26572 26575 25893 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 15 0 445843160 15514783744 3154354 33554432000 4194304 4196468 140734620972544 139851238162432 139852367566549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26601] ppid=26572 vsize=15151156 memory=1636 CPUtime=1.17 cores=1,3,5,7
/proc/26577/task/26601/stat : 26601 (java) S 26572 26575 25893 0 -1 1077944384 6595 0 0 0 116 1 0 0 20 0 15 0 445843160 15514783744 3154354 33554432000 4194304 4196468 140734620972544 139851237112320 139852367566549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26602] ppid=26572 vsize=15151156 memory=1436 CPUtime=2.14 cores=1,3,5,7
/proc/26577/task/26602/stat : 26602 (java) S 26572 26575 25893 0 -1 1077944384 16555 0 0 0 212 2 0 0 20 0 15 0 445843160 15514783744 3154354 33554432000 4194304 4196468 140734620972544 139851236060016 139852367567490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26603] ppid=26572 vsize=15151156 memory=896 CPUtime=0.65 cores=1,3,5,7
/proc/26577/task/26603/stat : 26603 (java) S 26572 26575 25893 0 -1 1077944384 7911 0 0 0 63 2 0 0 20 0 15 0 445843160 15514783744 3154354 33554432000 4194304 4196468 140734620972544 139851235006960 139852367567490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26604] ppid=26572 vsize=15151156 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/26577/task/26604/stat : 26604 (java) S 26572 26575 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445843161 15514783744 3154354 33554432000 4194304 4196468 140734620972544 139851233954656 139852367566549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
[pid=26577/tid=26605] ppid=26572 vsize=15151156 memory=2520 CPUtime=0.43 cores=1,3,5,7
/proc/26577/task/26605/stat : 26605 (java) S 26572 26575 25893 0 -1 1077944384 610 0 0 0 21 22 0 0 20 0 15 0 445843161 15514783744 3154354 33554432000 4194304 4196468 140734620972544 139851232901680 139852367567490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 8699904 140734620980207 140734620980378 140734620980378 140734620983247 0
Current cumulated CPU time of completed processes: 0.002266 s
Current children cumulated CPU time: 2527.35 s
Current children cumulated vsize: 15151156 KiB
Current children cumulated memory: 12617416 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 818.861
CPU time (s): 2527.44
CPU user time (s): 2519.03
CPU system time (s): 8.40359
CPU usage (%): 308.653
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 12621804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.03
system time used= 8.40359
maximum resident set size= 12620356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 613436
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1088
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28318
involuntary context switches= 48496
# summary of solver processes directly reported to runsolver:
# pid: 26575,26577
# total CPU time (s): 2527.44
# total CPU user time (s): 2519.03
# total CPU system time (s): 8.40359
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.20744 second user time and 8.59468 second system time
The end