2019 XCSP3 competition: fast COP track (sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-06-14 parallel	OPT	394	35.4095	6.31079
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 (14096 MiB free)
  memory of node 1: 16384 MiB (15633 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394487-1568448108/watcher-4394487-1568448108 -o /tmp/evaluation-result-4394487-1568448108/solver-4394487-1568448108 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1568441279-10680 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 2063608418 HOME/instance-4394487-1568448108.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
Current StackSize limit: 8192 KiB

solver pid=11615, runsolver pid=11612

[startup+0.100158 s]*
/proc/loadavg: 7.40 8.06 8.18 2/210 11636
/proc/meminfo: memFree=30427500/32770624 swapFree=66932192/67108860
[pid=11615] ppid=11612 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/11615/stat : 11615 (xcsp3-exec) S 11612 11615 10653 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 421078850 115843072 363 33554432000 4194304 5098028 140737448614704 140737448612808 139846710362748 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39796736 140737448620917 140737448621161 140737448621161 140737448624074 0
/proc/11615/statm: 28282 363 305 221 0 87 0
[pid=11617] ppid=11615 vsize=28227388 memory=29156 CPUtime=0.12 cores=0-7
/proc/11617/stat : 11617 (java) S 11615 11615 10653 0 -1 1077944320 5686 0 0 0 11 1 0 0 20 0 20 0 421078851 28904845312 7289 33554432000 4194304 4196468 140734076234944 140734076217488 140683407441655 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
/proc/11617/statm: 7056847 7289 3136 1 0 7019032 0
[pid=11617/tid=11618] ppid=11615 vsize=28227388 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/11617/task/11618/stat : 11618 (java) R 11615 11615 10653 0 -1 4202560 3596 0 0 0 8 0 0 0 20 0 20 0 421078851 28904845312 7289 33554432000 4194304 4196468 140734076234944 140683411674928 140683391522142 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11619] ppid=11615 vsize=28227388 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/11617/task/11619/stat : 11619 (java) S 11615 11615 10653 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421078852 28904845312 7289 33554432000 4194304 4196468 140734076234944 140683360062480 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11620] ppid=11615 vsize=28227388 memory=140626315900544 CPUtime=0 cores=0-7
/proc/11617/task/11620/stat : 11620 (java) S 11615 11615 10653 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421078852 28904845312 7289 33554432000 4194304 4196468 140734076234944 140683359009936 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11621] ppid=11615 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/11617/task/11621/stat : 11621 (java) S 11615 11615 10653 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421078852 28904845312 7289 33554432000 4194304 4196468 140734076234944 140683357956880 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11622] ppid=11615 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/11617/task/11622/stat : 11622 (java) S 11615 11615 10653 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421078852 28904845312 7289 33554432000 4194304 4196468 140734076234944 140683356904336 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11623] ppid=11615 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/11617/task/11623/stat : 11623 (java) S 11615 11615 10653 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421078852 28904845312 7289 33554432000 4194304 4196468 140734076234944 140683355851280 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11624] ppid=11615 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/11617/task/11624/stat : 11624 (java) S 11615 11615 10653 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421078852 28904845312 7289 33554432000 4194304 4196468 140734076234944 140683354798736 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11625] ppid=11615 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/11617/task/11625/stat : 11625 (java) S 11615 11615 10653 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421078852 28904845312 7289 33554432000 4194304 4196468 140734076234944 140683353745680 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11626] ppid=11615 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/11617/task/11626/stat : 11626 (java) S 11615 11615 10653 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421078852 28904845312 7289 33554432000 4194304 4196468 140734076234944 140683352693136 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11627] ppid=11615 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/11617/task/11627/stat : 11627 (java) S 11615 11615 10653 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421078853 28904845312 7289 33554432000 4194304 4196468 140734076234944 140682072951536 140683407452802 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11628] ppid=11615 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/11617/task/11628/stat : 11628 (java) S 11615 11615 10653 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 421078854 28904845312 7289 33554432000 4194304 4196468 140734076234944 140682071897760 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11629] ppid=11615 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/11617/task/11629/stat : 11629 (java) S 11615 11615 10653 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421078854 28904845312 7289 33554432000 4194304 4196468 140734076234944 140682070844656 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11630] ppid=11615 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/11617/task/11630/stat : 11630 (java) S 11615 11615 10653 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421078856 28904845312 7289 33554432000 4194304 4196468 140734076234944 140682069793232 140683407460251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11631] ppid=11615 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/11617/task/11631/stat : 11631 (java) S 11615 11615 10653 0 -1 1077944384 434 0 0 0 0 0 0 0 20 0 20 0 421078856 28904845312 7289 33554432000 4194304 4196468 140734076234944 140682068740336 140683407452802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11632] ppid=11615 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/11617/task/11632/stat : 11632 (java) S 11615 11615 10653 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421078856 28904845312 7289 33554432000 4194304 4196468 140734076234944 140682067687792 140683407452802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11633] ppid=11615 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/11617/task/11633/stat : 11633 (java) S 11615 11615 10653 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421078856 28904845312 7289 33554432000 4194304 4196468 140734076234944 140682066634736 140683407452802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11634] ppid=11615 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/11617/task/11634/stat : 11634 (java) R 11615 11615 10653 0 -1 4202560 343 0 0 0 2 0 0 0 20 0 20 0 421078857 28904845312 7289 33554432000 4194304 4196468 140734076234944 140682065582192 140683407463002 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11635] ppid=11615 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/11617/task/11635/stat : 11635 (java) S 11615 11615 10653 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421078857 28904845312 7289 33554432000 4194304 4196468 140734076234944 140682064530400 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11636] ppid=11615 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/11617/task/11636/stat : 11636 (java) S 11615 11615 10653 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421078857 28904845312 7289 33554432000 4194304 4196468 140734076234944 140682063477936 140683407452802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 30608 KiB

[startup+0.210412 s]*
/proc/loadavg: 7.40 8.06 8.18 3/210 11636
/proc/meminfo: memFree=30414492/32770624 swapFree=66932192/67108860
[pid=11615] ppid=11612 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/11615/stat : 11615 (xcsp3-exec) S 11612 11615 10653 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 421078850 115843072 363 33554432000 4194304 5098028 140737448614704 140737448612808 139846710362748 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39796736 140737448620917 140737448621161 140737448621161 140737448624074 0
/proc/11615/statm: 28282 363 305 221 0 87 0
[pid=11617] ppid=11615 vsize=28227388 memory=41032 CPUtime=0.33 cores=0-7
/proc/11617/stat : 11617 (java) S 11615 11615 10653 0 -1 1077944320 9512 0 0 0 30 3 0 0 20 0 20 0 421078851 28904845312 10258 33554432000 4194304 4196468 140734076234944 140734076217488 140683407441655 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
/proc/11617/statm: 7056847 10258 3274 1 0 7019032 0
[pid=11617/tid=11618] ppid=11615 vsize=28227388 memory=29681743523217448 CPUtime=0.2 cores=0-7
/proc/11617/task/11618/stat : 11618 (java) R 11615 11615 10653 0 -1 4202560 6631 0 0 0 18 2 0 0 20 0 20 0 421078851 28904845312 10258 33554432000 4194304 4196468 140734076234944 140683411674384 140683407453590 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11619] ppid=11615 vsize=28227388 memory=288230587528118625 CPUtime=0 cores=0-7
/proc/11617/task/11619/stat : 11619 (java) S 11615 11615 10653 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421078852 28904845312 10258 33554432000 4194304 4196468 140734076234944 140683360062480 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11620] ppid=11615 vsize=28227388 memory=140626315911897 CPUtime=0 cores=0-7
/proc/11617/task/11620/stat : 11620 (java) S 11615 11615 10653 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421078852 28904845312 10258 33554432000 4194304 4196468 140734076234944 140683359009936 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11621] ppid=11615 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/11617/task/11621/stat : 11621 (java) S 11615 11615 10653 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421078852 28904845312 10258 33554432000 4194304 4196468 140734076234944 140683357956880 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11622] ppid=11615 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/11617/task/11622/stat : 11622 (java) S 11615 11615 10653 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421078852 28904845312 10258 33554432000 4194304 4196468 140734076234944 140683356904336 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11623] ppid=11615 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/11617/task/11623/stat : 11623 (java) S 11615 11615 10653 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421078852 28904845312 10258 33554432000 4194304 4196468 140734076234944 140683355851280 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11624] ppid=11615 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/11617/task/11624/stat : 11624 (java) S 11615 11615 10653 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421078852 28904845312 10258 33554432000 4194304 4196468 140734076234944 140683354798736 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11625] ppid=11615 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/11617/task/11625/stat : 11625 (java) S 11615 11615 10653 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421078852 28904845312 10258 33554432000 4194304 4196468 140734076234944 140683353745680 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11626] ppid=11615 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/11617/task/11626/stat : 11626 (java) S 11615 11615 10653 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421078852 28904845312 10258 33554432000 4194304 4196468 140734076234944 140683352693136 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11627] ppid=11615 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/11617/task/11627/stat : 11627 (java) S 11615 11615 10653 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 421078853 28904845312 10258 33554432000 4194304 4196468 140734076234944 140682072951536 140683407452802 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11628] ppid=11615 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/11617/task/11628/stat : 11628 (java) S 11615 11615 10653 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 421078854 28904845312 10258 33554432000 4194304 4196468 140734076234944 140682071897760 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11629] ppid=11615 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/11617/task/11629/stat : 11629 (java) S 11615 11615 10653 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421078854 28904845312 10258 33554432000 4194304 4196468 140734076234944 140682070844656 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11630] ppid=11615 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/11617/task/11630/stat : 11630 (java) S 11615 11615 10653 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421078856 28904845312 10258 33554432000 4194304 4196468 140734076234944 140682069793232 140683407460251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11631] ppid=11615 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/11617/task/11631/stat : 11631 (java) S 11615 11615 10653 0 -1 1077944384 700 0 0 0 2 0 0 0 20 0 20 0 421078856 28904845312 10258 33554432000 4194304 4196468 140734076234944 140682068740336 140683407452802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11632] ppid=11615 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/11617/task/11632/stat : 11632 (java) S 11615 11615 10653 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 20 0 421078856 28904845312 10258 33554432000 4194304 4196468 140734076234944 140682067687792 140683407452802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11633] ppid=11615 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/11617/task/11633/stat : 11633 (java) S 11615 11615 10653 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 20 0 421078856 28904845312 10258 33554432000 4194304 4196468 140734076234944 140682066634736 140683407452802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11634] ppid=11615 vsize=28227388 memory=0 CPUtime=0.07 cores=0-7
/proc/11617/task/11634/stat : 11634 (java) S 11615 11615 10653 0 -1 1077944384 756 0 0 0 7 0 0 0 20 0 20 0 421078857 28904845312 10258 33554432000 4194304 4196468 140734076234944 140682065582192 140683407452802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11635] ppid=11615 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/11617/task/11635/stat : 11635 (java) S 11615 11615 10653 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421078857 28904845312 10258 33554432000 4194304 4196468 140734076234944 140682064530400 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11636] ppid=11615 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/11617/task/11636/stat : 11636 (java) S 11615 11615 10653 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421078857 28904845312 10258 33554432000 4194304 4196468 140734076234944 140682063477936 140683407452802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 42484 KiB

[startup+0.309853 s]*
/proc/loadavg: 7.40 8.06 8.18 6/210 11636
/proc/meminfo: memFree=30407484/32770624 swapFree=66932192/67108860
[pid=11615] ppid=11612 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/11615/stat : 11615 (xcsp3-exec) S 11612 11615 10653 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 421078850 115843072 363 33554432000 4194304 5098028 140737448614704 140737448612808 139846710362748 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39796736 140737448620917 140737448621161 140737448621161 140737448624074 0
/proc/11615/statm: 28282 363 305 221 0 87 0
[pid=11617] ppid=11615 vsize=28231644 memory=49892 CPUtime=0.52 cores=0-7
/proc/11617/stat : 11617 (java) S 11615 11615 10653 0 -1 1077944320 10901 0 0 0 48 4 0 0 20 0 20 0 421078851 28909203456 12473 33554432000 4194304 4196468 140734076234944 140734076217488 140683407441655 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
/proc/11617/statm: 7057911 12473 3319 1 0 7019032 0
[pid=11617/tid=11618] ppid=11615 vsize=28231644 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/11617/task/11618/stat : 11618 (java) R 11615 11615 10653 0 -1 4202560 7800 0 0 0 27 2 0 0 20 0 20 0 421078851 28909203456 12473 33554432000 4194304 4196468 140734076234944 140683411670000 140683391522142 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11619] ppid=11615 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/11617/task/11619/stat : 11619 (java) S 11615 11615 10653 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421078852 28909203456 12473 33554432000 4194304 4196468 140734076234944 140683360062480 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11620] ppid=11615 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/11617/task/11620/stat : 11620 (java) S 11615 11615 10653 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421078852 28909203456 12473 33554432000 4194304 4196468 140734076234944 140683359009936 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11621] ppid=11615 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/11617/task/11621/stat : 11621 (java) S 11615 11615 10653 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421078852 28909203456 12473 33554432000 4194304 4196468 140734076234944 140683357956880 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11622] ppid=11615 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/11617/task/11622/stat : 11622 (java) S 11615 11615 10653 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421078852 28909203456 12473 33554432000 4194304 4196468 140734076234944 140683356904336 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11623] ppid=11615 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/11617/task/11623/stat : 11623 (java) S 11615 11615 10653 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421078852 28909203456 12473 33554432000 4194304 4196468 140734076234944 140683355851280 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11624] ppid=11615 vsize=28231644 memory=140626154842799 CPUtime=0 cores=0-7
/proc/11617/task/11624/stat : 11624 (java) S 11615 11615 10653 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421078852 28909203456 12473 33554432000 4194304 4196468 140734076234944 140683354798736 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11625] ppid=11615 vsize=28231644 memory=140626154845104 CPUtime=0 cores=0-7
/proc/11617/task/11625/stat : 11625 (java) S 11615 11615 10653 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421078852 28909203456 12473 33554432000 4194304 4196468 140734076234944 140683353745680 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11626] ppid=11615 vsize=28231644 memory=140626154847408 CPUtime=0 cores=0-7
/proc/11617/task/11626/stat : 11626 (java) S 11615 11615 10653 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421078852 28909203456 12473 33554432000 4194304 4196468 140734076234944 140683352693136 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11627] ppid=11615 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/11617/task/11627/stat : 11627 (java) S 11615 11615 10653 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 421078853 28909203456 12473 33554432000 4194304 4196468 140734076234944 140682072951536 140683407452802 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11628] ppid=11615 vsize=28231644 memory=281252309708688 CPUtime=0 cores=0-7
/proc/11617/task/11628/stat : 11628 (java) S 11615 11615 10653 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 421078854 28909203456 12473 33554432000 4194304 4196468 140734076234944 140682071897760 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11629] ppid=11615 vsize=28231644 memory=281252309706384 CPUtime=0 cores=0-7
/proc/11617/task/11629/stat : 11629 (java) S 11615 11615 10653 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421078854 28909203456 12473 33554432000 4194304 4196468 140734076234944 140682070844656 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11630] ppid=11615 vsize=28231644 memory=281252309713296 CPUtime=0 cores=0-7
/proc/11617/task/11630/stat : 11630 (java) S 11615 11615 10653 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421078856 28909203456 12473 33554432000 4194304 4196468 140734076234944 140682069793232 140683407460251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11631] ppid=11615 vsize=28231644 memory=281252309654576 CPUtime=0.03 cores=0-7
/proc/11617/task/11631/stat : 11631 (java) S 11615 11615 10653 0 -1 1077944384 713 0 0 0 3 0 0 0 20 0 20 0 421078856 28909203456 12473 33554432000 4194304 4196468 140734076234944 140682068740336 140683407452802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11632] ppid=11615 vsize=28231644 memory=281252309727120 CPUtime=0.01 cores=0-7
/proc/11617/task/11632/stat : 11632 (java) S 11615 11615 10653 0 -1 1077944384 52 0 0 0 1 0 0 0 20 0 20 0 421078856 28909203456 12473 33554432000 4194304 4196468 140734076234944 140682067687792 140683407452802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11633] ppid=11615 vsize=28231644 memory=281252309734032 CPUtime=0.02 cores=0-7
/proc/11617/task/11633/stat : 11633 (java) R 11615 11615 10653 0 -1 4202560 187 0 0 0 2 0 0 0 20 0 20 0 421078856 28909203456 12473 33554432000 4194304 4196468 140734076234944 140682066625120 140683390827132 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11634] ppid=11615 vsize=28231644 memory=281252309731728 CPUtime=0.12 cores=0-7
/proc/11617/task/11634/stat : 11634 (java) S 11615 11615 10653 0 -1 1077944384 851 0 0 0 12 0 0 0 20 0 20 0 421078857 28909203456 12473 33554432000 4194304 4196468 140734076234944 140682065582192 140683407452802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11635] ppid=11615 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/11617/task/11635/stat : 11635 (java) S 11615 11615 10653 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421078857 28909203456 12473 33554432000 4194304 4196468 140734076234944 140682064530400 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11636] ppid=11615 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/11617/task/11636/stat : 11636 (java) S 11615 11615 10653 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421078857 28909203456 12473 33554432000 4194304 4196468 140734076234944 140682063477936 140683407452802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51344 KiB

[startup+0.700996 s]
/proc/loadavg: 7.40 8.06 8.18 4/210 11636
/proc/meminfo: memFree=30385232/32770624 swapFree=66932192/67108860
[pid=11615] ppid=11612 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/11615/stat : 11615 (xcsp3-exec) S 11612 11615 10653 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 421078850 115843072 363 33554432000 4194304 5098028 140737448614704 140737448612808 139846710362748 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39796736 140737448620917 140737448621161 140737448621161 140737448624074 0
/proc/11615/statm: 28282 363 305 221 0 87 0
[pid=11617] ppid=11615 vsize=28233768 memory=107708 CPUtime=1.99 cores=0-7
/proc/11617/stat : 11617 (java) S 11615 11615 10653 0 -1 1077944320 16951 0 0 0 192 7 0 0 20 0 20 0 421078851 28911378432 26927 33554432000 4194304 4196468 140734076234944 140734076217488 140683407441655 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
/proc/11617/statm: 7058442 26927 3449 1 0 7019544 0
[pid=11617/tid=11618] ppid=11615 vsize=28233768 memory=0 CPUtime=0.68 cores=0-7
/proc/11617/task/11618/stat : 11618 (java) R 11615 11615 10653 0 -1 4202560 9018 0 0 0 64 4 0 0 20 0 20 0 421078851 28911378432 26927 33554432000 4194304 4196468 140734076234944 140683411673600 140683407463581 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11619] ppid=11615 vsize=28233768 memory=2353 CPUtime=0 cores=0-7
/proc/11617/task/11619/stat : 11619 (java) S 11615 11615 10653 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421078852 28911378432 26927 33554432000 4194304 4196468 140734076234944 140683360062480 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11620] ppid=11615 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/11617/task/11620/stat : 11620 (java) S 11615 11615 10653 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421078852 28911378432 26927 33554432000 4194304 4196468 140734076234944 140683359009936 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11621] ppid=11615 vsize=28233768 memory=1228 CPUtime=0 cores=0-7
/proc/11617/task/11621/stat : 11621 (java) S 11615 11615 10653 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421078852 28911378432 26927 33554432000 4194304 4196468 140734076234944 140683357956880 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0

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

[pid=11617/tid=11623] ppid=11615 vsize=28233768 memory=1552 CPUtime=0 cores=0-7
/proc/11617/task/11623/stat : 11623 (java) S 11615 11615 10653 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421078852 28911378432 26927 33554432000 4194304 4196468 140734076234944 140683355851280 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11624] ppid=11615 vsize=28233768 memory=4096 CPUtime=0 cores=0-7
/proc/11617/task/11624/stat : 11624 (java) S 11615 11615 10653 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421078852 28911378432 26927 33554432000 4194304 4196468 140734076234944 140683354798736 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11625] ppid=11615 vsize=28233768 memory=2832 CPUtime=0 cores=0-7
/proc/11617/task/11625/stat : 11625 (java) S 11615 11615 10653 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421078852 28911378432 26927 33554432000 4194304 4196468 140734076234944 140683353745680 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11626] ppid=11615 vsize=28233768 memory=772 CPUtime=0 cores=0-7
/proc/11617/task/11626/stat : 11626 (java) S 11615 11615 10653 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 421078852 28911378432 26927 33554432000 4194304 4196468 140734076234944 140683352693136 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11627] ppid=11615 vsize=28233768 memory=1060 CPUtime=0 cores=0-7
/proc/11617/task/11627/stat : 11627 (java) S 11615 11615 10653 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 421078853 28911378432 26927 33554432000 4194304 4196468 140734076234944 140682072951536 140683407452802 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11628] ppid=11615 vsize=28233768 memory=1676 CPUtime=0 cores=0-7
/proc/11617/task/11628/stat : 11628 (java) S 11615 11615 10653 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 421078854 28911378432 26927 33554432000 4194304 4196468 140734076234944 140682071897760 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11629] ppid=11615 vsize=28233768 memory=1096 CPUtime=0 cores=0-7
/proc/11617/task/11629/stat : 11629 (java) S 11615 11615 10653 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 421078854 28911378432 26927 33554432000 4194304 4196468 140734076234944 140682070844656 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11630] ppid=11615 vsize=28233768 memory=1176 CPUtime=0 cores=0-7
/proc/11617/task/11630/stat : 11630 (java) S 11615 11615 10653 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421078856 28911378432 26927 33554432000 4194304 4196468 140734076234944 140682069793232 140683407460251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11631] ppid=11615 vsize=28233768 memory=5964 CPUtime=0.28 cores=0-7
/proc/11617/task/11631/stat : 11631 (java) R 11615 11615 10653 0 -1 4202560 1704 0 0 0 28 0 0 0 20 0 20 0 421078856 28911378432 26927 33554432000 4194304 4196468 140734076234944 140682068740336 140683386631104 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11632] ppid=11615 vsize=28233768 memory=780 CPUtime=0.29 cores=0-7
/proc/11617/task/11632/stat : 11632 (java) R 11615 11615 10653 0 -1 4202560 1276 0 0 0 29 0 0 0 20 0 20 0 421078856 28911378432 26927 33554432000 4194304 4196468 140734076234944 140682067668808 140683390938494 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11633] ppid=11615 vsize=28233768 memory=14008 CPUtime=0.33 cores=0-7
/proc/11617/task/11633/stat : 11633 (java) R 11615 11615 10653 0 -1 4202560 1135 0 0 0 33 0 0 0 20 0 20 0 421078856 28911378432 26927 33554432000 4194304 4196468 140734076234944 140682066615152 140683390938439 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11634] ppid=11615 vsize=28233768 memory=21244 CPUtime=0.36 cores=0-7
/proc/11617/task/11634/stat : 11634 (java) S 11615 11615 10653 0 -1 1077944384 2521 0 0 0 36 0 0 0 20 0 20 0 421078857 28911378432 26927 33554432000 4194304 4196468 140734076234944 140682065582192 140683407452802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11635] ppid=11615 vsize=28233768 memory=2116 CPUtime=0 cores=0-7
/proc/11617/task/11635/stat : 11635 (java) S 11615 11615 10653 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421078857 28911378432 26927 33554432000 4194304 4196468 140734076234944 140682064530400 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11636] ppid=11615 vsize=28233768 memory=11916 CPUtime=0 cores=0-7
/proc/11617/task/11636/stat : 11636 (java) S 11615 11615 10653 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421078857 28911378432 26927 33554432000 4194304 4196468 140734076234944 140682063477936 140683407452802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
Current children cumulated CPU time: 1.99 s
Current children cumulated vsize: 28346896 KiB
Current children cumulated memory: 109160 KiB

[startup+1.51536 s]
/proc/loadavg: 7.40 8.06 8.18 5/210 11636
/proc/meminfo: memFree=30282232/32770624 swapFree=66932192/67108860
[pid=11615] ppid=11612 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/11615/stat : 11615 (xcsp3-exec) S 11612 11615 10653 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 421078850 115843072 363 33554432000 4194304 5098028 140737448614704 140737448612808 139846710362748 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39796736 140737448620917 140737448621161 140737448621161 140737448624074 0
/proc/11615/statm: 28282 363 305 221 0 87 0
[pid=11617] ppid=11615 vsize=28233768 memory=256440 CPUtime=5.56 cores=0-7
/proc/11617/stat : 11617 (java) S 11615 11615 10653 0 -1 1077944320 30311 0 0 0 538 18 0 0 20 0 20 0 421078851 28911378432 64110 33554432000 4194304 4196468 140734076234944 140734076217488 140683407441655 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
/proc/11617/statm: 7058442 64110 3503 1 0 7019544 0
[pid=11617/tid=11618] ppid=11615 vsize=28233768 memory=0 CPUtime=1.45 cores=0-7
/proc/11617/task/11618/stat : 11618 (java) S 11615 11615 10653 0 -1 1077944384 9674 0 0 0 139 6 0 0 20 0 20 0 421078851 28911378432 64110 33554432000 4194304 4196468 140734076234944 140683411678592 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11619] ppid=11615 vsize=28233768 memory=0 CPUtime=0.01 cores=0-7
/proc/11617/task/11619/stat : 11619 (java) R 11615 11615 10653 0 -1 4202560 79 0 0 0 1 0 0 0 20 0 20 0 421078852 28911378432 64110 33554432000 4194304 4196468 140734076234944 140683360062680 140683391930591 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11620] ppid=11615 vsize=28233768 memory=2353 CPUtime=0.01 cores=0-7
/proc/11617/task/11620/stat : 11620 (java) R 11615 11615 10653 0 -1 4202560 54 0 0 0 1 0 0 0 20 0 20 0 421078852 28911378432 64110 33554432000 4194304 4196468 140734076234944 140683359010136 140683392485979 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11621] ppid=11615 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/11617/task/11621/stat : 11621 (java) R 11615 11615 10653 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 20 0 421078852 28911378432 64110 33554432000 4194304 4196468 140734076234944 140683357957000 140683400069863 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11622] ppid=11615 vsize=28233768 memory=6055744037267188125 CPUtime=0.01 cores=0-7
/proc/11617/task/11622/stat : 11622 (java) R 11615 11615 10653 0 -1 4202560 55 0 0 0 1 0 0 0 20 0 20 0 421078852 28911378432 64110 33554432000 4194304 4196468 140734076234944 140683356904224 140683400069863 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11623] ppid=11615 vsize=28233768 memory=0 CPUtime=0.02 cores=0-7
/proc/11617/task/11623/stat : 11623 (java) R 11615 11615 10653 0 -1 4202560 107 0 0 0 2 0 0 0 20 0 20 0 421078852 28911378432 64110 33554432000 4194304 4196468 140734076234944 140683355851480 140683400069863 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11624] ppid=11615 vsize=28233768 memory=186496405617776 CPUtime=0.01 cores=0-7
/proc/11617/task/11624/stat : 11624 (java) R 11615 11615 10653 0 -1 4202560 55 0 0 0 1 0 0 0 20 0 20 0 421078852 28911378432 64110 33554432000 4194304 4196468 140734076234944 140683354798856 140683400069863 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11625] ppid=11615 vsize=28233768 memory=49868865284509 CPUtime=0.02 cores=0-7
/proc/11617/task/11625/stat : 11625 (java) R 11615 11615 10653 0 -1 4202560 80 0 0 0 2 0 0 0 20 0 20 0 421078852 28911378432 64110 33554432000 4194304 4196468 140734076234944 140683353745680 140683400069863 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11626] ppid=11615 vsize=28233768 memory=49873160252767 CPUtime=0.03 cores=0-7
/proc/11617/task/11626/stat : 11626 (java) R 11615 11615 10653 0 -1 4202560 232 0 0 0 2 1 0 0 20 0 20 0 421078852 28911378432 64110 33554432000 4194304 4196468 140734076234944 140683352693336 140683400069863 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11627] ppid=11615 vsize=28233768 memory=1176 CPUtime=0 cores=0-7
/proc/11617/task/11627/stat : 11627 (java) S 11615 11615 10653 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 20 0 421078853 28911378432 64110 33554432000 4194304 4196468 140734076234944 140682072950048 140683407451861 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11628] ppid=11615 vsize=28233768 memory=5964 CPUtime=0 cores=0-7
/proc/11617/task/11628/stat : 11628 (java) S 11615 11615 10653 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 421078854 28911378432 64110 33554432000 4194304 4196468 140734076234944 140682071897760 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11629] ppid=11615 vsize=28233768 memory=780 CPUtime=0 cores=0-7
/proc/11617/task/11629/stat : 11629 (java) S 11615 11615 10653 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 421078854 28911378432 64110 33554432000 4194304 4196468 140734076234944 140682070844656 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11630] ppid=11615 vsize=28233768 memory=14008 CPUtime=0 cores=0-7
/proc/11617/task/11630/stat : 11630 (java) S 11615 11615 10653 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421078856 28911378432 64110 33554432000 4194304 4196468 140734076234944 140682069793232 140683407460251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11631] ppid=11615 vsize=28233768 memory=21244 CPUtime=1.07 cores=0-7
/proc/11617/task/11631/stat : 11631 (java) S 11615 11615 10653 0 -1 1077944384 5683 0 0 0 105 2 0 0 20 0 20 0 421078856 28911378432 64110 33554432000 4194304 4196468 140734076234944 140682068725328 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11632] ppid=11615 vsize=28233768 memory=2116 CPUtime=1.1 cores=0-7
/proc/11617/task/11632/stat : 11632 (java) R 11615 11615 10653 0 -1 4202560 5107 0 0 0 109 1 0 0 20 0 20 0 421078856 28911378432 64110 33554432000 4194304 4196468 140734076234944 140682067668808 140683390938443 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11633] ppid=11615 vsize=28233768 memory=11916 CPUtime=1.12 cores=0-7
/proc/11617/task/11633/stat : 11633 (java) R 11615 11615 10653 0 -1 4202560 4086 0 0 0 112 0 0 0 20 0 20 0 421078856 28911378432 64110 33554432000 4194304 4196468 140734076234944 140682066617472 140683400538491 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11634] ppid=11615 vsize=28233768 memory=0 CPUtime=0.56 cores=0-7
/proc/11617/task/11634/stat : 11634 (java) S 11615 11615 10653 0 -1 1077944384 3629 0 0 0 56 0 0 0 20 0 20 0 421078857 28911378432 64110 33554432000 4194304 4196468 140734076234944 140682065582192 140683407452802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11635] ppid=11615 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/11617/task/11635/stat : 11635 (java) S 11615 11615 10653 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421078857 28911378432 64110 33554432000 4194304 4196468 140734076234944 140682064530400 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11636] ppid=11615 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/11617/task/11636/stat : 11636 (java) S 11615 11615 10653 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421078857 28911378432 64110 33554432000 4194304 4196468 140734076234944 140682063477936 140683407452802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
Current children cumulated CPU time: 5.56 s
Current children cumulated vsize: 28346896 KiB
Current children cumulated memory: 257892 KiB

[startup+3.10995 s]
/proc/loadavg: 7.40 8.06 8.18 2/210 11636
/proc/meminfo: memFree=29911504/32770624 swapFree=66932192/67108860
[pid=11615] ppid=11612 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/11615/stat : 11615 (xcsp3-exec) S 11612 11615 10653 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 421078850 115843072 363 33554432000 4194304 5098028 140737448614704 140737448612808 139846710362748 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39796736 140737448620917 140737448621161 140737448621161 140737448624074 0
/proc/11615/statm: 28282 363 305 221 0 87 0
[pid=11617] ppid=11615 vsize=28233768 memory=625616 CPUtime=11.24 cores=0-7
/proc/11617/stat : 11617 (java) S 11615 11615 10653 0 -1 1077944320 38616 0 0 0 1081 43 0 0 20 0 20 0 421078851 28911378432 156404 33554432000 4194304 4196468 140734076234944 140734076217488 140683407441655 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
/proc/11617/statm: 7058442 156404 3510 1 0 7019544 0
[pid=11617/tid=11618] ppid=11615 vsize=28233768 memory=421472 CPUtime=2.91 cores=0-7
/proc/11617/task/11618/stat : 11618 (java) R 11615 11615 10653 0 -1 4202560 11431 0 0 0 281 10 0 0 20 0 20 0 421078851 28911378432 156404 33554432000 4194304 4196468 140734076234944 140683411680736 140683019434962 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11619] ppid=11615 vsize=28233768 memory=0 CPUtime=0.11 cores=0-7
/proc/11617/task/11619/stat : 11619 (java) S 11615 11615 10653 0 -1 1077944384 179 0 0 0 8 3 0 0 20 0 20 0 421078852 28911378432 156404 33554432000 4194304 4196468 140734076234944 140683360062480 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11620] ppid=11615 vsize=28233768 memory=0 CPUtime=0.11 cores=0-7
/proc/11617/task/11620/stat : 11620 (java) S 11615 11615 10653 0 -1 1077944384 147 0 0 0 8 3 0 0 20 0 20 0 421078852 28911378432 156404 33554432000 4194304 4196468 140734076234944 140683359009936 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11621] ppid=11615 vsize=28233768 memory=281252309940816 CPUtime=0.09 cores=0-7
/proc/11617/task/11621/stat : 11621 (java) S 11615 11615 10653 0 -1 1077944384 142 0 0 0 7 2 0 0 20 0 20 0 421078852 28911378432 156404 33554432000 4194304 4196468 140734076234944 140683357956880 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11622] ppid=11615 vsize=28233768 memory=0 CPUtime=0.1 cores=0-7
/proc/11617/task/11622/stat : 11622 (java) S 11615 11615 10653 0 -1 1077944384 161 0 0 0 8 2 0 0 20 0 20 0 421078852 28911378432 156404 33554432000 4194304 4196468 140734076234944 140683356904336 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11623] ppid=11615 vsize=28233768 memory=45796 CPUtime=0.1 cores=0-7
/proc/11617/task/11623/stat : 11623 (java) S 11615 11615 10653 0 -1 1077944384 266 0 0 0 8 2 0 0 20 0 20 0 421078852 28911378432 156404 33554432000 4194304 4196468 140734076234944 140683355851280 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11624] ppid=11615 vsize=28233768 memory=6791534058613427641 CPUtime=0.12 cores=0-7
/proc/11617/task/11624/stat : 11624 (java) S 11615 11615 10653 0 -1 1077944384 635 0 0 0 8 4 0 0 20 0 20 0 421078852 28911378432 156404 33554432000 4194304 4196468 140734076234944 140683354798736 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11625] ppid=11615 vsize=28233768 memory=2581610891009 CPUtime=0.1 cores=0-7
/proc/11617/task/11625/stat : 11625 (java) S 11615 11615 10653 0 -1 1077944384 179 0 0 0 8 2 0 0 20 0 20 0 421078852 28911378432 156404 33554432000 4194304 4196468 140734076234944 140683353745680 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11626] ppid=11615 vsize=28233768 memory=2607380694785 CPUtime=0.11 cores=0-7
/proc/11617/task/11626/stat : 11626 (java) S 11615 11615 10653 0 -1 1077944384 341 0 0 0 8 3 0 0 20 0 20 0 421078852 28911378432 156404 33554432000 4194304 4196468 140734076234944 140683352693136 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11627] ppid=11615 vsize=28233768 memory=256440 CPUtime=0.01 cores=0-7
/proc/11617/task/11627/stat : 11627 (java) S 11615 11615 10653 0 -1 1077944384 553 0 0 0 1 0 0 0 20 0 20 0 421078853 28911378432 156404 33554432000 4194304 4196468 140734076234944 140682072951536 140683407452802 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11628] ppid=11615 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/11617/task/11628/stat : 11628 (java) S 11615 11615 10653 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 20 0 421078854 28911378432 156404 33554432000 4194304 4196468 140734076234944 140682071897824 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11629] ppid=11615 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/11617/task/11629/stat : 11629 (java) S 11615 11615 10653 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 20 0 421078854 28911378432 156404 33554432000 4194304 4196468 140734076234944 140682070844672 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11630] ppid=11615 vsize=28233768 memory=2353 CPUtime=0 cores=0-7
/proc/11617/task/11630/stat : 11630 (java) S 11615 11615 10653 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 421078856 28911378432 156404 33554432000 4194304 4196468 140734076234944 140682069793232 140683407460251 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11631] ppid=11615 vsize=28233768 memory=0 CPUtime=2.27 cores=0-7
/proc/11617/task/11631/stat : 11631 (java) R 11615 11615 10653 0 -1 4202560 6553 0 0 0 225 2 0 0 20 0 20 0 421078856 28911378432 156404 33554432000 4194304 4196468 140734076234944 140682068740336 140683386701955 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11632] ppid=11615 vsize=28233768 memory=0 CPUtime=2.24 cores=0-7
/proc/11617/task/11632/stat : 11632 (java) R 11615 11615 10653 0 -1 4202560 7622 0 0 0 222 2 0 0 20 0 20 0 421078856 28911378432 156404 33554432000 4194304 4196468 140734076234944 140682067687792 140683388986144 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11633] ppid=11615 vsize=28233768 memory=8740 CPUtime=2.23 cores=0-7
/proc/11617/task/11633/stat : 11633 (java) R 11615 11615 10653 0 -1 4202560 5345 0 0 0 222 1 0 0 20 0 20 0 421078856 28911378432 156404 33554432000 4194304 4196468 140734076234944 140682066625568 140683392342222 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11634] ppid=11615 vsize=28233768 memory=0 CPUtime=0.61 cores=0-7
/proc/11617/task/11634/stat : 11634 (java) S 11615 11615 10653 0 -1 1077944384 3707 0 0 0 60 1 0 0 20 0 20 0 421078857 28911378432 156404 33554432000 4194304 4196468 140734076234944 140682065582192 140683407452802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11635] ppid=11615 vsize=28233768 memory=22532 CPUtime=0 cores=0-7
/proc/11617/task/11635/stat : 11635 (java) S 11615 11615 10653 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 421078857 28911378432 156404 33554432000 4194304 4196468 140734076234944 140682064530400 140683407451861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
[pid=11617/tid=11636] ppid=11615 vsize=28233768 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/11617/task/11636/stat : 11636 (java) S 11615 11615 10653 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 20 0 421078857 28911378432 156404 33554432000 4194304 4196468 140734076234944 140682063477936 140683407452802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35430400 140734076236778 140734076236950 140734076236950 140734076239823 0
Current children cumulated CPU time: 11.24 s
Current children cumulated vsize: 28346896 KiB
Current children cumulated memory: 627068 KiB

[startup+6.30115 s]
/proc/loadavg: 7.37 8.04 8.17 12/218 11644
/proc/meminfo: memFree=29628892/32770624 swapFree=66932192/67108860
[pid=11615] ppid=11612 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/11615/stat : 11615 (xcsp3-exec) S 11612 11615 10653 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 421078850 115843072 363 33554432000 4194304 5098028 140737448614704 140737448612808 139846710362748 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 39796736 140737448620917 140737448621161 140737448621161 140737448624074 0
/proc/11615/statm: 28282 363 305 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1452 KiB
heavy processes:

[startup+6.31076 s]
# the end of solver process 11615 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=34.527 s, system=0.882495 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+6.30115 s]*
/proc/loadavg: 7.37 8.04 8.17 2/192 11676
/proc/meminfo: memFree=30345848/32770624 swapFree=66932192/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0
Real time (s): 6.31079
CPU time (s): 35.4095
CPU user time (s): 34.527
CPU system time (s): 0.882495
CPU usage (%): 561.094
Max. virtual memory (cumulated for all children) (KiB): 28883536
Max. memory (cumulated for all children) (KiB): 824648

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 34.527
system time used= 0.882495
maximum resident set size= 823468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69662
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= 4923
involuntary context switches= 864


# summary of solver processes directly reported to runsolver:
#   pid: 11615
#   total CPU time (s): 35.4095
#   total CPU user time (s): 34.527
#   total CPU system time (s): 0.882495

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.077754 second user time and 0.105859 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.69025
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 4394487

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
