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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-24 parallel	OPT	6	355.494	47.3121
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 (12377 MiB free)
  memory of node 1: 16384 MiB (12768 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4407324-1569346667/watcher-4407324-1569346667 -o /var/tmp/evaluation-result-4407324-1569346667/solver-4407324-1569346667 -C 2016 -W 252 -M 31000 --bin-var /var/tmp/runsolver-exch-node145-1569335936-30460 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 1403632523 HOME/instance-4407324-1569346667.xml 

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

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


[startup+0.100058 s]*
/proc/loadavg: 8.55 8.45 8.31 4/211 2987
/proc/meminfo: memFree=25731012/32770624 swapFree=66966880/67108860
[pid=2966] ppid=2963 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/2966/stat : 2966 (xcsp3-exec) S 2963 2966 30433 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510603144 115843072 363 33554432000 4194304 5098028 140720560476624 140720560474728 140588034163324 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17035264 140720560481111 140720560481370 140720560481370 140720560484294 0
/proc/2966/statm: 28282 363 304 221 0 87 0
[pid=2968] ppid=2966 vsize=28227396 memory=30100 CPUtime=0.12 cores=0-7
/proc/2968/stat : 2968 (java) S 2966 2966 30433 0 -1 1077944320 5486 0 0 0 10 2 0 0 20 0 20 0 510603144 28904853504 7525 33554432000 4194304 4196468 140736908836832 140736908819376 140688409100023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
/proc/2968/statm: 7056849 7525 3123 1 0 7019032 0
[pid=2968/tid=2969] ppid=2966 vsize=28227396 memory=6935054825532540783 CPUtime=0.09 cores=0-7
/proc/2968/task/2969/stat : 2969 (java) R 2966 2966 30433 0 -1 4202560 3402 0 0 0 8 1 0 0 20 0 20 0 510603144 28904853504 7525 33554432000 4194304 4196468 140736908836832 140688413333088 140688409111958 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2970] ppid=2966 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/2968/task/2970/stat : 2970 (java) S 2966 2966 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510603145 28904853504 7525 33554432000 4194304 4196468 140736908836832 140687960038544 140688409110229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2971] ppid=2966 vsize=28227396 memory=139932344116864 CPUtime=0 cores=0-7
/proc/2968/task/2971/stat : 2971 (java) S 2966 2966 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510603145 28904853504 7525 33554432000 4194304 4196468 140736908836832 140687958985744 140688409110229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2972] ppid=2966 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2968/task/2972/stat : 2972 (java) S 2966 2966 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510603145 28904853504 7525 33554432000 4194304 4196468 140736908836832 140687957932944 140688409110229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2973] ppid=2966 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2968/task/2973/stat : 2973 (java) S 2966 2966 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510603145 28904853504 7525 33554432000 4194304 4196468 140736908836832 140687956880144 140688409110229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2974] ppid=2966 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2968/task/2974/stat : 2974 (java) S 2966 2966 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510603145 28904853504 7525 33554432000 4194304 4196468 140736908836832 140687955827344 140688409110229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2975] ppid=2966 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/2968/task/2975/stat : 2975 (java) S 2966 2966 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510603145 28904853504 7525 33554432000 4194304 4196468 140736908836832 140687954774544 140688409110229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2976] ppid=2966 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2968/task/2976/stat : 2976 (java) S 2966 2966 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510603145 28904853504 7525 33554432000 4194304 4196468 140736908836832 140687953721744 140688409110229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2977] ppid=2966 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2968/task/2977/stat : 2977 (java) S 2966 2966 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510603145 28904853504 7525 33554432000 4194304 4196468 140736908836832 140687952668944 140688409110229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2978] ppid=2966 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2968/task/2978/stat : 2978 (java) S 2966 2966 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510603147 28904853504 7525 33554432000 4194304 4196468 140736908836832 140686536932208 140688409111170 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2979] ppid=2966 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2968/task/2979/stat : 2979 (java) S 2966 2966 30433 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510603147 28904853504 7525 33554432000 4194304 4196468 140736908836832 140686535878176 140688409110229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2980] ppid=2966 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2968/task/2980/stat : 2980 (java) S 2966 2966 30433 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510603147 28904853504 7525 33554432000 4194304 4196468 140736908836832 140686534825328 140688409110229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2981] ppid=2966 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2968/task/2981/stat : 2981 (java) S 2966 2966 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510603150 28904853504 7525 33554432000 4194304 4196468 140736908836832 140686533773648 140688409118619 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2982] ppid=2966 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2968/task/2982/stat : 2982 (java) R 2966 2966 30433 0 -1 4202560 301 0 0 0 0 0 0 0 20 0 20 0 510603150 28904853504 7525 33554432000 4194304 4196468 140736908836832 140686532721008 140688394005322 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2983] ppid=2966 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2968/task/2983/stat : 2983 (java) S 2966 2966 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510603150 28904853504 7525 33554432000 4194304 4196468 140736908836832 140686531668208 140688409111170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2984] ppid=2966 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2968/task/2984/stat : 2984 (java) S 2966 2966 30433 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 510603150 28904853504 7525 33554432000 4194304 4196468 140736908836832 140686530615408 140688409111170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2985] ppid=2966 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/2968/task/2985/stat : 2985 (java) R 2966 2966 30433 0 -1 4202560 355 0 0 0 2 0 0 0 20 0 20 0 510603150 28904853504 7525 33554432000 4194304 4196468 140736908836832 140686529562608 140688401337150 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2986] ppid=2966 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2968/task/2986/stat : 2986 (java) S 2966 2966 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510603150 28904853504 7525 33554432000 4194304 4196468 140736908836832 140686528511072 140688409110229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2987] ppid=2966 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/2968/task/2987/stat : 2987 (java) S 2966 2966 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510603150 28904853504 7525 33554432000 4194304 4196468 140736908836832 140686527458352 140688409111170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31552 KiB

[startup+0.2107 s]*
/proc/loadavg: 8.55 8.45 8.31 3/211 2987
/proc/meminfo: memFree=25718256/32770624 swapFree=66966880/67108860
[pid=2966] ppid=2963 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/2966/stat : 2966 (xcsp3-exec) S 2963 2966 30433 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510603144 115843072 363 33554432000 4194304 5098028 140720560476624 140720560474728 140588034163324 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17035264 140720560481111 140720560481370 140720560481370 140720560484294 0
/proc/2966/statm: 28282 363 304 221 0 87 0
[pid=2968] ppid=2966 vsize=28227396 memory=41488 CPUtime=0.34 cores=0-7
/proc/2968/stat : 2968 (java) S 2966 2966 30433 0 -1 1077944320 9086 0 0 0 30 4 0 0 20 0 20 0 510603144 28904853504 10372 33554432000 4194304 4196468 140736908836832 140736908819376 140688409100023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
/proc/2968/statm: 7056849 10372 3304 1 0 7019032 0
[pid=2968/tid=2969] ppid=2966 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/2968/task/2969/stat : 2969 (java) R 2966 2966 30433 0 -1 4202560 6218 0 0 0 17 2 0 0 20 0 20 0 510603144 28904853504 10372 33554432000 4194304 4196468 140736908836832 140688413336784 140688047027185 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2970] ppid=2966 vsize=28227396 memory=329 CPUtime=0 cores=0-7
/proc/2968/task/2970/stat : 2970 (java) S 2966 2966 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510603145 28904853504 10372 33554432000 4194304 4196468 140736908836832 140687960038544 140688409110229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2971] ppid=2966 vsize=28227396 memory=3474441860564248224 CPUtime=0 cores=0-7
/proc/2968/task/2971/stat : 2971 (java) S 2966 2966 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510603145 28904853504 10372 33554432000 4194304 4196468 140736908836832 140687958985744 140688409110229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2972] ppid=2966 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/2968/task/2972/stat : 2972 (java) S 2966 2966 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510603145 28904853504 10372 33554432000 4194304 4196468 140736908836832 140687957932944 140688409110229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2973] ppid=2966 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2968/task/2973/stat : 2973 (java) S 2966 2966 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510603145 28904853504 10372 33554432000 4194304 4196468 140736908836832 140687956880144 140688409110229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2974] ppid=2966 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2968/task/2974/stat : 2974 (java) S 2966 2966 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510603145 28904853504 10372 33554432000 4194304 4196468 140736908836832 140687955827344 140688409110229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2975] ppid=2966 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/2968/task/2975/stat : 2975 (java) S 2966 2966 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510603145 28904853504 10372 33554432000 4194304 4196468 140736908836832 140687954774544 140688409110229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2976] ppid=2966 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2968/task/2976/stat : 2976 (java) S 2966 2966 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510603145 28904853504 10372 33554432000 4194304 4196468 140736908836832 140687953721744 140688409110229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2977] ppid=2966 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2968/task/2977/stat : 2977 (java) S 2966 2966 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510603145 28904853504 10372 33554432000 4194304 4196468 140736908836832 140687952668944 140688409110229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2978] ppid=2966 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2968/task/2978/stat : 2978 (java) S 2966 2966 30433 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510603147 28904853504 10372 33554432000 4194304 4196468 140736908836832 140686536932208 140688409111170 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2979] ppid=2966 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2968/task/2979/stat : 2979 (java) S 2966 2966 30433 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510603147 28904853504 10372 33554432000 4194304 4196468 140736908836832 140686535878176 140688409110229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2980] ppid=2966 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2968/task/2980/stat : 2980 (java) S 2966 2966 30433 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510603147 28904853504 10372 33554432000 4194304 4196468 140736908836832 140686534825328 140688409110229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2981] ppid=2966 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2968/task/2981/stat : 2981 (java) S 2966 2966 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510603150 28904853504 10372 33554432000 4194304 4196468 140736908836832 140686533773648 140688409118619 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2982] ppid=2966 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/2968/task/2982/stat : 2982 (java) S 2966 2966 30433 0 -1 1077944384 358 0 0 0 1 0 0 0 20 0 20 0 510603150 28904853504 10372 33554432000 4194304 4196468 140736908836832 140686532721008 140688409111170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2983] ppid=2966 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/2968/task/2983/stat : 2983 (java) S 2966 2966 30433 0 -1 1077944384 280 0 0 0 1 0 0 0 20 0 20 0 510603150 28904853504 10372 33554432000 4194304 4196468 140736908836832 140686531668208 140688409111170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2984] ppid=2966 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/2968/task/2984/stat : 2984 (java) S 2966 2966 30433 0 -1 1077944384 219 0 0 0 1 0 0 0 20 0 20 0 510603150 28904853504 10372 33554432000 4194304 4196468 140736908836832 140686530615408 140688409111170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2985] ppid=2966 vsize=28227396 memory=-1 CPUtime=0.08 cores=0-7
/proc/2968/task/2985/stat : 2985 (java) S 2966 2966 30433 0 -1 1077944384 701 0 0 0 8 0 0 0 20 0 20 0 510603150 28904853504 10372 33554432000 4194304 4196468 140736908836832 140686529562608 140688409111170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2986] ppid=2966 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/2968/task/2986/stat : 2986 (java) S 2966 2966 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510603150 28904853504 10372 33554432000 4194304 4196468 140736908836832 140686528511072 140688409110229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2987] ppid=2966 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/2968/task/2987/stat : 2987 (java) S 2966 2966 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510603150 28904853504 10372 33554432000 4194304 4196468 140736908836832 140686527458352 140688409111170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42940 KiB

[startup+0.310422 s]*
/proc/loadavg: 8.55 8.45 8.31 4/211 2987
/proc/meminfo: memFree=25712556/32770624 swapFree=66966880/67108860
[pid=2966] ppid=2963 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/2966/stat : 2966 (xcsp3-exec) S 2963 2966 30433 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510603144 115843072 363 33554432000 4194304 5098028 140720560476624 140720560474728 140588034163324 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17035264 140720560481111 140720560481370 140720560481370 140720560484294 0
/proc/2966/statm: 28282 363 304 221 0 87 0
[pid=2968] ppid=2966 vsize=28231652 memory=50204 CPUtime=0.53 cores=0-7
/proc/2968/stat : 2968 (java) S 2966 2966 30433 0 -1 1077944320 10383 0 0 0 48 5 0 0 20 0 20 0 510603144 28909211648 12551 33554432000 4194304 4196468 140736908836832 140736908819376 140688409100023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
/proc/2968/statm: 7057913 12551 3352 1 0 7019032 0
[pid=2968/tid=2969] ppid=2966 vsize=28231652 memory=6935054825532540783 CPUtime=0.3 cores=0-7
/proc/2968/task/2969/stat : 2969 (java) R 2966 2966 30433 0 -1 4202560 7343 0 0 0 27 3 0 0 20 0 20 0 510603144 28909211648 12551 33554432000 4194304 4196468 140736908836832 140688413333808 140688393180510 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2970] ppid=2966 vsize=28231652 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/2968/task/2970/stat : 2970 (java) S 2966 2966 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510603145 28909211648 12551 33554432000 4194304 4196468 140736908836832 140687960038544 140688409110229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2971] ppid=2966 vsize=28231652 memory=35720 CPUtime=0 cores=0-7
/proc/2968/task/2971/stat : 2971 (java) S 2966 2966 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510603145 28909211648 12551 33554432000 4194304 4196468 140736908836832 140687958985744 140688409110229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2972] ppid=2966 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/2968/task/2972/stat : 2972 (java) S 2966 2966 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510603145 28909211648 12551 33554432000 4194304 4196468 140736908836832 140687957932944 140688409110229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2973] ppid=2966 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/2968/task/2973/stat : 2973 (java) S 2966 2966 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510603145 28909211648 12551 33554432000 4194304 4196468 140736908836832 140687956880144 140688409110229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2974] ppid=2966 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/2968/task/2974/stat : 2974 (java) S 2966 2966 30433 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 510603145 28909211648 12551 33554432000 4194304 4196468 140736908836832 140687955827344 140688409110229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2975] ppid=2966 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/2968/task/2975/stat : 2975 (java) S 2966 2966 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510603145 28909211648 12551 33554432000 4194304 4196468 140736908836832 140687954774544 140688409110229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2976] ppid=2966 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/2968/task/2976/stat : 2976 (java) S 2966 2966 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510603145 28909211648 12551 33554432000 4194304 4196468 140736908836832 140687953721744 140688409110229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2977] ppid=2966 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/2968/task/2977/stat : 2977 (java) S 2966 2966 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510603145 28909211648 12551 33554432000 4194304 4196468 140736908836832 140687952668944 140688409110229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2978] ppid=2966 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/2968/task/2978/stat : 2978 (java) S 2966 2966 30433 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 510603147 28909211648 12551 33554432000 4194304 4196468 140736908836832 140686536932208 140688409111170 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2979] ppid=2966 vsize=28231652 memory=139932182087119 CPUtime=0 cores=0-7
/proc/2968/task/2979/stat : 2979 (java) S 2966 2966 30433 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 510603147 28909211648 12551 33554432000 4194304 4196468 140736908836832 140686535878176 140688409110229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2980] ppid=2966 vsize=28231652 memory=279864364169616 CPUtime=0 cores=0-7
/proc/2968/task/2980/stat : 2980 (java) S 2966 2966 30433 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 510603147 28909211648 12551 33554432000 4194304 4196468 140736908836832 140686534825328 140688409110229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2981] ppid=2966 vsize=28231652 memory=279864364167312 CPUtime=0 cores=0-7
/proc/2968/task/2981/stat : 2981 (java) S 2966 2966 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510603150 28909211648 12551 33554432000 4194304 4196468 140736908836832 140686533773648 140688409118619 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2982] ppid=2966 vsize=28231652 memory=279864364183440 CPUtime=0.02 cores=0-7
/proc/2968/task/2982/stat : 2982 (java) S 2966 2966 30433 0 -1 1077944384 365 0 0 0 2 0 0 0 20 0 20 0 510603150 28909211648 12551 33554432000 4194304 4196468 140736908836832 140686532721008 140688409111170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2983] ppid=2966 vsize=28231652 memory=279864364181136 CPUtime=0.04 cores=0-7
/proc/2968/task/2983/stat : 2983 (java) R 2966 2966 30433 0 -1 4202560 382 0 0 0 4 0 0 0 20 0 20 0 510603150 28909211648 12551 33554432000 4194304 4196468 140736908836832 140686531649224 140688388346036 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2984] ppid=2966 vsize=28231652 memory=279864364188048 CPUtime=0.01 cores=0-7
/proc/2968/task/2984/stat : 2984 (java) S 2966 2966 30433 0 -1 1077944384 219 0 0 0 1 0 0 0 20 0 20 0 510603150 28909211648 12551 33554432000 4194304 4196468 140736908836832 140686530615408 140688409111170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2985] ppid=2966 vsize=28231652 memory=279864364129296 CPUtime=0.12 cores=0-7
/proc/2968/task/2985/stat : 2985 (java) S 2966 2966 30433 0 -1 1077944384 797 0 0 0 12 0 0 0 20 0 20 0 510603150 28909211648 12551 33554432000 4194304 4196468 140736908836832 140686529562608 140688409111170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2986] ppid=2966 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/2968/task/2986/stat : 2986 (java) S 2966 2966 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 510603150 28909211648 12551 33554432000 4194304 4196468 140736908836832 140686528511072 140688409110229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2987] ppid=2966 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/2968/task/2987/stat : 2987 (java) S 2966 2966 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510603150 28909211648 12551 33554432000 4194304 4196468 140736908836832 140686527458352 140688409111170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51656 KiB

[startup+0.700979 s]
/proc/loadavg: 8.55 8.45 8.31 4/211 2987
/proc/meminfo: memFree=25690536/32770624 swapFree=66966880/67108860
[pid=2966] ppid=2963 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/2966/stat : 2966 (xcsp3-exec) S 2963 2966 30433 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510603144 115843072 363 33554432000 4194304 5098028 140720560476624 140720560474728 140588034163324 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17035264 140720560481111 140720560481370 140720560481370 140720560484294 0
/proc/2966/statm: 28282 363 304 221 0 87 0
[pid=2968] ppid=2966 vsize=28233776 memory=124736 CPUtime=1.95 cores=0-7
/proc/2968/stat : 2968 (java) S 2966 2966 30433 0 -1 1077944320 14669 0 0 0 188 7 0 0 20 0 20 0 510603144 28911386624 31184 33554432000 4194304 4196468 140736908836832 140736908819376 140688409100023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
/proc/2968/statm: 7058444 31184 3451 1 0 7019544 0
[pid=2968/tid=2969] ppid=2966 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7
/proc/2968/task/2969/stat : 2969 (java) R 2966 2966 30433 0 -1 4202560 7913 0 0 0 64 4 0 0 20 0 20 0 510603144 28911386624 31184 33554432000 4194304 4196468 140736908836832 140688413338480 140688045998608 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2970] ppid=2966 vsize=28233776 memory=279864364229696 CPUtime=0 cores=0-7
/proc/2968/task/2970/stat : 2970 (java) S 2966 2966 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510603145 28911386624 31184 33554432000 4194304 4196468 140736908836832 140687960038544 140688409110229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2971] ppid=2966 vsize=28233776 memory=139932182291312 CPUtime=0 cores=0-7
/proc/2968/task/2971/stat : 2971 (java) S 2966 2966 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510603145 28911386624 31184 33554432000 4194304 4196468 140736908836832 140687958985744 140688409110229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2972] ppid=2966 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/2968/task/2972/stat : 2972 (java) S 2966 2966 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 510603145 28911386624 31184 33554432000 4194304 4196468 140736908836832 140687957932944 140688409110229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0

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

[pid=2968/tid=3070] ppid=2966 vsize=28768336 memory=3300 CPUtime=40.56 cores=0-7
/proc/2968/task/3070/stat : 3070 (java) R 2966 2966 30433 0 -1 4202560 4438 0 0 0 4035 21 0 0 20 0 28 0 510603656 29458776064 863472 33554432000 4194304 4196468 140736908836832 140686517426048 140688047569331 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=3071] ppid=2966 vsize=28768336 memory=1452 CPUtime=40.78 cores=0-7
/proc/2968/task/3071/stat : 3071 (java) R 2966 2966 30433 0 -1 4202560 2639 0 0 0 4067 11 0 0 20 0 28 0 510603656 29458776064 863472 33554432000 4194304 4196468 140736908836832 140686513215704 140688047569226 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=3072] ppid=2966 vsize=28768336 memory=3453888 CPUtime=40.82 cores=0-7
/proc/2968/task/3072/stat : 3072 (java) R 2966 2966 30433 0 -1 4202560 779 0 0 0 4082 0 0 0 20 0 28 0 510603656 29458776064 863472 33554432000 4194304 4196468 140736908836832 140686511107992 140688054566532 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=3073] ppid=2966 vsize=28768336 memory=1660 CPUtime=40.84 cores=0-7
/proc/2968/task/3073/stat : 3073 (java) R 2966 2966 30433 0 -1 4202560 769 0 0 0 4083 1 0 0 20 0 28 0 510603656 29458776064 863472 33554432000 4194304 4196468 140736908836832 140686515318352 140688054566536 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=3074] ppid=2966 vsize=28768336 memory=1808 CPUtime=40.43 cores=0-7
/proc/2968/task/3074/stat : 3074 (java) R 2966 2966 30433 0 -1 4202560 8639 0 0 0 4008 35 0 0 20 0 28 0 510603656 29458776064 863472 33554432000 4194304 4196468 140736908836832 140686512160504 140688055600989 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=3075] ppid=2966 vsize=28768336 memory=920 CPUtime=40.35 cores=0-7
/proc/2968/task/3075/stat : 3075 (java) R 2966 2966 30433 0 -1 4202560 1422 0 0 0 4034 1 0 0 20 0 28 0 510603656 29458776064 863472 33554432000 4194304 4196468 140736908836832 140686518476840 140688055222928 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
Current children cumulated CPU time: 348.88 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 3455340 KiB

[startup+46.8022 s]
/proc/loadavg: 8.14 8.34 8.28 9/219 3078
/proc/meminfo: memFree=22301660/32770624 swapFree=66966880/67108860
[pid=2966] ppid=2963 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/2966/stat : 2966 (xcsp3-exec) S 2963 2966 30433 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510603144 115843072 363 33554432000 4194304 5098028 140720560476624 140720560474728 140588034163324 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17035264 140720560481111 140720560481370 140720560481370 140720560484294 0
/proc/2966/statm: 28282 363 304 221 0 87 0
[pid=2968] ppid=2966 vsize=28768336 memory=3503040 CPUtime=352.08 cores=0-7
/proc/2968/stat : 2968 (java) S 2966 2966 30433 0 -1 1077944320 93074 0 0 0 35011 197 0 0 20 0 28 0 510603144 29458776064 875760 33554432000 4194304 4196468 140736908836832 140736908819376 140688409100023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
/proc/2968/statm: 7192084 875760 3534 1 0 7153184 0
[pid=2968/tid=2969] ppid=2966 vsize=28768336 memory=2120 CPUtime=3.36 cores=0-7
/proc/2968/task/2969/stat : 2969 (java) S 2966 2966 30433 0 -1 1077944384 10401 0 0 0 326 10 0 0 20 0 28 0 510603144 29458776064 875760 33554432000 4194304 4196468 140736908836832 140688413340800 140688409110229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2970] ppid=2966 vsize=28768336 memory=508 CPUtime=0.21 cores=0-7
/proc/2968/task/2970/stat : 2970 (java) S 2966 2966 30433 0 -1 1077944384 437 0 0 0 13 8 0 0 20 0 28 0 510603145 29458776064 875760 33554432000 4194304 4196468 140736908836832 140687960038544 140688409110229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2971] ppid=2966 vsize=28768336 memory=1560 CPUtime=0.22 cores=0-7
/proc/2968/task/2971/stat : 2971 (java) S 2966 2966 30433 0 -1 1077944384 867 0 0 0 14 8 0 0 20 0 28 0 510603145 29458776064 875760 33554432000 4194304 4196468 140736908836832 140687958985744 140688409110229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2972] ppid=2966 vsize=28768336 memory=932 CPUtime=0.23 cores=0-7
/proc/2968/task/2972/stat : 2972 (java) S 2966 2966 30433 0 -1 1077944384 1129 0 0 0 14 9 0 0 20 0 28 0 510603145 29458776064 875760 33554432000 4194304 4196468 140736908836832 140687957932944 140688409110229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2973] ppid=2966 vsize=28768336 memory=1568 CPUtime=0.22 cores=0-7
/proc/2968/task/2973/stat : 2973 (java) S 2966 2966 30433 0 -1 1077944384 406 0 0 0 14 8 0 0 20 0 28 0 510603145 29458776064 875760 33554432000 4194304 4196468 140736908836832 140687956880144 140688409110229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2974] ppid=2966 vsize=28768336 memory=1452 CPUtime=0.22 cores=0-7
/proc/2968/task/2974/stat : 2974 (java) S 2966 2966 30433 0 -1 1077944384 1074 0 0 0 14 8 0 0 20 0 28 0 510603145 29458776064 875760 33554432000 4194304 4196468 140736908836832 140687955827344 140688409110229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2975] ppid=2966 vsize=28768336 memory=3453888 CPUtime=0.24 cores=0-7
/proc/2968/task/2975/stat : 2975 (java) S 2966 2966 30433 0 -1 1077944384 593 0 0 0 15 9 0 0 20 0 28 0 510603145 29458776064 875760 33554432000 4194304 4196468 140736908836832 140687954774544 140688409110229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2976] ppid=2966 vsize=28768336 memory=864 CPUtime=0.22 cores=0-7
/proc/2968/task/2976/stat : 2976 (java) S 2966 2966 30433 0 -1 1077944384 736 0 0 0 15 7 0 0 20 0 28 0 510603145 29458776064 875760 33554432000 4194304 4196468 140736908836832 140687953721744 140688409110229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2977] ppid=2966 vsize=28768336 memory=1976 CPUtime=0.22 cores=0-7
/proc/2968/task/2977/stat : 2977 (java) S 2966 2966 30433 0 -1 1077944384 533 0 0 0 14 8 0 0 20 0 28 0 510603145 29458776064 875760 33554432000 4194304 4196468 140736908836832 140687952668944 140688409110229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2978] ppid=2966 vsize=28768336 memory=2496 CPUtime=0.03 cores=0-7
/proc/2968/task/2978/stat : 2978 (java) S 2966 2966 30433 0 -1 1077944384 3647 0 0 0 3 0 0 0 20 0 28 0 510603147 29458776064 875760 33554432000 4194304 4196468 140736908836832 140686536932208 140688409111170 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2979] ppid=2966 vsize=28768336 memory=1760 CPUtime=0 cores=0-7
/proc/2968/task/2979/stat : 2979 (java) S 2966 2966 30433 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 510603147 29458776064 875760 33554432000 4194304 4196468 140736908836832 140686535878240 140688409110229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2980] ppid=2966 vsize=28768336 memory=111636 CPUtime=0 cores=0-7
/proc/2968/task/2980/stat : 2980 (java) S 2966 2966 30433 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 28 0 510603147 29458776064 875760 33554432000 4194304 4196468 140736908836832 140686534825344 140688409110229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2981] ppid=2966 vsize=28768336 memory=804 CPUtime=0 cores=0-7
/proc/2968/task/2981/stat : 2981 (java) S 2966 2966 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510603150 29458776064 875760 33554432000 4194304 4196468 140736908836832 140686533773648 140688409118619 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2982] ppid=2966 vsize=28768336 memory=1412 CPUtime=3.98 cores=0-7
/proc/2968/task/2982/stat : 2982 (java) S 2966 2966 30433 0 -1 1077944384 12740 0 0 0 394 4 0 0 20 0 28 0 510603150 29458776064 875760 33554432000 4194304 4196468 140736908836832 140686532721008 140688409111170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2983] ppid=2966 vsize=28768336 memory=3260 CPUtime=3.91 cores=0-7
/proc/2968/task/2983/stat : 2983 (java) S 2966 2966 30433 0 -1 1077944384 9123 0 0 0 389 2 0 0 20 0 28 0 510603150 29458776064 875760 33554432000 4194304 4196468 140736908836832 140686531668208 140688409111170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2984] ppid=2966 vsize=28768336 memory=1452 CPUtime=3.53 cores=0-7
/proc/2968/task/2984/stat : 2984 (java) S 2966 2966 30433 0 -1 1077944384 11795 0 0 0 350 3 0 0 20 0 28 0 510603150 29458776064 875760 33554432000 4194304 4196468 140736908836832 140686530615408 140688409111170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2985] ppid=2966 vsize=28768336 memory=288230574492221466 CPUtime=0.93 cores=0-7
/proc/2968/task/2985/stat : 2985 (java) S 2966 2966 30433 0 -1 1077944384 7744 0 0 0 91 2 0 0 20 0 28 0 510603150 29458776064 875760 33554432000 4194304 4196468 140736908836832 140686529562608 140688409111170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2986] ppid=2966 vsize=28768336 memory=288230617509003574 CPUtime=0 cores=0-7
/proc/2968/task/2986/stat : 2986 (java) S 2966 2966 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510603150 29458776064 875760 33554432000 4194304 4196468 140736908836832 140686528511072 140688409110229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2987] ppid=2966 vsize=28768336 memory=15258159904196609 CPUtime=0.02 cores=0-7
/proc/2968/task/2987/stat : 2987 (java) S 2966 2966 30433 0 -1 1077944384 1246 0 0 0 0 2 0 0 20 0 28 0 510603150 29458776064 875760 33554432000 4194304 4196468 140736908836832 140686527458352 140688409111170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=3068] ppid=2966 vsize=28768336 memory=1568 CPUtime=41.05 cores=0-7
/proc/2968/task/3068/stat : 3068 (java) R 2966 2966 30433 0 -1 4202560 7735 0 0 0 4078 27 0 0 20 0 28 0 510603656 29458776064 875760 33554432000 4194304 4196468 140736908836832 140686516369720 140688054812803 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=3069] ppid=2966 vsize=28768336 memory=4108 CPUtime=41.2 cores=0-7
/proc/2968/task/3069/stat : 3069 (java) R 2966 2966 30433 0 -1 4202560 646 0 0 0 4120 0 0 0 20 0 28 0 510603656 29458776064 875760 33554432000 4194304 4196468 140736908836832 140686514266808 140688053808743 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=3070] ppid=2966 vsize=28768336 memory=1444 CPUtime=40.96 cores=0-7
/proc/2968/task/3070/stat : 3070 (java) R 2966 2966 30433 0 -1 4202560 4550 0 0 0 4075 21 0 0 20 0 28 0 510603656 29458776064 875760 33554432000 4194304 4196468 140736908836832 140686517426048 140688056129517 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=3071] ppid=2966 vsize=28768336 memory=864 CPUtime=41.18 cores=0-7
/proc/2968/task/3071/stat : 3071 (java) R 2966 2966 30433 0 -1 4202560 2716 0 0 0 4107 11 0 0 20 0 28 0 510603656 29458776064 875760 33554432000 4194304 4196468 140736908836832 140686513215704 140688051508218 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=3072] ppid=2966 vsize=28768336 memory=1976 CPUtime=41.22 cores=0-7
/proc/2968/task/3072/stat : 3072 (java) R 2966 2966 30433 0 -1 4202560 821 0 0 0 4122 0 0 0 20 0 28 0 510603656 29458776064 875760 33554432000 4194304 4196468 140736908836832 140686511107992 140688054566449 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=3073] ppid=2966 vsize=28768336 memory=2496 CPUtime=41.24 cores=0-7
/proc/2968/task/3073/stat : 3073 (java) R 2966 2966 30433 0 -1 4202560 799 0 0 0 4123 1 0 0 20 0 28 0 510603656 29458776064 875760 33554432000 4194304 4196468 140736908836832 140686515318352 140688051508083 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=3074] ppid=2966 vsize=28768336 memory=1760 CPUtime=40.83 cores=0-7
/proc/2968/task/3074/stat : 3074 (java) R 2966 2966 30433 0 -1 4202560 8715 0 0 0 4048 35 0 0 20 0 28 0 510603656 29458776064 875760 33554432000 4194304 4196468 140736908836832 140686512160504 140688055601091 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=3075] ppid=2966 vsize=28768336 memory=111636 CPUtime=40.75 cores=0-7
/proc/2968/task/3075/stat : 3075 (java) R 2966 2966 30433 0 -1 4202560 1437 0 0 0 4074 1 0 0 20 0 28 0 510603656 29458776064 875760 33554432000 4194304 4196468 140736908836832 140686518476840 140688054566449 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
Current children cumulated CPU time: 352.08 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 3504492 KiB

[startup+47.2022 s]
/proc/loadavg: 8.14 8.34 8.28 9/219 3078
/proc/meminfo: memFree=22178160/32770624 swapFree=66966880/67108860
[pid=2966] ppid=2963 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/2966/stat : 2966 (xcsp3-exec) S 2963 2966 30433 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510603144 115843072 363 33554432000 4194304 5098028 140720560476624 140720560474728 140588034163324 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17035264 140720560481111 140720560481370 140720560481370 140720560484294 0
/proc/2966/statm: 28282 363 304 221 0 87 0
[pid=2968] ppid=2966 vsize=28768336 memory=3650496 CPUtime=355.26 cores=0-7
/proc/2968/stat : 2968 (java) S 2966 2966 30433 0 -1 1077944320 93372 0 0 0 35326 200 0 0 20 0 28 0 510603144 29458776064 912624 33554432000 4194304 4196468 140736908836832 140736908819376 140688409100023 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
/proc/2968/statm: 7192084 912624 3534 1 0 7153184 0
[pid=2968/tid=2969] ppid=2966 vsize=28768336 memory=63904 CPUtime=3.36 cores=0-7
/proc/2968/task/2969/stat : 2969 (java) S 2966 2966 30433 0 -1 1077944384 10401 0 0 0 326 10 0 0 20 0 28 0 510603144 29458776064 912624 33554432000 4194304 4196468 140736908836832 140688413340800 140688409110229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2970] ppid=2966 vsize=28768336 memory=988 CPUtime=0.21 cores=0-7
/proc/2968/task/2970/stat : 2970 (java) S 2966 2966 30433 0 -1 1077944384 437 0 0 0 13 8 0 0 20 0 28 0 510603145 29458776064 912624 33554432000 4194304 4196468 140736908836832 140687960038544 140688409110229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2971] ppid=2966 vsize=28768336 memory=2020 CPUtime=0.22 cores=0-7
/proc/2968/task/2971/stat : 2971 (java) S 2966 2966 30433 0 -1 1077944384 867 0 0 0 14 8 0 0 20 0 28 0 510603145 29458776064 912624 33554432000 4194304 4196468 140736908836832 140687958985744 140688409110229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2972] ppid=2966 vsize=28768336 memory=3296 CPUtime=0.23 cores=0-7
/proc/2968/task/2972/stat : 2972 (java) S 2966 2966 30433 0 -1 1077944384 1129 0 0 0 14 9 0 0 20 0 28 0 510603145 29458776064 912624 33554432000 4194304 4196468 140736908836832 140687957932944 140688409110229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2973] ppid=2966 vsize=28768336 memory=1452 CPUtime=0.22 cores=0-7
/proc/2968/task/2973/stat : 2973 (java) S 2966 2966 30433 0 -1 1077944384 406 0 0 0 14 8 0 0 20 0 28 0 510603145 29458776064 912624 33554432000 4194304 4196468 140736908836832 140687956880144 140688409110229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2974] ppid=2966 vsize=28768336 memory=3453888 CPUtime=0.22 cores=0-7
/proc/2968/task/2974/stat : 2974 (java) S 2966 2966 30433 0 -1 1077944384 1074 0 0 0 14 8 0 0 20 0 28 0 510603145 29458776064 912624 33554432000 4194304 4196468 140736908836832 140687955827344 140688409110229 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2975] ppid=2966 vsize=28768336 memory=1660 CPUtime=0.24 cores=0-7
/proc/2968/task/2975/stat : 2975 (java) S 2966 2966 30433 0 -1 1077944384 593 0 0 0 15 9 0 0 20 0 28 0 510603145 29458776064 912624 33554432000 4194304 4196468 140736908836832 140687954774544 140688409110229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2976] ppid=2966 vsize=28768336 memory=1808 CPUtime=0.22 cores=0-7
/proc/2968/task/2976/stat : 2976 (java) S 2966 2966 30433 0 -1 1077944384 736 0 0 0 15 7 0 0 20 0 28 0 510603145 29458776064 912624 33554432000 4194304 4196468 140736908836832 140687953721744 140688409110229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2977] ppid=2966 vsize=28768336 memory=920 CPUtime=0.22 cores=0-7
/proc/2968/task/2977/stat : 2977 (java) S 2966 2966 30433 0 -1 1077944384 533 0 0 0 14 8 0 0 20 0 28 0 510603145 29458776064 912624 33554432000 4194304 4196468 140736908836832 140687952668944 140688409110229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2978] ppid=2966 vsize=28768336 memory=4472 CPUtime=0.03 cores=0-7
/proc/2968/task/2978/stat : 2978 (java) S 2966 2966 30433 0 -1 1077944384 3730 0 0 0 3 0 0 0 20 0 28 0 510603147 29458776064 912624 33554432000 4194304 4196468 140736908836832 140686536932208 140688409111170 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2979] ppid=2966 vsize=28768336 memory=3457984 CPUtime=0 cores=0-7
/proc/2968/task/2979/stat : 2979 (java) S 2966 2966 30433 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 28 0 510603147 29458776064 912624 33554432000 4194304 4196468 140736908836832 140686535878240 140688409110229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2980] ppid=2966 vsize=28768336 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/2968/task/2980/stat : 2980 (java) S 2966 2966 30433 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 28 0 510603147 29458776064 912624 33554432000 4194304 4196468 140736908836832 140686534825344 140688409110229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2981] ppid=2966 vsize=28768336 memory=864 CPUtime=0 cores=0-7
/proc/2968/task/2981/stat : 2981 (java) S 2966 2966 30433 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 510603150 29458776064 912624 33554432000 4194304 4196468 140736908836832 140686533773648 140688409118619 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2982] ppid=2966 vsize=28768336 memory=1976 CPUtime=3.98 cores=0-7
/proc/2968/task/2982/stat : 2982 (java) S 2966 2966 30433 0 -1 1077944384 12740 0 0 0 394 4 0 0 20 0 28 0 510603150 29458776064 912624 33554432000 4194304 4196468 140736908836832 140686532721008 140688409111170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2983] ppid=2966 vsize=28768336 memory=2496 CPUtime=3.91 cores=0-7
/proc/2968/task/2983/stat : 2983 (java) S 2966 2966 30433 0 -1 1077944384 9123 0 0 0 389 2 0 0 20 0 28 0 510603150 29458776064 912624 33554432000 4194304 4196468 140736908836832 140686531668208 140688409111170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2984] ppid=2966 vsize=28768336 memory=1760 CPUtime=3.53 cores=0-7
/proc/2968/task/2984/stat : 2984 (java) S 2966 2966 30433 0 -1 1077944384 11795 0 0 0 350 3 0 0 20 0 28 0 510603150 29458776064 912624 33554432000 4194304 4196468 140736908836832 140686530615408 140688409111170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2985] ppid=2966 vsize=28768336 memory=111636 CPUtime=0.93 cores=0-7
/proc/2968/task/2985/stat : 2985 (java) S 2966 2966 30433 0 -1 1077944384 7744 0 0 0 91 2 0 0 20 0 28 0 510603150 29458776064 912624 33554432000 4194304 4196468 140736908836832 140686529562608 140688409111170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2986] ppid=2966 vsize=28768336 memory=804 CPUtime=0 cores=0-7
/proc/2968/task/2986/stat : 2986 (java) S 2966 2966 30433 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 510603150 29458776064 912624 33554432000 4194304 4196468 140736908836832 140686528511072 140688409110229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=2987] ppid=2966 vsize=28768336 memory=1412 CPUtime=0.02 cores=0-7
/proc/2968/task/2987/stat : 2987 (java) S 2966 2966 30433 0 -1 1077944384 1246 0 0 0 0 2 0 0 20 0 28 0 510603150 29458776064 912624 33554432000 4194304 4196468 140736908836832 140686527458352 140688409111170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=3068] ppid=2966 vsize=28768336 memory=3260 CPUtime=41.43 cores=0-7
/proc/2968/task/3068/stat : 3068 (java) R 2966 2966 30433 0 -1 4202560 7796 0 0 0 4115 28 0 0 20 0 28 0 510603656 29458776064 912624 33554432000 4194304 4196468 140736908836832 140686516370024 140688054812819 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=3069] ppid=2966 vsize=28768336 memory=1708 CPUtime=41.6 cores=0-7
/proc/2968/task/3069/stat : 3069 (java) R 2966 2966 30433 0 -1 4202560 651 0 0 0 4160 0 0 0 20 0 28 0 510603656 29458776064 912624 33554432000 4194304 4196468 140736908836832 140686514266232 140688054812806 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=3070] ppid=2966 vsize=28768336 memory=1196 CPUtime=41.37 cores=0-7
/proc/2968/task/3070/stat : 3070 (java) R 2966 2966 30433 0 -1 4202560 4593 0 0 0 4115 22 0 0 20 0 28 0 510603656 29458776064 912624 33554432000 4194304 4196468 140736908836832 140686517423232 140688055601173 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=3071] ppid=2966 vsize=28768336 memory=1044 CPUtime=41.58 cores=0-7
/proc/2968/task/3071/stat : 3071 (java) R 2966 2966 30433 0 -1 4202560 2746 0 0 0 4147 11 0 0 20 0 28 0 510603656 29458776064 912624 33554432000 4194304 4196468 140736908836832 140686513212816 140688055223232 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=3072] ppid=2966 vsize=28768336 memory=712 CPUtime=41.62 cores=0-7
/proc/2968/task/3072/stat : 3072 (java) R 2966 2966 30433 0 -1 4202560 825 0 0 0 4162 0 0 0 20 0 28 0 510603656 29458776064 912624 33554432000 4194304 4196468 140736908836832 140686511107856 140688051509105 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=3073] ppid=2966 vsize=28768336 memory=2832 CPUtime=41.64 cores=0-7
/proc/2968/task/3073/stat : 3073 (java) R 2966 2966 30433 0 -1 4202560 810 0 0 0 4163 1 0 0 20 0 28 0 510603656 29458776064 912624 33554432000 4194304 4196468 140736908836832 140686515318080 140688054566506 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=3074] ppid=2966 vsize=28768336 memory=8136 CPUtime=41.23 cores=0-7
/proc/2968/task/3074/stat : 3074 (java) R 2966 2966 30433 0 -1 4202560 8773 0 0 0 4087 36 0 0 20 0 28 0 510603656 29458776064 912624 33554432000 4194304 4196468 140736908836832 140686512160224 140688053530426 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
[pid=2968/tid=3075] ppid=2966 vsize=28768336 memory=10492 CPUtime=41.15 cores=0-7
/proc/2968/task/3075/stat : 3075 (java) R 2966 2966 30433 0 -1 4202560 1440 0 0 0 4114 1 0 0 20 0 28 0 510603656 29458776064 912624 33554432000 4194304 4196468 140736908836832 140686518476928 140688051507914 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6467584 140736908837852 140736908838027 140736908838027 140736908840911 0
Current children cumulated CPU time: 355.26 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 3651948 KiB

[startup+47.3015 s]
/proc/loadavg: 8.14 8.34 8.28 9/219 3078
/proc/meminfo: memFree=22178160/32770624 swapFree=66966880/67108860
[pid=2966] ppid=2963 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/2966/stat : 2966 (xcsp3-exec) S 2963 2966 30433 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 510603144 115843072 363 33554432000 4194304 5098028 140720560476624 140720560474728 140588034163324 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17035264 140720560481111 140720560481370 140720560481370 140720560484294 0
/proc/2966/statm: 28282 363 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1452 KiB

Child status: 0
Real time (s): 47.3121
CPU time (s): 355.494
CPU user time (s): 353.457
CPU system time (s): 2.03634
CPU usage (%): 751.38
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 3651948

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 353.457
system time used= 2.03634
maximum resident set size= 3674780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95291
page faults= 0
swaps= 0
block input operations= 0
block output operations= 208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7399
involuntary context switches= 4535


# summary of solver processes directly reported to runsolver:
#   pid: 2966
#   total CPU time (s): 355.494
#   total CPU user time (s): 353.457
#   total CPU system time (s): 2.03634

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.490761 second user time and 0.525276 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-2-fullins-5.xml
MD5SUM	7175cc64c8263572fa1d1d1459976d33
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	58.1955
Satisfiable
(Un)Satisfiability was proved
Number of variables	852
Number of constraints	12201
Number of domains	1
Minimum domain size	852
Maximum domain size	852
Distribution of domain sizes	[{"size":852,"count":852}]
Minimum variable degree	9
Maximum variable degree	216
Distribution of variable degrees	[{"degree":9,"count":4},{"degree":10,"count":10},{"degree":11,"count":10},{"degree":12,"count":24},{"degree":13,"count":14},{"degree":14,"count":28},{"degree":15,"count":20},{"degree":16,"count":40},{"degree":17,"count":26},{"degree":18,"count":52},{"degree":19,"count":24},{"degree":20,"count":52},{"degree":21,"count":10},{"degree":22,"count":20},{"degree":23,"count":24},{"degree":24,"count":48},{"degree":25,"count":18},{"degree":26,"count":36},{"degree":27,"count":20},{"degree":28,"count":40},{"degree":29,"count":16},{"degree":30,"count":32},{"degree":31,"count":32},{"degree":32,"count":64},{"degree":33,"count":4},{"degree":34,"count":8},{"degree":35,"count":4},{"degree":36,"count":8},{"degree":41,"count":4},{"degree":42,"count":8},{"degree":43,"count":8},{"degree":44,"count":16},{"degree":45,"count":8},{"degree":46,"count":16},{"degree":47,"count":16},{"degree":48,"count":32},{"degree":58,"count":4},{"degree":61,"count":4},{"degree":62,"count":8},{"degree":63,"count":8},{"degree":64,"count":16},{"degree":111,"count":4},{"degree":112,"count":8},{"degree":216,"count":4}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":12201}]
Number of extensional constraints	0
Number of intensional constraints	12201
Distribution of constraint types	[{"type":"intension","count":12201}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4407324

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
