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 (15235 MiB free)
memory of node 1: 16384 MiB (15527 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393049-1568316858/watcher-4393049-1568316858 -o /tmp/evaluation-result-4393049-1568316858/solver-4393049-1568316858 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568312479-6784 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1471829743 HOME/instance-4393049-1568316858.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=12255, runsolver pid=12252
Current StackSize limit: 8192 KiB
[startup+0.100094 s]*
/proc/loadavg: 8.07 8.32 7.61 6/233 12271
/proc/meminfo: memFree=31485748/32770624 swapFree=66979456/67108860
[pid=12255] ppid=12252 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/12255/stat : 12255 (xcsp3-exec) S 12252 12255 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407948529 115843072 362 33554432000 4194304 5098028 140720347402560 140720347400664 140711346758268 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27201536 140720347411322 140720347411565 140720347411565 140720347414474 0
/proc/12255/statm: 28282 362 304 221 0 87 0
[pid=12257] ppid=12255 vsize=15144768 memory=28604 CPUtime=0.12 cores=0,2,4,6
/proc/12257/stat : 12257 (java) S 12255 12255 6753 0 -1 1077944320 5649 0 0 0 11 1 0 0 20 0 15 0 407948530 15508242432 7151 33554432000 4194304 4196468 140724423811984 140724423794528 139750933323511 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
/proc/12257/statm: 3786192 7151 3118 1 0 3748377 0
[pid=12257/tid=12258] ppid=12255 vsize=15144768 memory=7100839878644302962 CPUtime=0.08 cores=0,2,4,6
/proc/12257/task/12258/stat : 12258 (java) R 12255 12255 6753 0 -1 4202560 3562 0 0 0 8 0 0 0 20 0 15 0 407948530 15508242432 7151 33554432000 4194304 4196468 140724423811984 139750937555440 139750536117478 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12259] ppid=12255 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/12257/task/12259/stat : 12259 (java) S 12255 12255 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407948531 15508242432 7151 33554432000 4194304 4196468 140724423811984 139750861364240 139750933333717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12260] ppid=12255 vsize=15144768 memory=139938677044864 CPUtime=0 cores=0,2,4,6
/proc/12257/task/12260/stat : 12260 (java) S 12255 12255 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407948531 15508242432 7151 33554432000 4194304 4196468 140724423811984 139750860311696 139750933333717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12261] ppid=12255 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12257/task/12261/stat : 12261 (java) S 12255 12255 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407948531 15508242432 7151 33554432000 4194304 4196468 140724423811984 139750859258640 139750933333717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12262] ppid=12255 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12257/task/12262/stat : 12262 (java) S 12255 12255 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407948531 15508242432 7151 33554432000 4194304 4196468 140724423811984 139750858206096 139750933333717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12263] ppid=12255 vsize=15144768 memory=139938677044864 CPUtime=0 cores=0,2,4,6
/proc/12257/task/12263/stat : 12263 (java) S 12255 12255 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407948532 15508242432 7151 33554432000 4194304 4196468 140724423811984 139749806995696 139750933334658 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12264] ppid=12255 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12257/task/12264/stat : 12264 (java) S 12255 12255 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407948532 15508242432 7151 33554432000 4194304 4196468 140724423811984 139749805941920 139750933333717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12265] ppid=12255 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12257/task/12265/stat : 12265 (java) S 12255 12255 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407948533 15508242432 7151 33554432000 4194304 4196468 140724423811984 139749804888816 139750933333717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12266] ppid=12255 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12257/task/12266/stat : 12266 (java) S 12255 12255 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407948535 15508242432 7151 33554432000 4194304 4196468 140724423811984 139749803837392 139750933342107 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12267] ppid=12255 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12257/task/12267/stat : 12267 (java) S 12255 12255 6753 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 407948535 15508242432 7151 33554432000 4194304 4196468 140724423811984 139749802785520 139750933334658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12268] ppid=12255 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12257/task/12268/stat : 12268 (java) S 12255 12255 6753 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 407948535 15508242432 7151 33554432000 4194304 4196468 140724423811984 139749801732976 139750933334658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12269] ppid=12255 vsize=15144768 memory=139938677044864 CPUtime=0.02 cores=0,2,4,6
/proc/12257/task/12269/stat : 12269 (java) R 12255 12255 6753 0 -1 4202560 361 0 0 0 2 0 0 0 20 0 15 0 407948535 15508242432 7151 33554432000 4194304 4196468 140724423811984 139749800679920 139750933335446 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12270] ppid=12255 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12257/task/12270/stat : 12270 (java) S 12255 12255 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407948535 15508242432 7151 33554432000 4194304 4196468 140724423811984 139749799627616 139750933333717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12271] ppid=12255 vsize=15144768 memory=139938677044864 CPUtime=0 cores=0,2,4,6
/proc/12257/task/12271/stat : 12271 (java) S 12255 12255 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407948536 15508242432 7151 33554432000 4194304 4196468 140724423811984 139749798574640 139750933334658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30052 KiB
[startup+0.210736 s]*
/proc/loadavg: 8.07 8.32 7.61 7/233 12271
/proc/meminfo: memFree=31472276/32770624 swapFree=66979456/67108860
[pid=12255] ppid=12252 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/12255/stat : 12255 (xcsp3-exec) S 12252 12255 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407948529 115843072 362 33554432000 4194304 5098028 140720347402560 140720347400664 140711346758268 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27201536 140720347411322 140720347411565 140720347411565 140720347414474 0
/proc/12255/statm: 28282 362 304 221 0 87 0
[pid=12257] ppid=12255 vsize=15144768 memory=40408 CPUtime=0.34 cores=0,2,4,6
/proc/12257/stat : 12257 (java) S 12255 12255 6753 0 -1 1077944320 9286 0 0 0 31 3 0 0 20 0 15 0 407948530 15508242432 10102 33554432000 4194304 4196468 140724423811984 140724423794528 139750933323511 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
/proc/12257/statm: 3786192 10102 3303 1 0 3748377 0
[pid=12257/tid=12258] ppid=12255 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/12257/task/12258/stat : 12258 (java) R 12255 12255 6753 0 -1 4202560 6543 0 0 0 18 2 0 0 20 0 15 0 407948530 15508242432 10102 33554432000 4194304 4196468 140724423811984 139750937554752 139750535101530 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12259] ppid=12255 vsize=15144768 memory=2995868 CPUtime=0 cores=0,2,4,6
/proc/12257/task/12259/stat : 12259 (java) S 12255 12255 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407948531 15508242432 10102 33554432000 4194304 4196468 140724423811984 139750861364240 139750933333717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12260] ppid=12255 vsize=15144768 memory=139938677056907 CPUtime=0 cores=0,2,4,6
/proc/12257/task/12260/stat : 12260 (java) S 12255 12255 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407948531 15508242432 10102 33554432000 4194304 4196468 140724423811984 139750860311696 139750933333717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12261] ppid=12255 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12257/task/12261/stat : 12261 (java) S 12255 12255 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407948531 15508242432 10102 33554432000 4194304 4196468 140724423811984 139750859258640 139750933333717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12262] ppid=12255 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12257/task/12262/stat : 12262 (java) S 12255 12255 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407948531 15508242432 10102 33554432000 4194304 4196468 140724423811984 139750858206096 139750933333717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12263] ppid=12255 vsize=15144768 memory=139938677044864 CPUtime=0 cores=0,2,4,6
/proc/12257/task/12263/stat : 12263 (java) S 12255 12255 6753 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407948532 15508242432 10102 33554432000 4194304 4196468 140724423811984 139749806995696 139750933334658 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12264] ppid=12255 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12257/task/12264/stat : 12264 (java) S 12255 12255 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407948532 15508242432 10102 33554432000 4194304 4196468 140724423811984 139749805941920 139750933333717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12265] ppid=12255 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12257/task/12265/stat : 12265 (java) S 12255 12255 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407948533 15508242432 10102 33554432000 4194304 4196468 140724423811984 139749804888816 139750933333717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12266] ppid=12255 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12257/task/12266/stat : 12266 (java) S 12255 12255 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407948535 15508242432 10102 33554432000 4194304 4196468 140724423811984 139749803837392 139750933342107 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12267] ppid=12255 vsize=15144768 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/12257/task/12267/stat : 12267 (java) S 12255 12255 6753 0 -1 1077944384 406 0 0 0 2 0 0 0 20 0 15 0 407948535 15508242432 10102 33554432000 4194304 4196468 140724423811984 139749802785520 139750933334658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12268] ppid=12255 vsize=15144768 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/12257/task/12268/stat : 12268 (java) S 12255 12255 6753 0 -1 1077944384 232 0 0 0 2 0 0 0 20 0 15 0 407948535 15508242432 10102 33554432000 4194304 4196468 140724423811984 139749801732976 139750933334658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12269] ppid=12255 vsize=15144768 memory=139938677044864 CPUtime=0.07 cores=0,2,4,6
/proc/12257/task/12269/stat : 12269 (java) R 12255 12255 6753 0 -1 4202560 800 0 0 0 7 0 0 0 20 0 15 0 407948535 15508242432 10102 33554432000 4194304 4196468 140724423811984 139749800679728 139750925560638 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12270] ppid=12255 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12257/task/12270/stat : 12270 (java) S 12255 12255 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407948535 15508242432 10102 33554432000 4194304 4196468 140724423811984 139749799627616 139750933333717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12271] ppid=12255 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12257/task/12271/stat : 12271 (java) S 12255 12255 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407948536 15508242432 10102 33554432000 4194304 4196468 140724423811984 139749798574640 139750933334658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41856 KiB
[startup+0.319094 s]*
/proc/loadavg: 8.07 8.32 7.61 7/233 12271
/proc/meminfo: memFree=31465252/32770624 swapFree=66979456/67108860
[pid=12255] ppid=12252 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/12255/stat : 12255 (xcsp3-exec) S 12252 12255 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407948529 115843072 362 33554432000 4194304 5098028 140720347402560 140720347400664 140711346758268 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27201536 140720347411322 140720347411565 140720347411565 140720347414474 0
/proc/12255/statm: 28282 362 304 221 0 87 0
[pid=12257] ppid=12255 vsize=15149024 memory=50460 CPUtime=0.54 cores=0,2,4,6
/proc/12257/stat : 12257 (java) S 12255 12255 6753 0 -1 1077944320 10868 0 0 0 50 4 0 0 20 0 15 0 407948530 15512600576 12615 33554432000 4194304 4196468 140724423811984 140724423794528 139750933323511 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
/proc/12257/statm: 3787256 12615 3376 1 0 3748377 0
[pid=12257/tid=12258] ppid=12255 vsize=15149024 memory=7883960649037381690 CPUtime=0.3 cores=0,2,4,6
/proc/12257/task/12258/stat : 12258 (java) R 12255 12255 6753 0 -1 4202560 7811 0 0 0 28 2 0 0 20 0 15 0 407948530 15512600576 12615 33554432000 4194304 4196468 140724423811984 139750937554624 139750917403998 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12259] ppid=12255 vsize=15149024 memory=2996209 CPUtime=0 cores=0,2,4,6
/proc/12257/task/12259/stat : 12259 (java) S 12255 12255 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407948531 15512600576 12615 33554432000 4194304 4196468 140724423811984 139750861364240 139750933333717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12260] ppid=12255 vsize=15149024 memory=3155436 CPUtime=0 cores=0,2,4,6
/proc/12257/task/12260/stat : 12260 (java) S 12255 12255 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407948531 15512600576 12615 33554432000 4194304 4196468 140724423811984 139750860311696 139750933333717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12261] ppid=12255 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12257/task/12261/stat : 12261 (java) S 12255 12255 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407948531 15512600576 12615 33554432000 4194304 4196468 140724423811984 139750859258640 139750933333717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12262] ppid=12255 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12257/task/12262/stat : 12262 (java) S 12255 12255 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407948531 15512600576 12615 33554432000 4194304 4196468 140724423811984 139750858206096 139750933333717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12263] ppid=12255 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12257/task/12263/stat : 12263 (java) S 12255 12255 6753 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407948532 15512600576 12615 33554432000 4194304 4196468 140724423811984 139749806995696 139750933334658 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12264] ppid=12255 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12257/task/12264/stat : 12264 (java) S 12255 12255 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407948532 15512600576 12624 33554432000 4194304 4196468 140724423811984 139749805941920 139750933333717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12265] ppid=12255 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12257/task/12265/stat : 12265 (java) S 12255 12255 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407948533 15512600576 12624 33554432000 4194304 4196468 140724423811984 139749804888816 139750933333717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12266] ppid=12255 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12257/task/12266/stat : 12266 (java) S 12255 12255 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407948535 15512600576 12624 33554432000 4194304 4196468 140724423811984 139749803837392 139750933342107 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12267] ppid=12255 vsize=15149024 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/12257/task/12267/stat : 12267 (java) S 12255 12255 6753 0 -1 1077944384 531 0 0 0 5 0 0 0 20 0 15 0 407948535 15512600576 12624 33554432000 4194304 4196468 140724423811984 139749802785520 139750933334658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12268] ppid=12255 vsize=15149024 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/12257/task/12268/stat : 12268 (java) S 12255 12255 6753 0 -1 1077944384 299 0 0 0 4 0 0 0 20 0 15 0 407948535 15512600576 12624 33554432000 4194304 4196468 140724423811984 139749801732976 139750933334658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12269] ppid=12255 vsize=15149024 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/12257/task/12269/stat : 12269 (java) S 12255 12255 6753 0 -1 1077944384 926 0 0 0 12 0 0 0 20 0 15 0 407948535 15512600576 12624 33554432000 4194304 4196468 140724423811984 139749800679920 139750933334658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12270] ppid=12255 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12257/task/12270/stat : 12270 (java) S 12255 12255 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407948535 15512600576 12624 33554432000 4194304 4196468 140724423811984 139749799627616 139750933333717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12271] ppid=12255 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12257/task/12271/stat : 12271 (java) S 12255 12255 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407948536 15512600576 12624 33554432000 4194304 4196468 140724423811984 139749798574640 139750933334658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51908 KiB
[startup+0.701121 s]
/proc/loadavg: 7.90 8.28 7.60 9/233 12271
/proc/meminfo: memFree=31387556/32770624 swapFree=66979456/67108860
[pid=12255] ppid=12252 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/12255/stat : 12255 (xcsp3-exec) S 12252 12255 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407948529 115843072 362 33554432000 4194304 5098028 140720347402560 140720347400664 140711346758268 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27201536 140720347411322 140720347411565 140720347411565 140720347414474 0
/proc/12255/statm: 28282 362 304 221 0 87 0
[pid=12257] ppid=12255 vsize=15149100 memory=250332 CPUtime=1.5 cores=0,2,4,6
/proc/12257/stat : 12257 (java) S 12255 12255 6753 0 -1 1077944320 13574 0 0 0 136 14 0 0 20 0 15 0 407948530 15512678400 62583 33554432000 4194304 4196468 140724423811984 140724423794528 139750933323511 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
/proc/12257/statm: 3787275 62583 3452 1 0 3748377 0
[pid=12257/tid=12258] ppid=12255 vsize=15149100 memory=1790934254849 CPUtime=0.64 cores=0,2,4,6
/proc/12257/task/12258/stat : 12258 (java) R 12255 12255 6753 0 -1 4202560 8233 0 0 0 59 5 0 0 20 0 15 0 407948530 15512678400 62583 33554432000 4194304 4196468 140724423811984 139750937559392 139750535406318 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12259] ppid=12255 vsize=15149100 memory=512 CPUtime=0.03 cores=0,2,4,6
/proc/12257/task/12259/stat : 12259 (java) S 12255 12255 6753 0 -1 1077944384 40 0 0 0 2 1 0 0 20 0 15 0 407948531 15512678400 62583 33554432000 4194304 4196468 140724423811984 139750861364240 139750933333717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12260] ppid=12255 vsize=15149100 memory=1564 CPUtime=0.02 cores=0,2,4,6
/proc/12257/task/12260/stat : 12260 (java) S 12255 12255 6753 0 -1 1077944384 48 0 0 0 1 1 0 0 20 0 15 0 407948531 15512678400 62583 33554432000 4194304 4196468 140724423811984 139750860311696 139750933333717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12261] ppid=12255 vsize=15149100 memory=928 CPUtime=0.01 cores=0,2,4,6
/proc/12257/task/12261/stat : 12261 (java) S 12255 12255 6753 0 -1 1077944384 41 0 0 0 0 1 0 0 20 0 15 0 407948531 15512678400 62583 33554432000 4194304 4196468 140724423811984 139750859258640 139750933333717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12262] ppid=12255 vsize=15149100 memory=3772 CPUtime=0.02 cores=0,2,4,6
/proc/12257/task/12262/stat : 12262 (java) S 12255 12255 6753 0 -1 1077944384 34 0 0 0 1 1 0 0 20 0 15 0 407948531 15512678400 62583 33554432000 4194304 4196468 140724423811984 139750858206096 139750933333717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12263] ppid=12255 vsize=15149100 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/12257/task/12263/stat : 12263 (java) S 12255 12255 6753 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 407948532 15512678400 62583 33554432000 4194304 4196468 140724423811984 139749806995696 139750933334658 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12264] ppid=12255 vsize=15149100 memory=920 CPUtime=0 cores=0,2,4,6
/proc/12257/task/12264/stat : 12264 (java) S 12255 12255 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407948532 15512678400 62583 33554432000 4194304 4196468 140724423811984 139749805941920 139750933333717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12265] ppid=12255 vsize=15149100 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/12257/task/12265/stat : 12265 (java) S 12255 12255 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407948533 15512678400 62583 33554432000 4194304 4196468 140724423811984 139749804888816 139750933333717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12266] ppid=12255 vsize=15149100 memory=2404 CPUtime=0 cores=0,2,4,6
/proc/12257/task/12266/stat : 12266 (java) S 12255 12255 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407948535 15512678400 62583 33554432000 4194304 4196468 140724423811984 139749803837392 139750933342107 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12267] ppid=12255 vsize=15149100 memory=1764 CPUtime=0.24 cores=0,2,4,6
/proc/12257/task/12267/stat : 12267 (java) R 12255 12255 6753 0 -1 4202560 1337 0 0 0 24 0 0 0 20 0 15 0 407948535 15512678400 62583 33554432000 4194304 4196468 140724423811984 139749802770192 139750916809565 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12268] ppid=12255 vsize=15149100 memory=111632 CPUtime=0.22 cores=0,2,4,6
/proc/12257/task/12268/stat : 12268 (java) R 12255 12255 6753 0 -1 4202560 1021 0 0 0 22 0 0 0 20 0 15 0 407948535 15512678400 62583 33554432000 4194304 4196468 140724423811984 139749801719000 139750914848333 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12269] ppid=12255 vsize=15149100 memory=804 CPUtime=0.24 cores=0,2,4,6
/proc/12257/task/12269/stat : 12269 (java) S 12255 12255 6753 0 -1 1077944384 1441 0 0 0 24 0 0 0 20 0 15 0 407948535 15512678400 62583 33554432000 4194304 4196468 140724423811984 139749800679920 139750933334658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12270] ppid=12255 vsize=15149100 memory=1808 CPUtime=0 cores=0,2,4,6
/proc/12257/task/12270/stat : 12270 (java) S 12255 12255 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407948535 15512678400 62583 33554432000 4194304 4196468 140724423811984 139749799627616 139750933333717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12271] ppid=12255 vsize=15149100 memory=924 CPUtime=0 cores=0,2,4,6
/proc/12257/task/12271/stat : 12271 (java) S 12255 12255 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407948536 15512678400 62583 33554432000 4194304 4196468 140724423811984 139749798574640 139750933334658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
Current children cumulated CPU time: 1.5 s
Current children cumulated vsize: 15262228 KiB
Current children cumulated memory: 251780 KiB
[startup+1.50114 s]
/proc/loadavg: 7.90 8.28 7.60 7/233 12271
/proc/meminfo: memFree=31235144/32770624 swapFree=66979456/67108860
[pid=12255] ppid=12252 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/12255/stat : 12255 (xcsp3-exec) S 12252 12255 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407948529 115843072 362 33554432000 4194304 5098028 140720347402560 140720347400664 140711346758268 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27201536 140720347411322 140720347411565 140720347411565 140720347414474 0
/proc/12255/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/12257/task/12271/stat : 12271 (java) S 12255 12255 6753 0 -1 1077944384 1202 0 0 0 0 2 0 0 20 0 19 0 407948536 15787421696 1162857 33554432000 4194304 4196468 140724423811984 139749798574640 139750933334658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12272] ppid=12255 vsize=15417404 memory=1028 CPUtime=45.38 cores=0,2,4,6
/proc/12257/task/12272/stat : 12272 (java) R 12255 12255 6753 0 -1 4202560 892 0 0 0 4538 0 0 0 20 0 19 0 407950511 15787421696 1162857 33554432000 4194304 4196468 140724423811984 139749789600904 139750541123809 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12273] ppid=12255 vsize=15417404 memory=0 CPUtime=46.03 cores=0,2,4,6
/proc/12257/task/12273/stat : 12273 (java) R 12255 12255 6753 0 -1 4202560 1973 0 0 0 4603 0 0 0 20 0 19 0 407950511 15787421696 1162857 33554432000 4194304 4196468 140724423811984 139749788549128 139750540429963 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12274] ppid=12255 vsize=15417404 memory=0 CPUtime=45.61 cores=0,2,4,6
/proc/12257/task/12274/stat : 12274 (java) R 12255 12255 6753 0 -1 4202560 842 0 0 0 4561 0 0 0 20 0 19 0 407950511 15787421696 1162857 33554432000 4194304 4196468 140724423811984 139749787496440 139750540565349 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12275] ppid=12255 vsize=15417404 memory=0 CPUtime=45.82 cores=0,2,4,6
/proc/12257/task/12275/stat : 12275 (java) R 12255 12255 6753 0 -1 4202560 1770 0 0 0 4582 0 0 0 20 0 19 0 407950511 15787421696 1162857 33554432000 4194304 4196468 140724423811984 139749786444160 139750541451521 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
Current children cumulated CPU time: 217.8 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 4652876 KiB
[startup+67.2011 s]
/proc/loadavg: 8.41 8.29 7.65 10/237 12401
/proc/meminfo: memFree=26829732/32770624 swapFree=66979456/67108860
[pid=12255] ppid=12252 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/12255/stat : 12255 (xcsp3-exec) S 12252 12255 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407948529 115843072 362 33554432000 4194304 5098028 140720347402560 140720347400664 140711346758268 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27201536 140720347411322 140720347411565 140720347411565 140720347414474 0
/proc/12255/statm: 28282 362 304 221 0 87 0
[pid=12257] ppid=12255 vsize=15417404 memory=4651428 CPUtime=220.97 cores=0,2,4,6
/proc/12257/stat : 12257 (java) S 12255 12255 6753 0 -1 1077944320 75639 0 0 0 21764 333 0 0 20 0 19 0 407948530 15787421696 1162857 33554432000 4194304 4196468 140724423811984 140724423794528 139750933323511 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
/proc/12257/statm: 3854351 1162857 3520 1 0 3815453 0
[pid=12257/tid=12258] ppid=12255 vsize=15417404 memory=6791534058613427641 CPUtime=15.2 cores=0,2,4,6
/proc/12257/task/12258/stat : 12258 (java) S 12255 12255 6753 0 -1 1077944384 15528 0 0 0 1480 40 0 0 20 0 19 0 407948530 15787421696 1162857 33554432000 4194304 4196468 140724423811984 139750937564288 139750933333717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12259] ppid=12255 vsize=15417404 memory=984 CPUtime=3.54 cores=0,2,4,6
/proc/12257/task/12259/stat : 12259 (java) S 12255 12255 6753 0 -1 1077944384 5198 0 0 0 280 74 0 0 20 0 19 0 407948531 15787421696 1162857 33554432000 4194304 4196468 140724423811984 139750861364240 139750933333717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12260] ppid=12255 vsize=15417404 memory=1328 CPUtime=3.53 cores=0,2,4,6
/proc/12257/task/12260/stat : 12260 (java) S 12255 12255 6753 0 -1 1077944384 5303 0 0 0 280 73 0 0 20 0 19 0 407948531 15787421696 1162857 33554432000 4194304 4196468 140724423811984 139750860311696 139750933333717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12261] ppid=12255 vsize=15417404 memory=780 CPUtime=3.48 cores=0,2,4,6
/proc/12257/task/12261/stat : 12261 (java) S 12255 12255 6753 0 -1 1077944384 5847 0 0 0 277 71 0 0 20 0 19 0 407948531 15787421696 1162857 33554432000 4194304 4196468 140724423811984 139750859258640 139750933333717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12262] ppid=12255 vsize=15417404 memory=1448 CPUtime=3.55 cores=0,2,4,6
/proc/12257/task/12262/stat : 12262 (java) S 12255 12255 6753 0 -1 1077944384 3701 0 0 0 287 68 0 0 20 0 19 0 407948531 15787421696 1162857 33554432000 4194304 4196468 140724423811984 139750858206096 139750933333717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12263] ppid=12255 vsize=15417404 memory=4651424 CPUtime=0.99 cores=0,2,4,6
/proc/12257/task/12263/stat : 12263 (java) S 12255 12255 6753 0 -1 1077944384 8744 0 0 0 98 1 0 0 20 0 19 0 407948532 15787421696 1162857 33554432000 4194304 4196468 140724423811984 139749806995696 139750933334658 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12264] ppid=12255 vsize=15417404 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/12257/task/12264/stat : 12264 (java) S 12255 12255 6753 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 407948532 15787421696 1162857 33554432000 4194304 4196468 140724423811984 139749805941984 139750933333717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12265] ppid=12255 vsize=15417404 memory=2120 CPUtime=0 cores=0,2,4,6
/proc/12257/task/12265/stat : 12265 (java) S 12255 12255 6753 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 19 0 407948533 15787421696 1162857 33554432000 4194304 4196468 140724423811984 139749804888832 139750933333717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12266] ppid=12255 vsize=15417404 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/12257/task/12266/stat : 12266 (java) S 12255 12255 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407948535 15787421696 1162857 33554432000 4194304 4196468 140724423811984 139749803837392 139750933342107 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12267] ppid=12255 vsize=15417404 memory=4651424 CPUtime=1.97 cores=0,2,4,6
/proc/12257/task/12267/stat : 12267 (java) S 12255 12255 6753 0 -1 1077944384 9104 0 0 0 196 1 0 0 20 0 19 0 407948535 15787421696 1162857 33554432000 4194304 4196468 140724423811984 139749802785520 139750933334658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12268] ppid=12255 vsize=15417404 memory=512 CPUtime=1.93 cores=0,2,4,6
/proc/12257/task/12268/stat : 12268 (java) S 12255 12255 6753 0 -1 1077944384 7761 0 0 0 192 1 0 0 20 0 19 0 407948535 15787421696 1162857 33554432000 4194304 4196468 140724423811984 139749801732976 139750933334658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12269] ppid=12255 vsize=15417404 memory=1564 CPUtime=0.64 cores=0,2,4,6
/proc/12257/task/12269/stat : 12269 (java) S 12255 12255 6753 0 -1 1077944384 6441 0 0 0 63 1 0 0 20 0 19 0 407948535 15787421696 1162857 33554432000 4194304 4196468 140724423811984 139749800679920 139750933334658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12270] ppid=12255 vsize=15417404 memory=4651428 CPUtime=0 cores=0,2,4,6
/proc/12257/task/12270/stat : 12270 (java) S 12255 12255 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407948535 15787421696 1162857 33554432000 4194304 4196468 140724423811984 139749799627616 139750933333717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12271] ppid=12255 vsize=15417404 memory=-3839181685606014076 CPUtime=0.02 cores=0,2,4,6
/proc/12257/task/12271/stat : 12271 (java) S 12255 12255 6753 0 -1 1077944384 1202 0 0 0 0 2 0 0 20 0 19 0 407948536 15787421696 1162857 33554432000 4194304 4196468 140724423811984 139749798574640 139750933334658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12272] ppid=12255 vsize=15417404 memory=-9109213556526920549 CPUtime=46.15 cores=0,2,4,6
/proc/12257/task/12272/stat : 12272 (java) R 12255 12255 6753 0 -1 4202560 892 0 0 0 4615 0 0 0 20 0 19 0 407950511 15787421696 1162857 33554432000 4194304 4196468 140724423811984 139749789600904 139750540430420 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12273] ppid=12255 vsize=15417404 memory=-7896958341738507680 CPUtime=46.82 cores=0,2,4,6
/proc/12257/task/12273/stat : 12273 (java) R 12255 12255 6753 0 -1 4202560 1975 0 0 0 4682 0 0 0 20 0 19 0 407950511 15787421696 1162857 33554432000 4194304 4196468 140724423811984 139749788549128 139750540429963 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12274] ppid=12255 vsize=15417404 memory=6720696446780535410 CPUtime=46.41 cores=0,2,4,6
/proc/12257/task/12274/stat : 12274 (java) R 12255 12255 6753 0 -1 4202560 842 0 0 0 4641 0 0 0 20 0 19 0 407950511 15787421696 1162857 33554432000 4194304 4196468 140724423811984 139749787496440 139750541120697 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12275] ppid=12255 vsize=15417404 memory=-3839181684196723249 CPUtime=46.62 cores=0,2,4,6
/proc/12257/task/12275/stat : 12275 (java) R 12255 12255 6753 0 -1 4202560 1772 0 0 0 4662 0 0 0 20 0 19 0 407950511 15787421696 1162857 33554432000 4194304 4196468 140724423811984 139749786444160 139750541120725 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
Current children cumulated CPU time: 220.97 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 4652876 KiB
[startup+67.4011 s]
/proc/loadavg: 8.41 8.29 7.65 10/237 12401
/proc/meminfo: memFree=26829732/32770624 swapFree=66979456/67108860
[pid=12255] ppid=12252 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/12255/stat : 12255 (xcsp3-exec) S 12252 12255 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407948529 115843072 362 33554432000 4194304 5098028 140720347402560 140720347400664 140711346758268 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27201536 140720347411322 140720347411565 140720347411565 140720347414474 0
/proc/12255/statm: 28282 362 304 221 0 87 0
[pid=12257] ppid=12255 vsize=15417404 memory=4651428 CPUtime=221.77 cores=0,2,4,6
/proc/12257/stat : 12257 (java) S 12255 12255 6753 0 -1 1077944320 75639 0 0 0 21844 333 0 0 20 0 19 0 407948530 15787421696 1162857 33554432000 4194304 4196468 140724423811984 140724423794528 139750933323511 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
/proc/12257/statm: 3854351 1162857 3520 1 0 3815453 0
[pid=12257/tid=12258] ppid=12255 vsize=15417404 memory=3772 CPUtime=15.2 cores=0,2,4,6
/proc/12257/task/12258/stat : 12258 (java) S 12255 12255 6753 0 -1 1077944384 15528 0 0 0 1480 40 0 0 20 0 19 0 407948530 15787421696 1162857 33554432000 4194304 4196468 140724423811984 139750937564288 139750933333717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12259] ppid=12255 vsize=15417404 memory=1440 CPUtime=3.54 cores=0,2,4,6
/proc/12257/task/12259/stat : 12259 (java) S 12255 12255 6753 0 -1 1077944384 5198 0 0 0 280 74 0 0 20 0 19 0 407948531 15787421696 1162857 33554432000 4194304 4196468 140724423811984 139750861364240 139750933333717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12260] ppid=12255 vsize=15417404 memory=920 CPUtime=3.53 cores=0,2,4,6
/proc/12257/task/12260/stat : 12260 (java) S 12255 12255 6753 0 -1 1077944384 5303 0 0 0 280 73 0 0 20 0 19 0 407948531 15787421696 1162857 33554432000 4194304 4196468 140724423811984 139750860311696 139750933333717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12261] ppid=12255 vsize=15417404 memory=1984 CPUtime=3.48 cores=0,2,4,6
/proc/12257/task/12261/stat : 12261 (java) S 12255 12255 6753 0 -1 1077944384 5847 0 0 0 277 71 0 0 20 0 19 0 407948531 15787421696 1162857 33554432000 4194304 4196468 140724423811984 139750859258640 139750933333717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12262] ppid=12255 vsize=15417404 memory=2404 CPUtime=3.55 cores=0,2,4,6
/proc/12257/task/12262/stat : 12262 (java) S 12255 12255 6753 0 -1 1077944384 3701 0 0 0 287 68 0 0 20 0 19 0 407948531 15787421696 1162857 33554432000 4194304 4196468 140724423811984 139750858206096 139750933333717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12263] ppid=12255 vsize=15417404 memory=1764 CPUtime=0.99 cores=0,2,4,6
/proc/12257/task/12263/stat : 12263 (java) S 12255 12255 6753 0 -1 1077944384 8744 0 0 0 98 1 0 0 20 0 19 0 407948532 15787421696 1162857 33554432000 4194304 4196468 140724423811984 139749806995696 139750933334658 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12264] ppid=12255 vsize=15417404 memory=1328 CPUtime=0 cores=0,2,4,6
/proc/12257/task/12264/stat : 12264 (java) S 12255 12255 6753 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 407948532 15787421696 1162857 33554432000 4194304 4196468 140724423811984 139749805941984 139750933333717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12265] ppid=12255 vsize=15417404 memory=780 CPUtime=0 cores=0,2,4,6
/proc/12257/task/12265/stat : 12265 (java) S 12255 12255 6753 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 19 0 407948533 15787421696 1162857 33554432000 4194304 4196468 140724423811984 139749804888832 139750933333717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12266] ppid=12255 vsize=15417404 memory=3360 CPUtime=0 cores=0,2,4,6
/proc/12257/task/12266/stat : 12266 (java) S 12255 12255 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407948535 15787421696 1162857 33554432000 4194304 4196468 140724423811984 139749803837392 139750933342107 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12267] ppid=12255 vsize=15417404 memory=1692 CPUtime=1.97 cores=0,2,4,6
/proc/12257/task/12267/stat : 12267 (java) S 12255 12255 6753 0 -1 1077944384 9104 0 0 0 196 1 0 0 20 0 19 0 407948535 15787421696 1162857 33554432000 4194304 4196468 140724423811984 139749802785520 139750933334658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12268] ppid=12255 vsize=15417404 memory=1028 CPUtime=1.93 cores=0,2,4,6
/proc/12257/task/12268/stat : 12268 (java) S 12255 12255 6753 0 -1 1077944384 7761 0 0 0 192 1 0 0 20 0 19 0 407948535 15787421696 1162857 33554432000 4194304 4196468 140724423811984 139749801732976 139750933334658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12269] ppid=12255 vsize=15417404 memory=1060 CPUtime=0.64 cores=0,2,4,6
/proc/12257/task/12269/stat : 12269 (java) S 12255 12255 6753 0 -1 1077944384 6441 0 0 0 63 1 0 0 20 0 19 0 407948535 15787421696 1162857 33554432000 4194304 4196468 140724423811984 139749800679920 139750933334658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12270] ppid=12255 vsize=15417404 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/12257/task/12270/stat : 12270 (java) S 12255 12255 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407948535 15787421696 1162857 33554432000 4194304 4196468 140724423811984 139749799627616 139750933333717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12271] ppid=12255 vsize=15417404 memory=4651428 CPUtime=0.02 cores=0,2,4,6
/proc/12257/task/12271/stat : 12271 (java) S 12255 12255 6753 0 -1 1077944384 1202 0 0 0 0 2 0 0 20 0 19 0 407948536 15787421696 1162857 33554432000 4194304 4196468 140724423811984 139749798574640 139750933334658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12272] ppid=12255 vsize=15417404 memory=1520 CPUtime=46.35 cores=0,2,4,6
/proc/12257/task/12272/stat : 12272 (java) R 12255 12255 6753 0 -1 4202560 892 0 0 0 4635 0 0 0 20 0 19 0 407950511 15787421696 1162857 33554432000 4194304 4196468 140724423811984 139749789600904 139750541120668 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12273] ppid=12255 vsize=15417404 memory=354 CPUtime=47.02 cores=0,2,4,6
/proc/12257/task/12273/stat : 12273 (java) R 12255 12255 6753 0 -1 4202560 1975 0 0 0 4702 0 0 0 20 0 19 0 407950511 15787421696 1162857 33554432000 4194304 4196468 140724423811984 139749788549128 139750540429604 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12274] ppid=12255 vsize=15417404 memory=353 CPUtime=46.61 cores=0,2,4,6
/proc/12257/task/12274/stat : 12274 (java) R 12255 12255 6753 0 -1 4202560 842 0 0 0 4661 0 0 0 20 0 19 0 407950511 15787421696 1162857 33554432000 4194304 4196468 140724423811984 139749787496440 139750540551306 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12275] ppid=12255 vsize=15417404 memory=348 CPUtime=46.82 cores=0,2,4,6
/proc/12257/task/12275/stat : 12275 (java) R 12255 12255 6753 0 -1 4202560 1772 0 0 0 4682 0 0 0 20 0 19 0 407950511 15787421696 1162857 33554432000 4194304 4196468 140724423811984 139749786444160 139750540565399 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
Current children cumulated CPU time: 221.77 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 4652876 KiB
[startup+67.5011 s]
/proc/loadavg: 8.41 8.29 7.65 10/237 12401
/proc/meminfo: memFree=26829732/32770624 swapFree=66979456/67108860
[pid=12255] ppid=12252 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/12255/stat : 12255 (xcsp3-exec) S 12252 12255 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407948529 115843072 362 33554432000 4194304 5098028 140720347402560 140720347400664 140711346758268 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 27201536 140720347411322 140720347411565 140720347411565 140720347414474 0
/proc/12255/statm: 28282 362 304 221 0 87 0
[pid=12257] ppid=12255 vsize=15417404 memory=4651428 CPUtime=222.17 cores=0,2,4,6
/proc/12257/stat : 12257 (java) S 12255 12255 6753 0 -1 1077944320 75639 0 0 0 21884 333 0 0 20 0 19 0 407948530 15787421696 1162857 33554432000 4194304 4196468 140724423811984 140724423794528 139750933323511 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
/proc/12257/statm: 3854351 1162857 3520 1 0 3815453 0
[pid=12257/tid=12258] ppid=12255 vsize=15417404 memory=-9109213556524817813 CPUtime=15.2 cores=0,2,4,6
/proc/12257/task/12258/stat : 12258 (java) S 12255 12255 6753 0 -1 1077944384 15528 0 0 0 1480 40 0 0 20 0 19 0 407948530 15787421696 1162857 33554432000 4194304 4196468 140724423811984 139750937564288 139750933333717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12259] ppid=12255 vsize=15417404 memory=1448 CPUtime=3.54 cores=0,2,4,6
/proc/12257/task/12259/stat : 12259 (java) S 12255 12255 6753 0 -1 1077944384 5198 0 0 0 280 74 0 0 20 0 19 0 407948531 15787421696 1162857 33554432000 4194304 4196468 140724423811984 139750861364240 139750933333717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12260] ppid=12255 vsize=15417404 memory=4651428 CPUtime=3.53 cores=0,2,4,6
/proc/12257/task/12260/stat : 12260 (java) S 12255 12255 6753 0 -1 1077944384 5303 0 0 0 280 73 0 0 20 0 19 0 407948531 15787421696 1162857 33554432000 4194304 4196468 140724423811984 139750860311696 139750933333717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12261] ppid=12255 vsize=15417404 memory=1448 CPUtime=3.48 cores=0,2,4,6
/proc/12257/task/12261/stat : 12261 (java) S 12255 12255 6753 0 -1 1077944384 5847 0 0 0 277 71 0 0 20 0 19 0 407948531 15787421696 1162857 33554432000 4194304 4196468 140724423811984 139750859258640 139750933333717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12262] ppid=12255 vsize=15417404 memory=0 CPUtime=3.55 cores=0,2,4,6
/proc/12257/task/12262/stat : 12262 (java) S 12255 12255 6753 0 -1 1077944384 3701 0 0 0 287 68 0 0 20 0 19 0 407948531 15787421696 1162857 33554432000 4194304 4196468 140724423811984 139750858206096 139750933333717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12263] ppid=12255 vsize=15417404 memory=4651428 CPUtime=0.99 cores=0,2,4,6
/proc/12257/task/12263/stat : 12263 (java) S 12255 12255 6753 0 -1 1077944384 8744 0 0 0 98 1 0 0 20 0 19 0 407948532 15787421696 1162857 33554432000 4194304 4196468 140724423811984 139749806995696 139750933334658 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12264] ppid=12255 vsize=15417404 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/12257/task/12264/stat : 12264 (java) S 12255 12255 6753 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 407948532 15787421696 1162857 33554432000 4194304 4196468 140724423811984 139749805941984 139750933333717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12265] ppid=12255 vsize=15417404 memory=2004 CPUtime=0 cores=0,2,4,6
/proc/12257/task/12265/stat : 12265 (java) S 12255 12255 6753 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 19 0 407948533 15787421696 1162857 33554432000 4194304 4196468 140724423811984 139749804888832 139750933333717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12266] ppid=12255 vsize=15417404 memory=984 CPUtime=0 cores=0,2,4,6
/proc/12257/task/12266/stat : 12266 (java) S 12255 12255 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407948535 15787421696 1162857 33554432000 4194304 4196468 140724423811984 139749803837392 139750933342107 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12267] ppid=12255 vsize=15417404 memory=3360 CPUtime=1.97 cores=0,2,4,6
/proc/12257/task/12267/stat : 12267 (java) S 12255 12255 6753 0 -1 1077944384 9104 0 0 0 196 1 0 0 20 0 19 0 407948535 15787421696 1162857 33554432000 4194304 4196468 140724423811984 139749802785520 139750933334658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12268] ppid=12255 vsize=15417404 memory=1692 CPUtime=1.93 cores=0,2,4,6
/proc/12257/task/12268/stat : 12268 (java) S 12255 12255 6753 0 -1 1077944384 7761 0 0 0 192 1 0 0 20 0 19 0 407948535 15787421696 1162857 33554432000 4194304 4196468 140724423811984 139749801732976 139750933334658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12269] ppid=12255 vsize=15417404 memory=1448 CPUtime=0.64 cores=0,2,4,6
/proc/12257/task/12269/stat : 12269 (java) S 12255 12255 6753 0 -1 1077944384 6441 0 0 0 63 1 0 0 20 0 19 0 407948535 15787421696 1162857 33554432000 4194304 4196468 140724423811984 139749800679920 139750933334658 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12270] ppid=12255 vsize=15417404 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/12257/task/12270/stat : 12270 (java) S 12255 12255 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407948535 15787421696 1162857 33554432000 4194304 4196468 140724423811984 139749799627616 139750933333717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12271] ppid=12255 vsize=15417404 memory=4651424 CPUtime=0.02 cores=0,2,4,6
/proc/12257/task/12271/stat : 12271 (java) S 12255 12255 6753 0 -1 1077944384 1202 0 0 0 0 2 0 0 20 0 19 0 407948536 15787421696 1162857 33554432000 4194304 4196468 140724423811984 139749798574640 139750933334658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12272] ppid=12255 vsize=15417404 memory=353 CPUtime=46.45 cores=0,2,4,6
/proc/12257/task/12272/stat : 12272 (java) R 12255 12255 6753 0 -1 4202560 892 0 0 0 4645 0 0 0 20 0 19 0 407950511 15787421696 1162857 33554432000 4194304 4196468 140724423811984 139749789600904 139750541120649 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12273] ppid=12255 vsize=15417404 memory=1448 CPUtime=47.12 cores=0,2,4,6
/proc/12257/task/12273/stat : 12273 (java) R 12255 12255 6753 0 -1 4202560 1975 0 0 0 4712 0 0 0 20 0 19 0 407950511 15787421696 1162857 33554432000 4194304 4196468 140724423811984 139749788549128 139750541122160 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12274] ppid=12255 vsize=15417404 memory=1448 CPUtime=46.71 cores=0,2,4,6
/proc/12257/task/12274/stat : 12274 (java) R 12255 12255 6753 0 -1 4202560 842 0 0 0 4671 0 0 0 20 0 19 0 407950511 15787421696 1162857 33554432000 4194304 4196468 140724423811984 139749787496440 139750541122057 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
[pid=12257/tid=12275] ppid=12255 vsize=15417404 memory=1448 CPUtime=46.92 cores=0,2,4,6
/proc/12257/task/12275/stat : 12275 (java) R 12255 12255 6753 0 -1 4202560 1772 0 0 0 4692 0 0 0 20 0 19 0 407950511 15787421696 1162857 33554432000 4194304 4196468 140724423811984 139749786444160 139750541123461 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19120128 140724423816175 140724423816346 140724423816346 140724423819215 0
Current children cumulated CPU time: 222.17 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 4652876 KiB
Child status: 0
Real time (s): 67.5576
CPU time (s): 222.325
CPU user time (s): 218.962
CPU system time (s): 3.36293
CPU usage (%): 329.089
Max. virtual memory (cumulated for all children) (KiB): 15530532
Max. memory (cumulated for all children) (KiB): 4652876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 218.962
system time used= 3.36293
maximum resident set size= 4651532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77581
page faults= 0
swaps= 0
block input operations= 0
block output operations= 232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4778
involuntary context switches= 4358
# summary of solver processes directly reported to runsolver:
# pid: 12255
# total CPU time (s): 222.325
# total CPU user time (s): 218.962
# total CPU system time (s): 3.36293
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.470828 second user time and 0.76902 second system time
The end