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-20 parallel	OPT	394	26.8833	5.08073
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 (13885 MiB free)
  memory of node 1: 16384 MiB (11365 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404647-1569011683/watcher-4404647-1569011683 -o /tmp/evaluation-result-4404647-1569011683/solver-4404647-1569011683 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node127-1569005311-16837 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1610675111 HOME/instance-4404647-1569011683.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

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


[startup+0.100085 s]*
/proc/loadavg: 8.11 8.25 8.24 3/211 18378
/proc/meminfo: memFree=25840416/32770624 swapFree=66959628/67108860
[pid=18357] ppid=18354 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/18357/stat : 18357 (xcsp3-exec) S 18354 18357 16810 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477437181 115843072 364 33554432000 4194304 5098028 140735423219184 140735423217288 140138414912124 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30662656 140735423226741 140735423226985 140735423226985 140735423229898 0
/proc/18357/statm: 28282 364 305 221 0 87 0
[pid=18359] ppid=18357 vsize=28227396 memory=29200 CPUtime=0.13 cores=0-7
/proc/18359/stat : 18359 (java) S 18357 18357 16810 0 -1 1077944320 5697 0 0 0 12 1 0 0 20 0 20 0 477437181 28904853504 7300 33554432000 4194304 4196468 140721578456768 140721578439312 139935117422327 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
/proc/18359/statm: 7056849 7300 3162 1 0 7019032 0
[pid=18359/tid=18360] ppid=18357 vsize=28227396 memory=576460756329955445 CPUtime=0.08 cores=0-7
/proc/18359/task/18360/stat : 18360 (java) R 18357 18357 16810 0 -1 4202560 3617 0 0 0 8 0 0 0 20 0 20 0 477437181 28904853504 7300 33554432000 4194304 4196468 140721578456768 139935121650352 139935117444253 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18361] ppid=18357 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18359/task/18361/stat : 18361 (java) S 18357 18357 16810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477437182 28904853504 7300 33554432000 4194304 4196468 140721578456768 139935070042384 139935117432533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18362] ppid=18357 vsize=28227396 memory=140199556541901 CPUtime=0 cores=0-7
/proc/18359/task/18362/stat : 18362 (java) S 18357 18357 16810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477437182 28904853504 7300 33554432000 4194304 4196468 140721578456768 139935068989840 139935117432533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18363] ppid=18357 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18359/task/18363/stat : 18363 (java) S 18357 18357 16810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477437182 28904853504 7300 33554432000 4194304 4196468 140721578456768 139934666971664 139935117432533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18364] ppid=18357 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18359/task/18364/stat : 18364 (java) S 18357 18357 16810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477437182 28904853504 7300 33554432000 4194304 4196468 140721578456768 139934665919120 139935117432533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18365] ppid=18357 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18359/task/18365/stat : 18365 (java) S 18357 18357 16810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477437182 28904853504 7300 33554432000 4194304 4196468 140721578456768 139934664866576 139935117432533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18366] ppid=18357 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/18359/task/18366/stat : 18366 (java) S 18357 18357 16810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477437182 28904853504 7300 33554432000 4194304 4196468 140721578456768 139934663814032 139935117432533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18367] ppid=18357 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18359/task/18367/stat : 18367 (java) S 18357 18357 16810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477437182 28904853504 7300 33554432000 4194304 4196468 140721578456768 139934662761488 139935117432533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18368] ppid=18357 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18359/task/18368/stat : 18368 (java) S 18357 18357 16810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477437182 28904853504 7300 33554432000 4194304 4196468 140721578456768 139934661708944 139935117432533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18369] ppid=18357 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18359/task/18369/stat : 18369 (java) S 18357 18357 16810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477437184 28904853504 7300 33554432000 4194304 4196468 140721578456768 139933246040048 139935117433474 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18370] ppid=18357 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18359/task/18370/stat : 18370 (java) S 18357 18357 16810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477437184 28904853504 7300 33554432000 4194304 4196468 140721578456768 139933244986272 139935117432533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18371] ppid=18357 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18359/task/18371/stat : 18371 (java) S 18357 18357 16810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477437184 28904853504 7300 33554432000 4194304 4196468 140721578456768 139933243933680 139935117432533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18372] ppid=18357 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18359/task/18372/stat : 18372 (java) S 18357 18357 16810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477437187 28904853504 7300 33554432000 4194304 4196468 140721578456768 139933242882256 139935117440923 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18373] ppid=18357 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18359/task/18373/stat : 18373 (java) S 18357 18357 16810 0 -1 1077944384 409 0 0 0 0 0 0 0 20 0 20 0 477437187 28904853504 7300 33554432000 4194304 4196468 140721578456768 139933241829872 139935117433474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18374] ppid=18357 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18359/task/18374/stat : 18374 (java) R 18357 18357 16810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477437187 28904853504 7300 33554432000 4194304 4196468 140721578456768 139933240777328 139935117433474 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18375] ppid=18357 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18359/task/18375/stat : 18375 (java) S 18357 18357 16810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477437187 28904853504 7300 33554432000 4194304 4196468 140721578456768 139933239724784 139935117433474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18376] ppid=18357 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/18359/task/18376/stat : 18376 (java) R 18357 18357 16810 0 -1 4202560 357 0 0 0 2 0 0 0 20 0 20 0 477437187 28904853504 7300 33554432000 4194304 4196468 140721578456768 139933238672240 139935117443674 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18377] ppid=18357 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18359/task/18377/stat : 18377 (java) S 18357 18357 16810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477437187 28904853504 7300 33554432000 4194304 4196468 140721578456768 139933237618912 139935117432533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18378] ppid=18357 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/18359/task/18378/stat : 18378 (java) S 18357 18357 16810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477437187 28904853504 7300 33554432000 4194304 4196468 140721578456768 139933236566448 139935117433474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30656 KiB

[startup+0.210515 s]*
/proc/loadavg: 8.11 8.25 8.24 3/211 18378
/proc/meminfo: memFree=25827296/32770624 swapFree=66959628/67108860
[pid=18357] ppid=18354 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/18357/stat : 18357 (xcsp3-exec) S 18354 18357 16810 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477437181 115843072 364 33554432000 4194304 5098028 140735423219184 140735423217288 140138414912124 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30662656 140735423226741 140735423226985 140735423226985 140735423229898 0
/proc/18357/statm: 28282 364 305 221 0 87 0
[pid=18359] ppid=18357 vsize=28227396 memory=40820 CPUtime=0.34 cores=0-7
/proc/18359/stat : 18359 (java) S 18357 18357 16810 0 -1 1077944320 9495 0 0 0 31 3 0 0 20 0 20 0 477437181 28904853504 10205 33554432000 4194304 4196468 140721578456768 140721578439312 139935117422327 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
/proc/18359/statm: 7056849 10205 3268 1 0 7019032 0
[pid=18359/tid=18360] ppid=18357 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/18359/task/18360/stat : 18360 (java) R 18357 18357 16810 0 -1 4202560 6643 0 0 0 18 2 0 0 20 0 20 0 477437181 28904853504 10205 33554432000 4194304 4196468 140721578456768 139935121657024 139935117434262 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18361] ppid=18357 vsize=28227396 memory=288230609019732336 CPUtime=0 cores=0-7
/proc/18359/task/18361/stat : 18361 (java) S 18357 18357 16810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477437182 28904853504 10205 33554432000 4194304 4196468 140721578456768 139935070042384 139935117432533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18362] ppid=18357 vsize=28227396 memory=3905667306815059616 CPUtime=0 cores=0-7
/proc/18359/task/18362/stat : 18362 (java) S 18357 18357 16810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477437182 28904853504 10205 33554432000 4194304 4196468 140721578456768 139935068989840 139935117432533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18363] ppid=18357 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/18359/task/18363/stat : 18363 (java) S 18357 18357 16810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477437182 28904853504 10205 33554432000 4194304 4196468 140721578456768 139934666971664 139935117432533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18364] ppid=18357 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18359/task/18364/stat : 18364 (java) S 18357 18357 16810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477437182 28904853504 10205 33554432000 4194304 4196468 140721578456768 139934665919120 139935117432533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18365] ppid=18357 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18359/task/18365/stat : 18365 (java) S 18357 18357 16810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477437182 28904853504 10205 33554432000 4194304 4196468 140721578456768 139934664866576 139935117432533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18366] ppid=18357 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/18359/task/18366/stat : 18366 (java) S 18357 18357 16810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477437182 28904853504 10205 33554432000 4194304 4196468 140721578456768 139934663814032 139935117432533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18367] ppid=18357 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18359/task/18367/stat : 18367 (java) S 18357 18357 16810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477437182 28904853504 10205 33554432000 4194304 4196468 140721578456768 139934662761488 139935117432533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18368] ppid=18357 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18359/task/18368/stat : 18368 (java) S 18357 18357 16810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477437182 28904853504 10205 33554432000 4194304 4196468 140721578456768 139934661708944 139935117432533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18369] ppid=18357 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18359/task/18369/stat : 18369 (java) S 18357 18357 16810 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 477437184 28904853504 10205 33554432000 4194304 4196468 140721578456768 139933246040048 139935117433474 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18370] ppid=18357 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18359/task/18370/stat : 18370 (java) S 18357 18357 16810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477437184 28904853504 10205 33554432000 4194304 4196468 140721578456768 139933244986272 139935117432533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18371] ppid=18357 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18359/task/18371/stat : 18371 (java) S 18357 18357 16810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477437184 28904853504 10205 33554432000 4194304 4196468 140721578456768 139933243933680 139935117432533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18372] ppid=18357 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18359/task/18372/stat : 18372 (java) S 18357 18357 16810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477437187 28904853504 10205 33554432000 4194304 4196468 140721578456768 139933242882256 139935117440923 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18373] ppid=18357 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/18359/task/18373/stat : 18373 (java) S 18357 18357 16810 0 -1 1077944384 433 0 0 0 1 0 0 0 20 0 20 0 477437187 28904853504 10205 33554432000 4194304 4196468 140721578456768 139933241829872 139935117433474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18374] ppid=18357 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/18359/task/18374/stat : 18374 (java) S 18357 18357 16810 0 -1 1077944384 298 0 0 0 2 0 0 0 20 0 20 0 477437187 28904853504 10205 33554432000 4194304 4196468 140721578456768 139933240777328 139935117433474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18375] ppid=18357 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/18359/task/18375/stat : 18375 (java) S 18357 18357 16810 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 477437187 28904853504 10205 33554432000 4194304 4196468 140721578456768 139933239724784 139935117433474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18376] ppid=18357 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7
/proc/18359/task/18376/stat : 18376 (java) R 18357 18357 16810 0 -1 4202560 790 0 0 0 8 0 0 0 20 0 20 0 477437187 28904853504 10205 33554432000 4194304 4196468 140721578456768 139933238672240 139935096556736 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18377] ppid=18357 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/18359/task/18377/stat : 18377 (java) S 18357 18357 16810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477437187 28904853504 10205 33554432000 4194304 4196468 140721578456768 139933237618912 139935117432533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18378] ppid=18357 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/18359/task/18378/stat : 18378 (java) S 18357 18357 16810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477437187 28904853504 10205 33554432000 4194304 4196468 140721578456768 139933236566448 139935117433474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42276 KiB

[startup+0.310421 s]*
/proc/loadavg: 8.11 8.25 8.24 4/211 18378
/proc/meminfo: memFree=25820024/32770624 swapFree=66959628/67108860
[pid=18357] ppid=18354 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/18357/stat : 18357 (xcsp3-exec) S 18354 18357 16810 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477437181 115843072 364 33554432000 4194304 5098028 140735423219184 140735423217288 140138414912124 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30662656 140735423226741 140735423226985 140735423226985 140735423229898 0
/proc/18357/statm: 28282 364 305 221 0 87 0
[pid=18359] ppid=18357 vsize=28231652 memory=50084 CPUtime=0.53 cores=0-7
/proc/18359/stat : 18359 (java) S 18357 18357 16810 0 -1 1077944320 10946 0 0 0 49 4 0 0 20 0 20 0 477437181 28909211648 12521 33554432000 4194304 4196468 140721578456768 140721578439312 139935117422327 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
/proc/18359/statm: 7057913 12521 3311 1 0 7019032 0
[pid=18359/tid=18360] ppid=18357 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/18359/task/18360/stat : 18360 (java) R 18357 18357 16810 0 -1 4202560 7826 0 0 0 27 2 0 0 20 0 20 0 477437181 28909211648 12521 33554432000 4194304 4196468 140721578456768 139935121656112 139935117444253 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18361] ppid=18357 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18359/task/18361/stat : 18361 (java) S 18357 18357 16810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477437182 28909211648 12521 33554432000 4194304 4196468 140721578456768 139935070042384 139935117432533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18362] ppid=18357 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18359/task/18362/stat : 18362 (java) S 18357 18357 16810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477437182 28909211648 12521 33554432000 4194304 4196468 140721578456768 139935068989840 139935117432533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18363] ppid=18357 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18359/task/18363/stat : 18363 (java) S 18357 18357 16810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477437182 28909211648 12521 33554432000 4194304 4196468 140721578456768 139934666971664 139935117432533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18364] ppid=18357 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18359/task/18364/stat : 18364 (java) S 18357 18357 16810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477437182 28909211648 12521 33554432000 4194304 4196468 140721578456768 139934665919120 139935117432533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18365] ppid=18357 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18359/task/18365/stat : 18365 (java) S 18357 18357 16810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 477437182 28909211648 12521 33554432000 4194304 4196468 140721578456768 139934664866576 139935117432533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18366] ppid=18357 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18359/task/18366/stat : 18366 (java) S 18357 18357 16810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477437182 28909211648 12521 33554432000 4194304 4196468 140721578456768 139934663814032 139935117432533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18367] ppid=18357 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18359/task/18367/stat : 18367 (java) S 18357 18357 16810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477437182 28909211648 12521 33554432000 4194304 4196468 140721578456768 139934662761488 139935117432533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18368] ppid=18357 vsize=28231652 memory=6872598998417432672 CPUtime=0 cores=0-7
/proc/18359/task/18368/stat : 18368 (java) S 18357 18357 16810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477437182 28909211648 12521 33554432000 4194304 4196468 140721578456768 139934661708944 139935117432533 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18369] ppid=18357 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18359/task/18369/stat : 18369 (java) S 18357 18357 16810 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 477437184 28909211648 12521 33554432000 4194304 4196468 140721578456768 139933246040048 139935117433474 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18370] ppid=18357 vsize=28231652 memory=280398819171712 CPUtime=0 cores=0-7
/proc/18359/task/18370/stat : 18370 (java) S 18357 18357 16810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 477437184 28909211648 12521 33554432000 4194304 4196468 140721578456768 139933244986272 139935117432533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18371] ppid=18357 vsize=28231652 memory=280398819176320 CPUtime=0 cores=0-7
/proc/18359/task/18371/stat : 18371 (java) S 18357 18357 16810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 477437184 28909211648 12521 33554432000 4194304 4196468 140721578456768 139933243933680 139935117432533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18372] ppid=18357 vsize=28231652 memory=280398819180928 CPUtime=0 cores=0-7
/proc/18359/task/18372/stat : 18372 (java) S 18357 18357 16810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477437187 28909211648 12521 33554432000 4194304 4196468 140721578456768 139933242882256 139935117440923 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18373] ppid=18357 vsize=28231652 memory=280398819185536 CPUtime=0.01 cores=0-7
/proc/18359/task/18373/stat : 18373 (java) S 18357 18357 16810 0 -1 1077944384 457 0 0 0 1 0 0 0 20 0 20 0 477437187 28909211648 12521 33554432000 4194304 4196468 140721578456768 139933241829872 139935117433474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18374] ppid=18357 vsize=28231652 memory=280398819190144 CPUtime=0.04 cores=0-7
/proc/18359/task/18374/stat : 18374 (java) S 18357 18357 16810 0 -1 1077944384 311 0 0 0 4 0 0 0 20 0 20 0 477437187 28909211648 12521 33554432000 4194304 4196468 140721578456768 139933240777328 139935117433474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18375] ppid=18357 vsize=28231652 memory=280398819194752 CPUtime=0.02 cores=0-7
/proc/18359/task/18375/stat : 18375 (java) R 18357 18357 16810 0 -1 4202560 144 0 0 0 2 0 0 0 20 0 20 0 477437187 28909211648 12521 33554432000 4194304 4196468 140721578456768 139933239705800 139935098966878 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18376] ppid=18357 vsize=28231652 memory=280398819199360 CPUtime=0.13 cores=0-7
/proc/18359/task/18376/stat : 18376 (java) S 18357 18357 16810 0 -1 1077944384 900 0 0 0 13 0 0 0 20 0 20 0 477437187 28909211648 12521 33554432000 4194304 4196468 140721578456768 139933238672240 139935117433474 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18377] ppid=18357 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/18359/task/18377/stat : 18377 (java) S 18357 18357 16810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 477437187 28909211648 12521 33554432000 4194304 4196468 140721578456768 139933237618912 139935117432533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18378] ppid=18357 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/18359/task/18378/stat : 18378 (java) S 18357 18357 16810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477437187 28909211648 12586 33554432000 4194304 4196468 140721578456768 139933236566448 139935117433474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51540 KiB

[startup+0.703144 s]
/proc/loadavg: 8.11 8.25 8.24 4/211 18378
/proc/meminfo: memFree=25798344/32770624 swapFree=66959628/67108860
[pid=18357] ppid=18354 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/18357/stat : 18357 (xcsp3-exec) S 18354 18357 16810 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477437181 115843072 364 33554432000 4194304 5098028 140735423219184 140735423217288 140138414912124 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30662656 140735423226741 140735423226985 140735423226985 140735423229898 0
/proc/18357/statm: 28282 364 305 221 0 87 0
[pid=18359] ppid=18357 vsize=28233776 memory=102328 CPUtime=2.01 cores=0-7
/proc/18359/stat : 18359 (java) S 18357 18357 16810 0 -1 1077944320 15741 0 0 0 193 8 0 0 20 0 20 0 477437181 28911386624 25582 33554432000 4194304 4196468 140721578456768 140721578439312 139935117422327 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
/proc/18359/statm: 7058444 25582 3452 1 0 7019544 0
[pid=18359/tid=18360] ppid=18357 vsize=28233776 memory=4580 CPUtime=0.68 cores=0-7
/proc/18359/task/18360/stat : 18360 (java) R 18357 18357 16810 0 -1 4202560 9186 0 0 0 63 5 0 0 20 0 20 0 477437181 28911386624 25582 33554432000 4194304 4196468 140721578456768 139935121647744 139935117444253 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18361] ppid=18357 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/18359/task/18361/stat : 18361 (java) S 18357 18357 16810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477437182 28911386624 25582 33554432000 4194304 4196468 140721578456768 139935070042384 139935117432533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18362] ppid=18357 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/18359/task/18362/stat : 18362 (java) S 18357 18357 16810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477437182 28911386624 25582 33554432000 4194304 4196468 140721578456768 139935068989840 139935117432533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18363] ppid=18357 vsize=28233776 memory=1188 CPUtime=0 cores=0-7
/proc/18359/task/18363/stat : 18363 (java) S 18357 18357 16810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 477437182 28911386624 25582 33554432000 4194304 4196468 140721578456768 139934666971664 139935117432533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0

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

[pid=18359/tid=18376] ppid=18357 vsize=28768336 memory=6944656592455360604 CPUtime=0.78 cores=0-7
/proc/18359/task/18376/stat : 18376 (java) S 18357 18357 16810 0 -1 1077944384 3582 0 0 0 77 1 0 0 20 0 28 0 477437187 29458776064 197802 33554432000 4194304 4196468 140721578456768 139933238672240 139935117433474 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18377] ppid=18357 vsize=28768336 memory=3977276829457330228 CPUtime=0 cores=0-7
/proc/18359/task/18377/stat : 18377 (java) S 18357 18357 16810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477437187 29458776064 197802 33554432000 4194304 4196468 140721578456768 139933237618912 139935117432533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18378] ppid=18357 vsize=28768336 memory=-1 CPUtime=0 cores=0-7
/proc/18359/task/18378/stat : 18378 (java) S 18357 18357 16810 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 477437187 29458776064 197802 33554432000 4194304 4196468 140721578456768 139933236566448 139935117433474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18379] ppid=18357 vsize=28768336 memory=-1 CPUtime=0.79 cores=0-7
/proc/18359/task/18379/stat : 18379 (java) R 18357 18357 16810 0 -1 4202560 55 0 0 0 79 0 0 0 20 0 28 0 477437462 29458776064 197802 33554432000 4194304 4196468 140721578456768 139933225252792 139934749036544 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18380] ppid=18357 vsize=28768336 memory=0 CPUtime=0.67 cores=0-7
/proc/18359/task/18380/stat : 18380 (java) R 18357 18357 16810 0 -1 4202560 50 0 0 0 67 0 0 0 20 0 28 0 477437462 29458776064 197802 33554432000 4194304 4196468 140721578456768 139933224198360 139934758241517 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18381] ppid=18357 vsize=28768336 memory=0 CPUtime=0.69 cores=0-7
/proc/18359/task/18381/stat : 18381 (java) R 18357 18357 16810 0 -1 4202560 61 0 0 0 69 0 0 0 20 0 28 0 477437462 29458776064 197802 33554432000 4194304 4196468 140721578456768 139933223145504 139934758241204 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18382] ppid=18357 vsize=28768336 memory=0 CPUtime=0.83 cores=0-7
/proc/18359/task/18382/stat : 18382 (java) R 18357 18357 16810 0 -1 4202560 101 0 0 0 83 0 0 0 20 0 28 0 477437462 29458776064 197802 33554432000 4194304 4196468 140721578456768 139933222092288 139934758508556 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18383] ppid=18357 vsize=28768336 memory=6944656592455360604 CPUtime=0.86 cores=0-7
/proc/18359/task/18383/stat : 18383 (java) R 18357 18357 16810 0 -1 4202560 34 0 0 0 86 0 0 0 20 0 28 0 477437462 29458776064 197802 33554432000 4194304 4196468 140721578456768 139933221042584 139934758160531 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18384] ppid=18357 vsize=28768336 memory=0 CPUtime=0.92 cores=0-7
/proc/18359/task/18384/stat : 18384 (java) R 18357 18357 16810 0 -1 4202560 45 0 0 0 92 0 0 0 20 0 28 0 477437462 29458776064 197802 33554432000 4194304 4196468 140721578456768 139933219987320 139934758106238 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18385] ppid=18357 vsize=28768336 memory=0 CPUtime=0.75 cores=0-7
/proc/18359/task/18385/stat : 18385 (java) R 18357 18357 16810 0 -1 4202560 37 0 0 0 75 0 0 0 20 0 28 0 477437462 29458776064 197802 33554432000 4194304 4196468 140721578456768 139933218934144 139934757949488 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18386] ppid=18357 vsize=28768336 memory=0 CPUtime=0.61 cores=0-7
/proc/18359/task/18386/stat : 18386 (java) R 18357 18357 16810 0 -1 4202560 37 0 0 0 61 0 0 0 20 0 28 0 477437462 29458776064 197802 33554432000 4194304 4196468 140721578456768 139933217883624 139934758105831 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
Current children cumulated CPU time: 18.99 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 792664 KiB

[startup+4.80114 s]
/proc/loadavg: 8.10 8.24 8.23 12/219 18386
/proc/meminfo: memFree=25078044/32770624 swapFree=66959628/67108860
[pid=18357] ppid=18354 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/18357/stat : 18357 (xcsp3-exec) S 18354 18357 16810 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477437181 115843072 364 33554432000 4194304 5098028 140735423219184 140735423217288 140138414912124 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30662656 140735423226741 140735423226985 140735423226985 140735423229898 0
/proc/18357/statm: 28282 364 305 221 0 87 0
[pid=18359] ppid=18357 vsize=28768336 memory=794164 CPUtime=25.25 cores=0-7
/proc/18359/stat : 18359 (java) S 18357 18357 16810 0 -1 1077944320 40118 0 0 0 2443 82 0 0 20 0 28 0 477437181 29458776064 198541 33554432000 4194304 4196468 140721578456768 140721578439312 139935117422327 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
/proc/18359/statm: 7192084 198541 3535 1 0 7153184 0
[pid=18359/tid=18360] ppid=18357 vsize=28768336 memory=0 CPUtime=2.61 cores=0-7
/proc/18359/task/18360/stat : 18360 (java) S 18357 18357 16810 0 -1 1077944384 11715 0 0 0 251 10 0 0 20 0 28 0 477437181 29458776064 198541 33554432000 4194304 4196468 140721578456768 139935121663104 139935117432533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18361] ppid=18357 vsize=28768336 memory=0 CPUtime=0.18 cores=0-7
/proc/18359/task/18361/stat : 18361 (java) S 18357 18357 16810 0 -1 1077944384 269 0 0 0 12 6 0 0 20 0 28 0 477437182 29458776064 198541 33554432000 4194304 4196468 140721578456768 139935070042384 139935117432533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18362] ppid=18357 vsize=28768336 memory=0 CPUtime=0.2 cores=0-7
/proc/18359/task/18362/stat : 18362 (java) S 18357 18357 16810 0 -1 1077944384 328 0 0 0 14 6 0 0 20 0 28 0 477437182 29458776064 198541 33554432000 4194304 4196468 140721578456768 139935068989840 139935117432533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18363] ppid=18357 vsize=28768336 memory=6791534058613427641 CPUtime=0.2 cores=0-7
/proc/18359/task/18363/stat : 18363 (java) S 18357 18357 16810 0 -1 1077944384 803 0 0 0 13 7 0 0 20 0 28 0 477437182 29458776064 198541 33554432000 4194304 4196468 140721578456768 139934666971664 139935117432533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18364] ppid=18357 vsize=28768336 memory=288230596050944315 CPUtime=0.21 cores=0-7
/proc/18359/task/18364/stat : 18364 (java) S 18357 18357 16810 0 -1 1077944384 303 0 0 0 15 6 0 0 20 0 28 0 477437182 29458776064 198541 33554432000 4194304 4196468 140721578456768 139934665919120 139935117432533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18365] ppid=18357 vsize=28768336 memory=16099273431322896 CPUtime=0.2 cores=0-7
/proc/18359/task/18365/stat : 18365 (java) S 18357 18357 16810 0 -1 1077944384 286 0 0 0 14 6 0 0 20 0 28 0 477437182 29458776064 198541 33554432000 4194304 4196468 140721578456768 139934664866576 139935117432533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18366] ppid=18357 vsize=28768336 memory=0 CPUtime=0.2 cores=0-7
/proc/18359/task/18366/stat : 18366 (java) S 18357 18357 16810 0 -1 1077944384 235 0 0 0 14 6 0 0 20 0 28 0 477437182 29458776064 198541 33554432000 4194304 4196468 140721578456768 139934663814032 139935117432533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18367] ppid=18357 vsize=28768336 memory=6656426216303648864 CPUtime=0.23 cores=0-7
/proc/18359/task/18367/stat : 18367 (java) S 18357 18357 16810 0 -1 1077944384 238 0 0 0 16 7 0 0 20 0 28 0 477437182 29458776064 198541 33554432000 4194304 4196468 140721578456768 139934662761488 139935117432533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18368] ppid=18357 vsize=28768336 memory=0 CPUtime=0.23 cores=0-7
/proc/18359/task/18368/stat : 18368 (java) S 18357 18357 16810 0 -1 1077944384 223 0 0 0 15 8 0 0 20 0 28 0 477437182 29458776064 198541 33554432000 4194304 4196468 140721578456768 139934661708944 139935117432533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18369] ppid=18357 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7
/proc/18359/task/18369/stat : 18369 (java) S 18357 18357 16810 0 -1 1077944384 819 0 0 0 1 0 0 0 20 0 28 0 477437184 29458776064 198541 33554432000 4194304 4196468 140721578456768 139933246040048 139935117433474 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18370] ppid=18357 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/18359/task/18370/stat : 18370 (java) S 18357 18357 16810 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 477437184 29458776064 198541 33554432000 4194304 4196468 140721578456768 139933244986336 139935117432533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18371] ppid=18357 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/18359/task/18371/stat : 18371 (java) S 18357 18357 16810 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 477437184 29458776064 198541 33554432000 4194304 4196468 140721578456768 139933243933696 139935117432533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18372] ppid=18357 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/18359/task/18372/stat : 18372 (java) S 18357 18357 16810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477437187 29458776064 198541 33554432000 4194304 4196468 140721578456768 139933242882256 139935117440923 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18373] ppid=18357 vsize=28768336 memory=6791534058613427641 CPUtime=2.95 cores=0-7
/proc/18359/task/18373/stat : 18373 (java) R 18357 18357 16810 0 -1 4202560 6540 0 0 0 293 2 0 0 20 0 28 0 477437187 29458776064 198541 33554432000 4194304 4196468 140721578456768 139933241816416 139935100908277 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18374] ppid=18357 vsize=28768336 memory=0 CPUtime=3.17 cores=0-7
/proc/18359/task/18374/stat : 18374 (java) R 18357 18357 16810 0 -1 4202560 6582 0 0 0 315 2 0 0 20 0 28 0 477437187 29458776064 198541 33554432000 4194304 4196468 140721578456768 139933240769816 139935100833128 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18375] ppid=18357 vsize=28768336 memory=0 CPUtime=2.97 cores=0-7
/proc/18359/task/18375/stat : 18375 (java) R 18357 18357 16810 0 -1 4202560 6229 0 0 0 295 2 0 0 20 0 28 0 477437187 29458776064 198541 33554432000 4194304 4196468 140721578456768 139933239710288 139935098966486 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18376] ppid=18357 vsize=28768336 memory=0 CPUtime=0.83 cores=0-7
/proc/18359/task/18376/stat : 18376 (java) S 18357 18357 16810 0 -1 1077944384 3649 0 0 0 82 1 0 0 20 0 28 0 477437187 29458776064 198541 33554432000 4194304 4196468 140721578456768 139933238672240 139935117433474 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18377] ppid=18357 vsize=28768336 memory=468432 CPUtime=0 cores=0-7
/proc/18359/task/18377/stat : 18377 (java) S 18357 18357 16810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477437187 29458776064 198541 33554432000 4194304 4196468 140721578456768 139933237618912 139935117432533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18378] ppid=18357 vsize=28768336 memory=7588680083839214695 CPUtime=0 cores=0-7
/proc/18359/task/18378/stat : 18378 (java) S 18357 18357 16810 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 477437187 29458776064 198541 33554432000 4194304 4196468 140721578456768 139933236566448 139935117433474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18379] ppid=18357 vsize=28768336 memory=7590653724290671462 CPUtime=1.23 cores=0-7
/proc/18359/task/18379/stat : 18379 (java) R 18357 18357 16810 0 -1 4202560 61 0 0 0 123 0 0 0 20 0 28 0 477437462 29458776064 198541 33554432000 4194304 4196468 140721578456768 139933225249816 139934759216995 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18380] ppid=18357 vsize=28768336 memory=0 CPUtime=1.22 cores=0-7
/proc/18359/task/18380/stat : 18380 (java) R 18357 18357 16810 0 -1 4202560 71 0 0 0 122 0 0 0 20 0 28 0 477437462 29458776064 198541 33554432000 4194304 4196468 140721578456768 139933224199616 139934759227121 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18381] ppid=18357 vsize=28768336 memory=6944656592455097440 CPUtime=1.33 cores=0-7
/proc/18359/task/18381/stat : 18381 (java) R 18357 18357 16810 0 -1 4202560 78 0 0 0 132 1 0 0 20 0 28 0 477437462 29458776064 198541 33554432000 4194304 4196468 140721578456768 139933223146456 139934758863114 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18382] ppid=18357 vsize=28768336 memory=1456 CPUtime=1.46 cores=0-7
/proc/18359/task/18382/stat : 18382 (java) R 18357 18357 16810 0 -1 4202560 118 0 0 0 145 1 0 0 20 0 28 0 477437462 29458776064 198541 33554432000 4194304 4196468 140721578456768 139933222093064 139934759025390 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18383] ppid=18357 vsize=28768336 memory=224428 CPUtime=1.62 cores=0-7
/proc/18359/task/18383/stat : 18383 (java) R 18357 18357 16810 0 -1 4202560 53 0 0 0 162 0 0 0 20 0 28 0 477437462 29458776064 198541 33554432000 4194304 4196468 140721578456768 139933221042264 139934759376575 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18384] ppid=18357 vsize=28768336 memory=1381 CPUtime=1.54 cores=0-7
/proc/18359/task/18384/stat : 18384 (java) R 18357 18357 16810 0 -1 4202560 49 0 0 0 154 0 0 0 20 0 28 0 477437462 29458776064 198541 33554432000 4194304 4196468 140721578456768 139933219988664 139934759039051 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18385] ppid=18357 vsize=28768336 memory=0 CPUtime=1.22 cores=0-7
/proc/18359/task/18385/stat : 18385 (java) R 18357 18357 16810 0 -1 4202560 53 0 0 0 122 0 0 0 20 0 28 0 477437462 29458776064 198541 33554432000 4194304 4196468 140721578456768 139933218935144 139934759227148 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18386] ppid=18357 vsize=28768336 memory=0 CPUtime=1.22 cores=0-7
/proc/18359/task/18386/stat : 18386 (java) R 18357 18357 16810 0 -1 4202560 57 0 0 0 122 0 0 0 20 0 28 0 477437462 29458776064 198541 33554432000 4194304 4196468 140721578456768 139933217881864 139934759376575 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
Current children cumulated CPU time: 25.25 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 795620 KiB

[startup+5.00456 s]*
/proc/loadavg: 8.10 8.24 8.23 11/219 18402
/proc/meminfo: memFree=25075348/32770624 swapFree=66959628/67108860
[pid=18357] ppid=18354 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/18357/stat : 18357 (xcsp3-exec) S 18354 18357 16810 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 477437181 115843072 364 33554432000 4194304 5098028 140735423219184 140735423217288 140138414912124 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30662656 140735423226741 140735423226985 140735423226985 140735423229898 0
/proc/18357/statm: 28282 364 305 221 0 87 0
[pid=18359] ppid=18357 vsize=28768336 memory=794768 CPUtime=26.67 cores=0-7
/proc/18359/stat : 18359 (java) S 18357 18357 16810 0 -1 1077944320 40608 0 0 0 2585 82 0 0 20 0 28 0 477437181 29458776064 198692 33554432000 4194304 4196468 140721578456768 140721578439312 139935117422327 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
/proc/18359/statm: 7192084 198692 3539 1 0 7153184 0
[pid=18359/tid=18360] ppid=18357 vsize=28768336 memory=8317482817917895235 CPUtime=2.61 cores=0-7
/proc/18359/task/18360/stat : 18360 (java) S 18357 18357 16810 0 -1 1077944384 11737 0 0 0 251 10 0 0 20 0 28 0 477437181 29458776064 198692 33554432000 4194304 4196468 140721578456768 139935121663104 139935117432533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18361] ppid=18357 vsize=28768336 memory=0 CPUtime=0.18 cores=0-7
/proc/18359/task/18361/stat : 18361 (java) S 18357 18357 16810 0 -1 1077944384 269 0 0 0 12 6 0 0 20 0 28 0 477437182 29458776064 198692 33554432000 4194304 4196468 140721578456768 139935070042384 139935117432533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18362] ppid=18357 vsize=28768336 memory=0 CPUtime=0.2 cores=0-7
/proc/18359/task/18362/stat : 18362 (java) S 18357 18357 16810 0 -1 1077944384 328 0 0 0 14 6 0 0 20 0 28 0 477437182 29458776064 198692 33554432000 4194304 4196468 140721578456768 139935068989840 139935117432533 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18363] ppid=18357 vsize=28768336 memory=0 CPUtime=0.2 cores=0-7
/proc/18359/task/18363/stat : 18363 (java) S 18357 18357 16810 0 -1 1077944384 803 0 0 0 13 7 0 0 20 0 28 0 477437182 29458776064 198692 33554432000 4194304 4196468 140721578456768 139934666971664 139935117432533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18364] ppid=18357 vsize=28768336 memory=0 CPUtime=0.21 cores=0-7
/proc/18359/task/18364/stat : 18364 (java) S 18357 18357 16810 0 -1 1077944384 303 0 0 0 15 6 0 0 20 0 28 0 477437182 29458776064 198692 33554432000 4194304 4196468 140721578456768 139934665919120 139935117432533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18365] ppid=18357 vsize=28768336 memory=0 CPUtime=0.2 cores=0-7
/proc/18359/task/18365/stat : 18365 (java) S 18357 18357 16810 0 -1 1077944384 286 0 0 0 14 6 0 0 20 0 28 0 477437182 29458776064 198692 33554432000 4194304 4196468 140721578456768 139934664866576 139935117432533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18366] ppid=18357 vsize=28768336 memory=0 CPUtime=0.2 cores=0-7
/proc/18359/task/18366/stat : 18366 (java) S 18357 18357 16810 0 -1 1077944384 235 0 0 0 14 6 0 0 20 0 28 0 477437182 29458776064 198692 33554432000 4194304 4196468 140721578456768 139934663814032 139935117432533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18367] ppid=18357 vsize=28768336 memory=0 CPUtime=0.23 cores=0-7
/proc/18359/task/18367/stat : 18367 (java) S 18357 18357 16810 0 -1 1077944384 238 0 0 0 16 7 0 0 20 0 28 0 477437182 29458776064 198692 33554432000 4194304 4196468 140721578456768 139934662761488 139935117432533 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18368] ppid=18357 vsize=28768336 memory=0 CPUtime=0.23 cores=0-7
/proc/18359/task/18368/stat : 18368 (java) S 18357 18357 16810 0 -1 1077944384 223 0 0 0 15 8 0 0 20 0 28 0 477437182 29458776064 198692 33554432000 4194304 4196468 140721578456768 139934661708944 139935117432533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18369] ppid=18357 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7
/proc/18359/task/18369/stat : 18369 (java) S 18357 18357 16810 0 -1 1077944384 820 0 0 0 1 0 0 0 20 0 28 0 477437184 29458776064 198692 33554432000 4194304 4196468 140721578456768 139933246040048 139935117433474 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18370] ppid=18357 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/18359/task/18370/stat : 18370 (java) S 18357 18357 16810 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 477437184 29458776064 198692 33554432000 4194304 4196468 140721578456768 139933244986336 139935117432533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18371] ppid=18357 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/18359/task/18371/stat : 18371 (java) S 18357 18357 16810 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 28 0 477437184 29458776064 198692 33554432000 4194304 4196468 140721578456768 139933243933696 139935117432533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18372] ppid=18357 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/18359/task/18372/stat : 18372 (java) S 18357 18357 16810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 477437187 29458776064 198692 33554432000 4194304 4196468 140721578456768 139933242882256 139935117440923 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18373] ppid=18357 vsize=28768336 memory=0 CPUtime=3.08 cores=0-7
/proc/18359/task/18373/stat : 18373 (java) S 18357 18357 16810 0 -1 1077944384 6562 0 0 0 306 2 0 0 20 0 28 0 477437187 29458776064 198692 33554432000 4194304 4196468 140721578456768 139933241829872 139935117433474 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18374] ppid=18357 vsize=28768336 memory=-1 CPUtime=3.3 cores=0-7
/proc/18359/task/18374/stat : 18374 (java) R 18357 18357 16810 0 -1 4202560 6610 0 0 0 328 2 0 0 20 0 28 0 477437187 29458776064 198692 33554432000 4194304 4196468 140721578456768 139933240766928 139935098966515 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18375] ppid=18357 vsize=28768336 memory=0 CPUtime=3.1 cores=0-7
/proc/18359/task/18375/stat : 18375 (java) S 18357 18357 16810 0 -1 1077944384 6268 0 0 0 308 2 0 0 20 0 28 0 477437187 29458776064 198692 33554432000 4194304 4196468 140721578456768 139933239724784 139935117433474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18376] ppid=18357 vsize=28768336 memory=0 CPUtime=0.86 cores=0-7
/proc/18359/task/18376/stat : 18376 (java) R 18357 18357 16810 0 -1 4202560 3679 0 0 0 84 2 0 0 20 0 28 0 477437187 29458776064 198692 33554432000 4194304 4196468 140721578456768 139933238672240 139935117433474 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18377] ppid=18357 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/18359/task/18377/stat : 18377 (java) S 18357 18357 16810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 477437187 29458776064 198692 33554432000 4194304 4196468 140721578456768 139933237618912 139935117432533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18378] ppid=18357 vsize=28768336 memory=-1 CPUtime=0 cores=0-7
/proc/18359/task/18378/stat : 18378 (java) S 18357 18357 16810 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 477437187 29458776064 198692 33554432000 4194304 4196468 140721578456768 139933236566448 139935117433474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18395] ppid=18357 vsize=28768336 memory=-1 CPUtime=0.04 cores=0-7
/proc/18359/task/18395/stat : 18395 (java) S 18357 18357 16810 0 -1 1077944384 18 0 0 0 4 0 0 0 20 0 28 0 477437677 29458776064 198692 33554432000 4194304 4196468 140721578456768 139933225254400 139935117432533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18396] ppid=18357 vsize=28768336 memory=0 CPUtime=0.05 cores=0-7
/proc/18359/task/18396/stat : 18396 (java) R 18357 18357 16810 0 -1 4202560 18 0 0 0 5 0 0 0 20 0 28 0 477437677 29458776064 198692 33554432000 4194304 4196468 140721578456768 139933224202160 139934759895698 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18397] ppid=18357 vsize=28768336 memory=0 CPUtime=0.05 cores=0-7
/proc/18359/task/18397/stat : 18397 (java) S 18357 18357 16810 0 -1 1077944384 18 0 0 0 5 0 0 0 20 0 28 0 477437677 29458776064 198692 33554432000 4194304 4196468 140721578456768 139933222098128 139935117432533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18398] ppid=18357 vsize=28768336 memory=0 CPUtime=0.02 cores=0-7
/proc/18359/task/18398/stat : 18398 (java) R 18357 18357 16810 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 28 0 477437677 29458776064 198692 33554432000 4194304 4196468 140721578456768 139933219994952 139935117434262 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18399] ppid=18357 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7
/proc/18359/task/18399/stat : 18399 (java) S 18357 18357 16810 0 -1 1077944384 18 0 0 0 1 0 0 0 20 0 28 0 477437677 29458776064 198692 33554432000 4194304 4196468 140721578456768 139933221045712 139935117432533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18400] ppid=18357 vsize=28768336 memory=0 CPUtime=0.04 cores=0-7
/proc/18359/task/18400/stat : 18400 (java) S 18357 18357 16810 0 -1 1077944384 17 0 0 0 4 0 0 0 20 0 28 0 477437677 29458776064 198692 33554432000 4194304 4196468 140721578456768 139933223151184 139935117432533 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18401] ppid=18357 vsize=28768336 memory=0 CPUtime=0.04 cores=0-7
/proc/18359/task/18401/stat : 18401 (java) S 18357 18357 16810 0 -1 1077944384 18 0 0 0 4 0 0 0 20 0 28 0 477437677 29458776064 198692 33554432000 4194304 4196468 140721578456768 139933217886928 139935117432533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
[pid=18359/tid=18402] ppid=18357 vsize=28768336 memory=0 CPUtime=0.02 cores=0-7
/proc/18359/task/18402/stat : 18402 (java) R 18357 18357 16810 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 28 0 477437677 29458776064 198692 33554432000 4194304 4196468 140721578456768 139933218941768 139934759039051 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23584768 140721578464234 140721578464406 140721578464406 140721578467279 0
Current children cumulated CPU time: 26.67 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 796224 KiB

Child status: 0
Real time (s): 5.08073
CPU time (s): 26.8833
CPU user time (s): 26.0273
CPU system time (s): 0.855963
CPU usage (%): 529.122
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 796224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26.0273
system time used= 0.855963
maximum resident set size= 795464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41547
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4505
involuntary context switches= 640


# summary of solver processes directly reported to runsolver:
#   pid: 18357
#   total CPU time (s): 26.8833
#   total CPU user time (s): 26.0273
#   total CPU system time (s): 0.855963

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.056171 second user time and 0.108484 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 4404647

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
