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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-06-14 parallel	OPT	8	863.564	111.245
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 (10687 MiB free)
  memory of node 1: 16384 MiB (13047 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394408-1568419816/watcher-4394408-1568419816 -o /tmp/evaluation-result-4394408-1568419816/solver-4394408-1568419816 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node143-1568416727-4864 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1450637892 HOME/instance-4394408-1568419816.xml 

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

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


[startup+0.100678 s]*
/proc/loadavg: 8.43 7.91 7.52 3/211 6355
/proc/meminfo: memFree=24287356/32770624 swapFree=67108848/67108860
[pid=6334] ppid=6331 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/6334/stat : 6334 (xcsp3-exec) S 6331 6334 4837 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 417918980 115843072 364 33554432000 4194304 5098028 140734844015872 140734844013976 140445467665020 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34512896 140734844019573 140734844019817 140734844019817 140734844022730 0
/proc/6334/statm: 28282 364 305 221 0 87 0
[pid=6336] ppid=6334 vsize=28227388 memory=28876 CPUtime=0.12 cores=0-7
/proc/6336/stat : 6336 (java) S 6334 6334 4837 0 -1 1077944320 5693 0 0 0 11 1 0 0 20 0 20 0 417918980 28904845312 7219 33554432000 4194304 4196468 140730484720320 140730484702864 139857420881655 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
/proc/6336/statm: 7056847 7219 3126 1 0 7019032 0
[pid=6336/tid=6337] ppid=6334 vsize=28227388 memory=1398722017469774279 CPUtime=0.08 cores=0-7
/proc/6336/task/6337/stat : 6337 (java) R 6334 6334 4837 0 -1 4202560 3592 0 0 0 8 0 0 0 20 0 20 0 417918981 28904845312 7219 33554432000 4194304 4196468 140730484720320 139857425113312 139857420893590 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6338] ppid=6334 vsize=28227388 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/6336/task/6338/stat : 6338 (java) S 6334 6334 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417918982 28904845312 7219 33554432000 4194304 4196468 140730484720320 139857373502608 139857420891861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6339] ppid=6334 vsize=28227388 memory=139876581512832 CPUtime=0 cores=0-7
/proc/6336/task/6339/stat : 6339 (java) S 6334 6334 4837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417918982 28904845312 7219 33554432000 4194304 4196468 140730484720320 139857372449808 139857420891861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6340] ppid=6334 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6336/task/6340/stat : 6340 (java) S 6334 6334 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417918982 28904845312 7219 33554432000 4194304 4196468 140730484720320 139857371397008 139857420891861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6341] ppid=6334 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6336/task/6341/stat : 6341 (java) S 6334 6334 4837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417918982 28904845312 7219 33554432000 4194304 4196468 140730484720320 139857370344208 139857420891861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6342] ppid=6334 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6336/task/6342/stat : 6342 (java) S 6334 6334 4837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417918982 28904845312 7219 33554432000 4194304 4196468 140730484720320 139857369291408 139857420891861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6343] ppid=6334 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/6336/task/6343/stat : 6343 (java) S 6334 6334 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417918982 28904845312 7219 33554432000 4194304 4196468 140730484720320 139857368238608 139857420891861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6344] ppid=6334 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6336/task/6344/stat : 6344 (java) S 6334 6334 4837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417918982 28904845312 7219 33554432000 4194304 4196468 140730484720320 139857367185808 139857420891861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6345] ppid=6334 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6336/task/6345/stat : 6345 (java) S 6334 6334 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417918982 28904845312 7219 33554432000 4194304 4196468 140730484720320 139857366133008 139857420891861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6346] ppid=6334 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6336/task/6346/stat : 6346 (java) S 6334 6334 4837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417918983 28904845312 7219 33554432000 4194304 4196468 140730484720320 139855884528496 139857420892802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6347] ppid=6334 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6336/task/6347/stat : 6347 (java) S 6334 6334 4837 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 417918984 28904845312 7219 33554432000 4194304 4196468 140730484720320 139855883474464 139857420891861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6348] ppid=6334 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6336/task/6348/stat : 6348 (java) S 6334 6334 4837 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417918984 28904845312 7219 33554432000 4194304 4196468 140730484720320 139855882421616 139857420891861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6349] ppid=6334 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6336/task/6349/stat : 6349 (java) S 6334 6334 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417918986 28904845312 7219 33554432000 4194304 4196468 140730484720320 139855881369936 139857420900251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6350] ppid=6334 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6336/task/6350/stat : 6350 (java) S 6334 6334 4837 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 20 0 417918986 28904845312 7219 33554432000 4194304 4196468 140730484720320 139855880317296 139857420892802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6351] ppid=6334 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6336/task/6351/stat : 6351 (java) S 6334 6334 4837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417918986 28904845312 7219 33554432000 4194304 4196468 140730484720320 139855677876464 139857420892802 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6352] ppid=6334 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6336/task/6352/stat : 6352 (java) S 6334 6334 4837 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 417918986 28904845312 7219 33554432000 4194304 4196468 140730484720320 139855676823664 139857420892802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6353] ppid=6334 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/6336/task/6353/stat : 6353 (java) S 6334 6334 4837 0 -1 1077944384 373 0 0 0 2 0 0 0 20 0 20 0 417918986 28904845312 7219 33554432000 4194304 4196468 140730484720320 139855675770864 139857420892802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6354] ppid=6334 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6336/task/6354/stat : 6354 (java) S 6334 6334 4837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417918986 28904845312 7219 33554432000 4194304 4196468 140730484720320 139855674719328 139857420891861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6355] ppid=6334 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/6336/task/6355/stat : 6355 (java) S 6334 6334 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417918987 28904845312 7219 33554432000 4194304 4196468 140730484720320 139855673666608 139857420892802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 30332 KiB

[startup+0.211066 s]*
/proc/loadavg: 8.43 7.91 7.52 2/211 6355
/proc/meminfo: memFree=24275444/32770624 swapFree=67108848/67108860
[pid=6334] ppid=6331 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/6334/stat : 6334 (xcsp3-exec) S 6331 6334 4837 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 417918980 115843072 364 33554432000 4194304 5098028 140734844015872 140734844013976 140445467665020 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34512896 140734844019573 140734844019817 140734844019817 140734844022730 0
/proc/6334/statm: 28282 364 305 221 0 87 0
[pid=6336] ppid=6334 vsize=28227388 memory=40532 CPUtime=0.34 cores=0-7
/proc/6336/stat : 6336 (java) S 6334 6334 4837 0 -1 1077944320 9385 0 0 0 31 3 0 0 20 0 20 0 417918980 28904845312 10133 33554432000 4194304 4196468 140730484720320 140730484702864 139857420881655 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
/proc/6336/statm: 7056847 10133 3262 1 0 7019032 0
[pid=6336/tid=6337] ppid=6334 vsize=28227388 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/6336/task/6337/stat : 6337 (java) R 6334 6334 4837 0 -1 4202560 6617 0 0 0 18 2 0 0 20 0 20 0 417918981 28904845312 10133 33554432000 4194304 4196468 140730484720320 139857425113856 139857036869875 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6338] ppid=6334 vsize=28227388 memory=342 CPUtime=0 cores=0-7
/proc/6336/task/6338/stat : 6338 (java) S 6334 6334 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417918982 28904845312 10133 33554432000 4194304 4196468 140730484720320 139857373502608 139857420891861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6339] ppid=6334 vsize=28227388 memory=139876581522735 CPUtime=0 cores=0-7
/proc/6336/task/6339/stat : 6339 (java) S 6334 6334 4837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417918982 28904845312 10133 33554432000 4194304 4196468 140730484720320 139857372449808 139857420891861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6340] ppid=6334 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/6336/task/6340/stat : 6340 (java) S 6334 6334 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417918982 28904845312 10133 33554432000 4194304 4196468 140730484720320 139857371397008 139857420891861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6341] ppid=6334 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6336/task/6341/stat : 6341 (java) S 6334 6334 4837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417918982 28904845312 10133 33554432000 4194304 4196468 140730484720320 139857370344208 139857420891861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6342] ppid=6334 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6336/task/6342/stat : 6342 (java) S 6334 6334 4837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417918982 28904845312 10133 33554432000 4194304 4196468 140730484720320 139857369291408 139857420891861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6343] ppid=6334 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/6336/task/6343/stat : 6343 (java) S 6334 6334 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417918982 28904845312 10133 33554432000 4194304 4196468 140730484720320 139857368238608 139857420891861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6344] ppid=6334 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6336/task/6344/stat : 6344 (java) S 6334 6334 4837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417918982 28904845312 10133 33554432000 4194304 4196468 140730484720320 139857367185808 139857420891861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6345] ppid=6334 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6336/task/6345/stat : 6345 (java) S 6334 6334 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417918982 28904845312 10133 33554432000 4194304 4196468 140730484720320 139857366133008 139857420891861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6346] ppid=6334 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6336/task/6346/stat : 6346 (java) S 6334 6334 4837 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 417918983 28904845312 10133 33554432000 4194304 4196468 140730484720320 139855884528496 139857420892802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6347] ppid=6334 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6336/task/6347/stat : 6347 (java) S 6334 6334 4837 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 417918984 28904845312 10133 33554432000 4194304 4196468 140730484720320 139855883474464 139857420891861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6348] ppid=6334 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6336/task/6348/stat : 6348 (java) S 6334 6334 4837 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417918984 28904845312 10133 33554432000 4194304 4196468 140730484720320 139855882421616 139857420891861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6349] ppid=6334 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6336/task/6349/stat : 6349 (java) S 6334 6334 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417918986 28904845312 10133 33554432000 4194304 4196468 140730484720320 139855881369936 139857420900251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6350] ppid=6334 vsize=28227388 memory=0 CPUtime=0.01 cores=0-7
/proc/6336/task/6350/stat : 6350 (java) S 6334 6334 4837 0 -1 1077944384 354 0 0 0 1 0 0 0 20 0 20 0 417918986 28904845312 10133 33554432000 4194304 4196468 140730484720320 139855880317296 139857420892802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6351] ppid=6334 vsize=28227388 memory=0 CPUtime=0.02 cores=0-7
/proc/6336/task/6351/stat : 6351 (java) S 6334 6334 4837 0 -1 1077944384 167 0 0 0 2 0 0 0 20 0 20 0 417918986 28904845312 10133 33554432000 4194304 4196468 140730484720320 139855677876464 139857420892802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6352] ppid=6334 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/6336/task/6352/stat : 6352 (java) S 6334 6334 4837 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 20 0 417918986 28904845312 10133 33554432000 4194304 4196468 140730484720320 139855676823664 139857420892802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6353] ppid=6334 vsize=28227388 memory=-1 CPUtime=0.08 cores=0-7
/proc/6336/task/6353/stat : 6353 (java) R 6334 6334 4837 0 -1 4202560 808 0 0 0 8 0 0 0 20 0 20 0 417918986 28904845312 10133 33554432000 4194304 4196468 140730484720320 139855675770672 139857399831436 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6354] ppid=6334 vsize=28227388 memory=0 CPUtime=0 cores=0-7
/proc/6336/task/6354/stat : 6354 (java) S 6334 6334 4837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417918986 28904845312 10133 33554432000 4194304 4196468 140730484720320 139855674719328 139857420891861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6355] ppid=6334 vsize=28227388 memory=-1 CPUtime=0 cores=0-7
/proc/6336/task/6355/stat : 6355 (java) S 6334 6334 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417918987 28904845312 10133 33554432000 4194304 4196468 140730484720320 139855673666608 139857420892802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340516 KiB
Current children cumulated memory: 41988 KiB

[startup+0.310609 s]*
/proc/loadavg: 8.43 7.91 7.52 4/211 6355
/proc/meminfo: memFree=24267676/32770624 swapFree=67108848/67108860
[pid=6334] ppid=6331 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/6334/stat : 6334 (xcsp3-exec) S 6331 6334 4837 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 417918980 115843072 364 33554432000 4194304 5098028 140734844015872 140734844013976 140445467665020 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34512896 140734844019573 140734844019817 140734844019817 140734844022730 0
/proc/6334/statm: 28282 364 305 221 0 87 0
[pid=6336] ppid=6334 vsize=28231644 memory=49868 CPUtime=0.53 cores=0-7
/proc/6336/stat : 6336 (java) S 6334 6334 4837 0 -1 1077944320 10886 0 0 0 49 4 0 0 20 0 20 0 417918980 28909203456 12467 33554432000 4194304 4196468 140730484720320 140730484702864 139857420881655 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
/proc/6336/statm: 7057911 12467 3361 1 0 7019032 0
[pid=6336/tid=6337] ppid=6334 vsize=28231644 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/6336/task/6337/stat : 6337 (java) R 6334 6334 4837 0 -1 4202560 7778 0 0 0 27 2 0 0 20 0 20 0 417918981 28909203456 12467 33554432000 4194304 4196468 140730484720320 139857425112768 139857404962142 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6338] ppid=6334 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/6336/task/6338/stat : 6338 (java) S 6334 6334 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417918982 28909203456 12467 33554432000 4194304 4196468 140730484720320 139857373502608 139857420891861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6339] ppid=6334 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/6336/task/6339/stat : 6339 (java) S 6334 6334 4837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417918982 28909203456 12467 33554432000 4194304 4196468 140730484720320 139857372449808 139857420891861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6340] ppid=6334 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/6336/task/6340/stat : 6340 (java) S 6334 6334 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417918982 28909203456 12467 33554432000 4194304 4196468 140730484720320 139857371397008 139857420891861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6341] ppid=6334 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/6336/task/6341/stat : 6341 (java) S 6334 6334 4837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417918982 28909203456 12467 33554432000 4194304 4196468 140730484720320 139857370344208 139857420891861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6342] ppid=6334 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/6336/task/6342/stat : 6342 (java) S 6334 6334 4837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417918982 28909203456 12467 33554432000 4194304 4196468 140730484720320 139857369291408 139857420891861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6343] ppid=6334 vsize=28231644 memory=139876481723055 CPUtime=0 cores=0-7
/proc/6336/task/6343/stat : 6343 (java) S 6334 6334 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417918982 28909203456 12467 33554432000 4194304 4196468 140730484720320 139857368238608 139857420891861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6344] ppid=6334 vsize=28231644 memory=139876481725360 CPUtime=0 cores=0-7
/proc/6336/task/6344/stat : 6344 (java) S 6334 6334 4837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417918982 28909203456 12467 33554432000 4194304 4196468 140730484720320 139857367185808 139857420891861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6345] ppid=6334 vsize=28231644 memory=139876481727664 CPUtime=0 cores=0-7
/proc/6336/task/6345/stat : 6345 (java) S 6334 6334 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417918982 28909203456 12467 33554432000 4194304 4196468 140730484720320 139857366133008 139857420891861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6346] ppid=6334 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/6336/task/6346/stat : 6346 (java) S 6334 6334 4837 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 417918983 28909203456 12467 33554432000 4194304 4196468 140730484720320 139855884528496 139857420892802 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6347] ppid=6334 vsize=28231644 memory=279752963469200 CPUtime=0 cores=0-7
/proc/6336/task/6347/stat : 6347 (java) S 6334 6334 4837 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 417918984 28909203456 12467 33554432000 4194304 4196468 140730484720320 139855883474464 139857420891861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6348] ppid=6334 vsize=28231644 memory=279752963466896 CPUtime=0 cores=0-7
/proc/6336/task/6348/stat : 6348 (java) S 6334 6334 4837 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 417918984 28909203456 12467 33554432000 4194304 4196468 140730484720320 139855882421616 139857420891861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6349] ppid=6334 vsize=28231644 memory=279752963473808 CPUtime=0 cores=0-7
/proc/6336/task/6349/stat : 6349 (java) S 6334 6334 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417918986 28909203456 12467 33554432000 4194304 4196468 140730484720320 139855881369936 139857420900251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6350] ppid=6334 vsize=28231644 memory=279752963415088 CPUtime=0.02 cores=0-7
/proc/6336/task/6350/stat : 6350 (java) S 6334 6334 4837 0 -1 1077944384 373 0 0 0 2 0 0 0 20 0 20 0 417918986 28909203456 12467 33554432000 4194304 4196468 140730484720320 139855880317296 139857420892802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6351] ppid=6334 vsize=28231644 memory=279752963487632 CPUtime=0.04 cores=0-7
/proc/6336/task/6351/stat : 6351 (java) R 6334 6334 4837 0 -1 4202560 295 0 0 0 4 0 0 0 20 0 20 0 417918986 28909203456 12467 33554432000 4194304 4196468 140730484720320 139855677867920 139857404268366 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6352] ppid=6334 vsize=28231644 memory=279752963494544 CPUtime=0.01 cores=0-7
/proc/6336/task/6352/stat : 6352 (java) S 6334 6334 4837 0 -1 1077944384 161 0 0 0 1 0 0 0 20 0 20 0 417918986 28909203456 12467 33554432000 4194304 4196468 140730484720320 139855676823664 139857420892802 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6353] ppid=6334 vsize=28231644 memory=279752963492240 CPUtime=0.12 cores=0-7
/proc/6336/task/6353/stat : 6353 (java) S 6334 6334 4837 0 -1 1077944384 986 0 0 0 12 0 0 0 20 0 20 0 417918986 28909203456 12467 33554432000 4194304 4196468 140730484720320 139855675770864 139857420892802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6354] ppid=6334 vsize=28231644 memory=0 CPUtime=0 cores=0-7
/proc/6336/task/6354/stat : 6354 (java) S 6334 6334 4837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 417918986 28909203456 12467 33554432000 4194304 4196468 140730484720320 139855674719328 139857420891861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6355] ppid=6334 vsize=28231644 memory=-1 CPUtime=0 cores=0-7
/proc/6336/task/6355/stat : 6355 (java) S 6334 6334 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417918987 28909203456 12467 33554432000 4194304 4196468 140730484720320 139855673666608 139857420892802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344772 KiB
Current children cumulated memory: 51324 KiB

[startup+0.701018 s]
/proc/loadavg: 8.43 7.91 7.52 5/211 6355
/proc/meminfo: memFree=24245520/32770624 swapFree=67108848/67108860
[pid=6334] ppid=6331 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/6334/stat : 6334 (xcsp3-exec) S 6331 6334 4837 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 417918980 115843072 364 33554432000 4194304 5098028 140734844015872 140734844013976 140445467665020 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34512896 140734844019573 140734844019817 140734844019817 140734844022730 0
/proc/6334/statm: 28282 364 305 221 0 87 0
[pid=6336] ppid=6334 vsize=28233768 memory=120568 CPUtime=1.94 cores=0-7
/proc/6336/stat : 6336 (java) S 6334 6334 4837 0 -1 1077944320 15189 0 0 0 188 6 0 0 20 0 20 0 417918980 28911378432 30142 33554432000 4194304 4196468 140730484720320 140730484702864 139857420881655 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
/proc/6336/statm: 7058442 30142 3448 1 0 7019544 0
[pid=6336/tid=6337] ppid=6334 vsize=28233768 memory=0 CPUtime=0.67 cores=0-7
/proc/6336/task/6337/stat : 6337 (java) R 6334 6334 4837 0 -1 4202560 8337 0 0 0 64 3 0 0 20 0 20 0 417918981 28911378432 30142 33554432000 4194304 4196468 140730484720320 139857425120256 139857413118782 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6338] ppid=6334 vsize=28233768 memory=139876481934192 CPUtime=0 cores=0-7
/proc/6336/task/6338/stat : 6338 (java) S 6334 6334 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417918982 28911378432 30142 33554432000 4194304 4196468 140730484720320 139857373502608 139857420891861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6339] ppid=6334 vsize=28233768 memory=0 CPUtime=0 cores=0-7
/proc/6336/task/6339/stat : 6339 (java) S 6334 6334 4837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 417918982 28911378432 30142 33554432000 4194304 4196468 140730484720320 139857372449808 139857420891861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6340] ppid=6334 vsize=28233768 memory=7180 CPUtime=0 cores=0-7
/proc/6336/task/6340/stat : 6340 (java) S 6334 6334 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 417918982 28911378432 30142 33554432000 4194304 4196468 140730484720320 139857371397008 139857420891861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0

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

[pid=6336/tid=6353] ppid=6334 vsize=28768328 memory=812 CPUtime=1.15 cores=0-7
/proc/6336/task/6353/stat : 6353 (java) S 6334 6334 4837 0 -1 1077944384 11753 0 0 0 113 2 0 0 20 0 28 0 417918986 29458767872 1369801 33554432000 4194304 4196468 140730484720320 139855675770864 139857420892802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6354] ppid=6334 vsize=28768328 memory=1840 CPUtime=0 cores=0-7
/proc/6336/task/6354/stat : 6354 (java) S 6334 6334 4837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 417918986 29458767872 1369801 33554432000 4194304 4196468 140730484720320 139855674719328 139857420891861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6355] ppid=6334 vsize=28768328 memory=1384 CPUtime=0.04 cores=0-7
/proc/6336/task/6355/stat : 6355 (java) S 6334 6334 4837 0 -1 1077944384 1191 0 0 0 0 4 0 0 20 0 28 0 417918987 29458767872 1369801 33554432000 4194304 4196468 140730484720320 139855673666608 139857420892802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 24 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6396] ppid=6334 vsize=28768328 memory=7180 CPUtime=102.9 cores=0-7
/proc/6336/task/6396/stat : 6396 (java) R 6334 6334 4837 0 -1 4202560 2513 0 0 0 10289 1 0 0 20 0 28 0 417919566 29458767872 1369801 33554432000 4194304 4196468 140730484720320 139855661542264 139857045670513 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6397] ppid=6334 vsize=28768328 memory=0 CPUtime=102.53 cores=0-7
/proc/6336/task/6397/stat : 6397 (java) R 6334 6334 4837 0 -1 4202560 9049 0 0 0 10203 50 0 0 20 0 28 0 417919566 29458767872 1369801 33554432000 4194304 4196468 140730484720320 139855655227192 139857042741594 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6398] ppid=6334 vsize=28768328 memory=7741794843274538853 CPUtime=102.24 cores=0-7
/proc/6336/task/6398/stat : 6398 (java) R 6334 6334 4837 0 -1 4202560 1044 0 0 0 10223 1 0 0 20 0 28 0 417919566 29458767872 1369801 33554432000 4194304 4196468 140730484720320 139855659437864 139857040016006 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6399] ppid=6334 vsize=28768328 memory=8026095568946620524 CPUtime=103.38 cores=0-7
/proc/6336/task/6399/stat : 6399 (java) R 6334 6334 4837 0 -1 4202560 1349 0 0 0 10333 5 0 0 20 0 28 0 417919566 29458767872 1369801 33554432000 4194304 4196468 140730484720320 139855657332840 139857045670494 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6400] ppid=6334 vsize=28768328 memory=6369893537896622949 CPUtime=103.35 cores=0-7
/proc/6336/task/6400/stat : 6400 (java) R 6334 6334 4837 0 -1 4202560 1244 0 0 0 10334 1 0 0 20 0 28 0 417919566 29458767872 1369801 33554432000 4194304 4196468 140730484720320 139855658385088 139857045316622 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6401] ppid=6334 vsize=28768328 memory=7091873468574624879 CPUtime=103.23 cores=0-7
/proc/6336/task/6401/stat : 6401 (java) R 6334 6334 4837 0 -1 4202560 5911 0 0 0 10301 22 0 0 20 0 28 0 417919566 29458767872 1369801 33554432000 4194304 4196468 140730484720320 139855664694848 139857048297482 0 4 0 16800975 0 0 0 -1 6 0 0 5 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6402] ppid=6334 vsize=28768328 memory=7091873468574624879 CPUtime=103.2 cores=0-7
/proc/6336/task/6402/stat : 6402 (java) R 6334 6334 4837 0 -1 4202560 15860 0 0 0 10240 80 0 0 20 0 28 0 417919566 29458767872 1369801 33554432000 4194304 4196468 140730484720320 139855656279560 139857048739558 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6403] ppid=6334 vsize=28768328 memory=7091873468574624879 CPUtime=103.37 cores=0-7
/proc/6336/task/6403/stat : 6403 (java) R 6334 6334 4837 0 -1 4202560 1381 0 0 0 10333 4 0 0 20 0 28 0 417919569 29458767872 1369801 33554432000 4194304 4196468 140730484720320 139855660491368 139857045316645 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
Current children cumulated CPU time: 857.56 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 5480660 KiB

[startup+110.802 s]
/proc/loadavg: 8.16 7.97 7.59 9/221 6420
/proc/meminfo: memFree=18828452/32770624 swapFree=67108848/67108860
[pid=6334] ppid=6331 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/6334/stat : 6334 (xcsp3-exec) S 6331 6334 4837 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 417918980 115843072 364 33554432000 4194304 5098028 140734844015872 140734844013976 140445467665020 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34512896 140734844019573 140734844019817 140734844019817 140734844022730 0
/proc/6334/statm: 28282 364 305 221 0 87 0
[pid=6336] ppid=6334 vsize=28768328 memory=5479204 CPUtime=860.75 cores=0-7
/proc/6336/stat : 6336 (java) S 6334 6334 4837 0 -1 1077944320 148284 0 0 0 85786 289 0 0 20 0 28 0 417918980 29458767872 1369801 33554432000 4194304 4196468 140730484720320 140730484702864 139857420881655 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
/proc/6336/statm: 7192082 1369801 3529 1 0 7153184 0
[pid=6336/tid=6337] ppid=6334 vsize=28768328 memory=8112282956445269571 CPUtime=3.48 cores=0-7
/proc/6336/task/6337/stat : 6337 (java) S 6334 6334 4837 0 -1 1077944384 11542 0 0 0 337 11 0 0 20 0 28 0 417918981 29458767872 1369801 33554432000 4194304 4196468 140730484720320 139857425122432 139857420891861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6338] ppid=6334 vsize=28768328 memory=5479204 CPUtime=0.29 cores=0-7
/proc/6336/task/6338/stat : 6338 (java) S 6334 6334 4837 0 -1 1077944384 688 0 0 0 18 11 0 0 20 0 28 0 417918982 29458767872 1369801 33554432000 4194304 4196468 140730484720320 139857373502608 139857420891861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6339] ppid=6334 vsize=28768328 memory=1808 CPUtime=0.29 cores=0-7
/proc/6336/task/6339/stat : 6339 (java) S 6334 6334 4837 0 -1 1077944384 968 0 0 0 18 11 0 0 20 0 28 0 417918982 29458767872 1369801 33554432000 4194304 4196468 140730484720320 139857372449808 139857420891861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6340] ppid=6334 vsize=28768328 memory=920 CPUtime=0.29 cores=0-7
/proc/6336/task/6340/stat : 6340 (java) S 6334 6334 4837 0 -1 1077944384 799 0 0 0 19 10 0 0 20 0 28 0 417918982 29458767872 1369801 33554432000 4194304 4196468 140730484720320 139857371397008 139857420891861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6341] ppid=6334 vsize=28768328 memory=4500 CPUtime=0.32 cores=0-7
/proc/6336/task/6341/stat : 6341 (java) S 6334 6334 4837 0 -1 1077944384 808 0 0 0 20 12 0 0 20 0 28 0 417918982 29458767872 1369801 33554432000 4194304 4196468 140730484720320 139857370344208 139857420891861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6342] ppid=6334 vsize=28768328 memory=1412 CPUtime=0.32 cores=0-7
/proc/6336/task/6342/stat : 6342 (java) S 6334 6334 4837 0 -1 1077944384 1002 0 0 0 21 11 0 0 20 0 28 0 417918982 29458767872 1369801 33554432000 4194304 4196468 140730484720320 139857369291408 139857420891861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6343] ppid=6334 vsize=28768328 memory=0 CPUtime=0.31 cores=0-7
/proc/6336/task/6343/stat : 6343 (java) S 6334 6334 4837 0 -1 1077944384 2173 0 0 0 20 11 0 0 20 0 28 0 417918982 29458767872 1369801 33554432000 4194304 4196468 140730484720320 139857368238608 139857420891861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6344] ppid=6334 vsize=28768328 memory=3545249230906549611 CPUtime=0.3 cores=0-7
/proc/6336/task/6344/stat : 6344 (java) S 6334 6334 4837 0 -1 1077944384 1191 0 0 0 20 10 0 0 20 0 28 0 417918982 29458767872 1369801 33554432000 4194304 4196468 140730484720320 139857367185808 139857420891861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6345] ppid=6334 vsize=28768328 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/6336/task/6345/stat : 6345 (java) S 6334 6334 4837 0 -1 1077944384 1009 0 0 0 19 10 0 0 20 0 28 0 417918982 29458767872 1369801 33554432000 4194304 4196468 140730484720320 139857366133008 139857420891861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6346] ppid=6334 vsize=28768328 memory=1456 CPUtime=0.04 cores=0-7
/proc/6336/task/6346/stat : 6346 (java) S 6334 6334 4837 0 -1 1077944384 4264 0 0 0 3 1 0 0 20 0 28 0 417918983 29458767872 1369801 33554432000 4194304 4196468 140730484720320 139855884528496 139857420892802 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 26 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6347] ppid=6334 vsize=28768328 memory=5479204 CPUtime=0 cores=0-7
/proc/6336/task/6347/stat : 6347 (java) S 6334 6334 4837 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 417918984 29458767872 1369801 33554432000 4194304 4196468 140730484720320 139855883474528 139857420891861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6348] ppid=6334 vsize=28768328 memory=4500 CPUtime=0 cores=0-7
/proc/6336/task/6348/stat : 6348 (java) S 6334 6334 4837 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 28 0 417918984 29458767872 1369801 33554432000 4194304 4196468 140730484720320 139855882421632 139857420891861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6349] ppid=6334 vsize=28768328 memory=1412 CPUtime=0 cores=0-7
/proc/6336/task/6349/stat : 6349 (java) S 6334 6334 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 417918986 29458767872 1369801 33554432000 4194304 4196468 140730484720320 139855881369936 139857420900251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6350] ppid=6334 vsize=28768328 memory=3516 CPUtime=6.19 cores=0-7
/proc/6336/task/6350/stat : 6350 (java) S 6334 6334 4837 0 -1 1077944384 24177 0 0 0 615 4 0 0 20 0 28 0 417918986 29458767872 1369801 33554432000 4194304 4196468 140730484720320 139855880317296 139857420892802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6351] ppid=6334 vsize=28768328 memory=1456 CPUtime=5.81 cores=0-7
/proc/6336/task/6351/stat : 6351 (java) S 6334 6334 4837 0 -1 1077944384 26012 0 0 0 577 4 0 0 20 0 28 0 417918986 29458767872 1369801 33554432000 4194304 4196468 140730484720320 139855677876464 139857420892802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6352] ppid=6334 vsize=28768328 memory=5479204 CPUtime=5.75 cores=0-7
/proc/6336/task/6352/stat : 6352 (java) S 6334 6334 4837 0 -1 1077944384 19721 0 0 0 571 4 0 0 20 0 28 0 417918986 29458767872 1369801 33554432000 4194304 4196468 140730484720320 139855676823664 139857420892802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6353] ppid=6334 vsize=28768328 memory=1964 CPUtime=1.15 cores=0-7
/proc/6336/task/6353/stat : 6353 (java) S 6334 6334 4837 0 -1 1077944384 11753 0 0 0 113 2 0 0 20 0 28 0 417918986 29458767872 1369801 33554432000 4194304 4196468 140730484720320 139855675770864 139857420892802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6354] ppid=6334 vsize=28768328 memory=6944656592455359580 CPUtime=0 cores=0-7
/proc/6336/task/6354/stat : 6354 (java) S 6334 6334 4837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 417918986 29458767872 1369801 33554432000 4194304 4196468 140730484720320 139855674719328 139857420891861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6355] ppid=6334 vsize=28768328 memory=279752963260656 CPUtime=0.04 cores=0-7
/proc/6336/task/6355/stat : 6355 (java) S 6334 6334 4837 0 -1 1077944384 1191 0 0 0 0 4 0 0 20 0 28 0 417918987 29458767872 1369801 33554432000 4194304 4196468 140730484720320 139855673666608 139857420892802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 24 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6396] ppid=6334 vsize=28768328 memory=1100 CPUtime=103.3 cores=0-7
/proc/6336/task/6396/stat : 6396 (java) R 6334 6334 4837 0 -1 4202560 2515 0 0 0 10329 1 0 0 20 0 28 0 417919566 29458767872 1369801 33554432000 4194304 4196468 140730484720320 139855661542264 139857048738846 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6397] ppid=6334 vsize=28768328 memory=15208 CPUtime=102.93 cores=0-7
/proc/6336/task/6397/stat : 6397 (java) R 6334 6334 4837 0 -1 4202560 9061 0 0 0 10243 50 0 0 20 0 28 0 417919566 29458767872 1369801 33554432000 4194304 4196468 140730484720320 139855655227192 139857039125412 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6398] ppid=6334 vsize=28768328 memory=24728 CPUtime=102.64 cores=0-7
/proc/6336/task/6398/stat : 6398 (java) R 6334 6334 4837 0 -1 4202560 1044 0 0 0 10263 1 0 0 20 0 28 0 417919566 29458767872 1369801 33554432000 4194304 4196468 140730484720320 139855659437864 139857042216924 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6399] ppid=6334 vsize=28768328 memory=4048 CPUtime=103.78 cores=0-7
/proc/6336/task/6399/stat : 6399 (java) R 6334 6334 4837 0 -1 4202560 1350 0 0 0 10373 5 0 0 20 0 28 0 417919566 29458767872 1369801 33554432000 4194304 4196468 140730484720320 139855657332840 139857045316764 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6400] ppid=6334 vsize=28768328 memory=14288 CPUtime=103.75 cores=0-7
/proc/6336/task/6400/stat : 6400 (java) R 6334 6334 4837 0 -1 4202560 1244 0 0 0 10374 1 0 0 20 0 28 0 417919566 29458767872 1369801 33554432000 4194304 4196468 140730484720320 139855658385088 139857045316834 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6401] ppid=6334 vsize=28768328 memory=504 CPUtime=103.63 cores=0-7
/proc/6336/task/6401/stat : 6401 (java) R 6334 6334 4837 0 -1 4202560 5925 0 0 0 10341 22 0 0 20 0 28 0 417919566 29458767872 1369801 33554432000 4194304 4196468 140730484720320 139855664694848 139857048739549 0 4 0 16800975 0 0 0 -1 6 0 0 5 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6402] ppid=6334 vsize=28768328 memory=1728 CPUtime=103.6 cores=0-7
/proc/6336/task/6402/stat : 6402 (java) R 6334 6334 4837 0 -1 4202560 15907 0 0 0 10280 80 0 0 20 0 28 0 417919566 29458767872 1369801 33554432000 4194304 4196468 140730484720320 139855656279560 139857046625021 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6403] ppid=6334 vsize=28768328 memory=924 CPUtime=103.77 cores=0-7
/proc/6336/task/6403/stat : 6403 (java) R 6334 6334 4837 0 -1 4202560 1383 0 0 0 10373 4 0 0 20 0 28 0 417919569 29458767872 1369801 33554432000 4194304 4196468 140730484720320 139855660491368 139857045316450 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
Current children cumulated CPU time: 860.75 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 5480660 KiB

[startup+111.201 s]
/proc/loadavg: 8.15 7.97 7.59 9/221 6420
/proc/meminfo: memFree=18828452/32770624 swapFree=67108848/67108860
[pid=6334] ppid=6331 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/6334/stat : 6334 (xcsp3-exec) S 6331 6334 4837 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 417918980 115843072 364 33554432000 4194304 5098028 140734844015872 140734844013976 140445467665020 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34512896 140734844019573 140734844019817 140734844019817 140734844022730 0
/proc/6334/statm: 28282 364 305 221 0 87 0
[pid=6336] ppid=6334 vsize=28768328 memory=5479204 CPUtime=863.5 cores=0-7
/proc/6336/stat : 6336 (java) S 6334 6334 4837 0 -1 1077944320 148493 0 0 0 86061 289 0 0 20 0 28 0 417918980 29458767872 1369801 33554432000 4194304 4196468 140730484720320 140730484702864 139857420881655 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
/proc/6336/statm: 7192082 1369801 3529 1 0 7153184 0
[pid=6336/tid=6337] ppid=6334 vsize=28768328 memory=8112282956445269571 CPUtime=3.48 cores=0-7
/proc/6336/task/6337/stat : 6337 (java) S 6334 6334 4837 0 -1 1077944384 11542 0 0 0 337 11 0 0 20 0 28 0 417918981 29458767872 1369801 33554432000 4194304 4196468 140730484720320 139857425122432 139857420891861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6338] ppid=6334 vsize=28768328 memory=288230596050944315 CPUtime=0.29 cores=0-7
/proc/6336/task/6338/stat : 6338 (java) S 6334 6334 4837 0 -1 1077944384 688 0 0 0 18 11 0 0 20 0 28 0 417918982 29458767872 1369801 33554432000 4194304 4196468 140730484720320 139857373502608 139857420891861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6339] ppid=6334 vsize=28768328 memory=15544015764327050 CPUtime=0.29 cores=0-7
/proc/6336/task/6339/stat : 6339 (java) S 6334 6334 4837 0 -1 1077944384 968 0 0 0 18 11 0 0 20 0 28 0 417918982 29458767872 1369801 33554432000 4194304 4196468 140730484720320 139857372449808 139857420891861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6340] ppid=6334 vsize=28768328 memory=4276 CPUtime=0.29 cores=0-7
/proc/6336/task/6340/stat : 6340 (java) S 6334 6334 4837 0 -1 1077944384 799 0 0 0 19 10 0 0 20 0 28 0 417918982 29458767872 1369801 33554432000 4194304 4196468 140730484720320 139857371397008 139857420891861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6341] ppid=6334 vsize=28768328 memory=1536 CPUtime=0.32 cores=0-7
/proc/6336/task/6341/stat : 6341 (java) S 6334 6334 4837 0 -1 1077944384 808 0 0 0 20 12 0 0 20 0 28 0 417918982 29458767872 1369801 33554432000 4194304 4196468 140730484720320 139857370344208 139857420891861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6342] ppid=6334 vsize=28768328 memory=932 CPUtime=0.32 cores=0-7
/proc/6336/task/6342/stat : 6342 (java) S 6334 6334 4837 0 -1 1077944384 1002 0 0 0 21 11 0 0 20 0 28 0 417918982 29458767872 1369801 33554432000 4194304 4196468 140730484720320 139857369291408 139857420891861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6343] ppid=6334 vsize=28768328 memory=2008 CPUtime=0.31 cores=0-7
/proc/6336/task/6343/stat : 6343 (java) S 6334 6334 4837 0 -1 1077944384 2173 0 0 0 20 11 0 0 20 0 28 0 417918982 29458767872 1369801 33554432000 4194304 4196468 140730484720320 139857368238608 139857420891861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6344] ppid=6334 vsize=28768328 memory=111636 CPUtime=0.3 cores=0-7
/proc/6336/task/6344/stat : 6344 (java) S 6334 6334 4837 0 -1 1077944384 1191 0 0 0 20 10 0 0 20 0 28 0 417918982 29458767872 1369801 33554432000 4194304 4196468 140730484720320 139857367185808 139857420891861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6345] ppid=6334 vsize=28768328 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/6336/task/6345/stat : 6345 (java) S 6334 6334 4837 0 -1 1077944384 1009 0 0 0 19 10 0 0 20 0 28 0 417918982 29458767872 1369801 33554432000 4194304 4196468 140730484720320 139857366133008 139857420891861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6346] ppid=6334 vsize=28768328 memory=5479204 CPUtime=0.04 cores=0-7
/proc/6336/task/6346/stat : 6346 (java) S 6334 6334 4837 0 -1 1077944384 4264 0 0 0 3 1 0 0 20 0 28 0 417918983 29458767872 1369801 33554432000 4194304 4196468 140730484720320 139855884528496 139857420892802 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 26 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6347] ppid=6334 vsize=28768328 memory=1964 CPUtime=0 cores=0-7
/proc/6336/task/6347/stat : 6347 (java) S 6334 6334 4837 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 417918984 29458767872 1369801 33554432000 4194304 4196468 140730484720320 139855883474528 139857420891861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6348] ppid=6334 vsize=28768328 memory=1398722017469774279 CPUtime=0 cores=0-7
/proc/6336/task/6348/stat : 6348 (java) S 6334 6334 4837 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 28 0 417918984 29458767872 1369801 33554432000 4194304 4196468 140730484720320 139855882421632 139857420891861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6349] ppid=6334 vsize=28768328 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/6336/task/6349/stat : 6349 (java) S 6334 6334 4837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 417918986 29458767872 1369801 33554432000 4194304 4196468 140730484720320 139855881369936 139857420900251 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6350] ppid=6334 vsize=28768328 memory=1792 CPUtime=6.19 cores=0-7
/proc/6336/task/6350/stat : 6350 (java) S 6334 6334 4837 0 -1 1077944384 24177 0 0 0 615 4 0 0 20 0 28 0 417918986 29458767872 1369801 33554432000 4194304 4196468 140730484720320 139855880317296 139857420892802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6351] ppid=6334 vsize=28768328 memory=8612 CPUtime=5.81 cores=0-7
/proc/6336/task/6351/stat : 6351 (java) S 6334 6334 4837 0 -1 1077944384 26012 0 0 0 577 4 0 0 20 0 28 0 417918986 29458767872 1369801 33554432000 4194304 4196468 140730484720320 139855677876464 139857420892802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6352] ppid=6334 vsize=28768328 memory=1456 CPUtime=5.75 cores=0-7
/proc/6336/task/6352/stat : 6352 (java) S 6334 6334 4837 0 -1 1077944384 19721 0 0 0 571 4 0 0 20 0 28 0 417918986 29458767872 1369801 33554432000 4194304 4196468 140730484720320 139855676823664 139857420892802 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6353] ppid=6334 vsize=28768328 memory=4795288 CPUtime=1.15 cores=0-7
/proc/6336/task/6353/stat : 6353 (java) S 6334 6334 4837 0 -1 1077944384 11753 0 0 0 113 2 0 0 20 0 28 0 417918986 29458767872 1369801 33554432000 4194304 4196468 140730484720320 139855675770864 139857420892802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6354] ppid=6334 vsize=28768328 memory=28 CPUtime=0 cores=0-7
/proc/6336/task/6354/stat : 6354 (java) S 6334 6334 4837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 417918986 29458767872 1369801 33554432000 4194304 4196468 140730484720320 139855674719328 139857420891861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6355] ppid=6334 vsize=28768328 memory=27 CPUtime=0.04 cores=0-7
/proc/6336/task/6355/stat : 6355 (java) S 6334 6334 4837 0 -1 1077944384 1191 0 0 0 0 4 0 0 20 0 28 0 417918987 29458767872 1369801 33554432000 4194304 4196468 140730484720320 139855673666608 139857420892802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 24 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6396] ppid=6334 vsize=28768328 memory=26 CPUtime=103.64 cores=0-7
/proc/6336/task/6396/stat : 6396 (java) S 6334 6334 4837 0 -1 1077944384 2526 0 0 0 10363 1 0 0 20 0 28 0 417919566 29458767872 1369801 33554432000 4194304 4196468 140730484720320 139855661547392 139857420891861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6397] ppid=6334 vsize=28768328 memory=3 CPUtime=103.26 cores=0-7
/proc/6336/task/6397/stat : 6397 (java) S 6334 6334 4837 0 -1 1077944384 9081 0 0 0 10276 50 0 0 20 0 28 0 417919566 29458767872 1369801 33554432000 4194304 4196468 140730484720320 139855655232720 139857420891861 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6398] ppid=6334 vsize=28768328 memory=0 CPUtime=102.98 cores=0-7
/proc/6336/task/6398/stat : 6398 (java) S 6334 6334 4837 0 -1 1077944384 1065 0 0 0 10297 1 0 0 20 0 28 0 417919566 29458767872 1369801 33554432000 4194304 4196468 140730484720320 139855659443280 139857420891861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6399] ppid=6334 vsize=28768328 memory=0 CPUtime=104.12 cores=0-7
/proc/6336/task/6399/stat : 6399 (java) S 6334 6334 4837 0 -1 1077944384 1372 0 0 0 10407 5 0 0 20 0 28 0 417919566 29458767872 1369801 33554432000 4194304 4196468 140730484720320 139855657337808 139857420891861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6400] ppid=6334 vsize=28768328 memory=0 CPUtime=104.08 cores=0-7
/proc/6336/task/6400/stat : 6400 (java) S 6334 6334 4837 0 -1 1077944384 1267 0 0 0 10407 1 0 0 20 0 28 0 417919566 29458767872 1369801 33554432000 4194304 4196468 140730484720320 139855658390352 139857420891861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6401] ppid=6334 vsize=28768328 memory=616 CPUtime=103.97 cores=0-7
/proc/6336/task/6401/stat : 6401 (java) S 6334 6334 4837 0 -1 1077944384 5970 0 0 0 10375 22 0 0 20 0 28 0 417919566 29458767872 1369801 33554432000 4194304 4196468 140730484720320 139855664698064 139857420891861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 5 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6402] ppid=6334 vsize=28768328 memory=17828 CPUtime=104 cores=0-7
/proc/6336/task/6402/stat : 6402 (java) R 6334 6334 4837 0 -1 4202560 15948 0 0 0 10320 80 0 0 20 0 28 0 417919566 29458767872 1369801 33554432000 4194304 4196468 140730484720320 139855656279560 139857045670513 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
[pid=6336/tid=6403] ppid=6334 vsize=28768328 memory=279752963784080 CPUtime=104.11 cores=0-7
/proc/6336/task/6403/stat : 6403 (java) S 6334 6334 4837 0 -1 1077944384 1409 0 0 0 10407 4 0 0 20 0 28 0 417919569 29458767872 1369801 33554432000 4194304 4196468 140730484720320 139855660496336 139857420891861 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12750848 140730484728810 140730484728982 140730484728982 140730484731855 0
Current children cumulated CPU time: 863.5 s
Current children cumulated vsize: 28881456 KiB
Current children cumulated memory: 5480660 KiB

Child status: 0
Real time (s): 111.245
CPU time (s): 863.564
CPU user time (s): 860.629
CPU system time (s): 2.93534
CPU usage (%): 776.271
Max. virtual memory (cumulated for all children) (KiB): 28881456
Max. memory (cumulated for all children) (KiB): 5480660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 860.629
system time used= 2.93534
maximum resident set size= 5487512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 150179
page faults= 0
swaps= 0
block input operations= 0
block output operations= 264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8541
involuntary context switches= 11226


# summary of solver processes directly reported to runsolver:
#   pid: 6334
#   total CPU time (s): 863.564
#   total CPU user time (s): 860.629
#   total CPU system time (s): 2.93534

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.10003 second user time and 1.25934 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.1369
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 4394408

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
