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 (13955 MiB free)
memory of node 1: 16384 MiB (15344 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392988-1568317081/watcher-4392988-1568317081 -o /tmp/evaluation-result-4392988-1568317081/solver-4392988-1568317081 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568309633-14094 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1372062712 HOME/instance-4392988-1568317081.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=18151, runsolver pid=18148
Current StackSize limit: 8192 KiB
[startup+0.100041 s]*
/proc/loadavg: 9.04 8.68 8.36 7/232 18167
/proc/meminfo: memFree=29977316/32770624 swapFree=66996240/67108860
[pid=18151] ppid=18148 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/18151/stat : 18151 (xcsp3-exec) S 18148 18151 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407962783 115843072 362 33554432000 4194304 5098028 140723562783056 140723562781160 140371981214332 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 33304576 140723562787706 140723562787949 140723562787949 140723562790858 0
/proc/18151/statm: 28282 362 304 221 0 87 0
[pid=18153] ppid=18151 vsize=15144768 memory=30140 CPUtime=0.13 cores=1,3,5,7
/proc/18153/stat : 18153 (java) S 18151 18151 14062 0 -1 1077944320 5939 0 0 0 11 2 0 0 20 0 15 0 407962783 15508242432 7535 33554432000 4194304 4196468 140727275519024 140727275501568 140302308790007 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
/proc/18153/statm: 3786192 7535 3154 1 0 3748377 0
[pid=18153/tid=18154] ppid=18151 vsize=15144768 memory=-2698087569006908830 CPUtime=0.09 cores=1,3,5,7
/proc/18153/task/18154/stat : 18154 (java) R 18151 18151 14062 0 -1 4202560 3841 0 0 0 8 1 0 0 20 0 15 0 407962783 15508242432 7535 33554432000 4194304 4196468 140727275519024 140302313015968 140302308811933 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18155] ppid=18151 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/18153/task/18155/stat : 18155 (java) S 18151 18151 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407962784 15508242432 7535 33554432000 4194304 4196468 140727275519024 140301901491216 140302308800213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18156] ppid=18151 vsize=15144768 memory=139757102044800 CPUtime=0 cores=1,3,5,7
/proc/18153/task/18156/stat : 18156 (java) S 18151 18151 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407962784 15508242432 7535 33554432000 4194304 4196468 140727275519024 140301900438672 140302308800213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18157] ppid=18151 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18153/task/18157/stat : 18157 (java) S 18151 18151 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407962784 15508242432 7535 33554432000 4194304 4196468 140727275519024 140301899385616 140302308800213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18158] ppid=18151 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18153/task/18158/stat : 18158 (java) S 18151 18151 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407962784 15508242432 7535 33554432000 4194304 4196468 140727275519024 140301898333072 140302308800213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18159] ppid=18151 vsize=15144768 memory=139757102044800 CPUtime=0 cores=1,3,5,7
/proc/18153/task/18159/stat : 18159 (java) S 18151 18151 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407962785 15508242432 7535 33554432000 4194304 4196468 140727275519024 140301384059120 140302308801154 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18160] ppid=18151 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18153/task/18160/stat : 18160 (java) S 18151 18151 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407962786 15508242432 7535 33554432000 4194304 4196468 140727275519024 140301383005344 140302308800213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18161] ppid=18151 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18153/task/18161/stat : 18161 (java) S 18151 18151 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407962786 15508242432 7535 33554432000 4194304 4196468 140727275519024 140301381952240 140302308800213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18162] ppid=18151 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18153/task/18162/stat : 18162 (java) S 18151 18151 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407962789 15508242432 7535 33554432000 4194304 4196468 140727275519024 140301380900816 140302308808603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18163] ppid=18151 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18153/task/18163/stat : 18163 (java) S 18151 18151 14062 0 -1 1077944384 414 0 0 0 0 0 0 0 20 0 15 0 407962789 15508242432 7535 33554432000 4194304 4196468 140727275519024 140301379848944 140302308801154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18164] ppid=18151 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18153/task/18164/stat : 18164 (java) S 18151 18151 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407962789 15508242432 7535 33554432000 4194304 4196468 140727275519024 140301378796400 140302308801154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18165] ppid=18151 vsize=15144768 memory=139757102044800 CPUtime=0.02 cores=1,3,5,7
/proc/18153/task/18165/stat : 18165 (java) R 18151 18151 14062 0 -1 4202560 375 0 0 0 2 0 0 0 20 0 15 0 407962789 15508242432 7535 33554432000 4194304 4196468 140727275519024 140301377743344 140302308811354 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18166] ppid=18151 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18153/task/18166/stat : 18166 (java) S 18151 18151 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407962789 15508242432 7535 33554432000 4194304 4196468 140727275519024 140301376691040 140302308800213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18167] ppid=18151 vsize=15144768 memory=139757102044800 CPUtime=0 cores=1,3,5,7
/proc/18153/task/18167/stat : 18167 (java) S 18151 18151 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407962789 15508242432 7535 33554432000 4194304 4196468 140727275519024 140301375638064 140302308801154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31588 KiB
[startup+0.211022 s]*
/proc/loadavg: 9.04 8.68 8.36 6/232 18167
/proc/meminfo: memFree=29965804/32770624 swapFree=66996240/67108860
[pid=18151] ppid=18148 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/18151/stat : 18151 (xcsp3-exec) S 18148 18151 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407962783 115843072 362 33554432000 4194304 5098028 140723562783056 140723562781160 140371981214332 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 33304576 140723562787706 140723562787949 140723562787949 140723562790858 0
/proc/18151/statm: 28282 362 304 221 0 87 0
[pid=18153] ppid=18151 vsize=15144768 memory=40476 CPUtime=0.34 cores=1,3,5,7
/proc/18153/stat : 18153 (java) S 18151 18151 14062 0 -1 1077944320 9324 0 0 0 31 3 0 0 20 0 15 0 407962783 15508242432 10119 33554432000 4194304 4196468 140727275519024 140727275501568 140302308790007 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
/proc/18153/statm: 3786192 10119 3308 1 0 3748377 0
[pid=18153/tid=18154] ppid=18151 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/18153/task/18154/stat : 18154 (java) R 18151 18151 14062 0 -1 4202560 6605 0 0 0 18 2 0 0 20 0 15 0 407962783 15508242432 10119 33554432000 4194304 4196468 140727275519024 140302313027072 140302308801942 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18155] ppid=18151 vsize=15144768 memory=2670165 CPUtime=0 cores=1,3,5,7
/proc/18153/task/18155/stat : 18155 (java) S 18151 18151 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407962784 15508242432 10119 33554432000 4194304 4196468 140727275519024 140301901491216 140302308800213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18156] ppid=18151 vsize=15144768 memory=2854506 CPUtime=0 cores=1,3,5,7
/proc/18153/task/18156/stat : 18156 (java) S 18151 18151 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407962784 15508242432 10119 33554432000 4194304 4196468 140727275519024 140301900438672 140302308800213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18157] ppid=18151 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18153/task/18157/stat : 18157 (java) S 18151 18151 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407962784 15508242432 10119 33554432000 4194304 4196468 140727275519024 140301899385616 140302308800213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18158] ppid=18151 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18153/task/18158/stat : 18158 (java) S 18151 18151 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407962784 15508242432 10119 33554432000 4194304 4196468 140727275519024 140301898333072 140302308800213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18159] ppid=18151 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18153/task/18159/stat : 18159 (java) S 18151 18151 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407962785 15508242432 10119 33554432000 4194304 4196468 140727275519024 140301384059120 140302308801154 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18160] ppid=18151 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18153/task/18160/stat : 18160 (java) S 18151 18151 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407962786 15508242432 10119 33554432000 4194304 4196468 140727275519024 140301383005344 140302308800213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18161] ppid=18151 vsize=15144768 memory=139757102044800 CPUtime=0 cores=1,3,5,7
/proc/18153/task/18161/stat : 18161 (java) S 18151 18151 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407962786 15508242432 10119 33554432000 4194304 4196468 140727275519024 140301381952240 140302308800213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18162] ppid=18151 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18153/task/18162/stat : 18162 (java) S 18151 18151 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407962789 15508242432 10119 33554432000 4194304 4196468 140727275519024 140301380900816 140302308808603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18163] ppid=18151 vsize=15144768 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/18153/task/18163/stat : 18163 (java) S 18151 18151 14062 0 -1 1077944384 531 0 0 0 3 0 0 0 20 0 15 0 407962789 15508242432 10119 33554432000 4194304 4196468 140727275519024 140301379848944 140302308801154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18164] ppid=18151 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/18153/task/18164/stat : 18164 (java) S 18151 18151 14062 0 -1 1077944384 98 0 0 0 2 0 0 0 20 0 15 0 407962789 15508242432 10119 33554432000 4194304 4196468 140727275519024 140301378796400 140302308801154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18165] ppid=18151 vsize=15144768 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/18153/task/18165/stat : 18165 (java) R 18151 18151 14062 0 -1 4202560 781 0 0 0 7 0 0 0 20 0 15 0 407962789 15508242432 10119 33554432000 4194304 4196468 140727275519024 140301377743344 140302287705707 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18166] ppid=18151 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18153/task/18166/stat : 18166 (java) S 18151 18151 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407962789 15508242432 10119 33554432000 4194304 4196468 140727275519024 140301376691040 140302308800213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18167] ppid=18151 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18153/task/18167/stat : 18167 (java) S 18151 18151 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407962789 15508242432 10119 33554432000 4194304 4196468 140727275519024 140301375638064 140302308801154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41924 KiB
[startup+0.313625 s]*
/proc/loadavg: 9.04 8.68 8.36 8/232 18167
/proc/meminfo: memFree=29960456/32770624 swapFree=66996240/67108860
[pid=18151] ppid=18148 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/18151/stat : 18151 (xcsp3-exec) S 18148 18151 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407962783 115843072 362 33554432000 4194304 5098028 140723562783056 140723562781160 140371981214332 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 33304576 140723562787706 140723562787949 140723562787949 140723562790858 0
/proc/18151/statm: 28282 362 304 221 0 87 0
[pid=18153] ppid=18151 vsize=15149024 memory=49496 CPUtime=0.53 cores=1,3,5,7
/proc/18153/stat : 18153 (java) S 18151 18151 14062 0 -1 1077944320 10738 0 0 0 49 4 0 0 20 0 15 0 407962783 15512600576 12374 33554432000 4194304 4196468 140727275519024 140727275501568 140302308790007 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
/proc/18153/statm: 3787256 12374 3358 1 0 3748377 0
[pid=18153/tid=18154] ppid=18151 vsize=15149024 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/18153/task/18154/stat : 18154 (java) R 18151 18151 14062 0 -1 4202560 7704 0 0 0 27 3 0 0 20 0 15 0 407962783 15512600576 12374 33554432000 4194304 4196468 140727275519024 140302313021120 140302292870494 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18155] ppid=18151 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18153/task/18155/stat : 18155 (java) S 18151 18151 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407962784 15512600576 12374 33554432000 4194304 4196468 140727275519024 140301901491216 140302308800213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18156] ppid=18151 vsize=15149024 memory=2854491 CPUtime=0 cores=1,3,5,7
/proc/18153/task/18156/stat : 18156 (java) S 18151 18151 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407962784 15512600576 12374 33554432000 4194304 4196468 140727275519024 140301900438672 140302308800213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18157] ppid=18151 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18153/task/18157/stat : 18157 (java) S 18151 18151 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407962784 15512600576 12374 33554432000 4194304 4196468 140727275519024 140301899385616 140302308800213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18158] ppid=18151 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18153/task/18158/stat : 18158 (java) S 18151 18151 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407962784 15512600576 12374 33554432000 4194304 4196468 140727275519024 140301898333072 140302308800213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18159] ppid=18151 vsize=15149024 memory=139757102044800 CPUtime=0 cores=1,3,5,7
/proc/18153/task/18159/stat : 18159 (java) S 18151 18151 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407962785 15512600576 12374 33554432000 4194304 4196468 140727275519024 140301384059120 140302308801154 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18160] ppid=18151 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18153/task/18160/stat : 18160 (java) S 18151 18151 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407962786 15512600576 12374 33554432000 4194304 4196468 140727275519024 140301383005344 140302308800213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18161] ppid=18151 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18153/task/18161/stat : 18161 (java) S 18151 18151 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407962786 15512600576 12374 33554432000 4194304 4196468 140727275519024 140301381952240 140302308800213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18162] ppid=18151 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18153/task/18162/stat : 18162 (java) S 18151 18151 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407962789 15512600576 12374 33554432000 4194304 4196468 140727275519024 140301380900816 140302308808603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18163] ppid=18151 vsize=15149024 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/18153/task/18163/stat : 18163 (java) R 18151 18151 14062 0 -1 4202560 659 0 0 0 5 0 0 0 20 0 15 0 407962789 15512600576 12374 33554432000 4194304 4196468 140727275519024 140301379839328 140302293914768 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18164] ppid=18151 vsize=15149024 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/18153/task/18164/stat : 18164 (java) S 18151 18151 14062 0 -1 1077944384 120 0 0 0 3 0 0 0 20 0 15 0 407962789 15512600576 12374 33554432000 4194304 4196468 140727275519024 140301378796400 140302308801154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18165] ppid=18151 vsize=15149024 memory=139757102044800 CPUtime=0.12 cores=1,3,5,7
/proc/18153/task/18165/stat : 18165 (java) S 18151 18151 14062 0 -1 1077944384 949 0 0 0 12 0 0 0 20 0 15 0 407962789 15512600576 12374 33554432000 4194304 4196468 140727275519024 140301377743344 140302308801154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18166] ppid=18151 vsize=15149024 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18153/task/18166/stat : 18166 (java) S 18151 18151 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407962789 15512600576 12374 33554432000 4194304 4196468 140727275519024 140301376691040 140302308800213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18167] ppid=18151 vsize=15149024 memory=139757102044800 CPUtime=0 cores=1,3,5,7
/proc/18153/task/18167/stat : 18167 (java) S 18151 18151 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407962789 15512600576 12374 33554432000 4194304 4196468 140727275519024 140301375638064 140302308801154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 50944 KiB
[startup+0.700828 s]
/proc/loadavg: 9.04 8.68 8.36 8/232 18167
/proc/meminfo: memFree=29931348/32770624 swapFree=66996240/67108860
[pid=18151] ppid=18148 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/18151/stat : 18151 (xcsp3-exec) S 18148 18151 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407962783 115843072 362 33554432000 4194304 5098028 140723562783056 140723562781160 140371981214332 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 33304576 140723562787706 140723562787949 140723562787949 140723562790858 0
/proc/18151/statm: 28282 362 304 221 0 87 0
[pid=18153] ppid=18151 vsize=15151148 memory=128100 CPUtime=1.74 cores=1,3,5,7
/proc/18153/stat : 18153 (java) S 18151 18151 14062 0 -1 1077944320 13989 0 0 0 167 7 0 0 20 0 15 0 407962783 15514775552 32025 33554432000 4194304 4196468 140727275519024 140727275501568 140302308790007 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
/proc/18153/statm: 3787787 32025 3445 1 0 3748889 0
[pid=18153/tid=18154] ppid=18151 vsize=15151148 memory=12024 CPUtime=0.68 cores=1,3,5,7
/proc/18153/task/18154/stat : 18154 (java) R 18151 18151 14062 0 -1 4202560 8293 0 0 0 63 5 0 0 20 0 15 0 407962783 15514775552 32025 33554432000 4194304 4196468 140727275519024 140302313026352 140301905003464 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18155] ppid=18151 vsize=15151148 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/18153/task/18155/stat : 18155 (java) S 18151 18151 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407962784 15514775552 32025 33554432000 4194304 4196468 140727275519024 140301901491216 140302308800213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18156] ppid=18151 vsize=15151148 memory=500 CPUtime=0 cores=1,3,5,7
/proc/18153/task/18156/stat : 18156 (java) S 18151 18151 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407962784 15514775552 32025 33554432000 4194304 4196468 140727275519024 140301900438672 140302308800213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18157] ppid=18151 vsize=15151148 memory=928 CPUtime=0 cores=1,3,5,7
/proc/18153/task/18157/stat : 18157 (java) S 18151 18151 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407962784 15514775552 32025 33554432000 4194304 4196468 140727275519024 140301899385616 140302308800213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18158] ppid=18151 vsize=15151148 memory=1528 CPUtime=0 cores=1,3,5,7
/proc/18153/task/18158/stat : 18158 (java) S 18151 18151 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407962784 15514775552 32025 33554432000 4194304 4196468 140727275519024 140301898333072 140302308800213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18159] ppid=18151 vsize=15151148 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/18153/task/18159/stat : 18159 (java) S 18151 18151 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407962785 15514775552 32025 33554432000 4194304 4196468 140727275519024 140301384059120 140302308801154 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18160] ppid=18151 vsize=15151148 memory=876 CPUtime=0 cores=1,3,5,7
/proc/18153/task/18160/stat : 18160 (java) S 18151 18151 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407962786 15514775552 32025 33554432000 4194304 4196468 140727275519024 140301383005344 140302308800213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18161] ppid=18151 vsize=15151148 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/18153/task/18161/stat : 18161 (java) S 18151 18151 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407962786 15514775552 32025 33554432000 4194304 4196468 140727275519024 140301381952240 140302308800213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18162] ppid=18151 vsize=15151148 memory=2552 CPUtime=0 cores=1,3,5,7
/proc/18153/task/18162/stat : 18162 (java) S 18151 18151 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407962789 15514775552 32025 33554432000 4194304 4196468 140727275519024 140301380900816 140302308808603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18163] ppid=18151 vsize=15151148 memory=7302135314614015840 CPUtime=0.38 cores=1,3,5,7
/proc/18153/task/18163/stat : 18163 (java) R 18151 18151 14062 0 -1 4202560 1572 0 0 0 38 0 0 0 20 0 15 0 407962789 15514775552 32025 33554432000 4194304 4196468 140727275519024 140301379834824 140302290334592 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18164] ppid=18151 vsize=15151148 memory=6152570563357207149 CPUtime=0.35 cores=1,3,5,7
/proc/18153/task/18164/stat : 18164 (java) R 18151 18151 14062 0 -1 4202560 1094 0 0 0 35 0 0 0 20 0 15 0 407962789 15514775552 32025 33554432000 4194304 4196468 140727275519024 140301378788048 140302292290607 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18165] ppid=18151 vsize=15151148 memory=7223887401239728208 CPUtime=0.29 cores=1,3,5,7
/proc/18153/task/18165/stat : 18165 (java) S 18151 18151 14062 0 -1 1077944384 1721 0 0 0 29 0 0 0 20 0 15 0 407962789 15514775552 32025 33554432000 4194304 4196468 140727275519024 140301377743344 140302308801154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18166] ppid=18151 vsize=15151148 memory=7368002589315584080 CPUtime=0 cores=1,3,5,7
/proc/18153/task/18166/stat : 18166 (java) S 18151 18151 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407962789 15514775552 32025 33554432000 4194304 4196468 140727275519024 140301376691040 140302308800213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18167] ppid=18151 vsize=15151148 memory=7379547564840675921 CPUtime=0 cores=1,3,5,7
/proc/18153/task/18167/stat : 18167 (java) S 18151 18151 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407962789 15514775552 32025 33554432000 4194304 4196468 140727275519024 140301375638064 140302308801154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
Current children cumulated CPU time: 1.74 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 129548 KiB
[startup+1.5009 s]
/proc/loadavg: 9.04 8.68 8.36 8/232 18167
/proc/meminfo: memFree=29808356/32770624 swapFree=66996240/67108860
[pid=18151] ppid=18148 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/18151/stat : 18151 (xcsp3-exec) S 18148 18151 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407962783 115843072 362 33554432000 4194304 5098028 140723562783056 140723562781160 140371981214332 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 33304576 140723562787706 140723562787949 140723562787949 140723562790858 0
/proc/18151/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/18153/task/18160/stat : 18160 (java) S 18151 18151 14062 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 16 0 407962786 15582937088 3120437 33554432000 4194304 4196468 140727275519024 140301383005408 140302308800213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18161] ppid=18151 vsize=15217712 memory=9404 CPUtime=0 cores=1,3,5,7
/proc/18153/task/18161/stat : 18161 (java) S 18151 18151 14062 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 16 0 407962786 15582937088 3120437 33554432000 4194304 4196468 140727275519024 140301381952256 140302308800213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18162] ppid=18151 vsize=15217712 memory=2024 CPUtime=0 cores=1,3,5,7
/proc/18153/task/18162/stat : 18162 (java) S 18151 18151 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 407962789 15582937088 3120437 33554432000 4194304 4196468 140727275519024 140301380900816 140302308808603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18163] ppid=18151 vsize=15217712 memory=1380 CPUtime=2.94 cores=1,3,5,7
/proc/18153/task/18163/stat : 18163 (java) S 18151 18151 14062 0 -1 1077944384 13529 0 0 0 291 3 0 0 20 0 16 0 407962789 15582937088 3120437 33554432000 4194304 4196468 140727275519024 140301379848992 140302308800213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18164] ppid=18151 vsize=15217712 memory=1128 CPUtime=2.84 cores=1,3,5,7
/proc/18153/task/18164/stat : 18164 (java) S 18151 18151 14062 0 -1 1077944384 10705 0 0 0 283 1 0 0 20 0 16 0 407962789 15582937088 3120437 33554432000 4194304 4196468 140727275519024 140301378796160 140302308800213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18165] ppid=18151 vsize=15217712 memory=6791534058613427641 CPUtime=0.7 cores=1,3,5,7
/proc/18153/task/18165/stat : 18165 (java) S 18151 18151 14062 0 -1 1077944384 4053 0 0 0 69 1 0 0 20 0 16 0 407962789 15582937088 3120437 33554432000 4194304 4196468 140727275519024 140301377743392 140302308800213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18166] ppid=18151 vsize=15217712 memory=628 CPUtime=0 cores=1,3,5,7
/proc/18153/task/18166/stat : 18166 (java) S 18151 18151 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 407962789 15582937088 3120437 33554432000 4194304 4196468 140727275519024 140301376691040 140302308800213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18167] ppid=18151 vsize=15217712 memory=1056 CPUtime=0.15 cores=1,3,5,7
/proc/18153/task/18167/stat : 18167 (java) S 18151 18151 14062 0 -1 1077944384 378 0 0 0 7 8 0 0 20 0 16 0 407962789 15582937088 3120437 33554432000 4194304 4196468 140727275519024 140301375638064 140302308801154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18358] ppid=18151 vsize=15217712 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/18153/task/18358/stat : 18358 (java) S 18151 18151 14062 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 16 0 407993448 15582937088 3120437 33554432000 4194304 4196468 140727275519024 140301366431168 140302308800213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
Current children cumulated CPU time: 1141.02 s
Current children cumulated vsize: 15330840 KiB
Current children cumulated memory: 12483196 KiB
[startup+315.201 s]
/proc/loadavg: 7.35 7.75 8.05 8/230 18358
/proc/meminfo: memFree=5867848/32770624 swapFree=66996244/67108860
[pid=18151] ppid=18148 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/18151/stat : 18151 (xcsp3-exec) S 18148 18151 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407962783 115843072 362 33554432000 4194304 5098028 140723562783056 140723562781160 140371981214332 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 33304576 140723562787706 140723562787949 140723562787949 140723562790858 0
/proc/18151/statm: 28282 362 304 221 0 87 0
[pid=18153] ppid=18151 vsize=15217712 memory=12481748 CPUtime=1147.21 cores=1,3,5,7
/proc/18153/stat : 18153 (java) S 18151 18151 14062 0 -1 1077944320 544675 0 0 0 113650 1071 0 0 20 0 16 0 407962783 15582937088 3120437 33554432000 4194304 4196468 140727275519024 140727275501568 140302308790007 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
/proc/18153/statm: 3804428 3120437 3526 1 0 3765530 0
[pid=18153/tid=18154] ppid=18151 vsize=15217712 memory=1448 CPUtime=30.17 cores=1,3,5,7
/proc/18153/task/18154/stat : 18154 (java) S 18151 18151 14062 0 -1 1077944384 14766 0 0 0 3003 14 0 0 20 0 16 0 407962783 15582937088 3120437 33554432000 4194304 4196468 140727275519024 140302313030688 140302308800213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18155] ppid=18151 vsize=15217712 memory=12481744 CPUtime=276.2 cores=1,3,5,7
/proc/18153/task/18155/stat : 18155 (java) R 18151 18151 14062 0 -1 4202560 88305 0 0 0 27372 248 0 0 20 0 16 0 407962784 15582937088 3120437 33554432000 4194304 4196468 140727275519024 140301901491336 140302301418215 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18156] ppid=18151 vsize=15217712 memory=12481748 CPUtime=275.96 cores=1,3,5,7
/proc/18153/task/18156/stat : 18156 (java) R 18151 18151 14062 0 -1 4202560 153452 0 0 0 27328 268 0 0 20 0 16 0 407962784 15582937088 3120437 33554432000 4194304 4196468 140727275519024 140301900438560 140302301893659 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18157] ppid=18151 vsize=15217712 memory=1448 CPUtime=275.87 cores=1,3,5,7
/proc/18153/task/18157/stat : 18157 (java) S 18151 18151 14062 0 -1 1077944384 94474 0 0 0 27325 262 0 0 20 0 16 0 407962784 15582937088 3120437 33554432000 4194304 4196468 140727275519024 140301899385424 140302308801154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18158] ppid=18151 vsize=15217712 memory=0 CPUtime=276.03 cores=1,3,5,7
/proc/18153/task/18158/stat : 18158 (java) R 18151 18151 14062 0 -1 4202560 94793 0 0 0 27340 263 0 0 20 0 16 0 407962784 15582937088 3120437 33554432000 4194304 4196468 140727275519024 140301898332880 140302301418215 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18159] ppid=18151 vsize=15217712 memory=6791534058613427641 CPUtime=6.26 cores=1,3,5,7
/proc/18153/task/18159/stat : 18159 (java) S 18151 18151 14062 0 -1 1077944384 68842 0 0 0 622 4 0 0 20 0 16 0 407962785 15582937088 3120437 33554432000 4194304 4196468 140727275519024 140301384057664 140302308800213 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18160] ppid=18151 vsize=15217712 memory=12481748 CPUtime=0 cores=1,3,5,7
/proc/18153/task/18160/stat : 18160 (java) S 18151 18151 14062 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 16 0 407962786 15582937088 3120437 33554432000 4194304 4196468 140727275519024 140301383005408 140302308800213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18161] ppid=18151 vsize=15217712 memory=4008 CPUtime=0 cores=1,3,5,7
/proc/18153/task/18161/stat : 18161 (java) S 18151 18151 14062 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 16 0 407962786 15582937088 3120437 33554432000 4194304 4196468 140727275519024 140301381952256 140302308800213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18162] ppid=18151 vsize=15217712 memory=948 CPUtime=0 cores=1,3,5,7
/proc/18153/task/18162/stat : 18162 (java) S 18151 18151 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 407962789 15582937088 3120437 33554432000 4194304 4196468 140727275519024 140301380900816 140302308808603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18163] ppid=18151 vsize=15217712 memory=1380 CPUtime=2.94 cores=1,3,5,7
/proc/18153/task/18163/stat : 18163 (java) S 18151 18151 14062 0 -1 1077944384 13529 0 0 0 291 3 0 0 20 0 16 0 407962789 15582937088 3120437 33554432000 4194304 4196468 140727275519024 140301379848992 140302308800213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18164] ppid=18151 vsize=15217712 memory=1128 CPUtime=2.84 cores=1,3,5,7
/proc/18153/task/18164/stat : 18164 (java) S 18151 18151 14062 0 -1 1077944384 10705 0 0 0 283 1 0 0 20 0 16 0 407962789 15582937088 3120437 33554432000 4194304 4196468 140727275519024 140301378796160 140302308800213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18165] ppid=18151 vsize=15217712 memory=772 CPUtime=0.7 cores=1,3,5,7
/proc/18153/task/18165/stat : 18165 (java) S 18151 18151 14062 0 -1 1077944384 4053 0 0 0 69 1 0 0 20 0 16 0 407962789 15582937088 3120437 33554432000 4194304 4196468 140727275519024 140301377743392 140302308800213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18166] ppid=18151 vsize=15217712 memory=4008 CPUtime=0 cores=1,3,5,7
/proc/18153/task/18166/stat : 18166 (java) S 18151 18151 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 407962789 15582937088 3120437 33554432000 4194304 4196468 140727275519024 140301376691040 140302308800213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18167] ppid=18151 vsize=15217712 memory=948 CPUtime=0.15 cores=1,3,5,7
/proc/18153/task/18167/stat : 18167 (java) S 18151 18151 14062 0 -1 1077944384 378 0 0 0 7 8 0 0 20 0 16 0 407962789 15582937088 3120437 33554432000 4194304 4196468 140727275519024 140301375638064 140302308801154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18358] ppid=18151 vsize=15217712 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/18153/task/18358/stat : 18358 (java) S 18151 18151 14062 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 16 0 407993448 15582937088 3120437 33554432000 4194304 4196468 140727275519024 140301366431168 140302308800213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
Current children cumulated CPU time: 1147.21 s
Current children cumulated vsize: 15330840 KiB
Current children cumulated memory: 12483196 KiB
[startup+316.801 s]
/proc/loadavg: 7.35 7.75 8.05 9/230 18358
/proc/meminfo: memFree=5867848/32770624 swapFree=66996244/67108860
[pid=18151] ppid=18148 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/18151/stat : 18151 (xcsp3-exec) S 18148 18151 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407962783 115843072 362 33554432000 4194304 5098028 140723562783056 140723562781160 140371981214332 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 33304576 140723562787706 140723562787949 140723562787949 140723562790858 0
/proc/18151/statm: 28282 362 304 221 0 87 0
[pid=18153] ppid=18151 vsize=15217712 memory=12481748 CPUtime=1153.42 cores=1,3,5,7
/proc/18153/stat : 18153 (java) S 18151 18151 14062 0 -1 1077944320 544675 0 0 0 114269 1073 0 0 20 0 16 0 407962783 15582937088 3120437 33554432000 4194304 4196468 140727275519024 140727275501568 140302308790007 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
/proc/18153/statm: 3804428 3120437 3526 1 0 3765530 0
[pid=18153/tid=18154] ppid=18151 vsize=15217712 memory=8736227068425184623 CPUtime=30.17 cores=1,3,5,7
/proc/18153/task/18154/stat : 18154 (java) S 18151 18151 14062 0 -1 1077944384 14766 0 0 0 3003 14 0 0 20 0 16 0 407962783 15582937088 3120437 33554432000 4194304 4196468 140727275519024 140302313030688 140302308800213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18155] ppid=18151 vsize=15217712 memory=12481748 CPUtime=277.72 cores=1,3,5,7
/proc/18153/task/18155/stat : 18155 (java) R 18151 18151 14062 0 -1 4202560 88305 0 0 0 27523 249 0 0 20 0 16 0 407962784 15582937088 3120437 33554432000 4194304 4196468 140727275519024 140301901491336 140302301418215 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18156] ppid=18151 vsize=15217712 memory=0 CPUtime=277.56 cores=1,3,5,7
/proc/18153/task/18156/stat : 18156 (java) R 18151 18151 14062 0 -1 4202560 153452 0 0 0 27488 268 0 0 20 0 16 0 407962784 15582937088 3120437 33554432000 4194304 4196468 140727275519024 140301900438560 140302301893644 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18157] ppid=18151 vsize=15217712 memory=-3622645143214314312 CPUtime=277.41 cores=1,3,5,7
/proc/18153/task/18157/stat : 18157 (java) R 18151 18151 14062 0 -1 4202560 94474 0 0 0 27479 262 0 0 20 0 16 0 407962784 15582937088 3120437 33554432000 4194304 4196468 140727275519024 140301899385736 140302301418215 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18158] ppid=18151 vsize=15217712 memory=1448 CPUtime=277.57 cores=1,3,5,7
/proc/18153/task/18158/stat : 18158 (java) R 18151 18151 14062 0 -1 4202560 94793 0 0 0 27494 263 0 0 20 0 16 0 407962784 15582937088 3120437 33554432000 4194304 4196468 140727275519024 140301898332880 140302301418215 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18159] ppid=18151 vsize=15217712 memory=12481684 CPUtime=6.26 cores=1,3,5,7
/proc/18153/task/18159/stat : 18159 (java) S 18151 18151 14062 0 -1 1077944384 68842 0 0 0 622 4 0 0 20 0 16 0 407962785 15582937088 3120437 33554432000 4194304 4196468 140727275519024 140301384057664 140302308800213 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18160] ppid=18151 vsize=15217712 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/18153/task/18160/stat : 18160 (java) S 18151 18151 14062 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 16 0 407962786 15582937088 3120437 33554432000 4194304 4196468 140727275519024 140301383005408 140302308800213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18161] ppid=18151 vsize=15217712 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/18153/task/18161/stat : 18161 (java) S 18151 18151 14062 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 16 0 407962786 15582937088 3120437 33554432000 4194304 4196468 140727275519024 140301381952256 140302308800213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18162] ppid=18151 vsize=15217712 memory=772 CPUtime=0 cores=1,3,5,7
/proc/18153/task/18162/stat : 18162 (java) S 18151 18151 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 407962789 15582937088 3120437 33554432000 4194304 4196468 140727275519024 140301380900816 140302308808603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18163] ppid=18151 vsize=15217712 memory=4008 CPUtime=2.94 cores=1,3,5,7
/proc/18153/task/18163/stat : 18163 (java) S 18151 18151 14062 0 -1 1077944384 13529 0 0 0 291 3 0 0 20 0 16 0 407962789 15582937088 3120437 33554432000 4194304 4196468 140727275519024 140301379848992 140302308800213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18164] ppid=18151 vsize=15217712 memory=948 CPUtime=2.84 cores=1,3,5,7
/proc/18153/task/18164/stat : 18164 (java) S 18151 18151 14062 0 -1 1077944384 10705 0 0 0 283 1 0 0 20 0 16 0 407962789 15582937088 3120437 33554432000 4194304 4196468 140727275519024 140301378796160 140302308800213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18165] ppid=18151 vsize=15217712 memory=6791534058613427641 CPUtime=0.7 cores=1,3,5,7
/proc/18153/task/18165/stat : 18165 (java) S 18151 18151 14062 0 -1 1077944384 4053 0 0 0 69 1 0 0 20 0 16 0 407962789 15582937088 3120437 33554432000 4194304 4196468 140727275519024 140301377743392 140302308800213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18166] ppid=18151 vsize=15217712 memory=8242832241811678803 CPUtime=0 cores=1,3,5,7
/proc/18153/task/18166/stat : 18166 (java) S 18151 18151 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 407962789 15582937088 3120437 33554432000 4194304 4196468 140727275519024 140301376691040 140302308800213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18167] ppid=18151 vsize=15217712 memory=7594853918973259873 CPUtime=0.15 cores=1,3,5,7
/proc/18153/task/18167/stat : 18167 (java) S 18151 18151 14062 0 -1 1077944384 378 0 0 0 7 8 0 0 20 0 16 0 407962789 15582937088 3120437 33554432000 4194304 4196468 140727275519024 140301375638064 140302308801154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18358] ppid=18151 vsize=15217712 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/18153/task/18358/stat : 18358 (java) S 18151 18151 14062 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 16 0 407993448 15582937088 3120437 33554432000 4194304 4196468 140727275519024 140301366431168 140302308800213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
Current children cumulated CPU time: 1153.42 s
Current children cumulated vsize: 15330840 KiB
Current children cumulated memory: 12483196 KiB
[startup+317.601 s]
/proc/loadavg: 7.35 7.75 8.05 9/230 18358
/proc/meminfo: memFree=5867848/32770624 swapFree=66996244/67108860
[pid=18151] ppid=18148 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/18151/stat : 18151 (xcsp3-exec) S 18148 18151 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407962783 115843072 362 33554432000 4194304 5098028 140723562783056 140723562781160 140371981214332 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 33304576 140723562787706 140723562787949 140723562787949 140723562790858 0
/proc/18151/statm: 28282 362 304 221 0 87 0
[pid=18153] ppid=18151 vsize=15217712 memory=12481748 CPUtime=1156.52 cores=1,3,5,7
/proc/18153/stat : 18153 (java) S 18151 18151 14062 0 -1 1077944320 544703 0 0 0 114578 1074 0 0 20 0 16 0 407962783 15582937088 3120437 33554432000 4194304 4196468 140727275519024 140727275501568 140302308790007 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
/proc/18153/statm: 3804428 3120437 3526 1 0 3765530 0
[pid=18153/tid=18154] ppid=18151 vsize=15217712 memory=0 CPUtime=30.17 cores=1,3,5,7
/proc/18153/task/18154/stat : 18154 (java) S 18151 18151 14062 0 -1 1077944384 14766 0 0 0 3003 14 0 0 20 0 16 0 407962783 15582937088 3120437 33554432000 4194304 4196468 140727275519024 140302313030688 140302308800213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18155] ppid=18151 vsize=15217712 memory=0 CPUtime=278.48 cores=1,3,5,7
/proc/18153/task/18155/stat : 18155 (java) R 18151 18151 14062 0 -1 4202560 88306 0 0 0 27599 249 0 0 20 0 16 0 407962784 15582937088 3120437 33554432000 4194304 4196468 140727275519024 140301901491024 140302301418215 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18156] ppid=18151 vsize=15217712 memory=0 CPUtime=278.36 cores=1,3,5,7
/proc/18153/task/18156/stat : 18156 (java) R 18151 18151 14062 0 -1 4202560 153476 0 0 0 27568 268 0 0 20 0 16 0 407962784 15582937088 3120437 33554432000 4194304 4196468 140727275519024 140301900438560 140302301893649 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18157] ppid=18151 vsize=15217712 memory=6791534058613427641 CPUtime=278.18 cores=1,3,5,7
/proc/18153/task/18157/stat : 18157 (java) R 18151 18151 14062 0 -1 4202560 94474 0 0 0 27555 263 0 0 20 0 16 0 407962784 15582937088 3120437 33554432000 4194304 4196468 140727275519024 140301899385736 140302301418215 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18158] ppid=18151 vsize=15217712 memory=22980 CPUtime=278.33 cores=1,3,5,7
/proc/18153/task/18158/stat : 18158 (java) R 18151 18151 14062 0 -1 4202560 94794 0 0 0 27570 263 0 0 20 0 16 0 407962784 15582937088 3120437 33554432000 4194304 4196468 140727275519024 140301898333192 140302301418215 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18159] ppid=18151 vsize=15217712 memory=984 CPUtime=6.26 cores=1,3,5,7
/proc/18153/task/18159/stat : 18159 (java) S 18151 18151 14062 0 -1 1077944384 68842 0 0 0 622 4 0 0 20 0 16 0 407962785 15582937088 3120437 33554432000 4194304 4196468 140727275519024 140301384057664 140302308800213 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18160] ppid=18151 vsize=15217712 memory=2024 CPUtime=0 cores=1,3,5,7
/proc/18153/task/18160/stat : 18160 (java) S 18151 18151 14062 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 16 0 407962786 15582937088 3120437 33554432000 4194304 4196468 140727275519024 140301383005408 140302308800213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18161] ppid=18151 vsize=15217712 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/18153/task/18161/stat : 18161 (java) S 18151 18151 14062 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 16 0 407962786 15582937088 3120437 33554432000 4194304 4196468 140727275519024 140301381952256 140302308800213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18162] ppid=18151 vsize=15217712 memory=1128 CPUtime=0 cores=1,3,5,7
/proc/18153/task/18162/stat : 18162 (java) S 18151 18151 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 407962789 15582937088 3120437 33554432000 4194304 4196468 140727275519024 140301380900816 140302308808603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18163] ppid=18151 vsize=15217712 memory=772 CPUtime=2.94 cores=1,3,5,7
/proc/18153/task/18163/stat : 18163 (java) S 18151 18151 14062 0 -1 1077944384 13529 0 0 0 291 3 0 0 20 0 16 0 407962789 15582937088 3120437 33554432000 4194304 4196468 140727275519024 140301379848992 140302308800213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18164] ppid=18151 vsize=15217712 memory=4008 CPUtime=2.84 cores=1,3,5,7
/proc/18153/task/18164/stat : 18164 (java) S 18151 18151 14062 0 -1 1077944384 10705 0 0 0 283 1 0 0 20 0 16 0 407962789 15582937088 3120437 33554432000 4194304 4196468 140727275519024 140301378796160 140302308800213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18165] ppid=18151 vsize=15217712 memory=1056 CPUtime=0.7 cores=1,3,5,7
/proc/18153/task/18165/stat : 18165 (java) S 18151 18151 14062 0 -1 1077944384 4053 0 0 0 69 1 0 0 20 0 16 0 407962789 15582937088 3120437 33554432000 4194304 4196468 140727275519024 140301377743392 140302308800213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18166] ppid=18151 vsize=15217712 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/18153/task/18166/stat : 18166 (java) S 18151 18151 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 407962789 15582937088 3120437 33554432000 4194304 4196468 140727275519024 140301376691040 140302308800213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18167] ppid=18151 vsize=15217712 memory=5908 CPUtime=0.15 cores=1,3,5,7
/proc/18153/task/18167/stat : 18167 (java) S 18151 18151 14062 0 -1 1077944384 380 0 0 0 7 8 0 0 20 0 16 0 407962789 15582937088 3120437 33554432000 4194304 4196468 140727275519024 140301375638064 140302308801154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
[pid=18153/tid=18358] ppid=18151 vsize=15217712 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/18153/task/18358/stat : 18358 (java) S 18151 18151 14062 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 16 0 407993448 15582937088 3120437 33554432000 4194304 4196468 140727275519024 140301366431168 140302308800213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33488896 140727275525103 140727275525274 140727275525274 140727275528143 0
Current children cumulated CPU time: 1156.52 s
Current children cumulated vsize: 15330840 KiB
Current children cumulated memory: 12483196 KiB
[startup+318.001 s]*
/proc/loadavg: 7.35 7.75 8.05 6/216 18358
/proc/meminfo: memFree=7715944/32770624 swapFree=66996244/67108860
[pid=18151] ppid=18148 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/18151/stat : 18151 (xcsp3-exec) S 18148 18151 14062 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407962783 115843072 362 33554432000 4194304 5098028 140723562783056 140723562781160 140371981214332 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 33304576 140723562787706 140723562787949 140723562787949 140723562790858 0
/proc/18151/statm: 28282 362 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1448 KiB
Child status: 1
Real time (s): 318.054
CPU time (s): 1157.62
CPU user time (s): 1146.82
CPU system time (s): 10.8053
CPU usage (%): 363.97
Max. virtual memory (cumulated for all children) (KiB): 15330840
Max. memory (cumulated for all children) (KiB): 12483196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1146.82
system time used= 10.8053
maximum resident set size= 12481972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 545648
page faults= 0
swaps= 0
block input operations= 0
block output operations= 496
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16726
involuntary context switches= 25019
# summary of solver processes directly reported to runsolver:
# pid: 18151
# total CPU time (s): 1157.62
# total CPU user time (s): 1146.82
# total CPU system time (s): 10.8053
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.91267 second user time and 3.48291 second system time
The end