2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Choco-solver 4.0.7 seq (493a269)	OPT	6	418.213	411.924
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 (8732 MiB free)
  memory of node 1: 16384 MiB (10749 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292214-1532286273/watcher-4292214-1532286273 -o /tmp/evaluation-result-4292214-1532286273/solver-4292214-1532286273 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532271936-4846 --watchdog 2560 HOME/xcsp3-exec -seed 1910140622 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292214-1532286273.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=6519, runsolver pid=6516

[startup+0.105019 s]*
/proc/loadavg: 2.11 2.01 1.96 4/219 6535
/proc/meminfo: memFree=19933908/32770624 swapFree=67108860/67108860
[pid=6519] ppid=6516 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/6519/stat : 6519 (xcsp3-exec) S 6516 6519 3395 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 46190534 115843072 364 33554432000 4194304 5098028 140720491870064 140720491868168 139950957326972 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33894400 140720491877434 140720491877636 140720491877636 140720491880394 0
/proc/6519/statm: 28282 364 306 221 0 87 0
[pid=6521] ppid=6519 vsize=14082840 memory=28660 CPUtime=0.13 cores=0,2,4,6
/proc/6521/stat : 6521 (java) S 6519 6519 3395 0 -1 1077944320 5553 0 0 0 12 1 0 0 20 0 15 0 46190534 14420828160 7165 33554432000 4194304 4196468 140722690250704 140722690233248 139900370779895 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
/proc/6521/statm: 3520710 7165 2999 1 0 3483008 0
[pid=6521/tid=6522] ppid=6519 vsize=14082840 memory=8116794532383920987 CPUtime=0.1 cores=0,2,4,6
/proc/6521/task/6522/stat : 6522 (java) R 6519 6519 3395 0 -1 4202560 3485 0 0 0 9 1 0 0 20 0 15 0 46190534 14420828160 7165 33554432000 4194304 4196468 140722690250704 139900375012000 139900370791830 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6523] ppid=6519 vsize=14082840 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6523/stat : 6523 (java) S 6519 6519 3395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46190535 14420828160 7231 33554432000 4194304 4196468 140722690250704 139900308380688 139900370790101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6524] ppid=6519 vsize=14082840 memory=139681213277824 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6524/stat : 6524 (java) S 6519 6519 3395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46190535 14420828160 7231 33554432000 4194304 4196468 140722690250704 139900307328144 139900370790101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6525] ppid=6519 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6525/stat : 6525 (java) S 6519 6519 3395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46190535 14420828160 7231 33554432000 4194304 4196468 140722690250704 139899963972368 139900370790101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6526] ppid=6519 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6526/stat : 6526 (java) S 6519 6519 3395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46190535 14420828160 7231 33554432000 4194304 4196468 140722690250704 139899962919824 139900370790101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6527] ppid=6519 vsize=14082840 memory=139681213277824 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6527/stat : 6527 (java) S 6519 6519 3395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46190537 14420828160 7231 33554432000 4194304 4196468 140722690250704 139899912198384 139900370791042 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6528] ppid=6519 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6528/stat : 6528 (java) S 6519 6519 3395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46190537 14420828160 7231 33554432000 4194304 4196468 140722690250704 139899911144608 139900370790101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6529] ppid=6519 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6529/stat : 6529 (java) S 6519 6519 3395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46190537 14420828160 7231 33554432000 4194304 4196468 140722690250704 139899910091504 139900370790101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6530] ppid=6519 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6530/stat : 6530 (java) S 6519 6519 3395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46190540 14420828160 7231 33554432000 4194304 4196468 140722690250704 139899909040080 139900370798491 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6531] ppid=6519 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6531/stat : 6531 (java) S 6519 6519 3395 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 46190540 14420828160 7231 33554432000 4194304 4196468 140722690250704 139899907988208 139900370791042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6532] ppid=6519 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6532/stat : 6532 (java) S 6519 6519 3395 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 46190540 14420828160 7231 33554432000 4194304 4196468 140722690250704 139899906935664 139900370791042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6533] ppid=6519 vsize=14082840 memory=139681213277824 CPUtime=0.01 cores=0,2,4,6
/proc/6521/task/6533/stat : 6533 (java) R 6519 6519 3395 0 -1 4202560 343 0 0 0 1 0 0 0 20 0 15 0 46190540 14420828160 7231 33554432000 4194304 4196468 140722690250704 139899905882608 139900354860382 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6534] ppid=6519 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6534/stat : 6534 (java) S 6519 6519 3395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46190540 14420828160 7231 33554432000 4194304 4196468 140722690250704 139899904830304 139900370790101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6535] ppid=6519 vsize=14082840 memory=139681213277824 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6535/stat : 6535 (java) S 6519 6519 3395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46190540 14420828160 7231 33554432000 4194304 4196468 140722690250704 139899903777328 139900370791042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 30116 KiB

[startup+0.21082 s]*
/proc/loadavg: 2.11 2.01 1.96 3/219 6535
/proc/meminfo: memFree=19923596/32770624 swapFree=67108860/67108860
[pid=6519] ppid=6516 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/6519/stat : 6519 (xcsp3-exec) S 6516 6519 3395 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 46190534 115843072 364 33554432000 4194304 5098028 140720491870064 140720491868168 139950957326972 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33894400 140720491877434 140720491877636 140720491877636 140720491880394 0
/proc/6519/statm: 28282 364 306 221 0 87 0
[pid=6521] ppid=6519 vsize=14082840 memory=40480 CPUtime=0.34 cores=0,2,4,6
/proc/6521/stat : 6521 (java) S 6519 6519 3395 0 -1 1077944320 8154 0 0 0 32 2 0 0 20 0 15 0 46190534 14420828160 10120 33554432000 4194304 4196468 140722690250704 140722690233248 139900370779895 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
/proc/6521/statm: 3520710 10120 3159 1 0 3483008 0
[pid=6521/tid=6522] ppid=6519 vsize=14082840 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/6521/task/6522/stat : 6522 (java) R 6519 6519 3395 0 -1 4202560 5368 0 0 0 18 2 0 0 20 0 15 0 46190534 14420828160 10120 33554432000 4194304 4196468 140722690250704 139900375014880 139900354823525 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6523] ppid=6519 vsize=14082840 memory=10655 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6523/stat : 6523 (java) S 6519 6519 3395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46190535 14420828160 10120 33554432000 4194304 4196468 140722690250704 139900308380688 139900370790101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6524] ppid=6519 vsize=14082840 memory=139681213540096 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6524/stat : 6524 (java) S 6519 6519 3395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46190535 14420828160 10120 33554432000 4194304 4196468 140722690250704 139900307328144 139900370790101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6525] ppid=6519 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6525/stat : 6525 (java) S 6519 6519 3395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46190535 14420828160 10120 33554432000 4194304 4196468 140722690250704 139899963972368 139900370790101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6526] ppid=6519 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6526/stat : 6526 (java) S 6519 6519 3395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46190535 14420828160 10120 33554432000 4194304 4196468 140722690250704 139899962919824 139900370790101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6527] ppid=6519 vsize=14082840 memory=139681213277824 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6527/stat : 6527 (java) S 6519 6519 3395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 46190537 14420828160 10120 33554432000 4194304 4196468 140722690250704 139899912198384 139900370791042 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6528] ppid=6519 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6528/stat : 6528 (java) S 6519 6519 3395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46190537 14420828160 10120 33554432000 4194304 4196468 140722690250704 139899911144608 139900370790101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6529] ppid=6519 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6529/stat : 6529 (java) S 6519 6519 3395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46190537 14420828160 10120 33554432000 4194304 4196468 140722690250704 139899910091504 139900370790101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6530] ppid=6519 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6530/stat : 6530 (java) S 6519 6519 3395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46190540 14420828160 10120 33554432000 4194304 4196468 140722690250704 139899909040080 139900370798491 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6531] ppid=6519 vsize=14082840 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/6521/task/6531/stat : 6531 (java) S 6519 6519 3395 0 -1 1077944384 514 0 0 0 3 0 0 0 20 0 15 0 46190540 14420828160 10120 33554432000 4194304 4196468 140722690250704 139899907988208 139900370791042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6532] ppid=6519 vsize=14082840 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/6521/task/6532/stat : 6532 (java) S 6519 6519 3395 0 -1 1077944384 225 0 0 0 2 0 0 0 20 0 15 0 46190540 14420828160 10120 33554432000 4194304 4196468 140722690250704 139899906935664 139900370791042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6533] ppid=6519 vsize=14082840 memory=139681213277824 CPUtime=0.08 cores=0,2,4,6
/proc/6521/task/6533/stat : 6533 (java) R 6519 6519 3395 0 -1 4202560 749 0 0 0 8 0 0 0 20 0 15 0 46190540 14420828160 10120 33554432000 4194304 4196468 140722690250704 139899905882608 139900370801242 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6534] ppid=6519 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6534/stat : 6534 (java) S 6519 6519 3395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46190540 14420828160 10120 33554432000 4194304 4196468 140722690250704 139899904830304 139900370790101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6535] ppid=6519 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6535/stat : 6535 (java) S 6519 6519 3395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46190540 14420828160 10120 33554432000 4194304 4196468 140722690250704 139899903777328 139900370791042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 41936 KiB

[startup+0.310701 s]*
/proc/loadavg: 2.11 2.01 1.96 5/219 6535
/proc/meminfo: memFree=19917268/32770624 swapFree=67108860/67108860
[pid=6519] ppid=6516 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/6519/stat : 6519 (xcsp3-exec) S 6516 6519 3395 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 46190534 115843072 364 33554432000 4194304 5098028 140720491870064 140720491868168 139950957326972 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33894400 140720491877434 140720491877636 140720491877636 140720491880394 0
/proc/6519/statm: 28282 364 306 221 0 87 0
[pid=6521] ppid=6519 vsize=14087096 memory=47256 CPUtime=0.51 cores=0,2,4,6
/proc/6521/stat : 6521 (java) S 6519 6519 3395 0 -1 1077944320 8997 0 0 0 48 3 0 0 20 0 15 0 46190534 14425186304 11814 33554432000 4194304 4196468 140722690250704 140722690233248 139900370779895 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
/proc/6521/statm: 3521774 11814 3193 1 0 3483008 0
[pid=6521/tid=6522] ppid=6519 vsize=14087096 memory=8112282956445269571 CPUtime=0.29 cores=0,2,4,6
/proc/6521/task/6522/stat : 6522 (java) R 6519 6519 3395 0 -1 4202560 6055 0 0 0 27 2 0 0 20 0 15 0 46190534 14425186304 11826 33554432000 4194304 4196468 140722690250704 139900375011008 139900370801821 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6523] ppid=6519 vsize=14087096 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6523/stat : 6523 (java) S 6519 6519 3395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46190535 14425186304 11826 33554432000 4194304 4196468 140722690250704 139900308380688 139900370790101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6524] ppid=6519 vsize=14087096 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6524/stat : 6524 (java) S 6519 6519 3395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46190535 14425186304 11826 33554432000 4194304 4196468 140722690250704 139900307328144 139900370790101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6525] ppid=6519 vsize=14087096 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6525/stat : 6525 (java) S 6519 6519 3395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46190535 14425186304 11826 33554432000 4194304 4196468 140722690250704 139899963972368 139900370790101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6526] ppid=6519 vsize=14087096 memory=7379517710693473142 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6526/stat : 6526 (java) S 6519 6519 3395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46190535 14425186304 11826 33554432000 4194304 4196468 140722690250704 139899962919824 139900370790101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6527] ppid=6519 vsize=14087096 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6527/stat : 6527 (java) S 6519 6519 3395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 46190537 14425186304 11826 33554432000 4194304 4196468 140722690250704 139899912198384 139900370791042 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6528] ppid=6519 vsize=14087096 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6528/stat : 6528 (java) S 6519 6519 3395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46190537 14425186304 11826 33554432000 4194304 4196468 140722690250704 139899911144608 139900370790101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6529] ppid=6519 vsize=14087096 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6529/stat : 6529 (java) S 6519 6519 3395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46190537 14425186304 11826 33554432000 4194304 4196468 140722690250704 139899910091504 139900370790101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6530] ppid=6519 vsize=14087096 memory=8693815914432465728 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6530/stat : 6530 (java) S 6519 6519 3395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46190540 14425186304 11826 33554432000 4194304 4196468 140722690250704 139899909040080 139900370798491 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6531] ppid=6519 vsize=14087096 memory=8325818968683490714 CPUtime=0.04 cores=0,2,4,6
/proc/6521/task/6531/stat : 6531 (java) S 6519 6519 3395 0 -1 1077944384 524 0 0 0 4 0 0 0 20 0 15 0 46190540 14425186304 11826 33554432000 4194304 4196468 140722690250704 139899907988208 139900370791042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6532] ppid=6519 vsize=14087096 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/6521/task/6532/stat : 6532 (java) S 6519 6519 3395 0 -1 1077944384 235 0 0 0 4 0 0 0 20 0 15 0 46190540 14425186304 11826 33554432000 4194304 4196468 140722690250704 139899906935664 139900370791042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6533] ppid=6519 vsize=14087096 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/6521/task/6533/stat : 6533 (java) S 6519 6519 3395 0 -1 1077944384 888 0 0 0 12 0 0 0 20 0 15 0 46190540 14425186304 11826 33554432000 4194304 4196468 140722690250704 139899905882608 139900370791042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6534] ppid=6519 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6534/stat : 6534 (java) S 6519 6519 3395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46190540 14425186304 11826 33554432000 4194304 4196468 140722690250704 139899904830304 139900370790101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6535] ppid=6519 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6535/stat : 6535 (java) S 6519 6519 3395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46190540 14425186304 11826 33554432000 4194304 4196468 140722690250704 139899903777328 139900370791042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 48712 KiB

[startup+0.705576 s]
/proc/loadavg: 2.11 2.01 1.96 5/219 6535
/proc/meminfo: memFree=19894248/32770624 swapFree=67108860/67108860
[pid=6519] ppid=6516 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/6519/stat : 6519 (xcsp3-exec) S 6516 6519 3395 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 46190534 115843072 364 33554432000 4194304 5098028 140720491870064 140720491868168 139950957326972 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33894400 140720491877434 140720491877636 140720491877636 140720491880394 0
/proc/6519/statm: 28282 364 306 221 0 87 0
[pid=6521] ppid=6519 vsize=14089220 memory=113316 CPUtime=1.68 cores=0,2,4,6
/proc/6521/stat : 6521 (java) S 6519 6519 3395 0 -1 1077944320 12174 0 0 0 164 4 0 0 20 0 15 0 46190534 14427361280 28329 33554432000 4194304 4196468 140722690250704 140722690233248 139900370779895 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
/proc/6521/statm: 3522305 28329 3329 1 0 3483520 0
[pid=6521/tid=6522] ppid=6519 vsize=14089220 memory=3472328296227679313 CPUtime=0.68 cores=0,2,4,6
/proc/6521/task/6522/stat : 6522 (java) R 6519 6519 3395 0 -1 4202560 6525 0 0 0 65 3 0 0 20 0 15 0 46190534 14427361280 28329 33554432000 4194304 4196468 140722690250704 139900375013536 139899989752672 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6523] ppid=6519 vsize=14089220 memory=-7816663703405220396 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6523/stat : 6523 (java) S 6519 6519 3395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46190535 14427361280 28329 33554432000 4194304 4196468 140722690250704 139900308380688 139900370790101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6524] ppid=6519 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6524/stat : 6524 (java) S 6519 6519 3395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46190535 14427361280 28329 33554432000 4194304 4196468 140722690250704 139900307328144 139900370790101 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6525] ppid=6519 vsize=14089220 memory=15412 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6525/stat : 6525 (java) S 6519 6519 3395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46190535 14427361280 28329 33554432000 4194304 4196468 140722690250704 139899963972368 139900370790101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6526] ppid=6519 vsize=14089220 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6526/stat : 6526 (java) S 6519 6519 3395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46190535 14427361280 28329 33554432000 4194304 4196468 140722690250704 139899962919824 139900370790101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6527] ppid=6519 vsize=14089220 memory=2400 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6527/stat : 6527 (java) S 6519 6519 3395 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 46190537 14427361280 28329 33554432000 4194304 4196468 140722690250704 139899912198384 139900370791042 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6528] ppid=6519 vsize=14089220 memory=1836 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6528/stat : 6528 (java) S 6519 6519 3395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46190537 14427361280 28329 33554432000 4194304 4196468 140722690250704 139899911144608 139900370790101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6529] ppid=6519 vsize=14089220 memory=12976 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6529/stat : 6529 (java) S 6519 6519 3395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46190537 14427361280 28329 33554432000 4194304 4196468 140722690250704 139899910091504 139900370790101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6530] ppid=6519 vsize=14089220 memory=792 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6530/stat : 6530 (java) S 6519 6519 3395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46190540 14427361280 28329 33554432000 4194304 4196468 140722690250704 139899909040080 139900370798491 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6531] ppid=6519 vsize=14089220 memory=1952 CPUtime=0.35 cores=0,2,4,6
/proc/6521/task/6531/stat : 6531 (java) R 6519 6519 3395 0 -1 4202560 1477 0 0 0 35 0 0 0 20 0 15 0 46190540 14427361280 28329 33554432000 4194304 4196468 140722690250704 139899907979040 139900352301295 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6532] ppid=6519 vsize=14089220 memory=1232 CPUtime=0.34 cores=0,2,4,6
/proc/6521/task/6532/stat : 6532 (java) R 6519 6519 3395 0 -1 4202560 1261 0 0 0 34 0 0 0 20 0 15 0 46190540 14427361280 28329 33554432000 4194304 4196468 140722690250704 139899906921544 139900352297812 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6533] ppid=6519 vsize=14089220 memory=8372 CPUtime=0.28 cores=0,2,4,6
/proc/6521/task/6533/stat : 6533 (java) S 6519 6519 3395 0 -1 1077944384 1603 0 0 0 28 0 0 0 20 0 15 0 46190540 14427361280 28329 33554432000 4194304 4196468 140722690250704 139899905882608 139900370791042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6534] ppid=6519 vsize=14089220 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6534/stat : 6534 (java) S 6519 6519 3395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46190540 14427361280 28329 33554432000 4194304 4196468 140722690250704 139899904830304 139900370790101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6535] ppid=6519 vsize=14089220 memory=5412 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6535/stat : 6535 (java) S 6519 6519 3395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46190540 14427361280 28329 33554432000 4194304 4196468 140722690250704 139899903777328 139900370791042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
Current children cumulated CPU time: 1.68 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 114772 KiB

[startup+1.50154 s]
/proc/loadavg: 2.11 2.01 1.96 3/219 6535
/proc/meminfo: memFree=19808920/32770624 swapFree=67108860/67108860
[pid=6519] ppid=6516 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/6519/stat : 6519 (xcsp3-exec) S 6516 6519 3395 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 46190534 115843072 364 33554432000 4194304 5098028 140720491870064 140720491868168 139950957326972 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33894400 140720491877434 140720491877636 140720491877636 140720491880394 0
/proc/6519/statm: 28282 364 306 221 0 87 0

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

/proc/6519/stat : 6519 (xcsp3-exec) S 6516 6519 3395 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 46190534 115843072 364 33554432000 4194304 5098028 140720491870064 140720491868168 139950957326972 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33894400 140720491877434 140720491877636 140720491877636 140720491880394 0
/proc/6519/statm: 28282 364 306 221 0 87 0
[pid=6521] ppid=6519 vsize=14089220 memory=620708 CPUtime=417.48 cores=0,2,4,6
/proc/6521/stat : 6521 (java) S 6519 6519 3395 0 -1 1077944320 55921 0 0 0 41719 29 0 0 20 0 15 0 46190534 14427361280 155177 33554432000 4194304 4196468 140722690250704 140722690233248 139900370779895 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
/proc/6521/statm: 3522305 155177 3410 1 0 3483520 0
[pid=6521/tid=6522] ppid=6519 vsize=14089220 memory=2400 CPUtime=411.07 cores=0,2,4,6
/proc/6521/task/6522/stat : 6522 (java) R 6519 6519 3395 0 -1 4202560 13750 0 0 0 41095 12 0 0 20 0 15 0 46190534 14427361280 155177 33554432000 4194304 4196468 140722690250704 139900375016792 139899993116971 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6523] ppid=6519 vsize=14089220 memory=1836 CPUtime=0.07 cores=0,2,4,6
/proc/6521/task/6523/stat : 6523 (java) S 6519 6519 3395 0 -1 1077944384 1140 0 0 0 5 2 0 0 20 0 15 0 46190535 14427361280 155177 33554432000 4194304 4196468 140722690250704 139900308380688 139900370790101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6524] ppid=6519 vsize=14089220 memory=12976 CPUtime=0.06 cores=0,2,4,6
/proc/6521/task/6524/stat : 6524 (java) S 6519 6519 3395 0 -1 1077944384 1692 0 0 0 5 1 0 0 20 0 15 0 46190535 14427361280 155177 33554432000 4194304 4196468 140722690250704 139900307328144 139900370790101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6525] ppid=6519 vsize=14089220 memory=792 CPUtime=0.07 cores=0,2,4,6
/proc/6521/task/6525/stat : 6525 (java) S 6519 6519 3395 0 -1 1077944384 1619 0 0 0 5 2 0 0 20 0 15 0 46190535 14427361280 155177 33554432000 4194304 4196468 140722690250704 139899963972368 139900370790101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6526] ppid=6519 vsize=14089220 memory=1952 CPUtime=0.06 cores=0,2,4,6
/proc/6521/task/6526/stat : 6526 (java) S 6519 6519 3395 0 -1 1077944384 1819 0 0 0 4 2 0 0 20 0 15 0 46190535 14427361280 155177 33554432000 4194304 4196468 140722690250704 139899962919824 139900370790101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6527] ppid=6519 vsize=14089220 memory=1232 CPUtime=0.02 cores=0,2,4,6
/proc/6521/task/6527/stat : 6527 (java) S 6519 6519 3395 0 -1 1077944384 1814 0 0 0 2 0 0 0 20 0 15 0 46190537 14427361280 155177 33554432000 4194304 4196468 140722690250704 139899912198384 139900370791042 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6528] ppid=6519 vsize=14089220 memory=9468 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6528/stat : 6528 (java) S 6519 6519 3395 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 46190537 14427361280 155177 33554432000 4194304 4196468 140722690250704 139899911144672 139900370790101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6529] ppid=6519 vsize=14089220 memory=4004 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6529/stat : 6529 (java) S 6519 6519 3395 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 46190537 14427361280 155177 33554432000 4194304 4196468 140722690250704 139899910091520 139900370790101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6530] ppid=6519 vsize=14089220 memory=18448 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6530/stat : 6530 (java) S 6519 6519 3395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46190540 14427361280 155177 33554432000 4194304 4196468 140722690250704 139899909040080 139900370798491 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6531] ppid=6519 vsize=14089220 memory=1796 CPUtime=2.38 cores=0,2,4,6
/proc/6521/task/6531/stat : 6531 (java) S 6519 6519 3395 0 -1 1077944384 9366 0 0 0 237 1 0 0 20 0 15 0 46190540 14427361280 155177 33554432000 4194304 4196468 140722690250704 139899907988208 139900370791042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 22 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6532] ppid=6519 vsize=14089220 memory=4486604260213485459 CPUtime=2.81 cores=0,2,4,6
/proc/6521/task/6532/stat : 6532 (java) S 6519 6519 3395 0 -1 1077944384 12676 0 0 0 280 1 0 0 20 0 15 0 46190540 14427361280 155177 33554432000 4194304 4196468 140722690250704 139899906935664 139900370791042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 21 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6533] ppid=6519 vsize=14089220 memory=7306916055891837008 CPUtime=0.74 cores=0,2,4,6
/proc/6521/task/6533/stat : 6533 (java) S 6519 6519 3395 0 -1 1077944384 10256 0 0 0 72 2 0 0 20 0 15 0 46190540 14427361280 155177 33554432000 4194304 4196468 140722690250704 139899905882608 139900370791042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 21 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6534] ppid=6519 vsize=14089220 memory=288284472154260269 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6534/stat : 6534 (java) S 6519 6519 3395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46190540 14427361280 155177 33554432000 4194304 4196468 140722690250704 139899904830304 139900370790101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6535] ppid=6519 vsize=14089220 memory=-6942707149480681053 CPUtime=0.12 cores=0,2,4,6
/proc/6521/task/6535/stat : 6535 (java) S 6519 6519 3395 0 -1 1077944384 397 0 0 0 7 5 0 0 20 0 15 0 46190540 14427361280 155177 33554432000 4194304 4196468 140722690250704 139899903777328 139900370791042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 25 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
Current children cumulated CPU time: 417.48 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 622164 KiB

[startup+411.601 s]
/proc/loadavg: 2.02 1.99 1.96 3/218 6549
/proc/meminfo: memFree=19323688/32770624 swapFree=67108860/67108860
[pid=6519] ppid=6516 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/6519/stat : 6519 (xcsp3-exec) S 6516 6519 3395 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 46190534 115843072 364 33554432000 4194304 5098028 140720491870064 140720491868168 139950957326972 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33894400 140720491877434 140720491877636 140720491877636 140720491880394 0
/proc/6519/statm: 28282 364 306 221 0 87 0
[pid=6521] ppid=6519 vsize=14089220 memory=620708 CPUtime=417.88 cores=0,2,4,6
/proc/6521/stat : 6521 (java) S 6519 6519 3395 0 -1 1077944320 55923 0 0 0 41759 29 0 0 20 0 15 0 46190534 14427361280 155177 33554432000 4194304 4196468 140722690250704 140722690233248 139900370779895 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
/proc/6521/statm: 3522305 155177 3410 1 0 3483520 0
[pid=6521/tid=6522] ppid=6519 vsize=14089220 memory=4140 CPUtime=411.47 cores=0,2,4,6
/proc/6521/task/6522/stat : 6522 (java) R 6519 6519 3395 0 -1 4202560 13752 0 0 0 41135 12 0 0 20 0 15 0 46190534 14427361280 155177 33554432000 4194304 4196468 140722690250704 139900375016792 139899993116981 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6523] ppid=6519 vsize=14089220 memory=15428 CPUtime=0.07 cores=0,2,4,6
/proc/6521/task/6523/stat : 6523 (java) S 6519 6519 3395 0 -1 1077944384 1140 0 0 0 5 2 0 0 20 0 15 0 46190535 14427361280 155177 33554432000 4194304 4196468 140722690250704 139900308380688 139900370790101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6524] ppid=6519 vsize=14089220 memory=1296 CPUtime=0.06 cores=0,2,4,6
/proc/6521/task/6524/stat : 6524 (java) S 6519 6519 3395 0 -1 1077944384 1692 0 0 0 5 1 0 0 20 0 15 0 46190535 14427361280 155177 33554432000 4194304 4196468 140722690250704 139900307328144 139900370790101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6525] ppid=6519 vsize=14089220 memory=8112282956445269571 CPUtime=0.07 cores=0,2,4,6
/proc/6521/task/6525/stat : 6525 (java) S 6519 6519 3395 0 -1 1077944384 1619 0 0 0 5 2 0 0 20 0 15 0 46190535 14427361280 155177 33554432000 4194304 4196468 140722690250704 139899963972368 139900370790101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6526] ppid=6519 vsize=14089220 memory=7288 CPUtime=0.06 cores=0,2,4,6
/proc/6521/task/6526/stat : 6526 (java) S 6519 6519 3395 0 -1 1077944384 1819 0 0 0 4 2 0 0 20 0 15 0 46190535 14427361280 155177 33554432000 4194304 4196468 140722690250704 139899962919824 139900370790101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6527] ppid=6519 vsize=14089220 memory=840 CPUtime=0.02 cores=0,2,4,6
/proc/6521/task/6527/stat : 6527 (java) S 6519 6519 3395 0 -1 1077944384 1814 0 0 0 2 0 0 0 20 0 15 0 46190537 14427361280 155177 33554432000 4194304 4196468 140722690250704 139899912198384 139900370791042 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6528] ppid=6519 vsize=14089220 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6528/stat : 6528 (java) S 6519 6519 3395 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 46190537 14427361280 155177 33554432000 4194304 4196468 140722690250704 139899911144672 139900370790101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6529] ppid=6519 vsize=14089220 memory=916 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6529/stat : 6529 (java) S 6519 6519 3395 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 46190537 14427361280 155177 33554432000 4194304 4196468 140722690250704 139899910091520 139900370790101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6530] ppid=6519 vsize=14089220 memory=3232 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6530/stat : 6530 (java) S 6519 6519 3395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46190540 14427361280 155177 33554432000 4194304 4196468 140722690250704 139899909040080 139900370798491 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6531] ppid=6519 vsize=14089220 memory=1452 CPUtime=2.38 cores=0,2,4,6
/proc/6521/task/6531/stat : 6531 (java) S 6519 6519 3395 0 -1 1077944384 9366 0 0 0 237 1 0 0 20 0 15 0 46190540 14427361280 155177 33554432000 4194304 4196468 140722690250704 139899907988208 139900370791042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 22 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6532] ppid=6519 vsize=14089220 memory=234772 CPUtime=2.81 cores=0,2,4,6
/proc/6521/task/6532/stat : 6532 (java) S 6519 6519 3395 0 -1 1077944384 12676 0 0 0 280 1 0 0 20 0 15 0 46190540 14427361280 155177 33554432000 4194304 4196468 140722690250704 139899906935664 139900370791042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 21 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6533] ppid=6519 vsize=14089220 memory=1408 CPUtime=0.74 cores=0,2,4,6
/proc/6521/task/6533/stat : 6533 (java) S 6519 6519 3395 0 -1 1077944384 10256 0 0 0 72 2 0 0 20 0 15 0 46190540 14427361280 155177 33554432000 4194304 4196468 140722690250704 139899905882608 139900370791042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 21 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6534] ppid=6519 vsize=14089220 memory=3248 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6534/stat : 6534 (java) S 6519 6519 3395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46190540 14427361280 155177 33554432000 4194304 4196468 140722690250704 139899904830304 139900370790101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6535] ppid=6519 vsize=14089220 memory=8112282956445269571 CPUtime=0.12 cores=0,2,4,6
/proc/6521/task/6535/stat : 6535 (java) S 6519 6519 3395 0 -1 1077944384 397 0 0 0 7 5 0 0 20 0 15 0 46190540 14427361280 155177 33554432000 4194304 4196468 140722690250704 139899903777328 139900370791042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 25 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
Current children cumulated CPU time: 417.88 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 622164 KiB

[startup+411.801 s]
/proc/loadavg: 2.02 1.99 1.96 3/218 6549
/proc/meminfo: memFree=19323688/32770624 swapFree=67108860/67108860
[pid=6519] ppid=6516 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/6519/stat : 6519 (xcsp3-exec) S 6516 6519 3395 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 46190534 115843072 364 33554432000 4194304 5098028 140720491870064 140720491868168 139950957326972 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33894400 140720491877434 140720491877636 140720491877636 140720491880394 0
/proc/6519/statm: 28282 364 306 221 0 87 0
[pid=6521] ppid=6519 vsize=14089220 memory=620708 CPUtime=418.08 cores=0,2,4,6
/proc/6521/stat : 6521 (java) S 6519 6519 3395 0 -1 1077944320 55937 0 0 0 41779 29 0 0 20 0 15 0 46190534 14427361280 155177 33554432000 4194304 4196468 140722690250704 140722690233248 139900370779895 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
/proc/6521/statm: 3522305 155177 3410 1 0 3483520 0
[pid=6521/tid=6522] ppid=6519 vsize=14089220 memory=251677 CPUtime=411.67 cores=0,2,4,6
/proc/6521/task/6522/stat : 6522 (java) R 6519 6519 3395 0 -1 4202560 13754 0 0 0 41155 12 0 0 20 0 15 0 46190534 14427361280 155177 33554432000 4194304 4196468 140722690250704 139900375016792 139899994086827 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6523] ppid=6519 vsize=14089220 memory=279362121236720 CPUtime=0.07 cores=0,2,4,6
/proc/6521/task/6523/stat : 6523 (java) S 6519 6519 3395 0 -1 1077944384 1140 0 0 0 5 2 0 0 20 0 15 0 46190535 14427361280 155177 33554432000 4194304 4196468 140722690250704 139900308380688 139900370790101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6524] ppid=6519 vsize=14089220 memory=1012 CPUtime=0.06 cores=0,2,4,6
/proc/6521/task/6524/stat : 6524 (java) S 6519 6519 3395 0 -1 1077944384 1692 0 0 0 5 1 0 0 20 0 15 0 46190535 14427361280 155177 33554432000 4194304 4196468 140722690250704 139900307328144 139900370790101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6525] ppid=6519 vsize=14089220 memory=1436 CPUtime=0.07 cores=0,2,4,6
/proc/6521/task/6525/stat : 6525 (java) S 6519 6519 3395 0 -1 1077944384 1619 0 0 0 5 2 0 0 20 0 15 0 46190535 14427361280 155177 33554432000 4194304 4196468 140722690250704 139899963972368 139900370790101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6526] ppid=6519 vsize=14089220 memory=1200 CPUtime=0.06 cores=0,2,4,6
/proc/6521/task/6526/stat : 6526 (java) S 6519 6519 3395 0 -1 1077944384 1819 0 0 0 4 2 0 0 20 0 15 0 46190535 14427361280 155177 33554432000 4194304 4196468 140722690250704 139899962919824 139900370790101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6527] ppid=6519 vsize=14089220 memory=15876 CPUtime=0.02 cores=0,2,4,6
/proc/6521/task/6527/stat : 6527 (java) S 6519 6519 3395 0 -1 1077944384 1814 0 0 0 2 0 0 0 20 0 15 0 46190537 14427361280 155177 33554432000 4194304 4196468 140722690250704 139899912198384 139900370791042 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6528] ppid=6519 vsize=14089220 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6528/stat : 6528 (java) S 6519 6519 3395 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 46190537 14427361280 155177 33554432000 4194304 4196468 140722690250704 139899911144672 139900370790101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6529] ppid=6519 vsize=14089220 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6529/stat : 6529 (java) S 6519 6519 3395 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 46190537 14427361280 155177 33554432000 4194304 4196468 140722690250704 139899910091520 139900370790101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6530] ppid=6519 vsize=14089220 memory=55 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6530/stat : 6530 (java) S 6519 6519 3395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46190540 14427361280 155177 33554432000 4194304 4196468 140722690250704 139899909040080 139900370798491 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6531] ppid=6519 vsize=14089220 memory=10872 CPUtime=2.38 cores=0,2,4,6
/proc/6521/task/6531/stat : 6531 (java) S 6519 6519 3395 0 -1 1077944384 9378 0 0 0 237 1 0 0 20 0 15 0 46190540 14427361280 155177 33554432000 4194304 4196468 140722690250704 139899907988208 139900370791042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 22 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6532] ppid=6519 vsize=14089220 memory=20704 CPUtime=2.81 cores=0,2,4,6
/proc/6521/task/6532/stat : 6532 (java) S 6519 6519 3395 0 -1 1077944384 12676 0 0 0 280 1 0 0 20 0 15 0 46190540 14427361280 155177 33554432000 4194304 4196468 140722690250704 139899906935664 139900370791042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 21 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6533] ppid=6519 vsize=14089220 memory=6944656592387989600 CPUtime=0.74 cores=0,2,4,6
/proc/6521/task/6533/stat : 6533 (java) S 6519 6519 3395 0 -1 1077944384 10256 0 0 0 72 2 0 0 20 0 15 0 46190540 14427361280 155177 33554432000 4194304 4196468 140722690250704 139899905882608 139900370791042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 21 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6534] ppid=6519 vsize=14089220 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6534/stat : 6534 (java) S 6519 6519 3395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46190540 14427361280 155177 33554432000 4194304 4196468 140722690250704 139899904830304 139900370790101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6535] ppid=6519 vsize=14089220 memory=7233736994252652628 CPUtime=0.12 cores=0,2,4,6
/proc/6521/task/6535/stat : 6535 (java) S 6519 6519 3395 0 -1 1077944384 397 0 0 0 7 5 0 0 20 0 15 0 46190540 14427361280 155177 33554432000 4194304 4196468 140722690250704 139899903777328 139900370791042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 25 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
Current children cumulated CPU time: 418.08 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 622164 KiB

[startup+411.901 s]
/proc/loadavg: 2.02 1.99 1.96 3/218 6549
/proc/meminfo: memFree=19323688/32770624 swapFree=67108860/67108860
[pid=6519] ppid=6516 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/6519/stat : 6519 (xcsp3-exec) S 6516 6519 3395 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 46190534 115843072 364 33554432000 4194304 5098028 140720491870064 140720491868168 139950957326972 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 33894400 140720491877434 140720491877636 140720491877636 140720491880394 0
/proc/6519/statm: 28282 364 306 221 0 87 0
[pid=6521] ppid=6519 vsize=14089220 memory=620708 CPUtime=418.18 cores=0,2,4,6
/proc/6521/stat : 6521 (java) S 6519 6519 3395 0 -1 1077944320 55937 0 0 0 41789 29 0 0 20 0 15 0 46190534 14427361280 155177 33554432000 4194304 4196468 140722690250704 140722690233248 139900370779895 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
/proc/6521/statm: 3522305 155177 3410 1 0 3483520 0
[pid=6521/tid=6522] ppid=6519 vsize=14089220 memory=620708 CPUtime=411.77 cores=0,2,4,6
/proc/6521/task/6522/stat : 6522 (java) R 6519 6519 3395 0 -1 4202560 13754 0 0 0 41165 12 0 0 20 0 15 0 46190534 14427361280 155177 33554432000 4194304 4196468 140722690250704 139900375016792 139899993952898 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6523] ppid=6519 vsize=14089220 memory=620708 CPUtime=0.07 cores=0,2,4,6
/proc/6521/task/6523/stat : 6523 (java) S 6519 6519 3395 0 -1 1077944384 1140 0 0 0 5 2 0 0 20 0 15 0 46190535 14427361280 155177 33554432000 4194304 4196468 140722690250704 139900308380688 139900370790101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6524] ppid=6519 vsize=14089220 memory=617592 CPUtime=0.06 cores=0,2,4,6
/proc/6521/task/6524/stat : 6524 (java) S 6519 6519 3395 0 -1 1077944384 1692 0 0 0 5 1 0 0 20 0 15 0 46190535 14427361280 155177 33554432000 4194304 4196468 140722690250704 139900307328144 139900370790101 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6525] ppid=6519 vsize=14089220 memory=1456 CPUtime=0.07 cores=0,2,4,6
/proc/6521/task/6525/stat : 6525 (java) S 6519 6519 3395 0 -1 1077944384 1619 0 0 0 5 2 0 0 20 0 15 0 46190535 14427361280 155177 33554432000 4194304 4196468 140722690250704 139899963972368 139900370790101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6526] ppid=6519 vsize=14089220 memory=620708 CPUtime=0.06 cores=0,2,4,6
/proc/6521/task/6526/stat : 6526 (java) S 6519 6519 3395 0 -1 1077944384 1819 0 0 0 4 2 0 0 20 0 15 0 46190535 14427361280 155177 33554432000 4194304 4196468 140722690250704 139899962919824 139900370790101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6527] ppid=6519 vsize=14089220 memory=620708 CPUtime=0.02 cores=0,2,4,6
/proc/6521/task/6527/stat : 6527 (java) S 6519 6519 3395 0 -1 1077944384 1814 0 0 0 2 0 0 0 20 0 15 0 46190537 14427361280 155177 33554432000 4194304 4196468 140722690250704 139899912198384 139900370791042 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6528] ppid=6519 vsize=14089220 memory=620708 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6528/stat : 6528 (java) S 6519 6519 3395 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 46190537 14427361280 155177 33554432000 4194304 4196468 140722690250704 139899911144672 139900370790101 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6529] ppid=6519 vsize=14089220 memory=620708 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6529/stat : 6529 (java) S 6519 6519 3395 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 46190537 14427361280 155177 33554432000 4194304 4196468 140722690250704 139899910091520 139900370790101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6530] ppid=6519 vsize=14089220 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6530/stat : 6530 (java) S 6519 6519 3395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46190540 14427361280 155177 33554432000 4194304 4196468 140722690250704 139899909040080 139900370798491 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6531] ppid=6519 vsize=14089220 memory=4004 CPUtime=2.38 cores=0,2,4,6
/proc/6521/task/6531/stat : 6531 (java) S 6519 6519 3395 0 -1 1077944384 9378 0 0 0 237 1 0 0 20 0 15 0 46190540 14427361280 155177 33554432000 4194304 4196468 140722690250704 139899907988208 139900370791042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 22 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6532] ppid=6519 vsize=14089220 memory=2257 CPUtime=2.81 cores=0,2,4,6
/proc/6521/task/6532/stat : 6532 (java) S 6519 6519 3395 0 -1 1077944384 12676 0 0 0 280 1 0 0 20 0 15 0 46190540 14427361280 155177 33554432000 4194304 4196468 140722690250704 139899906935664 139900370791042 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 21 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6533] ppid=6519 vsize=14089220 memory=620708 CPUtime=0.74 cores=0,2,4,6
/proc/6521/task/6533/stat : 6533 (java) S 6519 6519 3395 0 -1 1077944384 10256 0 0 0 72 2 0 0 20 0 15 0 46190540 14427361280 155177 33554432000 4194304 4196468 140722690250704 139899905882608 139900370791042 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 21 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6534] ppid=6519 vsize=14089220 memory=-6298415381755220059 CPUtime=0 cores=0,2,4,6
/proc/6521/task/6534/stat : 6534 (java) S 6519 6519 3395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46190540 14427361280 155177 33554432000 4194304 4196468 140722690250704 139899904830304 139900370790101 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
[pid=6521/tid=6535] ppid=6519 vsize=14089220 memory=7666063797767267944 CPUtime=0.12 cores=0,2,4,6
/proc/6521/task/6535/stat : 6535 (java) S 6519 6519 3395 0 -1 1077944384 397 0 0 0 7 5 0 0 20 0 15 0 46190540 14427361280 155177 33554432000 4194304 4196468 140722690250704 139899903777328 139900370791042 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 25 0 0 6293624 6294260 38952960 140722690253953 140722690254129 140722690254129 140722690256847 0
Current children cumulated CPU time: 418.18 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 622164 KiB

Child status: 0
Real time (s): 411.924
CPU time (s): 418.213
CPU user time (s): 417.91
CPU system time (s): 0.303321
CPU usage (%): 101.527
Max. virtual memory (cumulated for all children) (KiB): 14204456
Max. memory (cumulated for all children) (KiB): 622164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 417.91
system time used= 0.303321
maximum resident set size= 626824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57079
page faults= 0
swaps= 0
block input operations= 0
block output operations= 536
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11848
involuntary context switches= 555


# summary of solver processes directly reported to runsolver:
#   pid: 6519
#   total CPU time (s): 418.213
#   total CPU user time (s): 417.91
#   total CPU system time (s): 0.303321

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.18403 second user time and 3.98728 second system time

The end
Name	GraphColoring/ GraphColoring-2-fullins-5_c18.xml
MD5SUM	7175cc64c8263572fa1d1d1459976d33
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	6
Best CPU time to get the best result obtained on this benchmark	352.426
Satisfiable
(Un)Satisfiability was proved
Number of variables	852
Number of constraints	12201
Number of domains	1
Minimum domain size	852
Maximum domain size	852
Distribution of domain sizes	[{"size":852,"count":852}]
Minimum variable degree	9
Maximum variable degree	216
Distribution of variable degrees	[{"degree":9,"count":4},{"degree":10,"count":10},{"degree":11,"count":10},{"degree":12,"count":24},{"degree":13,"count":14},{"degree":14,"count":28},{"degree":15,"count":20},{"degree":16,"count":40},{"degree":17,"count":26},{"degree":18,"count":52},{"degree":19,"count":24},{"degree":20,"count":52},{"degree":21,"count":10},{"degree":22,"count":20},{"degree":23,"count":24},{"degree":24,"count":48},{"degree":25,"count":18},{"degree":26,"count":36},{"degree":27,"count":20},{"degree":28,"count":40},{"degree":29,"count":16},{"degree":30,"count":32},{"degree":31,"count":32},{"degree":32,"count":64},{"degree":33,"count":4},{"degree":34,"count":8},{"degree":35,"count":4},{"degree":36,"count":8},{"degree":41,"count":4},{"degree":42,"count":8},{"degree":43,"count":8},{"degree":44,"count":16},{"degree":45,"count":8},{"degree":46,"count":16},{"degree":47,"count":16},{"degree":48,"count":32},{"degree":58,"count":4},{"degree":61,"count":4},{"degree":62,"count":8},{"degree":63,"count":8},{"degree":64,"count":16},{"degree":111,"count":4},{"degree":112,"count":8},{"degree":216,"count":4}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":12201}]
Number of extensional constraints	0
Number of intensional constraints	12201
Distribution of constraint types	[{"type":"intension","count":12201}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4292214

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
