2019 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-24	OPT	394	18.2361	11.7746
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 (12358 MiB free)
  memory of node 1: 16384 MiB (12284 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406147-1569414604/watcher-4406147-1569414604 -o /var/tmp/evaluation-result-4406147-1569414604/solver-4406147-1569414604 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node117-1569414560-13289 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1242998561 HOME/instance-4406147-1569414604.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=13308, runsolver pid=13305
Current StackSize limit: 8192 KiB


[startup+0.101232 s]*
/proc/loadavg: 0.88 0.94 1.47 4/208 13324
/proc/meminfo: memFree=25189736/32770624 swapFree=66974676/67108860
[pid=13308] ppid=13305 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/13308/stat : 13308 (xcsp3-exec) S 13305 13308 13258 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517402181 115843072 363 33554432000 4194304 5098028 140724577874112 140724577872216 139953857540732 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14385152 140724577882966 140724577883225 140724577883225 140724577886150 0
/proc/13308/statm: 28282 363 304 221 0 87 0
[pid=13310] ppid=13308 vsize=15144776 memory=28724 CPUtime=0.13 cores=0,2,4,6
/proc/13310/stat : 13310 (java) S 13308 13308 13258 0 -1 1077944320 5652 0 0 0 12 1 0 0 20 0 15 0 517402181 15508250624 7181 33554432000 4194304 4196468 140721786643440 140721786625984 140174356041463 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
/proc/13310/statm: 3786194 7181 3147 1 0 3748377 0
[pid=13310/tid=13311] ppid=13308 vsize=15144776 memory=-7024592270288534718 CPUtime=0.09 cores=0,2,4,6
/proc/13310/task/13311/stat : 13311 (java) R 13308 13308 13258 0 -1 4202560 3535 0 0 0 9 0 0 0 20 0 15 0 517402182 15508250624 7181 33554432000 4194304 4196468 140721786643440 140174360270128 140174356053398 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13312] ppid=13308 vsize=15144776 memory=6735269665564437106 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13312/stat : 13312 (java) S 13308 13308 13258 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517402183 15508250624 7181 33554432000 4194304 4196468 140721786643440 140174312593808 140174356051669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13313] ppid=13308 vsize=15144776 memory=140065606473344 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13313/stat : 13313 (java) S 13308 13308 13258 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517402183 15508250624 7181 33554432000 4194304 4196468 140721786643440 140173947099408 140174356051669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13314] ppid=13308 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13314/stat : 13314 (java) S 13308 13308 13258 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517402183 15508250624 7181 33554432000 4194304 4196468 140721786643440 140173946047120 140174356051669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13315] ppid=13308 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13315/stat : 13315 (java) S 13308 13308 13258 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517402183 15508250624 7181 33554432000 4194304 4196468 140721786643440 140173944994320 140174356051669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13316] ppid=13308 vsize=15144776 memory=140065606473344 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13316/stat : 13316 (java) S 13308 13308 13258 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517402184 15508250624 7181 33554432000 4194304 4196468 140721786643440 140173824326256 140174356052610 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13317] ppid=13308 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13317/stat : 13317 (java) S 13308 13308 13258 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517402184 15508250624 7181 33554432000 4194304 4196468 140721786643440 140173823272224 140174356051669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13318] ppid=13308 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13318/stat : 13318 (java) S 13308 13308 13258 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517402185 15508250624 7181 33554432000 4194304 4196468 140721786643440 140173822219888 140174356051669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13319] ppid=13308 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13319/stat : 13319 (java) S 13308 13308 13258 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517402187 15508250624 7181 33554432000 4194304 4196468 140721786643440 140173821168208 140174356060059 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13320] ppid=13308 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13320/stat : 13320 (java) S 13308 13308 13258 0 -1 1077944384 343 0 0 0 0 0 0 0 20 0 15 0 517402187 15508250624 7181 33554432000 4194304 4196468 140721786643440 140173820115056 140174356052610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13321] ppid=13308 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13321/stat : 13321 (java) S 13308 13308 13258 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 517402187 15508250624 7181 33554432000 4194304 4196468 140721786643440 140173819062256 140174356052610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13322] ppid=13308 vsize=15144776 memory=140065606473344 CPUtime=0.02 cores=0,2,4,6
/proc/13310/task/13322/stat : 13322 (java) S 13308 13308 13258 0 -1 1077944384 346 0 0 0 2 0 0 0 20 0 15 0 517402187 15508250624 7181 33554432000 4194304 4196468 140721786643440 140173818009968 140174356052610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13323] ppid=13308 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13323/stat : 13323 (java) S 13308 13308 13258 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517402187 15508250624 7246 33554432000 4194304 4196468 140721786643440 140173816957408 140174356051669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13324] ppid=13308 vsize=15144776 memory=140065606473344 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13324/stat : 13324 (java) S 13308 13308 13258 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517402187 15508250624 7246 33554432000 4194304 4196468 140721786643440 140173815905200 140174356052610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30176 KiB

[startup+0.211776 s]*
/proc/loadavg: 0.88 0.94 1.47 4/208 13324
/proc/meminfo: memFree=25177112/32770624 swapFree=66974676/67108860
[pid=13308] ppid=13305 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/13308/stat : 13308 (xcsp3-exec) S 13305 13308 13258 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517402181 115843072 363 33554432000 4194304 5098028 140724577874112 140724577872216 139953857540732 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14385152 140724577882966 140724577883225 140724577883225 140724577886150 0
/proc/13308/statm: 28282 363 304 221 0 87 0
[pid=13310] ppid=13308 vsize=15144776 memory=40284 CPUtime=0.34 cores=0,2,4,6
/proc/13310/stat : 13310 (java) S 13308 13308 13258 0 -1 1077944320 9300 0 0 0 32 2 0 0 20 0 15 0 517402181 15508250624 10071 33554432000 4194304 4196468 140721786643440 140721786625984 140174356041463 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
/proc/13310/statm: 3786194 10071 3295 1 0 3748377 0
[pid=13310/tid=13311] ppid=13308 vsize=15144776 memory=8390339637985935414 CPUtime=0.2 cores=0,2,4,6
/proc/13310/task/13311/stat : 13311 (java) R 13308 13308 13258 0 -1 4202560 6516 0 0 0 18 2 0 0 20 0 15 0 517402182 15508250624 10071 33554432000 4194304 4196468 140721786643440 140174360279488 140174340121504 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13312] ppid=13308 vsize=15144776 memory=288230596118052887 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13312/stat : 13312 (java) S 13308 13308 13258 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517402183 15508250624 10071 33554432000 4194304 4196468 140721786643440 140174312593808 140174356051669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13313] ppid=13308 vsize=15144776 memory=140065610331621 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13313/stat : 13313 (java) S 13308 13308 13258 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517402183 15508250624 10071 33554432000 4194304 4196468 140721786643440 140173947099408 140174356051669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13314] ppid=13308 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13314/stat : 13314 (java) S 13308 13308 13258 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517402183 15508250624 10071 33554432000 4194304 4196468 140721786643440 140173946047120 140174356051669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13315] ppid=13308 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13315/stat : 13315 (java) S 13308 13308 13258 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517402183 15508250624 10071 33554432000 4194304 4196468 140721786643440 140173944994320 140174356051669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13316] ppid=13308 vsize=15144776 memory=140065606473344 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13316/stat : 13316 (java) S 13308 13308 13258 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517402184 15508250624 10071 33554432000 4194304 4196468 140721786643440 140173824326256 140174356052610 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13317] ppid=13308 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13317/stat : 13317 (java) S 13308 13308 13258 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517402184 15508250624 10071 33554432000 4194304 4196468 140721786643440 140173823272224 140174356051669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13318] ppid=13308 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13318/stat : 13318 (java) S 13308 13308 13258 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517402185 15508250624 10071 33554432000 4194304 4196468 140721786643440 140173822219888 140174356051669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13319] ppid=13308 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13319/stat : 13319 (java) S 13308 13308 13258 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517402187 15508250624 10071 33554432000 4194304 4196468 140721786643440 140173821168208 140174356060059 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13320] ppid=13308 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/13310/task/13320/stat : 13320 (java) S 13308 13308 13258 0 -1 1077944384 410 0 0 0 2 0 0 0 20 0 15 0 517402187 15508250624 10071 33554432000 4194304 4196468 140721786643440 140173820115056 140174356052610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13321] ppid=13308 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/13310/task/13321/stat : 13321 (java) S 13308 13308 13258 0 -1 1077944384 226 0 0 0 2 0 0 0 20 0 15 0 517402187 15508250624 10071 33554432000 4194304 4196468 140721786643440 140173819062256 140174356052610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13322] ppid=13308 vsize=15144776 memory=140065606473344 CPUtime=0.08 cores=0,2,4,6
/proc/13310/task/13322/stat : 13322 (java) R 13308 13308 13258 0 -1 4202560 842 0 0 0 8 0 0 0 20 0 15 0 517402187 15508250624 10071 33554432000 4194304 4196468 140721786643440 140173818009968 140174334999376 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13323] ppid=13308 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13323/stat : 13323 (java) S 13308 13308 13258 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517402187 15508250624 10071 33554432000 4194304 4196468 140721786643440 140173816957408 140174356051669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13324] ppid=13308 vsize=15144776 memory=140065606473344 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13324/stat : 13324 (java) S 13308 13308 13258 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517402187 15508250624 10071 33554432000 4194304 4196468 140721786643440 140173815905200 140174356052610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41736 KiB

[startup+0.31833 s]*
/proc/loadavg: 0.88 0.94 1.47 4/208 13325
/proc/meminfo: memFree=25142844/32770624 swapFree=66974676/67108860
[pid=13308] ppid=13305 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/13308/stat : 13308 (xcsp3-exec) S 13305 13308 13258 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517402181 115843072 363 33554432000 4194304 5098028 140724577874112 140724577872216 139953857540732 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14385152 140724577882966 140724577883225 140724577883225 140724577886150 0
/proc/13308/statm: 28282 363 304 221 0 87 0
[pid=13310] ppid=13308 vsize=15149032 memory=50144 CPUtime=0.55 cores=0,2,4,6
/proc/13310/stat : 13310 (java) S 13308 13308 13258 0 -1 1077944320 10873 0 0 0 52 3 0 0 20 0 15 0 517402181 15512608768 12536 33554432000 4194304 4196468 140721786643440 140721786625984 140174356041463 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
/proc/13310/statm: 3787258 12536 3343 1 0 3748377 0
[pid=13310/tid=13311] ppid=13308 vsize=15149032 memory=1398722017469774279 CPUtime=0.3 cores=0,2,4,6
/proc/13310/task/13311/stat : 13311 (java) R 13308 13308 13258 0 -1 4202560 7809 0 0 0 28 2 0 0 20 0 15 0 517402182 15512608768 12536 33554432000 4194304 4196468 140721786643440 140174360276000 140174340121950 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13312] ppid=13308 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13312/stat : 13312 (java) S 13308 13308 13258 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517402183 15512608768 12536 33554432000 4194304 4196468 140721786643440 140174312593808 140174356051669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13313] ppid=13308 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13313/stat : 13313 (java) S 13308 13308 13258 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517402183 15512608768 12536 33554432000 4194304 4196468 140721786643440 140173947099408 140174356051669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13314] ppid=13308 vsize=15149032 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13314/stat : 13314 (java) S 13308 13308 13258 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517402183 15512608768 12536 33554432000 4194304 4196468 140721786643440 140173946047120 140174356051669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13315] ppid=13308 vsize=15149032 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13315/stat : 13315 (java) S 13308 13308 13258 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517402183 15512608768 12536 33554432000 4194304 4196468 140721786643440 140173944994320 140174356051669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13316] ppid=13308 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13316/stat : 13316 (java) S 13308 13308 13258 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517402184 15512608768 12536 33554432000 4194304 4196468 140721786643440 140173824326256 140174356052610 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13317] ppid=13308 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13317/stat : 13317 (java) S 13308 13308 13258 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517402184 15512608768 12536 33554432000 4194304 4196468 140721786643440 140173823272224 140174356051669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13318] ppid=13308 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13318/stat : 13318 (java) S 13308 13308 13258 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517402185 15512608768 12536 33554432000 4194304 4196468 140721786643440 140173822219888 140174356051669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13319] ppid=13308 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13319/stat : 13319 (java) S 13308 13308 13258 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517402187 15512608768 12536 33554432000 4194304 4196468 140721786643440 140173821168208 140174356060059 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13320] ppid=13308 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/13310/task/13320/stat : 13320 (java) S 13308 13308 13258 0 -1 1077944384 516 0 0 0 5 0 0 0 20 0 15 0 517402187 15512608768 12536 33554432000 4194304 4196468 140721786643440 140173820115056 140174356052610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13321] ppid=13308 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/13310/task/13321/stat : 13321 (java) S 13308 13308 13258 0 -1 1077944384 240 0 0 0 4 0 0 0 20 0 15 0 517402187 15512608768 12536 33554432000 4194304 4196468 140721786643440 140173819062256 140174356052610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13322] ppid=13308 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/13310/task/13322/stat : 13322 (java) S 13308 13308 13258 0 -1 1077944384 1004 0 0 0 13 0 0 0 20 0 15 0 517402187 15512608768 12536 33554432000 4194304 4196468 140721786643440 140173818009968 140174356052610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13323] ppid=13308 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13323/stat : 13323 (java) S 13308 13308 13258 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517402187 15512608768 12536 33554432000 4194304 4196468 140721786643440 140173816957408 140174356051669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13324] ppid=13308 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13324/stat : 13324 (java) S 13308 13308 13258 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517402187 15512608768 12536 33554432000 4194304 4196468 140721786643440 140173815905200 140174356052610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51596 KiB

[startup+0.701386 s]
/proc/loadavg: 0.88 0.94 1.47 7/229 13350
/proc/meminfo: memFree=25103968/32770624 swapFree=66974676/67108860
[pid=13308] ppid=13305 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/13308/stat : 13308 (xcsp3-exec) S 13305 13308 13258 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517402181 115843072 363 33554432000 4194304 5098028 140724577874112 140724577872216 139953857540732 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14385152 140724577882966 140724577883225 140724577883225 140724577886150 0
/proc/13308/statm: 28282 363 304 221 0 87 0
[pid=13310] ppid=13308 vsize=15151156 memory=100588 CPUtime=1.76 cores=0,2,4,6
/proc/13310/stat : 13310 (java) S 13308 13308 13258 0 -1 1077944320 15099 0 0 0 171 5 0 0 20 0 15 0 517402181 15514783744 25147 33554432000 4194304 4196468 140721786643440 140721786625984 140174356041463 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
/proc/13310/statm: 3787789 25147 3448 1 0 3748889 0
[pid=13310/tid=13311] ppid=13308 vsize=15151156 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/13310/task/13311/stat : 13311 (java) R 13308 13308 13258 0 -1 4202560 8896 0 0 0 65 3 0 0 20 0 15 0 517402182 15514783744 25147 33554432000 4194304 4196468 140721786643440 140174360249376 140174356063389 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13312] ppid=13308 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13312/stat : 13312 (java) S 13308 13308 13258 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517402183 15514783744 25147 33554432000 4194304 4196468 140721786643440 140174312593808 140174356051669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13313] ppid=13308 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13313/stat : 13313 (java) S 13308 13308 13258 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517402183 15514783744 25147 33554432000 4194304 4196468 140721786643440 140173947099408 140174356051669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13314] ppid=13308 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13314/stat : 13314 (java) S 13308 13308 13258 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517402183 15514783744 25147 33554432000 4194304 4196468 140721786643440 140173946047120 140174356051669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13315] ppid=13308 vsize=15151156 memory=55536 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13315/stat : 13315 (java) S 13308 13308 13258 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517402183 15514783744 25147 33554432000 4194304 4196468 140721786643440 140173944994320 140174356051669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13316] ppid=13308 vsize=15151156 memory=992 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13316/stat : 13316 (java) S 13308 13308 13258 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517402184 15514783744 25147 33554432000 4194304 4196468 140721786643440 140173824326256 140174356052610 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13317] ppid=13308 vsize=15151156 memory=2044 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13317/stat : 13317 (java) S 13308 13308 13258 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517402184 15514783744 25147 33554432000 4194304 4196468 140721786643440 140173823272224 140174356051669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13318] ppid=13308 vsize=15151156 memory=1424 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13318/stat : 13318 (java) S 13308 13308 13258 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517402185 15514783744 25147 33554432000 4194304 4196468 140721786643440 140173822219888 140174356051669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13319] ppid=13308 vsize=15151156 memory=11624 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13319/stat : 13319 (java) S 13308 13308 13258 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517402187 15514783744 25147 33554432000 4194304 4196468 140721786643440 140173821168208 140174356060059 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13320] ppid=13308 vsize=15151156 memory=740 CPUtime=0.34 cores=0,2,4,6
/proc/13310/task/13320/stat : 13320 (java) R 13308 13308 13258 0 -1 4202560 1512 0 0 0 34 0 0 0 20 0 15 0 517402187 15514783744 25147 33554432000 4194304 4196468 140721786643440 140173820095504 140174339538247 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13321] ppid=13308 vsize=15151156 memory=1056 CPUtime=0.35 cores=0,2,4,6
/proc/13310/task/13321/stat : 13321 (java) S 13308 13308 13258 0 -1 1077944384 1148 0 0 0 35 0 0 0 20 0 15 0 517402187 15514783744 25147 33554432000 4194304 4196468 140721786643440 140173819062256 140174356052610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13322] ppid=13308 vsize=15151156 memory=1552 CPUtime=0.36 cores=0,2,4,6
/proc/13310/task/13322/stat : 13322 (java) S 13308 13308 13258 0 -1 1077944384 2234 0 0 0 36 0 0 0 20 0 15 0 517402187 15514783744 25147 33554432000 4194304 4196468 140721786643440 140173818009968 140174356052610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13323] ppid=13308 vsize=15151156 memory=1040 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13323/stat : 13323 (java) S 13308 13308 13258 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517402187 15514783744 25147 33554432000 4194304 4196468 140721786643440 140173816957408 140174356051669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13324] ppid=13308 vsize=15151156 memory=3644 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13324/stat : 13324 (java) S 13308 13308 13258 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517402187 15514783744 25147 33554432000 4194304 4196468 140721786643440 140173815905200 140174356052610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
Current children cumulated CPU time: 1.76 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 102040 KiB

[startup+1.50079 s]
/proc/loadavg: 0.88 0.94 1.47 10/229 13350
/proc/meminfo: memFree=24769692/32770624 swapFree=66974676/67108860
[pid=13308] ppid=13305 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/13308/stat : 13308 (xcsp3-exec) S 13305 13308 13258 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517402181 115843072 363 33554432000 4194304 5098028 140724577874112 140724577872216 139953857540732 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14385152 140724577882966 140724577883225 140724577883225 140724577886150 0
/proc/13308/statm: 28282 363 304 221 0 87 0

################
# More data... #
################

/proc/13308/stat : 13308 (xcsp3-exec) S 13305 13308 13258 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517402181 115843072 363 33554432000 4194304 5098028 140724577874112 140724577872216 139953857540732 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14385152 140724577882966 140724577883225 140724577883225 140724577886150 0
/proc/13308/statm: 28282 363 304 221 0 87 0
[pid=13310] ppid=13308 vsize=15151156 memory=220568 CPUtime=16.12 cores=0,2,4,6
/proc/13310/stat : 13310 (java) S 13308 13308 13258 0 -1 1077944320 36996 0 0 0 1602 10 0 0 20 0 15 0 517402181 15514783744 55142 33554432000 4194304 4196468 140721786643440 140721786625984 140174356041463 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
/proc/13310/statm: 3787789 55142 3511 1 0 3748889 0
[pid=13310/tid=13311] ppid=13308 vsize=15151156 memory=0 CPUtime=10.35 cores=0,2,4,6
/proc/13310/task/13311/stat : 13311 (java) R 13308 13308 13258 0 -1 4202560 11305 0 0 0 1030 5 0 0 20 0 15 0 517402182 15514783744 55142 33554432000 4194304 4196468 140721786643440 140174360278152 140173999941889 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13312] ppid=13308 vsize=15151156 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/13310/task/13312/stat : 13312 (java) S 13308 13308 13258 0 -1 1077944384 66 0 0 0 1 0 0 0 20 0 15 0 517402183 15514783744 55142 33554432000 4194304 4196468 140721786643440 140174312593808 140174356051669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13313] ppid=13308 vsize=15151156 memory=1006 CPUtime=0.01 cores=0,2,4,6
/proc/13310/task/13313/stat : 13313 (java) S 13308 13308 13258 0 -1 1077944384 424 0 0 0 1 0 0 0 20 0 15 0 517402183 15514783744 55142 33554432000 4194304 4196468 140721786643440 140173947099408 140174356051669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13314] ppid=13308 vsize=15151156 memory=1 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13314/stat : 13314 (java) S 13308 13308 13258 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 517402183 15514783744 55142 33554432000 4194304 4196468 140721786643440 140173946047120 140174356051669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13315] ppid=13308 vsize=15151156 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13315/stat : 13315 (java) S 13308 13308 13258 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 517402183 15514783744 55142 33554432000 4194304 4196468 140721786643440 140173944994320 140174356051669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13316] ppid=13308 vsize=15151156 memory=6188 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13316/stat : 13316 (java) S 13308 13308 13258 0 -1 1077944384 257 0 0 0 0 0 0 0 20 0 15 0 517402184 15514783744 55142 33554432000 4194304 4196468 140721786643440 140173824326256 140174356052610 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13317] ppid=13308 vsize=15151156 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13317/stat : 13317 (java) S 13308 13308 13258 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 517402184 15514783744 55142 33554432000 4194304 4196468 140721786643440 140173823272224 140174356051669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13318] ppid=13308 vsize=15151156 memory=26132 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13318/stat : 13318 (java) S 13308 13308 13258 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 517402185 15514783744 55142 33554432000 4194304 4196468 140721786643440 140173822219888 140174356051669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13319] ppid=13308 vsize=15151156 memory=12024 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13319/stat : 13319 (java) S 13308 13308 13258 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517402187 15514783744 55142 33554432000 4194304 4196468 140721786643440 140173821168208 140174356060059 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13320] ppid=13308 vsize=15151156 memory=2120 CPUtime=2.39 cores=0,2,4,6
/proc/13310/task/13320/stat : 13320 (java) S 13308 13308 13258 0 -1 1077944384 8969 0 0 0 237 2 0 0 20 0 15 0 517402187 15514783744 55142 33554432000 4194304 4196468 140721786643440 140173820115056 140174356052610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13321] ppid=13308 vsize=15151156 memory=500 CPUtime=2.51 cores=0,2,4,6
/proc/13310/task/13321/stat : 13321 (java) S 13308 13308 13258 0 -1 1077944384 7824 0 0 0 250 1 0 0 20 0 15 0 517402187 15514783744 55142 33554432000 4194304 4196468 140721786643440 140173819062256 140174356052610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13322] ppid=13308 vsize=15151156 memory=1556 CPUtime=0.78 cores=0,2,4,6
/proc/13310/task/13322/stat : 13322 (java) S 13308 13308 13258 0 -1 1077944384 6714 0 0 0 78 0 0 0 20 0 15 0 517402187 15514783744 55142 33554432000 4194304 4196468 140721786643440 140173818009968 140174356052610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13323] ppid=13308 vsize=15151156 memory=924 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13323/stat : 13323 (java) S 13308 13308 13258 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517402187 15514783744 55142 33554432000 4194304 4196468 140721786643440 140173816957408 140174356051669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13324] ppid=13308 vsize=15151156 memory=1672 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13324/stat : 13324 (java) S 13308 13308 13258 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 517402187 15514783744 55142 33554432000 4194304 4196468 140721786643440 140173815905200 140174356052610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
Current children cumulated CPU time: 16.12 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 222020 KiB

[startup+11.2008 s]
/proc/loadavg: 1.05 0.98 1.48 3/230 13353
/proc/meminfo: memFree=22370624/32770624 swapFree=66974676/67108860
[pid=13308] ppid=13305 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/13308/stat : 13308 (xcsp3-exec) S 13305 13308 13258 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517402181 115843072 363 33554432000 4194304 5098028 140724577874112 140724577872216 139953857540732 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14385152 140724577882966 140724577883225 140724577883225 140724577886150 0
/proc/13308/statm: 28282 363 304 221 0 87 0
[pid=13310] ppid=13308 vsize=15151156 memory=220640 CPUtime=16.95 cores=0,2,4,6
/proc/13310/stat : 13310 (java) S 13308 13308 13258 0 -1 1077944320 37758 0 0 0 1685 10 0 0 20 0 15 0 517402181 15514783744 55160 33554432000 4194304 4196468 140721786643440 140721786625984 140174356041463 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
/proc/13310/statm: 3787789 55160 3511 1 0 3748889 0
[pid=13310/tid=13311] ppid=13308 vsize=15151156 memory=1716 CPUtime=11.15 cores=0,2,4,6
/proc/13310/task/13311/stat : 13311 (java) R 13308 13308 13258 0 -1 4202560 11310 0 0 0 1110 5 0 0 20 0 15 0 517402182 15514783744 55160 33554432000 4194304 4196468 140721786643440 140174360277024 140173999531220 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13312] ppid=13308 vsize=15151156 memory=1200 CPUtime=0.01 cores=0,2,4,6
/proc/13310/task/13312/stat : 13312 (java) S 13308 13308 13258 0 -1 1077944384 66 0 0 0 1 0 0 0 20 0 15 0 517402183 15514783744 55160 33554432000 4194304 4196468 140721786643440 140174312593808 140174356051669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13313] ppid=13308 vsize=15151156 memory=6188 CPUtime=0.01 cores=0,2,4,6
/proc/13310/task/13313/stat : 13313 (java) S 13308 13308 13258 0 -1 1077944384 424 0 0 0 1 0 0 0 20 0 15 0 517402183 15514783744 55160 33554432000 4194304 4196468 140721786643440 140173947099408 140174356051669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13314] ppid=13308 vsize=15151156 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13314/stat : 13314 (java) S 13308 13308 13258 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 517402183 15514783744 55160 33554432000 4194304 4196468 140721786643440 140173946047120 140174356051669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13315] ppid=13308 vsize=15151156 memory=26132 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13315/stat : 13315 (java) S 13308 13308 13258 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 517402183 15514783744 55160 33554432000 4194304 4196468 140721786643440 140173944994320 140174356051669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13316] ppid=13308 vsize=15151156 memory=12024 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13316/stat : 13316 (java) S 13308 13308 13258 0 -1 1077944384 259 0 0 0 0 0 0 0 20 0 15 0 517402184 15514783744 55160 33554432000 4194304 4196468 140721786643440 140173824326256 140174356052610 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13317] ppid=13308 vsize=15151156 memory=33 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13317/stat : 13317 (java) S 13308 13308 13258 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 517402184 15514783744 55160 33554432000 4194304 4196468 140721786643440 140173823272224 140174356051669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13318] ppid=13308 vsize=15151156 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13318/stat : 13318 (java) S 13308 13308 13258 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 517402185 15514783744 55160 33554432000 4194304 4196468 140721786643440 140173822219888 140174356051669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13319] ppid=13308 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13319/stat : 13319 (java) S 13308 13308 13258 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517402187 15514783744 55160 33554432000 4194304 4196468 140721786643440 140173821168208 140174356060059 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13320] ppid=13308 vsize=15151156 memory=0 CPUtime=2.42 cores=0,2,4,6
/proc/13310/task/13320/stat : 13320 (java) R 13308 13308 13258 0 -1 4202560 9712 0 0 0 240 2 0 0 20 0 15 0 517402187 15514783744 55160 33554432000 4194304 4196468 140721786643440 140173820115056 140174335885040 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13321] ppid=13308 vsize=15151156 memory=0 CPUtime=2.51 cores=0,2,4,6
/proc/13310/task/13321/stat : 13321 (java) S 13308 13308 13258 0 -1 1077944384 7825 0 0 0 250 1 0 0 20 0 15 0 517402187 15514783744 55160 33554432000 4194304 4196468 140721786643440 140173819062256 140174356052610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13322] ppid=13308 vsize=15151156 memory=6944656592455097440 CPUtime=0.78 cores=0,2,4,6
/proc/13310/task/13322/stat : 13322 (java) S 13308 13308 13258 0 -1 1077944384 6725 0 0 0 78 0 0 0 20 0 15 0 517402187 15514783744 55160 33554432000 4194304 4196468 140721786643440 140173818009968 140174356052610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13323] ppid=13308 vsize=15151156 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13323/stat : 13323 (java) S 13308 13308 13258 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517402187 15514783744 55160 33554432000 4194304 4196468 140721786643440 140173816957408 140174356051669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13324] ppid=13308 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13324/stat : 13324 (java) S 13308 13308 13258 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 15 0 517402187 15514783744 55160 33554432000 4194304 4196468 140721786643440 140173815905200 140174356052610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
Current children cumulated CPU time: 16.95 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 222092 KiB

[startup+11.6008 s]
/proc/loadavg: 1.05 0.98 1.48 3/230 13353
/proc/meminfo: memFree=22370624/32770624 swapFree=66974676/67108860
[pid=13308] ppid=13305 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/13308/stat : 13308 (xcsp3-exec) S 13305 13308 13258 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517402181 115843072 363 33554432000 4194304 5098028 140724577874112 140724577872216 139953857540732 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14385152 140724577882966 140724577883225 140724577883225 140724577886150 0
/proc/13308/statm: 28282 363 304 221 0 87 0
[pid=13310] ppid=13308 vsize=15151156 memory=233752 CPUtime=17.78 cores=0,2,4,6
/proc/13310/stat : 13310 (java) S 13308 13308 13258 0 -1 1077944320 47375 0 0 0 1767 11 0 0 20 0 15 0 517402181 15514783744 58438 33554432000 4194304 4196468 140721786643440 140721786625984 140174356041463 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
/proc/13310/statm: 3787789 58438 3511 1 0 3748889 0
[pid=13310/tid=13311] ppid=13308 vsize=15151156 memory=780 CPUtime=11.55 cores=0,2,4,6
/proc/13310/task/13311/stat : 13311 (java) R 13308 13308 13258 0 -1 4202560 11994 0 0 0 1150 5 0 0 20 0 15 0 517402182 15514783744 58438 33554432000 4194304 4196468 140721786643440 140174360272720 140173999531718 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13312] ppid=13308 vsize=15151156 memory=1436 CPUtime=0.01 cores=0,2,4,6
/proc/13310/task/13312/stat : 13312 (java) S 13308 13308 13258 0 -1 1077944384 66 0 0 0 1 0 0 0 20 0 15 0 517402183 15514783744 58438 33554432000 4194304 4196468 140721786643440 140174312593808 140174356051669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13313] ppid=13308 vsize=15151156 memory=1984 CPUtime=0.01 cores=0,2,4,6
/proc/13310/task/13313/stat : 13313 (java) S 13308 13308 13258 0 -1 1077944384 424 0 0 0 1 0 0 0 20 0 15 0 517402183 15514783744 58438 33554432000 4194304 4196468 140721786643440 140173947099408 140174356051669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13314] ppid=13308 vsize=15151156 memory=2424 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13314/stat : 13314 (java) S 13308 13308 13258 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 517402183 15514783744 58438 33554432000 4194304 4196468 140721786643440 140173946047120 140174356051669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13315] ppid=13308 vsize=15151156 memory=1764 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13315/stat : 13315 (java) S 13308 13308 13258 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 517402183 15514783744 58438 33554432000 4194304 4196468 140721786643440 140173944994320 140174356051669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13316] ppid=13308 vsize=15151156 memory=111636 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13316/stat : 13316 (java) S 13308 13308 13258 0 -1 1077944384 259 0 0 0 0 0 0 0 20 0 15 0 517402184 15514783744 58438 33554432000 4194304 4196468 140721786643440 140173824326256 140174356052610 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13317] ppid=13308 vsize=15151156 memory=804 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13317/stat : 13317 (java) S 13308 13308 13258 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 517402184 15514783744 58438 33554432000 4194304 4196468 140721786643440 140173823272224 140174356051669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13318] ppid=13308 vsize=15151156 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13318/stat : 13318 (java) S 13308 13308 13258 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 517402185 15514783744 58438 33554432000 4194304 4196468 140721786643440 140173822219888 140174356051669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13319] ppid=13308 vsize=15151156 memory=1808 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13319/stat : 13319 (java) S 13308 13308 13258 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517402187 15514783744 58438 33554432000 4194304 4196468 140721786643440 140173821168208 140174356060059 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13320] ppid=13308 vsize=15151156 memory=924 CPUtime=2.81 cores=0,2,4,6
/proc/13310/task/13320/stat : 13320 (java) R 13308 13308 13258 0 -1 4202560 17955 0 0 0 279 2 0 0 20 0 15 0 517402187 15514783744 58438 33554432000 4194304 4196468 140721786643440 140173820101080 140174341151556 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13321] ppid=13308 vsize=15151156 memory=3808 CPUtime=2.53 cores=0,2,4,6
/proc/13310/task/13321/stat : 13321 (java) S 13308 13308 13258 0 -1 1077944384 8175 0 0 0 252 1 0 0 20 0 15 0 517402187 15514783744 58438 33554432000 4194304 4196468 140721786643440 140173819062256 140174356052610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13322] ppid=13308 vsize=15151156 memory=2308 CPUtime=0.79 cores=0,2,4,6
/proc/13310/task/13322/stat : 13322 (java) S 13308 13308 13258 0 -1 1077944384 7051 0 0 0 79 0 0 0 20 0 15 0 517402187 15514783744 58438 33554432000 4194304 4196468 140721786643440 140173818009968 140174356052610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13323] ppid=13308 vsize=15151156 memory=2308 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13323/stat : 13323 (java) S 13308 13308 13258 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517402187 15514783744 58438 33554432000 4194304 4196468 140721786643440 140173816957408 140174356051669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13324] ppid=13308 vsize=15151156 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13324/stat : 13324 (java) S 13308 13308 13258 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 15 0 517402187 15514783744 58438 33554432000 4194304 4196468 140721786643440 140173815905200 140174356052610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
Current children cumulated CPU time: 17.78 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 235204 KiB

[startup+11.7008 s]
/proc/loadavg: 1.05 0.98 1.48 3/230 13353
/proc/meminfo: memFree=22370624/32770624 swapFree=66974676/67108860
[pid=13308] ppid=13305 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/13308/stat : 13308 (xcsp3-exec) S 13305 13308 13258 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517402181 115843072 363 33554432000 4194304 5098028 140724577874112 140724577872216 139953857540732 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14385152 140724577882966 140724577883225 140724577883225 140724577886150 0
/proc/13308/statm: 28282 363 304 221 0 87 0
[pid=13310] ppid=13308 vsize=15151156 memory=237004 CPUtime=18.07 cores=0,2,4,6
/proc/13310/stat : 13310 (java) S 13308 13308 13258 0 -1 1077944320 50223 0 0 0 1796 11 0 0 20 0 15 0 517402181 15514783744 59251 33554432000 4194304 4196468 140721786643440 140721786625984 140174356041463 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
/proc/13310/statm: 3787789 59251 3513 1 0 3748889 0
[pid=13310/tid=13311] ppid=13308 vsize=15151156 memory=0 CPUtime=11.65 cores=0,2,4,6
/proc/13310/task/13311/stat : 13311 (java) R 13308 13308 13258 0 -1 4202560 12021 0 0 0 1160 5 0 0 20 0 15 0 517402182 15514783744 59251 33554432000 4194304 4196468 140721786643440 140174360272720 140173999790154 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13312] ppid=13308 vsize=15151156 memory=220612 CPUtime=0.01 cores=0,2,4,6
/proc/13310/task/13312/stat : 13312 (java) S 13308 13308 13258 0 -1 1077944384 66 0 0 0 1 0 0 0 20 0 15 0 517402183 15514783744 59251 33554432000 4194304 4196468 140721786643440 140174312593808 140174356051669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13313] ppid=13308 vsize=15151156 memory=220556 CPUtime=0.01 cores=0,2,4,6
/proc/13310/task/13313/stat : 13313 (java) S 13308 13308 13258 0 -1 1077944384 424 0 0 0 1 0 0 0 20 0 15 0 517402183 15514783744 59251 33554432000 4194304 4196468 140721786643440 140173947099408 140174356051669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13314] ppid=13308 vsize=15151156 memory=780 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13314/stat : 13314 (java) S 13308 13308 13258 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 517402183 15514783744 59251 33554432000 4194304 4196468 140721786643440 140173946047120 140174356051669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13315] ppid=13308 vsize=15151156 memory=220568 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13315/stat : 13315 (java) S 13308 13308 13258 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 517402183 15514783744 59251 33554432000 4194304 4196468 140721786643440 140173944994320 140174356051669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13316] ppid=13308 vsize=15151156 memory=220568 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13316/stat : 13316 (java) S 13308 13308 13258 0 -1 1077944384 259 0 0 0 0 0 0 0 20 0 15 0 517402184 15514783744 59251 33554432000 4194304 4196468 140721786643440 140173824326256 140174356052610 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13317] ppid=13308 vsize=15151156 memory=220520 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13317/stat : 13317 (java) S 13308 13308 13258 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 517402184 15514783744 59251 33554432000 4194304 4196468 140721786643440 140173823272224 140174356051669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13318] ppid=13308 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13318/stat : 13318 (java) S 13308 13308 13258 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 517402185 15514783744 59251 33554432000 4194304 4196468 140721786643440 140173822219888 140174356051669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13319] ppid=13308 vsize=15151156 memory=220568 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13319/stat : 13319 (java) S 13308 13308 13258 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517402187 15514783744 59251 33554432000 4194304 4196468 140721786643440 140173821168208 140174356060059 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13320] ppid=13308 vsize=15151156 memory=1452 CPUtime=2.92 cores=0,2,4,6
/proc/13310/task/13320/stat : 13320 (java) R 13308 13308 13258 0 -1 4202560 18609 0 0 0 289 3 0 0 20 0 15 0 517402187 15514783744 59251 33554432000 4194304 4196468 140721786643440 140173820100520 140174339452424 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13321] ppid=13308 vsize=15151156 memory=220520 CPUtime=2.62 cores=0,2,4,6
/proc/13310/task/13321/stat : 13321 (java) R 13308 13308 13258 0 -1 4202560 9993 0 0 0 261 1 0 0 20 0 15 0 517402187 15514783744 59251 33554432000 4194304 4196468 140721786643440 140173819048272 140174339426256 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13322] ppid=13308 vsize=15151156 memory=1552 CPUtime=0.79 cores=0,2,4,6
/proc/13310/task/13322/stat : 13322 (java) S 13308 13308 13258 0 -1 1077944384 7400 0 0 0 79 0 0 0 20 0 15 0 517402187 15514783744 59251 33554432000 4194304 4196468 140721786643440 140173818009968 140174356052610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13323] ppid=13308 vsize=15151156 memory=1040 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13323/stat : 13323 (java) S 13308 13308 13258 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517402187 15514783744 59251 33554432000 4194304 4196468 140721786643440 140173816957408 140174356051669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
[pid=13310/tid=13324] ppid=13308 vsize=15151156 memory=3644 CPUtime=0 cores=0,2,4,6
/proc/13310/task/13324/stat : 13324 (java) S 13308 13308 13258 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 15 0 517402187 15514783744 59251 33554432000 4194304 4196468 140721786643440 140173815905200 140174356052610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 32845824 140721786651611 140721786651786 140721786651786 140721786654671 0
Current children cumulated CPU time: 18.07 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 238456 KiB

Child status: 0
Real time (s): 11.7746
CPU time (s): 18.2361
CPU user time (s): 18.109
CPU system time (s): 0.127088
CPU usage (%): 154.876
Max. virtual memory (cumulated for all children) (KiB): 15266316
Max. memory (cumulated for all children) (KiB): 238456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.109
system time used= 0.127088
maximum resident set size= 237768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52264
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2740
involuntary context switches= 54


# summary of solver processes directly reported to runsolver:
#   pid: 13308
#   total CPU time (s): 18.2361
#   total CPU user time (s): 18.109
#   total CPU system time (s): 0.127088

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.111853 second user time and 0.144207 second system time

The end
Name	Rlfap/Rlfap-opt/ Rlfap-graph-10-opt_c18.xml
MD5SUM	d4eaac7549f90ed3ded0e25770a164a4
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	394
Best CPU time to get the best result obtained on this benchmark	5.68141
Satisfiable
(Un)Satisfiability was proved
Number of variables	680
Number of constraints	3907
Number of domains	6
Minimum domain size	22
Maximum domain size	44
Distribution of domain sizes	[{"size":22,"count":40},{"size":24,"count":14},{"size":36,"count":146},{"size":42,"count":306},{"size":44,"count":174}]
Minimum variable degree	4
Maximum variable degree	25
Distribution of variable degrees	[{"degree":4,"count":1},{"degree":5,"count":2},{"degree":6,"count":15},{"degree":7,"count":36},{"degree":8,"count":71},{"degree":9,"count":62},{"degree":10,"count":71},{"degree":11,"count":58},{"degree":12,"count":55},{"degree":13,"count":34},{"degree":14,"count":33},{"degree":15,"count":44},{"degree":16,"count":63},{"degree":17,"count":60},{"degree":18,"count":44},{"degree":19,"count":19},{"degree":20,"count":5},{"degree":21,"count":2},{"degree":22,"count":1},{"degree":23,"count":2},{"degree":24,"count":1},{"degree":25,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":3907}]
Number of extensional constraints	0
Number of intensional constraints	3907
Distribution of constraint types	[{"type":"intension","count":3907}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4406147

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data
