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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-16 parallel	OPT	8	530.628	68.907
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 (13891 MiB free)
  memory of node 1: 16384 MiB (15413 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399768-1568701175/watcher-4399768-1568701175 -o /tmp/evaluation-result-4399768-1568701175/solver-4399768-1568701175 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1568701135-7188 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 216835699 HOME/instance-4399768-1568701175.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=7205, runsolver pid=7202


[startup+0.100143 s]*
/proc/loadavg: 3.85 3.90 5.23 2/211 7226
/proc/meminfo: memFree=29993640/32770624 swapFree=67027436/67108860
[pid=7205] ppid=7202 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/7205/stat : 7205 (xcsp3-exec) S 7202 7205 7161 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446390065 115843072 363 33554432000 4194304 5098028 140721157872864 140721157870968 140688671879804 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20267008 140721157878646 140721157878889 140721157878889 140721157881802 0
/proc/7205/statm: 28282 363 304 221 0 87 0
[pid=7207] ppid=7205 vsize=28227396 memory=27588 CPUtime=0.12 cores=0-7
/proc/7207/stat : 7207 (java) S 7205 7205 7161 0 -1 1077944320 5926 0 0 0 11 1 0 0 20 0 20 0 446390065 28904853504 6897 33554432000 4194304 4196468 140720542888656 140720542871200 140560283184887 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
/proc/7207/statm: 7056849 6897 3117 1 0 7019032 0
[pid=7207/tid=7208] ppid=7205 vsize=28227396 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/7207/task/7208/stat : 7208 (java) R 7205 7205 7161 0 -1 4202560 3799 0 0 0 8 0 0 0 20 0 20 0 446390066 28904853504 6897 33554432000 4194304 4196468 140720542888656 140560287417680 140560283196822 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7209] ppid=7205 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/7207/task/7209/stat : 7209 (java) S 7205 7205 7161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446390067 28904853504 6897 33554432000 4194304 4196468 140720542888656 140560255027472 140560283195093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7210] ppid=7205 vsize=28227396 memory=140233568999040 CPUtime=0 cores=0-7
/proc/7207/task/7210/stat : 7210 (java) S 7205 7205 7161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446390067 28904853504 6897 33554432000 4194304 4196468 140720542888656 140559833926032 140560283195093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7211] ppid=7205 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7207/task/7211/stat : 7211 (java) S 7205 7205 7161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446390067 28904853504 6897 33554432000 4194304 4196468 140720542888656 140559832873488 140560283195093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7212] ppid=7205 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7207/task/7212/stat : 7212 (java) S 7205 7205 7161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446390067 28904853504 6897 33554432000 4194304 4196468 140720542888656 140559831820944 140560283195093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7213] ppid=7205 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7207/task/7213/stat : 7213 (java) S 7205 7205 7161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446390067 28904853504 6897 33554432000 4194304 4196468 140720542888656 140559830768400 140560283195093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7214] ppid=7205 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/7207/task/7214/stat : 7214 (java) S 7205 7205 7161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446390067 28904853504 6897 33554432000 4194304 4196468 140720542888656 140559829715856 140560283195093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7215] ppid=7205 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7207/task/7215/stat : 7215 (java) S 7205 7205 7161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446390067 28904853504 6897 33554432000 4194304 4196468 140720542888656 140559828663312 140560283195093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7216] ppid=7205 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7207/task/7216/stat : 7216 (java) S 7205 7205 7161 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446390067 28904853504 6897 33554432000 4194304 4196468 140720542888656 140559827610768 140560283195093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7217] ppid=7205 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7207/task/7217/stat : 7217 (java) S 7205 7205 7161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446390068 28904853504 6897 33554432000 4194304 4196468 140720542888656 140559667816432 140560283196034 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7218] ppid=7205 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7207/task/7218/stat : 7218 (java) S 7205 7205 7161 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446390069 28904853504 6897 33554432000 4194304 4196468 140720542888656 140559666762656 140560283195093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7219] ppid=7205 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7207/task/7219/stat : 7219 (java) S 7205 7205 7161 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446390069 28904853504 6897 33554432000 4194304 4196468 140720542888656 140559665710064 140560283195093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7220] ppid=7205 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7207/task/7220/stat : 7220 (java) S 7205 7205 7161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446390071 28904853504 6897 33554432000 4194304 4196468 140720542888656 140559664658640 140560283203483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7221] ppid=7205 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7207/task/7221/stat : 7221 (java) S 7205 7205 7161 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 20 0 446390071 28904853504 6897 33554432000 4194304 4196468 140720542888656 140559663606256 140560283196034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7222] ppid=7205 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7207/task/7222/stat : 7222 (java) S 7205 7205 7161 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 20 0 446390071 28904853504 6897 33554432000 4194304 4196468 140720542888656 140559662553712 140560283196034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7223] ppid=7205 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7207/task/7223/stat : 7223 (java) S 7205 7205 7161 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446390071 28904853504 6897 33554432000 4194304 4196468 140720542888656 140559661501168 140560283196034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7224] ppid=7205 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/7207/task/7224/stat : 7224 (java) R 7205 7205 7161 0 -1 4202560 390 0 0 0 2 0 0 0 20 0 20 0 446390071 28904853504 6897 33554432000 4194304 4196468 140720542888656 140559660448624 140560283206234 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7225] ppid=7205 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7207/task/7225/stat : 7225 (java) S 7205 7205 7161 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446390071 28904853504 6897 33554432000 4194304 4196468 140720542888656 140559659395296 140560283195093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7226] ppid=7205 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/7207/task/7226/stat : 7226 (java) S 7205 7205 7161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446390072 28904853504 6897 33554432000 4194304 4196468 140720542888656 140559658342832 140560283196034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 29040 KiB

[startup+0.210265 s]*
/proc/loadavg: 3.85 3.90 5.23 2/211 7226
/proc/meminfo: memFree=29980564/32770624 swapFree=67027436/67108860
[pid=7205] ppid=7202 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/7205/stat : 7205 (xcsp3-exec) S 7202 7205 7161 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446390065 115843072 363 33554432000 4194304 5098028 140721157872864 140721157870968 140688671879804 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20267008 140721157878646 140721157878889 140721157878889 140721157881802 0
/proc/7205/statm: 28282 363 304 221 0 87 0
[pid=7207] ppid=7205 vsize=28227396 memory=39992 CPUtime=0.33 cores=0-7
/proc/7207/stat : 7207 (java) S 7205 7205 7161 0 -1 1077944320 9722 0 0 0 31 2 0 0 20 0 20 0 446390065 28904853504 9998 33554432000 4194304 4196468 140720542888656 140720542871200 140560283184887 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
/proc/7207/statm: 7056849 9998 3312 1 0 7019032 0
[pid=7207/tid=7208] ppid=7205 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/7207/task/7208/stat : 7208 (java) R 7205 7205 7161 0 -1 4202560 6734 0 0 0 18 1 0 0 20 0 20 0 446390066 28904853504 9998 33554432000 4194304 4196468 140720542888656 140560287414448 140560267265374 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7209] ppid=7205 vsize=28227396 memory=331 CPUtime=0 cores=0-7
/proc/7207/task/7209/stat : 7209 (java) S 7205 7205 7161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446390067 28904853504 9998 33554432000 4194304 4196468 140720542888656 140560255027472 140560283195093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7210] ppid=7205 vsize=28227396 memory=140233569006499 CPUtime=0 cores=0-7
/proc/7207/task/7210/stat : 7210 (java) S 7205 7205 7161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446390067 28904853504 9998 33554432000 4194304 4196468 140720542888656 140559833926032 140560283195093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7211] ppid=7205 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/7207/task/7211/stat : 7211 (java) S 7205 7205 7161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446390067 28904853504 9998 33554432000 4194304 4196468 140720542888656 140559832873488 140560283195093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7212] ppid=7205 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7207/task/7212/stat : 7212 (java) S 7205 7205 7161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446390067 28904853504 9998 33554432000 4194304 4196468 140720542888656 140559831820944 140560283195093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7213] ppid=7205 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7207/task/7213/stat : 7213 (java) S 7205 7205 7161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446390067 28904853504 9998 33554432000 4194304 4196468 140720542888656 140559830768400 140560283195093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7214] ppid=7205 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/7207/task/7214/stat : 7214 (java) S 7205 7205 7161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446390067 28904853504 9998 33554432000 4194304 4196468 140720542888656 140559829715856 140560283195093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7215] ppid=7205 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7207/task/7215/stat : 7215 (java) S 7205 7205 7161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446390067 28904853504 9998 33554432000 4194304 4196468 140720542888656 140559828663312 140560283195093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7216] ppid=7205 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7207/task/7216/stat : 7216 (java) S 7205 7205 7161 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446390067 28904853504 9998 33554432000 4194304 4196468 140720542888656 140559827610768 140560283195093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7217] ppid=7205 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7207/task/7217/stat : 7217 (java) S 7205 7205 7161 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 446390068 28904853504 9998 33554432000 4194304 4196468 140720542888656 140559667816432 140560283196034 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7218] ppid=7205 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7207/task/7218/stat : 7218 (java) S 7205 7205 7161 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446390069 28904853504 9998 33554432000 4194304 4196468 140720542888656 140559666762656 140560283195093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7219] ppid=7205 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7207/task/7219/stat : 7219 (java) S 7205 7205 7161 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446390069 28904853504 9998 33554432000 4194304 4196468 140720542888656 140559665710064 140560283195093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7220] ppid=7205 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7207/task/7220/stat : 7220 (java) S 7205 7205 7161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446390071 28904853504 9998 33554432000 4194304 4196468 140720542888656 140559664658640 140560283203483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7221] ppid=7205 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/7207/task/7221/stat : 7221 (java) S 7205 7205 7161 0 -1 1077944384 541 0 0 0 1 0 0 0 20 0 20 0 446390071 28904853504 9998 33554432000 4194304 4196468 140720542888656 140559663606256 140560283196034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7222] ppid=7205 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/7207/task/7222/stat : 7222 (java) S 7205 7205 7161 0 -1 1077944384 225 0 0 0 1 0 0 0 20 0 20 0 446390071 28904853504 9998 33554432000 4194304 4196468 140720542888656 140559662553712 140560283196034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7223] ppid=7205 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/7207/task/7223/stat : 7223 (java) S 7205 7205 7161 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 20 0 446390071 28904853504 9998 33554432000 4194304 4196468 140720542888656 140559661501168 140560283196034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7224] ppid=7205 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/7207/task/7224/stat : 7224 (java) S 7205 7205 7161 0 -1 1077944384 886 0 0 0 7 0 0 0 20 0 20 0 446390071 28904853504 9998 33554432000 4194304 4196468 140720542888656 140559660448624 140560283196034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7225] ppid=7205 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7207/task/7225/stat : 7225 (java) S 7205 7205 7161 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446390071 28904853504 9998 33554432000 4194304 4196468 140720542888656 140559659395296 140560283195093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7226] ppid=7205 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/7207/task/7226/stat : 7226 (java) S 7205 7205 7161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446390072 28904853504 9998 33554432000 4194304 4196468 140720542888656 140559658342832 140560283196034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 41444 KiB

[startup+0.309562 s]*
/proc/loadavg: 3.85 3.90 5.23 3/211 7226
/proc/meminfo: memFree=29974536/32770624 swapFree=67027436/67108860
[pid=7205] ppid=7202 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/7205/stat : 7205 (xcsp3-exec) S 7202 7205 7161 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446390065 115843072 363 33554432000 4194304 5098028 140721157872864 140721157870968 140688671879804 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20267008 140721157878646 140721157878889 140721157878889 140721157881802 0
/proc/7205/statm: 28282 363 304 221 0 87 0
[pid=7207] ppid=7205 vsize=28231652 memory=48896 CPUtime=0.52 cores=0-7
/proc/7207/stat : 7207 (java) S 7205 7205 7161 0 -1 1077944320 11143 0 0 0 49 3 0 0 20 0 20 0 446390065 28909211648 12224 33554432000 4194304 4196468 140720542888656 140720542871200 140560283184887 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
/proc/7207/statm: 7057913 12224 3348 1 0 7019032 0
[pid=7207/tid=7208] ppid=7205 vsize=28231652 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/7207/task/7208/stat : 7208 (java) R 7205 7205 7161 0 -1 4202560 7825 0 0 0 27 2 0 0 20 0 20 0 446390066 28909211648 12224 33554432000 4194304 4196468 140720542888656 140560287416000 140560283206813 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7209] ppid=7205 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/7207/task/7209/stat : 7209 (java) S 7205 7205 7161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446390067 28909211648 12224 33554432000 4194304 4196468 140720542888656 140560255027472 140560283195093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7210] ppid=7205 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/7207/task/7210/stat : 7210 (java) S 7205 7205 7161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446390067 28909211648 12224 33554432000 4194304 4196468 140720542888656 140559833926032 140560283195093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7211] ppid=7205 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/7207/task/7211/stat : 7211 (java) S 7205 7205 7161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446390067 28909211648 12224 33554432000 4194304 4196468 140720542888656 140559832873488 140560283195093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7212] ppid=7205 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/7207/task/7212/stat : 7212 (java) S 7205 7205 7161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446390067 28909211648 12224 33554432000 4194304 4196468 140720542888656 140559831820944 140560283195093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7213] ppid=7205 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/7207/task/7213/stat : 7213 (java) S 7205 7205 7161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446390067 28909211648 12224 33554432000 4194304 4196468 140720542888656 140559830768400 140560283195093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7214] ppid=7205 vsize=28231652 memory=140233433772975 CPUtime=0 cores=0-7
/proc/7207/task/7214/stat : 7214 (java) S 7205 7205 7161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446390067 28909211648 12224 33554432000 4194304 4196468 140720542888656 140559829715856 140560283195093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7215] ppid=7205 vsize=28231652 memory=140233433775280 CPUtime=0 cores=0-7
/proc/7207/task/7215/stat : 7215 (java) S 7205 7205 7161 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 446390067 28909211648 12224 33554432000 4194304 4196468 140720542888656 140559828663312 140560283195093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7216] ppid=7205 vsize=28231652 memory=140233433777584 CPUtime=0 cores=0-7
/proc/7207/task/7216/stat : 7216 (java) S 7205 7205 7161 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446390067 28909211648 12224 33554432000 4194304 4196468 140720542888656 140559827610768 140560283195093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7217] ppid=7205 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/7207/task/7217/stat : 7217 (java) S 7205 7205 7161 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 446390068 28909211648 12224 33554432000 4194304 4196468 140720542888656 140559667816432 140560283196034 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7218] ppid=7205 vsize=28231652 memory=280466867562128 CPUtime=0 cores=0-7
/proc/7207/task/7218/stat : 7218 (java) S 7205 7205 7161 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 446390069 28909211648 12224 33554432000 4194304 4196468 140720542888656 140559666762656 140560283195093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7219] ppid=7205 vsize=28231652 memory=280466867569040 CPUtime=0 cores=0-7
/proc/7207/task/7219/stat : 7219 (java) S 7205 7205 7161 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 446390069 28909211648 12224 33554432000 4194304 4196468 140720542888656 140559665710064 140560283195093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7220] ppid=7205 vsize=28231652 memory=280466867510320 CPUtime=0 cores=0-7
/proc/7207/task/7220/stat : 7220 (java) S 7205 7205 7161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446390071 28909211648 12224 33554432000 4194304 4196468 140720542888656 140559664658640 140560283203483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7221] ppid=7205 vsize=28231652 memory=280466867582864 CPUtime=0.03 cores=0-7
/proc/7207/task/7221/stat : 7221 (java) R 7205 7205 7161 0 -1 4202560 657 0 0 0 3 0 0 0 20 0 20 0 446390071 28909211648 12224 33554432000 4194304 4196468 140720542888656 140559663596640 140560263885184 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7222] ppid=7205 vsize=28231652 memory=280466867589776 CPUtime=0.03 cores=0-7
/proc/7207/task/7222/stat : 7222 (java) S 7205 7205 7161 0 -1 1077944384 250 0 0 0 3 0 0 0 20 0 20 0 446390071 28909211648 12224 33554432000 4194304 4196468 140720542888656 140559662553712 140560283196034 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7223] ppid=7205 vsize=28231652 memory=280466867587472 CPUtime=0.01 cores=0-7
/proc/7207/task/7223/stat : 7223 (java) S 7205 7205 7161 0 -1 1077944384 56 0 0 0 1 0 0 0 20 0 20 0 446390071 28909211648 12224 33554432000 4194304 4196468 140720542888656 140559661501168 140560283196034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7224] ppid=7205 vsize=28231652 memory=280466867603632 CPUtime=0.12 cores=0-7
/proc/7207/task/7224/stat : 7224 (java) S 7205 7205 7161 0 -1 1077944384 1084 0 0 0 12 0 0 0 20 0 20 0 446390071 28909211648 12224 33554432000 4194304 4196468 140720542888656 140559660448624 140560283196034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7225] ppid=7205 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/7207/task/7225/stat : 7225 (java) S 7205 7205 7161 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 446390071 28909211648 12224 33554432000 4194304 4196468 140720542888656 140559659395296 140560283195093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7226] ppid=7205 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/7207/task/7226/stat : 7226 (java) S 7205 7205 7161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446390072 28909211648 12224 33554432000 4194304 4196468 140720542888656 140559658342832 140560283196034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 50348 KiB

[startup+0.700888 s]
/proc/loadavg: 3.85 3.90 5.23 4/211 7226
/proc/meminfo: memFree=29951356/32770624 swapFree=67027436/67108860
[pid=7205] ppid=7202 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/7205/stat : 7205 (xcsp3-exec) S 7202 7205 7161 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446390065 115843072 363 33554432000 4194304 5098028 140721157872864 140721157870968 140688671879804 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20267008 140721157878646 140721157878889 140721157878889 140721157881802 0
/proc/7205/statm: 28282 363 304 221 0 87 0
[pid=7207] ppid=7205 vsize=28233776 memory=118276 CPUtime=1.93 cores=0-7
/proc/7207/stat : 7207 (java) S 7205 7205 7161 0 -1 1077944320 15104 0 0 0 187 6 0 0 20 0 20 0 446390065 28911386624 29569 33554432000 4194304 4196468 140720542888656 140720542871200 140560283184887 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
/proc/7207/statm: 7058444 29569 3441 1 0 7019544 0
[pid=7207/tid=7208] ppid=7205 vsize=28233776 memory=280466867961520 CPUtime=0.67 cores=0-7
/proc/7207/task/7208/stat : 7208 (java) R 7205 7205 7161 0 -1 4202560 8417 0 0 0 64 3 0 0 20 0 20 0 446390066 28911386624 29569 33554432000 4194304 4196468 140720542888656 140560287420512 140560268929377 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7209] ppid=7205 vsize=28233776 memory=140233433981808 CPUtime=0 cores=0-7
/proc/7207/task/7209/stat : 7209 (java) S 7205 7205 7161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446390067 28911386624 29569 33554432000 4194304 4196468 140720542888656 140560255027472 140560283195093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7210] ppid=7205 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/7207/task/7210/stat : 7210 (java) S 7205 7205 7161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446390067 28911386624 29569 33554432000 4194304 4196468 140720542888656 140559833926032 140560283195093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7211] ppid=7205 vsize=28233776 memory=1224 CPUtime=0 cores=0-7
/proc/7207/task/7211/stat : 7211 (java) S 7205 7205 7161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 446390067 28911386624 29569 33554432000 4194304 4196468 140720542888656 140559832873488 140560283195093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0

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

[pid=7207/tid=7277] ppid=7205 vsize=28768336 memory=4104 CPUtime=62.13 cores=0-7
/proc/7207/task/7277/stat : 7277 (java) R 7205 7205 7161 0 -1 4202560 624 0 0 0 6213 0 0 0 20 0 28 0 446390529 29458776064 865917 33554432000 4194304 4196468 140720542888656 140559579594896 140559922187840 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7278] ppid=7205 vsize=28768336 memory=1804 CPUtime=62.58 cores=0-7
/proc/7207/task/7278/stat : 7278 (java) R 7205 7205 7161 0 -1 4202560 4572 0 0 0 6235 23 0 0 20 0 28 0 446390529 29458776064 865917 33554432000 4194304 4196468 140720542888656 140559577492576 140559928872481 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7279] ppid=7205 vsize=28768336 memory=916 CPUtime=63.04 cores=0-7
/proc/7207/task/7279/stat : 7279 (java) R 7205 7205 7161 0 -1 4202560 729 0 0 0 6302 2 0 0 20 0 28 0 446390529 29458776064 865917 33554432000 4194304 4196468 140720542888656 140559575384600 140559928579355 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7280] ppid=7205 vsize=28768336 memory=3908 CPUtime=61.69 cores=0-7
/proc/7207/task/7280/stat : 7280 (java) R 7205 7205 7161 0 -1 4202560 1425 0 0 0 6166 3 0 0 20 0 28 0 446390529 29458776064 865917 33554432000 4194304 4196468 140720542888656 140559580648136 140559928579360 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7281] ppid=7205 vsize=28768336 memory=1408 CPUtime=62.67 cores=0-7
/proc/7207/task/7281/stat : 7281 (java) R 7205 7205 7161 0 -1 4202560 701 0 0 0 6267 0 0 0 20 0 28 0 446390529 29458776064 865917 33554432000 4194304 4196468 140720542888656 140559578542040 140559923388368 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7282] ppid=7205 vsize=28768336 memory=3408 CPUtime=62.52 cores=0-7
/proc/7207/task/7282/stat : 7282 (java) R 7205 7205 7161 0 -1 4202560 1115 0 0 0 6250 2 0 0 20 0 28 0 446390531 29458776064 865917 33554432000 4194304 4196468 140720542888656 140559574331336 140559928579360 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
Current children cumulated CPU time: 523.67 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 3465120 KiB

[startup+68.4017 s]
/proc/loadavg: 6.52 4.66 5.39 9/219 7294
/proc/meminfo: memFree=26548560/32770624 swapFree=67027444/67108860
[pid=7205] ppid=7202 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/7205/stat : 7205 (xcsp3-exec) S 7202 7205 7161 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446390065 115843072 363 33554432000 4194304 5098028 140721157872864 140721157870968 140688671879804 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20267008 140721157878646 140721157878889 140721157878889 140721157881802 0
/proc/7205/statm: 28282 363 304 221 0 87 0
[pid=7207] ppid=7205 vsize=28768336 memory=3463668 CPUtime=526.8 cores=0-7
/proc/7207/stat : 7207 (java) S 7205 7205 7161 0 -1 1077944320 100497 0 0 0 52493 187 0 0 20 0 28 0 446390065 29458776064 865917 33554432000 4194304 4196468 140720542888656 140720542871200 140560283184887 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
/proc/7207/statm: 7192084 865917 3539 1 0 7153184 0
[pid=7207/tid=7208] ppid=7205 vsize=28768336 memory=3463668 CPUtime=3.4 cores=0-7
/proc/7207/task/7208/stat : 7208 (java) S 7205 7205 7161 0 -1 1077944384 12198 0 0 0 330 10 0 0 20 0 28 0 446390066 29458776064 865917 33554432000 4194304 4196468 140720542888656 140560287425664 140560283195093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7209] ppid=7205 vsize=28768336 memory=3463668 CPUtime=0.23 cores=0-7
/proc/7207/task/7209/stat : 7209 (java) S 7205 7205 7161 0 -1 1077944384 378 0 0 0 16 7 0 0 20 0 28 0 446390067 29458776064 865917 33554432000 4194304 4196468 140720542888656 140560255027472 140560283195093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7210] ppid=7205 vsize=28768336 memory=1452 CPUtime=0.22 cores=0-7
/proc/7207/task/7210/stat : 7210 (java) S 7205 7205 7161 0 -1 1077944384 766 0 0 0 15 7 0 0 20 0 28 0 446390067 29458776064 865917 33554432000 4194304 4196468 140720542888656 140559833926032 140560283195093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7211] ppid=7205 vsize=28768336 memory=3463668 CPUtime=0.23 cores=0-7
/proc/7207/task/7211/stat : 7211 (java) S 7205 7205 7161 0 -1 1077944384 687 0 0 0 14 9 0 0 20 0 28 0 446390067 29458776064 865917 33554432000 4194304 4196468 140720542888656 140559832873488 140560283195093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7212] ppid=7205 vsize=28768336 memory=1452 CPUtime=0.2 cores=0-7
/proc/7207/task/7212/stat : 7212 (java) S 7205 7205 7161 0 -1 1077944384 666 0 0 0 13 7 0 0 20 0 28 0 446390067 29458776064 865917 33554432000 4194304 4196468 140720542888656 140559831820944 140560283195093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7213] ppid=7205 vsize=28768336 memory=2851788 CPUtime=0.23 cores=0-7
/proc/7207/task/7213/stat : 7213 (java) S 7205 7205 7161 0 -1 1077944384 873 0 0 0 15 8 0 0 20 0 28 0 446390067 29458776064 865917 33554432000 4194304 4196468 140720542888656 140559830768400 140560283195093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7214] ppid=7205 vsize=28768336 memory=8112282956445269571 CPUtime=0.21 cores=0-7
/proc/7207/task/7214/stat : 7214 (java) S 7205 7205 7161 0 -1 1077944384 729 0 0 0 14 7 0 0 20 0 28 0 446390067 29458776064 865917 33554432000 4194304 4196468 140720542888656 140559829715856 140560283195093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7215] ppid=7205 vsize=28768336 memory=4126316290023845779 CPUtime=0.21 cores=0-7
/proc/7207/task/7215/stat : 7215 (java) S 7205 7205 7161 0 -1 1077944384 414 0 0 0 14 7 0 0 20 0 28 0 446390067 29458776064 865917 33554432000 4194304 4196468 140720542888656 140559828663312 140560283195093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7216] ppid=7205 vsize=28768336 memory=2298828 CPUtime=0.24 cores=0-7
/proc/7207/task/7216/stat : 7216 (java) S 7205 7205 7161 0 -1 1077944384 448 0 0 0 17 7 0 0 20 0 28 0 446390067 29458776064 865917 33554432000 4194304 4196468 140720542888656 140559827610768 140560283195093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7217] ppid=7205 vsize=28768336 memory=1452 CPUtime=0.03 cores=0-7
/proc/7207/task/7217/stat : 7217 (java) S 7205 7205 7161 0 -1 1077944384 3496 0 0 0 2 1 0 0 20 0 28 0 446390068 29458776064 865917 33554432000 4194304 4196468 140720542888656 140559667816432 140560283196034 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7218] ppid=7205 vsize=28768336 memory=2298820 CPUtime=0 cores=0-7
/proc/7207/task/7218/stat : 7218 (java) S 7205 7205 7161 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 446390069 29458776064 865917 33554432000 4194304 4196468 140720542888656 140559666762720 140560283195093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7219] ppid=7205 vsize=28768336 memory=7521689142396076132 CPUtime=0 cores=0-7
/proc/7207/task/7219/stat : 7219 (java) S 7205 7205 7161 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 28 0 446390069 29458776064 865917 33554432000 4194304 4196468 140720542888656 140559665710080 140560283195093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7220] ppid=7205 vsize=28768336 memory=280466868165840 CPUtime=0 cores=0-7
/proc/7207/task/7220/stat : 7220 (java) S 7205 7205 7161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446390071 29458776064 865917 33554432000 4194304 4196468 140720542888656 140559664658640 140560283203483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7221] ppid=7205 vsize=28768336 memory=4120 CPUtime=4.05 cores=0-7
/proc/7207/task/7221/stat : 7221 (java) S 7205 7205 7161 0 -1 1077944384 12882 0 0 0 402 3 0 0 20 0 28 0 446390071 29458776064 865917 33554432000 4194304 4196468 140720542888656 140559663606256 140560283196034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7222] ppid=7205 vsize=28768336 memory=34000 CPUtime=4.34 cores=0-7
/proc/7207/task/7222/stat : 7222 (java) S 7205 7205 7161 0 -1 1077944384 13133 0 0 0 432 2 0 0 20 0 28 0 446390071 29458776064 865917 33554432000 4194304 4196468 140720542888656 140559662553712 140560283196034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7223] ppid=7205 vsize=28768336 memory=1296 CPUtime=3.9 cores=0-7
/proc/7207/task/7223/stat : 7223 (java) S 7205 7205 7161 0 -1 1077944384 13991 0 0 0 388 2 0 0 20 0 28 0 446390071 29458776064 865917 33554432000 4194304 4196468 140720542888656 140559661501168 140560283196034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7224] ppid=7205 vsize=28768336 memory=2184 CPUtime=0.99 cores=0-7
/proc/7207/task/7224/stat : 7224 (java) S 7205 7205 7161 0 -1 1077944384 13086 0 0 0 96 3 0 0 20 0 28 0 446390071 29458776064 865917 33554432000 4194304 4196468 140720542888656 140559660448624 140560283196034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7225] ppid=7205 vsize=28768336 memory=1844 CPUtime=0 cores=0-7
/proc/7207/task/7225/stat : 7225 (java) S 7205 7205 7161 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446390071 29458776064 865917 33554432000 4194304 4196468 140720542888656 140559659395296 140560283195093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7226] ppid=7205 vsize=28768336 memory=4968 CPUtime=0.02 cores=0-7
/proc/7207/task/7226/stat : 7226 (java) S 7205 7205 7161 0 -1 1077944384 1573 0 0 0 0 2 0 0 20 0 28 0 446390072 29458776064 865917 33554432000 4194304 4196468 140720542888656 140559658342832 140560283196034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7275] ppid=7205 vsize=28768336 memory=10092 CPUtime=62.69 cores=0-7
/proc/7207/task/7275/stat : 7275 (java) R 7205 7205 7161 0 -1 4202560 12695 0 0 0 6206 63 0 0 20 0 28 0 446390529 29458776064 865917 33554432000 4194304 4196468 140720542888656 140559651458392 140559924042681 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7276] ppid=7205 vsize=28768336 memory=1908 CPUtime=63.22 cores=0-7
/proc/7207/task/7276/stat : 7276 (java) R 7205 7205 7161 0 -1 4202560 596 0 0 0 6322 0 0 0 20 0 28 0 446390529 29458776064 865917 33554432000 4194304 4196468 140720542888656 140559576437080 140559929298429 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7277] ppid=7205 vsize=28768336 memory=1360 CPUtime=62.52 cores=0-7
/proc/7207/task/7277/stat : 7277 (java) R 7205 7205 7161 0 -1 4202560 624 0 0 0 6252 0 0 0 20 0 28 0 446390529 29458776064 865917 33554432000 4194304 4196468 140720542888656 140559579594896 140559929299670 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7278] ppid=7205 vsize=28768336 memory=7500 CPUtime=62.97 cores=0-7
/proc/7207/task/7278/stat : 7278 (java) R 7205 7205 7161 0 -1 4202560 4578 0 0 0 6274 23 0 0 20 0 28 0 446390529 29458776064 865917 33554432000 4194304 4196468 140720542888656 140559577492576 140559928872481 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7279] ppid=7205 vsize=28768336 memory=860 CPUtime=63.43 cores=0-7
/proc/7207/task/7279/stat : 7279 (java) R 7205 7205 7161 0 -1 4202560 729 0 0 0 6341 2 0 0 20 0 28 0 446390529 29458776064 865917 33554432000 4194304 4196468 140720542888656 140559575384600 140559928579659 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7280] ppid=7205 vsize=28768336 memory=776 CPUtime=62.08 cores=0-7
/proc/7207/task/7280/stat : 7280 (java) R 7205 7205 7161 0 -1 4202560 1425 0 0 0 6205 3 0 0 20 0 28 0 446390529 29458776064 865917 33554432000 4194304 4196468 140720542888656 140559580648136 140559929298561 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7281] ppid=7205 vsize=28768336 memory=1612 CPUtime=63.06 cores=0-7
/proc/7207/task/7281/stat : 7281 (java) R 7205 7205 7161 0 -1 4202560 701 0 0 0 6306 0 0 0 20 0 28 0 446390529 29458776064 865917 33554432000 4194304 4196468 140720542888656 140559578542040 140559929117166 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7282] ppid=7205 vsize=28768336 memory=1224 CPUtime=62.92 cores=0-7
/proc/7207/task/7282/stat : 7282 (java) R 7205 7205 7161 0 -1 4202560 1165 0 0 0 6289 3 0 0 20 0 28 0 446390531 29458776064 865917 33554432000 4194304 4196468 140720542888656 140559574331336 140559928579360 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
Current children cumulated CPU time: 526.8 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 3465120 KiB

[startup+68.8017 s]
/proc/loadavg: 6.52 4.66 5.39 9/219 7294
/proc/meminfo: memFree=26548560/32770624 swapFree=67027444/67108860
[pid=7205] ppid=7202 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/7205/stat : 7205 (xcsp3-exec) S 7202 7205 7161 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446390065 115843072 363 33554432000 4194304 5098028 140721157872864 140721157870968 140688671879804 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20267008 140721157878646 140721157878889 140721157878889 140721157881802 0
/proc/7205/statm: 28282 363 304 221 0 87 0
[pid=7207] ppid=7205 vsize=28768336 memory=3463668 CPUtime=530 cores=0-7
/proc/7207/stat : 7207 (java) S 7205 7205 7161 0 -1 1077944320 100554 0 0 0 52812 188 0 0 20 0 28 0 446390065 29458776064 865917 33554432000 4194304 4196468 140720542888656 140720542871200 140560283184887 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
/proc/7207/statm: 7192084 865917 3539 1 0 7153184 0
[pid=7207/tid=7208] ppid=7205 vsize=28768336 memory=1452 CPUtime=3.4 cores=0-7
/proc/7207/task/7208/stat : 7208 (java) S 7205 7205 7161 0 -1 1077944384 12198 0 0 0 330 10 0 0 20 0 28 0 446390066 29458776064 865917 33554432000 4194304 4196468 140720542888656 140560287425664 140560283195093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7209] ppid=7205 vsize=28768336 memory=8112282956445269571 CPUtime=0.23 cores=0-7
/proc/7207/task/7209/stat : 7209 (java) S 7205 7205 7161 0 -1 1077944384 378 0 0 0 16 7 0 0 20 0 28 0 446390067 29458776064 865917 33554432000 4194304 4196468 140720542888656 140560255027472 140560283195093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7210] ppid=7205 vsize=28768336 memory=1612 CPUtime=0.22 cores=0-7
/proc/7207/task/7210/stat : 7210 (java) S 7205 7205 7161 0 -1 1077944384 766 0 0 0 15 7 0 0 20 0 28 0 446390067 29458776064 865917 33554432000 4194304 4196468 140720542888656 140559833926032 140560283195093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7211] ppid=7205 vsize=28768336 memory=1224 CPUtime=0.23 cores=0-7
/proc/7207/task/7211/stat : 7211 (java) S 7205 7205 7161 0 -1 1077944384 687 0 0 0 14 9 0 0 20 0 28 0 446390067 29458776064 865917 33554432000 4194304 4196468 140720542888656 140559832873488 140560283195093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7212] ppid=7205 vsize=28768336 memory=3824 CPUtime=0.2 cores=0-7
/proc/7207/task/7212/stat : 7212 (java) S 7205 7205 7161 0 -1 1077944384 666 0 0 0 13 7 0 0 20 0 28 0 446390067 29458776064 865917 33554432000 4194304 4196468 140720542888656 140559831820944 140560283195093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7213] ppid=7205 vsize=28768336 memory=33972 CPUtime=0.23 cores=0-7
/proc/7207/task/7213/stat : 7213 (java) S 7205 7205 7161 0 -1 1077944384 873 0 0 0 15 8 0 0 20 0 28 0 446390067 29458776064 865917 33554432000 4194304 4196468 140720542888656 140559830768400 140560283195093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7214] ppid=7205 vsize=28768336 memory=1296 CPUtime=0.21 cores=0-7
/proc/7207/task/7214/stat : 7214 (java) S 7205 7205 7161 0 -1 1077944384 729 0 0 0 14 7 0 0 20 0 28 0 446390067 29458776064 865917 33554432000 4194304 4196468 140720542888656 140559829715856 140560283195093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7215] ppid=7205 vsize=28768336 memory=2184 CPUtime=0.21 cores=0-7
/proc/7207/task/7215/stat : 7215 (java) S 7205 7205 7161 0 -1 1077944384 414 0 0 0 14 7 0 0 20 0 28 0 446390067 29458776064 865917 33554432000 4194304 4196468 140720542888656 140559828663312 140560283195093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7216] ppid=7205 vsize=28768336 memory=1844 CPUtime=0.24 cores=0-7
/proc/7207/task/7216/stat : 7216 (java) S 7205 7205 7161 0 -1 1077944384 448 0 0 0 17 7 0 0 20 0 28 0 446390067 29458776064 865917 33554432000 4194304 4196468 140720542888656 140559827610768 140560283195093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7217] ppid=7205 vsize=28768336 memory=4968 CPUtime=0.03 cores=0-7
/proc/7207/task/7217/stat : 7217 (java) S 7205 7205 7161 0 -1 1077944384 3496 0 0 0 2 1 0 0 20 0 28 0 446390068 29458776064 865917 33554432000 4194304 4196468 140720542888656 140559667816432 140560283196034 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7218] ppid=7205 vsize=28768336 memory=1452 CPUtime=0 cores=0-7
/proc/7207/task/7218/stat : 7218 (java) S 7205 7205 7161 0 -1 1077944384 69 0 0 0 0 0 0 0 20 0 28 0 446390069 29458776064 865917 33554432000 4194304 4196468 140720542888656 140559666762720 140560283195093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7219] ppid=7205 vsize=28768336 memory=3463668 CPUtime=0 cores=0-7
/proc/7207/task/7219/stat : 7219 (java) S 7205 7205 7161 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 28 0 446390069 29458776064 865917 33554432000 4194304 4196468 140720542888656 140559665710080 140560283195093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7220] ppid=7205 vsize=28768336 memory=2212 CPUtime=0 cores=0-7
/proc/7207/task/7220/stat : 7220 (java) S 7205 7205 7161 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 446390071 29458776064 865917 33554432000 4194304 4196468 140720542888656 140559664658640 140560283203483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7221] ppid=7205 vsize=28768336 memory=1452 CPUtime=4.05 cores=0-7
/proc/7207/task/7221/stat : 7221 (java) S 7205 7205 7161 0 -1 1077944384 12882 0 0 0 402 3 0 0 20 0 28 0 446390071 29458776064 865917 33554432000 4194304 4196468 140720542888656 140559663606256 140560283196034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7222] ppid=7205 vsize=28768336 memory=3463668 CPUtime=4.34 cores=0-7
/proc/7207/task/7222/stat : 7222 (java) S 7205 7205 7161 0 -1 1077944384 13133 0 0 0 432 2 0 0 20 0 28 0 446390071 29458776064 865917 33554432000 4194304 4196468 140720542888656 140559662553712 140560283196034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7223] ppid=7205 vsize=28768336 memory=3463668 CPUtime=3.9 cores=0-7
/proc/7207/task/7223/stat : 7223 (java) S 7205 7205 7161 0 -1 1077944384 13991 0 0 0 388 2 0 0 20 0 28 0 446390071 29458776064 865917 33554432000 4194304 4196468 140720542888656 140559661501168 140560283196034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7224] ppid=7205 vsize=28768336 memory=1844 CPUtime=0.99 cores=0-7
/proc/7207/task/7224/stat : 7224 (java) S 7205 7205 7161 0 -1 1077944384 13086 0 0 0 96 3 0 0 20 0 28 0 446390071 29458776064 865917 33554432000 4194304 4196468 140720542888656 140559660448624 140560283196034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7225] ppid=7205 vsize=28768336 memory=4968 CPUtime=0 cores=0-7
/proc/7207/task/7225/stat : 7225 (java) S 7205 7205 7161 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 446390071 29458776064 865917 33554432000 4194304 4196468 140720542888656 140559659395296 140560283195093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7226] ppid=7205 vsize=28768336 memory=10092 CPUtime=0.02 cores=0-7
/proc/7207/task/7226/stat : 7226 (java) S 7205 7205 7161 0 -1 1077944384 1573 0 0 0 0 2 0 0 20 0 28 0 446390072 29458776064 865917 33554432000 4194304 4196468 140720542888656 140559658342832 140560283196034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7275] ppid=7205 vsize=28768336 memory=1908 CPUtime=63.1 cores=0-7
/proc/7207/task/7275/stat : 7275 (java) R 7205 7205 7161 0 -1 4202560 12742 0 0 0 6246 64 0 0 20 0 28 0 446390529 29458776064 865917 33554432000 4194304 4196468 140720542888656 140559651458392 140559923192442 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7276] ppid=7205 vsize=28768336 memory=1360 CPUtime=63.62 cores=0-7
/proc/7207/task/7276/stat : 7276 (java) R 7205 7205 7161 0 -1 4202560 596 0 0 0 6362 0 0 0 20 0 28 0 446390529 29458776064 865917 33554432000 4194304 4196468 140720542888656 140559576437080 140559929117364 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7277] ppid=7205 vsize=28768336 memory=7500 CPUtime=62.92 cores=0-7
/proc/7207/task/7277/stat : 7277 (java) R 7205 7205 7161 0 -1 4202560 624 0 0 0 6292 0 0 0 20 0 28 0 446390529 29458776064 865917 33554432000 4194304 4196468 140720542888656 140559579594896 140559923387920 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7278] ppid=7205 vsize=28768336 memory=1452 CPUtime=63.37 cores=0-7
/proc/7207/task/7278/stat : 7278 (java) R 7205 7205 7161 0 -1 4202560 4584 0 0 0 6314 23 0 0 20 0 28 0 446390529 29458776064 865917 33554432000 4194304 4196468 140720542888656 140559577492576 140559924112695 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7279] ppid=7205 vsize=28768336 memory=1452 CPUtime=63.83 cores=0-7
/proc/7207/task/7279/stat : 7279 (java) R 7205 7205 7161 0 -1 4202560 729 0 0 0 6381 2 0 0 20 0 28 0 446390529 29458776064 865917 33554432000 4194304 4196468 140720542888656 140559575384600 140559928579360 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7280] ppid=7205 vsize=28768336 memory=3463668 CPUtime=62.48 cores=0-7
/proc/7207/task/7280/stat : 7280 (java) R 7205 7205 7161 0 -1 4202560 1427 0 0 0 6245 3 0 0 20 0 28 0 446390529 29458776064 865917 33554432000 4194304 4196468 140720542888656 140559580648136 140559928579241 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7281] ppid=7205 vsize=28768336 memory=1612 CPUtime=63.46 cores=0-7
/proc/7207/task/7281/stat : 7281 (java) R 7205 7205 7161 0 -1 4202560 701 0 0 0 6346 0 0 0 20 0 28 0 446390529 29458776064 865917 33554432000 4194304 4196468 140720542888656 140559578542040 140559929299741 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
[pid=7207/tid=7282] ppid=7205 vsize=28768336 memory=1224 CPUtime=63.32 cores=0-7
/proc/7207/task/7282/stat : 7282 (java) R 7205 7205 7161 0 -1 4202560 1167 0 0 0 6329 3 0 0 20 0 28 0 446390531 29458776064 865917 33554432000 4194304 4196468 140720542888656 140559574331336 140559928579241 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7401472 140720542893034 140720542893206 140720542893206 140720542896079 0
Current children cumulated CPU time: 530 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 3465120 KiB

[startup+68.9012 s]
/proc/loadavg: 6.52 4.66 5.39 9/219 7294
/proc/meminfo: memFree=26548560/32770624 swapFree=67027444/67108860
[pid=7205] ppid=7202 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/7205/stat : 7205 (xcsp3-exec) S 7202 7205 7161 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446390065 115843072 363 33554432000 4194304 5098028 140721157872864 140721157870968 140688671879804 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20267008 140721157878646 140721157878889 140721157878889 140721157881802 0
/proc/7205/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): 68.907
CPU time (s): 530.628
CPU user time (s): 528.723
CPU system time (s): 1.90543
CPU usage (%): 770.064
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 3465120

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 528.723
system time used= 1.90543
maximum resident set size= 3463956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102354
page faults= 0
swaps= 0
block input operations= 0
block output operations= 232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7368
involuntary context switches= 6991


# summary of solver processes directly reported to runsolver:
#   pid: 7205
#   total CPU time (s): 530.628
#   total CPU user time (s): 528.723
#   total CPU system time (s): 1.90543

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.616033 second user time and 0.830892 second system time

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

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
