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 (6227 MiB free)
memory of node 1: 16384 MiB (2167 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403537-1568993230/watcher-4403537-1568993230 -o /tmp/evaluation-result-4403537-1568993230/solver-4403537-1568993230 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568991179-12314 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 2099260696 HOME/instance-4403537-1568993230.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=13464, runsolver pid=13461
Current StackSize limit: 8192 KiB
[startup+0.100093 s]*
/proc/loadavg: 8.68 8.71 7.76 7/233 13480
/proc/meminfo: memFree=8583496/32770624 swapFree=66959532/67108860
[pid=13464] ppid=13461 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/13464/stat : 13464 (xcsp3-exec) S 13461 13464 12283 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475591833 115843072 362 33554432000 4194304 5098028 140727758229184 140727758227288 140614607381116 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24383488 140727758230394 140727758230637 140727758230637 140727758233546 0
/proc/13464/statm: 28282 362 304 221 0 87 0
[pid=13466] ppid=13464 vsize=15144776 memory=27204 CPUtime=0.13 cores=0,2,4,6
/proc/13466/stat : 13466 (java) S 13464 13464 12283 0 -1 1077944320 5771 0 0 0 12 1 0 0 20 0 15 0 475591833 15508250624 6801 33554432000 4194304 4196468 140729080510016 140729080492560 140053950541559 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
/proc/13466/statm: 3786194 6801 3125 1 0 3748377 0
[pid=13466/tid=13467] ppid=13464 vsize=15144776 memory=576460756329955459 CPUtime=0.09 cores=0,2,4,6
/proc/13466/task/13467/stat : 13467 (java) R 13464 13464 12283 0 -1 4202560 3622 0 0 0 9 0 0 0 20 0 15 0 475591833 15508250624 6801 33554432000 4194304 4196468 140729080510016 140053954771712 140053934585189 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13468] ppid=13464 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13466/task/13468/stat : 13468 (java) S 13464 13464 12283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475591834 15508250624 6801 33554432000 4194304 4196468 140729080510016 140053542792080 140053950551765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13469] ppid=13464 vsize=15144776 memory=139810899570208 CPUtime=0 cores=0,2,4,6
/proc/13466/task/13469/stat : 13469 (java) S 13464 13464 12283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475591834 15508250624 6801 33554432000 4194304 4196468 140729080510016 140053541739280 140053950551765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13470] ppid=13464 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13466/task/13470/stat : 13470 (java) S 13464 13464 12283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475591834 15508250624 6801 33554432000 4194304 4196468 140729080510016 140053540686992 140053950551765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13471] ppid=13464 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13466/task/13471/stat : 13471 (java) S 13464 13464 12283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475591834 15508250624 6801 33554432000 4194304 4196468 140729080510016 140053539634192 140053950551765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13472] ppid=13464 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13466/task/13472/stat : 13472 (java) S 13464 13464 12283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475591835 15508250624 6801 33554432000 4194304 4196468 140729080510016 140053418911856 140053950552706 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13473] ppid=13464 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13466/task/13473/stat : 13473 (java) S 13464 13464 12283 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475591836 15508250624 6801 33554432000 4194304 4196468 140729080510016 140053417857824 140053950551765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13474] ppid=13464 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13466/task/13474/stat : 13474 (java) S 13464 13464 12283 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475591836 15508250624 6801 33554432000 4194304 4196468 140729080510016 140053416805488 140053950551765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13475] ppid=13464 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13466/task/13475/stat : 13475 (java) S 13464 13464 12283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475591838 15508250624 6801 33554432000 4194304 4196468 140729080510016 140053415753808 140053950560155 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13476] ppid=13464 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13466/task/13476/stat : 13476 (java) R 13464 13464 12283 0 -1 4202560 319 0 0 0 0 0 0 0 20 0 15 0 475591838 15508250624 6801 33554432000 4194304 4196468 140729080510016 140053414701680 140053950553494 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13477] ppid=13464 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13466/task/13477/stat : 13477 (java) R 13464 13464 12283 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 15 0 475591838 15508250624 6801 33554432000 4194304 4196468 140729080510016 140053413648880 140053950552706 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13478] ppid=13464 vsize=15144776 memory=139810896012928 CPUtime=0.02 cores=0,2,4,6
/proc/13466/task/13478/stat : 13478 (java) R 13464 13464 12283 0 -1 4202560 406 0 0 0 2 0 0 0 20 0 15 0 475591838 15508250624 6801 33554432000 4194304 4196468 140729080510016 140053412596592 140053934622046 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13479] ppid=13464 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13466/task/13479/stat : 13479 (java) S 13464 13464 12283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475591839 15508250624 6801 33554432000 4194304 4196468 140729080510016 140053411544032 140053950551765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13480] ppid=13464 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13466/task/13480/stat : 13480 (java) S 13464 13464 12283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475591839 15508250624 6801 33554432000 4194304 4196468 140729080510016 140053410490800 140053950552706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 28652 KiB
[startup+0.210809 s]*
/proc/loadavg: 8.68 8.71 7.76 6/233 13480
/proc/meminfo: memFree=8571012/32770624 swapFree=66959532/67108860
[pid=13464] ppid=13461 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/13464/stat : 13464 (xcsp3-exec) S 13461 13464 12283 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475591833 115843072 362 33554432000 4194304 5098028 140727758229184 140727758227288 140614607381116 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24383488 140727758230394 140727758230637 140727758230637 140727758233546 0
/proc/13464/statm: 28282 362 304 221 0 87 0
[pid=13466] ppid=13464 vsize=15144776 memory=39164 CPUtime=0.34 cores=0,2,4,6
/proc/13466/stat : 13466 (java) S 13464 13464 12283 0 -1 1077944320 9520 0 0 0 32 2 0 0 20 0 15 0 475591833 15508250624 9791 33554432000 4194304 4196468 140729080510016 140729080492560 140053950541559 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
/proc/13466/statm: 3786194 9791 3284 1 0 3748377 0
[pid=13466/tid=13467] ppid=13464 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/13466/task/13467/stat : 13467 (java) R 13464 13464 12283 0 -1 4202560 6603 0 0 0 18 2 0 0 20 0 15 0 475591833 15508250624 9791 33554432000 4194304 4196468 140729080510016 140053954771840 140053934622046 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13468] ppid=13464 vsize=15144776 memory=1946936 CPUtime=0 cores=0,2,4,6
/proc/13466/task/13468/stat : 13468 (java) S 13464 13464 12283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475591834 15508250624 9791 33554432000 4194304 4196468 140729080510016 140053542792080 140053950551765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13469] ppid=13464 vsize=15144776 memory=3618278750733395616 CPUtime=0 cores=0,2,4,6
/proc/13466/task/13469/stat : 13469 (java) S 13464 13464 12283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475591834 15508250624 9791 33554432000 4194304 4196468 140729080510016 140053541739280 140053950551765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13470] ppid=13464 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13466/task/13470/stat : 13470 (java) S 13464 13464 12283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475591834 15508250624 9791 33554432000 4194304 4196468 140729080510016 140053540686992 140053950551765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13471] ppid=13464 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13466/task/13471/stat : 13471 (java) S 13464 13464 12283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475591834 15508250624 9791 33554432000 4194304 4196468 140729080510016 140053539634192 140053950551765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13472] ppid=13464 vsize=15144776 memory=139810896012928 CPUtime=0 cores=0,2,4,6
/proc/13466/task/13472/stat : 13472 (java) S 13464 13464 12283 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475591835 15508250624 9791 33554432000 4194304 4196468 140729080510016 140053418911856 140053950552706 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13473] ppid=13464 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13466/task/13473/stat : 13473 (java) S 13464 13464 12283 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475591836 15508250624 9791 33554432000 4194304 4196468 140729080510016 140053417857824 140053950551765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13474] ppid=13464 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13466/task/13474/stat : 13474 (java) S 13464 13464 12283 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475591836 15508250624 9791 33554432000 4194304 4196468 140729080510016 140053416805488 140053950551765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13475] ppid=13464 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13466/task/13475/stat : 13475 (java) S 13464 13464 12283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475591838 15508250624 9791 33554432000 4194304 4196468 140729080510016 140053415753808 140053950560155 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13476] ppid=13464 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/13466/task/13476/stat : 13476 (java) S 13464 13464 12283 0 -1 1077944384 440 0 0 0 2 0 0 0 20 0 15 0 475591838 15508250624 9791 33554432000 4194304 4196468 140729080510016 140053414701680 140053950552706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13477] ppid=13464 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/13466/task/13477/stat : 13477 (java) S 13464 13464 12283 0 -1 1077944384 234 0 0 0 2 0 0 0 20 0 15 0 475591838 15508250624 9791 33554432000 4194304 4196468 140729080510016 140053413648880 140053950552706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13478] ppid=13464 vsize=15144776 memory=139810896012928 CPUtime=0.08 cores=0,2,4,6
/proc/13466/task/13478/stat : 13478 (java) S 13464 13464 12283 0 -1 1077944384 941 0 0 0 8 0 0 0 20 0 15 0 475591838 15508250624 9791 33554432000 4194304 4196468 140729080510016 140053412596592 140053950552706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13479] ppid=13464 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13466/task/13479/stat : 13479 (java) S 13464 13464 12283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475591839 15508250624 9791 33554432000 4194304 4196468 140729080510016 140053411544032 140053950551765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13480] ppid=13464 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13466/task/13480/stat : 13480 (java) S 13464 13464 12283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475591839 15508250624 9791 33554432000 4194304 4196468 140729080510016 140053410490800 140053950552706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 40612 KiB
[startup+0.310589 s]*
/proc/loadavg: 8.68 8.71 7.76 6/233 13480
/proc/meminfo: memFree=8564424/32770624 swapFree=66959532/67108860
[pid=13464] ppid=13461 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/13464/stat : 13464 (xcsp3-exec) S 13461 13464 12283 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475591833 115843072 362 33554432000 4194304 5098028 140727758229184 140727758227288 140614607381116 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24383488 140727758230394 140727758230637 140727758230637 140727758233546 0
/proc/13464/statm: 28282 362 304 221 0 87 0
[pid=13466] ppid=13464 vsize=15149032 memory=48292 CPUtime=0.52 cores=0,2,4,6
/proc/13466/stat : 13466 (java) S 13464 13464 12283 0 -1 1077944320 10924 0 0 0 49 3 0 0 20 0 15 0 475591833 15512608768 12073 33554432000 4194304 4196468 140729080510016 140729080492560 140053950541559 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
/proc/13466/statm: 3787258 12073 3340 1 0 3748377 0
[pid=13466/tid=13467] ppid=13464 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/13466/task/13467/stat : 13467 (java) R 13464 13464 12283 0 -1 4202560 7680 0 0 0 27 3 0 0 20 0 15 0 475591833 15512608768 12073 33554432000 4194304 4196468 140729080510016 140053954772672 140053934622046 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13468] ppid=13464 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/13466/task/13468/stat : 13468 (java) S 13464 13464 12283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475591834 15512608768 12073 33554432000 4194304 4196468 140729080510016 140053542792080 140053950551765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13469] ppid=13464 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/13466/task/13469/stat : 13469 (java) S 13464 13464 12283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475591834 15512608768 12073 33554432000 4194304 4196468 140729080510016 140053541739280 140053950551765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13470] ppid=13464 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/13466/task/13470/stat : 13470 (java) S 13464 13464 12283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475591834 15512608768 12073 33554432000 4194304 4196468 140729080510016 140053540686992 140053950551765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13471] ppid=13464 vsize=15149032 memory=-4190076264842474805 CPUtime=0 cores=0,2,4,6
/proc/13466/task/13471/stat : 13471 (java) S 13464 13464 12283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475591834 15512608768 12073 33554432000 4194304 4196468 140729080510016 140053539634192 140053950551765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13472] ppid=13464 vsize=15149032 memory=-7305852742256935071 CPUtime=0 cores=0,2,4,6
/proc/13466/task/13472/stat : 13472 (java) S 13464 13464 12283 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475591835 15512608768 12073 33554432000 4194304 4196468 140729080510016 140053418911856 140053950552706 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13473] ppid=13464 vsize=15149032 memory=6944656425123485561 CPUtime=0 cores=0,2,4,6
/proc/13466/task/13473/stat : 13473 (java) S 13464 13464 12283 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475591836 15512608768 12073 33554432000 4194304 4196468 140729080510016 140053417857824 140053950551765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13474] ppid=13464 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/13466/task/13474/stat : 13474 (java) S 13464 13464 12283 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475591836 15512608768 12073 33554432000 4194304 4196468 140729080510016 140053416805488 140053950551765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13475] ppid=13464 vsize=15149032 memory=8514701219781834910 CPUtime=0 cores=0,2,4,6
/proc/13466/task/13475/stat : 13475 (java) S 13464 13464 12283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475591838 15512608768 12073 33554432000 4194304 4196468 140729080510016 140053415753808 140053950560155 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13476] ppid=13464 vsize=15149032 memory=6576575808607200675 CPUtime=0.03 cores=0,2,4,6
/proc/13466/task/13476/stat : 13476 (java) S 13464 13464 12283 0 -1 1077944384 490 0 0 0 3 0 0 0 20 0 15 0 475591838 15512608768 12073 33554432000 4194304 4196468 140729080510016 140053414701680 140053950552706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13477] ppid=13464 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/13466/task/13477/stat : 13477 (java) S 13464 13464 12283 0 -1 1077944384 254 0 0 0 4 0 0 0 20 0 15 0 475591838 15512608768 12073 33554432000 4194304 4196468 140729080510016 140053413648880 140053950552706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13478] ppid=13464 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/13466/task/13478/stat : 13478 (java) S 13464 13464 12283 0 -1 1077944384 1205 0 0 0 13 0 0 0 20 0 15 0 475591838 15512608768 12073 33554432000 4194304 4196468 140729080510016 140053412596592 140053950552706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13479] ppid=13464 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13466/task/13479/stat : 13479 (java) S 13464 13464 12283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475591839 15512608768 12073 33554432000 4194304 4196468 140729080510016 140053411544032 140053950551765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13480] ppid=13464 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13466/task/13480/stat : 13480 (java) S 13464 13464 12283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475591839 15512608768 12073 33554432000 4194304 4196468 140729080510016 140053410490800 140053950552706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 49740 KiB
[startup+0.701248 s]
/proc/loadavg: 8.68 8.71 7.76 8/233 13480
/proc/meminfo: memFree=8536140/32770624 swapFree=66959532/67108860
[pid=13464] ppid=13461 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/13464/stat : 13464 (xcsp3-exec) S 13461 13464 12283 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475591833 115843072 362 33554432000 4194304 5098028 140727758229184 140727758227288 140614607381116 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24383488 140727758230394 140727758230637 140727758230637 140727758233546 0
/proc/13464/statm: 28282 362 304 221 0 87 0
[pid=13466] ppid=13464 vsize=15151156 memory=108352 CPUtime=1.67 cores=0,2,4,6
/proc/13466/stat : 13466 (java) S 13464 13464 12283 0 -1 1077944320 14189 0 0 0 162 5 0 0 20 0 15 0 475591833 15514783744 27088 33554432000 4194304 4196468 140729080510016 140729080492560 140053950541559 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
/proc/13466/statm: 3787789 27088 3441 1 0 3748889 0
[pid=13466/tid=13467] ppid=13464 vsize=15151156 memory=-7533522213388100735 CPUtime=0.68 cores=0,2,4,6
/proc/13466/task/13467/stat : 13467 (java) R 13464 13464 12283 0 -1 4202560 8383 0 0 0 64 4 0 0 20 0 15 0 475591833 15514783744 27088 33554432000 4194304 4196468 140729080510016 140053954774448 140053591110067 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13468] ppid=13464 vsize=15151156 memory=7019257425709197167 CPUtime=0 cores=0,2,4,6
/proc/13466/task/13468/stat : 13468 (java) S 13464 13464 12283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475591834 15514783744 27088 33554432000 4194304 4196468 140729080510016 140053542792080 140053950551765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13469] ppid=13464 vsize=15151156 memory=6940443203498692944 CPUtime=0 cores=0,2,4,6
/proc/13466/task/13469/stat : 13469 (java) S 13464 13464 12283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475591834 15514783744 27088 33554432000 4194304 4196468 140729080510016 140053541739280 140053950551765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13470] ppid=13464 vsize=15151156 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/13466/task/13470/stat : 13470 (java) S 13464 13464 12283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475591834 15514783744 27088 33554432000 4194304 4196468 140729080510016 140053540686992 140053950551765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13471] ppid=13464 vsize=15151156 memory=1188 CPUtime=0 cores=0,2,4,6
/proc/13466/task/13471/stat : 13471 (java) S 13464 13464 12283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475591834 15514783744 27088 33554432000 4194304 4196468 140729080510016 140053539634192 140053950551765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13472] ppid=13464 vsize=15151156 memory=1536 CPUtime=0 cores=0,2,4,6
/proc/13466/task/13472/stat : 13472 (java) S 13464 13464 12283 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475591835 15514783744 27088 33554432000 4194304 4196468 140729080510016 140053418911856 140053950552706 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13473] ppid=13464 vsize=15151156 memory=9592 CPUtime=0 cores=0,2,4,6
/proc/13466/task/13473/stat : 13473 (java) S 13464 13464 12283 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475591836 15514783744 27088 33554432000 4194304 4196468 140729080510016 140053417857824 140053950551765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13474] ppid=13464 vsize=15151156 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/13466/task/13474/stat : 13474 (java) S 13464 13464 12283 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475591836 15514783744 27088 33554432000 4194304 4196468 140729080510016 140053416805488 140053950551765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13475] ppid=13464 vsize=15151156 memory=780 CPUtime=0 cores=0,2,4,6
/proc/13466/task/13475/stat : 13475 (java) S 13464 13464 12283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475591838 15514783744 27088 33554432000 4194304 4196468 140729080510016 140053415753808 140053950560155 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13476] ppid=13464 vsize=15151156 memory=620 CPUtime=0.33 cores=0,2,4,6
/proc/13466/task/13476/stat : 13476 (java) R 13464 13464 12283 0 -1 4202560 1242 0 0 0 33 0 0 0 20 0 15 0 475591838 15514783744 27088 33554432000 4194304 4196468 140729080510016 140053414688224 140053934025032 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13477] ppid=13464 vsize=15151156 memory=1496 CPUtime=0.34 cores=0,2,4,6
/proc/13466/task/13477/stat : 13477 (java) R 13464 13464 12283 0 -1 4202560 1204 0 0 0 34 0 0 0 20 0 15 0 475591838 15514783744 27088 33554432000 4194304 4196468 140729080510016 140053413638144 140053932059449 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13478] ppid=13464 vsize=15151156 memory=1016 CPUtime=0.3 cores=0,2,4,6
/proc/13466/task/13478/stat : 13478 (java) S 13464 13464 12283 0 -1 1077944384 2054 0 0 0 30 0 0 0 20 0 15 0 475591838 15514783744 27088 33554432000 4194304 4196468 140729080510016 140053412596592 140053950552706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13479] ppid=13464 vsize=15151156 memory=6044 CPUtime=0 cores=0,2,4,6
/proc/13466/task/13479/stat : 13479 (java) S 13464 13464 12283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475591839 15514783744 27088 33554432000 4194304 4196468 140729080510016 140053411544032 140053950551765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13480] ppid=13464 vsize=15151156 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/13466/task/13480/stat : 13480 (java) S 13464 13464 12283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475591839 15514783744 27088 33554432000 4194304 4196468 140729080510016 140053410490800 140053950552706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
Current children cumulated CPU time: 1.67 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 109800 KiB
[startup+1.50129 s]
/proc/loadavg: 8.68 8.71 7.76 8/233 13480
/proc/meminfo: memFree=8417236/32770624 swapFree=66959532/67108860
[pid=13464] ppid=13461 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/13464/stat : 13464 (xcsp3-exec) S 13461 13464 12283 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475591833 115843072 362 33554432000 4194304 5098028 140727758229184 140727758227288 140614607381116 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24383488 140727758230394 140727758230637 140727758230637 140727758233546 0
/proc/13464/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/13466/task/13480/stat : 13480 (java) S 13464 13464 12283 0 -1 1077944384 1141 0 0 0 21 0 0 0 20 0 19 0 475591839 15789527040 1298314 33554432000 4194304 4196468 140729080510016 140053410490800 140053950552706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 41 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13482] ppid=13464 vsize=15419460 memory=4104 CPUtime=524.32 cores=0,2,4,6
/proc/13466/task/13482/stat : 13482 (java) R 13464 13464 12283 0 -1 4202560 9446 0 0 0 52431 1 0 0 20 0 19 0 475592457 15789527040 1298314 33554432000 4194304 4196468 140729080510016 140053399414200 140053600401380 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13483] ppid=13464 vsize=15419460 memory=1412 CPUtime=522.11 cores=0,2,4,6
/proc/13466/task/13483/stat : 13483 (java) R 13464 13464 12283 0 -1 4202560 32036 0 0 0 52205 6 0 0 20 0 19 0 475592458 15789527040 1298314 33554432000 4194304 4196468 140729080510016 140053398361880 140053598144272 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13484] ppid=13464 vsize=15419460 memory=3288 CPUtime=525.16 cores=0,2,4,6
/proc/13466/task/13484/stat : 13484 (java) R 13464 13464 12283 0 -1 4202560 14007 0 0 0 52513 3 0 0 20 0 19 0 475592458 15789527040 1298314 33554432000 4194304 4196468 140729080510016 140053397307216 140053600193554 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13485] ppid=13464 vsize=15419460 memory=288230574492221466 CPUtime=525.9 cores=0,2,4,6
/proc/13466/task/13485/stat : 13485 (java) R 13464 13464 12283 0 -1 4202560 11181 0 0 0 52588 2 0 0 20 0 19 0 475592458 15789527040 1298314 33554432000 4194304 4196468 140729080510016 140053396255304 140053600228351 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
Current children cumulated CPU time: 2170.72 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 5194704 KiB
[startup+550.401 s]
/proc/loadavg: 8.32 8.47 8.05 9/237 13536
/proc/meminfo: memFree=2616204/32770624 swapFree=66959532/67108860
[pid=13464] ppid=13461 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/13464/stat : 13464 (xcsp3-exec) S 13461 13464 12283 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475591833 115843072 362 33554432000 4194304 5098028 140727758229184 140727758227288 140614607381116 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24383488 140727758230394 140727758230637 140727758230637 140727758233546 0
/proc/13464/statm: 28282 362 304 221 0 87 0
[pid=13466] ppid=13464 vsize=15419460 memory=5193256 CPUtime=2177.08 cores=0,2,4,6
/proc/13466/stat : 13466 (java) S 13464 13464 12283 0 -1 1077944320 207981 0 0 0 217224 484 0 0 20 0 19 0 475591833 15789527040 1298314 33554432000 4194304 4196468 140729080510016 140729080492560 140053950541559 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
/proc/13466/statm: 3854865 1298314 3558 1 0 3815965 0
[pid=13466/tid=13467] ppid=13464 vsize=15419460 memory=620 CPUtime=4.45 cores=0,2,4,6
/proc/13466/task/13467/stat : 13467 (java) S 13464 13464 12283 0 -1 1077944384 12837 0 0 0 431 14 0 0 20 0 19 0 475591833 15789527040 1298314 33554432000 4194304 4196468 140729080510016 140053954782336 140053950551765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13468] ppid=13464 vsize=15419460 memory=1496 CPUtime=13.28 cores=0,2,4,6
/proc/13466/task/13468/stat : 13468 (java) S 13464 13464 12283 0 -1 1077944384 11058 0 0 0 1216 112 0 0 20 0 19 0 475591834 15789527040 1298314 33554432000 4194304 4196468 140729080510016 140053542792080 140053950551765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13469] ppid=13464 vsize=15419460 memory=1016 CPUtime=13.39 cores=0,2,4,6
/proc/13466/task/13469/stat : 13469 (java) S 13464 13464 12283 0 -1 1077944384 8867 0 0 0 1227 112 0 0 20 0 19 0 475591834 15789527040 1298314 33554432000 4194304 4196468 140729080510016 140053541739280 140053950551765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13470] ppid=13464 vsize=15419460 memory=-3622645143214314312 CPUtime=13.3 cores=0,2,4,6
/proc/13466/task/13470/stat : 13470 (java) S 13464 13464 12283 0 -1 1077944384 9676 0 0 0 1225 105 0 0 20 0 19 0 475591834 15789527040 1298314 33554432000 4194304 4196468 140729080510016 140053540686992 140053950551765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13471] ppid=13464 vsize=15419460 memory=5193256 CPUtime=13.38 cores=0,2,4,6
/proc/13466/task/13471/stat : 13471 (java) S 13464 13464 12283 0 -1 1077944384 11260 0 0 0 1223 115 0 0 20 0 19 0 475591834 15789527040 1298314 33554432000 4194304 4196468 140729080510016 140053539634192 140053950551765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13472] ppid=13464 vsize=15419460 memory=111632 CPUtime=2.44 cores=0,2,4,6
/proc/13466/task/13472/stat : 13472 (java) S 13464 13464 12283 0 -1 1077944384 13524 0 0 0 242 2 0 0 20 0 19 0 475591835 15789527040 1298314 33554432000 4194304 4196468 140729080510016 140053418911856 140053950552706 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13473] ppid=13464 vsize=15419460 memory=800 CPUtime=0 cores=0,2,4,6
/proc/13466/task/13473/stat : 13473 (java) S 13464 13464 12283 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 19 0 475591836 15789527040 1298314 33554432000 4194304 4196468 140729080510016 140053417857888 140053950551765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13474] ppid=13464 vsize=15419460 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/13466/task/13474/stat : 13474 (java) S 13464 13464 12283 0 -1 1077944384 192 0 0 0 0 0 0 0 20 0 19 0 475591836 15789527040 1298314 33554432000 4194304 4196468 140729080510016 140053416805504 140053950551765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13475] ppid=13464 vsize=15419460 memory=3624 CPUtime=0 cores=0,2,4,6
/proc/13466/task/13475/stat : 13475 (java) S 13464 13464 12283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475591838 15789527040 1298314 33554432000 4194304 4196468 140729080510016 140053415753808 140053950560155 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13476] ppid=13464 vsize=15419460 memory=55732 CPUtime=5.51 cores=0,2,4,6
/proc/13466/task/13476/stat : 13476 (java) S 13464 13464 12283 0 -1 1077944384 23836 0 0 0 549 2 0 0 20 0 19 0 475591838 15789527040 1298314 33554432000 4194304 4196468 140729080510016 140053414701680 140053950552706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13477] ppid=13464 vsize=15419460 memory=988 CPUtime=5.81 cores=0,2,4,6
/proc/13466/task/13477/stat : 13477 (java) S 13464 13464 12283 0 -1 1077944384 27818 0 0 0 580 1 0 0 20 0 19 0 475591838 15789527040 1298314 33554432000 4194304 4196468 140729080510016 140053413648880 140053950552706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13478] ppid=13464 vsize=15419460 memory=6791534058613427641 CPUtime=1.29 cores=0,2,4,6
/proc/13466/task/13478/stat : 13478 (java) S 13464 13464 12283 0 -1 1077944384 19623 0 0 0 127 2 0 0 20 0 19 0 475591838 15789527040 1298314 33554432000 4194304 4196468 140729080510016 140053412596592 140053950552706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13479] ppid=13464 vsize=15419460 memory=8695783063145642152 CPUtime=0 cores=0,2,4,6
/proc/13466/task/13479/stat : 13479 (java) S 13464 13464 12283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475591839 15789527040 1298314 33554432000 4194304 4196468 140729080510016 140053411544032 140053950551765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13480] ppid=13464 vsize=15419460 memory=1448 CPUtime=0.21 cores=0,2,4,6
/proc/13466/task/13480/stat : 13480 (java) S 13464 13464 12283 0 -1 1077944384 1141 0 0 0 21 0 0 0 20 0 19 0 475591839 15789527040 1298314 33554432000 4194304 4196468 140729080510016 140053410490800 140053950552706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 41 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13482] ppid=13464 vsize=15419460 memory=5193256 CPUtime=525.92 cores=0,2,4,6
/proc/13466/task/13482/stat : 13482 (java) R 13464 13464 12283 0 -1 4202560 9452 0 0 0 52591 1 0 0 20 0 19 0 475592457 15789527040 1298314 33554432000 4194304 4196468 140729080510016 140053399414200 140053600499056 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13483] ppid=13464 vsize=15419460 memory=1448 CPUtime=523.68 cores=0,2,4,6
/proc/13466/task/13483/stat : 13483 (java) R 13464 13464 12283 0 -1 4202560 32043 0 0 0 52362 6 0 0 20 0 19 0 475592458 15789527040 1298314 33554432000 4194304 4196468 140729080510016 140053398361880 140053595904880 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13484] ppid=13464 vsize=15419460 memory=5193256 CPUtime=526.76 cores=0,2,4,6
/proc/13466/task/13484/stat : 13484 (java) R 13464 13464 12283 0 -1 4202560 14112 0 0 0 52673 3 0 0 20 0 19 0 475592458 15789527040 1298314 33554432000 4194304 4196468 140729080510016 140053397307216 140053600437961 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13485] ppid=13464 vsize=15419460 memory=1056 CPUtime=527.5 cores=0,2,4,6
/proc/13466/task/13485/stat : 13485 (java) R 13464 13464 12283 0 -1 4202560 11199 0 0 0 52748 2 0 0 20 0 19 0 475592458 15789527040 1298314 33554432000 4194304 4196468 140729080510016 140053396255304 140053600690005 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
Current children cumulated CPU time: 2177.08 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 5194704 KiB
[startup+551.201 s]
/proc/loadavg: 8.32 8.47 8.05 9/238 13538
/proc/meminfo: memFree=2615212/32770624 swapFree=66959532/67108860
[pid=13464] ppid=13461 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/13464/stat : 13464 (xcsp3-exec) S 13461 13464 12283 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475591833 115843072 362 33554432000 4194304 5098028 140727758229184 140727758227288 140614607381116 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24383488 140727758230394 140727758230637 140727758230637 140727758233546 0
/proc/13464/statm: 28282 362 304 221 0 87 0
[pid=13466] ppid=13464 vsize=15419460 memory=5193256 CPUtime=2180.26 cores=0,2,4,6
/proc/13466/stat : 13466 (java) S 13464 13464 12283 0 -1 1077944320 207985 0 0 0 217542 484 0 0 20 0 19 0 475591833 15789527040 1298314 33554432000 4194304 4196468 140729080510016 140729080492560 140053950541559 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
/proc/13466/statm: 3854865 1298314 3558 1 0 3815965 0
[pid=13466/tid=13467] ppid=13464 vsize=15419460 memory=1448 CPUtime=4.45 cores=0,2,4,6
/proc/13466/task/13467/stat : 13467 (java) S 13464 13464 12283 0 -1 1077944384 12837 0 0 0 431 14 0 0 20 0 19 0 475591833 15789527040 1298314 33554432000 4194304 4196468 140729080510016 140053954782336 140053950551765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13468] ppid=13464 vsize=15419460 memory=5193256 CPUtime=13.28 cores=0,2,4,6
/proc/13466/task/13468/stat : 13468 (java) S 13464 13464 12283 0 -1 1077944384 11058 0 0 0 1216 112 0 0 20 0 19 0 475591834 15789527040 1298314 33554432000 4194304 4196468 140729080510016 140053542792080 140053950551765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13469] ppid=13464 vsize=15419460 memory=1448 CPUtime=13.39 cores=0,2,4,6
/proc/13466/task/13469/stat : 13469 (java) S 13464 13464 12283 0 -1 1077944384 8867 0 0 0 1227 112 0 0 20 0 19 0 475591834 15789527040 1298314 33554432000 4194304 4196468 140729080510016 140053541739280 140053950551765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13470] ppid=13464 vsize=15419460 memory=5193256 CPUtime=13.3 cores=0,2,4,6
/proc/13466/task/13470/stat : 13470 (java) S 13464 13464 12283 0 -1 1077944384 9676 0 0 0 1225 105 0 0 20 0 19 0 475591834 15789527040 1298314 33554432000 4194304 4196468 140729080510016 140053540686992 140053950551765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13471] ppid=13464 vsize=15419460 memory=1496 CPUtime=13.38 cores=0,2,4,6
/proc/13466/task/13471/stat : 13471 (java) S 13464 13464 12283 0 -1 1077944384 11260 0 0 0 1223 115 0 0 20 0 19 0 475591834 15789527040 1298314 33554432000 4194304 4196468 140729080510016 140053539634192 140053950551765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13472] ppid=13464 vsize=15419460 memory=1016 CPUtime=2.44 cores=0,2,4,6
/proc/13466/task/13472/stat : 13472 (java) S 13464 13464 12283 0 -1 1077944384 13524 0 0 0 242 2 0 0 20 0 19 0 475591835 15789527040 1298314 33554432000 4194304 4196468 140729080510016 140053418911856 140053950552706 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13473] ppid=13464 vsize=15419460 memory=5193256 CPUtime=0 cores=0,2,4,6
/proc/13466/task/13473/stat : 13473 (java) S 13464 13464 12283 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 19 0 475591836 15789527040 1298314 33554432000 4194304 4196468 140729080510016 140053417857888 140053950551765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13474] ppid=13464 vsize=15419460 memory=5193256 CPUtime=0 cores=0,2,4,6
/proc/13466/task/13474/stat : 13474 (java) S 13464 13464 12283 0 -1 1077944384 192 0 0 0 0 0 0 0 20 0 19 0 475591836 15789527040 1298314 33554432000 4194304 4196468 140729080510016 140053416805504 140053950551765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13475] ppid=13464 vsize=15419460 memory=1656 CPUtime=0 cores=0,2,4,6
/proc/13466/task/13475/stat : 13475 (java) S 13464 13464 12283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475591838 15789527040 1298314 33554432000 4194304 4196468 140729080510016 140053415753808 140053950560155 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13476] ppid=13464 vsize=15419460 memory=3848 CPUtime=5.51 cores=0,2,4,6
/proc/13466/task/13476/stat : 13476 (java) S 13464 13464 12283 0 -1 1077944384 23836 0 0 0 549 2 0 0 20 0 19 0 475591838 15789527040 1298314 33554432000 4194304 4196468 140729080510016 140053414701680 140053950552706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13477] ppid=13464 vsize=15419460 memory=2596 CPUtime=5.81 cores=0,2,4,6
/proc/13466/task/13477/stat : 13477 (java) S 13464 13464 12283 0 -1 1077944384 27818 0 0 0 580 1 0 0 20 0 19 0 475591838 15789527040 1298314 33554432000 4194304 4196468 140729080510016 140053413648880 140053950552706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13478] ppid=13464 vsize=15419460 memory=2596 CPUtime=1.29 cores=0,2,4,6
/proc/13466/task/13478/stat : 13478 (java) S 13464 13464 12283 0 -1 1077944384 19623 0 0 0 127 2 0 0 20 0 19 0 475591838 15789527040 1298314 33554432000 4194304 4196468 140729080510016 140053412596592 140053950552706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13479] ppid=13464 vsize=15419460 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13466/task/13479/stat : 13479 (java) S 13464 13464 12283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475591839 15789527040 1298314 33554432000 4194304 4196468 140729080510016 140053411544032 140053950551765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13480] ppid=13464 vsize=15419460 memory=21 CPUtime=0.21 cores=0,2,4,6
/proc/13466/task/13480/stat : 13480 (java) S 13464 13464 12283 0 -1 1077944384 1141 0 0 0 21 0 0 0 20 0 19 0 475591839 15789527040 1298314 33554432000 4194304 4196468 140729080510016 140053410490800 140053950552706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 41 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13482] ppid=13464 vsize=15419460 memory=51633 CPUtime=526.71 cores=0,2,4,6
/proc/13466/task/13482/stat : 13482 (java) R 13464 13464 12283 0 -1 4202560 9452 0 0 0 52670 1 0 0 20 0 19 0 475592457 15789527040 1298314 33554432000 4194304 4196468 140729080510016 140053399414200 140053600193776 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13483] ppid=13464 vsize=15419460 memory=51426 CPUtime=524.47 cores=0,2,4,6
/proc/13466/task/13483/stat : 13483 (java) R 13464 13464 12283 0 -1 4202560 32045 0 0 0 52441 6 0 0 20 0 19 0 475592458 15789527040 1298314 33554432000 4194304 4196468 140729080510016 140053398361880 140053600193874 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13484] ppid=13464 vsize=15419460 memory=51716 CPUtime=527.56 cores=0,2,4,6
/proc/13466/task/13484/stat : 13484 (java) R 13464 13464 12283 0 -1 4202560 14114 0 0 0 52753 3 0 0 20 0 19 0 475592458 15789527040 1298314 33554432000 4194304 4196468 140729080510016 140053397307216 140053600438073 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13485] ppid=13464 vsize=15419460 memory=3624 CPUtime=528.3 cores=0,2,4,6
/proc/13466/task/13485/stat : 13485 (java) R 13464 13464 12283 0 -1 4202560 11199 0 0 0 52828 2 0 0 20 0 19 0 475592458 15789527040 1298314 33554432000 4194304 4196468 140729080510016 140053396255304 140053600228255 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
Current children cumulated CPU time: 2180.26 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 5194704 KiB
[startup+551.401 s]
/proc/loadavg: 8.32 8.47 8.05 9/238 13538
/proc/meminfo: memFree=2615212/32770624 swapFree=66959532/67108860
[pid=13464] ppid=13461 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/13464/stat : 13464 (xcsp3-exec) S 13461 13464 12283 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475591833 115843072 362 33554432000 4194304 5098028 140727758229184 140727758227288 140614607381116 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24383488 140727758230394 140727758230637 140727758230637 140727758233546 0
/proc/13464/statm: 28282 362 304 221 0 87 0
[pid=13466] ppid=13464 vsize=15419460 memory=5193256 CPUtime=2181.06 cores=0,2,4,6
/proc/13466/stat : 13466 (java) S 13464 13464 12283 0 -1 1077944320 210067 0 0 0 217622 484 0 0 20 0 19 0 475591833 15789527040 1298314 33554432000 4194304 4196468 140729080510016 140729080492560 140053950541559 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
/proc/13466/statm: 3854865 1298314 3558 1 0 3815965 0
[pid=13466/tid=13467] ppid=13464 vsize=15419460 memory=2024 CPUtime=4.45 cores=0,2,4,6
/proc/13466/task/13467/stat : 13467 (java) S 13464 13464 12283 0 -1 1077944384 12837 0 0 0 431 14 0 0 20 0 19 0 475591833 15789527040 1298314 33554432000 4194304 4196468 140729080510016 140053954782336 140053950551765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13468] ppid=13464 vsize=15419460 memory=1384 CPUtime=13.28 cores=0,2,4,6
/proc/13466/task/13468/stat : 13468 (java) S 13464 13464 12283 0 -1 1077944384 11058 0 0 0 1216 112 0 0 20 0 19 0 475591834 15789527040 1298314 33554432000 4194304 4196468 140729080510016 140053542792080 140053950551765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13469] ppid=13464 vsize=15419460 memory=4028 CPUtime=13.39 cores=0,2,4,6
/proc/13466/task/13469/stat : 13469 (java) S 13464 13464 12283 0 -1 1077944384 8867 0 0 0 1227 112 0 0 20 0 19 0 475591834 15789527040 1298314 33554432000 4194304 4196468 140729080510016 140053541739280 140053950551765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13470] ppid=13464 vsize=15419460 memory=1056 CPUtime=13.3 cores=0,2,4,6
/proc/13466/task/13470/stat : 13470 (java) S 13464 13464 12283 0 -1 1077944384 9676 0 0 0 1225 105 0 0 20 0 19 0 475591834 15789527040 1298314 33554432000 4194304 4196468 140729080510016 140053540686992 140053950551765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13471] ppid=13464 vsize=15419460 memory=1188 CPUtime=13.38 cores=0,2,4,6
/proc/13466/task/13471/stat : 13471 (java) S 13464 13464 12283 0 -1 1077944384 11260 0 0 0 1223 115 0 0 20 0 19 0 475591834 15789527040 1298314 33554432000 4194304 4196468 140729080510016 140053539634192 140053950551765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13472] ppid=13464 vsize=15419460 memory=1536 CPUtime=2.44 cores=0,2,4,6
/proc/13466/task/13472/stat : 13472 (java) S 13464 13464 12283 0 -1 1077944384 13524 0 0 0 242 2 0 0 20 0 19 0 475591835 15789527040 1298314 33554432000 4194304 4196468 140729080510016 140053418911856 140053950552706 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13473] ppid=13464 vsize=15419460 memory=9592 CPUtime=0 cores=0,2,4,6
/proc/13466/task/13473/stat : 13473 (java) S 13464 13464 12283 0 -1 1077944384 102 0 0 0 0 0 0 0 20 0 19 0 475591836 15789527040 1298314 33554432000 4194304 4196468 140729080510016 140053417857888 140053950551765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13474] ppid=13464 vsize=15419460 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/13466/task/13474/stat : 13474 (java) S 13464 13464 12283 0 -1 1077944384 192 0 0 0 0 0 0 0 20 0 19 0 475591836 15789527040 1298314 33554432000 4194304 4196468 140729080510016 140053416805504 140053950551765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13475] ppid=13464 vsize=15419460 memory=780 CPUtime=0 cores=0,2,4,6
/proc/13466/task/13475/stat : 13475 (java) S 13464 13464 12283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475591838 15789527040 1298314 33554432000 4194304 4196468 140729080510016 140053415753808 140053950560155 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13476] ppid=13464 vsize=15419460 memory=620 CPUtime=5.51 cores=0,2,4,6
/proc/13466/task/13476/stat : 13476 (java) S 13464 13464 12283 0 -1 1077944384 23836 0 0 0 549 2 0 0 20 0 19 0 475591838 15789527040 1298314 33554432000 4194304 4196468 140729080510016 140053414701680 140053950552706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13477] ppid=13464 vsize=15419460 memory=1496 CPUtime=5.84 cores=0,2,4,6
/proc/13466/task/13477/stat : 13477 (java) R 13464 13464 12283 0 -1 4202560 28789 0 0 0 582 2 0 0 20 0 19 0 475591838 15789527040 1298314 33554432000 4194304 4196468 140729080510016 140053413648880 140053934096818 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13478] ppid=13464 vsize=15419460 memory=1016 CPUtime=1.31 cores=0,2,4,6
/proc/13466/task/13478/stat : 13478 (java) S 13464 13464 12283 0 -1 1077944384 20617 0 0 0 128 3 0 0 20 0 19 0 475591838 15789527040 1298314 33554432000 4194304 4196468 140729080510016 140053412596592 140053950552706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13479] ppid=13464 vsize=15419460 memory=6044 CPUtime=0 cores=0,2,4,6
/proc/13466/task/13479/stat : 13479 (java) S 13464 13464 12283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475591839 15789527040 1298314 33554432000 4194304 4196468 140729080510016 140053411544032 140053950551765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13480] ppid=13464 vsize=15419460 memory=14012 CPUtime=0.21 cores=0,2,4,6
/proc/13466/task/13480/stat : 13480 (java) R 13464 13464 12283 0 -1 1077944384 1141 0 0 0 21 0 0 0 20 0 19 0 475591839 15789527040 1298314 33554432000 4194304 4196468 140729080510016 140053410490800 140053950552706 0 4 0 16800975 0 0 0 -1 2 0 0 41 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13482] ppid=13464 vsize=15419460 memory=2116 CPUtime=526.91 cores=0,2,4,6
/proc/13466/task/13482/stat : 13482 (java) R 13464 13464 12283 0 -1 4202560 9452 0 0 0 52690 1 0 0 20 0 19 0 475592457 15789527040 1298314 33554432000 4194304 4196468 140729080510016 140053399414200 140053601005408 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13483] ppid=13464 vsize=15419460 memory=1808 CPUtime=524.66 cores=0,2,4,6
/proc/13466/task/13483/stat : 13483 (java) R 13464 13464 12283 0 -1 4202560 32106 0 0 0 52460 6 0 0 20 0 19 0 475592458 15789527040 1298314 33554432000 4194304 4196468 140729080510016 140053398360552 140053598144272 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13484] ppid=13464 vsize=15419460 memory=920 CPUtime=527.73 cores=0,2,4,6
/proc/13466/task/13484/stat : 13484 (java) R 13464 13464 12283 0 -1 4202560 14153 0 0 0 52770 3 0 0 20 0 19 0 475592458 15789527040 1298314 33554432000 4194304 4196468 140729080510016 140053397309720 140053600437976 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
[pid=13466/tid=13485] ppid=13464 vsize=15419460 memory=3848 CPUtime=528.5 cores=0,2,4,6
/proc/13466/task/13485/stat : 13485 (java) R 13464 13464 12283 0 -1 4202560 11216 0 0 0 52848 2 0 0 20 0 19 0 475592458 15789527040 1298314 33554432000 4194304 4196468 140729080510016 140053396255968 140053600437615 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29982720 140729080513519 140729080513690 140729080513690 140729080516559 0
Current children cumulated CPU time: 2181.06 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 5194704 KiB
Child status: 0
Real time (s): 551.453
CPU time (s): 2181.18
CPU user time (s): 2176.31
CPU system time (s): 4.87328
CPU usage (%): 395.534
Max. virtual memory (cumulated for all children) (KiB): 15532588
Max. memory (cumulated for all children) (KiB): 5194704
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2176.31
system time used= 4.87328
maximum resident set size= 5193452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 211756
page faults= 0
swaps= 0
block input operations= 0
block output operations= 752
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16303
involuntary context switches= 40126
# summary of solver processes directly reported to runsolver:
# pid: 13464
# total CPU time (s): 2181.18
# total CPU user time (s): 2176.31
# total CPU system time (s): 4.87328
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.37321 second user time and 6.48298 second system time
The end