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-09-16	OPT	6	174.488	44.7671
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 (12106 MiB free)
  memory of node 1: 16384 MiB (15531 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400424-1568677868/watcher-4400424-1568677868 -o /tmp/evaluation-result-4400424-1568677868/solver-4400424-1568677868 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568673273-32545 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 163448157 HOME/instance-4400424-1568677868.xml 

running on 4 cores: 1,3,5,7

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=6501, runsolver pid=6498

[startup+0.102499 s]*
/proc/loadavg: 8.08 8.36 8.47 7/233 6517
/proc/meminfo: memFree=28283284/32770624 swapFree=66997372/67108860
[pid=6501] ppid=6498 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6501/stat : 6501 (xcsp3-exec) S 6498 6501 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444039858 115843072 363 33554432000 4194304 5098028 140722363079760 140722363077864 140694461870716 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33964032 140722363081595 140722363081837 140722363081837 140722363084746 0
/proc/6501/statm: 28282 363 305 221 0 87 0
[pid=6503] ppid=6501 vsize=15144776 memory=30388 CPUtime=0.13 cores=1,3,5,7
/proc/6503/stat : 6503 (java) S 6501 6501 32513 0 -1 1077944320 5978 0 0 0 12 1 0 0 20 0 15 0 444039858 15508250624 7597 33554432000 4194304 4196468 140722274047120 140722274029664 140503704293111 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
/proc/6503/statm: 3786194 7597 3210 1 0 3748377 0
[pid=6503/tid=6504] ppid=6501 vsize=15144776 memory=7031125463459224206 CPUtime=0.09 cores=1,3,5,7
/proc/6503/task/6504/stat : 6504 (java) R 6501 6501 32513 0 -1 4202560 3859 0 0 0 9 0 0 0 20 0 15 0 444039858 15508250624 7597 33554432000 4194304 4196468 140722274047120 140503708522864 140503295333197 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6505] ppid=6501 vsize=15144776 memory=7378697629483820645 CPUtime=0 cores=1,3,5,7
/proc/6503/task/6505/stat : 6505 (java) S 6501 6501 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444039859 15508250624 7597 33554432000 4194304 4196468 140722274047120 140503615949072 140503704303317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6506] ppid=6501 vsize=15144776 memory=140140685534848 CPUtime=0 cores=1,3,5,7
/proc/6503/task/6506/stat : 6506 (java) S 6501 6501 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444039859 15508250624 7597 33554432000 4194304 4196468 140722274047120 140503295191440 140503704303317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6507] ppid=6501 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6503/task/6507/stat : 6507 (java) S 6501 6501 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444039859 15508250624 7597 33554432000 4194304 4196468 140722274047120 140503294138896 140503704303317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6508] ppid=6501 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6503/task/6508/stat : 6508 (java) S 6501 6501 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444039859 15508250624 7597 33554432000 4194304 4196468 140722274047120 140503293086352 140503704303317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6509] ppid=6501 vsize=15144776 memory=140140685534848 CPUtime=0 cores=1,3,5,7
/proc/6503/task/6509/stat : 6509 (java) S 6501 6501 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444039860 15508250624 7597 33554432000 4194304 4196468 140722274047120 140502578366960 140503704304258 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6510] ppid=6501 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6503/task/6510/stat : 6510 (java) S 6501 6501 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444039861 15508250624 7597 33554432000 4194304 4196468 140722274047120 140502577313184 140503704303317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6511] ppid=6501 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6503/task/6511/stat : 6511 (java) S 6501 6501 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444039861 15508250624 7597 33554432000 4194304 4196468 140722274047120 140502576260592 140503704303317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6512] ppid=6501 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6503/task/6512/stat : 6512 (java) S 6501 6501 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444039863 15508250624 7597 33554432000 4194304 4196468 140722274047120 140502575209168 140503704311707 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6513] ppid=6501 vsize=15144776 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/6503/task/6513/stat : 6513 (java) R 6501 6501 32513 0 -1 4202560 463 0 0 0 1 0 0 0 20 0 15 0 444039863 15508250624 7597 33554432000 4194304 4196468 140722274047120 140502574147264 140503688283283 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6514] ppid=6501 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6503/task/6514/stat : 6514 (java) R 6501 6501 32513 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 444039863 15508250624 7597 33554432000 4194304 4196468 140722274047120 140502573103216 140503704304258 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6515] ppid=6501 vsize=15144776 memory=140140685534848 CPUtime=0.02 cores=1,3,5,7
/proc/6503/task/6515/stat : 6515 (java) R 6501 6501 32513 0 -1 4202560 353 0 0 0 2 0 0 0 20 0 15 0 444039863 15508250624 7597 33554432000 4194304 4196468 140722274047120 140502572050672 140503682997969 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6516] ppid=6501 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6503/task/6516/stat : 6516 (java) S 6501 6501 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444039863 15508250624 7597 33554432000 4194304 4196468 140722274047120 140502570998368 140503704303317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6517] ppid=6501 vsize=15144776 memory=140140685534848 CPUtime=0 cores=1,3,5,7
/proc/6503/task/6517/stat : 6517 (java) S 6501 6501 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444039864 15508250624 7597 33554432000 4194304 4196468 140722274047120 140502569945904 140503704304258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31840 KiB

[startup+0.212112 s]*
/proc/loadavg: 8.08 8.36 8.47 6/233 6517
/proc/meminfo: memFree=28270592/32770624 swapFree=66997372/67108860
[pid=6501] ppid=6498 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6501/stat : 6501 (xcsp3-exec) S 6498 6501 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444039858 115843072 363 33554432000 4194304 5098028 140722363079760 140722363077864 140694461870716 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33964032 140722363081595 140722363081837 140722363081837 140722363084746 0
/proc/6501/statm: 28282 363 305 221 0 87 0
[pid=6503] ppid=6501 vsize=15144776 memory=40968 CPUtime=0.34 cores=1,3,5,7
/proc/6503/stat : 6503 (java) S 6501 6501 32513 0 -1 1077944320 9483 0 0 0 32 2 0 0 20 0 15 0 444039858 15508250624 10242 33554432000 4194304 4196468 140722274047120 140722274029664 140503704293111 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
/proc/6503/statm: 3786194 10242 3270 1 0 3748377 0
[pid=6503/tid=6504] ppid=6501 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/6503/task/6504/stat : 6504 (java) R 6501 6501 32513 0 -1 4202560 6671 0 0 0 18 2 0 0 20 0 15 0 444039858 15508250624 10242 33554432000 4194304 4196468 140722274047120 140503708530576 140503704315037 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6505] ppid=6501 vsize=15144776 memory=4294976396 CPUtime=0 cores=1,3,5,7
/proc/6503/task/6505/stat : 6505 (java) S 6501 6501 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444039859 15508250624 10242 33554432000 4194304 4196468 140722274047120 140503615949072 140503704303317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6506] ppid=6501 vsize=15144776 memory=140140689006074 CPUtime=0 cores=1,3,5,7
/proc/6503/task/6506/stat : 6506 (java) S 6501 6501 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444039859 15508250624 10242 33554432000 4194304 4196468 140722274047120 140503295191440 140503704303317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6507] ppid=6501 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6503/task/6507/stat : 6507 (java) S 6501 6501 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444039859 15508250624 10242 33554432000 4194304 4196468 140722274047120 140503294138896 140503704303317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6508] ppid=6501 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6503/task/6508/stat : 6508 (java) S 6501 6501 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444039859 15508250624 10242 33554432000 4194304 4196468 140722274047120 140503293086352 140503704303317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6509] ppid=6501 vsize=15144776 memory=140140685534848 CPUtime=0 cores=1,3,5,7
/proc/6503/task/6509/stat : 6509 (java) S 6501 6501 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444039860 15508250624 10242 33554432000 4194304 4196468 140722274047120 140502578366960 140503704304258 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6510] ppid=6501 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6503/task/6510/stat : 6510 (java) S 6501 6501 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444039861 15508250624 10242 33554432000 4194304 4196468 140722274047120 140502577313184 140503704303317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6511] ppid=6501 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6503/task/6511/stat : 6511 (java) S 6501 6501 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444039861 15508250624 10242 33554432000 4194304 4196468 140722274047120 140502576260592 140503704303317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6512] ppid=6501 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6503/task/6512/stat : 6512 (java) S 6501 6501 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444039863 15508250624 10242 33554432000 4194304 4196468 140722274047120 140502575209168 140503704311707 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6513] ppid=6501 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/6503/task/6513/stat : 6513 (java) S 6501 6501 32513 0 -1 1077944384 712 0 0 0 3 0 0 0 20 0 15 0 444039863 15508250624 10242 33554432000 4194304 4196468 140722274047120 140502574155760 140503704304258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6514] ppid=6501 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/6503/task/6514/stat : 6514 (java) S 6501 6501 32513 0 -1 1077944384 43 0 0 0 1 0 0 0 20 0 15 0 444039863 15508250624 10242 33554432000 4194304 4196468 140722274047120 140502573103216 140503704304258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6515] ppid=6501 vsize=15144776 memory=140140685534848 CPUtime=0.08 cores=1,3,5,7
/proc/6503/task/6515/stat : 6515 (java) R 6501 6501 32513 0 -1 4202560 754 0 0 0 8 0 0 0 20 0 15 0 444039863 15508250624 10242 33554432000 4194304 4196468 140722274047120 140502572050672 140503704314458 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6516] ppid=6501 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6503/task/6516/stat : 6516 (java) S 6501 6501 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444039863 15508250624 10242 33554432000 4194304 4196468 140722274047120 140502570998368 140503704303317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6517] ppid=6501 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6503/task/6517/stat : 6517 (java) S 6501 6501 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444039864 15508250624 10242 33554432000 4194304 4196468 140722274047120 140502569945904 140503704304258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42420 KiB

[startup+0.310618 s]*
/proc/loadavg: 8.08 8.36 8.47 7/233 6517
/proc/meminfo: memFree=28263448/32770624 swapFree=66997372/67108860
[pid=6501] ppid=6498 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6501/stat : 6501 (xcsp3-exec) S 6498 6501 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444039858 115843072 363 33554432000 4194304 5098028 140722363079760 140722363077864 140694461870716 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33964032 140722363081595 140722363081837 140722363081837 140722363084746 0
/proc/6501/statm: 28282 363 305 221 0 87 0
[pid=6503] ppid=6501 vsize=15149032 memory=49912 CPUtime=0.53 cores=1,3,5,7
/proc/6503/stat : 6503 (java) S 6501 6501 32513 0 -1 1077944320 10890 0 0 0 49 4 0 0 20 0 15 0 444039858 15512608768 12478 33554432000 4194304 4196468 140722274047120 140722274029664 140503704293111 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
/proc/6503/statm: 3787258 12478 3347 1 0 3748377 0
[pid=6503/tid=6504] ppid=6501 vsize=15149032 memory=32213995742560408 CPUtime=0.3 cores=1,3,5,7
/proc/6503/task/6504/stat : 6504 (java) R 6501 6501 32513 0 -1 4202560 7836 0 0 0 27 3 0 0 20 0 15 0 444039858 15512608768 12546 33554432000 4194304 4196468 140722274047120 140503708519728 140503688373598 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6505] ppid=6501 vsize=15149032 memory=288230600379474824 CPUtime=0 cores=1,3,5,7
/proc/6503/task/6505/stat : 6505 (java) S 6501 6501 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444039859 15512608768 12546 33554432000 4194304 4196468 140722274047120 140503615949072 140503704303317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6506] ppid=6501 vsize=15149032 memory=14976667835019795 CPUtime=0 cores=1,3,5,7
/proc/6503/task/6506/stat : 6506 (java) S 6501 6501 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444039859 15512608768 12546 33554432000 4194304 4196468 140722274047120 140503295191440 140503704303317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6507] ppid=6501 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6503/task/6507/stat : 6507 (java) S 6501 6501 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444039859 15512608768 12546 33554432000 4194304 4196468 140722274047120 140503294138896 140503704303317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6508] ppid=6501 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6503/task/6508/stat : 6508 (java) S 6501 6501 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444039859 15512608768 12546 33554432000 4194304 4196468 140722274047120 140503293086352 140503704303317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6509] ppid=6501 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6503/task/6509/stat : 6509 (java) S 6501 6501 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444039860 15512608768 12546 33554432000 4194304 4196468 140722274047120 140502578366960 140503704304258 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6510] ppid=6501 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6503/task/6510/stat : 6510 (java) S 6501 6501 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444039861 15512608768 12546 33554432000 4194304 4196468 140722274047120 140502577313184 140503704303317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6511] ppid=6501 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6503/task/6511/stat : 6511 (java) S 6501 6501 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444039861 15512608768 12546 33554432000 4194304 4196468 140722274047120 140502576260592 140503704303317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6512] ppid=6501 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6503/task/6512/stat : 6512 (java) S 6501 6501 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444039863 15512608768 12546 33554432000 4194304 4196468 140722274047120 140502575209168 140503704311707 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6513] ppid=6501 vsize=15149032 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/6503/task/6513/stat : 6513 (java) S 6501 6501 32513 0 -1 1077944384 839 0 0 0 6 0 0 0 20 0 15 0 444039863 15512608768 12546 33554432000 4194304 4196468 140722274047120 140502574155760 140503704304258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6514] ppid=6501 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/6503/task/6514/stat : 6514 (java) S 6501 6501 32513 0 -1 1077944384 66 0 0 0 3 0 0 0 20 0 15 0 444039863 15512608768 12546 33554432000 4194304 4196468 140722274047120 140502573103216 140503704304258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6515] ppid=6501 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/6503/task/6515/stat : 6515 (java) S 6501 6501 32513 0 -1 1077944384 873 0 0 0 12 0 0 0 20 0 15 0 444039863 15512608768 12546 33554432000 4194304 4196468 140722274047120 140502572050672 140503704304258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6516] ppid=6501 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6503/task/6516/stat : 6516 (java) S 6501 6501 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444039863 15512608768 12546 33554432000 4194304 4196468 140722274047120 140502570998368 140503704303317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6517] ppid=6501 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6503/task/6517/stat : 6517 (java) S 6501 6501 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444039864 15512608768 12546 33554432000 4194304 4196468 140722274047120 140502569945904 140503704304258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51364 KiB

[startup+0.701364 s]
/proc/loadavg: 8.08 8.36 8.47 9/233 6517
/proc/meminfo: memFree=28243264/32770624 swapFree=66997372/67108860
[pid=6501] ppid=6498 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6501/stat : 6501 (xcsp3-exec) S 6498 6501 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444039858 115843072 363 33554432000 4194304 5098028 140722363079760 140722363077864 140694461870716 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33964032 140722363081595 140722363081837 140722363081837 140722363084746 0
/proc/6501/statm: 28282 363 305 221 0 87 0
[pid=6503] ppid=6501 vsize=15151156 memory=120764 CPUtime=1.71 cores=1,3,5,7
/proc/6503/stat : 6503 (java) S 6501 6501 32513 0 -1 1077944320 14148 0 0 0 166 5 0 0 20 0 15 0 444039858 15514783744 30191 33554432000 4194304 4196468 140722274047120 140722274029664 140503704293111 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
/proc/6503/statm: 3787789 30191 3445 1 0 3748889 0
[pid=6503/tid=6504] ppid=6501 vsize=15151156 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/6503/task/6504/stat : 6504 (java) R 6501 6501 32513 0 -1 4202560 8313 0 0 0 65 3 0 0 20 0 15 0 444039858 15514783744 30191 33554432000 4194304 4196468 140722274047120 140503708530000 140503704314458 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6505] ppid=6501 vsize=15151156 memory=143 CPUtime=0 cores=1,3,5,7
/proc/6503/task/6505/stat : 6505 (java) S 6501 6501 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444039859 15514783744 30191 33554432000 4194304 4196468 140722274047120 140503615949072 140503704303317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6506] ppid=6501 vsize=15151156 memory=2 CPUtime=0 cores=1,3,5,7
/proc/6503/task/6506/stat : 6506 (java) S 6501 6501 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444039859 15514783744 30191 33554432000 4194304 4196468 140722274047120 140503295191440 140503704303317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6507] ppid=6501 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6503/task/6507/stat : 6507 (java) S 6501 6501 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444039859 15514783744 30191 33554432000 4194304 4196468 140722274047120 140503294138896 140503704303317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6508] ppid=6501 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6503/task/6508/stat : 6508 (java) S 6501 6501 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444039859 15514783744 30191 33554432000 4194304 4196468 140722274047120 140503293086352 140503704303317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6509] ppid=6501 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6503/task/6509/stat : 6509 (java) S 6501 6501 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444039860 15514783744 30191 33554432000 4194304 4196468 140722274047120 140502578366960 140503704304258 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6510] ppid=6501 vsize=15151156 memory=2512 CPUtime=0 cores=1,3,5,7
/proc/6503/task/6510/stat : 6510 (java) S 6501 6501 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444039861 15514783744 30191 33554432000 4194304 4196468 140722274047120 140502577313184 140503704303317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6511] ppid=6501 vsize=15151156 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/6503/task/6511/stat : 6511 (java) S 6501 6501 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444039861 15514783744 30191 33554432000 4194304 4196468 140722274047120 140502576260592 140503704303317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6512] ppid=6501 vsize=15151156 memory=812 CPUtime=0 cores=1,3,5,7
/proc/6503/task/6512/stat : 6512 (java) S 6501 6501 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444039863 15514783744 30191 33554432000 4194304 4196468 140722274047120 140502575209168 140503704311707 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6513] ppid=6501 vsize=15151156 memory=1764 CPUtime=0.36 cores=1,3,5,7
/proc/6503/task/6513/stat : 6513 (java) R 6501 6501 32513 0 -1 4202560 1798 0 0 0 36 0 0 0 20 0 15 0 444039863 15514783744 30191 33554432000 4194304 4196468 140722274047120 140502574141640 140503683986211 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6514] ppid=6501 vsize=15151156 memory=111628 CPUtime=0.35 cores=1,3,5,7
/proc/6503/task/6514/stat : 6514 (java) R 6501 6501 32513 0 -1 4202560 1115 0 0 0 35 0 0 0 20 0 15 0 444039863 15514783744 30191 33554432000 4194304 4196468 140722274047120 140502573089096 140503689410268 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6515] ppid=6501 vsize=15151156 memory=796 CPUtime=0.29 cores=1,3,5,7
/proc/6503/task/6515/stat : 6515 (java) R 6501 6501 32513 0 -1 4202560 1616 0 0 0 29 0 0 0 20 0 15 0 444039863 15514783744 30191 33554432000 4194304 4196468 140722274047120 140502572050672 140503689431779 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6516] ppid=6501 vsize=15151156 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/6503/task/6516/stat : 6516 (java) S 6501 6501 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444039863 15514783744 30191 33554432000 4194304 4196468 140722274047120 140502570998368 140503704303317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6517] ppid=6501 vsize=15151156 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/6503/task/6517/stat : 6517 (java) S 6501 6501 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444039864 15514783744 30191 33554432000 4194304 4196468 140722274047120 140502569945904 140503704304258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
Current children cumulated CPU time: 1.71 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 122216 KiB

[startup+1.50308 s]
/proc/loadavg: 8.08 8.36 8.47 9/233 6517
/proc/meminfo: memFree=28152788/32770624 swapFree=66997372/67108860
[pid=6501] ppid=6498 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6501/stat : 6501 (xcsp3-exec) S 6498 6501 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444039858 115843072 363 33554432000 4194304 5098028 140722363079760 140722363077864 140694461870716 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33964032 140722363081595 140722363081837 140722363081837 140722363084746 0
/proc/6501/statm: 28282 363 305 221 0 87 0

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

/proc/6503/task/6517/stat : 6517 (java) S 6501 6501 32513 0 -1 1077944384 407 0 0 0 0 1 0 0 20 0 19 0 444039864 15857688576 550385 33554432000 4194304 4196468 140722274047120 140502569945904 140503704304258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6542] ppid=6501 vsize=15486024 memory=1548 CPUtime=39.46 cores=1,3,5,7
/proc/6503/task/6542/stat : 6542 (java) R 6501 6501 32513 0 -1 4202560 435 0 0 0 3946 0 0 0 20 0 19 0 444040215 15857688576 550385 33554432000 4194304 4196468 140722274047120 140502560726096 140503306333681 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6543] ppid=6501 vsize=15486024 memory=8560 CPUtime=39.22 cores=1,3,5,7
/proc/6503/task/6543/stat : 6543 (java) R 6501 6501 32513 0 -1 4202560 2090 0 0 0 3917 5 0 0 20 0 19 0 444040215 15857688576 550385 33554432000 4194304 4196468 140722274047120 140502558622856 140503304193512 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6544] ppid=6501 vsize=15486024 memory=1668 CPUtime=39.37 cores=1,3,5,7
/proc/6503/task/6544/stat : 6544 (java) R 6501 6501 32513 0 -1 4202560 6414 0 0 0 3915 22 0 0 20 0 19 0 444040215 15857688576 550385 33554432000 4194304 4196468 140722274047120 140502557571840 140503296348536 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6545] ppid=6501 vsize=15486024 memory=1112 CPUtime=39.7 cores=1,3,5,7
/proc/6503/task/6545/stat : 6545 (java) R 6501 6501 32513 0 -1 4202560 775 0 0 0 3970 0 0 0 20 0 19 0 444040215 15857688576 550385 33554432000 4194304 4196468 140722274047120 140502556516032 140503306331844 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
Current children cumulated CPU time: 171.69 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 2202992 KiB

[startup+44.4014 s]
/proc/loadavg: 8.47 8.45 8.50 9/237 6634
/proc/meminfo: memFree=29068000/32770624 swapFree=66997372/67108860
[pid=6501] ppid=6498 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6501/stat : 6501 (xcsp3-exec) S 6498 6501 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444039858 115843072 363 33554432000 4194304 5098028 140722363079760 140722363077864 140694461870716 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33964032 140722363081595 140722363081837 140722363081837 140722363084746 0
/proc/6501/statm: 28282 363 305 221 0 87 0
[pid=6503] ppid=6501 vsize=15486024 memory=2201540 CPUtime=173.25 cores=1,3,5,7
/proc/6503/stat : 6503 (java) S 6501 6501 32513 0 -1 1077944320 61372 0 0 0 17266 59 0 0 20 0 19 0 444039858 15857688576 550385 33554432000 4194304 4196468 140722274047120 140722274029664 140503704293111 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
/proc/6503/statm: 3871506 550385 3529 1 0 3832606 0
[pid=6503/tid=6504] ppid=6501 vsize=15486024 memory=2512 CPUtime=2.72 cores=1,3,5,7
/proc/6503/task/6504/stat : 6504 (java) S 6501 6501 32513 0 -1 1077944384 11454 0 0 0 266 6 0 0 20 0 19 0 444039858 15857688576 550385 33554432000 4194304 4196468 140722274047120 140503708533888 140503704303317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6505] ppid=6501 vsize=15486024 memory=8112282956445269571 CPUtime=0.15 cores=1,3,5,7
/proc/6503/task/6505/stat : 6505 (java) S 6501 6501 32513 0 -1 1077944384 1996 0 0 0 11 4 0 0 20 0 19 0 444039859 15857688576 550385 33554432000 4194304 4196468 140722274047120 140503615949072 140503704303317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6506] ppid=6501 vsize=15486024 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/6503/task/6506/stat : 6506 (java) S 6501 6501 32513 0 -1 1077944384 1347 0 0 0 12 4 0 0 20 0 19 0 444039859 15857688576 550385 33554432000 4194304 4196468 140722274047120 140503295191440 140503704303317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6507] ppid=6501 vsize=15486024 memory=4 CPUtime=0.14 cores=1,3,5,7
/proc/6503/task/6507/stat : 6507 (java) S 6501 6501 32513 0 -1 1077944384 896 0 0 0 11 3 0 0 20 0 19 0 444039859 15857688576 550385 33554432000 4194304 4196468 140722274047120 140503294138896 140503704303317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6508] ppid=6501 vsize=15486024 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/6503/task/6508/stat : 6508 (java) S 6501 6501 32513 0 -1 1077944384 2022 0 0 0 13 3 0 0 20 0 19 0 444039859 15857688576 550385 33554432000 4194304 4196468 140722274047120 140503293086352 140503704303317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6509] ppid=6501 vsize=15486024 memory=8112282956445269571 CPUtime=0.03 cores=1,3,5,7
/proc/6503/task/6509/stat : 6509 (java) S 6501 6501 32513 0 -1 1077944384 2766 0 0 0 2 1 0 0 20 0 19 0 444039860 15857688576 550385 33554432000 4194304 4196468 140722274047120 140502578366960 140503704304258 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6510] ppid=6501 vsize=15486024 memory=812 CPUtime=0 cores=1,3,5,7
/proc/6503/task/6510/stat : 6510 (java) S 6501 6501 32513 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 19 0 444039861 15857688576 550385 33554432000 4194304 4196468 140722274047120 140502577313248 140503704303317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6511] ppid=6501 vsize=15486024 memory=1764 CPUtime=0 cores=1,3,5,7
/proc/6503/task/6511/stat : 6511 (java) S 6501 6501 32513 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 19 0 444039861 15857688576 550385 33554432000 4194304 4196468 140722274047120 140502576260608 140503704303317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6512] ppid=6501 vsize=15486024 memory=111628 CPUtime=0 cores=1,3,5,7
/proc/6503/task/6512/stat : 6512 (java) S 6501 6501 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444039863 15857688576 550385 33554432000 4194304 4196468 140722274047120 140502575209168 140503704311707 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6513] ppid=6501 vsize=15486024 memory=796 CPUtime=4.01 cores=1,3,5,7
/proc/6503/task/6513/stat : 6513 (java) S 6501 6501 32513 0 -1 1077944384 10454 0 0 0 401 0 0 0 20 0 19 0 444039863 15857688576 550385 33554432000 4194304 4196468 140722274047120 140502574155760 140503704304258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6514] ppid=6501 vsize=15486024 memory=4100 CPUtime=4.13 cores=1,3,5,7
/proc/6503/task/6514/stat : 6514 (java) S 6501 6501 32513 0 -1 1077944384 8627 0 0 0 412 1 0 0 20 0 19 0 444039863 15857688576 550385 33554432000 4194304 4196468 140722274047120 140502573103216 140503704304258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6515] ppid=6501 vsize=15486024 memory=1412 CPUtime=0.99 cores=1,3,5,7
/proc/6503/task/6515/stat : 6515 (java) S 6501 6501 32513 0 -1 1077944384 9515 0 0 0 97 2 0 0 20 0 19 0 444039863 15857688576 550385 33554432000 4194304 4196468 140722274047120 140502572050672 140503704304258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6516] ppid=6501 vsize=15486024 memory=2972 CPUtime=0 cores=1,3,5,7
/proc/6503/task/6516/stat : 6516 (java) S 6501 6501 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444039863 15857688576 550385 33554432000 4194304 4196468 140722274047120 140502570998368 140503704303317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6517] ppid=6501 vsize=15486024 memory=1452 CPUtime=0.01 cores=1,3,5,7
/proc/6503/task/6517/stat : 6517 (java) S 6501 6501 32513 0 -1 1077944384 407 0 0 0 0 1 0 0 20 0 19 0 444039864 15857688576 550385 33554432000 4194304 4196468 140722274047120 140502569945904 140503704304258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6542] ppid=6501 vsize=15486024 memory=2198988 CPUtime=39.85 cores=1,3,5,7
/proc/6503/task/6542/stat : 6542 (java) R 6501 6501 32513 0 -1 4202560 435 0 0 0 3985 0 0 0 20 0 19 0 444040215 15857688576 550385 33554432000 4194304 4196468 140722274047120 140502560725984 140503304436897 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6543] ppid=6501 vsize=15486024 memory=1412 CPUtime=39.6 cores=1,3,5,7
/proc/6503/task/6543/stat : 6543 (java) R 6501 6501 32513 0 -1 4202560 2099 0 0 0 3955 5 0 0 20 0 19 0 444040215 15857688576 550385 33554432000 4194304 4196468 140722274047120 140502558622856 140503306306645 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6544] ppid=6501 vsize=15486024 memory=2916 CPUtime=39.76 cores=1,3,5,7
/proc/6503/task/6544/stat : 6544 (java) R 6501 6501 32513 0 -1 4202560 6470 0 0 0 3954 22 0 0 20 0 19 0 444040215 15857688576 550385 33554432000 4194304 4196468 140722274047120 140502557571728 140503304957952 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6545] ppid=6501 vsize=15486024 memory=1448 CPUtime=40.09 cores=1,3,5,7
/proc/6503/task/6545/stat : 6545 (java) R 6501 6501 32513 0 -1 4202560 775 0 0 0 4009 0 0 0 20 0 19 0 444040215 15857688576 550385 33554432000 4194304 4196468 140722274047120 140502556516168 140503306222491 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
Current children cumulated CPU time: 173.25 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 2202992 KiB

[startup+44.6014 s]
/proc/loadavg: 8.47 8.45 8.50 9/237 6634
/proc/meminfo: memFree=29068000/32770624 swapFree=66997372/67108860
[pid=6501] ppid=6498 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6501/stat : 6501 (xcsp3-exec) S 6498 6501 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444039858 115843072 363 33554432000 4194304 5098028 140722363079760 140722363077864 140694461870716 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33964032 140722363081595 140722363081837 140722363081837 140722363084746 0
/proc/6501/statm: 28282 363 305 221 0 87 0
[pid=6503] ppid=6501 vsize=15486024 memory=2201540 CPUtime=174.05 cores=1,3,5,7
/proc/6503/stat : 6503 (java) S 6501 6501 32513 0 -1 1077944320 61422 0 0 0 17346 59 0 0 20 0 19 0 444039858 15857688576 550385 33554432000 4194304 4196468 140722274047120 140722274029664 140503704293111 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
/proc/6503/statm: 3871506 550385 3529 1 0 3832606 0
[pid=6503/tid=6504] ppid=6501 vsize=15486024 memory=14689699524512400 CPUtime=2.72 cores=1,3,5,7
/proc/6503/task/6504/stat : 6504 (java) S 6501 6501 32513 0 -1 1077944384 11454 0 0 0 266 6 0 0 20 0 19 0 444039858 15857688576 550385 33554432000 4194304 4196468 140722274047120 140503708533888 140503704303317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6505] ppid=6501 vsize=15486024 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/6503/task/6505/stat : 6505 (java) S 6501 6501 32513 0 -1 1077944384 1996 0 0 0 11 4 0 0 20 0 19 0 444039859 15857688576 550385 33554432000 4194304 4196468 140722274047120 140503615949072 140503704303317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6506] ppid=6501 vsize=15486024 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/6503/task/6506/stat : 6506 (java) S 6501 6501 32513 0 -1 1077944384 1347 0 0 0 12 4 0 0 20 0 19 0 444039859 15857688576 550385 33554432000 4194304 4196468 140722274047120 140503295191440 140503704303317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6507] ppid=6501 vsize=15486024 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/6503/task/6507/stat : 6507 (java) S 6501 6501 32513 0 -1 1077944384 896 0 0 0 11 3 0 0 20 0 19 0 444039859 15857688576 550385 33554432000 4194304 4196468 140722274047120 140503294138896 140503704303317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6508] ppid=6501 vsize=15486024 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/6503/task/6508/stat : 6508 (java) S 6501 6501 32513 0 -1 1077944384 2022 0 0 0 13 3 0 0 20 0 19 0 444039859 15857688576 550385 33554432000 4194304 4196468 140722274047120 140503293086352 140503704303317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6509] ppid=6501 vsize=15486024 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/6503/task/6509/stat : 6509 (java) S 6501 6501 32513 0 -1 1077944384 2766 0 0 0 2 1 0 0 20 0 19 0 444039860 15857688576 550385 33554432000 4194304 4196468 140722274047120 140502578366960 140503704304258 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6510] ppid=6501 vsize=15486024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6503/task/6510/stat : 6510 (java) S 6501 6501 32513 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 19 0 444039861 15857688576 550385 33554432000 4194304 4196468 140722274047120 140502577313248 140503704303317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6511] ppid=6501 vsize=15486024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6503/task/6511/stat : 6511 (java) S 6501 6501 32513 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 19 0 444039861 15857688576 550385 33554432000 4194304 4196468 140722274047120 140502576260608 140503704303317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6512] ppid=6501 vsize=15486024 memory=6297268565743854693 CPUtime=0 cores=1,3,5,7
/proc/6503/task/6512/stat : 6512 (java) S 6501 6501 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444039863 15857688576 550385 33554432000 4194304 4196468 140722274047120 140502575209168 140503704311707 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6513] ppid=6501 vsize=15486024 memory=7588671304909280615 CPUtime=4.01 cores=1,3,5,7
/proc/6503/task/6513/stat : 6513 (java) S 6501 6501 32513 0 -1 1077944384 10454 0 0 0 401 0 0 0 20 0 19 0 444039863 15857688576 550385 33554432000 4194304 4196468 140722274047120 140502574155760 140503704304258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6514] ppid=6501 vsize=15486024 memory=7956012749634164078 CPUtime=4.13 cores=1,3,5,7
/proc/6503/task/6514/stat : 6514 (java) S 6501 6501 32513 0 -1 1077944384 8627 0 0 0 412 1 0 0 20 0 19 0 444039863 15857688576 550385 33554432000 4194304 4196468 140722274047120 140502573103216 140503704304258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6515] ppid=6501 vsize=15486024 memory=140140685534848 CPUtime=0.99 cores=1,3,5,7
/proc/6503/task/6515/stat : 6515 (java) S 6501 6501 32513 0 -1 1077944384 9515 0 0 0 97 2 0 0 20 0 19 0 444039863 15857688576 550385 33554432000 4194304 4196468 140722274047120 140502572050672 140503704304258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6516] ppid=6501 vsize=15486024 memory=140140556117568 CPUtime=0 cores=1,3,5,7
/proc/6503/task/6516/stat : 6516 (java) S 6501 6501 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444039863 15857688576 550385 33554432000 4194304 4196468 140722274047120 140502570998368 140503704303317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6517] ppid=6501 vsize=15486024 memory=-8486080722631693414 CPUtime=0.01 cores=1,3,5,7
/proc/6503/task/6517/stat : 6517 (java) S 6501 6501 32513 0 -1 1077944384 407 0 0 0 0 1 0 0 20 0 19 0 444039864 15857688576 550385 33554432000 4194304 4196468 140722274047120 140502569945904 140503704304258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6542] ppid=6501 vsize=15486024 memory=-7666414585839465563 CPUtime=40.05 cores=1,3,5,7
/proc/6503/task/6542/stat : 6542 (java) R 6501 6501 32513 0 -1 4202560 435 0 0 0 4005 0 0 0 20 0 19 0 444040215 15857688576 550385 33554432000 4194304 4196468 140722274047120 140502560725984 140503306307090 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6543] ppid=6501 vsize=15486024 memory=-6520478321162704286 CPUtime=39.8 cores=1,3,5,7
/proc/6503/task/6543/stat : 6543 (java) R 6501 6501 32513 0 -1 4202560 2121 0 0 0 3975 5 0 0 20 0 19 0 444040215 15857688576 550385 33554432000 4194304 4196468 140722274047120 140502558622856 140503304958933 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6544] ppid=6501 vsize=15486024 memory=-7521736447810188379 CPUtime=39.96 cores=1,3,5,7
/proc/6503/task/6544/stat : 6544 (java) R 6501 6501 32513 0 -1 4202560 6498 0 0 0 3974 22 0 0 20 0 19 0 444040215 15857688576 550385 33554432000 4194304 4196468 140722274047120 140502557571728 140503304436897 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6545] ppid=6501 vsize=15486024 memory=-8412652160765825907 CPUtime=40.29 cores=1,3,5,7
/proc/6503/task/6545/stat : 6545 (java) R 6501 6501 32513 0 -1 4202560 775 0 0 0 4029 0 0 0 20 0 19 0 444040215 15857688576 550385 33554432000 4194304 4196468 140722274047120 140502556516168 140503306222192 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
Current children cumulated CPU time: 174.05 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 2202992 KiB

[startup+44.7009 s]
/proc/loadavg: 8.47 8.45 8.50 9/237 6634
/proc/meminfo: memFree=29068000/32770624 swapFree=66997372/67108860
[pid=6501] ppid=6498 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6501/stat : 6501 (xcsp3-exec) S 6498 6501 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 444039858 115843072 363 33554432000 4194304 5098028 140722363079760 140722363077864 140694461870716 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33964032 140722363081595 140722363081837 140722363081837 140722363084746 0
/proc/6501/statm: 28282 363 305 221 0 87 0
[pid=6503] ppid=6501 vsize=15486024 memory=2201540 CPUtime=174.41 cores=1,3,5,7
/proc/6503/stat : 6503 (java) S 6501 6501 32513 0 -1 1077944320 61790 0 0 0 17382 59 0 0 20 0 19 0 444039858 15857688576 550385 33554432000 4194304 4196468 140722274047120 140722274029664 140503704293111 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
/proc/6503/statm: 3871506 550385 3529 1 0 3832606 0
[pid=6503/tid=6504] ppid=6501 vsize=15486024 memory=2198992 CPUtime=2.72 cores=1,3,5,7
/proc/6503/task/6504/stat : 6504 (java) S 6501 6501 32513 0 -1 1077944384 11454 0 0 0 266 6 0 0 20 0 19 0 444039858 15857688576 550385 33554432000 4194304 4196468 140722274047120 140503708533888 140503704303317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6505] ppid=6501 vsize=15486024 memory=2198988 CPUtime=0.15 cores=1,3,5,7
/proc/6503/task/6505/stat : 6505 (java) S 6501 6501 32513 0 -1 1077944384 1996 0 0 0 11 4 0 0 20 0 19 0 444039859 15857688576 550385 33554432000 4194304 4196468 140722274047120 140503615949072 140503704303317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6506] ppid=6501 vsize=15486024 memory=1452 CPUtime=0.16 cores=1,3,5,7
/proc/6503/task/6506/stat : 6506 (java) S 6501 6501 32513 0 -1 1077944384 1347 0 0 0 12 4 0 0 20 0 19 0 444039859 15857688576 550385 33554432000 4194304 4196468 140722274047120 140503295191440 140503704303317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6507] ppid=6501 vsize=15486024 memory=2198988 CPUtime=0.14 cores=1,3,5,7
/proc/6503/task/6507/stat : 6507 (java) S 6501 6501 32513 0 -1 1077944384 896 0 0 0 11 3 0 0 20 0 19 0 444039859 15857688576 550385 33554432000 4194304 4196468 140722274047120 140503294138896 140503704303317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6508] ppid=6501 vsize=15486024 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/6503/task/6508/stat : 6508 (java) S 6501 6501 32513 0 -1 1077944384 2022 0 0 0 13 3 0 0 20 0 19 0 444039859 15857688576 550385 33554432000 4194304 4196468 140722274047120 140503293086352 140503704303317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6509] ppid=6501 vsize=15486024 memory=140144782868917 CPUtime=0.03 cores=1,3,5,7
/proc/6503/task/6509/stat : 6509 (java) S 6501 6501 32513 0 -1 1077944384 2766 0 0 0 2 1 0 0 20 0 19 0 444039860 15857688576 550385 33554432000 4194304 4196468 140722274047120 140502578366960 140503704304258 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6510] ppid=6501 vsize=15486024 memory=2198988 CPUtime=0 cores=1,3,5,7
/proc/6503/task/6510/stat : 6510 (java) S 6501 6501 32513 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 19 0 444039861 15857688576 550385 33554432000 4194304 4196468 140722274047120 140502577313248 140503704303317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6511] ppid=6501 vsize=15486024 memory=225 CPUtime=0 cores=1,3,5,7
/proc/6503/task/6511/stat : 6511 (java) S 6501 6501 32513 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 19 0 444039861 15857688576 550385 33554432000 4194304 4196468 140722274047120 140502576260608 140503704303317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6512] ppid=6501 vsize=15486024 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/6503/task/6512/stat : 6512 (java) S 6501 6501 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444039863 15857688576 550385 33554432000 4194304 4196468 140722274047120 140502575209168 140503704311707 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6513] ppid=6501 vsize=15486024 memory=2198992 CPUtime=4.01 cores=1,3,5,7
/proc/6503/task/6513/stat : 6513 (java) S 6501 6501 32513 0 -1 1077944384 10454 0 0 0 401 0 0 0 20 0 19 0 444039863 15857688576 550385 33554432000 4194304 4196468 140722274047120 140502574155760 140503704304258 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6514] ppid=6501 vsize=15486024 memory=776 CPUtime=4.13 cores=1,3,5,7
/proc/6503/task/6514/stat : 6514 (java) S 6501 6501 32513 0 -1 1077944384 8627 0 0 0 412 1 0 0 20 0 19 0 444039863 15857688576 550385 33554432000 4194304 4196468 140722274047120 140502573103216 140503704304258 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6515] ppid=6501 vsize=15486024 memory=1452 CPUtime=1 cores=1,3,5,7
/proc/6503/task/6515/stat : 6515 (java) S 6501 6501 32513 0 -1 1077944384 9808 0 0 0 98 2 0 0 20 0 19 0 444039863 15857688576 550385 33554432000 4194304 4196468 140722274047120 140502572050672 140503704304258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6516] ppid=6501 vsize=15486024 memory=1388 CPUtime=0 cores=1,3,5,7
/proc/6503/task/6516/stat : 6516 (java) S 6501 6501 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444039863 15857688576 550385 33554432000 4194304 4196468 140722274047120 140502570998368 140503704303317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6517] ppid=6501 vsize=15486024 memory=776 CPUtime=0.01 cores=1,3,5,7
/proc/6503/task/6517/stat : 6517 (java) S 6501 6501 32513 0 -1 1077944384 407 0 0 0 0 1 0 0 20 0 19 0 444039864 15857688576 550385 33554432000 4194304 4196468 140722274047120 140502569945904 140503704304258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6542] ppid=6501 vsize=15486024 memory=301741373374332954 CPUtime=40.14 cores=1,3,5,7
/proc/6503/task/6542/stat : 6542 (java) S 6501 6501 32513 0 -1 1077944384 465 0 0 0 4014 0 0 0 20 0 19 0 444040215 15857688576 550385 33554432000 4194304 4196468 140722274047120 140502560731008 140503704303317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6543] ppid=6501 vsize=15486024 memory=288230596050944315 CPUtime=39.89 cores=1,3,5,7
/proc/6503/task/6543/stat : 6543 (java) S 6501 6501 32513 0 -1 1077944384 2147 0 0 0 3984 5 0 0 20 0 19 0 444040215 15857688576 550385 33554432000 4194304 4196468 140722274047120 140502558627280 140503704303317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6544] ppid=6501 vsize=15486024 memory=14689699524512400 CPUtime=40.06 cores=1,3,5,7
/proc/6503/task/6544/stat : 6544 (java) R 6501 6501 32513 0 -1 4202560 6514 0 0 0 3984 22 0 0 20 0 19 0 444040215 15857688576 550385 33554432000 4194304 4196468 140722274047120 140502557571728 140503305371647 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
[pid=6503/tid=6545] ppid=6501 vsize=15486024 memory=1452 CPUtime=40.38 cores=1,3,5,7
/proc/6503/task/6545/stat : 6545 (java) S 6501 6501 32513 0 -1 1077944384 778 0 0 0 4038 0 0 0 20 0 19 0 444040215 15857688576 550385 33554432000 4194304 4196468 140722274047120 140502556521168 140503704303317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29216768 140722274055151 140722274055322 140722274055322 140722274058191 0
Current children cumulated CPU time: 174.41 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 2202992 KiB

Child status: 0
Real time (s): 44.7671
CPU time (s): 174.488
CPU user time (s): 173.877
CPU system time (s): 0.61039
CPU usage (%): 389.768
Max. virtual memory (cumulated for all children) (KiB): 15599152
Max. memory (cumulated for all children) (KiB): 2202992

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 173.877
system time used= 0.61039
maximum resident set size= 2203144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63008
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4220
involuntary context switches= 2988


# summary of solver processes directly reported to runsolver:
#   pid: 6501
#   total CPU time (s): 174.488
#   total CPU user time (s): 173.877
#   total CPU system time (s): 0.61039

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.312355 second user time and 0.561918 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-2-fullins-5.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	58.1955
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 4400424

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
