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 (14793 MiB free)
memory of node 1: 16384 MiB (15413 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399228-1568698256/watcher-4399228-1568698256 -o /tmp/evaluation-result-4399228-1568698256/solver-4399228-1568698256 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568690084-23428 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 792349530 HOME/instance-4399228-1568698256.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=30634, runsolver pid=30631
Current StackSize limit: 8192 KiB
[startup+0.101119 s]*
/proc/loadavg: 7.74 8.30 8.26 7/232 30650
/proc/meminfo: memFree=30914484/32770624 swapFree=66977408/67108860
[pid=30634] ppid=30631 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30634/stat : 30634 (xcsp3-exec) S 30631 30634 23397 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446082636 115843072 363 33554432000 4194304 5098028 140727646554608 140727646552712 140063168320124 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30928896 140727646561147 140727646561389 140727646561389 140727646564298 0
/proc/30634/statm: 28282 363 304 221 0 87 0
[pid=30636] ppid=30634 vsize=15144776 memory=29668 CPUtime=0.13 cores=0,2,4,6
/proc/30636/stat : 30636 (java) S 30634 30634 23397 0 -1 1077944320 5859 0 0 0 12 1 0 0 20 0 15 0 446082637 15508250624 7417 33554432000 4194304 4196468 140721305850016 140721305832560 140173499854583 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
/proc/30636/statm: 3786194 7417 3181 1 0 3748377 0
[pid=30636/tid=30637] ppid=30634 vsize=15144776 memory=576460756329955459 CPUtime=0.09 cores=0,2,4,6
/proc/30636/task/30637/stat : 30637 (java) R 30634 30634 23397 0 -1 4202560 3742 0 0 0 9 0 0 0 20 0 15 0 446082637 15508250624 7417 33554432000 4194304 4196468 140721305850016 140173504085728 140173492091710 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30638] ppid=30634 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30636/task/30638/stat : 30638 (java) S 30634 30634 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446082638 15508250624 7417 33554432000 4194304 4196468 140721305850016 140173452475024 140173499864789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30639] ppid=30634 vsize=15144776 memory=139813545765036 CPUtime=0 cores=0,2,4,6
/proc/30636/task/30639/stat : 30639 (java) S 30634 30634 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446082638 15508250624 7417 33554432000 4194304 4196468 140721305850016 140173451422224 140173499864789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30640] ppid=30634 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30636/task/30640/stat : 30640 (java) S 30634 30634 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446082638 15508250624 7417 33554432000 4194304 4196468 140721305850016 140173450369424 140173499864789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30641] ppid=30634 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30636/task/30641/stat : 30641 (java) S 30634 30634 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446082638 15508250624 7417 33554432000 4194304 4196468 140721305850016 140173449316624 140173499864789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30642] ppid=30634 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30636/task/30642/stat : 30642 (java) S 30634 30634 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446082639 15508250624 7417 33554432000 4194304 4196468 140721305850016 140172967533424 140173499865730 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30643] ppid=30634 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30636/task/30643/stat : 30643 (java) S 30634 30634 23397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446082640 15508250624 7417 33554432000 4194304 4196468 140721305850016 140172966479392 140173499864789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30644] ppid=30634 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30636/task/30644/stat : 30644 (java) S 30634 30634 23397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446082640 15508250624 7417 33554432000 4194304 4196468 140721305850016 140172965426544 140173499864789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30645] ppid=30634 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30636/task/30645/stat : 30645 (java) S 30634 30634 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446082642 15508250624 7417 33554432000 4194304 4196468 140721305850016 140172964374864 140173499873179 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30646] ppid=30634 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30636/task/30646/stat : 30646 (java) R 30634 30634 23397 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 446082642 15508250624 7417 33554432000 4194304 4196468 140721305850016 140172963322224 140173499865730 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30647] ppid=30634 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30636/task/30647/stat : 30647 (java) R 30634 30634 23397 0 -1 4202560 160 0 0 0 0 0 0 0 20 0 15 0 446082642 15508250624 7417 33554432000 4194304 4196468 140721305850016 140172962269424 140173477099328 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30648] ppid=30634 vsize=15144776 memory=139813542598272 CPUtime=0.02 cores=0,2,4,6
/proc/30636/task/30648/stat : 30648 (java) R 30634 30634 23397 0 -1 4202560 358 0 0 0 2 0 0 0 20 0 15 0 446082642 15508250624 7417 33554432000 4194304 4196468 140721305850016 140172961212568 140173478811089 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30649] ppid=30634 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30636/task/30649/stat : 30649 (java) S 30634 30634 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446082642 15508250624 7417 33554432000 4194304 4196468 140721305850016 140172960164064 140173499864789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30650] ppid=30634 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30636/task/30650/stat : 30650 (java) S 30634 30634 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446082643 15508250624 7417 33554432000 4194304 4196468 140721305850016 140172959112368 140173499865730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31120 KiB
[startup+0.21961 s]*
/proc/loadavg: 7.74 8.30 8.26 7/232 30650
/proc/meminfo: memFree=30897480/32770624 swapFree=66977408/67108860
[pid=30634] ppid=30631 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30634/stat : 30634 (xcsp3-exec) S 30631 30634 23397 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446082636 115843072 363 33554432000 4194304 5098028 140727646554608 140727646552712 140063168320124 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30928896 140727646561147 140727646561389 140727646561389 140727646564298 0
/proc/30634/statm: 28282 363 304 221 0 87 0
[pid=30636] ppid=30634 vsize=15149032 memory=41116 CPUtime=0.35 cores=0,2,4,6
/proc/30636/stat : 30636 (java) S 30634 30634 23397 0 -1 1077944320 9521 0 0 0 33 2 0 0 20 0 15 0 446082637 15512608768 10279 33554432000 4194304 4196468 140721305850016 140721305832560 140173499854583 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
/proc/30636/statm: 3787258 10279 3270 1 0 3748377 0
[pid=30636/tid=30637] ppid=30634 vsize=15149032 memory=7883960649037381690 CPUtime=0.21 cores=0,2,4,6
/proc/30636/task/30637/stat : 30637 (java) R 30634 30634 23397 0 -1 4202560 6733 0 0 0 19 2 0 0 20 0 15 0 446082637 15512608768 10279 33554432000 4194304 4196468 140721305850016 140173504075576 140173483935100 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30638] ppid=30634 vsize=15149032 memory=1898158 CPUtime=0 cores=0,2,4,6
/proc/30636/task/30638/stat : 30638 (java) S 30634 30634 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446082638 15512608768 10279 33554432000 4194304 4196468 140721305850016 140173452475024 140173499864789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30639] ppid=30634 vsize=15149032 memory=3472751796685805216 CPUtime=0 cores=0,2,4,6
/proc/30636/task/30639/stat : 30639 (java) S 30634 30634 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446082638 15512608768 10279 33554432000 4194304 4196468 140721305850016 140173451422224 140173499864789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30640] ppid=30634 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30636/task/30640/stat : 30640 (java) S 30634 30634 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446082638 15512608768 10279 33554432000 4194304 4196468 140721305850016 140173450369424 140173499864789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30641] ppid=30634 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30636/task/30641/stat : 30641 (java) S 30634 30634 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446082638 15512608768 10279 33554432000 4194304 4196468 140721305850016 140173449316624 140173499864789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30642] ppid=30634 vsize=15149032 memory=139813542598272 CPUtime=0 cores=0,2,4,6
/proc/30636/task/30642/stat : 30642 (java) S 30634 30634 23397 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446082639 15512608768 10279 33554432000 4194304 4196468 140721305850016 140172967533424 140173499865730 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30643] ppid=30634 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30636/task/30643/stat : 30643 (java) S 30634 30634 23397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446082640 15512608768 10279 33554432000 4194304 4196468 140721305850016 140172966479392 140173499864789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30644] ppid=30634 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30636/task/30644/stat : 30644 (java) S 30634 30634 23397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446082640 15512608768 10279 33554432000 4194304 4196468 140721305850016 140172965426544 140173499864789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30645] ppid=30634 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30636/task/30645/stat : 30645 (java) S 30634 30634 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446082642 15512608768 10279 33554432000 4194304 4196468 140721305850016 140172964374864 140173499873179 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30646] ppid=30634 vsize=15149032 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/30636/task/30646/stat : 30646 (java) S 30634 30634 23397 0 -1 1077944384 346 0 0 0 1 0 0 0 20 0 15 0 446082642 15512608768 10279 33554432000 4194304 4196468 140721305850016 140172963322224 140173499865730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30647] ppid=30634 vsize=15149032 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/30636/task/30647/stat : 30647 (java) S 30634 30634 23397 0 -1 1077944384 384 0 0 0 3 0 0 0 20 0 15 0 446082642 15512608768 10279 33554432000 4194304 4196468 140721305850016 140172962269424 140173499865730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30648] ppid=30634 vsize=15149032 memory=139813542598272 CPUtime=0.08 cores=0,2,4,6
/proc/30636/task/30648/stat : 30648 (java) S 30634 30634 23397 0 -1 1077944384 751 0 0 0 8 0 0 0 20 0 15 0 446082642 15512608768 10279 33554432000 4194304 4196468 140721305850016 140172961216624 140173499865730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30649] ppid=30634 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/30636/task/30649/stat : 30649 (java) S 30634 30634 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446082642 15512608768 10279 33554432000 4194304 4196468 140721305850016 140172960164064 140173499864789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30650] ppid=30634 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30636/task/30650/stat : 30650 (java) S 30634 30634 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446082643 15512608768 10279 33554432000 4194304 4196468 140721305850016 140172959112368 140173499865730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 42568 KiB
[startup+0.310584 s]*
/proc/loadavg: 7.74 8.30 8.26 7/232 30650
/proc/meminfo: memFree=30887676/32770624 swapFree=66977408/67108860
[pid=30634] ppid=30631 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30634/stat : 30634 (xcsp3-exec) S 30631 30634 23397 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446082636 115843072 363 33554432000 4194304 5098028 140727646554608 140727646552712 140063168320124 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30928896 140727646561147 140727646561389 140727646561389 140727646564298 0
/proc/30634/statm: 28282 363 304 221 0 87 0
[pid=30636] ppid=30634 vsize=15149032 memory=49908 CPUtime=0.53 cores=0,2,4,6
/proc/30636/stat : 30636 (java) S 30634 30634 23397 0 -1 1077944320 10848 0 0 0 50 3 0 0 20 0 15 0 446082637 15512608768 12477 33554432000 4194304 4196468 140721305850016 140721305832560 140173499854583 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
/proc/30636/statm: 3787258 12477 3359 1 0 3748377 0
[pid=30636/tid=30637] ppid=30634 vsize=15149032 memory=8317482817917895235 CPUtime=0.29 cores=0,2,4,6
/proc/30636/task/30637/stat : 30637 (java) R 30634 30634 23397 0 -1 4202560 7775 0 0 0 27 2 0 0 20 0 15 0 446082637 15512608768 12477 33554432000 4194304 4196468 140721305850016 140173504085696 140173483935070 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30638] ppid=30634 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/30636/task/30638/stat : 30638 (java) S 30634 30634 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446082638 15512608768 12477 33554432000 4194304 4196468 140721305850016 140173452475024 140173499864789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30639] ppid=30634 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/30636/task/30639/stat : 30639 (java) S 30634 30634 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446082638 15512608768 12477 33554432000 4194304 4196468 140721305850016 140173451422224 140173499864789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30640] ppid=30634 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/30636/task/30640/stat : 30640 (java) S 30634 30634 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446082638 15512608768 12477 33554432000 4194304 4196468 140721305850016 140173450369424 140173499864789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30641] ppid=30634 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/30636/task/30641/stat : 30641 (java) S 30634 30634 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446082638 15512608768 12477 33554432000 4194304 4196468 140721305850016 140173449316624 140173499864789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30642] ppid=30634 vsize=15149032 memory=4572146057552828020 CPUtime=0 cores=0,2,4,6
/proc/30636/task/30642/stat : 30642 (java) S 30634 30634 23397 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446082639 15512608768 12477 33554432000 4194304 4196468 140721305850016 140172967533424 140173499865730 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30643] ppid=30634 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/30636/task/30643/stat : 30643 (java) S 30634 30634 23397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446082640 15512608768 12477 33554432000 4194304 4196468 140721305850016 140172966479392 140173499864789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30644] ppid=30634 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/30636/task/30644/stat : 30644 (java) S 30634 30634 23397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446082640 15512608768 12477 33554432000 4194304 4196468 140721305850016 140172965426544 140173499864789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30645] ppid=30634 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/30636/task/30645/stat : 30645 (java) S 30634 30634 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446082642 15512608768 12477 33554432000 4194304 4196468 140721305850016 140172964374864 140173499873179 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30646] ppid=30634 vsize=15149032 memory=7827413994055111515 CPUtime=0.03 cores=0,2,4,6
/proc/30636/task/30646/stat : 30646 (java) S 30634 30634 23397 0 -1 1077944384 378 0 0 0 3 0 0 0 20 0 15 0 446082642 15512608768 12477 33554432000 4194304 4196468 140721305850016 140172963322224 140173499865730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30647] ppid=30634 vsize=15149032 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/30636/task/30647/stat : 30647 (java) R 30634 30634 23397 0 -1 4202560 528 0 0 0 6 0 0 0 20 0 15 0 446082642 15512608768 12477 33554432000 4194304 4196468 140721305850016 140172962259808 140173481376289 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30648] ppid=30634 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/30636/task/30648/stat : 30648 (java) S 30634 30634 23397 0 -1 1077944384 863 0 0 0 12 0 0 0 20 0 15 0 446082642 15512608768 12477 33554432000 4194304 4196468 140721305850016 140172961216624 140173499865730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30649] ppid=30634 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30636/task/30649/stat : 30649 (java) S 30634 30634 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446082642 15512608768 12477 33554432000 4194304 4196468 140721305850016 140172960164064 140173499864789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30650] ppid=30634 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30636/task/30650/stat : 30650 (java) S 30634 30634 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446082643 15512608768 12477 33554432000 4194304 4196468 140721305850016 140172959112368 140173499865730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51360 KiB
[startup+0.701603 s]
/proc/loadavg: 7.74 8.30 8.26 7/232 30650
/proc/meminfo: memFree=30863516/32770624 swapFree=66977408/67108860
[pid=30634] ppid=30631 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30634/stat : 30634 (xcsp3-exec) S 30631 30634 23397 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446082636 115843072 363 33554432000 4194304 5098028 140727646554608 140727646552712 140063168320124 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30928896 140727646561147 140727646561389 140727646561389 140727646564298 0
/proc/30634/statm: 28282 363 304 221 0 87 0
[pid=30636] ppid=30634 vsize=15151156 memory=95668 CPUtime=1.68 cores=0,2,4,6
/proc/30636/stat : 30636 (java) S 30634 30634 23397 0 -1 1077944320 15027 0 0 0 163 5 0 0 20 0 15 0 446082637 15514783744 23917 33554432000 4194304 4196468 140721305850016 140721305832560 140173499854583 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
/proc/30636/statm: 3787789 23917 3455 1 0 3748889 0
[pid=30636/tid=30637] ppid=30634 vsize=15151156 memory=-3704326594973231466 CPUtime=0.67 cores=0,2,4,6
/proc/30636/task/30637/stat : 30637 (java) R 30634 30634 23397 0 -1 4202560 9364 0 0 0 64 3 0 0 20 0 15 0 446082637 15514783744 23917 33554432000 4194304 4196468 140721305850016 140173504092848 140173119736676 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30638] ppid=30634 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30636/task/30638/stat : 30638 (java) S 30634 30634 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446082638 15514783744 23917 33554432000 4194304 4196468 140721305850016 140173452475024 140173499864789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30639] ppid=30634 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30636/task/30639/stat : 30639 (java) S 30634 30634 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446082638 15514783744 23917 33554432000 4194304 4196468 140721305850016 140173451422224 140173499864789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30640] ppid=30634 vsize=15151156 memory=692 CPUtime=0 cores=0,2,4,6
/proc/30636/task/30640/stat : 30640 (java) S 30634 30634 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446082638 15514783744 23917 33554432000 4194304 4196468 140721305850016 140173450369424 140173499864789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30641] ppid=30634 vsize=15151156 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/30636/task/30641/stat : 30641 (java) S 30634 30634 23397 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446082638 15514783744 23917 33554432000 4194304 4196468 140721305850016 140173449316624 140173499864789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30642] ppid=30634 vsize=15151156 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/30636/task/30642/stat : 30642 (java) S 30634 30634 23397 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446082639 15514783744 23917 33554432000 4194304 4196468 140721305850016 140172967533424 140173499865730 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30643] ppid=30634 vsize=15151156 memory=780 CPUtime=0 cores=0,2,4,6
/proc/30636/task/30643/stat : 30643 (java) S 30634 30634 23397 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446082640 15514783744 23917 33554432000 4194304 4196468 140721305850016 140172966479392 140173499864789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30644] ppid=30634 vsize=15151156 memory=4132 CPUtime=0 cores=0,2,4,6
/proc/30636/task/30644/stat : 30644 (java) S 30634 30634 23397 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446082640 15514783744 23917 33554432000 4194304 4196468 140721305850016 140172965426544 140173499864789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30645] ppid=30634 vsize=15151156 memory=1112 CPUtime=0 cores=0,2,4,6
/proc/30636/task/30645/stat : 30645 (java) S 30634 30634 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446082642 15514783744 23917 33554432000 4194304 4196468 140721305850016 140172964374864 140173499873179 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30646] ppid=30634 vsize=15151156 memory=6048 CPUtime=0.23 cores=0,2,4,6
/proc/30636/task/30646/stat : 30646 (java) R 30634 30634 23397 0 -1 4202560 775 0 0 0 23 0 0 0 20 0 15 0 446082642 15514783744 23917 33554432000 4194304 4196468 140721305850016 140172963310336 140173479706792 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30647] ppid=30634 vsize=15151156 memory=7552 CPUtime=0.33 cores=0,2,4,6
/proc/30636/task/30647/stat : 30647 (java) R 30634 30634 23397 0 -1 4202560 1397 0 0 0 33 0 0 0 20 0 15 0 446082642 15514783744 23917 33554432000 4194304 4196468 140721305850016 140172962256160 140173483265455 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30648] ppid=30634 vsize=15151156 memory=2832 CPUtime=0.41 cores=0,2,4,6
/proc/30636/task/30648/stat : 30648 (java) R 30634 30634 23397 0 -1 4202560 2184 0 0 0 41 0 0 0 20 0 15 0 446082642 15514783744 23917 33554432000 4194304 4196468 140721305850016 140172961212304 140173478990243 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30649] ppid=30634 vsize=15151156 memory=1084 CPUtime=0 cores=0,2,4,6
/proc/30636/task/30649/stat : 30649 (java) S 30634 30634 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446082642 15514783744 23917 33554432000 4194304 4196468 140721305850016 140172960164064 140173499864789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30650] ppid=30634 vsize=15151156 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/30636/task/30650/stat : 30650 (java) S 30634 30634 23397 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446082643 15514783744 23917 33554432000 4194304 4196468 140721305850016 140172959112368 140173499865730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
Current children cumulated CPU time: 1.68 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 97120 KiB
[startup+1.5096 s]
/proc/loadavg: 7.76 8.30 8.26 13/237 30683
/proc/meminfo: memFree=30725204/32770624 swapFree=66977408/67108860
[pid=30634] ppid=30631 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30634/stat : 30634 (xcsp3-exec) S 30631 30634 23397 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446082636 115843072 363 33554432000 4194304 5098028 140727646554608 140727646552712 140063168320124 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30928896 140727646561147 140727646561389 140727646561389 140727646564298 0
/proc/30634/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/30636/task/30650/stat : 30650 (java) S 30634 30634 23397 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 19 0 446082643 15790579712 92548 33554432000 4194304 4196468 140721305850016 140172959112368 140173499865730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30817] ppid=30634 vsize=15420488 memory=796 CPUtime=5.12 cores=0,2,4,6
/proc/30636/task/30817/stat : 30817 (java) R 30634 30634 23397 0 -1 4202560 259 0 0 0 512 0 0 0 20 0 19 0 446084518 15790579712 92548 33554432000 4194304 4196468 140721305850016 140172943821688 140173125113179 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30818] ppid=30634 vsize=15420488 memory=4104 CPUtime=5.12 cores=0,2,4,6
/proc/30636/task/30818/stat : 30818 (java) R 30634 30634 23397 0 -1 4202560 639 0 0 0 512 0 0 0 20 0 19 0 446084518 15790579712 92548 33554432000 4194304 4196468 140721305850016 140172949077616 140173129407741 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30819] ppid=30634 vsize=15420488 memory=1808 CPUtime=5.16 cores=0,2,4,6
/proc/30636/task/30819/stat : 30819 (java) R 30634 30634 23397 0 -1 4202560 634 0 0 0 516 0 0 0 20 0 19 0 446084518 15790579712 92548 33554432000 4194304 4196468 140721305850016 140172946972344 140173125506978 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30820] ppid=30634 vsize=15420488 memory=920 CPUtime=5.11 cores=0,2,4,6
/proc/30636/task/30820/stat : 30820 (java) R 30634 30634 23397 0 -1 4202560 404 0 0 0 509 2 0 0 20 0 19 0 446084518 15790579712 92548 33554432000 4194304 4196468 140721305850016 140172948025944 140173127749037 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
Current children cumulated CPU time: 94.03 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 371644 KiB
[startup+24.8016 s]
/proc/loadavg: 8.27 8.37 8.28 10/236 31176
/proc/meminfo: memFree=30647252/32770624 swapFree=66977408/67108860
[pid=30634] ppid=30631 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30634/stat : 30634 (xcsp3-exec) S 30631 30634 23397 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446082636 115843072 363 33554432000 4194304 5098028 140727646554608 140727646552712 140063168320124 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30928896 140727646561147 140727646561389 140727646561389 140727646564298 0
/proc/30634/statm: 28282 363 304 221 0 87 0
[pid=30636] ppid=30634 vsize=15420488 memory=370200 CPUtime=97.19 cores=0,2,4,6
/proc/30636/stat : 30636 (java) S 30634 30634 23397 0 -1 1077944320 45886 0 0 0 9696 23 0 0 20 0 19 0 446082637 15790579712 92550 33554432000 4194304 4196468 140721305850016 140721305832560 140173499854583 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
/proc/30636/statm: 3855122 92550 3532 1 0 3816222 0
[pid=30636/tid=30637] ppid=30634 vsize=15420488 memory=2724 CPUtime=0.73 cores=0,2,4,6
/proc/30636/task/30637/stat : 30637 (java) S 30634 30634 23397 0 -1 1077944384 9860 0 0 0 69 4 0 0 20 0 19 0 446082637 15790579712 92550 33554432000 4194304 4196468 140721305850016 140173504095360 140173499864789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30638] ppid=30634 vsize=15420488 memory=2712 CPUtime=0.04 cores=0,2,4,6
/proc/30636/task/30638/stat : 30638 (java) S 30634 30634 23397 0 -1 1077944384 103 0 0 0 3 1 0 0 20 0 19 0 446082638 15790579712 92550 33554432000 4194304 4196468 140721305850016 140173452475024 140173499864789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30639] ppid=30634 vsize=15420488 memory=1412 CPUtime=0.04 cores=0,2,4,6
/proc/30636/task/30639/stat : 30639 (java) S 30634 30634 23397 0 -1 1077944384 1107 0 0 0 3 1 0 0 20 0 19 0 446082638 15790579712 92550 33554432000 4194304 4196468 140721305850016 140173451422224 140173499864789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30640] ppid=30634 vsize=15420488 memory=2908 CPUtime=0.03 cores=0,2,4,6
/proc/30636/task/30640/stat : 30640 (java) S 30634 30634 23397 0 -1 1077944384 307 0 0 0 2 1 0 0 20 0 19 0 446082638 15790579712 92550 33554432000 4194304 4196468 140721305850016 140173450369424 140173499864789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30641] ppid=30634 vsize=15420488 memory=1452 CPUtime=0.04 cores=0,2,4,6
/proc/30636/task/30641/stat : 30641 (java) S 30634 30634 23397 0 -1 1077944384 109 0 0 0 3 1 0 0 20 0 19 0 446082638 15790579712 92550 33554432000 4194304 4196468 140721305850016 140173449316624 140173499864789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30642] ppid=30634 vsize=15420488 memory=6791534058613427641 CPUtime=0.01 cores=0,2,4,6
/proc/30636/task/30642/stat : 30642 (java) S 30634 30634 23397 0 -1 1077944384 503 0 0 0 1 0 0 0 20 0 19 0 446082639 15790579712 92550 33554432000 4194304 4196468 140721305850016 140172967533424 140173499865730 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30643] ppid=30634 vsize=15420488 memory=988 CPUtime=0 cores=0,2,4,6
/proc/30636/task/30643/stat : 30643 (java) S 30634 30634 23397 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 19 0 446082640 15790579712 92550 33554432000 4194304 4196468 140721305850016 140172966479456 140173499864789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30644] ppid=30634 vsize=15420488 memory=2004 CPUtime=0 cores=0,2,4,6
/proc/30636/task/30644/stat : 30644 (java) S 30634 30634 23397 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 446082640 15790579712 92550 33554432000 4194304 4196468 140721305850016 140172965426560 140173499864789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30645] ppid=30634 vsize=15420488 memory=1416 CPUtime=0 cores=0,2,4,6
/proc/30636/task/30645/stat : 30645 (java) S 30634 30634 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446082642 15790579712 92550 33554432000 4194304 4196468 140721305850016 140172964374864 140173499873179 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30646] ppid=30634 vsize=15420488 memory=1716 CPUtime=2.76 cores=0,2,4,6
/proc/30636/task/30646/stat : 30646 (java) S 30634 30634 23397 0 -1 1077944384 10151 0 0 0 274 2 0 0 20 0 19 0 446082642 15790579712 92550 33554432000 4194304 4196468 140721305850016 140172963322224 140173499865730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30647] ppid=30634 vsize=15420488 memory=692 CPUtime=3.31 cores=0,2,4,6
/proc/30636/task/30647/stat : 30647 (java) S 30634 30634 23397 0 -1 1077944384 9712 0 0 0 330 1 0 0 20 0 19 0 446082642 15790579712 92550 33554432000 4194304 4196468 140721305850016 140172962269424 140173499865730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30648] ppid=30634 vsize=15420488 memory=1056 CPUtime=0.81 cores=0,2,4,6
/proc/30636/task/30648/stat : 30648 (java) S 30634 30634 23397 0 -1 1077944384 5185 0 0 0 80 1 0 0 20 0 19 0 446082642 15790579712 92550 33554432000 4194304 4196468 140721305850016 140172961216624 140173499865730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30649] ppid=30634 vsize=15420488 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/30636/task/30649/stat : 30649 (java) S 30634 30634 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446082642 15790579712 92550 33554432000 4194304 4196468 140721305850016 140172960164064 140173499864789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30650] ppid=30634 vsize=15420488 memory=780 CPUtime=0 cores=0,2,4,6
/proc/30636/task/30650/stat : 30650 (java) S 30634 30634 23397 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 19 0 446082643 15790579712 92550 33554432000 4194304 4196468 140721305850016 140172959112368 140173499865730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30817] ppid=30634 vsize=15420488 memory=1452 CPUtime=5.91 cores=0,2,4,6
/proc/30636/task/30817/stat : 30817 (java) R 30634 30634 23397 0 -1 4202560 270 0 0 0 591 0 0 0 20 0 19 0 446084518 15790579712 92550 33554432000 4194304 4196468 140721305850016 140172943821688 140173126726932 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30818] ppid=30634 vsize=15420488 memory=6791534058613427641 CPUtime=5.91 cores=0,2,4,6
/proc/30636/task/30818/stat : 30818 (java) R 30634 30634 23397 0 -1 4202560 766 0 0 0 591 0 0 0 20 0 19 0 446084518 15790579712 92550 33554432000 4194304 4196468 140721305850016 140172949077616 140173477857215 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30819] ppid=30634 vsize=15420488 memory=1056 CPUtime=5.95 cores=0,2,4,6
/proc/30636/task/30819/stat : 30819 (java) R 30634 30634 23397 0 -1 4202560 657 0 0 0 595 0 0 0 20 0 19 0 446084518 15790579712 92550 33554432000 4194304 4196468 140721305850016 140172946972728 140173128421213 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30820] ppid=30634 vsize=15420488 memory=1556 CPUtime=5.87 cores=0,2,4,6
/proc/30636/task/30820/stat : 30820 (java) R 30634 30634 23397 0 -1 4202560 437 0 0 0 585 2 0 0 20 0 19 0 446084518 15790579712 92550 33554432000 4194304 4196468 140721305850016 140172948025944 140173125491135 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
Current children cumulated CPU time: 97.19 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 371652 KiB
[startup+25.0016 s]*
/proc/loadavg: 8.27 8.37 8.28 9/236 31180
/proc/meminfo: memFree=30615980/32770624 swapFree=66977408/67108860
[pid=30634] ppid=30631 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30634/stat : 30634 (xcsp3-exec) S 30631 30634 23397 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446082636 115843072 363 33554432000 4194304 5098028 140727646554608 140727646552712 140063168320124 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30928896 140727646561147 140727646561389 140727646561389 140727646564298 0
/proc/30634/statm: 28282 363 304 221 0 87 0
[pid=30636] ppid=30634 vsize=15420488 memory=370200 CPUtime=98.01 cores=0,2,4,6
/proc/30636/stat : 30636 (java) S 30634 30634 23397 0 -1 1077944320 45959 0 0 0 9778 23 0 0 20 0 19 0 446082637 15790579712 92550 33554432000 4194304 4196468 140721305850016 140721305832560 140173499854583 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
/proc/30636/statm: 3855122 92550 3532 1 0 3816222 0
[pid=30636/tid=30637] ppid=30634 vsize=15420488 memory=7883960649037381690 CPUtime=0.73 cores=0,2,4,6
/proc/30636/task/30637/stat : 30637 (java) S 30634 30634 23397 0 -1 1077944384 9860 0 0 0 69 4 0 0 20 0 19 0 446082637 15790579712 92550 33554432000 4194304 4196468 140721305850016 140173504095360 140173499864789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30638] ppid=30634 vsize=15420488 memory=1898158 CPUtime=0.04 cores=0,2,4,6
/proc/30636/task/30638/stat : 30638 (java) S 30634 30634 23397 0 -1 1077944384 103 0 0 0 3 1 0 0 20 0 19 0 446082638 15790579712 92550 33554432000 4194304 4196468 140721305850016 140173452475024 140173499864789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30639] ppid=30634 vsize=15420488 memory=3472751796685805216 CPUtime=0.04 cores=0,2,4,6
/proc/30636/task/30639/stat : 30639 (java) S 30634 30634 23397 0 -1 1077944384 1107 0 0 0 3 1 0 0 20 0 19 0 446082638 15790579712 92550 33554432000 4194304 4196468 140721305850016 140173451422224 140173499864789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30640] ppid=30634 vsize=15420488 memory=-5345911744380762838 CPUtime=0.03 cores=0,2,4,6
/proc/30636/task/30640/stat : 30640 (java) S 30634 30634 23397 0 -1 1077944384 307 0 0 0 2 1 0 0 20 0 19 0 446082638 15790579712 92550 33554432000 4194304 4196468 140721305850016 140173450369424 140173499864789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30641] ppid=30634 vsize=15420488 memory=7589420999132590127 CPUtime=0.04 cores=0,2,4,6
/proc/30636/task/30641/stat : 30641 (java) S 30634 30634 23397 0 -1 1077944384 109 0 0 0 3 1 0 0 20 0 19 0 446082638 15790579712 92550 33554432000 4194304 4196468 140721305850016 140173449316624 140173499864789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30642] ppid=30634 vsize=15420488 memory=7008596693582150886 CPUtime=0.01 cores=0,2,4,6
/proc/30636/task/30642/stat : 30642 (java) S 30634 30634 23397 0 -1 1077944384 557 0 0 0 1 0 0 0 20 0 19 0 446082639 15790579712 92550 33554432000 4194304 4196468 140721305850016 140172967533424 140173499865730 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30643] ppid=30634 vsize=15420488 memory=7162222085625884719 CPUtime=0 cores=0,2,4,6
/proc/30636/task/30643/stat : 30643 (java) S 30634 30634 23397 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 19 0 446082640 15790579712 92550 33554432000 4194304 4196468 140721305850016 140172966479456 140173499864789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30644] ppid=30634 vsize=15420488 memory=6645459911560372124 CPUtime=0 cores=0,2,4,6
/proc/30636/task/30644/stat : 30644 (java) S 30634 30634 23397 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 446082640 15790579712 92550 33554432000 4194304 4196468 140721305850016 140172965426560 140173499864789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30645] ppid=30634 vsize=15420488 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/30636/task/30645/stat : 30645 (java) S 30634 30634 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446082642 15790579712 92550 33554432000 4194304 4196468 140721305850016 140172964374864 140173499873179 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30646] ppid=30634 vsize=15420488 memory=0 CPUtime=2.76 cores=0,2,4,6
/proc/30636/task/30646/stat : 30646 (java) S 30634 30634 23397 0 -1 1077944384 10151 0 0 0 274 2 0 0 20 0 19 0 446082642 15790579712 92550 33554432000 4194304 4196468 140721305850016 140172963322224 140173499865730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30647] ppid=30634 vsize=15420488 memory=7307199747045421918 CPUtime=3.31 cores=0,2,4,6
/proc/30636/task/30647/stat : 30647 (java) S 30634 30634 23397 0 -1 1077944384 9712 0 0 0 330 1 0 0 20 0 19 0 446082642 15790579712 92550 33554432000 4194304 4196468 140721305850016 140172962269424 140173499865730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30648] ppid=30634 vsize=15420488 memory=3467946848967898784 CPUtime=0.81 cores=0,2,4,6
/proc/30636/task/30648/stat : 30648 (java) S 30634 30634 23397 0 -1 1077944384 5185 0 0 0 80 1 0 0 20 0 19 0 446082642 15790579712 92550 33554432000 4194304 4196468 140721305850016 140172961216624 140173499865730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30649] ppid=30634 vsize=15420488 memory=6004233357763428970 CPUtime=0 cores=0,2,4,6
/proc/30636/task/30649/stat : 30649 (java) S 30634 30634 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446082642 15790579712 92550 33554432000 4194304 4196468 140721305850016 140172960164064 140173499864789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30650] ppid=30634 vsize=15420488 memory=0 CPUtime=0 cores=0,2,4,6
/proc/30636/task/30650/stat : 30650 (java) S 30634 30634 23397 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 19 0 446082643 15790579712 92550 33554432000 4194304 4196468 140721305850016 140172959112368 140173499865730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30817] ppid=30634 vsize=15420488 memory=0 CPUtime=6.12 cores=0,2,4,6
/proc/30636/task/30817/stat : 30817 (java) R 30634 30634 23397 0 -1 4202560 271 0 0 0 612 0 0 0 20 0 19 0 446084518 15790579712 92550 33554432000 4194304 4196468 140721305850016 140172943822016 140173126726915 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30818] ppid=30634 vsize=15420488 memory=0 CPUtime=6.11 cores=0,2,4,6
/proc/30636/task/30818/stat : 30818 (java) R 30634 30634 23397 0 -1 4202560 772 0 0 0 611 0 0 0 20 0 19 0 446084518 15790579712 92550 33554432000 4194304 4196468 140721305850016 140172949077864 140173129408352 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30819] ppid=30634 vsize=15420488 memory=0 CPUtime=6.16 cores=0,2,4,6
/proc/30636/task/30819/stat : 30819 (java) R 30634 30634 23397 0 -1 4202560 663 0 0 0 616 0 0 0 20 0 19 0 446084518 15790579712 92550 33554432000 4194304 4196468 140721305850016 140172946972768 140173125113370 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30820] ppid=30634 vsize=15420488 memory=0 CPUtime=6.08 cores=0,2,4,6
/proc/30636/task/30820/stat : 30820 (java) R 30634 30634 23397 0 -1 4202560 443 0 0 0 606 2 0 0 20 0 19 0 446084518 15790579712 92550 33554432000 4194304 4196468 140721305850016 140172948025552 140173127819529 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
Current children cumulated CPU time: 98.01 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 371652 KiB
[startup+25.1106 s]
/proc/loadavg: 8.27 8.37 8.28 9/236 31180
/proc/meminfo: memFree=30615980/32770624 swapFree=66977408/67108860
[pid=30634] ppid=30631 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/30634/stat : 30634 (xcsp3-exec) S 30631 30634 23397 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446082636 115843072 363 33554432000 4194304 5098028 140727646554608 140727646552712 140063168320124 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 30928896 140727646561147 140727646561389 140727646561389 140727646564298 0
/proc/30634/statm: 28282 363 304 221 0 87 0
[pid=30636] ppid=30634 vsize=15420488 memory=370200 CPUtime=98.41 cores=0,2,4,6
/proc/30636/stat : 30636 (java) S 30634 30634 23397 0 -1 1077944320 45961 0 0 0 9818 23 0 0 20 0 19 0 446082637 15790579712 92550 33554432000 4194304 4196468 140721305850016 140721305832560 140173499854583 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
/proc/30636/statm: 3855122 92550 3532 1 0 3816222 0
[pid=30636/tid=30637] ppid=30634 vsize=15420488 memory=370192 CPUtime=0.73 cores=0,2,4,6
/proc/30636/task/30637/stat : 30637 (java) S 30634 30634 23397 0 -1 1077944384 9860 0 0 0 69 4 0 0 20 0 19 0 446082637 15790579712 92550 33554432000 4194304 4196468 140721305850016 140173504095360 140173499864789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30638] ppid=30634 vsize=15420488 memory=1452 CPUtime=0.04 cores=0,2,4,6
/proc/30636/task/30638/stat : 30638 (java) S 30634 30634 23397 0 -1 1077944384 103 0 0 0 3 1 0 0 20 0 19 0 446082638 15790579712 92550 33554432000 4194304 4196468 140721305850016 140173452475024 140173499864789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30639] ppid=30634 vsize=15420488 memory=242484 CPUtime=0.04 cores=0,2,4,6
/proc/30636/task/30639/stat : 30639 (java) S 30634 30634 23397 0 -1 1077944384 1107 0 0 0 3 1 0 0 20 0 19 0 446082638 15790579712 92550 33554432000 4194304 4196468 140721305850016 140173451422224 140173499864789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30640] ppid=30634 vsize=15420488 memory=1452 CPUtime=0.03 cores=0,2,4,6
/proc/30636/task/30640/stat : 30640 (java) S 30634 30634 23397 0 -1 1077944384 307 0 0 0 2 1 0 0 20 0 19 0 446082638 15790579712 92550 33554432000 4194304 4196468 140721305850016 140173450369424 140173499864789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30641] ppid=30634 vsize=15420488 memory=304348 CPUtime=0.04 cores=0,2,4,6
/proc/30636/task/30641/stat : 30641 (java) S 30634 30634 23397 0 -1 1077944384 109 0 0 0 3 1 0 0 20 0 19 0 446082638 15790579712 92550 33554432000 4194304 4196468 140721305850016 140173449316624 140173499864789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30642] ppid=30634 vsize=15420488 memory=1452 CPUtime=0.01 cores=0,2,4,6
/proc/30636/task/30642/stat : 30642 (java) S 30634 30634 23397 0 -1 1077944384 557 0 0 0 1 0 0 0 20 0 19 0 446082639 15790579712 92550 33554432000 4194304 4196468 140721305850016 140172967533424 140173499865730 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30643] ppid=30634 vsize=15420488 memory=370192 CPUtime=0 cores=0,2,4,6
/proc/30636/task/30643/stat : 30643 (java) S 30634 30634 23397 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 19 0 446082640 15790579712 92550 33554432000 4194304 4196468 140721305850016 140172966479456 140173499864789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30644] ppid=30634 vsize=15420488 memory=369896 CPUtime=0 cores=0,2,4,6
/proc/30636/task/30644/stat : 30644 (java) S 30634 30634 23397 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 446082640 15790579712 92550 33554432000 4194304 4196468 140721305850016 140172965426560 140173499864789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30645] ppid=30634 vsize=15420488 memory=242400 CPUtime=0 cores=0,2,4,6
/proc/30636/task/30645/stat : 30645 (java) S 30634 30634 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446082642 15790579712 92550 33554432000 4194304 4196468 140721305850016 140172964374864 140173499873179 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30646] ppid=30634 vsize=15420488 memory=14048 CPUtime=2.76 cores=0,2,4,6
/proc/30636/task/30646/stat : 30646 (java) S 30634 30634 23397 0 -1 1077944384 10151 0 0 0 274 2 0 0 20 0 19 0 446082642 15790579712 92550 33554432000 4194304 4196468 140721305850016 140172963322224 140173499865730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30647] ppid=30634 vsize=15420488 memory=25172 CPUtime=3.31 cores=0,2,4,6
/proc/30636/task/30647/stat : 30647 (java) S 30634 30634 23397 0 -1 1077944384 9712 0 0 0 330 1 0 0 20 0 19 0 446082642 15790579712 92550 33554432000 4194304 4196468 140721305850016 140172962269424 140173499865730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30648] ppid=30634 vsize=15420488 memory=279626800033888 CPUtime=0.81 cores=0,2,4,6
/proc/30636/task/30648/stat : 30648 (java) S 30634 30634 23397 0 -1 1077944384 5185 0 0 0 80 1 0 0 20 0 19 0 446082642 15790579712 92550 33554432000 4194304 4196468 140721305850016 140172961216624 140173499865730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30649] ppid=30634 vsize=15420488 memory=7380671248541445222 CPUtime=0 cores=0,2,4,6
/proc/30636/task/30649/stat : 30649 (java) S 30634 30634 23397 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446082642 15790579712 92550 33554432000 4194304 4196468 140721305850016 140172960164064 140173499864789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30650] ppid=30634 vsize=15420488 memory=242552 CPUtime=0 cores=0,2,4,6
/proc/30636/task/30650/stat : 30650 (java) S 30634 30634 23397 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 19 0 446082643 15790579712 92550 33554432000 4194304 4196468 140721305850016 140172959112368 140173499865730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30817] ppid=30634 vsize=15420488 memory=242484 CPUtime=6.22 cores=0,2,4,6
/proc/30636/task/30817/stat : 30817 (java) R 30634 30634 23397 0 -1 4202560 271 0 0 0 622 0 0 0 20 0 19 0 446084518 15790579712 92550 33554432000 4194304 4196468 140721305850016 140172943822016 140173128821154 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30818] ppid=30634 vsize=15420488 memory=1452 CPUtime=6.2 cores=0,2,4,6
/proc/30636/task/30818/stat : 30818 (java) R 30634 30634 23397 0 -1 4202560 774 0 0 0 620 0 0 0 20 0 19 0 446084518 15790579712 92550 33554432000 4194304 4196468 140721305850016 140172949077864 140173125113356 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30819] ppid=30634 vsize=15420488 memory=1452 CPUtime=6.26 cores=0,2,4,6
/proc/30636/task/30819/stat : 30819 (java) R 30634 30634 23397 0 -1 4202560 663 0 0 0 626 0 0 0 20 0 19 0 446084518 15790579712 92550 33554432000 4194304 4196468 140721305850016 140172946972768 140173128594652 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
[pid=30636/tid=30820] ppid=30634 vsize=15420488 memory=370192 CPUtime=6.18 cores=0,2,4,6
/proc/30636/task/30820/stat : 30820 (java) R 30634 30634 23397 0 -1 4202560 443 0 0 0 616 2 0 0 20 0 19 0 446084518 15790579712 92550 33554432000 4194304 4196468 140721305850016 140172948025552 140173127748968 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16592896 140721305859055 140721305859226 140721305859226 140721305862095 0
Current children cumulated CPU time: 98.41 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 371652 KiB
Child status: 0
Real time (s): 25.137
CPU time (s): 98.4606
CPU user time (s): 98.2146
CPU system time (s): 0.246019
CPU usage (%): 391.695
Max. virtual memory (cumulated for all children) (KiB): 15533616
Max. memory (cumulated for all children) (KiB): 371652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 98.2146
system time used= 0.246019
maximum resident set size= 370200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47320
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3739
involuntary context switches= 2887
# summary of solver processes directly reported to runsolver:
# pid: 30634
# total CPU time (s): 98.4606
# total CPU user time (s): 98.2146
# total CPU system time (s): 0.246019
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.186782 second user time and 0.310695 second system time
The end