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 (9402 MiB free)
memory of node 1: 16384 MiB (12129 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394077-1568335178/watcher-4394077-1568335178 -o /tmp/evaluation-result-4394077-1568335178/solver-4394077-1568335178 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568327905-19559 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 2050101666 HOME/instance-4394077-1568335178.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=32618, runsolver pid=32615
[startup+0.100091 s]*
/proc/loadavg: 8.87 8.64 8.47 6/233 32634
/proc/meminfo: memFree=22032212/32770624 swapFree=66939828/67108860
[pid=32618] ppid=32615 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32618/stat : 32618 (xcsp3-exec) S 32615 32618 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409432741 115843072 362 33554432000 4194304 5098028 140724448980096 140724448978200 139935337878140 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27017216 140724448981882 140724448982125 140724448982125 140724448985034 0
/proc/32618/statm: 28282 362 304 221 0 87 0
[pid=32620] ppid=32618 vsize=15144768 memory=29636 CPUtime=0.13 cores=0,2,4,6
/proc/32620/stat : 32620 (java) S 32618 32618 19528 0 -1 1077944320 5800 0 0 0 12 1 0 0 20 0 15 0 409432741 15508242432 7409 33554432000 4194304 4196468 140721078441680 140721078424224 140571407052535 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
/proc/32620/statm: 3786192 7409 3157 1 0 3748377 0
[pid=32620/tid=32621] ppid=32618 vsize=15144768 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/32620/task/32621/stat : 32621 (java) R 32618 32618 19528 0 -1 4202560 3725 0 0 0 9 0 0 0 20 0 15 0 409432742 15508242432 7409 33554432000 4194304 4196468 140721078441680 140571411283856 140571407073882 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32622] ppid=32618 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32620/task/32622/stat : 32622 (java) S 32618 32618 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409432742 15508242432 7409 33554432000 4194304 4196468 140721078441680 140571335092880 140571407062741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32623] ppid=32618 vsize=15144768 memory=140633796642432 CPUtime=0 cores=0,2,4,6
/proc/32620/task/32623/stat : 32623 (java) S 32618 32618 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409432742 15508242432 7409 33554432000 4194304 4196468 140721078441680 140571334040080 140571407062741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32624] ppid=32618 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32620/task/32624/stat : 32624 (java) S 32618 32618 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409432742 15508242432 7409 33554432000 4194304 4196468 140721078441680 140571332987280 140571407062741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32625] ppid=32618 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32620/task/32625/stat : 32625 (java) S 32618 32618 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409432742 15508242432 7409 33554432000 4194304 4196468 140721078441680 140571331934480 140571407062741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32626] ppid=32618 vsize=15144768 memory=140633796642432 CPUtime=0 cores=0,2,4,6
/proc/32620/task/32626/stat : 32626 (java) S 32618 32618 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409432744 15508242432 7409 33554432000 4194304 4196468 140721078441680 140570875394928 140571407063682 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32627] ppid=32618 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32620/task/32627/stat : 32627 (java) S 32618 32618 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409432744 15508242432 7409 33554432000 4194304 4196468 140721078441680 140570874340896 140571407062741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32628] ppid=32618 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32620/task/32628/stat : 32628 (java) S 32618 32618 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409432744 15508242432 7409 33554432000 4194304 4196468 140721078441680 140570873288048 140571407062741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32629] ppid=32618 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32620/task/32629/stat : 32629 (java) S 32618 32618 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409432747 15508242432 7409 33554432000 4194304 4196468 140721078441680 140570872236368 140571407071131 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32630] ppid=32618 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32620/task/32630/stat : 32630 (java) S 32618 32618 19528 0 -1 1077944384 411 0 0 0 0 0 0 0 20 0 15 0 409432747 15508242432 7409 33554432000 4194304 4196468 140721078441680 140570871183728 140571407063682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32631] ppid=32618 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32620/task/32631/stat : 32631 (java) S 32618 32618 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409432747 15508242432 7409 33554432000 4194304 4196468 140721078441680 140570870130928 140571407063682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32632] ppid=32618 vsize=15144768 memory=140633796642432 CPUtime=0.02 cores=0,2,4,6
/proc/32620/task/32632/stat : 32632 (java) R 32618 32618 19528 0 -1 4202560 361 0 0 0 2 0 0 0 20 0 15 0 409432747 15508242432 7409 33554432000 4194304 4196468 140721078441680 140570869078128 140571385568494 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32633] ppid=32618 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32620/task/32633/stat : 32633 (java) S 32618 32618 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409432747 15508242432 7409 33554432000 4194304 4196468 140721078441680 140570868025568 140571407062741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32634] ppid=32618 vsize=15144768 memory=140633796642432 CPUtime=0 cores=0,2,4,6
/proc/32620/task/32634/stat : 32634 (java) S 32618 32618 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409432747 15508242432 7409 33554432000 4194304 4196468 140721078441680 140570866973872 140571407063682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31084 KiB
[startup+0.210901 s]*
/proc/loadavg: 8.87 8.64 8.47 7/233 32634
/proc/meminfo: memFree=22020992/32770624 swapFree=66939828/67108860
[pid=32618] ppid=32615 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32618/stat : 32618 (xcsp3-exec) S 32615 32618 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409432741 115843072 362 33554432000 4194304 5098028 140724448980096 140724448978200 139935337878140 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27017216 140724448981882 140724448982125 140724448982125 140724448985034 0
/proc/32618/statm: 28282 362 304 221 0 87 0
[pid=32620] ppid=32618 vsize=15144768 memory=40016 CPUtime=0.34 cores=0,2,4,6
/proc/32620/stat : 32620 (java) S 32618 32618 19528 0 -1 1077944320 9276 0 0 0 31 3 0 0 20 0 15 0 409432741 15508242432 10004 33554432000 4194304 4196468 140721078441680 140721078424224 140571407052535 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
/proc/32620/statm: 3786192 10004 3266 1 0 3748377 0
[pid=32620/tid=32621] ppid=32618 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/32620/task/32621/stat : 32621 (java) R 32618 32618 19528 0 -1 4202560 6573 0 0 0 18 2 0 0 20 0 15 0 409432742 15508242432 10004 33554432000 4194304 4196468 140721078441680 140571411282688 140571008177344 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32622] ppid=32618 vsize=15144768 memory=10535 CPUtime=0 cores=0,2,4,6
/proc/32620/task/32622/stat : 32622 (java) S 32618 32618 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409432742 15508242432 10004 33554432000 4194304 4196468 140721078441680 140571335092880 140571407062741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32623] ppid=32618 vsize=15144768 memory=140633799627059 CPUtime=0 cores=0,2,4,6
/proc/32620/task/32623/stat : 32623 (java) S 32618 32618 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409432742 15508242432 10004 33554432000 4194304 4196468 140721078441680 140571334040080 140571407062741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32624] ppid=32618 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32620/task/32624/stat : 32624 (java) S 32618 32618 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409432742 15508242432 10004 33554432000 4194304 4196468 140721078441680 140571332987280 140571407062741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32625] ppid=32618 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32620/task/32625/stat : 32625 (java) S 32618 32618 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409432742 15508242432 10004 33554432000 4194304 4196468 140721078441680 140571331934480 140571407062741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32626] ppid=32618 vsize=15144768 memory=140633796642432 CPUtime=0 cores=0,2,4,6
/proc/32620/task/32626/stat : 32626 (java) S 32618 32618 19528 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409432744 15508242432 10004 33554432000 4194304 4196468 140721078441680 140570875394928 140571407063682 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32627] ppid=32618 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32620/task/32627/stat : 32627 (java) S 32618 32618 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409432744 15508242432 10004 33554432000 4194304 4196468 140721078441680 140570874340896 140571407062741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32628] ppid=32618 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32620/task/32628/stat : 32628 (java) S 32618 32618 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409432744 15508242432 10004 33554432000 4194304 4196468 140721078441680 140570873288048 140571407062741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32629] ppid=32618 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32620/task/32629/stat : 32629 (java) S 32618 32618 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409432747 15508242432 10004 33554432000 4194304 4196468 140721078441680 140570872236368 140571407071131 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32630] ppid=32618 vsize=15144768 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/32620/task/32630/stat : 32630 (java) S 32618 32618 19528 0 -1 1077944384 440 0 0 0 2 0 0 0 20 0 15 0 409432747 15508242432 10004 33554432000 4194304 4196468 140721078441680 140570871183728 140571407063682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32631] ppid=32618 vsize=15144768 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/32620/task/32631/stat : 32631 (java) S 32618 32618 19528 0 -1 1077944384 171 0 0 0 3 0 0 0 20 0 15 0 409432747 15508242432 10004 33554432000 4194304 4196468 140721078441680 140570870130928 140571407063682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32632] ppid=32618 vsize=15144768 memory=140633796642432 CPUtime=0.07 cores=0,2,4,6
/proc/32620/task/32632/stat : 32632 (java) R 32618 32618 19528 0 -1 4202560 787 0 0 0 7 0 0 0 20 0 15 0 409432747 15508242432 10004 33554432000 4194304 4196468 140721078441680 140570869077936 140571399289662 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32633] ppid=32618 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32620/task/32633/stat : 32633 (java) S 32618 32618 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409432747 15508242432 10004 33554432000 4194304 4196468 140721078441680 140570868025568 140571407062741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32634] ppid=32618 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32620/task/32634/stat : 32634 (java) S 32618 32618 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409432747 15508242432 10004 33554432000 4194304 4196468 140721078441680 140570866973872 140571407063682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41464 KiB
[startup+0.311297 s]*
/proc/loadavg: 8.87 8.64 8.47 7/233 32634
/proc/meminfo: memFree=22012900/32770624 swapFree=66939828/67108860
[pid=32618] ppid=32615 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32618/stat : 32618 (xcsp3-exec) S 32615 32618 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409432741 115843072 362 33554432000 4194304 5098028 140724448980096 140724448978200 139935337878140 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27017216 140724448981882 140724448982125 140724448982125 140724448985034 0
/proc/32618/statm: 28282 362 304 221 0 87 0
[pid=32620] ppid=32618 vsize=15149024 memory=49788 CPUtime=0.53 cores=0,2,4,6
/proc/32620/stat : 32620 (java) S 32618 32618 19528 0 -1 1077944320 10762 0 0 0 49 4 0 0 20 0 15 0 409432741 15512600576 12447 33554432000 4194304 4196468 140721078441680 140721078424224 140571407052535 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
/proc/32620/statm: 3787256 12447 3370 1 0 3748377 0
[pid=32620/tid=32621] ppid=32618 vsize=15149024 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/32620/task/32621/stat : 32621 (java) R 32618 32618 19528 0 -1 4202560 7740 0 0 0 27 3 0 0 20 0 15 0 409432742 15512600576 12447 33554432000 4194304 4196468 140721078441680 140571411283648 140571391133022 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32622] ppid=32618 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/32620/task/32622/stat : 32622 (java) S 32618 32618 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409432742 15512600576 12447 33554432000 4194304 4196468 140721078441680 140571335092880 140571407062741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32623] ppid=32618 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/32620/task/32623/stat : 32623 (java) S 32618 32618 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409432742 15512600576 12447 33554432000 4194304 4196468 140721078441680 140571334040080 140571407062741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32624] ppid=32618 vsize=15149024 memory=-4190076264842474805 CPUtime=0 cores=0,2,4,6
/proc/32620/task/32624/stat : 32624 (java) S 32618 32618 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409432742 15512600576 12447 33554432000 4194304 4196468 140721078441680 140571332987280 140571407062741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32625] ppid=32618 vsize=15149024 memory=-7377628852694597791 CPUtime=0 cores=0,2,4,6
/proc/32620/task/32625/stat : 32625 (java) S 32618 32618 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409432742 15512600576 12447 33554432000 4194304 4196468 140721078441680 140571331934480 140571407062741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32626] ppid=32618 vsize=15149024 memory=6944656425123485561 CPUtime=0 cores=0,2,4,6
/proc/32620/task/32626/stat : 32626 (java) S 32618 32618 19528 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409432744 15512600576 12447 33554432000 4194304 4196468 140721078441680 140570875394928 140571407063682 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32627] ppid=32618 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/32620/task/32627/stat : 32627 (java) S 32618 32618 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409432744 15512600576 12447 33554432000 4194304 4196468 140721078441680 140570874340896 140571407062741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32628] ppid=32618 vsize=15149024 memory=4627853888499060086 CPUtime=0 cores=0,2,4,6
/proc/32620/task/32628/stat : 32628 (java) S 32618 32618 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409432744 15512600576 12447 33554432000 4194304 4196468 140721078441680 140570873288048 140571407062741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32629] ppid=32618 vsize=15149024 memory=-7828588039587137883 CPUtime=0 cores=0,2,4,6
/proc/32620/task/32629/stat : 32629 (java) S 32618 32618 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409432747 15512600576 12447 33554432000 4194304 4196468 140721078441680 140570872236368 140571407071131 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32630] ppid=32618 vsize=15149024 memory=4426078206164241782 CPUtime=0.03 cores=0,2,4,6
/proc/32620/task/32630/stat : 32630 (java) S 32618 32618 19528 0 -1 1077944384 488 0 0 0 3 0 0 0 20 0 15 0 409432747 15512600576 12447 33554432000 4194304 4196468 140721078441680 140570871183728 140571407063682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32631] ppid=32618 vsize=15149024 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/32620/task/32631/stat : 32631 (java) R 32618 32618 19528 0 -1 4202560 288 0 0 0 5 0 0 0 20 0 15 0 409432747 15512600576 12447 33554432000 4194304 4196468 140721078441680 140570870121312 140571386299313 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32632] ppid=32618 vsize=15149024 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/32620/task/32632/stat : 32632 (java) S 32618 32618 19528 0 -1 1077944384 944 0 0 0 12 0 0 0 20 0 15 0 409432747 15512600576 12447 33554432000 4194304 4196468 140721078441680 140570869078128 140571407063682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32633] ppid=32618 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32620/task/32633/stat : 32633 (java) S 32618 32618 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409432747 15512600576 12447 33554432000 4194304 4196468 140721078441680 140570868025568 140571407062741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32634] ppid=32618 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32620/task/32634/stat : 32634 (java) S 32618 32618 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409432747 15512600576 12447 33554432000 4194304 4196468 140721078441680 140570866973872 140571407063682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51236 KiB
[startup+0.700886 s]
/proc/loadavg: 8.87 8.64 8.47 8/233 32634
/proc/meminfo: memFree=21998572/32770624 swapFree=66939828/67108860
[pid=32618] ppid=32615 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32618/stat : 32618 (xcsp3-exec) S 32615 32618 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409432741 115843072 362 33554432000 4194304 5098028 140724448980096 140724448978200 139935337878140 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27017216 140724448981882 140724448982125 140724448982125 140724448985034 0
/proc/32618/statm: 28282 362 304 221 0 87 0
[pid=32620] ppid=32618 vsize=15151148 memory=161408 CPUtime=1.68 cores=0,2,4,6
/proc/32620/stat : 32620 (java) S 32618 32618 19528 0 -1 1077944320 14239 0 0 0 161 7 0 0 20 0 15 0 409432741 15514775552 40352 33554432000 4194304 4196468 140721078441680 140721078424224 140571407052535 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
/proc/32620/statm: 3787787 40352 3444 1 0 3748889 0
[pid=32620/tid=32621] ppid=32618 vsize=15151148 memory=1436 CPUtime=0.67 cores=0,2,4,6
/proc/32620/task/32621/stat : 32621 (java) R 32618 32618 19528 0 -1 4202560 8803 0 0 0 62 5 0 0 20 0 15 0 409432742 15514775552 40352 33554432000 4194304 4196468 140721078441680 140571411289200 140571008165536 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32622] ppid=32618 vsize=15151148 memory=4164 CPUtime=0 cores=0,2,4,6
/proc/32620/task/32622/stat : 32622 (java) S 32618 32618 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409432742 15514775552 40352 33554432000 4194304 4196468 140721078441680 140571335092880 140571407062741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32623] ppid=32618 vsize=15151148 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/32620/task/32623/stat : 32623 (java) S 32618 32618 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409432742 15514775552 40352 33554432000 4194304 4196468 140721078441680 140571334040080 140571407062741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32624] ppid=32618 vsize=15151148 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/32620/task/32624/stat : 32624 (java) S 32618 32618 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409432742 15514775552 40352 33554432000 4194304 4196468 140721078441680 140571332987280 140571407062741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32625] ppid=32618 vsize=15151148 memory=7980 CPUtime=0 cores=0,2,4,6
/proc/32620/task/32625/stat : 32625 (java) S 32618 32618 19528 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409432742 15514775552 40352 33554432000 4194304 4196468 140721078441680 140571331934480 140571407062741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32626] ppid=32618 vsize=15151148 memory=9580 CPUtime=0 cores=0,2,4,6
/proc/32620/task/32626/stat : 32626 (java) S 32618 32618 19528 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 409432744 15514775552 40352 33554432000 4194304 4196468 140721078441680 140570875394928 140571407063682 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32627] ppid=32618 vsize=15151148 memory=1052 CPUtime=0 cores=0,2,4,6
/proc/32620/task/32627/stat : 32627 (java) S 32618 32618 19528 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409432744 15514775552 40352 33554432000 4194304 4196468 140721078441680 140570874340896 140571407062741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32628] ppid=32618 vsize=15151148 memory=776 CPUtime=0 cores=0,2,4,6
/proc/32620/task/32628/stat : 32628 (java) S 32618 32618 19528 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409432744 15514775552 40352 33554432000 4194304 4196468 140721078441680 140570873288048 140571407062741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32629] ppid=32618 vsize=15151148 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/32620/task/32629/stat : 32629 (java) S 32618 32618 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409432747 15514775552 40352 33554432000 4194304 4196468 140721078441680 140570872236368 140571407071131 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32630] ppid=32618 vsize=15151148 memory=668 CPUtime=0.29 cores=0,2,4,6
/proc/32620/task/32630/stat : 32630 (java) R 32618 32618 19528 0 -1 4202560 1200 0 0 0 29 0 0 0 20 0 15 0 409432747 15514775552 40352 33554432000 4194304 4196468 140721078441680 140570871172208 140571391948495 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32631] ppid=32618 vsize=15151148 memory=1232 CPUtime=0.27 cores=0,2,4,6
/proc/32620/task/32631/stat : 32631 (java) R 32618 32618 19528 0 -1 1077944384 966 0 0 0 27 0 0 0 20 0 15 0 409432747 15514775552 40352 33554432000 4194304 4196468 140721078441680 140570870120720 140571407062741 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32632] ppid=32618 vsize=15151148 memory=1064 CPUtime=0.41 cores=0,2,4,6
/proc/32620/task/32632/stat : 32632 (java) R 32618 32618 19528 0 -1 4202560 1964 0 0 0 41 0 0 0 20 0 15 0 409432747 15514775552 40352 33554432000 4194304 4196468 140721078441680 140570869078128 140571399289662 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32633] ppid=32618 vsize=15151148 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/32620/task/32633/stat : 32633 (java) S 32618 32618 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409432747 15514775552 40352 33554432000 4194304 4196468 140721078441680 140570868025568 140571407062741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32634] ppid=32618 vsize=15151148 memory=21208 CPUtime=0 cores=0,2,4,6
/proc/32620/task/32634/stat : 32634 (java) S 32618 32618 19528 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409432747 15514775552 40352 33554432000 4194304 4196468 140721078441680 140570866973872 140571407063682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
Current children cumulated CPU time: 1.68 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 162856 KiB
[startup+1.50715 s]
/proc/loadavg: 8.87 8.64 8.47 9/233 32634
/proc/meminfo: memFree=21640800/32770624 swapFree=66939828/67108860
[pid=32618] ppid=32615 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32618/stat : 32618 (xcsp3-exec) S 32615 32618 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409432741 115843072 362 33554432000 4194304 5098028 140724448980096 140724448978200 139935337878140 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27017216 140724448981882 140724448982125 140724448982125 140724448985034 0
/proc/32618/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/32620/task/32622/stat : 32622 (java) S 32618 32618 19528 0 -1 1077944384 331 0 0 0 48 12 0 0 20 0 19 0 409432742 15926894592 178802 33554432000 4194304 4196468 140721078441680 140571335092880 140571407062741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32623] ppid=32618 vsize=15553608 memory=3467965261552678624 CPUtime=0.59 cores=0,2,4,6
/proc/32620/task/32623/stat : 32623 (java) S 32618 32618 19528 0 -1 1077944384 821 0 0 0 47 12 0 0 20 0 19 0 409432742 15926894592 178802 33554432000 4194304 4196468 140721078441680 140571334040080 140571407062741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32624] ppid=32618 vsize=15553608 memory=0 CPUtime=0.57 cores=0,2,4,6
/proc/32620/task/32624/stat : 32624 (java) S 32618 32618 19528 0 -1 1077944384 316 0 0 0 46 11 0 0 20 0 19 0 409432742 15926894592 178802 33554432000 4194304 4196468 140721078441680 140571332987280 140571407062741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32625] ppid=32618 vsize=15553608 memory=10734 CPUtime=0.56 cores=0,2,4,6
/proc/32620/task/32625/stat : 32625 (java) S 32618 32618 19528 0 -1 1077944384 279 0 0 0 45 11 0 0 20 0 19 0 409432742 15926894592 178802 33554432000 4194304 4196468 140721078441680 140571331934480 140571407062741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32626] ppid=32618 vsize=15553608 memory=24202 CPUtime=0.02 cores=0,2,4,6
/proc/32620/task/32626/stat : 32626 (java) S 32618 32618 19528 0 -1 1077944384 630 0 0 0 2 0 0 0 20 0 19 0 409432744 15926894592 178802 33554432000 4194304 4196468 140721078441680 140570875394928 140571407063682 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32627] ppid=32618 vsize=15553608 memory=7089910891892266848 CPUtime=0 cores=0,2,4,6
/proc/32620/task/32627/stat : 32627 (java) S 32618 32618 19528 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 19 0 409432744 15926894592 178802 33554432000 4194304 4196468 140721078441680 140570874340960 140571407062741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32628] ppid=32618 vsize=15553608 memory=7957689449132282197 CPUtime=0 cores=0,2,4,6
/proc/32620/task/32628/stat : 32628 (java) S 32618 32618 19528 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 409432744 15926894592 178802 33554432000 4194304 4196468 140721078441680 140570873288064 140571407062741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32629] ppid=32618 vsize=15553608 memory=7380671248541445222 CPUtime=0 cores=0,2,4,6
/proc/32620/task/32629/stat : 32629 (java) S 32618 32618 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409432747 15926894592 178802 33554432000 4194304 4196468 140721078441680 140570872236368 140571407071131 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32630] ppid=32618 vsize=15553608 memory=7649399384231522867 CPUtime=2.2 cores=0,2,4,6
/proc/32620/task/32630/stat : 32630 (java) S 32618 32618 19528 0 -1 1077944384 3682 0 0 0 220 0 0 0 20 0 19 0 409432747 15926894592 178802 33554432000 4194304 4196468 140721078441680 140570871183728 140571407063682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32631] ppid=32618 vsize=15553608 memory=0 CPUtime=2.44 cores=0,2,4,6
/proc/32620/task/32631/stat : 32631 (java) S 32618 32618 19528 0 -1 1077944384 6500 0 0 0 243 1 0 0 20 0 19 0 409432747 15926894592 178802 33554432000 4194304 4196468 140721078441680 140570870130928 140571407063682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32632] ppid=32618 vsize=15553608 memory=1448 CPUtime=0.8 cores=0,2,4,6
/proc/32620/task/32632/stat : 32632 (java) S 32618 32618 19528 0 -1 1077944384 3960 0 0 0 80 0 0 0 20 0 19 0 409432747 15926894592 178802 33554432000 4194304 4196468 140721078441680 140570869078128 140571407063682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32633] ppid=32618 vsize=15553608 memory=713084 CPUtime=0 cores=0,2,4,6
/proc/32620/task/32633/stat : 32633 (java) S 32618 32618 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409432747 15926894592 178802 33554432000 4194304 4196468 140721078441680 140570868025568 140571407062741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32634] ppid=32618 vsize=15553608 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32620/task/32634/stat : 32634 (java) S 32618 32618 19528 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 19 0 409432747 15926894592 178802 33554432000 4194304 4196468 140721078441680 140570866973872 140571407063682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=303] ppid=32618 vsize=15553608 memory=709108 CPUtime=2.37 cores=0,2,4,6
/proc/32620/task/303/stat : 303 (java) R 32618 32618 19528 0 -1 4202560 265 0 0 0 237 0 0 0 20 0 19 0 409433614 15926894592 178802 33554432000 4194304 4196468 140721078441680 140570786766264 140571014479289 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=304] ppid=32618 vsize=15553608 memory=1620 CPUtime=2.28 cores=0,2,4,6
/proc/32620/task/304/stat : 304 (java) R 32618 32618 19528 0 -1 4202560 337 0 0 0 228 0 0 0 20 0 19 0 409433614 15926894592 178802 33554432000 4194304 4196468 140721078441680 140570784661600 140571013885327 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=305] ppid=32618 vsize=15553608 memory=1412 CPUtime=2.4 cores=0,2,4,6
/proc/32620/task/305/stat : 305 (java) R 32618 32618 19528 0 -1 4202560 424 0 0 0 240 0 0 0 20 0 19 0 409433614 15926894592 178802 33554432000 4194304 4196468 140721078441680 140570785714144 140571015468058 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=307] ppid=32618 vsize=15553608 memory=3268 CPUtime=2.4 cores=0,2,4,6
/proc/32620/task/307/stat : 307 (java) R 32618 32618 19528 0 -1 4202560 249 0 0 0 240 0 0 0 20 0 19 0 409433614 15926894592 178802 33554432000 4194304 4196468 140721078441680 140570789924176 140571016243409 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
Current children cumulated CPU time: 34.19 s
Current children cumulated vsize: 15666736 KiB
Current children cumulated memory: 716656 KiB
[startup+11.6072 s]
/proc/loadavg: 8.80 8.63 8.47 10/237 307
/proc/meminfo: memFree=21346136/32770624 swapFree=66939828/67108860
[pid=32618] ppid=32615 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32618/stat : 32618 (xcsp3-exec) S 32615 32618 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409432741 115843072 362 33554432000 4194304 5098028 140724448980096 140724448978200 139935337878140 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27017216 140724448981882 140724448982125 140724448982125 140724448985034 0
/proc/32618/statm: 28282 362 304 221 0 87 0
[pid=32620] ppid=32618 vsize=15553608 memory=719120 CPUtime=35.65 cores=0,2,4,6
/proc/32620/stat : 32620 (java) S 32618 32618 19528 0 -1 1077944320 34316 0 0 0 3505 60 0 0 20 0 19 0 409432741 15926894592 179780 33554432000 4194304 4196468 140721078441680 140721078424224 140571407052535 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
/proc/32620/statm: 3888402 179780 3540 1 0 3849504 0
[pid=32620/tid=32621] ppid=32618 vsize=15553608 memory=4164 CPUtime=0.91 cores=0,2,4,6
/proc/32620/task/32621/stat : 32621 (java) S 32618 32618 19528 0 -1 1077944384 9425 0 0 0 86 5 0 0 20 0 19 0 409432742 15926894592 179780 33554432000 4194304 4196468 140721078441680 140571411293312 140571407062741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32622] ppid=32618 vsize=15553608 memory=13412 CPUtime=0.6 cores=0,2,4,6
/proc/32620/task/32622/stat : 32622 (java) S 32618 32618 19528 0 -1 1077944384 331 0 0 0 48 12 0 0 20 0 19 0 409432742 15926894592 179780 33554432000 4194304 4196468 140721078441680 140571335092880 140571407062741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32623] ppid=32618 vsize=15553608 memory=8377424916951425120 CPUtime=0.59 cores=0,2,4,6
/proc/32620/task/32623/stat : 32623 (java) S 32618 32618 19528 0 -1 1077944384 821 0 0 0 47 12 0 0 20 0 19 0 409432742 15926894592 179780 33554432000 4194304 4196468 140721078441680 140571334040080 140571407062741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32624] ppid=32618 vsize=15553608 memory=0 CPUtime=0.57 cores=0,2,4,6
/proc/32620/task/32624/stat : 32624 (java) S 32618 32618 19528 0 -1 1077944384 316 0 0 0 46 11 0 0 20 0 19 0 409432742 15926894592 179780 33554432000 4194304 4196468 140721078441680 140571332987280 140571407062741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32625] ppid=32618 vsize=15553608 memory=6791534058613427641 CPUtime=0.56 cores=0,2,4,6
/proc/32620/task/32625/stat : 32625 (java) S 32618 32618 19528 0 -1 1077944384 279 0 0 0 45 11 0 0 20 0 19 0 409432742 15926894592 179780 33554432000 4194304 4196468 140721078441680 140571331934480 140571407062741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32626] ppid=32618 vsize=15553608 memory=1984 CPUtime=0.02 cores=0,2,4,6
/proc/32620/task/32626/stat : 32626 (java) S 32618 32618 19528 0 -1 1077944384 679 0 0 0 2 0 0 0 20 0 19 0 409432744 15926894592 179780 33554432000 4194304 4196468 140721078441680 140570875394928 140571407063682 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32627] ppid=32618 vsize=15553608 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/32620/task/32627/stat : 32627 (java) S 32618 32618 19528 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 19 0 409432744 15926894592 179780 33554432000 4194304 4196468 140721078441680 140570874340960 140571407062741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32628] ppid=32618 vsize=15553608 memory=804 CPUtime=0 cores=0,2,4,6
/proc/32620/task/32628/stat : 32628 (java) S 32618 32618 19528 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 409432744 15926894592 179780 33554432000 4194304 4196468 140721078441680 140570873288064 140571407062741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32629] ppid=32618 vsize=15553608 memory=2580 CPUtime=0 cores=0,2,4,6
/proc/32620/task/32629/stat : 32629 (java) S 32618 32618 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409432747 15926894592 179780 33554432000 4194304 4196468 140721078441680 140570872236368 140571407071131 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32630] ppid=32618 vsize=15553608 memory=1760 CPUtime=2.22 cores=0,2,4,6
/proc/32620/task/32630/stat : 32630 (java) S 32618 32618 19528 0 -1 1077944384 4230 0 0 0 222 0 0 0 20 0 19 0 409432747 15926894592 179780 33554432000 4194304 4196468 140721078441680 140570871183728 140571407063682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32631] ppid=32618 vsize=15553608 memory=111636 CPUtime=2.46 cores=0,2,4,6
/proc/32620/task/32631/stat : 32631 (java) S 32618 32618 19528 0 -1 1077944384 6845 0 0 0 245 1 0 0 20 0 19 0 409432747 15926894592 179780 33554432000 4194304 4196468 140721078441680 140570870130928 140571407063682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32632] ppid=32618 vsize=15553608 memory=808 CPUtime=0.8 cores=0,2,4,6
/proc/32620/task/32632/stat : 32632 (java) S 32618 32618 19528 0 -1 1077944384 4244 0 0 0 80 0 0 0 20 0 19 0 409432747 15926894592 179780 33554432000 4194304 4196468 140721078441680 140570869078128 140571407063682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32633] ppid=32618 vsize=15553608 memory=1804 CPUtime=0 cores=0,2,4,6
/proc/32620/task/32633/stat : 32633 (java) S 32618 32618 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409432747 15926894592 179780 33554432000 4194304 4196468 140721078441680 140570868025568 140571407062741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32634] ppid=32618 vsize=15553608 memory=920 CPUtime=0 cores=0,2,4,6
/proc/32620/task/32634/stat : 32634 (java) S 32618 32618 19528 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 19 0 409432747 15926894592 179780 33554432000 4194304 4196468 140721078441680 140570866973872 140571407063682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
Current children cumulated CPU time: 35.65 s
Current children cumulated vsize: 15666736 KiB
Current children cumulated memory: 720568 KiB
[startup+11.8008 s]
/proc/loadavg: 8.80 8.63 8.47 10/237 307
/proc/meminfo: memFree=21346136/32770624 swapFree=66939828/67108860
[pid=32618] ppid=32615 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32618/stat : 32618 (xcsp3-exec) S 32615 32618 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409432741 115843072 362 33554432000 4194304 5098028 140724448980096 140724448978200 139935337878140 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27017216 140724448981882 140724448982125 140724448982125 140724448985034 0
/proc/32618/statm: 28282 362 304 221 0 87 0
[pid=32620] ppid=32618 vsize=15553608 memory=719120 CPUtime=36.34 cores=0,2,4,6
/proc/32620/stat : 32620 (java) S 32618 32618 19528 0 -1 1077944320 34562 0 0 0 3574 60 0 0 20 0 19 0 409432741 15926894592 179780 33554432000 4194304 4196468 140721078441680 140721078424224 140571407052535 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
/proc/32620/statm: 3888402 179780 3540 1 0 3849504 0
[pid=32620/tid=32621] ppid=32618 vsize=15553608 memory=1064 CPUtime=0.91 cores=0,2,4,6
/proc/32620/task/32621/stat : 32621 (java) S 32618 32618 19528 0 -1 1077944384 9425 0 0 0 86 5 0 0 20 0 19 0 409432742 15926894592 179780 33554432000 4194304 4196468 140721078441680 140571411293312 140571407062741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32622] ppid=32618 vsize=15553608 memory=14008 CPUtime=0.6 cores=0,2,4,6
/proc/32620/task/32622/stat : 32622 (java) S 32618 32618 19528 0 -1 1077944384 331 0 0 0 48 12 0 0 20 0 19 0 409432742 15926894592 179780 33554432000 4194304 4196468 140721078441680 140571335092880 140571407062741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32623] ppid=32618 vsize=15553608 memory=21208 CPUtime=0.59 cores=0,2,4,6
/proc/32620/task/32623/stat : 32623 (java) S 32618 32618 19528 0 -1 1077944384 821 0 0 0 47 12 0 0 20 0 19 0 409432742 15926894592 179780 33554432000 4194304 4196468 140721078441680 140571334040080 140571407062741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32624] ppid=32618 vsize=15553608 memory=14056 CPUtime=0.57 cores=0,2,4,6
/proc/32620/task/32624/stat : 32624 (java) S 32618 32618 19528 0 -1 1077944384 316 0 0 0 46 11 0 0 20 0 19 0 409432742 15926894592 179780 33554432000 4194304 4196468 140721078441680 140571332987280 140571407062741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32625] ppid=32618 vsize=15553608 memory=2116 CPUtime=0.56 cores=0,2,4,6
/proc/32620/task/32625/stat : 32625 (java) S 32618 32618 19528 0 -1 1077944384 279 0 0 0 45 11 0 0 20 0 19 0 409432742 15926894592 179780 33554432000 4194304 4196468 140721078441680 140571331934480 140571407062741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32626] ppid=32618 vsize=15553608 memory=520 CPUtime=0.02 cores=0,2,4,6
/proc/32620/task/32626/stat : 32626 (java) S 32618 32618 19528 0 -1 1077944384 679 0 0 0 2 0 0 0 20 0 19 0 409432744 15926894592 179780 33554432000 4194304 4196468 140721078441680 140570875394928 140571407063682 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32627] ppid=32618 vsize=15553608 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/32620/task/32627/stat : 32627 (java) S 32618 32618 19528 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 19 0 409432744 15926894592 179780 33554432000 4194304 4196468 140721078441680 140570874340960 140571407062741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32628] ppid=32618 vsize=15553608 memory=924 CPUtime=0 cores=0,2,4,6
/proc/32620/task/32628/stat : 32628 (java) S 32618 32618 19528 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 409432744 15926894592 179780 33554432000 4194304 4196468 140721078441680 140570873288064 140571407062741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32629] ppid=32618 vsize=15553608 memory=3688 CPUtime=0 cores=0,2,4,6
/proc/32620/task/32629/stat : 32629 (java) S 32618 32618 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409432747 15926894592 179780 33554432000 4194304 4196468 140721078441680 140570872236368 140571407071131 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32630] ppid=32618 vsize=15553608 memory=1984 CPUtime=2.22 cores=0,2,4,6
/proc/32620/task/32630/stat : 32630 (java) S 32618 32618 19528 0 -1 1077944384 4230 0 0 0 222 0 0 0 20 0 19 0 409432747 15926894592 179780 33554432000 4194304 4196468 140721078441680 140570871183728 140571407063682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32631] ppid=32618 vsize=15553608 memory=1440 CPUtime=2.48 cores=0,2,4,6
/proc/32620/task/32631/stat : 32631 (java) S 32618 32618 19528 0 -1 1077944384 7085 0 0 0 247 1 0 0 20 0 19 0 409432747 15926894592 179780 33554432000 4194304 4196468 140721078441680 140570870130928 140571407063682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32632] ppid=32618 vsize=15553608 memory=804 CPUtime=0.8 cores=0,2,4,6
/proc/32620/task/32632/stat : 32632 (java) S 32618 32618 19528 0 -1 1077944384 4244 0 0 0 80 0 0 0 20 0 19 0 409432747 15926894592 179780 33554432000 4194304 4196468 140721078441680 140570869078128 140571407063682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32633] ppid=32618 vsize=15553608 memory=2580 CPUtime=0 cores=0,2,4,6
/proc/32620/task/32633/stat : 32633 (java) S 32618 32618 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409432747 15926894592 179780 33554432000 4194304 4196468 140721078441680 140570868025568 140571407062741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32634] ppid=32618 vsize=15553608 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32620/task/32634/stat : 32634 (java) S 32618 32618 19528 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 19 0 409432747 15926894592 179780 33554432000 4194304 4196468 140721078441680 140570866973872 140571407063682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
Current children cumulated CPU time: 36.34 s
Current children cumulated vsize: 15666736 KiB
Current children cumulated memory: 720568 KiB
[startup+11.9008 s]
/proc/loadavg: 8.80 8.63 8.47 10/237 307
/proc/meminfo: memFree=21346136/32770624 swapFree=66939828/67108860
[pid=32618] ppid=32615 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32618/stat : 32618 (xcsp3-exec) S 32615 32618 19528 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 409432741 115843072 362 33554432000 4194304 5098028 140724448980096 140724448978200 139935337878140 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 27017216 140724448981882 140724448982125 140724448982125 140724448985034 0
/proc/32618/statm: 28282 362 304 221 0 87 0
[pid=32620] ppid=32618 vsize=15553608 memory=719120 CPUtime=36.44 cores=0,2,4,6
/proc/32620/stat : 32620 (java) S 32618 32618 19528 0 -1 1077944320 34562 0 0 0 3584 60 0 0 20 0 19 0 409432741 15926894592 179780 33554432000 4194304 4196468 140721078441680 140721078424224 140571407052535 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
/proc/32620/statm: 3888402 179780 3540 1 0 3849504 0
[pid=32620/tid=32621] ppid=32618 vsize=15553608 memory=715132 CPUtime=0.91 cores=0,2,4,6
/proc/32620/task/32621/stat : 32621 (java) S 32618 32618 19528 0 -1 1077944384 9425 0 0 0 86 5 0 0 20 0 19 0 409432742 15926894592 179780 33554432000 4194304 4196468 140721078441680 140571411293312 140571407062741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32622] ppid=32618 vsize=15553608 memory=719120 CPUtime=0.6 cores=0,2,4,6
/proc/32620/task/32622/stat : 32622 (java) S 32618 32618 19528 0 -1 1077944384 331 0 0 0 48 12 0 0 20 0 19 0 409432742 15926894592 179780 33554432000 4194304 4196468 140721078441680 140571335092880 140571407062741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32623] ppid=32618 vsize=15553608 memory=713016 CPUtime=0.59 cores=0,2,4,6
/proc/32620/task/32623/stat : 32623 (java) S 32618 32618 19528 0 -1 1077944384 821 0 0 0 47 12 0 0 20 0 19 0 409432742 15926894592 179780 33554432000 4194304 4196468 140721078441680 140571334040080 140571407062741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32624] ppid=32618 vsize=15553608 memory=1452 CPUtime=0.57 cores=0,2,4,6
/proc/32620/task/32624/stat : 32624 (java) S 32618 32618 19528 0 -1 1077944384 316 0 0 0 46 11 0 0 20 0 19 0 409432742 15926894592 179780 33554432000 4194304 4196468 140721078441680 140571332987280 140571407062741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32625] ppid=32618 vsize=15553608 memory=278016 CPUtime=0.56 cores=0,2,4,6
/proc/32620/task/32625/stat : 32625 (java) S 32618 32618 19528 0 -1 1077944384 279 0 0 0 45 11 0 0 20 0 19 0 409432742 15926894592 179780 33554432000 4194304 4196468 140721078441680 140571331934480 140571407062741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32626] ppid=32618 vsize=15553608 memory=715208 CPUtime=0.02 cores=0,2,4,6
/proc/32620/task/32626/stat : 32626 (java) S 32618 32618 19528 0 -1 1077944384 679 0 0 0 2 0 0 0 20 0 19 0 409432744 15926894592 179780 33554432000 4194304 4196468 140721078441680 140570875394928 140571407063682 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32627] ppid=32618 vsize=15553608 memory=1052 CPUtime=0 cores=0,2,4,6
/proc/32620/task/32627/stat : 32627 (java) S 32618 32618 19528 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 19 0 409432744 15926894592 179780 33554432000 4194304 4196468 140721078441680 140570874340960 140571407062741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32628] ppid=32618 vsize=15553608 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/32620/task/32628/stat : 32628 (java) S 32618 32618 19528 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 409432744 15926894592 179780 33554432000 4194304 4196468 140721078441680 140570873288064 140571407062741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32629] ppid=32618 vsize=15553608 memory=719120 CPUtime=0 cores=0,2,4,6
/proc/32620/task/32629/stat : 32629 (java) S 32618 32618 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409432747 15926894592 179780 33554432000 4194304 4196468 140721078441680 140570872236368 140571407071131 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32630] ppid=32618 vsize=15553608 memory=3688 CPUtime=2.22 cores=0,2,4,6
/proc/32620/task/32630/stat : 32630 (java) S 32618 32618 19528 0 -1 1077944384 4230 0 0 0 222 0 0 0 20 0 19 0 409432747 15926894592 179780 33554432000 4194304 4196468 140721078441680 140570871183728 140571407063682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32631] ppid=32618 vsize=15553608 memory=140633670976945 CPUtime=2.48 cores=0,2,4,6
/proc/32620/task/32631/stat : 32631 (java) S 32618 32618 19528 0 -1 1077944384 7085 0 0 0 247 1 0 0 20 0 19 0 409432747 15926894592 179780 33554432000 4194304 4196468 140721078441680 140570870130928 140571407063682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32632] ppid=32618 vsize=15553608 memory=6082200702150529104 CPUtime=0.8 cores=0,2,4,6
/proc/32620/task/32632/stat : 32632 (java) S 32618 32618 19528 0 -1 1077944384 4244 0 0 0 80 0 0 0 20 0 19 0 409432747 15926894592 179780 33554432000 4194304 4196468 140721078441680 140570869078128 140571407063682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32633] ppid=32618 vsize=15553608 memory=4638778398333161830 CPUtime=0 cores=0,2,4,6
/proc/32620/task/32633/stat : 32633 (java) S 32618 32618 19528 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409432747 15926894592 179780 33554432000 4194304 4196468 140721078441680 140570868025568 140571407062741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
[pid=32620/tid=32634] ppid=32618 vsize=15553608 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/32620/task/32634/stat : 32634 (java) S 32618 32618 19528 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 19 0 409432747 15926894592 179780 33554432000 4194304 4196468 140721078441680 140570866973872 140571407063682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7921664 140721078445039 140721078445210 140721078445210 140721078448079 0
Current children cumulated CPU time: 36.44 s
Current children cumulated vsize: 15666736 KiB
Current children cumulated memory: 720568 KiB
Child status: 0
Real time (s): 11.9259
CPU time (s): 36.4739
CPU user time (s): 35.8644
CPU system time (s): 0.60943
CPU usage (%): 305.837
Max. virtual memory (cumulated for all children) (KiB): 15666736
Max. memory (cumulated for all children) (KiB): 720568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 35.8644
system time used= 0.60943
maximum resident set size= 719764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35648
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3842
involuntary context switches= 1144
# summary of solver processes directly reported to runsolver:
# pid: 32618
# total CPU time (s): 36.4739
# total CPU user time (s): 35.8644
# total CPU system time (s): 0.60943
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.08769 second user time and 0.176633 second system time
The end