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-09-24 parallel	OPT	8	499.002	65.0773
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 (13705 MiB free)
  memory of node 1: 16384 MiB (14480 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407268-1569346743/watcher-4407268-1569346743 -o /tmp/evaluation-result-4407268-1569346743/solver-4407268-1569346743 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node103-1569335920-18440 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1292990470 HOME/instance-4407268-1569346743.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=22775, runsolver pid=22772

[startup+0.10006 s]*
/proc/loadavg: 7.08 7.66 7.75 2/211 22796
/proc/meminfo: memFree=28842968/32770624 swapFree=66999256/67108860
[pid=22775] ppid=22772 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/22775/stat : 22775 (xcsp3-exec) S 22772 22775 18413 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510927350 115843072 363 33554432000 4194304 5098028 140724284692928 140724284691032 139681211835004 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30552064 140724284699515 140724284699758 140724284699758 140724284702666 0
/proc/22775/statm: 28282 363 304 221 0 87 0
[pid=22777] ppid=22775 vsize=28227396 memory=31900 CPUtime=0.12 cores=0-7
/proc/22777/stat : 22777 (java) S 22775 22775 18413 0 -1 1077944320 5434 0 0 0 11 1 0 0 20 0 20 0 510927351 28904853504 7975 33554432000 4194304 4196468 140732949690320 140732949672864 139627281739511 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
/proc/22777/statm: 7056849 7975 3117 1 0 7019032 0
[pid=22777/tid=22778] ppid=22775 vsize=28227396 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/22777/task/22778/stat : 22778 (java) R 22775 22775 18413 0 -1 4202560 3341 0 0 0 8 1 0 0 20 0 20 0 510927351 28904853504 7975 33554432000 4194304 4196468 140732949690320 139627285962256 139627263145806 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22779] ppid=22775 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22777/task/22779/stat : 22779 (java) S 22775 22775 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510927352 28904853504 7975 33554432000 4194304 4196468 140732949690320 139627240500240 139627281749717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22780] ppid=22775 vsize=28227396 memory=288370905789785728 CPUtime=0 cores=0-7
/proc/22777/task/22780/stat : 22780 (java) S 22775 22775 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510927352 28904853504 7975 33554432000 4194304 4196468 140732949690320 139626832473232 139627281749717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22781] ppid=22775 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22777/task/22781/stat : 22781 (java) S 22775 22775 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510927352 28904853504 7975 33554432000 4194304 4196468 140732949690320 139626831420176 139627281749717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22782] ppid=22775 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22777/task/22782/stat : 22782 (java) S 22775 22775 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510927352 28904853504 7975 33554432000 4194304 4196468 140732949690320 139626830367632 139627281749717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22783] ppid=22775 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22777/task/22783/stat : 22783 (java) S 22775 22775 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510927352 28904853504 7975 33554432000 4194304 4196468 140732949690320 139626829314576 139627281749717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22784] ppid=22775 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/22777/task/22784/stat : 22784 (java) S 22775 22775 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510927352 28904853504 7975 33554432000 4194304 4196468 140732949690320 139626828262032 139627281749717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22785] ppid=22775 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22777/task/22785/stat : 22785 (java) S 22775 22775 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510927352 28904853504 7975 33554432000 4194304 4196468 140732949690320 139626827208976 139627281749717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22786] ppid=22775 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22777/task/22786/stat : 22786 (java) S 22775 22775 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510927352 28904853504 7975 33554432000 4194304 4196468 140732949690320 139626826156432 139627281749717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22787] ppid=22775 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22777/task/22787/stat : 22787 (java) S 22775 22775 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510927353 28904853504 7975 33554432000 4194304 4196468 140732949690320 139626666539760 139627281750658 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22788] ppid=22775 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22777/task/22788/stat : 22788 (java) S 22775 22775 18413 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510927354 28904853504 7975 33554432000 4194304 4196468 140732949690320 139626665485984 139627281749717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22789] ppid=22775 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22777/task/22789/stat : 22789 (java) S 22775 22775 18413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510927354 28904853504 7975 33554432000 4194304 4196468 140732949690320 139626664432880 139627281749717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22790] ppid=22775 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22777/task/22790/stat : 22790 (java) S 22775 22775 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510927356 28904853504 7975 33554432000 4194304 4196468 140732949690320 139626663381456 139627281758107 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22791] ppid=22775 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22777/task/22791/stat : 22791 (java) S 22775 22775 18413 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 20 0 510927356 28904853504 7975 33554432000 4194304 4196468 140732949690320 139626662328560 139627281750658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22792] ppid=22775 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22777/task/22792/stat : 22792 (java) S 22775 22775 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510927356 28904853504 7975 33554432000 4194304 4196468 140732949690320 139626661276016 139627281750658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22793] ppid=22775 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22777/task/22793/stat : 22793 (java) S 22775 22775 18413 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 510927357 28904853504 7975 33554432000 4194304 4196468 140732949690320 139626660222960 139627281750658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22794] ppid=22775 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/22777/task/22794/stat : 22794 (java) R 22775 22775 18413 0 -1 4202560 345 0 0 0 1 0 0 0 20 0 20 0 510927357 28904853504 7975 33554432000 4194304 4196468 140732949690320 139626659170416 139627260668817 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22795] ppid=22775 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22777/task/22795/stat : 22795 (java) S 22775 22775 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510927357 28904853504 7975 33554432000 4194304 4196468 140732949690320 139626658118624 139627281749717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22796] ppid=22775 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/22777/task/22796/stat : 22796 (java) S 22775 22775 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510927357 28904853504 7975 33554432000 4194304 4196468 140732949690320 139626657066160 139627281750658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 33352 KiB

[startup+0.211517 s]*
/proc/loadavg: 7.08 7.66 7.75 2/211 22796
/proc/meminfo: memFree=28832512/32770624 swapFree=66999256/67108860
[pid=22775] ppid=22772 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/22775/stat : 22775 (xcsp3-exec) S 22772 22775 18413 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510927350 115843072 363 33554432000 4194304 5098028 140724284692928 140724284691032 139681211835004 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30552064 140724284699515 140724284699758 140724284699758 140724284702666 0
/proc/22775/statm: 28282 363 304 221 0 87 0
[pid=22777] ppid=22775 vsize=28227396 memory=42268 CPUtime=0.33 cores=0-7
/proc/22777/stat : 22777 (java) S 22775 22775 18413 0 -1 1077944320 8830 0 0 0 30 3 0 0 20 0 20 0 510927351 28904853504 10567 33554432000 4194304 4196468 140732949690320 140732949672864 139627281739511 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
/proc/22777/statm: 7056849 10567 3279 1 0 7019032 0
[pid=22777/tid=22778] ppid=22775 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/22777/task/22778/stat : 22778 (java) R 22775 22775 18413 0 -1 4202560 6107 0 0 0 17 2 0 0 20 0 20 0 510927351 28904853504 10567 33554432000 4194304 4196468 140732949690320 139627285972240 139626918486126 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22779] ppid=22775 vsize=28227396 memory=288230609019732336 CPUtime=0 cores=0-7
/proc/22777/task/22779/stat : 22779 (java) S 22775 22775 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510927352 28904853504 10567 33554432000 4194304 4196468 140732949690320 139627240500240 139627281749717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22780] ppid=22775 vsize=28227396 memory=140529638094747 CPUtime=0 cores=0-7
/proc/22777/task/22780/stat : 22780 (java) S 22775 22775 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510927352 28904853504 10567 33554432000 4194304 4196468 140732949690320 139626832473232 139627281749717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22781] ppid=22775 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/22777/task/22781/stat : 22781 (java) S 22775 22775 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510927352 28904853504 10567 33554432000 4194304 4196468 140732949690320 139626831420176 139627281749717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22782] ppid=22775 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22777/task/22782/stat : 22782 (java) S 22775 22775 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510927352 28904853504 10567 33554432000 4194304 4196468 140732949690320 139626830367632 139627281749717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22783] ppid=22775 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22777/task/22783/stat : 22783 (java) S 22775 22775 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510927352 28904853504 10567 33554432000 4194304 4196468 140732949690320 139626829314576 139627281749717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22784] ppid=22775 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/22777/task/22784/stat : 22784 (java) S 22775 22775 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510927352 28904853504 10567 33554432000 4194304 4196468 140732949690320 139626828262032 139627281749717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22785] ppid=22775 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22777/task/22785/stat : 22785 (java) S 22775 22775 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510927352 28904853504 10567 33554432000 4194304 4196468 140732949690320 139626827208976 139627281749717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22786] ppid=22775 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22777/task/22786/stat : 22786 (java) S 22775 22775 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510927352 28904853504 10567 33554432000 4194304 4196468 140732949690320 139626826156432 139627281749717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22787] ppid=22775 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22777/task/22787/stat : 22787 (java) S 22775 22775 18413 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510927353 28904853504 10567 33554432000 4194304 4196468 140732949690320 139626666539760 139627281750658 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22788] ppid=22775 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22777/task/22788/stat : 22788 (java) S 22775 22775 18413 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510927354 28904853504 10567 33554432000 4194304 4196468 140732949690320 139626665485984 139627281749717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22789] ppid=22775 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22777/task/22789/stat : 22789 (java) S 22775 22775 18413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510927354 28904853504 10567 33554432000 4194304 4196468 140732949690320 139626664432880 139627281749717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22790] ppid=22775 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22777/task/22790/stat : 22790 (java) S 22775 22775 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510927356 28904853504 10567 33554432000 4194304 4196468 140732949690320 139626663381456 139627281758107 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22791] ppid=22775 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22777/task/22791/stat : 22791 (java) S 22775 22775 18413 0 -1 1077944384 323 0 0 0 0 0 0 0 20 0 20 0 510927356 28904853504 10567 33554432000 4194304 4196468 140732949690320 139626662328560 139627281750658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22792] ppid=22775 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/22777/task/22792/stat : 22792 (java) S 22775 22775 18413 0 -1 1077944384 104 0 0 0 1 0 0 0 20 0 20 0 510927356 28904853504 10567 33554432000 4194304 4196468 140732949690320 139626661276016 139627281750658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22793] ppid=22775 vsize=28227396 memory=-1 CPUtime=0.02 cores=0-7
/proc/22777/task/22793/stat : 22793 (java) S 22775 22775 18413 0 -1 1077944384 222 0 0 0 2 0 0 0 20 0 20 0 510927357 28904853504 10567 33554432000 4194304 4196468 140732949690320 139626660222960 139627281750658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22794] ppid=22775 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7
/proc/22777/task/22794/stat : 22794 (java) R 22775 22775 18413 0 -1 4202560 763 0 0 0 8 0 0 0 20 0 20 0 510927357 28904853504 10567 33554432000 4194304 4196468 140732949690320 139626659170416 139627260598097 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22795] ppid=22775 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/22777/task/22795/stat : 22795 (java) S 22775 22775 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510927357 28904853504 10567 33554432000 4194304 4196468 140732949690320 139626658118624 139627281749717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22796] ppid=22775 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/22777/task/22796/stat : 22796 (java) S 22775 22775 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510927357 28904853504 10567 33554432000 4194304 4196468 140732949690320 139626657066160 139627281750658 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 43720 KiB

[startup+0.311366 s]*
/proc/loadavg: 7.08 7.66 7.75 4/211 22796
/proc/meminfo: memFree=28824632/32770624 swapFree=66999256/67108860
[pid=22775] ppid=22772 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/22775/stat : 22775 (xcsp3-exec) S 22772 22775 18413 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510927350 115843072 363 33554432000 4194304 5098028 140724284692928 140724284691032 139681211835004 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30552064 140724284699515 140724284699758 140724284699758 140724284702666 0
/proc/22775/statm: 28282 363 304 221 0 87 0
[pid=22777] ppid=22775 vsize=28231652 memory=51964 CPUtime=0.52 cores=0-7
/proc/22777/stat : 22777 (java) S 22775 22775 18413 0 -1 1077944320 10281 0 0 0 48 4 0 0 20 0 20 0 510927351 28909211648 12991 33554432000 4194304 4196468 140732949690320 140732949672864 139627281739511 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
/proc/22777/statm: 7057913 12991 3352 1 0 7019032 0
[pid=22777/tid=22778] ppid=22775 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/22777/task/22778/stat : 22778 (java) R 22775 22775 18413 0 -1 4202560 7216 0 0 0 26 3 0 0 20 0 20 0 510927351 28909211648 12991 33554432000 4194304 4196468 140732949690320 139627285970624 139627265819998 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22779] ppid=22775 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/22777/task/22779/stat : 22779 (java) S 22775 22775 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510927352 28909211648 12991 33554432000 4194304 4196468 140732949690320 139627240500240 139627281749717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22780] ppid=22775 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/22777/task/22780/stat : 22780 (java) S 22775 22775 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510927352 28909211648 12991 33554432000 4194304 4196468 140732949690320 139626832473232 139627281749717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22781] ppid=22775 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/22777/task/22781/stat : 22781 (java) S 22775 22775 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510927352 28909211648 12991 33554432000 4194304 4196468 140732949690320 139626831420176 139627281749717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22782] ppid=22775 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/22777/task/22782/stat : 22782 (java) S 22775 22775 18413 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510927352 28909211648 12991 33554432000 4194304 4196468 140732949690320 139626830367632 139627281749717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22783] ppid=22775 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/22777/task/22783/stat : 22783 (java) S 22775 22775 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510927352 28909211648 12991 33554432000 4194304 4196468 140732949690320 139626829314576 139627281749717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22784] ppid=22775 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/22777/task/22784/stat : 22784 (java) S 22775 22775 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510927352 28909211648 12991 33554432000 4194304 4196468 140732949690320 139626828262032 139627281749717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22785] ppid=22775 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/22777/task/22785/stat : 22785 (java) S 22775 22775 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510927352 28909211648 12991 33554432000 4194304 4196468 140732949690320 139626827208976 139627281749717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22786] ppid=22775 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/22777/task/22786/stat : 22786 (java) S 22775 22775 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510927352 28909211648 12991 33554432000 4194304 4196468 140732949690320 139626826156432 139627281749717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22787] ppid=22775 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/22777/task/22787/stat : 22787 (java) S 22775 22775 18413 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510927353 28909211648 12991 33554432000 4194304 4196468 140732949690320 139626666539760 139627281750658 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22788] ppid=22775 vsize=28231652 memory=281059036175744 CPUtime=0 cores=0-7
/proc/22777/task/22788/stat : 22788 (java) S 22775 22775 18413 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510927354 28909211648 12991 33554432000 4194304 4196468 140732949690320 139626665485984 139627281749717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22789] ppid=22775 vsize=28231652 memory=281059036180352 CPUtime=0 cores=0-7
/proc/22777/task/22789/stat : 22789 (java) S 22775 22775 18413 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510927354 28909211648 12991 33554432000 4194304 4196468 140732949690320 139626664432880 139627281749717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22790] ppid=22775 vsize=28231652 memory=281059036184960 CPUtime=0 cores=0-7
/proc/22777/task/22790/stat : 22790 (java) S 22775 22775 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510927356 28909211648 12991 33554432000 4194304 4196468 140732949690320 139626663381456 139627281758107 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22791] ppid=22775 vsize=28231652 memory=281059036189568 CPUtime=0.03 cores=0-7
/proc/22777/task/22791/stat : 22791 (java) R 22775 22775 18413 0 -1 4202560 489 0 0 0 3 0 0 0 20 0 20 0 510927356 28909211648 12991 33554432000 4194304 4196468 140732949690320 139626662318944 139627263264280 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22792] ppid=22775 vsize=28231652 memory=281059036194176 CPUtime=0.02 cores=0-7
/proc/22777/task/22792/stat : 22792 (java) S 22775 22775 18413 0 -1 1077944384 132 0 0 0 2 0 0 0 20 0 20 0 510927356 28909211648 12991 33554432000 4194304 4196468 140732949690320 139626661276016 139627281750658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22793] ppid=22775 vsize=28231652 memory=281059036198784 CPUtime=0.03 cores=0-7
/proc/22777/task/22793/stat : 22793 (java) S 22775 22775 18413 0 -1 1077944384 227 0 0 0 3 0 0 0 20 0 20 0 510927357 28909211648 12991 33554432000 4194304 4196468 140732949690320 139626660222960 139627281750658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22794] ppid=22775 vsize=28231652 memory=281059036203392 CPUtime=0.12 cores=0-7
/proc/22777/task/22794/stat : 22794 (java) S 22775 22775 18413 0 -1 1077944384 917 0 0 0 12 0 0 0 20 0 20 0 510927357 28909211648 12991 33554432000 4194304 4196468 140732949690320 139626659170416 139627281750658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22795] ppid=22775 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/22777/task/22795/stat : 22795 (java) S 22775 22775 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510927357 28909211648 12991 33554432000 4194304 4196468 140732949690320 139626658118624 139627281749717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22796] ppid=22775 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/22777/task/22796/stat : 22796 (java) S 22775 22775 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510927357 28909211648 12991 33554432000 4194304 4196468 140732949690320 139626657066160 139627281750658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 53416 KiB

[startup+0.701005 s]
/proc/loadavg: 7.08 7.66 7.75 6/211 22796
/proc/meminfo: memFree=28803196/32770624 swapFree=66999256/67108860
[pid=22775] ppid=22772 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/22775/stat : 22775 (xcsp3-exec) S 22772 22775 18413 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510927350 115843072 363 33554432000 4194304 5098028 140724284692928 140724284691032 139681211835004 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30552064 140724284699515 140724284699758 140724284699758 140724284702666 0
/proc/22775/statm: 28282 363 304 221 0 87 0
[pid=22777] ppid=22775 vsize=28233776 memory=121340 CPUtime=1.95 cores=0-7
/proc/22777/stat : 22777 (java) S 22775 22775 18413 0 -1 1077944320 14334 0 0 0 189 6 0 0 20 0 20 0 510927351 28911386624 30335 33554432000 4194304 4196468 140732949690320 140732949672864 139627281739511 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
/proc/22777/statm: 7058444 30335 3449 1 0 7019544 0
[pid=22777/tid=22778] ppid=22775 vsize=28233776 memory=4580 CPUtime=0.67 cores=0-7
/proc/22777/task/22778/stat : 22778 (java) R 22775 22775 18413 0 -1 4202560 7809 0 0 0 63 4 0 0 20 0 20 0 510927351 28911386624 30335 33554432000 4194304 4196468 140732949690320 139627285978624 139626918472224 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22779] ppid=22775 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/22777/task/22779/stat : 22779 (java) S 22775 22775 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510927352 28911386624 30335 33554432000 4194304 4196468 140732949690320 139627240500240 139627281749717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22780] ppid=22775 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/22777/task/22780/stat : 22780 (java) S 22775 22775 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510927352 28911386624 30335 33554432000 4194304 4196468 140732949690320 139626832473232 139627281749717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22781] ppid=22775 vsize=28233776 memory=2828 CPUtime=0 cores=0-7
/proc/22777/task/22781/stat : 22781 (java) S 22775 22775 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510927352 28911386624 30335 33554432000 4194304 4196468 140732949690320 139626831420176 139627281749717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0

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

[pid=22777/tid=22794] ppid=22775 vsize=29167720 memory=920 CPUtime=0.92 cores=0-7
/proc/22777/task/22794/stat : 22794 (java) S 22775 22775 18413 0 -1 1077944384 10324 0 0 0 90 2 0 0 20 0 28 0 510927357 29867745280 869390 33554432000 4194304 4196468 140732949690320 139626659170416 139627281750658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22795] ppid=22775 vsize=29167720 memory=4792 CPUtime=0 cores=0-7
/proc/22777/task/22795/stat : 22795 (java) S 22775 22775 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510927357 29867745280 869390 33554432000 4194304 4196468 140732949690320 139626658118624 139627281749717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22796] ppid=22775 vsize=29167720 memory=4104 CPUtime=0.02 cores=0-7
/proc/22777/task/22796/stat : 22796 (java) S 22775 22775 18413 0 -1 1077944384 936 0 0 0 2 0 0 0 20 0 28 0 510927357 29867745280 869390 33554432000 4194304 4196468 140732949690320 139626657066160 139627281750658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22845] ppid=22775 vsize=29167720 memory=1412 CPUtime=58.54 cores=0-7
/proc/22777/task/22845/stat : 22845 (java) R 22775 22775 18413 0 -1 4202560 651 0 0 0 5853 1 0 0 20 0 28 0 510927844 29867745280 869390 33554432000 4194304 4196468 140732949690320 139626566102024 139626928825224 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22846] ppid=22775 vsize=29167720 memory=3364 CPUtime=58.57 cores=0-7
/proc/22777/task/22846/stat : 22846 (java) R 22775 22775 18413 0 -1 4202560 672 0 0 0 5857 0 0 0 20 0 28 0 510927844 29867745280 869390 33554432000 4194304 4196468 140732949690320 139626565050760 139626927680662 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22847] ppid=22775 vsize=29167720 memory=1452 CPUtime=58.77 cores=0-7
/proc/22777/task/22847/stat : 22847 (java) R 22775 22775 18413 0 -1 4202560 671 0 0 0 5876 1 0 0 20 0 28 0 510927844 29867745280 869390 33554432000 4194304 4196468 140732949690320 139626637328064 139626927680563 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22848] ppid=22775 vsize=29167720 memory=3477560 CPUtime=58.3 cores=0-7
/proc/22777/task/22848/stat : 22848 (java) R 22775 22775 18413 0 -1 4202560 3876 0 0 0 5810 20 0 0 20 0 28 0 510927844 29867745280 869390 33554432000 4194304 4196468 140732949690320 139626645741704 139626928034240 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22849] ppid=22775 vsize=29167720 memory=111628 CPUtime=58.63 cores=0-7
/proc/22777/task/22849/stat : 22849 (java) R 22775 22775 18413 0 -1 4202560 956 0 0 0 5862 1 0 0 20 0 28 0 510927844 29867745280 869390 33554432000 4194304 4196468 140732949690320 139626568208200 139626926867272 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22850] ppid=22775 vsize=29167720 memory=796 CPUtime=57.6 cores=0-7
/proc/22777/task/22850/stat : 22850 (java) R 22775 22775 18413 0 -1 4202560 876 0 0 0 5757 3 0 0 20 0 28 0 510927844 29867745280 869390 33554432000 4194304 4196468 140732949690320 139626563997688 139626926867396 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22851] ppid=22775 vsize=29167720 memory=1808 CPUtime=58.34 cores=0-7
/proc/22777/task/22851/stat : 22851 (java) R 22775 22775 18413 0 -1 4202560 1073 0 0 0 5831 3 0 0 20 0 28 0 510927844 29867745280 869390 33554432000 4194304 4196468 140732949690320 139626641531320 139626926867670 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22852] ppid=22775 vsize=29167720 memory=920 CPUtime=58.67 cores=0-7
/proc/22777/task/22852/stat : 22852 (java) R 22775 22775 18413 0 -1 4202560 11580 0 0 0 5810 57 0 0 20 0 28 0 510927845 29867745280 869390 33554432000 4194304 4196468 140732949690320 139626567155864 139626921585193 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
Current children cumulated CPU time: 490.98 s
Current children cumulated vsize: 29280848 KiB
Current children cumulated memory: 3479012 KiB

[startup+64.802 s]
/proc/loadavg: 7.63 7.69 7.76 9/220 22857
/proc/meminfo: memFree=25392060/32770624 swapFree=66999256/67108860
[pid=22775] ppid=22772 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/22775/stat : 22775 (xcsp3-exec) S 22772 22775 18413 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510927350 115843072 363 33554432000 4194304 5098028 140724284692928 140724284691032 139681211835004 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30552064 140724284699515 140724284699758 140724284699758 140724284702666 0
/proc/22775/statm: 28282 363 304 221 0 87 0
[pid=22777] ppid=22775 vsize=29167720 memory=3477560 CPUtime=497.29 cores=0-7
/proc/22777/stat : 22777 (java) S 22775 22775 18413 0 -1 1077944320 92022 0 0 0 49547 182 0 0 20 0 28 0 510927351 29867745280 869390 33554432000 4194304 4196468 140732949690320 140732949672864 139627281739511 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
/proc/22777/statm: 7291930 869390 3530 1 0 7253030 0
[pid=22777/tid=22778] ppid=22775 vsize=29167720 memory=6926605841125108032 CPUtime=3.42 cores=0-7
/proc/22777/task/22778/stat : 22778 (java) S 22775 22775 18413 0 -1 1077944384 10321 0 0 0 331 11 0 0 20 0 28 0 510927351 29867745280 869390 33554432000 4194304 4196468 140732949690320 139627285980288 139627281749717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22779] ppid=22775 vsize=29167720 memory=6791534058613427641 CPUtime=0.22 cores=0-7
/proc/22777/task/22779/stat : 22779 (java) S 22775 22775 18413 0 -1 1077944384 1155 0 0 0 15 7 0 0 20 0 28 0 510927352 29867745280 869390 33554432000 4194304 4196468 140732949690320 139627240500240 139627281749717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22780] ppid=22775 vsize=29167720 memory=796 CPUtime=0.23 cores=0-7
/proc/22777/task/22780/stat : 22780 (java) S 22775 22775 18413 0 -1 1077944384 497 0 0 0 15 8 0 0 20 0 28 0 510927352 29867745280 869390 33554432000 4194304 4196468 140732949690320 139626832473232 139627281749717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22781] ppid=22775 vsize=29167720 memory=1764 CPUtime=0.21 cores=0-7
/proc/22777/task/22781/stat : 22781 (java) S 22775 22775 18413 0 -1 1077944384 315 0 0 0 14 7 0 0 20 0 28 0 510927352 29867745280 869390 33554432000 4194304 4196468 140732949690320 139626831420176 139627281749717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22782] ppid=22775 vsize=29167720 memory=111628 CPUtime=0.24 cores=0-7
/proc/22777/task/22782/stat : 22782 (java) S 22775 22775 18413 0 -1 1077944384 1412 0 0 0 17 7 0 0 20 0 28 0 510927352 29867745280 869390 33554432000 4194304 4196468 140732949690320 139626830367632 139627281749717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22783] ppid=22775 vsize=29167720 memory=796 CPUtime=0.22 cores=0-7
/proc/22777/task/22783/stat : 22783 (java) S 22775 22775 18413 0 -1 1077944384 443 0 0 0 15 7 0 0 20 0 28 0 510927352 29867745280 869390 33554432000 4194304 4196468 140732949690320 139626829314576 139627281749717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22784] ppid=22775 vsize=29167720 memory=1808 CPUtime=0.23 cores=0-7
/proc/22777/task/22784/stat : 22784 (java) S 22775 22775 18413 0 -1 1077944384 307 0 0 0 15 8 0 0 20 0 28 0 510927352 29867745280 869390 33554432000 4194304 4196468 140732949690320 139626828262032 139627281749717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22785] ppid=22775 vsize=29167720 memory=2828 CPUtime=0.22 cores=0-7
/proc/22777/task/22785/stat : 22785 (java) S 22775 22775 18413 0 -1 1077944384 1098 0 0 0 14 8 0 0 20 0 28 0 510927352 29867745280 869390 33554432000 4194304 4196468 140732949690320 139626827208976 139627281749717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22786] ppid=22775 vsize=29167720 memory=676 CPUtime=0.19 cores=0-7
/proc/22777/task/22786/stat : 22786 (java) S 22775 22775 18413 0 -1 1077944384 297 0 0 0 12 7 0 0 20 0 28 0 510927352 29867745280 869390 33554432000 4194304 4196468 140732949690320 139626826156432 139627281749717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22787] ppid=22775 vsize=29167720 memory=1060 CPUtime=0.04 cores=0-7
/proc/22777/task/22787/stat : 22787 (java) S 22775 22775 18413 0 -1 1077944384 3238 0 0 0 2 2 0 0 20 0 28 0 510927353 29867745280 869390 33554432000 4194304 4196468 140732949690320 139626666539760 139627281750658 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22788] ppid=22775 vsize=29167720 memory=1548 CPUtime=0 cores=0-7
/proc/22777/task/22788/stat : 22788 (java) S 22775 22775 18413 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 510927354 29867745280 869390 33554432000 4194304 4196468 140732949690320 139626665486048 139627281749717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22789] ppid=22775 vsize=29167720 memory=8560 CPUtime=0 cores=0-7
/proc/22777/task/22789/stat : 22789 (java) S 22775 22775 18413 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 28 0 510927354 29867745280 869390 33554432000 4194304 4196468 140732949690320 139626664432896 139627281749717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22790] ppid=22775 vsize=29167720 memory=1712 CPUtime=0 cores=0-7
/proc/22777/task/22790/stat : 22790 (java) S 22775 22775 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510927356 29867745280 869390 33554432000 4194304 4196468 140732949690320 139626663381456 139627281758107 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22791] ppid=22775 vsize=29167720 memory=2124 CPUtime=3.82 cores=0-7
/proc/22777/task/22791/stat : 22791 (java) S 22775 22775 18413 0 -1 1077944384 12365 0 0 0 379 3 0 0 20 0 28 0 510927356 29867745280 869390 33554432000 4194304 4196468 140732949690320 139626662328560 139627281750658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22792] ppid=22775 vsize=29167720 memory=35644 CPUtime=4.11 cores=0-7
/proc/22777/task/22792/stat : 22792 (java) S 22775 22775 18413 0 -1 1077944384 12999 0 0 0 408 3 0 0 20 0 28 0 510927356 29867745280 869390 33554432000 4194304 4196468 140732949690320 139626661276016 139627281750658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22793] ppid=22775 vsize=29167720 memory=12024 CPUtime=3.95 cores=0-7
/proc/22777/task/22793/stat : 22793 (java) S 22775 22775 18413 0 -1 1077944384 13250 0 0 0 392 3 0 0 20 0 28 0 510927357 29867745280 869390 33554432000 4194304 4196468 140732949690320 139626660222960 139627281750658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22794] ppid=22775 vsize=29167720 memory=500 CPUtime=0.92 cores=0-7
/proc/22777/task/22794/stat : 22794 (java) S 22775 22775 18413 0 -1 1077944384 10324 0 0 0 90 2 0 0 20 0 28 0 510927357 29867745280 869390 33554432000 4194304 4196468 140732949690320 139626659170416 139627281750658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22795] ppid=22775 vsize=29167720 memory=1560 CPUtime=0 cores=0-7
/proc/22777/task/22795/stat : 22795 (java) S 22775 22775 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510927357 29867745280 869390 33554432000 4194304 4196468 140732949690320 139626658118624 139627281749717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22796] ppid=22775 vsize=29167720 memory=932 CPUtime=0.02 cores=0-7
/proc/22777/task/22796/stat : 22796 (java) S 22775 22775 18413 0 -1 1077944384 936 0 0 0 2 0 0 0 20 0 28 0 510927357 29867745280 869390 33554432000 4194304 4196468 140732949690320 139626657066160 139627281750658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22845] ppid=22775 vsize=29167720 memory=3768 CPUtime=59.33 cores=0-7
/proc/22777/task/22845/stat : 22845 (java) R 22775 22775 18413 0 -1 4202560 654 0 0 0 5932 1 0 0 20 0 28 0 510927844 29867745280 869390 33554432000 4194304 4196468 140732949690320 139626566102024 139626923525453 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22846] ppid=22775 vsize=29167720 memory=1980 CPUtime=59.36 cores=0-7
/proc/22777/task/22846/stat : 22846 (java) R 22775 22775 18413 0 -1 4202560 673 0 0 0 5936 0 0 0 20 0 28 0 510927844 29867745280 869390 33554432000 4194304 4196468 140732949690320 139626565050760 139626927324912 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22847] ppid=22775 vsize=29167720 memory=2512 CPUtime=59.56 cores=0-7
/proc/22777/task/22847/stat : 22847 (java) R 22775 22775 18413 0 -1 4202560 671 0 0 0 5955 1 0 0 20 0 28 0 510927844 29867745280 869390 33554432000 4194304 4196468 140732949690320 139626637328064 139626927021473 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22848] ppid=22775 vsize=29167720 memory=6791534058613427641 CPUtime=59.09 cores=0-7
/proc/22777/task/22848/stat : 22848 (java) R 22775 22775 18413 0 -1 4202560 3905 0 0 0 5889 20 0 0 20 0 28 0 510927844 29867745280 869390 33554432000 4194304 4196468 140732949690320 139626645741704 139626927912447 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22849] ppid=22775 vsize=29167720 memory=12024 CPUtime=59.42 cores=0-7
/proc/22777/task/22849/stat : 22849 (java) R 22775 22775 18413 0 -1 4202560 961 0 0 0 5941 1 0 0 20 0 28 0 510927844 29867745280 869390 33554432000 4194304 4196468 140732949690320 139626568208200 139626926867495 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22850] ppid=22775 vsize=29167720 memory=500 CPUtime=58.38 cores=0-7
/proc/22777/task/22850/stat : 22850 (java) R 22775 22775 18413 0 -1 4202560 880 0 0 0 5835 3 0 0 20 0 28 0 510927844 29867745280 869390 33554432000 4194304 4196468 140732949690320 139626563997688 139626926867391 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22851] ppid=22775 vsize=29167720 memory=1560 CPUtime=59.13 cores=0-7
/proc/22777/task/22851/stat : 22851 (java) R 22775 22775 18413 0 -1 4202560 1084 0 0 0 5910 3 0 0 20 0 28 0 510927844 29867745280 869390 33554432000 4194304 4196468 140732949690320 139626641531320 139626926867665 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22852] ppid=22775 vsize=29167720 memory=932 CPUtime=59.45 cores=0-7
/proc/22777/task/22852/stat : 22852 (java) R 22775 22775 18413 0 -1 4202560 11651 0 0 0 5888 57 0 0 20 0 28 0 510927845 29867745280 869390 33554432000 4194304 4196468 140732949690320 139626567155864 139626919484423 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
Current children cumulated CPU time: 497.29 s
Current children cumulated vsize: 29280848 KiB
Current children cumulated memory: 3479012 KiB

[startup+65.002 s]*
/proc/loadavg: 7.63 7.69 7.76 9/220 22857
/proc/meminfo: memFree=25392184/32770624 swapFree=66999256/67108860
[pid=22775] ppid=22772 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/22775/stat : 22775 (xcsp3-exec) S 22772 22775 18413 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510927350 115843072 363 33554432000 4194304 5098028 140724284692928 140724284691032 139681211835004 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30552064 140724284699515 140724284699758 140724284699758 140724284702666 0
/proc/22775/statm: 28282 363 304 221 0 87 0
[pid=22777] ppid=22775 vsize=29167720 memory=3477564 CPUtime=498.92 cores=0-7
/proc/22777/stat : 22777 (java) S 22775 22775 18413 0 -1 1077944320 92304 0 0 0 49709 183 0 0 20 0 28 0 510927351 29867745280 869391 33554432000 4194304 4196468 140732949690320 140732949672864 139627281739511 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
/proc/22777/statm: 7291930 869391 3530 1 0 7253030 0
[pid=22777/tid=22778] ppid=22775 vsize=29167720 memory=1398722017469774279 CPUtime=3.42 cores=0-7
/proc/22777/task/22778/stat : 22778 (java) S 22775 22775 18413 0 -1 1077944384 10321 0 0 0 331 11 0 0 20 0 28 0 510927351 29867745280 869391 33554432000 4194304 4196468 140732949690320 139627285980288 139627281749717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22779] ppid=22775 vsize=29167720 memory=1764 CPUtime=0.22 cores=0-7
/proc/22777/task/22779/stat : 22779 (java) S 22775 22775 18413 0 -1 1077944384 1155 0 0 0 15 7 0 0 20 0 28 0 510927352 29867745280 869391 33554432000 4194304 4196468 140732949690320 139627240500240 139627281749717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22780] ppid=22775 vsize=29167720 memory=111628 CPUtime=0.23 cores=0-7
/proc/22777/task/22780/stat : 22780 (java) S 22775 22775 18413 0 -1 1077944384 497 0 0 0 15 8 0 0 20 0 28 0 510927352 29867745280 869391 33554432000 4194304 4196468 140732949690320 139626832473232 139627281749717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22781] ppid=22775 vsize=29167720 memory=281059038038960 CPUtime=0.21 cores=0-7
/proc/22777/task/22781/stat : 22781 (java) S 22775 22775 18413 0 -1 1077944384 315 0 0 0 14 7 0 0 20 0 28 0 510927352 29867745280 869391 33554432000 4194304 4196468 140732949690320 139626831420176 139627281749717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22782] ppid=22775 vsize=29167720 memory=-8961168018402230209 CPUtime=0.24 cores=0-7
/proc/22777/task/22782/stat : 22782 (java) S 22775 22775 18413 0 -1 1077944384 1412 0 0 0 17 7 0 0 20 0 28 0 510927352 29867745280 869391 33554432000 4194304 4196468 140732949690320 139626830367632 139627281749717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22783] ppid=22775 vsize=29167720 memory=-8253362762722141311 CPUtime=0.22 cores=0-7
/proc/22777/task/22783/stat : 22783 (java) S 22775 22775 18413 0 -1 1077944384 443 0 0 0 15 7 0 0 20 0 28 0 510927352 29867745280 869391 33554432000 4194304 4196468 140732949690320 139626829314576 139627281749717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22784] ppid=22775 vsize=29167720 memory=6944656592455097440 CPUtime=0.23 cores=0-7
/proc/22777/task/22784/stat : 22784 (java) S 22775 22775 18413 0 -1 1077944384 307 0 0 0 15 8 0 0 20 0 28 0 510927352 29867745280 869391 33554432000 4194304 4196468 140732949690320 139626828262032 139627281749717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22785] ppid=22775 vsize=29167720 memory=1452 CPUtime=0.22 cores=0-7
/proc/22777/task/22785/stat : 22785 (java) S 22775 22775 18413 0 -1 1077944384 1098 0 0 0 14 8 0 0 20 0 28 0 510927352 29867745280 869391 33554432000 4194304 4196468 140732949690320 139626827208976 139627281749717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22786] ppid=22775 vsize=29167720 memory=1412 CPUtime=0.19 cores=0-7
/proc/22777/task/22786/stat : 22786 (java) S 22775 22775 18413 0 -1 1077944384 297 0 0 0 12 7 0 0 20 0 28 0 510927352 29867745280 869391 33554432000 4194304 4196468 140732949690320 139626826156432 139627281749717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22787] ppid=22775 vsize=29167720 memory=3292 CPUtime=0.04 cores=0-7
/proc/22777/task/22787/stat : 22787 (java) S 22775 22775 18413 0 -1 1077944384 3238 0 0 0 2 2 0 0 20 0 28 0 510927353 29867745280 869391 33554432000 4194304 4196468 140732949690320 139626666539760 139627281750658 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22788] ppid=22775 vsize=29167720 memory=1452 CPUtime=0 cores=0-7
/proc/22777/task/22788/stat : 22788 (java) S 22775 22775 18413 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 510927354 29867745280 869391 33554432000 4194304 4196468 140732949690320 139626665486048 139627281749717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22789] ppid=22775 vsize=29167720 memory=2298372 CPUtime=0 cores=0-7
/proc/22777/task/22789/stat : 22789 (java) S 22775 22775 18413 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 28 0 510927354 29867745280 869391 33554432000 4194304 4196468 140732949690320 139626664432896 139627281749717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22790] ppid=22775 vsize=29167720 memory=1712 CPUtime=0 cores=0-7
/proc/22777/task/22790/stat : 22790 (java) S 22775 22775 18413 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510927356 29867745280 869391 33554432000 4194304 4196468 140732949690320 139626663381456 139627281758107 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22791] ppid=22775 vsize=29167720 memory=1398722017469774279 CPUtime=3.82 cores=0-7
/proc/22777/task/22791/stat : 22791 (java) S 22775 22775 18413 0 -1 1077944384 12365 0 0 0 379 3 0 0 20 0 28 0 510927356 29867745280 869391 33554432000 4194304 4196468 140732949690320 139626662328560 139627281750658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22792] ppid=22775 vsize=29167720 memory=3768 CPUtime=4.11 cores=0-7
/proc/22777/task/22792/stat : 22792 (java) S 22775 22775 18413 0 -1 1077944384 12999 0 0 0 408 3 0 0 20 0 28 0 510927356 29867745280 869391 33554432000 4194304 4196468 140732949690320 139626661276016 139627281750658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22793] ppid=22775 vsize=29167720 memory=1980 CPUtime=3.95 cores=0-7
/proc/22777/task/22793/stat : 22793 (java) S 22775 22775 18413 0 -1 1077944384 13250 0 0 0 392 3 0 0 20 0 28 0 510927357 29867745280 869391 33554432000 4194304 4196468 140732949690320 139626660222960 139627281750658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22794] ppid=22775 vsize=29167720 memory=2512 CPUtime=0.92 cores=0-7
/proc/22777/task/22794/stat : 22794 (java) S 22775 22775 18413 0 -1 1077944384 10324 0 0 0 90 2 0 0 20 0 28 0 510927357 29867745280 869391 33554432000 4194304 4196468 140732949690320 139626659170416 139627281750658 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22795] ppid=22775 vsize=29167720 memory=35644 CPUtime=0 cores=0-7
/proc/22777/task/22795/stat : 22795 (java) S 22775 22775 18413 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510927357 29867745280 869391 33554432000 4194304 4196468 140732949690320 139626658118624 139627281749717 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22796] ppid=22775 vsize=29167720 memory=12024 CPUtime=0.02 cores=0-7
/proc/22777/task/22796/stat : 22796 (java) S 22775 22775 18413 0 -1 1077944384 936 0 0 0 2 0 0 0 20 0 28 0 510927357 29867745280 869391 33554432000 4194304 4196468 140732949690320 139626657066160 139627281750658 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22845] ppid=22775 vsize=29167720 memory=2828 CPUtime=59.53 cores=0-7
/proc/22777/task/22845/stat : 22845 (java) S 22775 22775 18413 0 -1 1077944384 696 0 0 0 5952 1 0 0 20 0 28 0 510927844 29867745280 869391 33554432000 4194304 4196468 140732949690320 139626566106880 139627281749717 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22846] ppid=22775 vsize=29167720 memory=676 CPUtime=59.57 cores=0-7
/proc/22777/task/22846/stat : 22846 (java) S 22775 22775 18413 0 -1 1077944384 699 0 0 0 5957 0 0 0 20 0 28 0 510927844 29867745280 869391 33554432000 4194304 4196468 140732949690320 139626565055824 139627281749717 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22847] ppid=22775 vsize=29167720 memory=1060 CPUtime=59.76 cores=0-7
/proc/22777/task/22847/stat : 22847 (java) S 22775 22775 18413 0 -1 1077944384 701 0 0 0 5975 1 0 0 20 0 28 0 510927844 29867745280 869391 33554432000 4194304 4196468 140732949690320 139626637333456 139627281749717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22848] ppid=22775 vsize=29167720 memory=1548 CPUtime=59.29 cores=0-7
/proc/22777/task/22848/stat : 22848 (java) S 22775 22775 18413 0 -1 1077944384 4011 0 0 0 5909 20 0 0 20 0 28 0 510927844 29867745280 869391 33554432000 4194304 4196468 140732949690320 139626645746768 139627281749717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22849] ppid=22775 vsize=29167720 memory=8560 CPUtime=59.62 cores=0-7
/proc/22777/task/22849/stat : 22849 (java) S 22775 22775 18413 0 -1 1077944384 983 0 0 0 5961 1 0 0 20 0 28 0 510927844 29867745280 869391 33554432000 4194304 4196468 140732949690320 139626568213200 139627281749717 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22850] ppid=22775 vsize=29167720 memory=1712 CPUtime=58.58 cores=0-7
/proc/22777/task/22850/stat : 22850 (java) S 22775 22775 18413 0 -1 1077944384 902 0 0 0 5855 3 0 0 20 0 28 0 510927844 29867745280 869391 33554432000 4194304 4196468 140732949690320 139626564002640 139627281749717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22851] ppid=22775 vsize=29167720 memory=1112 CPUtime=59.33 cores=0-7
/proc/22777/task/22851/stat : 22851 (java) S 22775 22775 18413 0 -1 1077944384 1090 0 0 0 5930 3 0 0 20 0 28 0 510927844 29867745280 869391 33554432000 4194304 4196468 140732949690320 139626641536464 139627281749717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
[pid=22777/tid=22852] ppid=22775 vsize=29167720 memory=1004 CPUtime=59.67 cores=0-7
/proc/22777/task/22852/stat : 22852 (java) R 22775 22775 18413 0 -1 4202560 11679 0 0 0 5909 58 0 0 20 0 28 0 510927845 29867745280 869391 33554432000 4194304 4196468 140732949690320 139626567155864 139626927021473 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25559040 140732949693424 140732949693595 140732949693595 140732949696463 0
Current children cumulated CPU time: 498.92 s
Current children cumulated vsize: 29280848 KiB
Current children cumulated memory: 3479016 KiB

Child status: 0
Real time (s): 65.0773
CPU time (s): 499.002
CPU user time (s): 497.137
CPU system time (s): 1.865
CPU usage (%): 766.783
Max. virtual memory (cumulated for all children) (KiB): 29280848
Max. memory (cumulated for all children) (KiB): 3479016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 497.137
system time used= 1.865
maximum resident set size= 3477796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94023
page faults= 0
swaps= 0
block input operations= 0
block output operations= 232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6983
involuntary context switches= 6274


# summary of solver processes directly reported to runsolver:
#   pid: 22775
#   total CPU time (s): 499.002
#   total CPU user time (s): 497.137
#   total CPU system time (s): 1.865

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.582039 second user time and 0.818763 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-5-fullins-4.xml
MD5SUM	9a110b3288dcdd83da8fcc132ac433c6
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	8
Best CPU time to get the best result obtained on this benchmark	75.1369
Satisfiable
(Un)Satisfiability was proved
Number of variables	1085
Number of constraints	11395
Number of domains	1
Minimum domain size	1085
Maximum domain size	1085
Distribution of domain sizes	[{"size":1085,"count":1085}]
Minimum variable degree	7
Maximum variable degree	161
Distribution of variable degrees	[{"degree":7,"count":4},{"degree":8,"count":22},{"degree":9,"count":16},{"degree":10,"count":80},{"degree":11,"count":22},{"degree":12,"count":110},{"degree":13,"count":19},{"degree":14,"count":60},{"degree":15,"count":60},{"degree":16,"count":300},{"degree":19,"count":7},{"degree":20,"count":35},{"degree":21,"count":7},{"degree":22,"count":35},{"degree":30,"count":7},{"degree":33,"count":7},{"degree":34,"count":35},{"degree":35,"count":35},{"degree":36,"count":175},{"degree":55,"count":7},{"degree":56,"count":35},{"degree":161,"count":7}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":11395}]
Number of extensional constraints	0
Number of intensional constraints	11395
Distribution of constraint types	[{"type":"intension","count":11395}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4407268

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
