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-06-14 parallel	OPT	8	560.693	72.6201
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 (10686 MiB free)
  memory of node 1: 16384 MiB (13048 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393808-1568419741/watcher-4393808-1568419741 -o /tmp/evaluation-result-4393808-1568419741/solver-4393808-1568419741 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node143-1568416727-4864 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 916148090 HOME/instance-4393808-1568419741.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=6213, runsolver pid=6210
Current StackSize limit: 8192 KiB


[startup+0.109524 s]*
/proc/loadavg: 7.91 7.74 7.44 3/211 6234
/proc/meminfo: memFree=24287336/32770624 swapFree=67108848/67108860
[pid=6213] ppid=6210 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/6213/stat : 6213 (xcsp3-exec) S 6210 6213 4837 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 417911515 115843072 364 33554432000 4194304 5098028 140735906571440 140735906569544 140181279441532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35860480 140735906579318 140735906579561 140735906579561 140735906582474 0
/proc/6213/statm: 28282 364 305 221 0 87 0
[pid=6215] ppid=6213 vsize=28227388 memory=28868 CPUtime=0.15 cores=0-7
/proc/6215/stat : 6215 (java) S 6213 6213 4837 0 -1 1077944320 5784 0 0 0 13 2 0 0 20 0 20 0 417911515 28904845312 7217 33554432000 4194304 4196468 140729975517280 140729975499824 140628842016503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
/proc/6215/statm: 7056847 7217 3126 1 0 7019032 0
[pid=6215/tid=6216] ppid=6213 vsize=28227388 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/6215/task/6216/stat : 6216 (java) R 6213 6213 4837 0 -1 4202560 3621 0 0 0 8 1 0 0 20 0 20 0 417911516 28904845312 7348 33554432000 4194304 4196468 140729975517280 140628846237776 140628827697448 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6217] ppid=6213 vsize=28227388 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/6215/task/6217/stat : 6217 (java) S 6213 6213 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417911517 28904845312 7348 33554432000 4194304 4196468 140729975517280 140628794636560 140628842026709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6218] ppid=6213 vsize=28227388 memory=139940324533888 CPUtime=0 cores=0-7
/proc/6215/task/6218/stat : 6218 (java) S 6213 6213 4837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417911517 28904845312 7348 33554432000 4194304 4196468 140729975517280 140628793584016 140628842026709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6219] ppid=6213 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6215/task/6219/stat : 6219 (java) S 6213 6213 4837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417911517 28904845312 7348 33554432000 4194304 4196468 140729975517280 140628792531472 140628842026709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6220] ppid=6213 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6215/task/6220/stat : 6220 (java) S 6213 6213 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417911517 28904845312 7414 33554432000 4194304 4196468 140729975517280 140628791478928 140628842026709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6221] ppid=6213 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6215/task/6221/stat : 6221 (java) S 6213 6213 4837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417911517 28904845312 7414 33554432000 4194304 4196468 140729975517280 140628790426384 140628842026709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6222] ppid=6213 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/6215/task/6222/stat : 6222 (java) S 6213 6213 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417911517 28904845312 7414 33554432000 4194304 4196468 140729975517280 140628789373840 140628842026709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6223] ppid=6213 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6215/task/6223/stat : 6223 (java) S 6213 6213 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417911517 28904845312 7414 33554432000 4194304 4196468 140729975517280 140628788321296 140628842026709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6224] ppid=6213 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6215/task/6224/stat : 6224 (java) S 6213 6213 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417911517 28904845312 7414 33554432000 4194304 4196468 140729975517280 140628787268752 140628842026709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6225] ppid=6213 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6215/task/6225/stat : 6225 (java) S 6213 6213 4837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417911518 28904845312 7414 33554432000 4194304 4196468 140729975517280 140627824044016 140628842027650 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6226] ppid=6213 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6215/task/6226/stat : 6226 (java) S 6213 6213 4837 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 417911518 28904845312 7414 33554432000 4194304 4196468 140729975517280 140627822990240 140628842026709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6227] ppid=6213 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6215/task/6227/stat : 6227 (java) S 6213 6213 4837 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417911519 28904845312 7414 33554432000 4194304 4196468 140729975517280 140627821937648 140628842026709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6228] ppid=6213 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6215/task/6228/stat : 6228 (java) S 6213 6213 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417911521 28904845312 7414 33554432000 4194304 4196468 140729975517280 140627820886224 140628842035099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6229] ppid=6213 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6215/task/6229/stat : 6229 (java) S 6213 6213 4837 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 20 0 417911521 28904845312 7414 33554432000 4194304 4196468 140729975517280 140627819833840 140628842027650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6230] ppid=6213 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6215/task/6230/stat : 6230 (java) S 6213 6213 4837 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 417911521 28904845312 7414 33554432000 4194304 4196468 140729975517280 140627818781296 140628842027650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6231] ppid=6213 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6215/task/6231/stat : 6231 (java) S 6213 6213 4837 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 20 0 417911521 28904845312 7414 33554432000 4194304 4196468 140729975517280 140627817728752 140628842027650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6232] ppid=6213 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/6215/task/6232/stat : 6232 (java) R 6213 6213 4837 0 -1 4202560 586 0 0 0 2 0 0 0 20 0 20 0 417911521 28904845312 7414 33554432000 4194304 4196468 140729975517280 140627816676208 140628820385142 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6233] ppid=6213 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6215/task/6233/stat : 6233 (java) S 6213 6213 4837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417911521 28904845312 7414 33554432000 4194304 4196468 140729975517280 140627815622880 140628842026709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6234] ppid=6213 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/6215/task/6234/stat : 6234 (java) S 6213 6213 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417911522 28904845312 7480 33554432000 4194304 4196468 140729975517280 140627814570416 140628842027650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 30324 KiB

[startup+0.210611 s]*
/proc/loadavg: 7.91 7.74 7.44 2/211 6234
/proc/meminfo: memFree=24274936/32770624 swapFree=67108848/67108860
[pid=6213] ppid=6210 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/6213/stat : 6213 (xcsp3-exec) S 6210 6213 4837 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 417911515 115843072 364 33554432000 4194304 5098028 140735906571440 140735906569544 140181279441532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35860480 140735906579318 140735906579561 140735906579561 140735906582474 0
/proc/6213/statm: 28282 364 305 221 0 87 0
[pid=6215] ppid=6213 vsize=28227388 memory=40264 CPUtime=0.34 cores=0-7
/proc/6215/stat : 6215 (java) S 6213 6213 4837 0 -1 1077944320 9342 0 0 0 30 4 0 0 20 0 20 0 417911515 28904845312 10066 33554432000 4194304 4196468 140729975517280 140729975499824 140628842016503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
/proc/6215/statm: 7056847 10066 3277 1 0 7019032 0
[pid=6215/tid=6216] ppid=6213 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/6215/task/6216/stat : 6216 (java) R 6213 6213 4837 0 -1 4202560 6575 0 0 0 17 3 0 0 20 0 20 0 417911516 28904845312 10066 33554432000 4194304 4196468 140729975517280 140628846248032 140628842028438 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6217] ppid=6213 vsize=28227388 memory=342 CPUtime=0 cores=0-7
/proc/6215/task/6217/stat : 6217 (java) S 6213 6213 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417911517 28904845312 10066 33554432000 4194304 4196468 140729975517280 140628794636560 140628842026709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6218] ppid=6213 vsize=28227388 memory=139940324543791 CPUtime=0 cores=0-7
/proc/6215/task/6218/stat : 6218 (java) S 6213 6213 4837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417911517 28904845312 10066 33554432000 4194304 4196468 140729975517280 140628793584016 140628842026709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6219] ppid=6213 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/6215/task/6219/stat : 6219 (java) S 6213 6213 4837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417911517 28904845312 10066 33554432000 4194304 4196468 140729975517280 140628792531472 140628842026709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6220] ppid=6213 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6215/task/6220/stat : 6220 (java) S 6213 6213 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417911517 28904845312 10066 33554432000 4194304 4196468 140729975517280 140628791478928 140628842026709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6221] ppid=6213 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6215/task/6221/stat : 6221 (java) S 6213 6213 4837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417911517 28904845312 10066 33554432000 4194304 4196468 140729975517280 140628790426384 140628842026709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6222] ppid=6213 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/6215/task/6222/stat : 6222 (java) S 6213 6213 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417911517 28904845312 10066 33554432000 4194304 4196468 140729975517280 140628789373840 140628842026709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6223] ppid=6213 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6215/task/6223/stat : 6223 (java) S 6213 6213 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417911517 28904845312 10066 33554432000 4194304 4196468 140729975517280 140628788321296 140628842026709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6224] ppid=6213 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6215/task/6224/stat : 6224 (java) S 6213 6213 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417911517 28904845312 10066 33554432000 4194304 4196468 140729975517280 140628787268752 140628842026709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6225] ppid=6213 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6215/task/6225/stat : 6225 (java) S 6213 6213 4837 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 417911518 28904845312 10066 33554432000 4194304 4196468 140729975517280 140627824044016 140628842027650 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6226] ppid=6213 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6215/task/6226/stat : 6226 (java) S 6213 6213 4837 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 417911518 28904845312 10066 33554432000 4194304 4196468 140729975517280 140627822990240 140628842026709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6227] ppid=6213 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6215/task/6227/stat : 6227 (java) S 6213 6213 4837 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417911519 28904845312 10066 33554432000 4194304 4196468 140729975517280 140627821937648 140628842026709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6228] ppid=6213 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6215/task/6228/stat : 6228 (java) S 6213 6213 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417911521 28904845312 10066 33554432000 4194304 4196468 140729975517280 140627820886224 140628842035099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6229] ppid=6213 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6215/task/6229/stat : 6229 (java) S 6213 6213 4837 0 -1 1077944384 318 0 0 0 0 0 0 0 20 0 20 0 417911521 28904845312 10066 33554432000 4194304 4196468 140729975517280 140627819833840 140628842027650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6230] ppid=6213 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/6215/task/6230/stat : 6230 (java) S 6213 6213 4837 0 -1 1077944384 111 0 0 0 1 0 0 0 20 0 20 0 417911521 28904845312 10066 33554432000 4194304 4196468 140729975517280 140627818781296 140628842027650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6231] ppid=6213 vsize=28227388 memory=-1 CPUtime=0.01 cores=0-7
/proc/6215/task/6231/stat : 6231 (java) S 6213 6213 4837 0 -1 1077944384 206 0 0 0 1 0 0 0 20 0 20 0 417911521 28904845312 10066 33554432000 4194304 4196468 140729975517280 140627817728752 140628842027650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6232] ppid=6213 vsize=28227388 memory=-1 CPUtime=0.08 cores=0-7
/proc/6215/task/6232/stat : 6232 (java) R 6213 6213 4837 0 -1 4202560 820 0 0 0 8 0 0 0 20 0 20 0 417911521 28904845312 10066 33554432000 4194304 4196468 140729975517280 140627816676208 140628820507728 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6233] ppid=6213 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6215/task/6233/stat : 6233 (java) S 6213 6213 4837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417911521 28904845312 10066 33554432000 4194304 4196468 140729975517280 140627815622880 140628842026709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6234] ppid=6213 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/6215/task/6234/stat : 6234 (java) S 6213 6213 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417911522 28904845312 10066 33554432000 4194304 4196468 140729975517280 140627814570416 140628842027650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 41720 KiB

[startup+0.311215 s]*
/proc/loadavg: 7.91 7.74 7.44 3/211 6234
/proc/meminfo: memFree=24267416/32770624 swapFree=67108848/67108860
[pid=6213] ppid=6210 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/6213/stat : 6213 (xcsp3-exec) S 6210 6213 4837 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 417911515 115843072 364 33554432000 4194304 5098028 140735906571440 140735906569544 140181279441532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35860480 140735906579318 140735906579561 140735906579561 140735906582474 0
/proc/6213/statm: 28282 364 305 221 0 87 0
[pid=6215] ppid=6213 vsize=28231644 memory=49856 CPUtime=0.53 cores=0-7
/proc/6215/stat : 6215 (java) S 6213 6213 4837 0 -1 1077944320 10886 0 0 0 48 5 0 0 20 0 20 0 417911515 28909203456 12464 33554432000 4194304 4196468 140729975517280 140729975499824 140628842016503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
/proc/6215/statm: 7057911 12464 3348 1 0 7019032 0
[pid=6215/tid=6216] ppid=6213 vsize=28231644 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/6215/task/6216/stat : 6216 (java) R 6213 6213 4837 0 -1 4202560 7772 0 0 0 26 4 0 0 20 0 20 0 417911516 28909203456 12534 33554432000 4194304 4196468 140729975517280 140628846250288 140628826096990 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6217] ppid=6213 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/6215/task/6217/stat : 6217 (java) S 6213 6213 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417911517 28909203456 12534 33554432000 4194304 4196468 140729975517280 140628794636560 140628842026709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6218] ppid=6213 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/6215/task/6218/stat : 6218 (java) S 6213 6213 4837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417911517 28909203456 12534 33554432000 4194304 4196468 140729975517280 140628793584016 140628842026709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6219] ppid=6213 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/6215/task/6219/stat : 6219 (java) S 6213 6213 4837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417911517 28909203456 12534 33554432000 4194304 4196468 140729975517280 140628792531472 140628842026709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6220] ppid=6213 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/6215/task/6220/stat : 6220 (java) S 6213 6213 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417911517 28909203456 12534 33554432000 4194304 4196468 140729975517280 140628791478928 140628842026709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6221] ppid=6213 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/6215/task/6221/stat : 6221 (java) S 6213 6213 4837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417911517 28909203456 12534 33554432000 4194304 4196468 140729975517280 140628790426384 140628842026709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6222] ppid=6213 vsize=28231644 memory=139940168034991 CPUtime=0 cores=0-7
/proc/6215/task/6222/stat : 6222 (java) S 6213 6213 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417911517 28909203456 12534 33554432000 4194304 4196468 140729975517280 140628789373840 140628842026709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6223] ppid=6213 vsize=28231644 memory=139940168037296 CPUtime=0 cores=0-7
/proc/6215/task/6223/stat : 6223 (java) S 6213 6213 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417911517 28909203456 12534 33554432000 4194304 4196468 140729975517280 140628788321296 140628842026709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6224] ppid=6213 vsize=28231644 memory=139940168039600 CPUtime=0 cores=0-7
/proc/6215/task/6224/stat : 6224 (java) S 6213 6213 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417911517 28909203456 12534 33554432000 4194304 4196468 140729975517280 140628787268752 140628842026709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6225] ppid=6213 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/6215/task/6225/stat : 6225 (java) S 6213 6213 4837 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 417911518 28909203456 12534 33554432000 4194304 4196468 140729975517280 140627824044016 140628842027650 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6226] ppid=6213 vsize=28231644 memory=279880336093072 CPUtime=0 cores=0-7
/proc/6215/task/6226/stat : 6226 (java) S 6213 6213 4837 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 417911518 28909203456 12534 33554432000 4194304 4196468 140729975517280 140627822990240 140628842026709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6227] ppid=6213 vsize=28231644 memory=279880336090768 CPUtime=0 cores=0-7
/proc/6215/task/6227/stat : 6227 (java) S 6213 6213 4837 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417911519 28909203456 12534 33554432000 4194304 4196468 140729975517280 140627821937648 140628842026709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6228] ppid=6213 vsize=28231644 memory=279880336097680 CPUtime=0 cores=0-7
/proc/6215/task/6228/stat : 6228 (java) S 6213 6213 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417911521 28909203456 12534 33554432000 4194304 4196468 140729975517280 140627820886224 140628842035099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6229] ppid=6213 vsize=28231644 memory=279880336038960 CPUtime=0.01 cores=0-7
/proc/6215/task/6229/stat : 6229 (java) S 6213 6213 4837 0 -1 1077944384 385 0 0 0 1 0 0 0 20 0 20 0 417911521 28909203456 12534 33554432000 4194304 4196468 140729975517280 140627819833840 140628842027650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6230] ppid=6213 vsize=28231644 memory=279880336111504 CPUtime=0.03 cores=0-7
/proc/6215/task/6230/stat : 6230 (java) S 6213 6213 4837 0 -1 1077944384 120 0 0 0 3 0 0 0 20 0 20 0 417911521 28909203456 12534 33554432000 4194304 4196468 140729975517280 140627818781296 140628842027650 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6231] ppid=6213 vsize=28231644 memory=279880336118416 CPUtime=0.04 cores=0-7
/proc/6215/task/6231/stat : 6231 (java) R 6213 6213 4837 0 -1 4202560 332 0 0 0 4 0 0 0 20 0 20 0 417911521 28909203456 12534 33554432000 4194304 4196468 140729975517280 140627817719136 140628823540956 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6232] ppid=6213 vsize=28231644 memory=279880336116112 CPUtime=0.12 cores=0-7
/proc/6215/task/6232/stat : 6232 (java) S 6213 6213 4837 0 -1 1077944384 981 0 0 0 12 0 0 0 20 0 20 0 417911521 28909203456 12534 33554432000 4194304 4196468 140729975517280 140627816676208 140628842027650 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6233] ppid=6213 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/6215/task/6233/stat : 6233 (java) S 6213 6213 4837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417911521 28909203456 12534 33554432000 4194304 4196468 140729975517280 140627815622880 140628842026709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6234] ppid=6213 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/6215/task/6234/stat : 6234 (java) S 6213 6213 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417911522 28909203456 12534 33554432000 4194304 4196468 140729975517280 140627814570416 140628842027650 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51312 KiB

[startup+0.701064 s]
/proc/loadavg: 7.60 7.68 7.43 4/211 6234
/proc/meminfo: memFree=24244916/32770624 swapFree=67108848/67108860
[pid=6213] ppid=6210 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/6213/stat : 6213 (xcsp3-exec) S 6210 6213 4837 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 417911515 115843072 364 33554432000 4194304 5098028 140735906571440 140735906569544 140181279441532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35860480 140735906579318 140735906579561 140735906579561 140735906582474 0
/proc/6213/statm: 28282 364 305 221 0 87 0
[pid=6215] ppid=6213 vsize=28233768 memory=119600 CPUtime=1.96 cores=0-7
/proc/6215/stat : 6215 (java) S 6213 6213 4837 0 -1 1077944320 14883 0 0 0 189 7 0 0 20 0 20 0 417911515 28911378432 29900 33554432000 4194304 4196468 140729975517280 140729975499824 140628842016503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
/proc/6215/statm: 7058442 29900 3448 1 0 7019544 0
[pid=6215/tid=6216] ppid=6213 vsize=28233768 memory=0 CPUtime=0.68 cores=0-7
/proc/6215/task/6216/stat : 6216 (java) R 6213 6213 4837 0 -1 4202560 8320 0 0 0 63 5 0 0 20 0 20 0 417911516 28911378432 29900 33554432000 4194304 4196468 140729975517280 140628846253232 140628842028438 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6217] ppid=6213 vsize=28233768 memory=139940168246128 CPUtime=0 cores=0-7
/proc/6215/task/6217/stat : 6217 (java) S 6213 6213 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417911517 28911378432 29900 33554432000 4194304 4196468 140729975517280 140628794636560 140628842026709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6218] ppid=6213 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/6215/task/6218/stat : 6218 (java) S 6213 6213 4837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417911517 28911378432 29900 33554432000 4194304 4196468 140729975517280 140628793584016 140628842026709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6219] ppid=6213 vsize=28233768 memory=7180 CPUtime=0 cores=0-7
/proc/6215/task/6219/stat : 6219 (java) S 6213 6213 4837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417911517 28911378432 29900 33554432000 4194304 4196468 140729975517280 140628792531472 140628842026709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0

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

[pid=6215/tid=6261] ppid=6213 vsize=28768328 memory=1456 CPUtime=62.21 cores=0-7
/proc/6215/task/6261/stat : 6261 (java) R 6213 6213 4837 0 -1 4202560 10921 0 0 0 6188 33 0 0 20 0 28 0 417912148 29458767872 887142 33554432000 4194304 4196468 140729975517280 140627795894648 140628465859396 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6262] ppid=6213 vsize=28768328 memory=3548340 CPUtime=62.52 cores=0-7
/proc/6215/task/6262/stat : 6262 (java) R 6213 6213 4837 0 -1 4202560 4786 0 0 0 6234 18 0 0 20 0 28 0 417912148 29458767872 887142 33554432000 4194304 4196468 140729975517280 140627805360968 140628466919625 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6263] ppid=6213 vsize=28768328 memory=3548340 CPUtime=62.56 cores=0-7
/proc/6215/task/6263/stat : 6263 (java) R 6213 6213 4837 0 -1 4202560 830 0 0 0 6256 0 0 0 20 0 28 0 417912148 29458767872 887142 33554432000 4194304 4196468 140729975517280 140627799052552 140628461659472 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6264] ppid=6213 vsize=28768328 memory=1964 CPUtime=61.75 cores=0-7
/proc/6215/task/6264/stat : 6264 (java) R 6213 6213 4837 0 -1 4202560 1257 0 0 0 6173 2 0 0 20 0 28 0 417912148 29458767872 887142 33554432000 4194304 4196468 140729975517280 140627801158392 140628461659164 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6265] ppid=6213 vsize=28768328 memory=1456 CPUtime=61.74 cores=0-7
/proc/6215/task/6265/stat : 6265 (java) R 6213 6213 4837 0 -1 4202560 11095 0 0 0 6118 56 0 0 20 0 28 0 417912148 29458767872 887142 33554432000 4194304 4196468 140729975517280 140627800103536 140628463416189 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6266] ppid=6213 vsize=28768328 memory=3548340 CPUtime=62.75 cores=0-7
/proc/6215/task/6266/stat : 6266 (java) R 6213 6213 4837 0 -1 4202560 1295 0 0 0 6274 1 0 0 20 0 28 0 417912149 29458767872 887142 33554432000 4194304 4196468 140729975517280 140627796946392 140628461659164 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
Current children cumulated CPU time: 544.02 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 3550024 KiB

[startup+72.0015 s]*
/proc/loadavg: 8.43 7.91 7.52 10/219 6269
/proc/meminfo: memFree=20760420/32770624 swapFree=67108848/67108860
[pid=6213] ppid=6210 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/6213/stat : 6213 (xcsp3-exec) S 6210 6213 4837 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 417911515 115843072 364 33554432000 4194304 5098028 140735906571440 140735906569544 140181279441532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35860480 140735906579318 140735906579561 140735906579561 140735906582474 0
/proc/6213/statm: 28282 364 305 221 0 87 0
[pid=6215] ppid=6213 vsize=28768328 memory=3550616 CPUtime=556.75 cores=0-7
/proc/6215/stat : 6215 (java) S 6213 6213 4837 0 -1 1077944320 154390 0 0 0 55450 225 0 0 20 0 28 0 417911515 29458767872 887654 33554432000 4194304 4196468 140729975517280 140729975499824 140628842016503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
/proc/6215/statm: 7192082 887654 3528 1 0 7153184 0
[pid=6215/tid=6216] ppid=6213 vsize=28768328 memory=1398722017469774279 CPUtime=3.19 cores=0-7
/proc/6215/task/6216/stat : 6216 (java) S 6213 6213 4837 0 -1 1077944384 11769 0 0 0 308 11 0 0 20 0 28 0 417911516 29458767872 887654 33554432000 4194304 4196468 140729975517280 140628846257280 140628842026709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6217] ppid=6213 vsize=28768328 memory=4872558044660077418 CPUtime=0.25 cores=0-7
/proc/6215/task/6217/stat : 6217 (java) S 6213 6213 4837 0 -1 1077944384 545 0 0 0 16 9 0 0 20 0 28 0 417911517 29458767872 887654 33554432000 4194304 4196468 140729975517280 140628794636560 140628842026709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6218] ppid=6213 vsize=28768328 memory=14288 CPUtime=0.26 cores=0-7
/proc/6215/task/6218/stat : 6218 (java) S 6213 6213 4837 0 -1 1077944384 1064 0 0 0 17 9 0 0 20 0 28 0 417911517 29458767872 887654 33554432000 4194304 4196468 140729975517280 140628793584016 140628842026709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6219] ppid=6213 vsize=28768328 memory=504 CPUtime=0.26 cores=0-7
/proc/6215/task/6219/stat : 6219 (java) S 6213 6213 4837 0 -1 1077944384 865 0 0 0 18 8 0 0 20 0 28 0 417911517 29458767872 887654 33554432000 4194304 4196468 140729975517280 140628792531472 140628842026709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6220] ppid=6213 vsize=28768328 memory=1728 CPUtime=0.26 cores=0-7
/proc/6215/task/6220/stat : 6220 (java) S 6213 6213 4837 0 -1 1077944384 673 0 0 0 18 8 0 0 20 0 28 0 417911517 29458767872 887654 33554432000 4194304 4196468 140729975517280 140628791478928 140628842026709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6221] ppid=6213 vsize=28768328 memory=924 CPUtime=0.25 cores=0-7
/proc/6215/task/6221/stat : 6221 (java) S 6213 6213 4837 0 -1 1077944384 1066 0 0 0 17 8 0 0 20 0 28 0 417911517 29458767872 887654 33554432000 4194304 4196468 140729975517280 140628790426384 140628842026709 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6222] ppid=6213 vsize=28768328 memory=2376 CPUtime=0.25 cores=0-7
/proc/6215/task/6222/stat : 6222 (java) S 6213 6213 4837 0 -1 1077944384 556 0 0 0 17 8 0 0 20 0 28 0 417911517 29458767872 887654 33554432000 4194304 4196468 140729975517280 140628789373840 140628842026709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6223] ppid=6213 vsize=28768328 memory=1456 CPUtime=0.26 cores=0-7
/proc/6215/task/6223/stat : 6223 (java) S 6213 6213 4837 0 -1 1077944384 393 0 0 0 17 9 0 0 20 0 28 0 417911517 29458767872 887654 33554432000 4194304 4196468 140729975517280 140628788321296 140628842026709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6224] ppid=6213 vsize=28768328 memory=3548568 CPUtime=0.25 cores=0-7
/proc/6215/task/6224/stat : 6224 (java) S 6213 6213 4837 0 -1 1077944384 608 0 0 0 17 8 0 0 20 0 28 0 417911517 29458767872 887654 33554432000 4194304 4196468 140729975517280 140628787268752 140628842026709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6225] ppid=6213 vsize=28768328 memory=7180 CPUtime=0.04 cores=0-7
/proc/6215/task/6225/stat : 6225 (java) S 6213 6213 4837 0 -1 1077944384 3935 0 0 0 3 1 0 0 20 0 28 0 417911518 29458767872 887654 33554432000 4194304 4196468 140729975517280 140627824044016 140628842027650 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6226] ppid=6213 vsize=28768328 memory=1456 CPUtime=0 cores=0-7
/proc/6215/task/6226/stat : 6226 (java) S 6213 6213 4837 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 417911518 29458767872 887654 33554432000 4194304 4196468 140729975517280 140627822990304 140628842026709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6227] ppid=6213 vsize=28768328 memory=4276 CPUtime=0 cores=0-7
/proc/6215/task/6227/stat : 6227 (java) S 6213 6213 4837 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 417911519 29458767872 887654 33554432000 4194304 4196468 140729975517280 140627821937664 140628842026709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6228] ppid=6213 vsize=28768328 memory=2008 CPUtime=0 cores=0-7
/proc/6215/task/6228/stat : 6228 (java) S 6213 6213 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 417911521 29458767872 887654 33554432000 4194304 4196468 140729975517280 140627820886224 140628842035099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6229] ppid=6213 vsize=28768328 memory=111636 CPUtime=6.06 cores=0-7
/proc/6215/task/6229/stat : 6229 (java) S 6213 6213 4837 0 -1 1077944384 23039 0 0 0 601 5 0 0 20 0 28 0 417911521 29458767872 887654 33554432000 4194304 4196468 140729975517280 140627819833840 140628842027650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6230] ppid=6213 vsize=28768328 memory=804 CPUtime=6.91 cores=0-7
/proc/6215/task/6230/stat : 6230 (java) S 6213 6213 4837 0 -1 1077944384 27228 0 0 0 685 6 0 0 20 0 28 0 417911521 29458767872 887654 33554432000 4194304 4196468 140729975517280 140627818781296 140628842027650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6231] ppid=6213 vsize=28768328 memory=4100 CPUtime=6.58 cores=0-7
/proc/6215/task/6231/stat : 6231 (java) S 6213 6213 4837 0 -1 1077944384 31851 0 0 0 652 6 0 0 20 0 28 0 417911521 29458767872 887654 33554432000 4194304 4196468 140729975517280 140627817728752 140628842027650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6232] ppid=6213 vsize=28768328 memory=1808 CPUtime=1.19 cores=0-7
/proc/6215/task/6232/stat : 6232 (java) S 6213 6213 4837 0 -1 1077944384 12517 0 0 0 116 3 0 0 20 0 28 0 417911521 29458767872 887654 33554432000 4194304 4196468 140729975517280 140627816676208 140628842027650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6233] ppid=6213 vsize=28768328 memory=920 CPUtime=0 cores=0-7
/proc/6215/task/6233/stat : 6233 (java) S 6213 6213 4837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 417911521 29458767872 887654 33554432000 4194304 4196468 140729975517280 140627815622880 140628842026709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6234] ppid=6213 vsize=28768328 memory=3924 CPUtime=0.03 cores=0-7
/proc/6215/task/6234/stat : 6234 (java) S 6213 6213 4837 0 -1 1077944384 3278 0 0 0 0 3 0 0 20 0 28 0 417911522 29458767872 887654 33554432000 4194304 4196468 140729975517280 140627814570416 140628842027650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6259] ppid=6213 vsize=28768328 memory=40932 CPUtime=64.27 cores=0-7
/proc/6215/task/6259/stat : 6259 (java) R 6213 6213 4837 0 -1 4202560 1101 0 0 0 6426 1 0 0 20 0 28 0 417912148 29458767872 887654 33554432000 4194304 4196468 140729975517280 140627802209880 140628463801883 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6260] ppid=6213 vsize=28768328 memory=1228 CPUtime=64.72 cores=0-7
/proc/6215/task/6260/stat : 6260 (java) R 6213 6213 4837 0 -1 4202560 986 0 0 0 6472 0 0 0 20 0 28 0 417912148 29458767872 887654 33554432000 4194304 4196468 140729975517280 140627797999608 140628466030181 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6261] ppid=6213 vsize=28768328 memory=2352 CPUtime=63.81 cores=0-7
/proc/6215/task/6261/stat : 6261 (java) R 6213 6213 4837 0 -1 4202560 11003 0 0 0 6348 33 0 0 20 0 28 0 417912148 29458767872 887654 33554432000 4194304 4196468 140729975517280 140627795894648 140628465838468 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6262] ppid=6213 vsize=28768328 memory=1792 CPUtime=64.12 cores=0-7
/proc/6215/task/6262/stat : 6262 (java) R 6213 6213 4837 0 -1 4202560 4830 0 0 0 6394 18 0 0 20 0 28 0 417912148 29458767872 887654 33554432000 4194304 4196468 140729975517280 140627805360968 140628463802478 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6263] ppid=6213 vsize=28768328 memory=8612 CPUtime=64.17 cores=0-7
/proc/6215/task/6263/stat : 6263 (java) R 6213 6213 4837 0 -1 4202560 876 0 0 0 6417 0 0 0 20 0 28 0 417912148 29458767872 887654 33554432000 4194304 4196468 140729975517280 140627799052552 140628461659234 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6264] ppid=6213 vsize=28768328 memory=1192 CPUtime=63.32 cores=0-7
/proc/6215/task/6264/stat : 6264 (java) R 6213 6213 4837 0 -1 4202560 1265 0 0 0 6330 2 0 0 20 0 28 0 417912148 29458767872 887654 33554432000 4194304 4196468 140729975517280 140627801158392 140628461659045 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6265] ppid=6213 vsize=28768328 memory=3054156605268465310 CPUtime=63.3 cores=0-7
/proc/6215/task/6265/stat : 6265 (java) R 6213 6213 4837 0 -1 4202560 11312 0 0 0 6274 56 0 0 20 0 28 0 417912148 29458767872 887654 33554432000 4194304 4196468 140729975517280 140627800106696 140628463325056 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6266] ppid=6213 vsize=28768328 memory=21787 CPUtime=64.31 cores=0-7
/proc/6215/task/6266/stat : 6266 (java) R 6213 6213 4837 0 -1 4202560 1306 0 0 0 6430 1 0 0 20 0 28 0 417912149 29458767872 887654 33554432000 4194304 4196468 140729975517280 140627796946392 140628463801780 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
Current children cumulated CPU time: 556.75 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 3552072 KiB

[startup+72.4015 s]
/proc/loadavg: 8.43 7.91 7.52 10/219 6269
/proc/meminfo: memFree=20760420/32770624 swapFree=67108848/67108860
[pid=6213] ppid=6210 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/6213/stat : 6213 (xcsp3-exec) S 6210 6213 4837 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 417911515 115843072 364 33554432000 4194304 5098028 140735906571440 140735906569544 140181279441532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35860480 140735906579318 140735906579561 140735906579561 140735906582474 0
/proc/6213/statm: 28282 364 305 221 0 87 0
[pid=6215] ppid=6213 vsize=28768328 memory=3577240 CPUtime=559.87 cores=0-7
/proc/6215/stat : 6215 (java) S 6213 6213 4837 0 -1 1077944320 155512 0 0 0 55758 229 0 0 20 0 28 0 417911515 29458767872 894310 33554432000 4194304 4196468 140729975517280 140729975499824 140628842016503 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
/proc/6215/statm: 7192082 894310 3528 1 0 7153184 0
[pid=6215/tid=6216] ppid=6213 vsize=28768328 memory=4100 CPUtime=3.19 cores=0-7
/proc/6215/task/6216/stat : 6216 (java) S 6213 6213 4837 0 -1 1077944384 11769 0 0 0 308 11 0 0 20 0 28 0 417911516 29458767872 894310 33554432000 4194304 4196468 140729975517280 140628846257280 140628842026709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6217] ppid=6213 vsize=28768328 memory=1808 CPUtime=0.26 cores=0-7
/proc/6215/task/6217/stat : 6217 (java) S 6213 6213 4837 0 -1 1077944384 624 0 0 0 17 9 0 0 20 0 28 0 417911517 29458767872 894310 33554432000 4194304 4196468 140729975517280 140628794636560 140628842026709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6218] ppid=6213 vsize=28768328 memory=920 CPUtime=0.28 cores=0-7
/proc/6215/task/6218/stat : 6218 (java) S 6213 6213 4837 0 -1 1077944384 1516 0 0 0 18 10 0 0 20 0 28 0 417911517 29458767872 894310 33554432000 4194304 4196468 140729975517280 140628793584016 140628842026709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6219] ppid=6213 vsize=28768328 memory=1636 CPUtime=0.27 cores=0-7
/proc/6215/task/6219/stat : 6219 (java) S 6213 6213 4837 0 -1 1077944384 893 0 0 0 18 9 0 0 20 0 28 0 417911517 29458767872 894310 33554432000 4194304 4196468 140729975517280 140628792531472 140628842026709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6220] ppid=6213 vsize=28768328 memory=812 CPUtime=0.27 cores=0-7
/proc/6215/task/6220/stat : 6220 (java) S 6213 6213 4837 0 -1 1077944384 692 0 0 0 19 8 0 0 20 0 28 0 417911517 29458767872 894310 33554432000 4194304 4196468 140729975517280 140628791478928 140628842026709 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6221] ppid=6213 vsize=28768328 memory=1840 CPUtime=0.26 cores=0-7
/proc/6215/task/6221/stat : 6221 (java) S 6213 6213 4837 0 -1 1077944384 1170 0 0 0 18 8 0 0 20 0 28 0 417911517 29458767872 894310 33554432000 4194304 4196468 140729975517280 140628790426384 140628842026709 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6222] ppid=6213 vsize=28768328 memory=1384 CPUtime=0.27 cores=0-7
/proc/6215/task/6222/stat : 6222 (java) S 6213 6213 4837 0 -1 1077944384 589 0 0 0 18 9 0 0 20 0 28 0 417911517 29458767872 894310 33554432000 4194304 4196468 140729975517280 140628789373840 140628842026709 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6223] ppid=6213 vsize=28768328 memory=7180 CPUtime=0.27 cores=0-7
/proc/6215/task/6223/stat : 6223 (java) S 6213 6213 4837 0 -1 1077944384 420 0 0 0 18 9 0 0 20 0 28 0 417911517 29458767872 894310 33554432000 4194304 4196468 140729975517280 140628788321296 140628842026709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6224] ppid=6213 vsize=28768328 memory=1100 CPUtime=0.26 cores=0-7
/proc/6215/task/6224/stat : 6224 (java) S 6213 6213 4837 0 -1 1077944384 641 0 0 0 18 8 0 0 20 0 28 0 417911517 29458767872 894310 33554432000 4194304 4196468 140729975517280 140628787268752 140628842026709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6225] ppid=6213 vsize=28768328 memory=15208 CPUtime=0.05 cores=0-7
/proc/6215/task/6225/stat : 6225 (java) S 6213 6213 4837 0 -1 1077944384 4180 0 0 0 3 2 0 0 20 0 28 0 417911518 29458767872 894310 33554432000 4194304 4196468 140729975517280 140627824044016 140628842027650 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6226] ppid=6213 vsize=28768328 memory=24728 CPUtime=0 cores=0-7
/proc/6215/task/6226/stat : 6226 (java) S 6213 6213 4837 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 417911518 29458767872 894310 33554432000 4194304 4196468 140729975517280 140627822990304 140628842026709 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6227] ppid=6213 vsize=28768328 memory=279880337391552 CPUtime=0 cores=0-7
/proc/6215/task/6227/stat : 6227 (java) S 6213 6213 4837 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 417911519 29458767872 894310 33554432000 4194304 4196468 140729975517280 140627821937664 140628842026709 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6228] ppid=6213 vsize=28768328 memory=10823 CPUtime=0 cores=0-7
/proc/6215/task/6228/stat : 6228 (java) S 6213 6213 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 417911521 29458767872 894310 33554432000 4194304 4196468 140729975517280 140627820886224 140628842035099 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6229] ppid=6213 vsize=28768328 memory=4496 CPUtime=6.06 cores=0-7
/proc/6215/task/6229/stat : 6229 (java) S 6213 6213 4837 0 -1 1077944384 23039 0 0 0 601 5 0 0 20 0 28 0 417911521 29458767872 894310 33554432000 4194304 4196468 140729975517280 140627819833840 140628842027650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6230] ppid=6213 vsize=28768328 memory=1412 CPUtime=6.91 cores=0-7
/proc/6215/task/6230/stat : 6230 (java) S 6213 6213 4837 0 -1 1077944384 27228 0 0 0 685 6 0 0 20 0 28 0 417911521 29458767872 894310 33554432000 4194304 4196468 140729975517280 140627818781296 140628842027650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6231] ppid=6213 vsize=28768328 memory=3324 CPUtime=6.58 cores=0-7
/proc/6215/task/6231/stat : 6231 (java) S 6213 6213 4837 0 -1 1077944384 31851 0 0 0 652 6 0 0 20 0 28 0 417911521 29458767872 894310 33554432000 4194304 4196468 140729975517280 140627817728752 140628842027650 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6232] ppid=6213 vsize=28768328 memory=1456 CPUtime=1.19 cores=0-7
/proc/6215/task/6232/stat : 6232 (java) S 6213 6213 4837 0 -1 1077944384 12517 0 0 0 116 3 0 0 20 0 28 0 417911521 29458767872 894310 33554432000 4194304 4196468 140729975517280 140627816676208 140628842027650 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6233] ppid=6213 vsize=28768328 memory=3548568 CPUtime=0 cores=0-7
/proc/6215/task/6233/stat : 6233 (java) S 6213 6213 4837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 417911521 29458767872 894310 33554432000 4194304 4196468 140729975517280 140627815622880 140628842026709 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6234] ppid=6213 vsize=28768328 memory=1964 CPUtime=0.03 cores=0-7
/proc/6215/task/6234/stat : 6234 (java) S 6213 6213 4837 0 -1 1077944384 3278 0 0 0 0 3 0 0 20 0 28 0 417911522 29458767872 894310 33554432000 4194304 4196468 140729975517280 140627814570416 140628842027650 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6259] ppid=6213 vsize=28768328 memory=1398722017469774279 CPUtime=64.65 cores=0-7
/proc/6215/task/6259/stat : 6259 (java) R 6213 6213 4837 0 -1 4202560 1105 0 0 0 6464 1 0 0 20 0 28 0 417912148 29458767872 894310 33554432000 4194304 4196468 140729975517280 140627802208968 140628463174561 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6260] ppid=6213 vsize=28768328 memory=4872558044660077418 CPUtime=65.1 cores=0-7
/proc/6215/task/6260/stat : 6260 (java) R 6213 6213 4837 0 -1 4202560 993 0 0 0 6510 0 0 0 20 0 28 0 417912148 29458767872 894310 33554432000 4194304 4196468 140729975517280 140627797999552 140628463174730 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6261] ppid=6213 vsize=28768328 memory=0 CPUtime=64.19 cores=0-7
/proc/6215/task/6261/stat : 6261 (java) R 6213 6213 4837 0 -1 4202560 11017 0 0 0 6386 33 0 0 20 0 28 0 417912148 29458767872 894310 33554432000 4194304 4196468 140729975517280 140627795894472 140628465859562 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6262] ppid=6213 vsize=28768328 memory=2 CPUtime=64.5 cores=0-7
/proc/6215/task/6262/stat : 6262 (java) R 6213 6213 4837 0 -1 4202560 4839 0 0 0 6432 18 0 0 20 0 28 0 417912148 29458767872 894310 33554432000 4194304 4196468 140729975517280 140627805360128 140628466120640 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6263] ppid=6213 vsize=28768328 memory=5566 CPUtime=64.54 cores=0-7
/proc/6215/task/6263/stat : 6263 (java) R 6213 6213 4837 0 -1 4202560 881 0 0 0 6454 0 0 0 20 0 28 0 417912148 29458767872 894310 33554432000 4194304 4196468 140729975517280 140627799052736 140628461659045 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6264] ppid=6213 vsize=28768328 memory=5612 CPUtime=63.69 cores=0-7
/proc/6215/task/6264/stat : 6264 (java) R 6213 6213 4837 0 -1 4202560 1269 0 0 0 6367 2 0 0 20 0 28 0 417912148 29458767872 894310 33554432000 4194304 4196468 140729975517280 140627801158392 140628461659045 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6265] ppid=6213 vsize=28768328 memory=5521 CPUtime=63.67 cores=0-7
/proc/6215/task/6265/stat : 6265 (java) R 6213 6213 4837 0 -1 4202560 11364 0 0 0 6311 56 0 0 20 0 28 0 417912148 29458767872 894310 33554432000 4194304 4196468 140729975517280 140627800106544 140628457661771 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
[pid=6215/tid=6266] ppid=6213 vsize=28768328 memory=5552 CPUtime=64.69 cores=0-7
/proc/6215/task/6266/stat : 6266 (java) R 6213 6213 4837 0 -1 4202560 1313 0 0 0 6468 1 0 0 20 0 28 0 417912149 29458767872 894310 33554432000 4194304 4196468 140729975517280 140627796946432 140628461659040 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23904256 140729975526378 140729975526550 140729975526550 140729975529423 0
Current children cumulated CPU time: 559.87 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 3578696 KiB

[startup+72.6012 s]
/proc/loadavg: 8.43 7.91 7.52 10/219 6269
/proc/meminfo: memFree=20760420/32770624 swapFree=67108848/67108860
[pid=6213] ppid=6210 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/6213/stat : 6213 (xcsp3-exec) S 6210 6213 4837 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 417911515 115843072 364 33554432000 4194304 5098028 140735906571440 140735906569544 140181279441532 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35860480 140735906579318 140735906579561 140735906579561 140735906582474 0
/proc/6213/statm: 28282 364 305 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1456 KiB

Child status: 0
Real time (s): 72.6201
CPU time (s): 560.693
CPU user time (s): 558.369
CPU system time (s): 2.32415
CPU usage (%): 772.09
Max. virtual memory (cumulated for all children) (KiB): 28885316
Max. memory (cumulated for all children) (KiB): 3578696

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 558.369
system time used= 2.32415
maximum resident set size= 3577264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 157051
page faults= 0
swaps= 0
block input operations= 0
block output operations= 240
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7757
involuntary context switches= 8285


# summary of solver processes directly reported to runsolver:
#   pid: 6213
#   total CPU time (s): 560.693
#   total CPU user time (s): 558.369
#   total CPU system time (s): 2.32415

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.643481 second user time and 0.898037 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.4372
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 4393808

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
