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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-20 parallel	OPT	4	1872	236.345
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 (4526 MiB free)
  memory of node 1: 16384 MiB (6286 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404732-1568994887/watcher-4404732-1568994887 -o /var/tmp/evaluation-result-4404732-1568994887/solver-4404732-1568994887 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node133-1568994386-6070 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1488998563 HOME/instance-4404732-1568994887.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
solver pid=tchdog thread7.x86_64
, 
solver pid=tchdog thread7.x86_64
, 
6386, runsolver pid=6383
Current StackSize limit: 8192 KiB


[startup+0.100164 s]*
/proc/loadavg: 8.87 8.27 8.22 2/217 6407
/proc/meminfo: memFree=11055920/32770624 swapFree=67001896/67108860
[pid=6386] ppid=6383 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/6386/stat : 6386 (xcsp3-exec) S 6383 6386 6043 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 475728298 115843072 363 33554432000 4194304 5098028 140731895559744 140731895557848 139799261209212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35065856 140731895563089 140731895563349 140731895563349 140731895566278 0
/proc/6386/statm: 28282 363 304 221 0 87 0
[pid=6388] ppid=6386 vsize=28227396 memory=29084 CPUtime=0.12 cores=0-7
/proc/6388/stat : 6388 (java) S 6386 6386 6043 0 -1 1077944320 5687 0 0 0 11 1 0 0 20 0 20 0 475728298 28904853504 7271 33554432000 4194304 4196468 140731816349808 140731816332352 140380216807159 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
/proc/6388/statm: 7056849 7271 3153 1 0 7019032 0
[pid=6388/tid=6389] ppid=6386 vsize=28227396 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/6388/task/6389/stat : 6389 (java) R 6386 6386 6043 0 -1 4202560 3613 0 0 0 8 1 0 0 20 0 20 0 475728299 28904853504 7271 33554432000 4194304 4196468 140731816349808 140380221040432 140380200887646 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6390] ppid=6386 vsize=28227396 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/6388/task/6390/stat : 6390 (java) S 6386 6386 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475728299 28904853504 7271 33554432000 4194304 4196468 140731816349808 140380136659600 140380216817365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6391] ppid=6386 vsize=28227396 memory=140350831908480 CPUtime=0 cores=0-7
/proc/6388/task/6391/stat : 6391 (java) S 6386 6386 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475728299 28904853504 7271 33554432000 4194304 4196468 140731816349808 140380135606800 140380216817365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6392] ppid=6386 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6388/task/6392/stat : 6392 (java) S 6386 6386 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475728299 28904853504 7271 33554432000 4194304 4196468 140731816349808 140379765725584 140380216817365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6393] ppid=6386 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6388/task/6393/stat : 6393 (java) S 6386 6386 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475728300 28904853504 7271 33554432000 4194304 4196468 140731816349808 140379764672784 140380216817365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6394] ppid=6386 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6388/task/6394/stat : 6394 (java) S 6386 6386 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475728300 28904853504 7271 33554432000 4194304 4196468 140731816349808 140379763621008 140380216817365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6395] ppid=6386 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/6388/task/6395/stat : 6395 (java) S 6386 6386 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475728300 28904853504 7271 33554432000 4194304 4196468 140731816349808 140379762568208 140380216817365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6396] ppid=6386 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6388/task/6396/stat : 6396 (java) S 6386 6386 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475728300 28904853504 7271 33554432000 4194304 4196468 140731816349808 140379761515408 140380216817365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6397] ppid=6386 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6388/task/6397/stat : 6397 (java) S 6386 6386 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475728300 28904853504 7271 33554432000 4194304 4196468 140731816349808 140379760462608 140380216817365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6398] ppid=6386 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6388/task/6398/stat : 6398 (java) S 6386 6386 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475728301 28904853504 7271 33554432000 4194304 4196468 140731816349808 140379198908784 140380216818306 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6399] ppid=6386 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6388/task/6399/stat : 6399 (java) S 6386 6386 6043 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475728302 28904853504 7271 33554432000 4194304 4196468 140731816349808 140379197854752 140380216817365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6400] ppid=6386 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6388/task/6400/stat : 6400 (java) S 6386 6386 6043 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475728302 28904853504 7271 33554432000 4194304 4196468 140731816349808 140379196801904 140380216817365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6401] ppid=6386 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6388/task/6401/stat : 6401 (java) S 6386 6386 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475728304 28904853504 7271 33554432000 4194304 4196468 140731816349808 140379195750224 140380216825755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6402] ppid=6386 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6388/task/6402/stat : 6402 (java) R 6386 6386 6043 0 -1 1077944384 417 0 0 0 0 0 0 0 20 0 20 0 475728304 28904853504 7271 33554432000 4194304 4196468 140731816349808 140378340584304 140380216818306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6403] ppid=6386 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6388/task/6403/stat : 6403 (java) S 6386 6386 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475728304 28904853504 7271 33554432000 4194304 4196468 140731816349808 140378339531504 140380216818306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6404] ppid=6386 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6388/task/6404/stat : 6404 (java) S 6386 6386 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475728304 28904853504 7271 33554432000 4194304 4196468 140731816349808 140378338478704 140380216818306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6405] ppid=6386 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/6388/task/6405/stat : 6405 (java) R 6386 6386 6043 0 -1 4202560 346 0 0 0 2 0 0 0 20 0 20 0 475728304 28904853504 7271 33554432000 4194304 4196468 140731816349808 140378337425904 140380216828506 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6406] ppid=6386 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6388/task/6406/stat : 6406 (java) S 6386 6386 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475728304 28904853504 7271 33554432000 4194304 4196468 140731816349808 140378336373344 140380216817365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6407] ppid=6386 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/6388/task/6407/stat : 6407 (java) S 6386 6386 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475728305 28904853504 7271 33554432000 4194304 4196468 140731816349808 140378335320624 140380216818306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30536 KiB

[startup+0.210705 s]*
/proc/loadavg: 8.87 8.27 8.22 3/217 6407
/proc/meminfo: memFree=11043720/32770624 swapFree=67001896/67108860
[pid=6386] ppid=6383 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/6386/stat : 6386 (xcsp3-exec) S 6383 6386 6043 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 475728298 115843072 363 33554432000 4194304 5098028 140731895559744 140731895557848 139799261209212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35065856 140731895563089 140731895563349 140731895563349 140731895566278 0
/proc/6386/statm: 28282 363 304 221 0 87 0
[pid=6388] ppid=6386 vsize=28227396 memory=40792 CPUtime=0.34 cores=0-7
/proc/6388/stat : 6388 (java) S 6386 6386 6043 0 -1 1077944320 9520 0 0 0 31 3 0 0 20 0 20 0 475728298 28904853504 10198 33554432000 4194304 4196468 140731816349808 140731816332352 140380216807159 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
/proc/6388/statm: 7056849 10198 3242 1 0 7019032 0
[pid=6388/tid=6389] ppid=6386 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/6388/task/6389/stat : 6389 (java) R 6386 6386 6043 0 -1 4202560 6638 0 0 0 18 2 0 0 20 0 20 0 475728299 28904853504 10198 33554432000 4194304 4196468 140731816349808 140380221041104 140380196336152 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6390] ppid=6386 vsize=28227396 memory=339 CPUtime=0 cores=0-7
/proc/6388/task/6390/stat : 6390 (java) S 6386 6386 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475728299 28904853504 10198 33554432000 4194304 4196468 140731816349808 140380136659600 140380216817365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6391] ppid=6386 vsize=28227396 memory=140350831915123 CPUtime=0 cores=0-7
/proc/6388/task/6391/stat : 6391 (java) S 6386 6386 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475728299 28904853504 10198 33554432000 4194304 4196468 140731816349808 140380135606800 140380216817365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6392] ppid=6386 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/6388/task/6392/stat : 6392 (java) S 6386 6386 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475728299 28904853504 10198 33554432000 4194304 4196468 140731816349808 140379765725584 140380216817365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6393] ppid=6386 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6388/task/6393/stat : 6393 (java) S 6386 6386 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475728300 28904853504 10198 33554432000 4194304 4196468 140731816349808 140379764672784 140380216817365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6394] ppid=6386 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6388/task/6394/stat : 6394 (java) S 6386 6386 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475728300 28904853504 10198 33554432000 4194304 4196468 140731816349808 140379763621008 140380216817365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6395] ppid=6386 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/6388/task/6395/stat : 6395 (java) S 6386 6386 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475728300 28904853504 10198 33554432000 4194304 4196468 140731816349808 140379762568208 140380216817365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6396] ppid=6386 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6388/task/6396/stat : 6396 (java) S 6386 6386 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475728300 28904853504 10198 33554432000 4194304 4196468 140731816349808 140379761515408 140380216817365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6397] ppid=6386 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6388/task/6397/stat : 6397 (java) S 6386 6386 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475728300 28904853504 10198 33554432000 4194304 4196468 140731816349808 140379760462608 140380216817365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6398] ppid=6386 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6388/task/6398/stat : 6398 (java) S 6386 6386 6043 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475728301 28904853504 10198 33554432000 4194304 4196468 140731816349808 140379198908784 140380216818306 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6399] ppid=6386 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6388/task/6399/stat : 6399 (java) S 6386 6386 6043 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475728302 28904853504 10198 33554432000 4194304 4196468 140731816349808 140379197854752 140380216817365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6400] ppid=6386 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6388/task/6400/stat : 6400 (java) S 6386 6386 6043 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475728302 28904853504 10198 33554432000 4194304 4196468 140731816349808 140379196801904 140380216817365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6401] ppid=6386 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6388/task/6401/stat : 6401 (java) S 6386 6386 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475728304 28904853504 10198 33554432000 4194304 4196468 140731816349808 140379195750224 140380216825755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6402] ppid=6386 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/6388/task/6402/stat : 6402 (java) S 6386 6386 6043 0 -1 1077944384 451 0 0 0 1 0 0 0 20 0 20 0 475728304 28904853504 10198 33554432000 4194304 4196468 140731816349808 140378340584304 140380216818306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6403] ppid=6386 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/6388/task/6403/stat : 6403 (java) R 6386 6386 6043 0 -1 1077944384 305 0 0 0 2 0 0 0 20 0 20 0 475728304 28904853504 10198 33554432000 4194304 4196468 140731816349808 140378339531504 140380216818306 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6404] ppid=6386 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/6388/task/6404/stat : 6404 (java) S 6386 6386 6043 0 -1 1077944384 45 0 0 0 1 0 0 0 20 0 20 0 475728304 28904853504 10198 33554432000 4194304 4196468 140731816349808 140378338478704 140380216818306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6405] ppid=6386 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/6388/task/6405/stat : 6405 (java) R 6386 6386 6043 0 -1 4202560 769 0 0 0 7 0 0 0 20 0 20 0 475728304 28904853504 10198 33554432000 4194304 4196468 140731816349808 140378337425904 140380200887646 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6406] ppid=6386 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/6388/task/6406/stat : 6406 (java) S 6386 6386 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475728304 28904853504 10198 33554432000 4194304 4196468 140731816349808 140378336373344 140380216817365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6407] ppid=6386 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/6388/task/6407/stat : 6407 (java) S 6386 6386 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475728305 28904853504 10198 33554432000 4194304 4196468 140731816349808 140378335320624 140380216818306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42244 KiB

[startup+0.310508 s]*
/proc/loadavg: 8.87 8.27 8.22 5/217 6407
/proc/meminfo: memFree=11036388/32770624 swapFree=67001896/67108860
[pid=6386] ppid=6383 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/6386/stat : 6386 (xcsp3-exec) S 6383 6386 6043 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 475728298 115843072 363 33554432000 4194304 5098028 140731895559744 140731895557848 139799261209212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35065856 140731895563089 140731895563349 140731895563349 140731895566278 0
/proc/6386/statm: 28282 363 304 221 0 87 0
[pid=6388] ppid=6386 vsize=28231652 memory=49436 CPUtime=0.52 cores=0-7
/proc/6388/stat : 6388 (java) S 6386 6386 6043 0 -1 1077944320 10807 0 0 0 49 3 0 0 20 0 20 0 475728298 28909211648 12359 33554432000 4194304 4196468 140731816349808 140731816332352 140380216807159 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
/proc/6388/statm: 7057913 12359 3316 1 0 7019032 0
[pid=6388/tid=6389] ppid=6386 vsize=28231652 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/6388/task/6389/stat : 6389 (java) R 6386 6386 6043 0 -1 4202560 7770 0 0 0 27 2 0 0 20 0 20 0 475728299 28909211648 12386 33554432000 4194304 4196468 140731816349808 140380221040944 140380216828506 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6390] ppid=6386 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/6388/task/6390/stat : 6390 (java) S 6386 6386 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475728299 28909211648 12386 33554432000 4194304 4196468 140731816349808 140380136659600 140380216817365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6391] ppid=6386 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/6388/task/6391/stat : 6391 (java) S 6386 6386 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475728299 28909211648 12386 33554432000 4194304 4196468 140731816349808 140380135606800 140380216817365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6392] ppid=6386 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/6388/task/6392/stat : 6392 (java) S 6386 6386 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475728299 28909211648 12386 33554432000 4194304 4196468 140731816349808 140379765725584 140380216817365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6393] ppid=6386 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/6388/task/6393/stat : 6393 (java) S 6386 6386 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475728300 28909211648 12386 33554432000 4194304 4196468 140731816349808 140379764672784 140380216817365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6394] ppid=6386 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/6388/task/6394/stat : 6394 (java) S 6386 6386 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475728300 28909211648 12386 33554432000 4194304 4196468 140731816349808 140379763621008 140380216817365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6395] ppid=6386 vsize=28231652 memory=140350672958383 CPUtime=0 cores=0-7
/proc/6388/task/6395/stat : 6395 (java) S 6386 6386 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475728300 28909211648 12386 33554432000 4194304 4196468 140731816349808 140379762568208 140380216817365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6396] ppid=6386 vsize=28231652 memory=140350672960688 CPUtime=0 cores=0-7
/proc/6388/task/6396/stat : 6396 (java) S 6386 6386 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475728300 28909211648 12386 33554432000 4194304 4196468 140731816349808 140379761515408 140380216817365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6397] ppid=6386 vsize=28231652 memory=140350672962992 CPUtime=0 cores=0-7
/proc/6388/task/6397/stat : 6397 (java) S 6386 6386 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475728300 28909211648 12386 33554432000 4194304 4196468 140731816349808 140379760462608 140380216817365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6398] ppid=6386 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/6388/task/6398/stat : 6398 (java) S 6386 6386 6043 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475728301 28909211648 12386 33554432000 4194304 4196468 140731816349808 140379198908784 140380216818306 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6399] ppid=6386 vsize=28231652 memory=280701345932944 CPUtime=0 cores=0-7
/proc/6388/task/6399/stat : 6399 (java) S 6386 6386 6043 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475728302 28909211648 12386 33554432000 4194304 4196468 140731816349808 140379197854752 140380216817365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6400] ppid=6386 vsize=28231652 memory=280701345939856 CPUtime=0 cores=0-7
/proc/6388/task/6400/stat : 6400 (java) S 6386 6386 6043 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 475728302 28909211648 12386 33554432000 4194304 4196468 140731816349808 140379196801904 140380216817365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6401] ppid=6386 vsize=28231652 memory=280701345881136 CPUtime=0 cores=0-7
/proc/6388/task/6401/stat : 6401 (java) S 6386 6386 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475728304 28909211648 12386 33554432000 4194304 4196468 140731816349808 140379195750224 140380216825755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6402] ppid=6386 vsize=28231652 memory=280701345953680 CPUtime=0.01 cores=0-7
/proc/6388/task/6402/stat : 6402 (java) S 6386 6386 6043 0 -1 1077944384 458 0 0 0 1 0 0 0 20 0 20 0 475728304 28909211648 12386 33554432000 4194304 4196468 140731816349808 140378340584304 140380216818306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6403] ppid=6386 vsize=28231652 memory=280701345960592 CPUtime=0.04 cores=0-7
/proc/6388/task/6403/stat : 6403 (java) R 6386 6386 6043 0 -1 4202560 390 0 0 0 4 0 0 0 20 0 20 0 475728304 28909211648 12386 33554432000 4194304 4196468 140731816349808 140378339531504 140380196500200 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6404] ppid=6386 vsize=28231652 memory=280701345958288 CPUtime=0.02 cores=0-7
/proc/6388/task/6404/stat : 6404 (java) S 6386 6386 6043 0 -1 1077944384 53 0 0 0 2 0 0 0 20 0 20 0 475728304 28909211648 12386 33554432000 4194304 4196468 140731816349808 140378338478704 140380216818306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6405] ppid=6386 vsize=28231652 memory=280701345974448 CPUtime=0.12 cores=0-7
/proc/6388/task/6405/stat : 6405 (java) S 6386 6386 6043 0 -1 1077944384 840 0 0 0 12 0 0 0 20 0 20 0 475728304 28909211648 12386 33554432000 4194304 4196468 140731816349808 140378337425904 140380216818306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6406] ppid=6386 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/6388/task/6406/stat : 6406 (java) S 6386 6386 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 475728304 28909211648 12386 33554432000 4194304 4196468 140731816349808 140378336373344 140380216817365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6407] ppid=6386 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/6388/task/6407/stat : 6407 (java) S 6386 6386 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475728305 28909211648 12386 33554432000 4194304 4196468 140731816349808 140378335320624 140380216818306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 50888 KiB

[startup+0.701026 s]
/proc/loadavg: 8.87 8.27 8.22 3/217 6407
/proc/meminfo: memFree=11016952/32770624 swapFree=67001896/67108860
[pid=6386] ppid=6383 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/6386/stat : 6386 (xcsp3-exec) S 6383 6386 6043 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 475728298 115843072 363 33554432000 4194304 5098028 140731895559744 140731895557848 139799261209212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35065856 140731895563089 140731895563349 140731895563349 140731895566278 0
/proc/6386/statm: 28282 363 304 221 0 87 0
[pid=6388] ppid=6386 vsize=28233776 memory=106920 CPUtime=1.91 cores=0-7
/proc/6388/stat : 6388 (java) S 6386 6386 6043 0 -1 1077944320 15355 0 0 0 185 6 0 0 20 0 20 0 475728298 28911386624 26730 33554432000 4194304 4196468 140731816349808 140731816332352 140380216807159 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
/proc/6388/statm: 7058444 26730 3450 1 0 7019544 0
[pid=6388/tid=6389] ppid=6386 vsize=28233776 memory=280701346332336 CPUtime=0.67 cores=0-7
/proc/6388/task/6389/stat : 6389 (java) R 6386 6386 6043 0 -1 4202560 8459 0 0 0 64 3 0 0 20 0 20 0 475728299 28911386624 26730 33554432000 4194304 4196468 140731816349808 140380221042256 140380216828506 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6390] ppid=6386 vsize=28233776 memory=140350673167216 CPUtime=0 cores=0-7
/proc/6388/task/6390/stat : 6390 (java) S 6386 6386 6043 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475728299 28911386624 26730 33554432000 4194304 4196468 140731816349808 140380136659600 140380216817365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6391] ppid=6386 vsize=28233776 memory=0 CPUtime=0 cores=0-7

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

[pid=6388/tid=6405] ppid=6386 vsize=28768336 memory=1452 CPUtime=0.9 cores=0-7
/proc/6388/task/6405/stat : 6405 (java) S 6386 6386 6043 0 -1 1077944384 12991 0 0 0 88 2 0 0 20 0 28 0 475728304 29458776064 557334 33554432000 4194304 4196468 140731816349808 140378337425904 140380216818306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6406] ppid=6386 vsize=28768336 memory=2230388 CPUtime=0 cores=0-7
/proc/6388/task/6406/stat : 6406 (java) S 6386 6386 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475728304 29458776064 557334 33554432000 4194304 4196468 140731816349808 140378336373344 140380216817365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6407] ppid=6386 vsize=28768336 memory=1716 CPUtime=0.09 cores=0-7
/proc/6388/task/6407/stat : 6407 (java) S 6386 6386 6043 0 -1 1077944384 1287 0 0 0 0 9 0 0 20 0 28 0 475728305 29458776064 557334 33554432000 4194304 4196468 140731816349808 140378335320624 140380216818306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6481] ppid=6386 vsize=28768336 memory=784 CPUtime=9.27 cores=0-7
/proc/6388/task/6481/stat : 6481 (java) R 6386 6386 6043 0 -1 4202560 657 0 0 0 927 0 0 0 20 0 28 0 475750970 29458776064 557334 33554432000 4194304 4196468 140731816349808 140378014301240 140379825306037 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6482] ppid=6386 vsize=28768336 memory=8560 CPUtime=9.24 cores=0-7
/proc/6388/task/6482/stat : 6482 (java) R 6386 6386 6043 0 -1 4202560 328 0 0 0 924 0 0 0 20 0 28 0 475750970 29458776064 557334 33554432000 4194304 4196468 140731816349808 140378011144296 140379823493053 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6483] ppid=6386 vsize=28768336 memory=6132 CPUtime=9.27 cores=0-7
/proc/6388/task/6483/stat : 6483 (java) R 6386 6386 6043 0 -1 4202560 1195 0 0 0 927 0 0 0 20 0 28 0 475750970 29458776064 557334 33554432000 4194304 4196468 140731816349808 140378012197368 140379823493134 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6484] ppid=6386 vsize=28768336 memory=1452 CPUtime=9.24 cores=0-7
/proc/6388/task/6484/stat : 6484 (java) R 6386 6386 6043 0 -1 4202560 848 0 0 0 922 2 0 0 20 0 28 0 475750970 29458776064 557334 33554432000 4194304 4196468 140731816349808 140378325287168 140379826184088 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6485] ppid=6386 vsize=28768336 memory=2229844 CPUtime=9.09 cores=0-7
/proc/6388/task/6485/stat : 6485 (java) R 6386 6386 6043 0 -1 4202560 849 0 0 0 909 0 0 0 20 0 28 0 475750970 29458776064 557334 33554432000 4194304 4196468 140731816349808 140378326339992 140379823155882 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6486] ppid=6386 vsize=28768336 memory=8112282956445269571 CPUtime=9.26 cores=0-7
/proc/6388/task/6486/stat : 6486 (java) R 6386 6386 6043 0 -1 4202560 522 0 0 0 926 0 0 0 20 0 28 0 475750970 29458776064 557334 33554432000 4194304 4196468 140731816349808 140378013249784 140379824884366 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6487] ppid=6386 vsize=28768336 memory=4872558044660077418 CPUtime=9.26 cores=0-7
/proc/6388/task/6487/stat : 6487 (java) R 6386 6386 6043 0 -1 4202560 452 0 0 0 925 1 0 0 20 0 28 0 475750970 29458776064 557334 33554432000 4194304 4196468 140731816349808 140378323181480 140379823155814 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6488] ppid=6386 vsize=28768336 memory=1428 CPUtime=9.26 cores=0-7
/proc/6388/task/6488/stat : 6488 (java) R 6386 6386 6043 0 -1 4202560 449 0 0 0 926 0 0 0 20 0 28 0 475750970 29458776064 557334 33554432000 4194304 4196468 140731816349808 140378324236144 140379824067387 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
Current children cumulated CPU time: 1869.54 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 2230788 KiB

[startup+236.202 s]
/proc/loadavg: 9.05 8.52 8.32 9/225 6491
/proc/meminfo: memFree=8852944/32770624 swapFree=67001896/67108860
[pid=6386] ppid=6383 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/6386/stat : 6386 (xcsp3-exec) S 6383 6386 6043 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 475728298 115843072 363 33554432000 4194304 5098028 140731895559744 140731895557848 139799261209212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35065856 140731895563089 140731895563349 140731895563349 140731895566278 0
/proc/6386/statm: 28282 363 304 221 0 87 0
[pid=6388] ppid=6386 vsize=28768336 memory=2230872 CPUtime=1871.06 cores=0-7
/proc/6388/stat : 6388 (java) S 6386 6386 6043 0 -1 1077944320 142907 0 0 0 186938 168 0 0 20 0 28 0 475728298 29458776064 557718 33554432000 4194304 4196468 140731816349808 140731816332352 140380216807159 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
/proc/6388/statm: 7192084 557718 3545 1 0 7153184 0
[pid=6388/tid=6389] ppid=6386 vsize=28768336 memory=8112282956445269571 CPUtime=2.42 cores=0-7
/proc/6388/task/6389/stat : 6389 (java) S 6386 6386 6043 0 -1 1077944384 12163 0 0 0 235 7 0 0 20 0 28 0 475728299 29458776064 557718 33554432000 4194304 4196468 140731816349808 140380221047936 140380216817365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6390] ppid=6386 vsize=28768336 memory=288230583166042426 CPUtime=0.19 cores=0-7
/proc/6388/task/6390/stat : 6390 (java) S 6386 6386 6043 0 -1 1077944384 2238 0 0 0 13 6 0 0 20 0 28 0 475728299 29458776064 557718 33554432000 4194304 4196468 140731816349808 140380136659600 140380216817365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6391] ppid=6386 vsize=28768336 memory=15544011452581419 CPUtime=0.19 cores=0-7
/proc/6388/task/6391/stat : 6391 (java) S 6386 6386 6043 0 -1 1077944384 1064 0 0 0 13 6 0 0 20 0 28 0 475728299 29458776064 557718 33554432000 4194304 4196468 140731816349808 140380135606800 140380216817365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6392] ppid=6386 vsize=28768336 memory=54620 CPUtime=0.19 cores=0-7
/proc/6388/task/6392/stat : 6392 (java) S 6386 6386 6043 0 -1 1077944384 2588 0 0 0 13 6 0 0 20 0 28 0 475728299 29458776064 557718 33554432000 4194304 4196468 140731816349808 140379765725584 140380216817365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6393] ppid=6386 vsize=28768336 memory=988 CPUtime=0.16 cores=0-7
/proc/6388/task/6393/stat : 6393 (java) S 6386 6386 6043 0 -1 1077944384 1295 0 0 0 11 5 0 0 20 0 28 0 475728300 29458776064 557718 33554432000 4194304 4196468 140731816349808 140379764672784 140380216817365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6394] ppid=6386 vsize=28768336 memory=2052 CPUtime=0.15 cores=0-7
/proc/6388/task/6394/stat : 6394 (java) S 6386 6386 6043 0 -1 1077944384 1808 0 0 0 11 4 0 0 20 0 28 0 475728300 29458776064 557718 33554432000 4194304 4196468 140731816349808 140379763621008 140380216817365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6395] ppid=6386 vsize=28768336 memory=0 CPUtime=0.16 cores=0-7
/proc/6388/task/6395/stat : 6395 (java) S 6386 6386 6043 0 -1 1077944384 1674 0 0 0 11 5 0 0 20 0 28 0 475728300 29458776064 557718 33554432000 4194304 4196468 140731816349808 140379762568208 140380216817365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6396] ppid=6386 vsize=28768336 memory=22084 CPUtime=0.17 cores=0-7
/proc/6388/task/6396/stat : 6396 (java) S 6386 6386 6043 0 -1 1077944384 2639 0 0 0 12 5 0 0 20 0 28 0 475728300 29458776064 557718 33554432000 4194304 4196468 140731816349808 140379761515408 140380216817365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6397] ppid=6386 vsize=28768336 memory=24292 CPUtime=0.17 cores=0-7
/proc/6388/task/6397/stat : 6397 (java) S 6386 6386 6043 0 -1 1077944384 1358 0 0 0 12 5 0 0 20 0 28 0 475728300 29458776064 557718 33554432000 4194304 4196468 140731816349808 140379760462608 140380216817365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6398] ppid=6386 vsize=28768336 memory=8128038100524242582 CPUtime=0.06 cores=0-7
/proc/6388/task/6398/stat : 6398 (java) S 6386 6386 6043 0 -1 1077944384 6230 0 0 0 4 2 0 0 20 0 28 0 475728301 29458776064 557718 33554432000 4194304 4196468 140731816349808 140379198908784 140380216818306 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6399] ppid=6386 vsize=28768336 memory=32833 CPUtime=0 cores=0-7
/proc/6388/task/6399/stat : 6399 (java) S 6386 6386 6043 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 475728302 29458776064 557718 33554432000 4194304 4196468 140731816349808 140379197854816 140380216817365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6400] ppid=6386 vsize=28768336 memory=11105 CPUtime=0 cores=0-7
/proc/6388/task/6400/stat : 6400 (java) S 6386 6386 6043 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 475728302 29458776064 557718 33554432000 4194304 4196468 140731816349808 140379196801920 140380216817365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6401] ppid=6386 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/6388/task/6401/stat : 6401 (java) S 6386 6386 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475728304 29458776064 557718 33554432000 4194304 4196468 140731816349808 140379195750224 140380216825755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6402] ppid=6386 vsize=28768336 memory=0 CPUtime=3.4 cores=0-7
/proc/6388/task/6402/stat : 6402 (java) S 6386 6386 6043 0 -1 1077944384 17770 0 0 0 336 4 0 0 20 0 28 0 475728304 29458776064 557718 33554432000 4194304 4196468 140731816349808 140378340584304 140380216818306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6403] ppid=6386 vsize=28768336 memory=1804 CPUtime=3.47 cores=0-7
/proc/6388/task/6403/stat : 6403 (java) S 6386 6386 6043 0 -1 1077944384 13134 0 0 0 344 3 0 0 20 0 28 0 475728304 29458776064 557718 33554432000 4194304 4196468 140731816349808 140378339531504 140380216818306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6404] ppid=6386 vsize=28768336 memory=920 CPUtime=3.54 cores=0-7
/proc/6388/task/6404/stat : 6404 (java) S 6386 6386 6043 0 -1 1077944384 14560 0 0 0 352 2 0 0 20 0 28 0 475728304 29458776064 557718 33554432000 4194304 4196468 140731816349808 140378338478704 140380216818306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6405] ppid=6386 vsize=28768336 memory=4144 CPUtime=0.9 cores=0-7
/proc/6388/task/6405/stat : 6405 (java) S 6386 6386 6043 0 -1 1077944384 12991 0 0 0 88 2 0 0 20 0 28 0 475728304 29458776064 557718 33554432000 4194304 4196468 140731816349808 140378337425904 140380216818306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6406] ppid=6386 vsize=28768336 memory=1408 CPUtime=0 cores=0-7
/proc/6388/task/6406/stat : 6406 (java) S 6386 6386 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475728304 29458776064 557718 33554432000 4194304 4196468 140731816349808 140378336373344 140380216817365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6407] ppid=6386 vsize=28768336 memory=3708 CPUtime=0.09 cores=0-7
/proc/6388/task/6407/stat : 6407 (java) S 6386 6386 6043 0 -1 1077944384 1287 0 0 0 0 9 0 0 20 0 28 0 475728305 29458776064 557718 33554432000 4194304 4196468 140731816349808 140378335320624 140380216818306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6481] ppid=6386 vsize=28768336 memory=1452 CPUtime=9.45 cores=0-7
/proc/6388/task/6481/stat : 6481 (java) R 6386 6386 6043 0 -1 4202560 667 0 0 0 945 0 0 0 20 0 28 0 475750970 29458776064 557718 33554432000 4194304 4196468 140731816349808 140378014302896 140379824067432 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6482] ppid=6386 vsize=28768336 memory=2229336 CPUtime=9.42 cores=0-7
/proc/6388/task/6482/stat : 6482 (java) R 6386 6386 6043 0 -1 4202560 333 0 0 0 942 0 0 0 20 0 28 0 475750970 29458776064 557718 33554432000 4194304 4196468 140731816349808 140378011143664 140379825019128 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6483] ppid=6386 vsize=28768336 memory=8112282956445269571 CPUtime=9.45 cores=0-7
/proc/6388/task/6483/stat : 6483 (java) R 6386 6386 6043 0 -1 4202560 1203 0 0 0 945 0 0 0 20 0 28 0 475750970 29458776064 557718 33554432000 4194304 4196468 140731816349808 140378012197728 140379824486105 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6484] ppid=6386 vsize=28768336 memory=4872558044660077418 CPUtime=9.42 cores=0-7
/proc/6388/task/6484/stat : 6484 (java) R 6386 6386 6043 0 -1 4202560 860 0 0 0 940 2 0 0 20 0 28 0 475750970 29458776064 557718 33554432000 4194304 4196468 140731816349808 140378325287136 140380202017118 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6485] ppid=6386 vsize=28768336 memory=6944656575208382560 CPUtime=9.27 cores=0-7
/proc/6388/task/6485/stat : 6485 (java) R 6386 6386 6043 0 -1 4202560 858 0 0 0 927 0 0 0 20 0 28 0 475750970 29458776064 557718 33554432000 4194304 4196468 140731816349808 140378326339992 140379823155792 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6486] ppid=6386 vsize=28768336 memory=6943526294502006880 CPUtime=9.44 cores=0-7
/proc/6388/task/6486/stat : 6486 (java) R 6386 6386 6043 0 -1 4202560 526 0 0 0 944 0 0 0 20 0 28 0 475750970 29458776064 557718 33554432000 4194304 4196468 140731816349808 140378013249728 140379823155825 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6487] ppid=6386 vsize=28768336 memory=6944656592455359580 CPUtime=9.45 cores=0-7
/proc/6388/task/6487/stat : 6487 (java) R 6386 6386 6043 0 -1 4202560 458 0 0 0 944 1 0 0 20 0 28 0 475750970 29458776064 557718 33554432000 4194304 4196468 140731816349808 140378323181248 140379826183331 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6488] ppid=6386 vsize=28768336 memory=6944656592455360604 CPUtime=9.45 cores=0-7
/proc/6388/task/6488/stat : 6488 (java) R 6386 6386 6043 0 -1 4202560 457 0 0 0 945 0 0 0 20 0 28 0 475750970 29458776064 557718 33554432000 4194304 4196468 140731816349808 140378324233616 140379816527319 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
Current children cumulated CPU time: 1871.06 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 2232324 KiB

[startup+236.302 s]
/proc/loadavg: 9.05 8.52 8.32 9/225 6491
/proc/meminfo: memFree=8852944/32770624 swapFree=67001896/67108860
[pid=6386] ppid=6383 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/6386/stat : 6386 (xcsp3-exec) S 6383 6386 6043 0 -1 4202496 547 0 0 0 0 0 0 0 20 0 1 0 475728298 115843072 363 33554432000 4194304 5098028 140731895559744 140731895557848 139799261209212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 35065856 140731895563089 140731895563349 140731895563349 140731895566278 0
/proc/6386/statm: 28282 363 304 221 0 87 0
[pid=6388] ppid=6386 vsize=28768336 memory=2230872 CPUtime=1871.86 cores=0-7
/proc/6388/stat : 6388 (java) S 6386 6386 6043 0 -1 1077944320 142985 0 0 0 187018 168 0 0 20 0 28 0 475728298 29458776064 557718 33554432000 4194304 4196468 140731816349808 140731816332352 140380216807159 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
/proc/6388/statm: 7192084 557718 3545 1 0 7153184 0
[pid=6388/tid=6389] ppid=6386 vsize=28768336 memory=2229336 CPUtime=2.42 cores=0-7
/proc/6388/task/6389/stat : 6389 (java) S 6386 6386 6043 0 -1 1077944384 12163 0 0 0 235 7 0 0 20 0 28 0 475728299 29458776064 557718 33554432000 4194304 4196468 140731816349808 140380221047936 140380216817365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6390] ppid=6386 vsize=28768336 memory=2229336 CPUtime=0.19 cores=0-7
/proc/6388/task/6390/stat : 6390 (java) S 6386 6386 6043 0 -1 1077944384 2238 0 0 0 13 6 0 0 20 0 28 0 475728299 29458776064 557718 33554432000 4194304 4196468 140731816349808 140380136659600 140380216817365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6391] ppid=6386 vsize=28768336 memory=1452 CPUtime=0.19 cores=0-7
/proc/6388/task/6391/stat : 6391 (java) S 6386 6386 6043 0 -1 1077944384 1064 0 0 0 13 6 0 0 20 0 28 0 475728299 29458776064 557718 33554432000 4194304 4196468 140731816349808 140380135606800 140380216817365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6392] ppid=6386 vsize=28768336 memory=132 CPUtime=0.19 cores=0-7
/proc/6388/task/6392/stat : 6392 (java) S 6386 6386 6043 0 -1 1077944384 2588 0 0 0 13 6 0 0 20 0 28 0 475728299 29458776064 557718 33554432000 4194304 4196468 140731816349808 140379765725584 140380216817365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6393] ppid=6386 vsize=28768336 memory=8112282956445269571 CPUtime=0.16 cores=0-7
/proc/6388/task/6393/stat : 6393 (java) S 6386 6386 6043 0 -1 1077944384 1295 0 0 0 11 5 0 0 20 0 28 0 475728300 29458776064 557718 33554432000 4194304 4196468 140731816349808 140379764672784 140380216817365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6394] ppid=6386 vsize=28768336 memory=301741382048153914 CPUtime=0.15 cores=0-7
/proc/6388/task/6394/stat : 6394 (java) S 6386 6386 6043 0 -1 1077944384 1808 0 0 0 11 4 0 0 20 0 28 0 475728300 29458776064 557718 33554432000 4194304 4196468 140731816349808 140379763621008 140380216817365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6395] ppid=6386 vsize=28768336 memory=1452 CPUtime=0.16 cores=0-7
/proc/6388/task/6395/stat : 6395 (java) S 6386 6386 6043 0 -1 1077944384 1674 0 0 0 11 5 0 0 20 0 28 0 475728300 29458776064 557718 33554432000 4194304 4196468 140731816349808 140379762568208 140380216817365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6396] ppid=6386 vsize=28768336 memory=2223740 CPUtime=0.17 cores=0-7
/proc/6388/task/6396/stat : 6396 (java) S 6386 6386 6043 0 -1 1077944384 2639 0 0 0 12 5 0 0 20 0 28 0 475728300 29458776064 557718 33554432000 4194304 4196468 140731816349808 140379761515408 140380216817365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6397] ppid=6386 vsize=28768336 memory=7451013643097043045 CPUtime=0.17 cores=0-7
/proc/6388/task/6397/stat : 6397 (java) S 6386 6386 6043 0 -1 1077944384 1358 0 0 0 12 5 0 0 20 0 28 0 475728300 29458776064 557718 33554432000 4194304 4196468 140731816349808 140379760462608 140380216817365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6398] ppid=6386 vsize=28768336 memory=7306922519874069360 CPUtime=0.06 cores=0-7
/proc/6388/task/6398/stat : 6398 (java) S 6386 6386 6043 0 -1 1077944384 6230 0 0 0 4 2 0 0 20 0 28 0 475728301 29458776064 557718 33554432000 4194304 4196468 140731816349808 140379198908784 140380216818306 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6399] ppid=6386 vsize=28768336 memory=2226260 CPUtime=0 cores=0-7
/proc/6388/task/6399/stat : 6399 (java) S 6386 6386 6043 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 475728302 29458776064 557718 33554432000 4194304 4196468 140731816349808 140379197854816 140380216817365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6400] ppid=6386 vsize=28768336 memory=3280 CPUtime=0 cores=0-7
/proc/6388/task/6400/stat : 6400 (java) S 6386 6386 6043 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 475728302 29458776064 557718 33554432000 4194304 4196468 140731816349808 140379196801920 140380216817365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6401] ppid=6386 vsize=28768336 memory=1452 CPUtime=0 cores=0-7
/proc/6388/task/6401/stat : 6401 (java) S 6386 6386 6043 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 475728304 29458776064 557718 33554432000 4194304 4196468 140731816349808 140379195750224 140380216825755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6402] ppid=6386 vsize=28768336 memory=2219748 CPUtime=3.4 cores=0-7
/proc/6388/task/6402/stat : 6402 (java) S 6386 6386 6043 0 -1 1077944384 17770 0 0 0 336 4 0 0 20 0 28 0 475728304 29458776064 557718 33554432000 4194304 4196468 140731816349808 140378340584304 140380216818306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6403] ppid=6386 vsize=28768336 memory=2229336 CPUtime=3.47 cores=0-7
/proc/6388/task/6403/stat : 6403 (java) S 6386 6386 6043 0 -1 1077944384 13134 0 0 0 344 3 0 0 20 0 28 0 475728304 29458776064 557718 33554432000 4194304 4196468 140731816349808 140378339531504 140380216818306 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6404] ppid=6386 vsize=28768336 memory=3280 CPUtime=3.54 cores=0-7
/proc/6388/task/6404/stat : 6404 (java) S 6386 6386 6043 0 -1 1077944384 14560 0 0 0 352 2 0 0 20 0 28 0 475728304 29458776064 557718 33554432000 4194304 4196468 140731816349808 140378338478704 140380216818306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6405] ppid=6386 vsize=28768336 memory=1744 CPUtime=0.9 cores=0-7
/proc/6388/task/6405/stat : 6405 (java) S 6386 6386 6043 0 -1 1077944384 12991 0 0 0 88 2 0 0 20 0 28 0 475728304 29458776064 557718 33554432000 4194304 4196468 140731816349808 140378337425904 140380216818306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6406] ppid=6386 vsize=28768336 memory=780 CPUtime=0 cores=0-7
/proc/6388/task/6406/stat : 6406 (java) S 6386 6386 6043 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 475728304 29458776064 557718 33554432000 4194304 4196468 140731816349808 140378336373344 140380216817365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6407] ppid=6386 vsize=28768336 memory=2229336 CPUtime=0.09 cores=0-7
/proc/6388/task/6407/stat : 6407 (java) S 6386 6386 6043 0 -1 1077944384 1287 0 0 0 0 9 0 0 20 0 28 0 475728305 29458776064 557718 33554432000 4194304 4196468 140731816349808 140378335320624 140380216818306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6481] ppid=6386 vsize=28768336 memory=3280 CPUtime=9.55 cores=0-7
/proc/6388/task/6481/stat : 6481 (java) R 6386 6386 6043 0 -1 4202560 668 0 0 0 955 0 0 0 20 0 28 0 475750970 29458776064 557718 33554432000 4194304 4196468 140731816349808 140378014302896 140379815929606 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6482] ppid=6386 vsize=28768336 memory=1452 CPUtime=9.52 cores=0-7
/proc/6388/task/6482/stat : 6482 (java) R 6386 6386 6043 0 -1 4202560 333 0 0 0 952 0 0 0 20 0 28 0 475750970 29458776064 557718 33554432000 4194304 4196468 140731816349808 140378011143800 140380202017165 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6483] ppid=6386 vsize=28768336 memory=2229336 CPUtime=9.55 cores=0-7
/proc/6388/task/6483/stat : 6483 (java) R 6386 6386 6043 0 -1 4202560 1205 0 0 0 955 0 0 0 20 0 28 0 475750970 29458776064 557718 33554432000 4194304 4196468 140731816349808 140378012197728 140379823977805 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6484] ppid=6386 vsize=28768336 memory=1716 CPUtime=9.52 cores=0-7
/proc/6388/task/6484/stat : 6484 (java) R 6386 6386 6043 0 -1 4202560 931 0 0 0 950 2 0 0 20 0 28 0 475750970 29458776064 557718 33554432000 4194304 4196468 140731816349808 140378325287136 140380198365962 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6485] ppid=6386 vsize=28768336 memory=2230388 CPUtime=9.37 cores=0-7
/proc/6388/task/6485/stat : 6485 (java) R 6386 6386 6043 0 -1 4202560 858 0 0 0 937 0 0 0 20 0 28 0 475750970 29458776064 557718 33554432000 4194304 4196468 140731816349808 140378326339992 140379823156150 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6486] ppid=6386 vsize=28768336 memory=1452 CPUtime=9.54 cores=0-7
/proc/6388/task/6486/stat : 6486 (java) R 6386 6386 6043 0 -1 4202560 528 0 0 0 954 0 0 0 20 0 28 0 475750970 29458776064 557718 33554432000 4194304 4196468 140731816349808 140378013249728 140379823155981 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6487] ppid=6386 vsize=28768336 memory=2229336 CPUtime=9.55 cores=0-7
/proc/6388/task/6487/stat : 6487 (java) R 6386 6386 6043 0 -1 4202560 458 0 0 0 954 1 0 0 20 0 28 0 475750970 29458776064 557718 33554432000 4194304 4196468 140731816349808 140378323181384 140379823157389 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
[pid=6388/tid=6488] ppid=6386 vsize=28768336 memory=780 CPUtime=9.55 cores=0-7
/proc/6388/task/6488/stat : 6488 (java) R 6386 6386 6043 0 -1 4202560 462 0 0 0 955 0 0 0 20 0 28 0 475750970 29458776064 557718 33554432000 4194304 4196468 140731816349808 140378324233616 140379823492935 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25866240 140731816358870 140731816359046 140731816359046 140731816361935 0
Current children cumulated CPU time: 1871.86 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 2232324 KiB

Child status: 0
Real time (s): 236.345
CPU time (s): 1872
CPU user time (s): 1870.29
CPU system time (s): 1.71265
CPU usage (%): 792.061
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 2232324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1870.29
system time used= 1.71265
maximum resident set size= 2234484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 145629
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12724
involuntary context switches= 23325


# summary of solver processes directly reported to runsolver:
#   pid: 6386
#   total CPU time (s): 1872
#   total CPU user time (s): 1870.29
#   total CPU system time (s): 1.71265

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.0143 second user time and 2.98259 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-05b.xml
MD5SUM	1883a0b97ed6164a2c6d9bdd2047bad0
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	4
Best CPU time to get the best result obtained on this benchmark	238.735
Satisfiable
(Un)Satisfiability was proved
Number of variables	450
Number of constraints	5734
Number of domains	1
Minimum domain size	450
Maximum domain size	450
Distribution of domain sizes	[{"size":450,"count":450}]
Minimum variable degree	13
Maximum variable degree	43
Distribution of variable degrees	[{"degree":13,"count":2},{"degree":15,"count":1},{"degree":16,"count":4},{"degree":17,"count":10},{"degree":18,"count":6},{"degree":19,"count":10},{"degree":20,"count":22},{"degree":21,"count":28},{"degree":22,"count":21},{"degree":23,"count":21},{"degree":24,"count":32},{"degree":25,"count":35},{"degree":26,"count":35},{"degree":27,"count":39},{"degree":28,"count":34},{"degree":29,"count":31},{"degree":30,"count":23},{"degree":31,"count":27},{"degree":32,"count":13},{"degree":33,"count":17},{"degree":34,"count":11},{"degree":35,"count":11},{"degree":36,"count":4},{"degree":37,"count":5},{"degree":38,"count":2},{"degree":39,"count":1},{"degree":40,"count":1},{"degree":41,"count":1},{"degree":42,"count":2},{"degree":43,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":5734}]
Number of extensional constraints	0
Number of intensional constraints	5734
Distribution of constraint types	[{"type":"intension","count":5734}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4404732

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
