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 (13775 MiB free)
memory of node 1: 16384 MiB (15227 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398946-1568698383/watcher-4398946-1568698383 -o /tmp/evaluation-result-4398946-1568698383/solver-4398946-1568698383 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1568698192-7960 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 328385146 HOME/instance-4398946-1568698383.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=9229, runsolver pid=9226
[startup+0.100122 s]*
/proc/loadavg: 7.01 4.07 2.36 7/235 9245
/proc/meminfo: memFree=29683408/32770624 swapFree=66967456/67108860
[pid=9229] ppid=9226 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/9229/stat : 9229 (xcsp3-exec) S 9226 9229 7929 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446105381 115843072 362 33554432000 4194304 5098028 140723151825760 140723151823864 140252797006460 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 13357056 140723151827835 140723151828077 140723151828077 140723151830986 0
/proc/9229/statm: 28282 362 304 221 0 87 0
[pid=9231] ppid=9229 vsize=15144776 memory=29548 CPUtime=0.13 cores=0,2,4,6
/proc/9231/stat : 9231 (java) S 9229 9229 7929 0 -1 1077944320 5814 0 0 0 12 1 0 0 20 0 15 0 446105381 15508250624 7387 33554432000 4194304 4196468 140723880707984 140723880690528 140709834010359 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
/proc/9231/statm: 3786194 7387 3177 1 0 3748377 0
[pid=9231/tid=9232] ppid=9229 vsize=15144776 memory=7100839878610879602 CPUtime=0.09 cores=0,2,4,6
/proc/9231/task/9232/stat : 9232 (java) R 9229 9229 7929 0 -1 4202560 3716 0 0 0 8 1 0 0 20 0 15 0 446105382 15508250624 7387 33554432000 4194304 4196468 140723880707984 140709838239712 140709815878755 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9233] ppid=9229 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/9231/task/9233/stat : 9233 (java) S 9229 9229 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446105382 15508250624 7387 33554432000 4194304 4196468 140723880707984 140709786630416 140709834020565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9234] ppid=9229 vsize=15144776 memory=139998508713600 CPUtime=0 cores=0,2,4,6
/proc/9231/task/9234/stat : 9234 (java) S 9229 9229 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446105382 15508250624 7387 33554432000 4194304 4196468 140723880707984 140709785577872 140709834020565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9235] ppid=9229 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9231/task/9235/stat : 9235 (java) S 9229 9229 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446105382 15508250624 7387 33554432000 4194304 4196468 140723880707984 140709784525328 140709834020565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9236] ppid=9229 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9231/task/9236/stat : 9236 (java) S 9229 9229 7929 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446105382 15508250624 7387 33554432000 4194304 4196468 140723880707984 140709783472784 140709834020565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9237] ppid=9229 vsize=15144776 memory=139998508713600 CPUtime=0 cores=0,2,4,6
/proc/9231/task/9237/stat : 9237 (java) S 9229 9229 7929 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446105384 15508250624 7387 33554432000 4194304 4196468 140723880707984 140709302626800 140709834021506 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9238] ppid=9229 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9231/task/9238/stat : 9238 (java) S 9229 9229 7929 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446105384 15508250624 7387 33554432000 4194304 4196468 140723880707984 140709301573024 140709834020565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9239] ppid=9229 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9231/task/9239/stat : 9239 (java) S 9229 9229 7929 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446105384 15508250624 7387 33554432000 4194304 4196468 140723880707984 140709300520432 140709834020565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9240] ppid=9229 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9231/task/9240/stat : 9240 (java) S 9229 9229 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446105387 15508250624 7387 33554432000 4194304 4196468 140723880707984 140709299469008 140709834028955 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9241] ppid=9229 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9231/task/9241/stat : 9241 (java) S 9229 9229 7929 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 446105387 15508250624 7387 33554432000 4194304 4196468 140723880707984 140709298415696 140709834020565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9242] ppid=9229 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9231/task/9242/stat : 9242 (java) S 9229 9229 7929 0 -1 1077944384 165 0 0 0 0 0 0 0 20 0 15 0 446105387 15508250624 7387 33554432000 4194304 4196468 140723880707984 140709297363184 140709834020565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9243] ppid=9229 vsize=15144776 memory=139998508713600 CPUtime=0.02 cores=0,2,4,6
/proc/9231/task/9243/stat : 9243 (java) R 9229 9229 7929 0 -1 4202560 355 0 0 0 2 0 0 0 20 0 15 0 446105387 15508250624 7387 33554432000 4194304 4196468 140723880707984 140709296310512 140709834022294 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9244] ppid=9229 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9231/task/9244/stat : 9244 (java) S 9229 9229 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446105387 15508250624 7387 33554432000 4194304 4196468 140723880707984 140709295258208 140709834020565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9245] ppid=9229 vsize=15144776 memory=139998508713600 CPUtime=0 cores=0,2,4,6
/proc/9231/task/9245/stat : 9245 (java) S 9229 9229 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446105387 15508250624 7387 33554432000 4194304 4196468 140723880707984 140709294205744 140709834021506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30996 KiB
[startup+0.211932 s]*
/proc/loadavg: 7.01 4.07 2.36 7/235 9245
/proc/meminfo: memFree=29671804/32770624 swapFree=66967456/67108860
[pid=9229] ppid=9226 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/9229/stat : 9229 (xcsp3-exec) S 9226 9229 7929 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446105381 115843072 362 33554432000 4194304 5098028 140723151825760 140723151823864 140252797006460 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 13357056 140723151827835 140723151828077 140723151828077 140723151830986 0
/proc/9229/statm: 28282 362 304 221 0 87 0
[pid=9231] ppid=9229 vsize=15144776 memory=40468 CPUtime=0.34 cores=0,2,4,6
/proc/9231/stat : 9231 (java) S 9229 9229 7929 0 -1 1077944320 9354 0 0 0 32 2 0 0 20 0 15 0 446105381 15508250624 10117 33554432000 4194304 4196468 140723880707984 140723880690528 140709834010359 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
/proc/9231/statm: 3786194 10117 3315 1 0 3748377 0
[pid=9231/tid=9232] ppid=9229 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/9231/task/9232/stat : 9232 (java) S 9229 9229 7929 0 -1 1077944384 6644 0 0 0 18 2 0 0 20 0 15 0 446105382 15508250624 10117 33554432000 4194304 4196468 140723880707984 140709838245344 140709834020565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9233] ppid=9229 vsize=15144776 memory=9034 CPUtime=0 cores=0,2,4,6
/proc/9231/task/9233/stat : 9233 (java) S 9229 9229 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446105382 15508250624 10117 33554432000 4194304 4196468 140723880707984 140709786630416 140709834020565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9234] ppid=9229 vsize=15144776 memory=139998511998179 CPUtime=0 cores=0,2,4,6
/proc/9231/task/9234/stat : 9234 (java) S 9229 9229 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446105382 15508250624 10117 33554432000 4194304 4196468 140723880707984 140709785577872 140709834020565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9235] ppid=9229 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9231/task/9235/stat : 9235 (java) S 9229 9229 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446105382 15508250624 10117 33554432000 4194304 4196468 140723880707984 140709784525328 140709834020565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9236] ppid=9229 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9231/task/9236/stat : 9236 (java) S 9229 9229 7929 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446105382 15508250624 10117 33554432000 4194304 4196468 140723880707984 140709783472784 140709834020565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9237] ppid=9229 vsize=15144776 memory=139998508713600 CPUtime=0 cores=0,2,4,6
/proc/9231/task/9237/stat : 9237 (java) S 9229 9229 7929 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446105384 15508250624 10117 33554432000 4194304 4196468 140723880707984 140709302626800 140709834021506 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9238] ppid=9229 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9231/task/9238/stat : 9238 (java) S 9229 9229 7929 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446105384 15508250624 10117 33554432000 4194304 4196468 140723880707984 140709301573024 140709834020565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9239] ppid=9229 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9231/task/9239/stat : 9239 (java) S 9229 9229 7929 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446105384 15508250624 10117 33554432000 4194304 4196468 140723880707984 140709300520432 140709834020565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9240] ppid=9229 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9231/task/9240/stat : 9240 (java) S 9229 9229 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446105387 15508250624 10117 33554432000 4194304 4196468 140723880707984 140709299469008 140709834028955 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9241] ppid=9229 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/9231/task/9241/stat : 9241 (java) S 9229 9229 7929 0 -1 1077944384 352 0 0 0 2 0 0 0 20 0 15 0 446105387 15508250624 10117 33554432000 4194304 4196468 140723880707984 140709298415600 140709834021506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9242] ppid=9229 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/9231/task/9242/stat : 9242 (java) S 9229 9229 7929 0 -1 1077944384 278 0 0 0 2 0 0 0 20 0 15 0 446105387 15508250624 10117 33554432000 4194304 4196468 140723880707984 140709297363056 140709834021506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9243] ppid=9229 vsize=15144776 memory=139998508713600 CPUtime=0.08 cores=0,2,4,6
/proc/9231/task/9243/stat : 9243 (java) S 9229 9229 7929 0 -1 1077944384 782 0 0 0 8 0 0 0 20 0 15 0 446105387 15508250624 10117 33554432000 4194304 4196468 140723880707984 140709296310512 140709834021506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9244] ppid=9229 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9231/task/9244/stat : 9244 (java) S 9229 9229 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446105387 15508250624 10117 33554432000 4194304 4196468 140723880707984 140709295258208 140709834020565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9245] ppid=9229 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9231/task/9245/stat : 9245 (java) S 9229 9229 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446105387 15508250624 10117 33554432000 4194304 4196468 140723880707984 140709294205744 140709834021506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41916 KiB
[startup+0.310526 s]*
/proc/loadavg: 7.01 4.07 2.36 7/235 9245
/proc/meminfo: memFree=29664044/32770624 swapFree=66967456/67108860
[pid=9229] ppid=9226 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/9229/stat : 9229 (xcsp3-exec) S 9226 9229 7929 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446105381 115843072 362 33554432000 4194304 5098028 140723151825760 140723151823864 140252797006460 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 13357056 140723151827835 140723151828077 140723151828077 140723151830986 0
/proc/9229/statm: 28282 362 304 221 0 87 0
[pid=9231] ppid=9229 vsize=15149032 memory=50220 CPUtime=0.53 cores=0,2,4,6
/proc/9231/stat : 9231 (java) S 9229 9229 7929 0 -1 1077944320 10861 0 0 0 50 3 0 0 20 0 15 0 446105381 15512608768 12551 33554432000 4194304 4196468 140723880707984 140723880690528 140709834010359 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
/proc/9231/statm: 3787258 12555 3365 1 0 3748377 0
[pid=9231/tid=9232] ppid=9229 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/9231/task/9232/stat : 9232 (java) R 9229 9229 7929 0 -1 4202560 7828 0 0 0 27 3 0 0 20 0 15 0 446105382 15512608768 12555 33554432000 4194304 4196468 140723880707984 140709838241472 140709818090846 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9233] ppid=9229 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/9231/task/9233/stat : 9233 (java) S 9229 9229 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446105382 15512608768 12555 33554432000 4194304 4196468 140723880707984 140709786630416 140709834020565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9234] ppid=9229 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/9231/task/9234/stat : 9234 (java) S 9229 9229 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446105382 15512608768 12555 33554432000 4194304 4196468 140723880707984 140709785577872 140709834020565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9235] ppid=9229 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/9231/task/9235/stat : 9235 (java) S 9229 9229 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446105382 15512608768 12555 33554432000 4194304 4196468 140723880707984 140709784525328 140709834020565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9236] ppid=9229 vsize=15149032 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/9231/task/9236/stat : 9236 (java) S 9229 9229 7929 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446105382 15512608768 12555 33554432000 4194304 4196468 140723880707984 140709783472784 140709834020565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9237] ppid=9229 vsize=15149032 memory=7307460107981921142 CPUtime=0 cores=0,2,4,6
/proc/9231/task/9237/stat : 9237 (java) S 9229 9229 7929 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446105384 15512608768 12555 33554432000 4194304 4196468 140723880707984 140709302626800 140709834021506 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9238] ppid=9229 vsize=15149032 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/9231/task/9238/stat : 9238 (java) S 9229 9229 7929 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446105384 15512608768 12555 33554432000 4194304 4196468 140723880707984 140709301573024 140709834020565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9239] ppid=9229 vsize=15149032 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/9231/task/9239/stat : 9239 (java) S 9229 9229 7929 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446105384 15512608768 12555 33554432000 4194304 4196468 140723880707984 140709300520432 140709834020565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9240] ppid=9229 vsize=15149032 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/9231/task/9240/stat : 9240 (java) S 9229 9229 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446105387 15512608768 12555 33554432000 4194304 4196468 140723880707984 140709299469008 140709834028955 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9241] ppid=9229 vsize=15149032 memory=-8412656567168561567 CPUtime=0.05 cores=0,2,4,6
/proc/9231/task/9241/stat : 9241 (java) S 9229 9229 7929 0 -1 1077944384 492 0 0 0 5 0 0 0 20 0 15 0 446105387 15512608768 12555 33554432000 4194304 4196468 140723880707984 140709298415600 140709834021506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9242] ppid=9229 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/9231/task/9242/stat : 9242 (java) S 9229 9229 7929 0 -1 1077944384 303 0 0 0 4 0 0 0 20 0 15 0 446105387 15512608768 12555 33554432000 4194304 4196468 140723880707984 140709297363056 140709834021506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9243] ppid=9229 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/9231/task/9243/stat : 9243 (java) S 9229 9229 7929 0 -1 1077944384 945 0 0 0 13 0 0 0 20 0 15 0 446105387 15512608768 12555 33554432000 4194304 4196468 140723880707984 140709296310512 140709834021506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9244] ppid=9229 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9231/task/9244/stat : 9244 (java) S 9229 9229 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446105387 15512608768 12555 33554432000 4194304 4196468 140723880707984 140709295258208 140709834020565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9245] ppid=9229 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9231/task/9245/stat : 9245 (java) S 9229 9229 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446105387 15512608768 12555 33554432000 4194304 4196468 140723880707984 140709294205744 140709834021506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51668 KiB
[startup+0.700823 s]
/proc/loadavg: 7.01 4.07 2.36 7/235 9245
/proc/meminfo: memFree=29550960/32770624 swapFree=66967456/67108860
[pid=9229] ppid=9226 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/9229/stat : 9229 (xcsp3-exec) S 9226 9229 7929 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446105381 115843072 362 33554432000 4194304 5098028 140723151825760 140723151823864 140252797006460 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 13357056 140723151827835 140723151828077 140723151828077 140723151830986 0
/proc/9229/statm: 28282 362 304 221 0 87 0
[pid=9231] ppid=9229 vsize=15149032 memory=288988 CPUtime=1.27 cores=0,2,4,6
/proc/9231/stat : 9231 (java) S 9229 9229 7929 0 -1 1077944320 11975 0 0 0 103 24 0 0 20 0 15 0 446105381 15512608768 72247 33554432000 4194304 4196468 140723880707984 140723880690528 140709834010359 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
/proc/9231/statm: 3787258 72247 3419 1 0 3748377 0
[pid=9231/tid=9232] ppid=9229 vsize=15149032 memory=0 CPUtime=0.61 cores=0,2,4,6
/proc/9231/task/9232/stat : 9232 (java) R 9229 9229 7929 0 -1 4202560 8020 0 0 0 54 7 0 0 20 0 15 0 446105382 15512608768 72247 33554432000 4194304 4196468 140723880707984 140709838249216 140709834032285 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9233] ppid=9229 vsize=15149032 memory=47216 CPUtime=0.05 cores=0,2,4,6
/proc/9231/task/9233/stat : 9233 (java) S 9229 9229 7929 0 -1 1077944384 66 0 0 0 2 3 0 0 20 0 15 0 446105382 15512608768 72247 33554432000 4194304 4196468 140723880707984 140709786630416 140709834020565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9234] ppid=9229 vsize=15149032 memory=984 CPUtime=0.06 cores=0,2,4,6
/proc/9231/task/9234/stat : 9234 (java) S 9229 9229 7929 0 -1 1077944384 64 0 0 0 2 4 0 0 20 0 15 0 446105382 15512608768 72247 33554432000 4194304 4196468 140723880707984 140709785577872 140709834020565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9235] ppid=9229 vsize=15149032 memory=2004 CPUtime=0.05 cores=0,2,4,6
/proc/9231/task/9235/stat : 9235 (java) S 9229 9229 7929 0 -1 1077944384 55 0 0 0 2 3 0 0 20 0 15 0 446105382 15512608768 72247 33554432000 4194304 4196468 140723880707984 140709784525328 140709834020565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9236] ppid=9229 vsize=15149032 memory=1376 CPUtime=0.05 cores=0,2,4,6
/proc/9231/task/9236/stat : 9236 (java) S 9229 9229 7929 0 -1 1077944384 70 0 0 0 2 3 0 0 20 0 15 0 446105382 15512608768 72247 33554432000 4194304 4196468 140723880707984 140709783472784 140709834020565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9237] ppid=9229 vsize=15149032 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/9231/task/9237/stat : 9237 (java) S 9229 9229 7929 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 446105384 15512608768 72247 33554432000 4194304 4196468 140723880707984 140709302626800 140709834021506 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9238] ppid=9229 vsize=15149032 memory=4068 CPUtime=0 cores=0,2,4,6
/proc/9231/task/9238/stat : 9238 (java) S 9229 9229 7929 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 446105384 15512608768 72247 33554432000 4194304 4196468 140723880707984 140709301573024 140709834020565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9239] ppid=9229 vsize=15149032 memory=1720 CPUtime=0 cores=0,2,4,6
/proc/9231/task/9239/stat : 9239 (java) S 9229 9229 7929 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 446105384 15512608768 72247 33554432000 4194304 4196468 140723880707984 140709300520432 140709834020565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9240] ppid=9229 vsize=15149032 memory=5948 CPUtime=0 cores=0,2,4,6
/proc/9231/task/9240/stat : 9240 (java) S 9229 9229 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446105387 15512608768 72247 33554432000 4194304 4196468 140723880707984 140709299469008 140709834028955 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9241] ppid=9229 vsize=15149032 memory=10564 CPUtime=0.1 cores=0,2,4,6
/proc/9231/task/9241/stat : 9241 (java) S 9229 9229 7929 0 -1 1077944384 543 0 0 0 10 0 0 0 20 0 15 0 446105387 15512608768 72247 33554432000 4194304 4196468 140723880707984 140709298415600 140709834021506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9242] ppid=9229 vsize=15149032 memory=716 CPUtime=0.1 cores=0,2,4,6
/proc/9231/task/9242/stat : 9242 (java) R 9229 9229 7929 0 -1 4202560 744 0 0 0 10 0 0 0 20 0 15 0 446105387 15512608768 72247 33554432000 4194304 4196468 140723880707984 140709297355008 140709818404116 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9243] ppid=9229 vsize=15149032 memory=780 CPUtime=0.16 cores=0,2,4,6
/proc/9231/task/9243/stat : 9243 (java) S 9229 9229 7929 0 -1 1077944384 1035 0 0 0 16 0 0 0 20 0 15 0 446105387 15512608768 72247 33554432000 4194304 4196468 140723880707984 140709296310512 140709834021506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9244] ppid=9229 vsize=15149032 memory=1552 CPUtime=0 cores=0,2,4,6
/proc/9231/task/9244/stat : 9244 (java) S 9229 9229 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446105387 15512608768 72247 33554432000 4194304 4196468 140723880707984 140709295258208 140709834020565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9245] ppid=9229 vsize=15149032 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/9231/task/9245/stat : 9245 (java) S 9229 9229 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446105387 15512608768 72247 33554432000 4194304 4196468 140723880707984 140709294205744 140709834021506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
Current children cumulated CPU time: 1.27 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 290436 KiB
[startup+1.50081 s]
/proc/loadavg: 7.01 4.07 2.36 6/235 9245
/proc/meminfo: memFree=29237476/32770624 swapFree=66967456/67108860
[pid=9229] ppid=9226 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/9229/stat : 9229 (xcsp3-exec) S 9226 9229 7929 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446105381 115843072 362 33554432000 4194304 5098028 140723151825760 140723151823864 140252797006460 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 13357056 140723151827835 140723151828077 140723151828077 140723151830986 0
/proc/9229/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/9231/task/9234/stat : 9234 (java) R 9229 9229 7929 0 -1 4202560 325731 0 0 0 15220 283 0 0 20 0 15 0 446105382 15514783744 3202218 33554432000 4194304 4196468 140723880707984 140709785577760 140709818963911 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9235] ppid=9229 vsize=15151156 memory=984 CPUtime=155.23 cores=0,2,4,6
/proc/9231/task/9235/stat : 9235 (java) R 9229 9229 7929 0 -1 4202560 371493 0 0 0 15261 262 0 0 20 0 15 0 446105382 15514783744 3202218 33554432000 4194304 4196468 140723880707984 140709784525528 140709818707998 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9236] ppid=9229 vsize=15151156 memory=4486604260213485459 CPUtime=154.83 cores=0,2,4,6
/proc/9231/task/9236/stat : 9236 (java) R 9229 9229 7929 0 -1 4202560 254749 0 0 0 15191 292 0 0 20 0 15 0 446105382 15514783744 3202218 33554432000 4194304 4196468 140723880707984 140709783472680 140709826638567 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9237] ppid=9229 vsize=15151156 memory=984 CPUtime=16.48 cores=0,2,4,6
/proc/9231/task/9237/stat : 9237 (java) S 9229 9229 7929 0 -1 1077944384 125506 0 0 0 1636 12 0 0 20 0 15 0 446105384 15514783744 3202218 33554432000 4194304 4196468 140723880707984 140709302625120 140709834020565 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9238] ppid=9229 vsize=15151156 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/9231/task/9238/stat : 9238 (java) S 9229 9229 7929 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 446105384 15514783744 3202218 33554432000 4194304 4196468 140723880707984 140709301573088 140709834020565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9239] ppid=9229 vsize=15151156 memory=12808800 CPUtime=0 cores=0,2,4,6
/proc/9231/task/9239/stat : 9239 (java) S 9229 9229 7929 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 15 0 446105384 15514783744 3202218 33554432000 4194304 4196468 140723880707984 140709300520448 140709834020565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9240] ppid=9229 vsize=15151156 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/9231/task/9240/stat : 9240 (java) S 9229 9229 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446105387 15514783744 3202218 33554432000 4194304 4196468 140723880707984 140709299469008 140709834028955 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9241] ppid=9229 vsize=15151156 memory=12808836 CPUtime=1.18 cores=0,2,4,6
/proc/9231/task/9241/stat : 9241 (java) S 9229 9229 7929 0 -1 1077944384 7411 0 0 0 117 1 0 0 20 0 15 0 446105387 15514783744 3202218 33554432000 4194304 4196468 140723880707984 140709298415600 140709834021506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9242] ppid=9229 vsize=15151156 memory=2004 CPUtime=1.24 cores=0,2,4,6
/proc/9231/task/9242/stat : 9242 (java) S 9229 9229 7929 0 -1 1077944384 7518 0 0 0 122 2 0 0 20 0 15 0 446105387 15514783744 3202218 33554432000 4194304 4196468 140723880707984 140709297363056 140709834021506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9243] ppid=9229 vsize=15151156 memory=1376 CPUtime=0.55 cores=0,2,4,6
/proc/9231/task/9243/stat : 9243 (java) S 9229 9229 7929 0 -1 1077944384 8641 0 0 0 54 1 0 0 20 0 15 0 446105387 15514783744 3202218 33554432000 4194304 4196468 140723880707984 140709296310512 140709834021506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9244] ppid=9229 vsize=15151156 memory=12808852 CPUtime=0 cores=0,2,4,6
/proc/9231/task/9244/stat : 9244 (java) S 9229 9229 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446105387 15514783744 3202218 33554432000 4194304 4196468 140723880707984 140709295258208 140709834020565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9245] ppid=9229 vsize=15151156 memory=111632 CPUtime=0.14 cores=0,2,4,6
/proc/9231/task/9245/stat : 9245 (java) S 9229 9229 7929 0 -1 1077944384 808 0 0 0 7 7 0 0 20 0 15 0 446105387 15514783744 3202218 33554432000 4194304 4196468 140723880707984 140709294205744 140709834021506 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
Current children cumulated CPU time: 767.99 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 12810320 KiB
[startup+304.001 s]*
/proc/loadavg: 6.71 5.55 3.45 10/229 9428
/proc/meminfo: memFree=8264320/32770624 swapFree=66967456/67108860
[pid=9229] ppid=9226 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/9229/stat : 9229 (xcsp3-exec) S 9226 9229 7929 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446105381 115843072 362 33554432000 4194304 5098028 140723151825760 140723151823864 140252797006460 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 13357056 140723151827835 140723151828077 140723151828077 140723151830986 0
/proc/9229/statm: 28282 362 304 221 0 87 0
[pid=9231] ppid=9229 vsize=15151156 memory=12808872 CPUtime=780.46 cores=0,2,4,6
/proc/9231/stat : 9231 (java) S 9229 9229 7929 0 -1 1077944320 1522000 0 0 0 76817 1229 0 0 20 0 15 0 446105381 15514783744 3202218 33554432000 4194304 4196468 140723880707984 140723880690528 140709834010359 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
/proc/9231/statm: 3787789 3202218 3511 1 0 3748889 0
[pid=9231/tid=9232] ppid=9229 vsize=15151156 memory=1448 CPUtime=128.01 cores=0,2,4,6
/proc/9231/task/9232/stat : 9232 (java) S 9229 9229 7929 0 -1 1077944384 45323 0 0 0 12738 63 0 0 20 0 15 0 446105382 15514783744 3202218 33554432000 4194304 4196468 140723880707984 140709838249584 140709834020565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9233] ppid=9229 vsize=15151156 memory=12808852 CPUtime=158.3 cores=0,2,4,6
/proc/9231/task/9233/stat : 9233 (java) R 9229 9229 7929 0 -1 4202560 351406 0 0 0 15528 302 0 0 20 0 15 0 446105382 15514783744 3202218 33554432000 4194304 4196468 140723880707984 140709786630536 140709826638567 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9234] ppid=9229 vsize=15151156 memory=4126316290023845779 CPUtime=158.15 cores=0,2,4,6
/proc/9231/task/9234/stat : 9234 (java) R 9229 9229 7929 0 -1 4202560 325731 0 0 0 15531 284 0 0 20 0 15 0 446105382 15514783744 3202218 33554432000 4194304 4196468 140723880707984 140709785577680 140709826638567 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9235] ppid=9229 vsize=15151156 memory=1376 CPUtime=158.38 cores=0,2,4,6
/proc/9231/task/9235/stat : 9235 (java) R 9229 9229 7929 0 -1 4202560 390551 0 0 0 15575 263 0 0 20 0 15 0 446105382 15514783744 3202218 33554432000 4194304 4196468 140723880707984 140709784525448 140709826638567 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9236] ppid=9229 vsize=15151156 memory=1060 CPUtime=157.94 cores=0,2,4,6
/proc/9231/task/9236/stat : 9236 (java) R 9229 9229 7929 0 -1 4202560 257677 0 0 0 15500 294 0 0 20 0 15 0 446105382 15514783744 3202218 33554432000 4194304 4196468 140723880707984 140709783472904 140709827110023 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9237] ppid=9229 vsize=15151156 memory=4068 CPUtime=16.49 cores=0,2,4,6
/proc/9231/task/9237/stat : 9237 (java) S 9229 9229 7929 0 -1 1077944384 125507 0 0 0 1637 12 0 0 20 0 15 0 446105384 15514783744 3202218 33554432000 4194304 4196468 140723880707984 140709302625344 140709834020565 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9238] ppid=9229 vsize=15151156 memory=1720 CPUtime=0 cores=0,2,4,6
/proc/9231/task/9238/stat : 9238 (java) S 9229 9229 7929 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 446105384 15514783744 3202218 33554432000 4194304 4196468 140723880707984 140709301573088 140709834020565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9239] ppid=9229 vsize=15151156 memory=5948 CPUtime=0 cores=0,2,4,6
/proc/9231/task/9239/stat : 9239 (java) S 9229 9229 7929 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 15 0 446105384 15514783744 3202218 33554432000 4194304 4196468 140723880707984 140709300520448 140709834020565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9240] ppid=9229 vsize=15151156 memory=10564 CPUtime=0 cores=0,2,4,6
/proc/9231/task/9240/stat : 9240 (java) S 9229 9229 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446105387 15514783744 3202218 33554432000 4194304 4196468 140723880707984 140709299469008 140709834028955 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9241] ppid=9229 vsize=15151156 memory=716 CPUtime=1.18 cores=0,2,4,6
/proc/9231/task/9241/stat : 9241 (java) S 9229 9229 7929 0 -1 1077944384 7411 0 0 0 117 1 0 0 20 0 15 0 446105387 15514783744 3202218 33554432000 4194304 4196468 140723880707984 140709298415600 140709834021506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9242] ppid=9229 vsize=15151156 memory=784 CPUtime=1.24 cores=0,2,4,6
/proc/9231/task/9242/stat : 9242 (java) S 9229 9229 7929 0 -1 1077944384 7518 0 0 0 122 2 0 0 20 0 15 0 446105387 15514783744 3202218 33554432000 4194304 4196468 140723880707984 140709297363056 140709834021506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9243] ppid=9229 vsize=15151156 memory=1552 CPUtime=0.55 cores=0,2,4,6
/proc/9231/task/9243/stat : 9243 (java) S 9229 9229 7929 0 -1 1077944384 8641 0 0 0 54 1 0 0 20 0 15 0 446105387 15514783744 3202218 33554432000 4194304 4196468 140723880707984 140709296310512 140709834021506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9244] ppid=9229 vsize=15151156 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/9231/task/9244/stat : 9244 (java) S 9229 9229 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446105387 15514783744 3202218 33554432000 4194304 4196468 140723880707984 140709295258208 140709834020565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9245] ppid=9229 vsize=15151156 memory=1192 CPUtime=0.14 cores=0,2,4,6
/proc/9231/task/9245/stat : 9245 (java) S 9229 9229 7929 0 -1 1077944384 810 0 0 0 7 7 0 0 20 0 15 0 446105387 15514783744 3202218 33554432000 4194304 4196468 140723880707984 140709294205744 140709834021506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
Current children cumulated CPU time: 780.46 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 12810320 KiB
[startup+304.801 s]
/proc/loadavg: 6.71 5.55 3.45 10/229 9428
/proc/meminfo: memFree=8264320/32770624 swapFree=66967456/67108860
[pid=9229] ppid=9226 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/9229/stat : 9229 (xcsp3-exec) S 9226 9229 7929 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446105381 115843072 362 33554432000 4194304 5098028 140723151825760 140723151823864 140252797006460 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 13357056 140723151827835 140723151828077 140723151828077 140723151830986 0
/proc/9229/statm: 28282 362 304 221 0 87 0
[pid=9231] ppid=9229 vsize=15151156 memory=12808872 CPUtime=783.52 cores=0,2,4,6
/proc/9231/stat : 9231 (java) S 9229 9229 7929 0 -1 1077944320 1522930 0 0 0 77122 1230 0 0 20 0 15 0 446105381 15514783744 3202218 33554432000 4194304 4196468 140723880707984 140723880690528 140709834010359 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
/proc/9231/statm: 3787789 3202218 3511 1 0 3748889 0
[pid=9231/tid=9232] ppid=9229 vsize=15151156 memory=1448 CPUtime=128.01 cores=0,2,4,6
/proc/9231/task/9232/stat : 9232 (java) S 9229 9229 7929 0 -1 1077944384 45323 0 0 0 12738 63 0 0 20 0 15 0 446105382 15514783744 3202218 33554432000 4194304 4196468 140723880707984 140709838249584 140709834020565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9233] ppid=9229 vsize=15151156 memory=12808872 CPUtime=159.05 cores=0,2,4,6
/proc/9231/task/9233/stat : 9233 (java) R 9229 9229 7929 0 -1 4202560 351427 0 0 0 15603 302 0 0 20 0 15 0 446105382 15514783744 3202218 33554432000 4194304 4196468 140723880707984 140709786630536 140709827107060 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9234] ppid=9229 vsize=15151156 memory=12808872 CPUtime=158.9 cores=0,2,4,6
/proc/9231/task/9234/stat : 9234 (java) R 9229 9229 7929 0 -1 4202560 325754 0 0 0 15606 284 0 0 20 0 15 0 446105382 15514783744 3202218 33554432000 4194304 4196468 140723880707984 140709785577680 140709818710242 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9235] ppid=9229 vsize=15151156 memory=47216 CPUtime=159.13 cores=0,2,4,6
/proc/9231/task/9235/stat : 9235 (java) R 9229 9229 7929 0 -1 4202560 390564 0 0 0 15650 263 0 0 20 0 15 0 446105382 15514783744 3202218 33554432000 4194304 4196468 140723880707984 140709784525448 140709818710120 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9236] ppid=9229 vsize=15151156 memory=984 CPUtime=158.74 cores=0,2,4,6
/proc/9231/task/9236/stat : 9236 (java) R 9229 9229 7929 0 -1 4202560 258549 0 0 0 15579 295 0 0 20 0 15 0 446105382 15514783744 3202218 33554432000 4194304 4196468 140723880707984 140709783472904 140709818999986 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9237] ppid=9229 vsize=15151156 memory=8112282956445269571 CPUtime=16.49 cores=0,2,4,6
/proc/9231/task/9237/stat : 9237 (java) S 9229 9229 7929 0 -1 1077944384 125507 0 0 0 1637 12 0 0 20 0 15 0 446105384 15514783744 3202218 33554432000 4194304 4196468 140723880707984 140709302625344 140709834020565 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9238] ppid=9229 vsize=15151156 memory=920 CPUtime=0 cores=0,2,4,6
/proc/9231/task/9238/stat : 9238 (java) S 9229 9229 7929 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 446105384 15514783744 3202218 33554432000 4194304 4196468 140723880707984 140709301573088 140709834020565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9239] ppid=9229 vsize=15151156 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/9231/task/9239/stat : 9239 (java) S 9229 9229 7929 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 15 0 446105384 15514783744 3202218 33554432000 4194304 4196468 140723880707984 140709300520448 140709834020565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9240] ppid=9229 vsize=15151156 memory=2712 CPUtime=0 cores=0,2,4,6
/proc/9231/task/9240/stat : 9240 (java) S 9229 9229 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446105387 15514783744 3202218 33554432000 4194304 4196468 140723880707984 140709299469008 140709834028955 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9241] ppid=9229 vsize=15151156 memory=4126316290023845779 CPUtime=1.18 cores=0,2,4,6
/proc/9231/task/9241/stat : 9241 (java) S 9229 9229 7929 0 -1 1077944384 7411 0 0 0 117 1 0 0 20 0 15 0 446105387 15514783744 3202218 33554432000 4194304 4196468 140723880707984 140709298415600 140709834021506 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9242] ppid=9229 vsize=15151156 memory=12808852 CPUtime=1.24 cores=0,2,4,6
/proc/9231/task/9242/stat : 9242 (java) S 9229 9229 7929 0 -1 1077944384 7518 0 0 0 122 2 0 0 20 0 15 0 446105387 15514783744 3202218 33554432000 4194304 4196468 140723880707984 140709297363056 140709834021506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9243] ppid=9229 vsize=15151156 memory=15537410121403819 CPUtime=0.55 cores=0,2,4,6
/proc/9231/task/9243/stat : 9243 (java) S 9229 9229 7929 0 -1 1077944384 8641 0 0 0 54 1 0 0 20 0 15 0 446105387 15514783744 3202218 33554432000 4194304 4196468 140723880707984 140709296310512 140709834021506 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9244] ppid=9229 vsize=15151156 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/9231/task/9244/stat : 9244 (java) S 9229 9229 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446105387 15514783744 3202218 33554432000 4194304 4196468 140723880707984 140709295258208 140709834020565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9245] ppid=9229 vsize=15151156 memory=8112282956445269571 CPUtime=0.14 cores=0,2,4,6
/proc/9231/task/9245/stat : 9245 (java) S 9229 9229 7929 0 -1 1077944384 810 0 0 0 7 7 0 0 20 0 15 0 446105387 15514783744 3202218 33554432000 4194304 4196468 140723880707984 140709294205744 140709834021506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
Current children cumulated CPU time: 783.52 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 12810320 KiB
[startup+305.201 s]
/proc/loadavg: 6.71 5.55 3.45 3/229 9428
/proc/meminfo: memFree=8264196/32770624 swapFree=66967456/67108860
[pid=9229] ppid=9226 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/9229/stat : 9229 (xcsp3-exec) S 9226 9229 7929 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446105381 115843072 362 33554432000 4194304 5098028 140723151825760 140723151823864 140252797006460 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 13357056 140723151827835 140723151828077 140723151828077 140723151830986 0
/proc/9229/statm: 28282 362 304 221 0 87 0
[pid=9231] ppid=9229 vsize=15151156 memory=12808872 CPUtime=784.35 cores=0,2,4,6
/proc/9231/stat : 9231 (java) S 9229 9229 7929 0 -1 1077944320 1523092 0 0 0 77205 1230 0 0 20 0 15 0 446105381 15514783744 3202218 33554432000 4194304 4196468 140723880707984 140723880690528 140709834010359 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
/proc/9231/statm: 3787789 3202218 3511 1 0 3748889 0
[pid=9231/tid=9232] ppid=9229 vsize=15151156 memory=1448 CPUtime=128.01 cores=0,2,4,6
/proc/9231/task/9232/stat : 9232 (java) S 9229 9229 7929 0 -1 1077944384 45323 0 0 0 12738 63 0 0 20 0 15 0 446105382 15514783744 3202218 33554432000 4194304 4196468 140723880707984 140709838249584 140709834020565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9233] ppid=9229 vsize=15151156 memory=12808872 CPUtime=159.2 cores=0,2,4,6
/proc/9231/task/9233/stat : 9233 (java) S 9229 9229 7929 0 -1 1077944384 351470 0 0 0 15618 302 0 0 20 0 15 0 446105382 15514783744 3202218 33554432000 4194304 4196468 140723880707984 140709786630416 140709834020565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9234] ppid=9229 vsize=15151156 memory=1408 CPUtime=159.05 cores=0,2,4,6
/proc/9231/task/9234/stat : 9234 (java) S 9229 9229 7929 0 -1 1077944384 325801 0 0 0 15621 284 0 0 20 0 15 0 446105382 15514783744 3202218 33554432000 4194304 4196468 140723880707984 140709785577872 140709834020565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9235] ppid=9229 vsize=15151156 memory=2788 CPUtime=159.27 cores=0,2,4,6
/proc/9231/task/9235/stat : 9235 (java) S 9229 9229 7929 0 -1 1077944384 390601 0 0 0 15664 263 0 0 20 0 15 0 446105382 15514783744 3202218 33554432000 4194304 4196468 140723880707984 140709784525328 140709834020565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9236] ppid=9229 vsize=15151156 memory=1448 CPUtime=158.88 cores=0,2,4,6
/proc/9231/task/9236/stat : 9236 (java) S 9229 9229 7929 0 -1 1077944384 258583 0 0 0 15593 295 0 0 20 0 15 0 446105382 15514783744 3202218 33554432000 4194304 4196468 140723880707984 140709783472784 140709834020565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9237] ppid=9229 vsize=15151156 memory=7187148 CPUtime=16.74 cores=0,2,4,6
/proc/9231/task/9237/stat : 9237 (java) R 9229 9229 7929 0 -1 4202560 125507 0 0 0 1662 12 0 0 20 0 15 0 446105384 15514783744 3202218 33554432000 4194304 4196468 140723880707984 140709302625344 140709819006763 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9238] ppid=9229 vsize=15151156 memory=1732 CPUtime=0 cores=0,2,4,6
/proc/9231/task/9238/stat : 9238 (java) S 9229 9229 7929 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 446105384 15514783744 3202218 33554432000 4194304 4196468 140723880707984 140709301573088 140709834020565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9239] ppid=9229 vsize=15151156 memory=2788 CPUtime=0 cores=0,2,4,6
/proc/9231/task/9239/stat : 9239 (java) S 9229 9229 7929 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 15 0 446105384 15514783744 3202218 33554432000 4194304 4196468 140723880707984 140709300520448 140709834020565 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9240] ppid=9229 vsize=15151156 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/9231/task/9240/stat : 9240 (java) S 9229 9229 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446105387 15514783744 3202218 33554432000 4194304 4196468 140723880707984 140709299469008 140709834028955 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9241] ppid=9229 vsize=15151156 memory=6049288 CPUtime=1.18 cores=0,2,4,6
/proc/9231/task/9241/stat : 9241 (java) S 9229 9229 7929 0 -1 1077944384 7411 0 0 0 117 1 0 0 20 0 15 0 446105387 15514783744 3202218 33554432000 4194304 4196468 140723880707984 140709298415648 140709834020565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9242] ppid=9229 vsize=15151156 memory=1732 CPUtime=1.24 cores=0,2,4,6
/proc/9231/task/9242/stat : 9242 (java) S 9229 9229 7929 0 -1 1077944384 7519 0 0 0 122 2 0 0 20 0 15 0 446105387 15514783744 3202218 33554432000 4194304 4196468 140723880707984 140709297362816 140709834020565 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9243] ppid=9229 vsize=15151156 memory=1448 CPUtime=0.55 cores=0,2,4,6
/proc/9231/task/9243/stat : 9243 (java) S 9229 9229 7929 0 -1 1077944384 8641 0 0 0 54 1 0 0 20 0 15 0 446105387 15514783744 3202218 33554432000 4194304 4196468 140723880707984 140709296310560 140709834020565 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9244] ppid=9229 vsize=15151156 memory=12808872 CPUtime=0 cores=0,2,4,6
/proc/9231/task/9244/stat : 9244 (java) S 9229 9229 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446105387 15514783744 3202218 33554432000 4194304 4196468 140723880707984 140709295258208 140709834020565 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
[pid=9231/tid=9245] ppid=9229 vsize=15151156 memory=12040 CPUtime=0.14 cores=0,2,4,6
/proc/9231/task/9245/stat : 9245 (java) S 9229 9229 7929 0 -1 1077944384 810 0 0 0 7 7 0 0 20 0 15 0 446105387 15514783744 3202218 33554432000 4194304 4196468 140723880707984 140709294205744 140709834021506 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21778432 140723880711151 140723880711322 140723880711322 140723880714191 0
Current children cumulated CPU time: 784.35 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 12810320 KiB
[startup+305.602 s]
/proc/loadavg: 6.71 5.55 3.45 3/229 9428
/proc/meminfo: memFree=8264196/32770624 swapFree=66967456/67108860
[pid=9229] ppid=9226 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/9229/stat : 9229 (xcsp3-exec) S 9226 9229 7929 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446105381 115843072 362 33554432000 4194304 5098028 140723151825760 140723151823864 140252797006460 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 13357056 140723151827835 140723151828077 140723151828077 140723151830986 0
/proc/9229/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): 305.681
CPU time (s): 784.847
CPU user time (s): 772.439
CPU system time (s): 12.4076
CPU usage (%): 256.754
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 12810320
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 772.439
system time used= 12.4076
maximum resident set size= 12809064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1523821
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= 19271
involuntary context switches= 14015
# summary of solver processes directly reported to runsolver:
# pid: 9229
# total CPU time (s): 784.847
# total CPU user time (s): 772.439
# total CPU system time (s): 12.4076
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.9155 second user time and 3.17738 second system time
The end