2018 XCSP3 competition: parallel solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Choco-solver 4.0.7b par (e747e1e)	OPT	6	356.811	47.9022
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 (14365 MiB free)
  memory of node 1: 16384 MiB (13317 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4297382-1532702320/watcher-4297382-1532702320 -o /tmp/evaluation-result-4297382-1532702320/solver-4297382-1532702320 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node151-1532694684-20048 --watchdog 2580 HOME/xcsp3-exec -seed 1571822912 -dir HOME -tl 20160 -ml 22000 -p 8 HOME/instance-4297382-1532702320.xml 

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

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


[startup+0.104194 s]*
/proc/loadavg: 7.88 8.07 8.21 2/199 20998
/proc/meminfo: memFree=28331000/32770624 swapFree=67108860/67108860
[pid=20977] ppid=20974 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/20977/stat : 20977 (xcsp3-exec) S 20974 20977 20021 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 87795181 115843072 364 33554432000 4194304 5098028 140721860425312 140721860423416 139722509472380 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35172352 140721860428853 140721860429056 140721860429056 140721860431818 0
/proc/20977/statm: 28282 364 306 221 0 87 0
[pid=20979] ppid=20977 vsize=26104152 memory=27772 CPUtime=0.12 cores=0-7
/proc/20979/stat : 20979 (java) S 20977 20977 20021 0 -1 1077944320 5827 0 0 0 11 1 0 0 20 0 20 0 87795181 26730651648 6943 33554432000 4194304 4196468 140732118610512 140732118593056 139820048617207 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
/proc/20979/statm: 6526038 6943 3022 1 0 6488315 0
[pid=20979/tid=20980] ppid=20977 vsize=26104152 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/20979/task/20980/stat : 20980 (java) R 20977 20977 20021 0 -1 4202560 3827 0 0 0 8 0 0 0 20 0 20 0 87795181 26730651648 6943 33554432000 4194304 4196468 140732118610512 139820052849120 139819657277179 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20981] ppid=20977 vsize=26104152 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/20979/task/20981/stat : 20981 (java) S 20977 20977 20021 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87795182 26730651648 6943 33554432000 4194304 4196468 140732118610512 139820001237776 139820048627413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20982] ppid=20977 vsize=26104152 memory=140509988181632 CPUtime=0 cores=0-7
/proc/20979/task/20982/stat : 20982 (java) S 20977 20977 20021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87795182 26730651648 6943 33554432000 4194304 4196468 140732118610512 139820000185232 139820048627413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20983] ppid=20977 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20979/task/20983/stat : 20983 (java) S 20977 20977 20021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87795182 26730651648 6943 33554432000 4194304 4196468 140732118610512 139819999132688 139820048627413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20984] ppid=20977 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20979/task/20984/stat : 20984 (java) S 20977 20977 20021 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87795182 26730651648 6943 33554432000 4194304 4196468 140732118610512 139819998080144 139820048627413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20985] ppid=20977 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20979/task/20985/stat : 20985 (java) S 20977 20977 20021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87795182 26730651648 6943 33554432000 4194304 4196468 140732118610512 139819997026576 139820048627413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20986] ppid=20977 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/20979/task/20986/stat : 20986 (java) S 20977 20977 20021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87795182 26730651648 6943 33554432000 4194304 4196468 140732118610512 139819995974032 139820048627413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20987] ppid=20977 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20979/task/20987/stat : 20987 (java) S 20977 20977 20021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87795182 26730651648 6943 33554432000 4194304 4196468 140732118610512 139819994921488 139820048627413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20988] ppid=20977 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20979/task/20988/stat : 20988 (java) S 20977 20977 20021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87795182 26730651648 6943 33554432000 4194304 4196468 140732118610512 139819993868944 139820048627413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20989] ppid=20977 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20979/task/20989/stat : 20989 (java) S 20977 20977 20021 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87795183 26730651648 6943 33554432000 4194304 4196468 140732118610512 139818320857584 139820048628354 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20990] ppid=20977 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20979/task/20990/stat : 20990 (java) S 20977 20977 20021 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 87795184 26730651648 6943 33554432000 4194304 4196468 140732118610512 139818319803808 139820048627413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20991] ppid=20977 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20979/task/20991/stat : 20991 (java) S 20977 20977 20021 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 87795184 26730651648 6943 33554432000 4194304 4196468 140732118610512 139818318751216 139820048627413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20992] ppid=20977 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20979/task/20992/stat : 20992 (java) S 20977 20977 20021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87795186 26730651648 6943 33554432000 4194304 4196468 140732118610512 139818317699792 139820048635803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20993] ppid=20977 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20979/task/20993/stat : 20993 (java) S 20977 20977 20021 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 20 0 87795186 26730651648 6943 33554432000 4194304 4196468 140732118610512 139818316646384 139820048628354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20994] ppid=20977 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20979/task/20994/stat : 20994 (java) S 20977 20977 20021 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87795187 26730651648 6943 33554432000 4194304 4196468 140732118610512 139818315593840 139820048628354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20995] ppid=20977 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20979/task/20995/stat : 20995 (java) S 20977 20977 20021 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 87795187 26730651648 6943 33554432000 4194304 4196468 140732118610512 139818314541296 139820048628354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20996] ppid=20977 vsize=26104152 memory=0 CPUtime=0.01 cores=0-7
/proc/20979/task/20996/stat : 20996 (java) R 20977 20977 20021 0 -1 4202560 330 0 0 0 1 0 0 0 20 0 20 0 87795187 26730651648 7009 33554432000 4194304 4196468 140732118610512 139818313488752 139820027558821 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20997] ppid=20977 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20979/task/20997/stat : 20997 (java) S 20977 20977 20021 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87795187 26730651648 7009 33554432000 4194304 4196468 140732118610512 139818312436448 139820048627413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20998] ppid=20977 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/20979/task/20998/stat : 20998 (java) S 20977 20977 20021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87795187 26730651648 7009 33554432000 4194304 4196468 140732118610512 139818311383984 139820048628354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 29228 KiB

[startup+0.21048 s]*
/proc/loadavg: 7.88 8.07 8.21 3/199 20998
/proc/meminfo: memFree=28319696/32770624 swapFree=67108860/67108860
[pid=20977] ppid=20974 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/20977/stat : 20977 (xcsp3-exec) S 20974 20977 20021 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 87795181 115843072 364 33554432000 4194304 5098028 140721860425312 140721860423416 139722509472380 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35172352 140721860428853 140721860429056 140721860429056 140721860431818 0
/proc/20977/statm: 28282 364 306 221 0 87 0
[pid=20979] ppid=20977 vsize=26104152 memory=39612 CPUtime=0.32 cores=0-7
/proc/20979/stat : 20979 (java) S 20977 20977 20021 0 -1 1077944320 8513 0 0 0 30 2 0 0 20 0 20 0 87795181 26730651648 9903 33554432000 4194304 4196468 140732118610512 140732118593056 139820048617207 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
/proc/20979/statm: 6526038 9903 3176 1 0 6488315 0
[pid=20979/tid=20980] ppid=20977 vsize=26104152 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/20979/task/20980/stat : 20980 (java) R 20977 20977 20021 0 -1 4202560 5604 0 0 0 18 1 0 0 20 0 20 0 87795181 26730651648 9903 33554432000 4194304 4196468 140732118610512 139820052853968 139820032660837 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20981] ppid=20977 vsize=26104152 memory=339 CPUtime=0 cores=0-7
/proc/20979/task/20981/stat : 20981 (java) S 20977 20977 20021 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87795182 26730651648 9903 33554432000 4194304 4196468 140732118610512 139820001237776 139820048627413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20982] ppid=20977 vsize=26104152 memory=140509988683985 CPUtime=0 cores=0-7
/proc/20979/task/20982/stat : 20982 (java) S 20977 20977 20021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87795182 26730651648 9903 33554432000 4194304 4196468 140732118610512 139820000185232 139820048627413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20983] ppid=20977 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/20979/task/20983/stat : 20983 (java) S 20977 20977 20021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87795182 26730651648 9903 33554432000 4194304 4196468 140732118610512 139819999132688 139820048627413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20984] ppid=20977 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20979/task/20984/stat : 20984 (java) S 20977 20977 20021 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87795182 26730651648 9903 33554432000 4194304 4196468 140732118610512 139819998080144 139820048627413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20985] ppid=20977 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20979/task/20985/stat : 20985 (java) S 20977 20977 20021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87795182 26730651648 9903 33554432000 4194304 4196468 140732118610512 139819997026576 139820048627413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20986] ppid=20977 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/20979/task/20986/stat : 20986 (java) S 20977 20977 20021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87795182 26730651648 9903 33554432000 4194304 4196468 140732118610512 139819995974032 139820048627413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20987] ppid=20977 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20979/task/20987/stat : 20987 (java) S 20977 20977 20021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87795182 26730651648 9903 33554432000 4194304 4196468 140732118610512 139819994921488 139820048627413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20988] ppid=20977 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20979/task/20988/stat : 20988 (java) S 20977 20977 20021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87795182 26730651648 9903 33554432000 4194304 4196468 140732118610512 139819993868944 139820048627413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20989] ppid=20977 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20979/task/20989/stat : 20989 (java) S 20977 20977 20021 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 87795183 26730651648 9903 33554432000 4194304 4196468 140732118610512 139818320857584 139820048628354 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20990] ppid=20977 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20979/task/20990/stat : 20990 (java) S 20977 20977 20021 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 87795184 26730651648 9903 33554432000 4194304 4196468 140732118610512 139818319803808 139820048627413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20991] ppid=20977 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20979/task/20991/stat : 20991 (java) S 20977 20977 20021 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 87795184 26730651648 9903 33554432000 4194304 4196468 140732118610512 139818318751216 139820048627413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20992] ppid=20977 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20979/task/20992/stat : 20992 (java) S 20977 20977 20021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87795186 26730651648 9903 33554432000 4194304 4196468 140732118610512 139818317699792 139820048635803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20993] ppid=20977 vsize=26104152 memory=0 CPUtime=0.02 cores=0-7
/proc/20979/task/20993/stat : 20993 (java) S 20977 20977 20021 0 -1 1077944384 460 0 0 0 2 0 0 0 20 0 20 0 87795186 26730651648 9903 33554432000 4194304 4196468 140732118610512 139818316646384 139820048628354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20994] ppid=20977 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20979/task/20994/stat : 20994 (java) S 20977 20977 20021 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 87795187 26730651648 9903 33554432000 4194304 4196468 140732118610512 139818315593840 139820048628354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20995] ppid=20977 vsize=26104152 memory=-1 CPUtime=0.01 cores=0-7
/proc/20979/task/20995/stat : 20995 (java) S 20977 20977 20021 0 -1 1077944384 377 0 0 0 1 0 0 0 20 0 20 0 87795187 26730651648 9903 33554432000 4194304 4196468 140732118610512 139818314541296 139820048628354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20996] ppid=20977 vsize=26104152 memory=-1 CPUtime=0.07 cores=0-7
/proc/20979/task/20996/stat : 20996 (java) R 20977 20977 20021 0 -1 4202560 728 0 0 0 7 0 0 0 20 0 20 0 87795187 26730651648 9903 33554432000 4194304 4196468 140732118610512 139818313488752 139820048638554 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20997] ppid=20977 vsize=26104152 memory=0 CPUtime=0 cores=0-7
/proc/20979/task/20997/stat : 20997 (java) S 20977 20977 20021 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87795187 26730651648 9903 33554432000 4194304 4196468 140732118610512 139818312436448 139820048627413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20998] ppid=20977 vsize=26104152 memory=-1 CPUtime=0 cores=0-7
/proc/20979/task/20998/stat : 20998 (java) S 20977 20977 20021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87795187 26730651648 9903 33554432000 4194304 4196468 140732118610512 139818311383984 139820048628354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 26217280 KiB
Current children cumulated memory: 41068 KiB

[startup+0.310442 s]*
/proc/loadavg: 7.88 8.07 8.21 5/199 20998
/proc/meminfo: memFree=28313988/32770624 swapFree=67108860/67108860
[pid=20977] ppid=20974 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/20977/stat : 20977 (xcsp3-exec) S 20974 20977 20021 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 87795181 115843072 364 33554432000 4194304 5098028 140721860425312 140721860423416 139722509472380 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35172352 140721860428853 140721860429056 140721860429056 140721860431818 0
/proc/20977/statm: 28282 364 306 221 0 87 0
[pid=20979] ppid=20977 vsize=26108408 memory=46412 CPUtime=0.51 cores=0-7
/proc/20979/stat : 20979 (java) S 20977 20977 20021 0 -1 1077944320 9359 0 0 0 48 3 0 0 20 0 20 0 87795181 26735009792 11603 33554432000 4194304 4196468 140732118610512 140732118593056 139820048617207 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
/proc/20979/statm: 6527102 11603 3248 1 0 6488315 0
[pid=20979/tid=20980] ppid=20977 vsize=26108408 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/20979/task/20980/stat : 20980 (java) R 20977 20977 20021 0 -1 4202560 6292 0 0 0 27 2 0 0 20 0 20 0 87795181 26735009792 11603 33554432000 4194304 4196468 140732118610512 139820052848320 139820032697694 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20981] ppid=20977 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/20979/task/20981/stat : 20981 (java) S 20977 20977 20021 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87795182 26735009792 11603 33554432000 4194304 4196468 140732118610512 139820001237776 139820048627413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20982] ppid=20977 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/20979/task/20982/stat : 20982 (java) S 20977 20977 20021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87795182 26735009792 11603 33554432000 4194304 4196468 140732118610512 139820000185232 139820048627413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20983] ppid=20977 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/20979/task/20983/stat : 20983 (java) S 20977 20977 20021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87795182 26735009792 11603 33554432000 4194304 4196468 140732118610512 139819999132688 139820048627413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20984] ppid=20977 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/20979/task/20984/stat : 20984 (java) S 20977 20977 20021 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87795182 26735009792 11603 33554432000 4194304 4196468 140732118610512 139819998080144 139820048627413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20985] ppid=20977 vsize=26108408 memory=2244 CPUtime=0 cores=0-7
/proc/20979/task/20985/stat : 20985 (java) S 20977 20977 20021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87795182 26735009792 11603 33554432000 4194304 4196468 140732118610512 139819997026576 139820048627413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20986] ppid=20977 vsize=26108408 memory=140509855183791 CPUtime=0 cores=0-7
/proc/20979/task/20986/stat : 20986 (java) S 20977 20977 20021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87795182 26735009792 11603 33554432000 4194304 4196468 140732118610512 139819995974032 139820048627413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20987] ppid=20977 vsize=26108408 memory=140509855186096 CPUtime=0 cores=0-7
/proc/20979/task/20987/stat : 20987 (java) S 20977 20977 20021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87795182 26735009792 11603 33554432000 4194304 4196468 140732118610512 139819994921488 139820048627413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20988] ppid=20977 vsize=26108408 memory=140509855188400 CPUtime=0 cores=0-7
/proc/20979/task/20988/stat : 20988 (java) S 20977 20977 20021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87795182 26735009792 11603 33554432000 4194304 4196468 140732118610512 139819993868944 139820048627413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20989] ppid=20977 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/20979/task/20989/stat : 20989 (java) S 20977 20977 20021 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 87795183 26735009792 11603 33554432000 4194304 4196468 140732118610512 139818320857584 139820048628354 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20990] ppid=20977 vsize=26108408 memory=281019710383760 CPUtime=0 cores=0-7
/proc/20979/task/20990/stat : 20990 (java) S 20977 20977 20021 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 87795184 26735009792 11603 33554432000 4194304 4196468 140732118610512 139818319803808 139820048627413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20991] ppid=20977 vsize=26108408 memory=281019710390672 CPUtime=0 cores=0-7
/proc/20979/task/20991/stat : 20991 (java) S 20977 20977 20021 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 87795184 26735009792 11603 33554432000 4194304 4196468 140732118610512 139818318751216 139820048627413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20992] ppid=20977 vsize=26108408 memory=281019710331952 CPUtime=0 cores=0-7
/proc/20979/task/20992/stat : 20992 (java) S 20977 20977 20021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87795186 26735009792 11603 33554432000 4194304 4196468 140732118610512 139818317699792 139820048635803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20993] ppid=20977 vsize=26108408 memory=281019710404496 CPUtime=0.03 cores=0-7
/proc/20979/task/20993/stat : 20993 (java) R 20977 20977 20021 0 -1 4202560 534 0 0 0 3 0 0 0 20 0 20 0 87795186 26735009792 11603 33554432000 4194304 4196468 140732118610512 139818316646384 139820032003828 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20994] ppid=20977 vsize=26108408 memory=281019710411408 CPUtime=0.01 cores=0-7
/proc/20979/task/20994/stat : 20994 (java) S 20977 20977 20021 0 -1 1077944384 47 0 0 0 1 0 0 0 20 0 20 0 87795187 26735009792 11603 33554432000 4194304 4196468 140732118610512 139818315593840 139820048628354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20995] ppid=20977 vsize=26108408 memory=281019710409104 CPUtime=0.02 cores=0-7
/proc/20979/task/20995/stat : 20995 (java) S 20977 20977 20021 0 -1 1077944384 391 0 0 0 2 0 0 0 20 0 20 0 87795187 26735009792 11603 33554432000 4194304 4196468 140732118610512 139818314541296 139820048628354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20996] ppid=20977 vsize=26108408 memory=281019710425264 CPUtime=0.12 cores=0-7
/proc/20979/task/20996/stat : 20996 (java) S 20977 20977 20021 0 -1 1077944384 787 0 0 0 12 0 0 0 20 0 20 0 87795187 26735009792 11603 33554432000 4194304 4196468 140732118610512 139818313488752 139820048628354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20997] ppid=20977 vsize=26108408 memory=0 CPUtime=0 cores=0-7
/proc/20979/task/20997/stat : 20997 (java) S 20977 20977 20021 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 87795187 26735009792 11603 33554432000 4194304 4196468 140732118610512 139818312436448 139820048627413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20998] ppid=20977 vsize=26108408 memory=-1 CPUtime=0 cores=0-7
/proc/20979/task/20998/stat : 20998 (java) S 20977 20977 20021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87795187 26735009792 11603 33554432000 4194304 4196468 140732118610512 139818311383984 139820048628354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26221536 KiB
Current children cumulated memory: 47868 KiB

[startup+0.700992 s]
/proc/loadavg: 7.88 8.07 8.21 4/199 20998
/proc/meminfo: memFree=28289176/32770624 swapFree=67108860/67108860
[pid=20977] ppid=20974 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/20977/stat : 20977 (xcsp3-exec) S 20974 20977 20021 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 87795181 115843072 364 33554432000 4194304 5098028 140721860425312 140721860423416 139722509472380 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35172352 140721860428853 140721860429056 140721860429056 140721860431818 0
/proc/20977/statm: 28282 364 306 221 0 87 0
[pid=20979] ppid=20977 vsize=26110532 memory=120836 CPUtime=1.94 cores=0-7
/proc/20979/stat : 20979 (java) S 20977 20977 20021 0 -1 1077944320 13574 0 0 0 188 6 0 0 20 0 20 0 87795181 26737184768 30209 33554432000 4194304 4196468 140732118610512 140732118593056 139820048617207 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
/proc/20979/statm: 6527633 30209 3355 1 0 6488827 0
[pid=20979/tid=20980] ppid=20977 vsize=26110532 memory=281019710783152 CPUtime=0.67 cores=0-7
/proc/20979/task/20980/stat : 20980 (java) R 20977 20977 20021 0 -1 4202560 6802 0 0 0 64 3 0 0 20 0 20 0 87795181 26737184768 30209 33554432000 4194304 4196468 140732118610512 139820052850160 139820033875146 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20981] ppid=20977 vsize=26110532 memory=140509855392624 CPUtime=0 cores=0-7
/proc/20979/task/20981/stat : 20981 (java) S 20977 20977 20021 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 87795182 26737184768 30209 33554432000 4194304 4196468 140732118610512 139820001237776 139820048627413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20982] ppid=20977 vsize=26110532 memory=0 CPUtime=0 cores=0-7
/proc/20979/task/20982/stat : 20982 (java) S 20977 20977 20021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87795182 26737184768 30209 33554432000 4194304 4196468 140732118610512 139820000185232 139820048627413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20983] ppid=20977 vsize=26110532 memory=8496 CPUtime=0 cores=0-7
/proc/20979/task/20983/stat : 20983 (java) S 20977 20977 20021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 87795182 26737184768 30209 33554432000 4194304 4196468 140732118610512 139819999132688 139820048627413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0

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

[pid=20979/tid=21097] ppid=20977 vsize=26645092 memory=0 CPUtime=41.53 cores=0-7
/proc/20979/task/21097/stat : 21097 (java) R 20977 20977 20021 0 -1 4202560 6308 0 0 0 4127 26 0 0 20 0 28 0 87795724 27284574208 861091 33554432000 4194304 4196468 140732118610512 139818302601280 139819667171361 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=21098] ppid=20977 vsize=26645092 memory=0 CPUtime=41.31 cores=0-7
/proc/20979/task/21098/stat : 21098 (java) R 20977 20977 20021 0 -1 4202560 2142 0 0 0 4120 11 0 0 20 0 28 0 87795724 27284574208 861091 33554432000 4194304 4196468 140732118610512 139817854509528 139819666657687 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=21099] ppid=20977 vsize=26645092 memory=0 CPUtime=40.89 cores=0-7
/proc/20979/task/21099/stat : 21099 (java) R 20977 20977 20021 0 -1 4202560 1249 0 0 0 4086 3 0 0 20 0 28 0 87795724 27284574208 861091 33554432000 4194304 4196468 140732118610512 139818299441240 139819666632272 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=21100] ppid=20977 vsize=26645092 memory=0 CPUtime=41.57 cores=0-7
/proc/20979/task/21100/stat : 21100 (java) R 20977 20977 20021 0 -1 4202560 241 0 0 0 4157 0 0 0 20 0 28 0 87795724 27284574208 861091 33554432000 4194304 4196468 140732118610512 139817853456568 139819666707270 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=21101] ppid=20977 vsize=26645092 memory=0 CPUtime=41.21 cores=0-7
/proc/20979/task/21101/stat : 21101 (java) R 20977 20977 20021 0 -1 4202560 5765 0 0 0 4089 32 0 0 20 0 28 0 87795724 27284574208 861091 33554432000 4194304 4196468 140732118610512 139818300494072 139819660727471 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=21102] ppid=20977 vsize=26645092 memory=0 CPUtime=41.24 cores=0-7
/proc/20979/task/21102/stat : 21102 (java) R 20977 20977 20021 0 -1 4202560 624 0 0 0 4123 1 0 0 20 0 28 0 87795724 27284574208 861091 33554432000 4194304 4196468 140732118610512 139818301546688 139819666598412 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
Current children cumulated CPU time: 351.9 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 3445820 KiB

[startup+47.6012 s]
/proc/loadavg: 8.03 8.09 8.21 9/207 21102
/proc/meminfo: memFree=24911640/32770624 swapFree=67108860/67108860
[pid=20977] ppid=20974 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/20977/stat : 20977 (xcsp3-exec) S 20974 20977 20021 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 87795181 115843072 364 33554432000 4194304 5098028 140721860425312 140721860423416 139722509472380 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35172352 140721860428853 140721860429056 140721860429056 140721860431818 0
/proc/20977/statm: 28282 364 306 221 0 87 0
[pid=20979] ppid=20977 vsize=26645092 memory=3444364 CPUtime=355.09 cores=0-7
/proc/20979/stat : 20979 (java) S 20977 20977 20021 0 -1 1077944320 76542 0 0 0 35337 172 0 0 20 0 28 0 87795181 27284574208 861091 33554432000 4194304 4196468 140732118610512 140732118593056 139820048617207 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
/proc/20979/statm: 6661273 861091 3437 1 0 6622467 0
[pid=20979/tid=20980] ppid=20977 vsize=26645092 memory=960 CPUtime=3.29 cores=0-7
/proc/20979/task/20980/stat : 20980 (java) S 20977 20977 20021 0 -1 1077944384 9980 0 0 0 319 10 0 0 20 0 28 0 87795181 27284574208 861091 33554432000 4194304 4196468 140732118610512 139820052857984 139820048627413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20981] ppid=20977 vsize=26645092 memory=2340 CPUtime=0.24 cores=0-7
/proc/20979/task/20981/stat : 20981 (java) S 20977 20977 20021 0 -1 1077944384 1071 0 0 0 15 9 0 0 20 0 28 0 87795182 27284574208 861091 33554432000 4194304 4196468 140732118610512 139820001237776 139820048627413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20982] ppid=20977 vsize=26645092 memory=928 CPUtime=0.23 cores=0-7
/proc/20979/task/20982/stat : 20982 (java) S 20977 20977 20021 0 -1 1077944384 851 0 0 0 14 9 0 0 20 0 28 0 87795182 27284574208 861091 33554432000 4194304 4196468 140732118610512 139820000185232 139820048627413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20983] ppid=20977 vsize=26645092 memory=1572 CPUtime=0.22 cores=0-7
/proc/20979/task/20983/stat : 20983 (java) S 20977 20977 20021 0 -1 1077944384 390 0 0 0 14 8 0 0 20 0 28 0 87795182 27284574208 861091 33554432000 4194304 4196468 140732118610512 139819999132688 139820048627413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20984] ppid=20977 vsize=26645092 memory=5788 CPUtime=0.21 cores=0-7
/proc/20979/task/20984/stat : 20984 (java) S 20977 20977 20021 0 -1 1077944384 262 0 0 0 13 8 0 0 20 0 28 0 87795182 27284574208 861091 33554432000 4194304 4196468 140732118610512 139819998080144 139820048627413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20985] ppid=20977 vsize=26645092 memory=792 CPUtime=0.21 cores=0-7
/proc/20979/task/20985/stat : 20985 (java) S 20977 20977 20021 0 -1 1077944384 419 0 0 0 13 8 0 0 20 0 28 0 87795182 27284574208 861091 33554432000 4194304 4196468 140732118610512 139819997026576 139820048627413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20986] ppid=20977 vsize=26645092 memory=1228 CPUtime=0.24 cores=0-7
/proc/20979/task/20986/stat : 20986 (java) S 20977 20977 20021 0 -1 1077944384 384 0 0 0 16 8 0 0 20 0 28 0 87795182 27284574208 861091 33554432000 4194304 4196468 140732118610512 139819995974032 139820048627413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20987] ppid=20977 vsize=26645092 memory=1944 CPUtime=0.23 cores=0-7
/proc/20979/task/20987/stat : 20987 (java) S 20977 20977 20021 0 -1 1077944384 538 0 0 0 14 9 0 0 20 0 28 0 87795182 27284574208 861091 33554432000 4194304 4196468 140732118610512 139819994921488 139820048627413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20988] ppid=20977 vsize=26645092 memory=1416 CPUtime=0.23 cores=0-7
/proc/20979/task/20988/stat : 20988 (java) S 20977 20977 20021 0 -1 1077944384 940 0 0 0 14 9 0 0 20 0 28 0 87795182 27284574208 861091 33554432000 4194304 4196468 140732118610512 139819993868944 139820048627413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20989] ppid=20977 vsize=26645092 memory=4612 CPUtime=0.02 cores=0-7
/proc/20979/task/20989/stat : 20989 (java) S 20977 20977 20021 0 -1 1077944384 3170 0 0 0 2 0 0 0 20 0 28 0 87795183 27284574208 861091 33554432000 4194304 4196468 140732118610512 139818320857584 139820048628354 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20990] ppid=20977 vsize=26645092 memory=8496 CPUtime=0 cores=0-7
/proc/20979/task/20990/stat : 20990 (java) S 20977 20977 20021 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 87795184 27284574208 861091 33554432000 4194304 4196468 140732118610512 139818319803872 139820048627413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20991] ppid=20977 vsize=26645092 memory=1624 CPUtime=0 cores=0-7
/proc/20979/task/20991/stat : 20991 (java) S 20977 20977 20021 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 87795184 27284574208 861091 33554432000 4194304 4196468 140732118610512 139818318751232 139820048627413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20992] ppid=20977 vsize=26645092 memory=1236 CPUtime=0 cores=0-7
/proc/20979/task/20992/stat : 20992 (java) S 20977 20977 20021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 87795186 27284574208 861091 33554432000 4194304 4196468 140732118610512 139818317699792 139820048635803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20993] ppid=20977 vsize=26645092 memory=960 CPUtime=2.92 cores=0-7
/proc/20979/task/20993/stat : 20993 (java) S 20977 20977 20021 0 -1 1077944384 9003 0 0 0 290 2 0 0 20 0 28 0 87795186 27284574208 861091 33554432000 4194304 4196468 140732118610512 139818316646384 139820048628354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20994] ppid=20977 vsize=26645092 memory=2340 CPUtime=3 cores=0-7
/proc/20979/task/20994/stat : 20994 (java) S 20977 20977 20021 0 -1 1077944384 11445 0 0 0 297 3 0 0 20 0 28 0 87795187 27284574208 861091 33554432000 4194304 4196468 140732118610512 139818315593840 139820048628354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20995] ppid=20977 vsize=26645092 memory=928 CPUtime=2.98 cores=0-7
/proc/20979/task/20995/stat : 20995 (java) S 20977 20977 20021 0 -1 1077944384 8731 0 0 0 297 1 0 0 20 0 28 0 87795187 27284574208 861091 33554432000 4194304 4196468 140732118610512 139818314541296 139820048628354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20996] ppid=20977 vsize=26645092 memory=1572 CPUtime=0.91 cores=0-7
/proc/20979/task/20996/stat : 20996 (java) S 20977 20977 20021 0 -1 1077944384 8188 0 0 0 90 1 0 0 20 0 28 0 87795187 27284574208 861091 33554432000 4194304 4196468 140732118610512 139818313488752 139820048628354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20997] ppid=20977 vsize=26645092 memory=2244 CPUtime=0 cores=0-7
/proc/20979/task/20997/stat : 20997 (java) S 20977 20977 20021 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 87795187 27284574208 861091 33554432000 4194304 4196468 140732118610512 139818312436448 139820048627413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20998] ppid=20977 vsize=26645092 memory=4124 CPUtime=0.01 cores=0-7
/proc/20979/task/20998/stat : 20998 (java) S 20977 20977 20021 0 -1 1077944384 509 0 0 0 0 1 0 0 20 0 28 0 87795187 27284574208 861091 33554432000 4194304 4196468 140732118610512 139818311383984 139820048628354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 30 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=21095] ppid=20977 vsize=26645092 memory=2200 CPUtime=41.89 cores=0-7
/proc/20979/task/21095/stat : 21095 (java) R 20977 20977 20021 0 -1 4202560 406 0 0 0 4189 0 0 0 20 0 28 0 87795724 27284574208 861091 33554432000 4194304 4196468 140732118610512 139817856616264 139819666944589 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=21096] ppid=20977 vsize=26645092 memory=8148 CPUtime=41.99 cores=0-7
/proc/20979/task/21096/stat : 21096 (java) R 20977 20977 20021 0 -1 4202560 416 0 0 0 4199 0 0 0 20 0 28 0 87795724 27284574208 861091 33554432000 4194304 4196468 140732118610512 139817855562424 139819659622851 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=21097] ppid=20977 vsize=26645092 memory=844 CPUtime=41.93 cores=0-7
/proc/20979/task/21097/stat : 21097 (java) R 20977 20977 20021 0 -1 4202560 6308 0 0 0 4167 26 0 0 20 0 28 0 87795724 27284574208 861091 33554432000 4194304 4196468 140732118610512 139818302601280 139819660235549 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=21098] ppid=20977 vsize=26645092 memory=1796 CPUtime=41.71 cores=0-7
/proc/20979/task/21098/stat : 21098 (java) R 20977 20977 20021 0 -1 4202560 2142 0 0 0 4160 11 0 0 20 0 28 0 87795724 27284574208 861091 33554432000 4194304 4196468 140732118610512 139817854509528 139819665464880 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=21099] ppid=20977 vsize=26645092 memory=916 CPUtime=41.28 cores=0-7
/proc/20979/task/21099/stat : 21099 (java) R 20977 20977 20021 0 -1 4202560 1249 0 0 0 4125 3 0 0 20 0 28 0 87795724 27284574208 861091 33554432000 4194304 4196468 140732118610512 139818299441240 139819665511532 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=21100] ppid=20977 vsize=26645092 memory=4484 CPUtime=41.97 cores=0-7
/proc/20979/task/21100/stat : 21100 (java) R 20977 20977 20021 0 -1 4202560 241 0 0 0 4197 0 0 0 20 0 28 0 87795724 27284574208 861091 33554432000 4194304 4196468 140732118610512 139817853456568 139819667171361 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=21101] ppid=20977 vsize=26645092 memory=4112 CPUtime=41.61 cores=0-7
/proc/20979/task/21101/stat : 21101 (java) R 20977 20977 20021 0 -1 4202560 5765 0 0 0 4129 32 0 0 20 0 28 0 87795724 27284574208 861091 33554432000 4194304 4196468 140732118610512 139818300494072 139819666598531 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=21102] ppid=20977 vsize=26645092 memory=56 CPUtime=41.64 cores=0-7
/proc/20979/task/21102/stat : 21102 (java) R 20977 20977 20021 0 -1 4202560 624 0 0 0 4163 1 0 0 20 0 28 0 87795724 27284574208 861091 33554432000 4194304 4196468 140732118610512 139818301546688 139819665724130 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
Current children cumulated CPU time: 355.09 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 3445820 KiB

[startup+47.8011 s]
/proc/loadavg: 8.03 8.09 8.21 9/207 21102
/proc/meminfo: memFree=24911640/32770624 swapFree=67108860/67108860
[pid=20977] ppid=20974 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/20977/stat : 20977 (xcsp3-exec) S 20974 20977 20021 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 87795181 115843072 364 33554432000 4194304 5098028 140721860425312 140721860423416 139722509472380 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35172352 140721860428853 140721860429056 140721860429056 140721860431818 0
/proc/20977/statm: 28282 364 306 221 0 87 0
[pid=20979] ppid=20977 vsize=26645092 memory=3444364 CPUtime=356.69 cores=0-7
/proc/20979/stat : 20979 (java) S 20977 20977 20021 0 -1 1077944320 76602 0 0 0 35497 172 0 0 20 0 28 0 87795181 27284574208 861091 33554432000 4194304 4196468 140732118610512 140732118593056 139820048617207 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
/proc/20979/statm: 6661273 861091 3437 1 0 6622467 0
[pid=20979/tid=20980] ppid=20977 vsize=26645092 memory=1456 CPUtime=3.29 cores=0-7
/proc/20979/task/20980/stat : 20980 (java) S 20977 20977 20021 0 -1 1077944384 9980 0 0 0 319 10 0 0 20 0 28 0 87795181 27284574208 861091 33554432000 4194304 4196468 140732118610512 139820052857984 139820048627413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20981] ppid=20977 vsize=26645092 memory=3444364 CPUtime=0.24 cores=0-7
/proc/20979/task/20981/stat : 20981 (java) S 20977 20977 20021 0 -1 1077944384 1071 0 0 0 15 9 0 0 20 0 28 0 87795182 27284574208 861091 33554432000 4194304 4196468 140732118610512 139820001237776 139820048627413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20982] ppid=20977 vsize=26645092 memory=6791534058613427641 CPUtime=0.23 cores=0-7
/proc/20979/task/20982/stat : 20982 (java) S 20977 20977 20021 0 -1 1077944384 851 0 0 0 14 9 0 0 20 0 28 0 87795182 27284574208 861091 33554432000 4194304 4196468 140732118610512 139820000185232 139820048627413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20983] ppid=20977 vsize=26645092 memory=4872558044660077418 CPUtime=0.22 cores=0-7
/proc/20979/task/20983/stat : 20983 (java) S 20977 20977 20021 0 -1 1077944384 390 0 0 0 14 8 0 0 20 0 28 0 87795182 27284574208 861091 33554432000 4194304 4196468 140732118610512 139819999132688 139820048627413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20984] ppid=20977 vsize=26645092 memory=15252670952770799 CPUtime=0.21 cores=0-7
/proc/20979/task/20984/stat : 20984 (java) S 20977 20977 20021 0 -1 1077944384 262 0 0 0 13 8 0 0 20 0 28 0 87795182 27284574208 861091 33554432000 4194304 4196468 140732118610512 139819998080144 139820048627413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20985] ppid=20977 vsize=26645092 memory=1456 CPUtime=0.21 cores=0-7
/proc/20979/task/20985/stat : 20985 (java) S 20977 20977 20021 0 -1 1077944384 419 0 0 0 13 8 0 0 20 0 28 0 87795182 27284574208 861091 33554432000 4194304 4196468 140732118610512 139819997026576 139820048627413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20986] ppid=20977 vsize=26645092 memory=3436172 CPUtime=0.24 cores=0-7
/proc/20979/task/20986/stat : 20986 (java) S 20977 20977 20021 0 -1 1077944384 384 0 0 0 16 8 0 0 20 0 28 0 87795182 27284574208 861091 33554432000 4194304 4196468 140732118610512 139819995974032 139820048627413 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20987] ppid=20977 vsize=26645092 memory=1456 CPUtime=0.23 cores=0-7
/proc/20979/task/20987/stat : 20987 (java) S 20977 20977 20021 0 -1 1077944384 538 0 0 0 14 9 0 0 20 0 28 0 87795182 27284574208 861091 33554432000 4194304 4196468 140732118610512 139819994921488 139820048627413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20988] ppid=20977 vsize=26645092 memory=3436172 CPUtime=0.23 cores=0-7
/proc/20979/task/20988/stat : 20988 (java) S 20977 20977 20021 0 -1 1077944384 940 0 0 0 14 9 0 0 20 0 28 0 87795182 27284574208 861091 33554432000 4194304 4196468 140732118610512 139819993868944 139820048627413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20989] ppid=20977 vsize=26645092 memory=25568 CPUtime=0.02 cores=0-7
/proc/20979/task/20989/stat : 20989 (java) S 20977 20977 20021 0 -1 1077944384 3170 0 0 0 2 0 0 0 20 0 28 0 87795183 27284574208 861091 33554432000 4194304 4196468 140732118610512 139818320857584 139820048628354 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20990] ppid=20977 vsize=26645092 memory=1296 CPUtime=0 cores=0-7
/proc/20979/task/20990/stat : 20990 (java) S 20977 20977 20021 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 87795184 27284574208 861091 33554432000 4194304 4196468 140732118610512 139818319803872 139820048627413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20991] ppid=20977 vsize=26645092 memory=281019712178912 CPUtime=0 cores=0-7
/proc/20979/task/20991/stat : 20991 (java) S 20977 20977 20021 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 87795184 27284574208 861091 33554432000 4194304 4196468 140732118610512 139818318751232 139820048627413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20992] ppid=20977 vsize=26645092 memory=5866050009591540329 CPUtime=0 cores=0-7
/proc/20979/task/20992/stat : 20992 (java) S 20977 20977 20021 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 87795186 27284574208 861091 33554432000 4194304 4196468 140732118610512 139818317699792 139820048635803 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20993] ppid=20977 vsize=26645092 memory=7522532484960643409 CPUtime=2.92 cores=0-7
/proc/20979/task/20993/stat : 20993 (java) S 20977 20977 20021 0 -1 1077944384 9003 0 0 0 290 2 0 0 20 0 28 0 87795186 27284574208 861091 33554432000 4194304 4196468 140732118610512 139818316646384 139820048628354 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20994] ppid=20977 vsize=26645092 memory=1456 CPUtime=3 cores=0-7
/proc/20979/task/20994/stat : 20994 (java) S 20977 20977 20021 0 -1 1077944384 11445 0 0 0 297 3 0 0 20 0 28 0 87795187 27284574208 861091 33554432000 4194304 4196468 140732118610512 139818315593840 139820048628354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20995] ppid=20977 vsize=26645092 memory=140509855504881 CPUtime=2.98 cores=0-7
/proc/20979/task/20995/stat : 20995 (java) S 20977 20977 20021 0 -1 1077944384 8731 0 0 0 297 1 0 0 20 0 28 0 87795187 27284574208 861091 33554432000 4194304 4196468 140732118610512 139818314541296 139820048628354 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20996] ppid=20977 vsize=26645092 memory=1200 CPUtime=0.91 cores=0-7
/proc/20979/task/20996/stat : 20996 (java) S 20977 20977 20021 0 -1 1077944384 8188 0 0 0 90 1 0 0 20 0 28 0 87795187 27284574208 861091 33554432000 4194304 4196468 140732118610512 139818313488752 139820048628354 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20997] ppid=20977 vsize=26645092 memory=15872 CPUtime=0 cores=0-7
/proc/20979/task/20997/stat : 20997 (java) S 20977 20977 20021 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 87795187 27284574208 861091 33554432000 4194304 4196468 140732118610512 139818312436448 139820048627413 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=20998] ppid=20977 vsize=26645092 memory=15536 CPUtime=0.01 cores=0-7
/proc/20979/task/20998/stat : 20998 (java) S 20977 20977 20021 0 -1 1077944384 509 0 0 0 0 1 0 0 20 0 28 0 87795187 27284574208 861091 33554432000 4194304 4196468 140732118610512 139818311383984 139820048628354 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 30 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=21095] ppid=20977 vsize=26645092 memory=4052 CPUtime=42.09 cores=0-7
/proc/20979/task/21095/stat : 21095 (java) S 20977 20977 20021 0 -1 1077944384 412 0 0 0 4209 0 0 0 20 0 28 0 87795724 27284574208 861091 33554432000 4194304 4196468 140732118610512 139817856618496 139820048627413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=21096] ppid=20977 vsize=26645092 memory=18248 CPUtime=42.19 cores=0-7
/proc/20979/task/21096/stat : 21096 (java) S 20977 20977 20021 0 -1 1077944384 418 0 0 0 4219 0 0 0 20 0 28 0 87795724 27284574208 861091 33554432000 4194304 4196468 140732118610512 139817855567440 139820048627413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=21097] ppid=20977 vsize=26645092 memory=640 CPUtime=42.13 cores=0-7
/proc/20979/task/21097/stat : 21097 (java) R 20977 20977 20021 0 -1 4202560 6308 0 0 0 4187 26 0 0 20 0 28 0 87795724 27284574208 861091 33554432000 4194304 4196468 140732118610512 139818302601280 139819667171361 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=21098] ppid=20977 vsize=26645092 memory=1784 CPUtime=41.91 cores=0-7
/proc/20979/task/21098/stat : 21098 (java) S 20977 20977 20021 0 -1 1077944384 2165 0 0 0 4180 11 0 0 20 0 28 0 87795724 27284574208 861091 33554432000 4194304 4196468 140732118610512 139817854514000 139820048627413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=21099] ppid=20977 vsize=26645092 memory=1236 CPUtime=41.48 cores=0-7
/proc/20979/task/21099/stat : 21099 (java) S 20977 20977 20021 0 -1 1077944384 1251 0 0 0 4145 3 0 0 20 0 28 0 87795724 27284574208 861091 33554432000 4194304 4196468 140732118610512 139818299446224 139820048627413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=21100] ppid=20977 vsize=26645092 memory=960 CPUtime=42.17 cores=0-7
/proc/20979/task/21100/stat : 21100 (java) S 20977 20977 20021 0 -1 1077944384 265 0 0 0 4217 0 0 0 20 0 28 0 87795724 27284574208 861091 33554432000 4194304 4196468 140732118610512 139817853461584 139820048627413 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=21101] ppid=20977 vsize=26645092 memory=2340 CPUtime=41.81 cores=0-7
/proc/20979/task/21101/stat : 21101 (java) R 20977 20977 20021 0 -1 4202560 5765 0 0 0 4149 32 0 0 20 0 28 0 87795724 27284574208 861091 33554432000 4194304 4196468 140732118610512 139818300494072 139819666598767 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
[pid=20979/tid=21102] ppid=20977 vsize=26645092 memory=928 CPUtime=41.84 cores=0-7
/proc/20979/task/21102/stat : 21102 (java) S 20977 20977 20021 0 -1 1077944384 627 0 0 0 4183 1 0 0 20 0 28 0 87795724 27284574208 861091 33554432000 4194304 4196468 140732118610512 139818301551952 139820048627413 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17326080 140732118619265 140732118619437 140732118619437 140732118622159 0
Current children cumulated CPU time: 356.69 s
Current children cumulated vsize: 26758220 KiB
Current children cumulated memory: 3445820 KiB

[startup+47.9013 s]
/proc/loadavg: 8.03 8.09 8.21 9/207 21102
/proc/meminfo: memFree=24911640/32770624 swapFree=67108860/67108860
[pid=20977] ppid=20974 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/20977/stat : 20977 (xcsp3-exec) S 20974 20977 20021 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 87795181 115843072 364 33554432000 4194304 5098028 140721860425312 140721860423416 139722509472380 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 35172352 140721860428853 140721860429056 140721860429056 140721860431818 0
/proc/20977/statm: 28282 364 306 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): 47.9022
CPU time (s): 356.811
CPU user time (s): 355.069
CPU system time (s): 1.74247
CPU usage (%): 744.873
Max. virtual memory (cumulated for all children) (KiB): 26758220
Max. memory (cumulated for all children) (KiB): 3445820

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 355.069
system time used= 1.74246
maximum resident set size= 3444364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77734
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7048
involuntary context switches= 4246


# summary of solver processes directly reported to runsolver:
#   pid: 20977
#   total CPU time (s): 356.811
#   total CPU user time (s): 355.069
#   total CPU system time (s): 1.74247

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.496544 second user time and 0.516574 second system time

The end
Name	GraphColoring/ GraphColoring-2-fullins-5_c18.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	356.811
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 4297382

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
