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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-20 parallel	OPT	6	33.8496	6.2726
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 (7987 MiB free)
  memory of node 1: 16384 MiB (4841 MiB free)
  node distances:
     10  21
     21  10

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

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

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


[startup+0.100062 s]*
/proc/loadavg: 4.03 5.13 6.56 4/213 14273
/proc/meminfo: memFree=13118948/32770624 swapFree=66959628/67108860
[pid=14252] ppid=14249 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14252/stat : 14252 (xcsp3-exec) S 14249 14252 13953 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475737531 115843072 363 33554432000 4194304 5098028 140721478578480 140721478576584 139753791746684 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24453120 140721478583158 140721478583401 140721478583401 140721478586314 0
/proc/14252/statm: 28282 363 304 221 0 87 0
[pid=14254] ppid=14252 vsize=28227396 memory=30224 CPUtime=0.13 cores=0-7
/proc/14254/stat : 14254 (java) S 14252 14252 13953 0 -1 1077944320 5520 0 0 0 11 2 0 0 20 0 20 0 475737532 28904853504 7556 33554432000 4194304 4196468 140727652842304 140727652824848 140230720179959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
/proc/14254/statm: 7056849 7556 3123 1 0 7019032 0
[pid=14254/tid=14255] ppid=14252 vsize=28227396 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/14254/task/14255/stat : 14255 (java) R 14252 14252 13953 0 -1 4202560 3432 0 0 0 8 1 0 0 20 0 20 0 475737532 28904853504 7556 33554432000 4194304 4196468 140727652842304 140230724399264 140230704223589 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14256] ppid=14252 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14254/task/14256/stat : 14256 (java) S 14252 14252 13953 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475737533 28904853504 7556 33554432000 4194304 4196468 140727652842304 140230683285904 140230720190165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14257] ppid=14252 vsize=28227396 memory=140560771071520 CPUtime=0 cores=0-7
/proc/14254/task/14257/stat : 14257 (java) S 14252 14252 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475737533 28904853504 7556 33554432000 4194304 4196468 140727652842304 140230271031568 140230720190165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14258] ppid=14252 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14254/task/14258/stat : 14258 (java) S 14252 14252 13953 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475737533 28904853504 7556 33554432000 4194304 4196468 140727652842304 140230269979280 140230720190165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14259] ppid=14252 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14254/task/14259/stat : 14259 (java) S 14252 14252 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475737533 28904853504 7556 33554432000 4194304 4196468 140727652842304 140230268926480 140230720190165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14260] ppid=14252 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14254/task/14260/stat : 14260 (java) S 14252 14252 13953 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475737533 28904853504 7556 33554432000 4194304 4196468 140727652842304 140230267874192 140230720190165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14261] ppid=14252 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14254/task/14261/stat : 14261 (java) S 14252 14252 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475737533 28904853504 7556 33554432000 4194304 4196468 140727652842304 140230266821392 140230720190165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14262] ppid=14252 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14254/task/14262/stat : 14262 (java) S 14252 14252 13953 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475737533 28904853504 7556 33554432000 4194304 4196468 140727652842304 140230265769104 140230720190165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14263] ppid=14252 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14254/task/14263/stat : 14263 (java) S 14252 14252 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475737533 28904853504 7556 33554432000 4194304 4196468 140727652842304 140230264716304 140230720190165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14264] ppid=14252 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14254/task/14264/stat : 14264 (java) S 14252 14252 13953 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475737534 28904853504 7556 33554432000 4194304 4196468 140727652842304 140229369653360 140230720191106 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14265] ppid=14252 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14254/task/14265/stat : 14265 (java) S 14252 14252 13953 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475737535 28904853504 7556 33554432000 4194304 4196468 140727652842304 140229368599328 140230720190165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14266] ppid=14252 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14254/task/14266/stat : 14266 (java) S 14252 14252 13953 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475737535 28904853504 7556 33554432000 4194304 4196468 140727652842304 140229367546992 140230720190165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14267] ppid=14252 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14254/task/14267/stat : 14267 (java) S 14252 14252 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475737537 28904853504 7556 33554432000 4194304 4196468 140727652842304 140229366495312 140230720198555 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14268] ppid=14252 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14254/task/14268/stat : 14268 (java) S 14252 14252 13953 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 20 0 475737537 28904853504 7556 33554432000 4194304 4196468 140727652842304 140229365443184 140230720191106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14269] ppid=14252 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14254/task/14269/stat : 14269 (java) R 14252 14252 13953 0 -1 4202560 121 0 0 0 0 0 0 0 20 0 20 0 475737537 28904853504 7556 33554432000 4194304 4196468 140727652842304 140229364390384 140230713165001 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14270] ppid=14252 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14254/task/14270/stat : 14270 (java) S 14252 14252 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475737537 28904853504 7556 33554432000 4194304 4196468 140727652842304 140229363338096 140230720191106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14271] ppid=14252 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/14254/task/14271/stat : 14271 (java) R 14252 14252 13953 0 -1 4202560 350 0 0 0 2 0 0 0 20 0 20 0 475737537 28904853504 7556 33554432000 4194304 4196468 140727652842304 140229362285296 140230720191894 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14272] ppid=14252 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14254/task/14272/stat : 14272 (java) S 14252 14252 13953 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475737538 28904853504 7556 33554432000 4194304 4196468 140727652842304 140229361232224 140230720190165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14273] ppid=14252 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14254/task/14273/stat : 14273 (java) S 14252 14252 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475737538 28904853504 7556 33554432000 4194304 4196468 140727652842304 140229360179504 140230720191106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31676 KiB

[startup+0.210756 s]*
/proc/loadavg: 4.03 5.13 6.56 3/213 14273
/proc/meminfo: memFree=13106824/32770624 swapFree=66959628/67108860
[pid=14252] ppid=14249 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14252/stat : 14252 (xcsp3-exec) S 14249 14252 13953 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475737531 115843072 363 33554432000 4194304 5098028 140721478578480 140721478576584 139753791746684 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24453120 140721478583158 140721478583401 140721478583401 140721478586314 0
/proc/14252/statm: 28282 363 304 221 0 87 0
[pid=14254] ppid=14252 vsize=28227396 memory=40952 CPUtime=0.34 cores=0-7
/proc/14254/stat : 14254 (java) S 14252 14252 13953 0 -1 1077944320 8976 0 0 0 31 3 0 0 20 0 20 0 475737532 28904853504 10238 33554432000 4194304 4196468 140727652842304 140727652824848 140230720179959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
/proc/14254/statm: 7056849 10238 3295 1 0 7019032 0
[pid=14254/tid=14255] ppid=14252 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/14254/task/14255/stat : 14255 (java) R 14252 14252 13953 0 -1 4202560 6234 0 0 0 18 2 0 0 20 0 20 0 475737532 28904853504 10238 33554432000 4194304 4196468 140727652842304 140230724417408 140230720201885 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14256] ppid=14252 vsize=28227396 memory=288230609019732336 CPUtime=0 cores=0-7
/proc/14254/task/14256/stat : 14256 (java) S 14252 14252 13953 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475737533 28904853504 10238 33554432000 4194304 4196468 140727652842304 140230683285904 140230720190165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14257] ppid=14252 vsize=28227396 memory=3832766731393300128 CPUtime=0 cores=0-7
/proc/14254/task/14257/stat : 14257 (java) S 14252 14252 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475737533 28904853504 10238 33554432000 4194304 4196468 140727652842304 140230271031568 140230720190165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14258] ppid=14252 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14254/task/14258/stat : 14258 (java) S 14252 14252 13953 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475737533 28904853504 10238 33554432000 4194304 4196468 140727652842304 140230269979280 140230720190165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14259] ppid=14252 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14254/task/14259/stat : 14259 (java) S 14252 14252 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475737533 28904853504 10238 33554432000 4194304 4196468 140727652842304 140230268926480 140230720190165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14260] ppid=14252 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14254/task/14260/stat : 14260 (java) S 14252 14252 13953 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475737533 28904853504 10238 33554432000 4194304 4196468 140727652842304 140230267874192 140230720190165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14261] ppid=14252 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14254/task/14261/stat : 14261 (java) S 14252 14252 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475737533 28904853504 10238 33554432000 4194304 4196468 140727652842304 140230266821392 140230720190165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14262] ppid=14252 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14254/task/14262/stat : 14262 (java) S 14252 14252 13953 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475737533 28904853504 10238 33554432000 4194304 4196468 140727652842304 140230265769104 140230720190165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14263] ppid=14252 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14254/task/14263/stat : 14263 (java) S 14252 14252 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475737533 28904853504 10238 33554432000 4194304 4196468 140727652842304 140230264716304 140230720190165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14264] ppid=14252 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14254/task/14264/stat : 14264 (java) S 14252 14252 13953 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475737534 28904853504 10238 33554432000 4194304 4196468 140727652842304 140229369653360 140230720191106 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14265] ppid=14252 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14254/task/14265/stat : 14265 (java) S 14252 14252 13953 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475737535 28904853504 10238 33554432000 4194304 4196468 140727652842304 140229368599328 140230720190165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14266] ppid=14252 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14254/task/14266/stat : 14266 (java) S 14252 14252 13953 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475737535 28904853504 10238 33554432000 4194304 4196468 140727652842304 140229367546992 140230720190165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14267] ppid=14252 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14254/task/14267/stat : 14267 (java) S 14252 14252 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475737537 28904853504 10238 33554432000 4194304 4196468 140727652842304 140229366495312 140230720198555 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14268] ppid=14252 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/14254/task/14268/stat : 14268 (java) S 14252 14252 13953 0 -1 1077944384 378 0 0 0 1 0 0 0 20 0 20 0 475737537 28904853504 10238 33554432000 4194304 4196468 140727652842304 140229365443184 140230720191106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14269] ppid=14252 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/14254/task/14269/stat : 14269 (java) S 14252 14252 13953 0 -1 1077944384 261 0 0 0 1 0 0 0 20 0 20 0 475737537 28904853504 10238 33554432000 4194304 4196468 140727652842304 140229364390384 140230720191106 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14270] ppid=14252 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14254/task/14270/stat : 14270 (java) S 14252 14252 13953 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 20 0 475737537 28904853504 10238 33554432000 4194304 4196468 140727652842304 140229363338096 140230720191106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14271] ppid=14252 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7
/proc/14254/task/14271/stat : 14271 (java) S 14252 14252 13953 0 -1 1077944384 764 0 0 0 8 0 0 0 20 0 20 0 475737537 28904853504 10238 33554432000 4194304 4196468 140727652842304 140229362285296 140230720191106 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14272] ppid=14252 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/14254/task/14272/stat : 14272 (java) S 14252 14252 13953 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475737538 28904853504 10238 33554432000 4194304 4196468 140727652842304 140229361232224 140230720190165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14273] ppid=14252 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/14254/task/14273/stat : 14273 (java) S 14252 14252 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475737538 28904853504 10238 33554432000 4194304 4196468 140727652842304 140229360179504 140230720191106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42404 KiB

[startup+0.310611 s]*
/proc/loadavg: 4.03 5.13 6.56 2/213 14273
/proc/meminfo: memFree=13100308/32770624 swapFree=66959628/67108860
[pid=14252] ppid=14249 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14252/stat : 14252 (xcsp3-exec) S 14249 14252 13953 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475737531 115843072 363 33554432000 4194304 5098028 140721478578480 140721478576584 139753791746684 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24453120 140721478583158 140721478583401 140721478583401 140721478586314 0
/proc/14252/statm: 28282 363 304 221 0 87 0
[pid=14254] ppid=14252 vsize=28231652 memory=50060 CPUtime=0.51 cores=0-7
/proc/14254/stat : 14254 (java) S 14252 14252 13953 0 -1 1077944320 10341 0 0 0 47 4 0 0 20 0 20 0 475737532 28909211648 12515 33554432000 4194304 4196468 140727652842304 140727652824848 140230720179959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
/proc/14254/statm: 7057913 12515 3363 1 0 7019032 0
[pid=14254/tid=14255] ppid=14252 vsize=28231652 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/14254/task/14255/stat : 14255 (java) R 14252 14252 13953 0 -1 4202560 7393 0 0 0 27 3 0 0 20 0 20 0 475737532 28909211648 12515 33554432000 4194304 4196468 140727652842304 140230724411072 140230720201885 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14256] ppid=14252 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14254/task/14256/stat : 14256 (java) S 14252 14252 13953 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475737533 28909211648 12515 33554432000 4194304 4196468 140727652842304 140230683285904 140230720190165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14257] ppid=14252 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14254/task/14257/stat : 14257 (java) S 14252 14252 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475737533 28909211648 12515 33554432000 4194304 4196468 140727652842304 140230271031568 140230720190165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14258] ppid=14252 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14254/task/14258/stat : 14258 (java) S 14252 14252 13953 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475737533 28909211648 12515 33554432000 4194304 4196468 140727652842304 140230269979280 140230720190165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14259] ppid=14252 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14254/task/14259/stat : 14259 (java) S 14252 14252 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475737533 28909211648 12515 33554432000 4194304 4196468 140727652842304 140230268926480 140230720190165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14260] ppid=14252 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14254/task/14260/stat : 14260 (java) S 14252 14252 13953 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475737533 28909211648 12515 33554432000 4194304 4196468 140727652842304 140230267874192 140230720190165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14261] ppid=14252 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14254/task/14261/stat : 14261 (java) S 14252 14252 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475737533 28909211648 12515 33554432000 4194304 4196468 140727652842304 140230266821392 140230720190165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14262] ppid=14252 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14254/task/14262/stat : 14262 (java) S 14252 14252 13953 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475737533 28909211648 12515 33554432000 4194304 4196468 140727652842304 140230265769104 140230720190165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14263] ppid=14252 vsize=28231652 memory=6872598998417432672 CPUtime=0 cores=0-7
/proc/14254/task/14263/stat : 14263 (java) S 14252 14252 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475737533 28909211648 12515 33554432000 4194304 4196468 140727652842304 140230264716304 140230720190165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14264] ppid=14252 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14254/task/14264/stat : 14264 (java) S 14252 14252 13953 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475737534 28909211648 12515 33554432000 4194304 4196468 140727652842304 140229369653360 140230720191106 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14265] ppid=14252 vsize=28231652 memory=281121313201536 CPUtime=0 cores=0-7
/proc/14254/task/14265/stat : 14265 (java) S 14252 14252 13953 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475737535 28909211648 12515 33554432000 4194304 4196468 140727652842304 140229368599328 140230720190165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14266] ppid=14252 vsize=28231652 memory=281121313206144 CPUtime=0 cores=0-7
/proc/14254/task/14266/stat : 14266 (java) S 14252 14252 13953 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475737535 28909211648 12515 33554432000 4194304 4196468 140727652842304 140229367546992 140230720190165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14267] ppid=14252 vsize=28231652 memory=281121313210752 CPUtime=0 cores=0-7
/proc/14254/task/14267/stat : 14267 (java) S 14252 14252 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475737537 28909211648 12515 33554432000 4194304 4196468 140727652842304 140229366495312 140230720198555 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14268] ppid=14252 vsize=28231652 memory=281121313215360 CPUtime=0.02 cores=0-7
/proc/14254/task/14268/stat : 14268 (java) S 14252 14252 13953 0 -1 1077944384 426 0 0 0 2 0 0 0 20 0 20 0 475737537 28909211648 12515 33554432000 4194304 4196468 140727652842304 140229365443184 140230720191106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14269] ppid=14252 vsize=28231652 memory=281121313219968 CPUtime=0.02 cores=0-7
/proc/14254/task/14269/stat : 14269 (java) S 14252 14252 13953 0 -1 1077944384 264 0 0 0 2 0 0 0 20 0 20 0 475737537 28909211648 12515 33554432000 4194304 4196468 140727652842304 140229364390384 140230720191106 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14270] ppid=14252 vsize=28231652 memory=281121313224576 CPUtime=0.01 cores=0-7
/proc/14254/task/14270/stat : 14270 (java) S 14252 14252 13953 0 -1 1077944384 55 0 0 0 1 0 0 0 20 0 20 0 475737537 28909211648 12515 33554432000 4194304 4196468 140727652842304 140229363338096 140230720191106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14271] ppid=14252 vsize=28231652 memory=281121313229184 CPUtime=0.12 cores=0-7
/proc/14254/task/14271/stat : 14271 (java) S 14252 14252 13953 0 -1 1077944384 899 0 0 0 12 0 0 0 20 0 20 0 475737537 28909211648 12515 33554432000 4194304 4196468 140727652842304 140229362285296 140230720191106 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14272] ppid=14252 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/14254/task/14272/stat : 14272 (java) S 14252 14252 13953 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475737538 28909211648 12515 33554432000 4194304 4196468 140727652842304 140229361232224 140230720190165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14273] ppid=14252 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/14254/task/14273/stat : 14273 (java) S 14252 14252 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475737538 28909211648 12515 33554432000 4194304 4196468 140727652842304 140229360179504 140230720191106 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51512 KiB

[startup+0.701033 s]
/proc/loadavg: 4.03 5.13 6.56 3/213 14273
/proc/meminfo: memFree=13079408/32770624 swapFree=66959628/67108860
[pid=14252] ppid=14249 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14252/stat : 14252 (xcsp3-exec) S 14249 14252 13953 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475737531 115843072 363 33554432000 4194304 5098028 140721478578480 140721478576584 139753791746684 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24453120 140721478583158 140721478583401 140721478583401 140721478586314 0
/proc/14252/statm: 28282 363 304 221 0 87 0
[pid=14254] ppid=14252 vsize=28233776 memory=111736 CPUtime=1.93 cores=0-7
/proc/14254/stat : 14254 (java) S 14252 14252 13953 0 -1 1077944320 14520 0 0 0 187 6 0 0 20 0 20 0 475737532 28911386624 27934 33554432000 4194304 4196468 140727652842304 140727652824848 140230720179959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
/proc/14254/statm: 7058444 27934 3449 1 0 7019544 0
[pid=14254/tid=14255] ppid=14252 vsize=28233776 memory=4580 CPUtime=0.67 cores=0-7
/proc/14254/task/14255/stat : 14255 (java) R 14252 14252 13953 0 -1 4202560 7960 0 0 0 64 3 0 0 20 0 20 0 475737532 28911386624 27934 33554432000 4194304 4196468 140727652842304 140230724418480 140230704260446 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14256] ppid=14252 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/14254/task/14256/stat : 14256 (java) S 14252 14252 13953 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475737533 28911386624 27934 33554432000 4194304 4196468 140727652842304 140230683285904 140230720190165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14257] ppid=14252 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/14254/task/14257/stat : 14257 (java) S 14252 14252 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475737533 28911386624 27934 33554432000 4194304 4196468 140727652842304 140230271031568 140230720190165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14258] ppid=14252 vsize=28233776 memory=1188 CPUtime=0 cores=0-7
/proc/14254/task/14258/stat : 14258 (java) S 14252 14252 13953 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475737533 28911386624 27934 33554432000 4194304 4196468 140727652842304 140230269979280 140230720190165 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0

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

[pid=14254/tid=14271] ppid=14252 vsize=28768336 memory=0 CPUtime=0.82 cores=0-7
/proc/14254/task/14271/stat : 14271 (java) S 14252 14252 13953 0 -1 1077944384 4060 0 0 0 81 1 0 0 20 0 28 0 475737537 29458776064 148430 33554432000 4194304 4196468 140727652842304 140229362285296 140230720191106 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 44 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14272] ppid=14252 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/14254/task/14272/stat : 14272 (java) S 14252 14252 13953 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475737538 29458776064 148430 33554432000 4194304 4196468 140727652842304 140229361232224 140230720190165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14273] ppid=14252 vsize=28768336 memory=988 CPUtime=0 cores=0-7
/proc/14254/task/14273/stat : 14273 (java) S 14252 14252 13953 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 475737538 29458776064 148430 33554432000 4194304 4196468 140727652842304 140229360179504 140230720191106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 44 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14314] ppid=14252 vsize=28768336 memory=2024 CPUtime=1.36 cores=0-7
/proc/14254/task/14314/stat : 14314 (java) R 14252 14252 13953 0 -1 4202560 72 0 0 0 136 0 0 0 20 0 28 0 475737898 29458776064 148430 33554432000 4194304 4196468 140727652842304 140229341082616 140230365544822 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14315] ppid=14252 vsize=28768336 memory=1384 CPUtime=1.55 cores=0-7
/proc/14254/task/14315/stat : 14315 (java) R 14252 14252 13953 0 -1 4202560 26 0 0 0 155 0 0 0 20 0 28 0 475737902 29458776064 148430 33554432000 4194304 4196468 140727652842304 140229349911048 140230364986391 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14316] ppid=14252 vsize=28768336 memory=3696 CPUtime=1.53 cores=0-7
/proc/14254/task/14316/stat : 14316 (java) R 14252 14252 13953 0 -1 4202560 24 0 0 0 153 0 0 0 20 0 28 0 475737902 29458776064 148430 33554432000 4194304 4196468 140727652842304 140229348855776 140230364984354 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14317] ppid=14252 vsize=28768336 memory=1056 CPUtime=1.34 cores=0-7
/proc/14254/task/14317/stat : 14317 (java) R 14252 14252 13953 0 -1 4202560 36 0 0 0 134 0 0 0 20 0 28 0 475737902 29458776064 148430 33554432000 4194304 4196468 140727652842304 140229346750328 140230367270091 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14318] ppid=14252 vsize=28768336 memory=1188 CPUtime=1.32 cores=0-7
/proc/14254/task/14318/stat : 14318 (java) R 14252 14252 13953 0 -1 4202560 29 0 0 0 132 0 0 0 20 0 28 0 475737902 29458776064 148430 33554432000 4194304 4196468 140727652842304 140229344645624 140230366937343 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14319] ppid=14252 vsize=28768336 memory=1536 CPUtime=1.38 cores=0-7
/proc/14254/task/14319/stat : 14319 (java) R 14252 14252 13953 0 -1 4202560 41 0 0 0 138 0 0 0 20 0 28 0 475737902 29458776064 148430 33554432000 4194304 4196468 140727652842304 140229350961352 140230366934896 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14320] ppid=14252 vsize=28768336 memory=9592 CPUtime=1.43 cores=0-7
/proc/14254/task/14320/stat : 14320 (java) R 14252 14252 13953 0 -1 4202560 23 0 0 0 143 0 0 0 20 0 28 0 475737902 29458776064 148430 33554432000 4194304 4196468 140727652842304 140229345697216 140230358045560 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14321] ppid=14252 vsize=28768336 memory=2828 CPUtime=1.36 cores=0-7
/proc/14254/task/14321/stat : 14321 (java) R 14252 14252 13953 0 -1 4202560 29 0 0 0 136 0 0 0 20 0 28 0 475737903 29458776064 148430 33554432000 4194304 4196468 140727652842304 140229347802488 140230366937061 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
Current children cumulated CPU time: 28.81 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 595172 KiB

[startup+6.01198 s]*
/proc/loadavg: 4.36 5.16 6.55 13/220 14321
/proc/meminfo: memFree=12550368/32770624 swapFree=66959628/67108860
[pid=14252] ppid=14249 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14252/stat : 14252 (xcsp3-exec) S 14249 14252 13953 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475737531 115843072 363 33554432000 4194304 5098028 140721478578480 140721478576584 139753791746684 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24453120 140721478583158 140721478583401 140721478583401 140721478586314 0
/proc/14252/statm: 28282 363 304 221 0 87 0
[pid=14254] ppid=14252 vsize=28768336 memory=599088 CPUtime=32.16 cores=0-7
/proc/14254/stat : 14254 (java) S 14252 14252 13953 0 -1 1077944320 49378 0 0 0 3174 42 0 0 20 0 28 0 475737532 29458776064 149772 33554432000 4194304 4196468 140727652842304 140727652824848 140230720179959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
/proc/14254/statm: 7192084 149772 3529 1 0 7153184 0
[pid=14254/tid=14255] ppid=14252 vsize=28768336 memory=6944656592455097440 CPUtime=2.45 cores=0-7
/proc/14254/task/14255/stat : 14255 (java) S 14252 14252 13953 0 -1 1077944384 10502 0 0 0 238 7 0 0 20 0 28 0 475737532 29458776064 149772 33554432000 4194304 4196468 140727652842304 140230724420736 140230720190165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14256] ppid=14252 vsize=28768336 memory=0 CPUtime=0.06 cores=0-7
/proc/14254/task/14256/stat : 14256 (java) S 14252 14252 13953 0 -1 1077944384 104 0 0 0 4 2 0 0 20 0 28 0 475737533 29458776064 149772 33554432000 4194304 4196468 140727652842304 140230683285904 140230720190165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14257] ppid=14252 vsize=28768336 memory=-1 CPUtime=0.07 cores=0-7
/proc/14254/task/14257/stat : 14257 (java) S 14252 14252 13953 0 -1 1077944384 142 0 0 0 5 2 0 0 20 0 28 0 475737533 29458776064 149772 33554432000 4194304 4196468 140727652842304 140230271031568 140230720190165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14258] ppid=14252 vsize=28768336 memory=-1 CPUtime=0.07 cores=0-7
/proc/14254/task/14258/stat : 14258 (java) S 14252 14252 13953 0 -1 1077944384 112 0 0 0 5 2 0 0 20 0 28 0 475737533 29458776064 149772 33554432000 4194304 4196468 140727652842304 140230269979280 140230720190165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14259] ppid=14252 vsize=28768336 memory=-1 CPUtime=0.05 cores=0-7
/proc/14254/task/14259/stat : 14259 (java) S 14252 14252 13953 0 -1 1077944384 145 0 0 0 3 2 0 0 20 0 28 0 475737533 29458776064 149772 33554432000 4194304 4196468 140727652842304 140230268926480 140230720190165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14260] ppid=14252 vsize=28768336 memory=0 CPUtime=0.06 cores=0-7
/proc/14254/task/14260/stat : 14260 (java) S 14252 14252 13953 0 -1 1077944384 196 0 0 0 4 2 0 0 20 0 28 0 475737533 29458776064 149772 33554432000 4194304 4196468 140727652842304 140230267874192 140230720190165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14261] ppid=14252 vsize=28768336 memory=-1 CPUtime=0.09 cores=0-7
/proc/14254/task/14261/stat : 14261 (java) S 14252 14252 13953 0 -1 1077944384 456 0 0 0 6 3 0 0 20 0 28 0 475737533 29458776064 149772 33554432000 4194304 4196468 140727652842304 140230266821392 140230720190165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14262] ppid=14252 vsize=28768336 memory=0 CPUtime=0.07 cores=0-7
/proc/14254/task/14262/stat : 14262 (java) S 14252 14252 13953 0 -1 1077944384 193 0 0 0 5 2 0 0 20 0 28 0 475737533 29458776064 149772 33554432000 4194304 4196468 140727652842304 140230265769104 140230720190165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14263] ppid=14252 vsize=28768336 memory=0 CPUtime=0.08 cores=0-7
/proc/14254/task/14263/stat : 14263 (java) S 14252 14252 13953 0 -1 1077944384 131 0 0 0 6 2 0 0 20 0 28 0 475737533 29458776064 149772 33554432000 4194304 4196468 140727652842304 140230264716304 140230720190165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14264] ppid=14252 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7
/proc/14254/task/14264/stat : 14264 (java) S 14252 14252 13953 0 -1 1077944384 713 0 0 0 1 0 0 0 20 0 28 0 475737534 29458776064 149772 33554432000 4194304 4196468 140727652842304 140229369653360 140230720191106 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14265] ppid=14252 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/14254/task/14265/stat : 14265 (java) S 14252 14252 13953 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 475737535 29458776064 149772 33554432000 4194304 4196468 140727652842304 140229368599392 140230720190165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14266] ppid=14252 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/14254/task/14266/stat : 14266 (java) S 14252 14252 13953 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 475737535 29458776064 149772 33554432000 4194304 4196468 140727652842304 140229367547008 140230720190165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14267] ppid=14252 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/14254/task/14267/stat : 14267 (java) S 14252 14252 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475737537 29458776064 149772 33554432000 4194304 4196468 140727652842304 140229366495312 140230720198555 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14268] ppid=14252 vsize=28768336 memory=6944656592455097440 CPUtime=3.45 cores=0-7
/proc/14254/task/14268/stat : 14268 (java) R 14252 14252 13953 0 -1 4202560 9567 0 0 0 342 3 0 0 20 0 28 0 475737537 29458776064 149772 33554432000 4194304 4196468 140727652842304 140229365431776 140230703671718 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14269] ppid=14252 vsize=28768336 memory=0 CPUtime=3.77 cores=0-7
/proc/14254/task/14269/stat : 14269 (java) R 14252 14252 13953 0 -1 4202560 11092 0 0 0 374 3 0 0 20 0 28 0 475737537 29458776064 149772 33554432000 4194304 4196468 140727652842304 140229364378976 140230699436624 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14270] ppid=14252 vsize=28768336 memory=0 CPUtime=3.57 cores=0-7
/proc/14254/task/14270/stat : 14270 (java) R 14252 14252 13953 0 -1 4202560 9124 0 0 0 356 1 0 0 20 0 28 0 475737537 29458776064 149772 33554432000 4194304 4196468 140727652842304 140229363324448 140230701704239 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14271] ppid=14252 vsize=28768336 memory=0 CPUtime=0.84 cores=0-7
/proc/14254/task/14271/stat : 14271 (java) S 14252 14252 13953 0 -1 1077944384 4081 0 0 0 83 1 0 0 20 0 28 0 475737537 29458776064 149772 33554432000 4194304 4196468 140727652842304 140229362285296 140230720191106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 44 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14272] ppid=14252 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/14254/task/14272/stat : 14272 (java) S 14252 14252 13953 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475737538 29458776064 149772 33554432000 4194304 4196468 140727652842304 140229361232224 140230720190165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14273] ppid=14252 vsize=28768336 memory=-1 CPUtime=0 cores=0-7
/proc/14254/task/14273/stat : 14273 (java) S 14252 14252 13953 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 475737538 29458776064 149772 33554432000 4194304 4196468 140727652842304 140229360179504 140230720191106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 44 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14314] ppid=14252 vsize=28768336 memory=-1 CPUtime=1.73 cores=0-7
/proc/14254/task/14314/stat : 14314 (java) R 14252 14252 13953 0 -1 4202560 87 0 0 0 172 1 0 0 20 0 28 0 475737898 29458776064 149772 33554432000 4194304 4196468 140727652842304 140229341084120 140230367257561 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14315] ppid=14252 vsize=28768336 memory=0 CPUtime=1.77 cores=0-7
/proc/14254/task/14315/stat : 14315 (java) R 14252 14252 13953 0 -1 4202560 28 0 0 0 177 0 0 0 20 0 28 0 475737902 29458776064 149772 33554432000 4194304 4196468 140727652842304 140229349909304 140230365544798 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14316] ppid=14252 vsize=28768336 memory=0 CPUtime=1.73 cores=0-7
/proc/14254/task/14316/stat : 14316 (java) R 14252 14252 13953 0 -1 4202560 25 0 0 0 173 0 0 0 20 0 28 0 475737902 29458776064 149772 33554432000 4194304 4196468 140727652842304 140229348858864 140230365917390 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14317] ppid=14252 vsize=28768336 memory=0 CPUtime=1.61 cores=0-7
/proc/14254/task/14317/stat : 14317 (java) R 14252 14252 13953 0 -1 4202560 56 0 0 0 161 0 0 0 20 0 28 0 475737902 29458776064 149772 33554432000 4194304 4196468 140727652842304 140229346750968 140230367684614 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14318] ppid=14252 vsize=28768336 memory=0 CPUtime=1.61 cores=0-7
/proc/14254/task/14318/stat : 14318 (java) R 14252 14252 13953 0 -1 4202560 30 0 0 0 161 0 0 0 20 0 28 0 475737902 29458776064 149772 33554432000 4194304 4196468 140727652842304 140229344644000 140230365018850 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14319] ppid=14252 vsize=28768336 memory=0 CPUtime=1.59 cores=0-7
/proc/14254/task/14319/stat : 14319 (java) R 14252 14252 13953 0 -1 4202560 42 0 0 0 159 0 0 0 20 0 28 0 475737902 29458776064 149772 33554432000 4194304 4196468 140727652842304 140229350961960 140230365018779 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14320] ppid=14252 vsize=28768336 memory=0 CPUtime=1.81 cores=0-7
/proc/14254/task/14320/stat : 14320 (java) R 14252 14252 13953 0 -1 4202560 24 0 0 0 181 0 0 0 20 0 28 0 475737902 29458776064 149772 33554432000 4194304 4196468 140727652842304 140229345700336 140230701586258 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14321] ppid=14252 vsize=28768336 memory=0 CPUtime=1.66 cores=0-7
/proc/14254/task/14321/stat : 14321 (java) R 14252 14252 13953 0 -1 4202560 30 0 0 0 166 0 0 0 20 0 28 0 475737903 29458776064 149772 33554432000 4194304 4196468 140727652842304 140229347804344 140230364998386 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
Current children cumulated CPU time: 32.16 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 600540 KiB

[startup+6.20798 s]
/proc/loadavg: 4.36 5.16 6.55 13/220 14321
/proc/meminfo: memFree=12550368/32770624 swapFree=66959628/67108860
[pid=14252] ppid=14249 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/14252/stat : 14252 (xcsp3-exec) S 14249 14252 13953 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475737531 115843072 363 33554432000 4194304 5098028 140721478578480 140721478576584 139753791746684 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24453120 140721478583158 140721478583401 140721478583401 140721478586314 0
/proc/14252/statm: 28282 363 304 221 0 87 0
[pid=14254] ppid=14252 vsize=28768336 memory=607376 CPUtime=33.65 cores=0-7
/proc/14254/stat : 14254 (java) S 14252 14252 13953 0 -1 1077944320 49425 0 0 0 3323 42 0 0 20 0 28 0 475737532 29458776064 151844 33554432000 4194304 4196468 140727652842304 140727652824848 140230720179959 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
/proc/14254/statm: 7192084 151844 3529 1 0 7153184 0
[pid=14254/tid=14255] ppid=14252 vsize=28768336 memory=3920196989810717728 CPUtime=2.45 cores=0-7
/proc/14254/task/14255/stat : 14255 (java) S 14252 14252 13953 0 -1 1077944384 10502 0 0 0 238 7 0 0 20 0 28 0 475737532 29458776064 151844 33554432000 4194304 4196468 140727652842304 140230724420736 140230720190165 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14256] ppid=14252 vsize=28768336 memory=4639904302751567952 CPUtime=0.06 cores=0-7
/proc/14254/task/14256/stat : 14256 (java) S 14252 14252 13953 0 -1 1077944384 104 0 0 0 4 2 0 0 20 0 28 0 475737533 29458776064 151844 33554432000 4194304 4196468 140727652842304 140230683285904 140230720190165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14257] ppid=14252 vsize=28768336 memory=7380385388137112419 CPUtime=0.07 cores=0-7
/proc/14254/task/14257/stat : 14257 (java) S 14252 14252 13953 0 -1 1077944384 142 0 0 0 5 2 0 0 20 0 28 0 475737533 29458776064 151844 33554432000 4194304 4196468 140727652842304 140230271031568 140230720190165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14258] ppid=14252 vsize=28768336 memory=7157491119747934357 CPUtime=0.07 cores=0-7
/proc/14254/task/14258/stat : 14258 (java) S 14252 14252 13953 0 -1 1077944384 112 0 0 0 5 2 0 0 20 0 28 0 475737533 29458776064 151844 33554432000 4194304 4196468 140727652842304 140230269979280 140230720190165 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14259] ppid=14252 vsize=28768336 memory=0 CPUtime=0.05 cores=0-7
/proc/14254/task/14259/stat : 14259 (java) S 14252 14252 13953 0 -1 1077944384 145 0 0 0 3 2 0 0 20 0 28 0 475737533 29458776064 151844 33554432000 4194304 4196468 140727652842304 140230268926480 140230720190165 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14260] ppid=14252 vsize=28768336 memory=29934513966 CPUtime=0.06 cores=0-7
/proc/14254/task/14260/stat : 14260 (java) S 14252 14252 13953 0 -1 1077944384 196 0 0 0 4 2 0 0 20 0 28 0 475737533 29458776064 151844 33554432000 4194304 4196468 140727652842304 140230267874192 140230720190165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14261] ppid=14252 vsize=28768336 memory=100 CPUtime=0.09 cores=0-7
/proc/14254/task/14261/stat : 14261 (java) S 14252 14252 13953 0 -1 1077944384 456 0 0 0 6 3 0 0 20 0 28 0 475737533 29458776064 151844 33554432000 4194304 4196468 140727652842304 140230266821392 140230720190165 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14262] ppid=14252 vsize=28768336 memory=281121314052496 CPUtime=0.07 cores=0-7
/proc/14254/task/14262/stat : 14262 (java) S 14252 14252 13953 0 -1 1077944384 193 0 0 0 5 2 0 0 20 0 28 0 475737533 29458776064 151844 33554432000 4194304 4196468 140727652842304 140230265769104 140230720190165 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14263] ppid=14252 vsize=28768336 memory=140560657252544 CPUtime=0.08 cores=0-7
/proc/14254/task/14263/stat : 14263 (java) S 14252 14252 13953 0 -1 1077944384 131 0 0 0 6 2 0 0 20 0 28 0 475737533 29458776064 151844 33554432000 4194304 4196468 140727652842304 140230264716304 140230720190165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14264] ppid=14252 vsize=28768336 memory=281121314270176 CPUtime=0.01 cores=0-7
/proc/14254/task/14264/stat : 14264 (java) S 14252 14252 13953 0 -1 1077944384 713 0 0 0 1 0 0 0 20 0 28 0 475737534 29458776064 151844 33554432000 4194304 4196468 140727652842304 140229369653360 140230720191106 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14265] ppid=14252 vsize=28768336 memory=63393717289962 CPUtime=0 cores=0-7
/proc/14254/task/14265/stat : 14265 (java) S 14252 14252 13953 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 475737535 29458776064 151844 33554432000 4194304 4196468 140727652842304 140229368599392 140230720190165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14266] ppid=14252 vsize=28768336 memory=29934513601 CPUtime=0 cores=0-7
/proc/14254/task/14266/stat : 14266 (java) S 14252 14252 13953 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 475737535 29458776064 151844 33554432000 4194304 4196468 140727652842304 140229367547008 140230720190165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14267] ppid=14252 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/14254/task/14267/stat : 14267 (java) S 14252 14252 13953 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475737537 29458776064 151844 33554432000 4194304 4196468 140727652842304 140229366495312 140230720198555 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14268] ppid=14252 vsize=28768336 memory=0 CPUtime=3.64 cores=0-7
/proc/14254/task/14268/stat : 14268 (java) R 14252 14252 13953 0 -1 4202560 9590 0 0 0 361 3 0 0 20 0 28 0 475737537 29458776064 151844 33554432000 4194304 4196468 140727652842304 140229365439536 140230701355911 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14269] ppid=14252 vsize=28768336 memory=0 CPUtime=3.9 cores=0-7
/proc/14254/task/14269/stat : 14269 (java) R 14252 14252 13953 0 -1 4202560 11099 0 0 0 387 3 0 0 20 0 28 0 475737537 29458776064 151844 33554432000 4194304 4196468 140727652842304 140229364368912 140230704572850 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14270] ppid=14252 vsize=28768336 memory=0 CPUtime=3.73 cores=0-7
/proc/14254/task/14270/stat : 14270 (java) R 14252 14252 13953 0 -1 4202560 9125 0 0 0 372 1 0 0 20 0 28 0 475737537 29458776064 151844 33554432000 4194304 4196468 140727652842304 140229363318752 140230699425802 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14271] ppid=14252 vsize=28768336 memory=0 CPUtime=0.85 cores=0-7
/proc/14254/task/14271/stat : 14271 (java) S 14252 14252 13953 0 -1 1077944384 4086 0 0 0 84 1 0 0 20 0 28 0 475737537 29458776064 151844 33554432000 4194304 4196468 140727652842304 140229362285296 140230720191106 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 44 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14272] ppid=14252 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/14254/task/14272/stat : 14272 (java) S 14252 14252 13953 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475737538 29458776064 151844 33554432000 4194304 4196468 140727652842304 140229361232224 140230720190165 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14273] ppid=14252 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/14254/task/14273/stat : 14273 (java) S 14252 14252 13953 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 475737538 29458776064 151844 33554432000 4194304 4196468 140727652842304 140229360179504 140230720191106 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 44 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14314] ppid=14252 vsize=28768336 memory=0 CPUtime=1.91 cores=0-7
/proc/14254/task/14314/stat : 14314 (java) R 14252 14252 13953 0 -1 4202560 97 0 0 0 190 1 0 0 20 0 28 0 475737898 29458776064 151844 33554432000 4194304 4196468 140727652842304 140229341083864 140230366393952 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14315] ppid=14252 vsize=28768336 memory=0 CPUtime=1.86 cores=0-7
/proc/14254/task/14315/stat : 14315 (java) R 14252 14252 13953 0 -1 4202560 28 0 0 0 186 0 0 0 20 0 28 0 475737902 29458776064 151844 33554432000 4194304 4196468 140727652842304 140229349908792 140230364984595 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14316] ppid=14252 vsize=28768336 memory=0 CPUtime=1.82 cores=0-7
/proc/14254/task/14316/stat : 14316 (java) R 14252 14252 13953 0 -1 4202560 25 0 0 0 182 0 0 0 20 0 28 0 475737902 29458776064 151844 33554432000 4194304 4196468 140727652842304 140229348855992 140230365916628 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14317] ppid=14252 vsize=28768336 memory=0 CPUtime=1.7 cores=0-7
/proc/14254/task/14317/stat : 14317 (java) R 14252 14252 13953 0 -1 4202560 57 0 0 0 170 0 0 0 20 0 28 0 475737902 29458776064 151844 33554432000 4194304 4196468 140727652842304 140229346750664 140230365797847 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14318] ppid=14252 vsize=28768336 memory=0 CPUtime=1.79 cores=0-7
/proc/14254/task/14318/stat : 14318 (java) R 14252 14252 13953 0 -1 4202560 30 0 0 0 179 0 0 0 20 0 28 0 475737902 29458776064 151844 33554432000 4194304 4196468 140727652842304 140229344646824 140230365797845 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14319] ppid=14252 vsize=28768336 memory=0 CPUtime=1.69 cores=0-7
/proc/14254/task/14319/stat : 14319 (java) R 14252 14252 13953 0 -1 4202560 42 0 0 0 169 0 0 0 20 0 28 0 475737902 29458776064 151844 33554432000 4194304 4196468 140727652842304 140229350960304 140230365018700 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14320] ppid=14252 vsize=28768336 memory=0 CPUtime=1.9 cores=0-7
/proc/14254/task/14320/stat : 14320 (java) R 14252 14252 13953 0 -1 4202560 24 0 0 0 190 0 0 0 20 0 28 0 475737902 29458776064 151844 33554432000 4194304 4196468 140727652842304 140229345700336 140230365310339 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
[pid=14254/tid=14321] ppid=14252 vsize=28768336 memory=0 CPUtime=1.85 cores=0-7
/proc/14254/task/14321/stat : 14321 (java) R 14252 14252 13953 0 -1 4202560 30 0 0 0 185 0 0 0 20 0 28 0 475737903 29458776064 151844 33554432000 4194304 4196468 140727652842304 140229347804328 140230367974685 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 36810752 140727652844522 140727652844694 140727652844694 140727652847567 0
Current children cumulated CPU time: 33.65 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 608828 KiB

Child status: 0
Real time (s): 6.2726
CPU time (s): 33.8496
CPU user time (s): 33.4063
CPU system time (s): 0.44333
CPU usage (%): 539.643
Max. virtual memory (cumulated for all children) (KiB): 28883564
Max. memory (cumulated for all children) (KiB): 608828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 33.4063
system time used= 0.44333
maximum resident set size= 610852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50018
page faults= 0
swaps= 0
block input operations= 0
block output operations= 136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4592
involuntary context switches= 1010


# summary of solver processes directly reported to runsolver:
#   pid: 14252
#   total CPU time (s): 33.8496
#   total CPU user time (s): 33.4063
#   total CPU system time (s): 0.44333

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.082271 second user time and 0.105551 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-will199GPIA.xml
MD5SUM	a5e04939345321982833836e1e755881
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	6
Best CPU time to get the best result obtained on this benchmark	1.18205
Satisfiable
(Un)Satisfiability was proved
Number of variables	701
Number of constraints	6772
Number of domains	1
Minimum domain size	701
Maximum domain size	701
Distribution of domain sizes	[{"size":701,"count":701}]
Minimum variable degree	3
Maximum variable degree	39
Distribution of variable degrees	[{"degree":3,"count":1},{"degree":7,"count":4},{"degree":9,"count":3},{"degree":10,"count":2},{"degree":11,"count":1},{"degree":12,"count":17},{"degree":13,"count":48},{"degree":14,"count":113},{"degree":15,"count":54},{"degree":16,"count":67},{"degree":17,"count":18},{"degree":18,"count":62},{"degree":19,"count":17},{"degree":20,"count":23},{"degree":21,"count":24},{"degree":22,"count":15},{"degree":23,"count":11},{"degree":24,"count":12},{"degree":25,"count":14},{"degree":26,"count":28},{"degree":27,"count":24},{"degree":28,"count":34},{"degree":29,"count":3},{"degree":30,"count":26},{"degree":31,"count":12},{"degree":32,"count":13},{"degree":33,"count":14},{"degree":34,"count":14},{"degree":35,"count":6},{"degree":37,"count":1},{"degree":38,"count":14},{"degree":39,"count":6}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":6772}]
Number of extensional constraints	0
Number of intensional constraints	6772
Distribution of constraint types	[{"type":"intension","count":6772}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4404530

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
