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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393208-1568314240/watcher-4393208-1568314240 -o /tmp/evaluation-result-4393208-1568314240/solver-4393208-1568314240 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568308867-14286 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 652262624 HOME/instance-4393208-1568314240.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=15531, runsolver pid=15528


[startup+0.100107 s]*
/proc/loadavg: 7.46 6.35 5.62 8/232 15547
/proc/meminfo: memFree=31086776/32770624 swapFree=66920648/67108860
[pid=15531] ppid=15528 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15531/stat : 15531 (xcsp3-exec) S 15528 15531 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407680144 115843072 362 33554432000 4194304 5098028 140727615038032 140727615036136 140155678192252 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13172736 140727615046523 140727615046765 140727615046765 140727615049674 0
/proc/15531/statm: 28282 362 304 221 0 87 0
[pid=15533] ppid=15531 vsize=15144768 memory=29636 CPUtime=0.13 cores=1,3,5,7
/proc/15533/stat : 15533 (java) S 15531 15531 14254 0 -1 1077944320 5848 0 0 0 12 1 0 0 20 0 15 0 407680144 15508242432 7409 33554432000 4194304 4196468 140732867037648 140732867020192 140366793580279 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
/proc/15533/statm: 3786192 7409 3144 1 0 3748377 0
[pid=15533/tid=15534] ppid=15531 vsize=15144768 memory=576460756329955459 CPUtime=0.09 cores=1,3,5,7
/proc/15533/task/15534/stat : 15534 (java) R 15531 15531 14254 0 -1 4202560 3744 0 0 0 9 0 0 0 20 0 15 0 407680145 15508242432 7409 33554432000 4194304 4196468 140732867037648 140366797813856 140366793592214 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15535] ppid=15531 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15533/task/15535/stat : 15535 (java) S 15531 15531 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407680145 15508242432 7409 33554432000 4194304 4196468 140732867037648 140366721620496 140366793590485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15536] ppid=15531 vsize=15144768 memory=3762108090179225248 CPUtime=0 cores=1,3,5,7
/proc/15533/task/15536/stat : 15536 (java) S 15531 15531 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407680145 15508242432 7409 33554432000 4194304 4196468 140732867037648 140366720567952 140366793590485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15537] ppid=15531 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15533/task/15537/stat : 15537 (java) S 15531 15531 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407680145 15508242432 7409 33554432000 4194304 4196468 140732867037648 140366719514896 140366793590485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15538] ppid=15531 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15533/task/15538/stat : 15538 (java) S 15531 15531 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407680145 15508242432 7409 33554432000 4194304 4196468 140732867037648 140366718462352 140366793590485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15539] ppid=15531 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15533/task/15539/stat : 15539 (java) S 15531 15531 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407680147 15508242432 7409 33554432000 4194304 4196468 140732867037648 140366262168304 140366793591426 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15540] ppid=15531 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15533/task/15540/stat : 15540 (java) S 15531 15531 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407680147 15508242432 7409 33554432000 4194304 4196468 140732867037648 140366261114528 140366793590485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15541] ppid=15531 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15533/task/15541/stat : 15541 (java) S 15531 15531 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407680147 15508242432 7409 33554432000 4194304 4196468 140732867037648 140366260061424 140366793590485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15542] ppid=15531 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15533/task/15542/stat : 15542 (java) S 15531 15531 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407680150 15508242432 7409 33554432000 4194304 4196468 140732867037648 140366259010000 140366793598875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15543] ppid=15531 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15533/task/15543/stat : 15543 (java) S 15531 15531 14254 0 -1 1077944384 462 0 0 0 0 0 0 0 20 0 15 0 407680150 15508242432 7409 33554432000 4194304 4196468 140732867037648 140366257957104 140366793591426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15544] ppid=15531 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15533/task/15544/stat : 15544 (java) S 15531 15531 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407680150 15508242432 7409 33554432000 4194304 4196468 140732867037648 140366256904560 140366793591426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15545] ppid=15531 vsize=15144768 memory=139826699273856 CPUtime=0.02 cores=1,3,5,7
/proc/15533/task/15545/stat : 15545 (java) R 15531 15531 14254 0 -1 4202560 338 0 0 0 2 0 0 0 20 0 15 0 407680150 15508242432 7409 33554432000 4194304 4196468 140732867037648 140366255851504 140366793601626 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15546] ppid=15531 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15533/task/15546/stat : 15546 (java) S 15531 15531 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407680150 15508242432 7409 33554432000 4194304 4196468 140732867037648 140366254799200 140366793590485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15547] ppid=15531 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15533/task/15547/stat : 15547 (java) S 15531 15531 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407680150 15508242432 7409 33554432000 4194304 4196468 140732867037648 140366253747248 140366793591426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31084 KiB

[startup+0.210668 s]*
/proc/loadavg: 7.46 6.35 5.62 8/232 15547
/proc/meminfo: memFree=31075252/32770624 swapFree=66920648/67108860
[pid=15531] ppid=15528 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15531/stat : 15531 (xcsp3-exec) S 15528 15531 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407680144 115843072 362 33554432000 4194304 5098028 140727615038032 140727615036136 140155678192252 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13172736 140727615046523 140727615046765 140727615046765 140727615049674 0
/proc/15531/statm: 28282 362 304 221 0 87 0
[pid=15533] ppid=15531 vsize=15144768 memory=40332 CPUtime=0.34 cores=1,3,5,7
/proc/15533/stat : 15533 (java) S 15531 15531 14254 0 -1 1077944320 9323 0 0 0 32 2 0 0 20 0 15 0 407680144 15508242432 10083 33554432000 4194304 4196468 140732867037648 140732867020192 140366793580279 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
/proc/15533/statm: 3786192 10083 3295 1 0 3748377 0
[pid=15533/tid=15534] ppid=15531 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/15533/task/15534/stat : 15534 (java) R 15531 15531 14254 0 -1 4202560 6624 0 0 0 19 1 0 0 20 0 15 0 407680145 15508242432 10146 33554432000 4194304 4196468 140732867037648 140366797817504 140366793602205 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15535] ppid=15531 vsize=15144768 memory=10592 CPUtime=0 cores=1,3,5,7
/proc/15533/task/15535/stat : 15535 (java) S 15531 15531 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407680145 15508242432 10146 33554432000 4194304 4196468 140732867037648 140366721620496 140366793590485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15536] ppid=15531 vsize=15144768 memory=139826702116303 CPUtime=0 cores=1,3,5,7
/proc/15533/task/15536/stat : 15536 (java) S 15531 15531 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407680145 15508242432 10146 33554432000 4194304 4196468 140732867037648 140366720567952 140366793590485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15537] ppid=15531 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15533/task/15537/stat : 15537 (java) S 15531 15531 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407680145 15508242432 10146 33554432000 4194304 4196468 140732867037648 140366719514896 140366793590485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15538] ppid=15531 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15533/task/15538/stat : 15538 (java) S 15531 15531 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407680145 15508242432 10146 33554432000 4194304 4196468 140732867037648 140366718462352 140366793590485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15539] ppid=15531 vsize=15144768 memory=139826699273856 CPUtime=0 cores=1,3,5,7
/proc/15533/task/15539/stat : 15539 (java) S 15531 15531 14254 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407680147 15508242432 10146 33554432000 4194304 4196468 140732867037648 140366262168304 140366793591426 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15540] ppid=15531 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15533/task/15540/stat : 15540 (java) S 15531 15531 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407680147 15508242432 10146 33554432000 4194304 4196468 140732867037648 140366261114528 140366793590485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15541] ppid=15531 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15533/task/15541/stat : 15541 (java) S 15531 15531 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407680147 15508242432 10146 33554432000 4194304 4196468 140732867037648 140366260061424 140366793590485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15542] ppid=15531 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15533/task/15542/stat : 15542 (java) S 15531 15531 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407680150 15508242432 10146 33554432000 4194304 4196468 140732867037648 140366259010000 140366793598875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15543] ppid=15531 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/15533/task/15543/stat : 15543 (java) S 15531 15531 14254 0 -1 1077944384 563 0 0 0 2 0 0 0 20 0 15 0 407680150 15508242432 10146 33554432000 4194304 4196468 140732867037648 140366257957104 140366793591426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15544] ppid=15531 vsize=15144768 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/15533/task/15544/stat : 15544 (java) S 15531 15531 14254 0 -1 1077944384 78 0 0 0 1 0 0 0 20 0 15 0 407680150 15508242432 10146 33554432000 4194304 4196468 140732867037648 140366256904560 140366793591426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15545] ppid=15531 vsize=15144768 memory=139826699273856 CPUtime=0.08 cores=1,3,5,7
/proc/15533/task/15545/stat : 15545 (java) S 15531 15531 14254 0 -1 1077944384 760 0 0 0 8 0 0 0 20 0 15 0 407680150 15508242432 10146 33554432000 4194304 4196468 140732867037648 140366255851504 140366793591426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15546] ppid=15531 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/15533/task/15546/stat : 15546 (java) S 15531 15531 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407680150 15508242432 10146 33554432000 4194304 4196468 140732867037648 140366254799200 140366793590485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15547] ppid=15531 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15533/task/15547/stat : 15547 (java) S 15531 15531 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407680150 15508242432 10146 33554432000 4194304 4196468 140732867037648 140366253747248 140366793591426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41780 KiB

[startup+0.310463 s]*
/proc/loadavg: 7.46 6.35 5.62 7/232 15547
/proc/meminfo: memFree=31067236/32770624 swapFree=66920648/67108860
[pid=15531] ppid=15528 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15531/stat : 15531 (xcsp3-exec) S 15528 15531 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407680144 115843072 362 33554432000 4194304 5098028 140727615038032 140727615036136 140155678192252 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13172736 140727615046523 140727615046765 140727615046765 140727615049674 0
/proc/15531/statm: 28282 362 304 221 0 87 0
[pid=15533] ppid=15531 vsize=15149024 memory=50136 CPUtime=0.53 cores=1,3,5,7
/proc/15533/stat : 15533 (java) S 15531 15531 14254 0 -1 1077944320 10873 0 0 0 50 3 0 0 20 0 15 0 407680144 15512600576 12534 33554432000 4194304 4196468 140732867037648 140732867020192 140366793580279 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
/proc/15533/statm: 3787256 12534 3341 1 0 3748377 0
[pid=15533/tid=15534] ppid=15531 vsize=15149024 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/15533/task/15534/stat : 15534 (java) R 15531 15531 14254 0 -1 4202560 7835 0 0 0 28 2 0 0 20 0 15 0 407680145 15512600576 12534 33554432000 4194304 4196468 140732867037648 140366797817296 140366777660766 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15535] ppid=15531 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/15533/task/15535/stat : 15535 (java) S 15531 15531 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407680145 15512600576 12534 33554432000 4194304 4196468 140732867037648 140366721620496 140366793590485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15536] ppid=15531 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/15533/task/15536/stat : 15536 (java) S 15531 15531 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407680145 15512600576 12534 33554432000 4194304 4196468 140732867037648 140366720567952 140366793590485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15537] ppid=15531 vsize=15149024 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/15533/task/15537/stat : 15537 (java) S 15531 15531 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407680145 15512600576 12534 33554432000 4194304 4196468 140732867037648 140366719514896 140366793590485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15538] ppid=15531 vsize=15149024 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/15533/task/15538/stat : 15538 (java) S 15531 15531 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407680145 15512600576 12534 33554432000 4194304 4196468 140732867037648 140366718462352 140366793590485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15539] ppid=15531 vsize=15149024 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7
/proc/15533/task/15539/stat : 15539 (java) S 15531 15531 14254 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407680147 15512600576 12534 33554432000 4194304 4196468 140732867037648 140366262168304 140366793591426 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15540] ppid=15531 vsize=15149024 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/15533/task/15540/stat : 15540 (java) S 15531 15531 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407680147 15512600576 12534 33554432000 4194304 4196468 140732867037648 140366261114528 140366793590485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15541] ppid=15531 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/15533/task/15541/stat : 15541 (java) S 15531 15531 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407680147 15512600576 12534 33554432000 4194304 4196468 140732867037648 140366260061424 140366793590485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15542] ppid=15531 vsize=15149024 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/15533/task/15542/stat : 15542 (java) S 15531 15531 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407680150 15512600576 12534 33554432000 4194304 4196468 140732867037648 140366259010000 140366793598875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15543] ppid=15531 vsize=15149024 memory=7827413994055111515 CPUtime=0.04 cores=1,3,5,7
/proc/15533/task/15543/stat : 15543 (java) S 15531 15531 14254 0 -1 1077944384 580 0 0 0 4 0 0 0 20 0 15 0 407680150 15512600576 12534 33554432000 4194304 4196468 140732867037648 140366257957104 140366793591426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15544] ppid=15531 vsize=15149024 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/15533/task/15544/stat : 15544 (java) S 15531 15531 14254 0 -1 1077944384 225 0 0 0 4 0 0 0 20 0 15 0 407680150 15512600576 12534 33554432000 4194304 4196468 140732867037648 140366256904560 140366793591426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15545] ppid=15531 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/15533/task/15545/stat : 15545 (java) S 15531 15531 14254 0 -1 1077944384 931 0 0 0 12 0 0 0 20 0 15 0 407680150 15512600576 12534 33554432000 4194304 4196468 140732867037648 140366255851504 140366793591426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15546] ppid=15531 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15533/task/15546/stat : 15546 (java) S 15531 15531 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407680150 15512600576 12534 33554432000 4194304 4196468 140732867037648 140366254799200 140366793590485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15547] ppid=15531 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15533/task/15547/stat : 15547 (java) S 15531 15531 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407680150 15512600576 12534 33554432000 4194304 4196468 140732867037648 140366253747248 140366793591426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51584 KiB

[startup+0.701658 s]
/proc/loadavg: 7.46 6.35 5.62 7/232 15547
/proc/meminfo: memFree=31045836/32770624 swapFree=66920648/67108860
[pid=15531] ppid=15528 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15531/stat : 15531 (xcsp3-exec) S 15528 15531 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407680144 115843072 362 33554432000 4194304 5098028 140727615038032 140727615036136 140155678192252 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13172736 140727615046523 140727615046765 140727615046765 140727615049674 0
/proc/15531/statm: 28282 362 304 221 0 87 0
[pid=15533] ppid=15531 vsize=15151148 memory=115944 CPUtime=1.7 cores=1,3,5,7
/proc/15533/stat : 15533 (java) S 15531 15531 14254 0 -1 1077944320 13980 0 0 0 165 5 0 0 20 0 15 0 407680144 15514775552 28986 33554432000 4194304 4196468 140732867037648 140732867020192 140366793580279 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
/proc/15533/statm: 3787787 28986 3445 1 0 3748889 0
[pid=15533/tid=15534] ppid=15531 vsize=15151148 memory=-3704326594973231466 CPUtime=0.68 cores=1,3,5,7
/proc/15533/task/15534/stat : 15534 (java) R 15531 15531 14254 0 -1 4202560 8361 0 0 0 65 3 0 0 20 0 15 0 407680145 15514775552 28986 33554432000 4194304 4196468 140732867037648 140366797813232 140366393146485 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15535] ppid=15531 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15533/task/15535/stat : 15535 (java) S 15531 15531 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407680145 15514775552 28986 33554432000 4194304 4196468 140732867037648 140366721620496 140366793590485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15536] ppid=15531 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/15533/task/15536/stat : 15536 (java) S 15531 15531 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407680145 15514775552 28986 33554432000 4194304 4196468 140732867037648 140366720567952 140366793590485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15537] ppid=15531 vsize=15151148 memory=708 CPUtime=0 cores=1,3,5,7
/proc/15533/task/15537/stat : 15537 (java) S 15531 15531 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407680145 15514775552 28986 33554432000 4194304 4196468 140732867037648 140366719514896 140366793590485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15538] ppid=15531 vsize=15151148 memory=9364 CPUtime=0 cores=1,3,5,7
/proc/15533/task/15538/stat : 15538 (java) S 15531 15531 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407680145 15514775552 28986 33554432000 4194304 4196468 140732867037648 140366718462352 140366793590485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15539] ppid=15531 vsize=15151148 memory=1120 CPUtime=0 cores=1,3,5,7
/proc/15533/task/15539/stat : 15539 (java) S 15531 15531 14254 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407680147 15514775552 28986 33554432000 4194304 4196468 140732867037648 140366262168304 140366793591426 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15540] ppid=15531 vsize=15151148 memory=776 CPUtime=0 cores=1,3,5,7
/proc/15533/task/15540/stat : 15540 (java) S 15531 15531 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407680147 15514775552 28986 33554432000 4194304 4196468 140732867037648 140366261114528 140366793590485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15541] ppid=15531 vsize=15151148 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/15533/task/15541/stat : 15541 (java) S 15531 15531 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407680147 15514775552 28986 33554432000 4194304 4196468 140732867037648 140366260061424 140366793590485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15542] ppid=15531 vsize=15151148 memory=7956 CPUtime=0 cores=1,3,5,7
/proc/15533/task/15542/stat : 15542 (java) S 15531 15531 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407680150 15514775552 28986 33554432000 4194304 4196468 140732867037648 140366259010000 140366793598875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15543] ppid=15531 vsize=15151148 memory=3444 CPUtime=0.34 cores=1,3,5,7
/proc/15533/task/15543/stat : 15543 (java) R 15531 15531 14254 0 -1 4202560 1633 0 0 0 34 0 0 0 20 0 15 0 407680150 15514775552 28986 33554432000 4194304 4196468 140732867037648 140366257946368 140366774990429 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15544] ppid=15531 vsize=15151148 memory=1556 CPUtime=0.36 cores=1,3,5,7
/proc/15533/task/15544/stat : 15544 (java) R 15531 15531 14254 0 -1 4202560 972 0 0 0 36 0 0 0 20 0 15 0 407680150 15514775552 28986 33554432000 4194304 4196468 140732867037648 140366256885264 140366779644475 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15545] ppid=15531 vsize=15151148 memory=2832 CPUtime=0.29 cores=1,3,5,7
/proc/15533/task/15545/stat : 15545 (java) S 15531 15531 14254 0 -1 1077944384 1708 0 0 0 29 0 0 0 20 0 15 0 407680150 15514775552 28986 33554432000 4194304 4196468 140732867037648 140366255851504 140366793591426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15546] ppid=15531 vsize=15151148 memory=984 CPUtime=0 cores=1,3,5,7
/proc/15533/task/15546/stat : 15546 (java) S 15531 15531 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407680150 15514775552 28986 33554432000 4194304 4196468 140732867037648 140366254799200 140366793590485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15547] ppid=15531 vsize=15151148 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/15533/task/15547/stat : 15547 (java) S 15531 15531 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407680150 15514775552 28986 33554432000 4194304 4196468 140732867037648 140366253747248 140366793591426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 117392 KiB

[startup+1.50566 s]
/proc/loadavg: 7.46 6.35 5.62 7/232 15547
/proc/meminfo: memFree=30960136/32770624 swapFree=66920648/67108860
[pid=15531] ppid=15528 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15531/stat : 15531 (xcsp3-exec) S 15528 15531 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407680144 115843072 362 33554432000 4194304 5098028 140727615038032 140727615036136 140155678192252 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13172736 140727615046523 140727615046765 140727615046765 140727615049674 0
/proc/15531/statm: 28282 362 304 221 0 87 0

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

/proc/15533/task/15547/stat : 15547 (java) S 15531 15531 14254 0 -1 1077944384 632 0 0 0 0 3 0 0 20 0 19 0 407680150 15857680384 857515 33554432000 4194304 4196468 140732867037648 140366253747248 140366793591426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15592] ppid=15531 vsize=15486016 memory=8560712388882833484 CPUtime=58.87 cores=1,3,5,7
/proc/15533/task/15592/stat : 15592 (java) R 15531 15531 14254 0 -1 4202560 372 0 0 0 5887 0 0 0 20 0 19 0 407680628 15857680384 857515 33554432000 4194304 4196468 140732867037648 140365781781472 140366401476344 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15593] ppid=15531 vsize=15486016 memory=16100364336236017 CPUtime=59.03 cores=1,3,5,7
/proc/15533/task/15593/stat : 15593 (java) R 15531 15531 14254 0 -1 4202560 3580 0 0 0 5895 8 0 0 20 0 19 0 407680628 15857680384 857515 33554432000 4194304 4196468 140732867037648 140366243483272 140366394793539 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15594] ppid=15531 vsize=15486016 memory=7162531440177276259 CPUtime=58.86 cores=1,3,5,7
/proc/15533/task/15594/stat : 15594 (java) R 15531 15531 14254 0 -1 4202560 9289 0 0 0 5843 43 0 0 20 0 19 0 407680628 15857680384 857515 33554432000 4194304 4196468 140732867037648 140365777579176 140366402641025 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15595] ppid=15531 vsize=15486016 memory=2120 CPUtime=58.88 cores=1,3,5,7
/proc/15533/task/15595/stat : 15595 (java) R 15531 15531 14254 0 -1 4202560 950 0 0 0 5887 1 0 0 20 0 19 0 407680628 15857680384 857515 33554432000 4194304 4196468 140732867037648 140365780730224 140366400831800 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
Current children cumulated CPU time: 253.58 s
Current children cumulated vsize: 15599144 KiB
Current children cumulated memory: 3431508 KiB

[startup+65.6017 s]
/proc/loadavg: 7.77 6.61 5.76 9/236 15687
/proc/meminfo: memFree=27879084/32770624 swapFree=66920648/67108860
[pid=15531] ppid=15528 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15531/stat : 15531 (xcsp3-exec) S 15528 15531 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407680144 115843072 362 33554432000 4194304 5098028 140727615038032 140727615036136 140155678192252 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13172736 140727615046523 140727615046765 140727615046765 140727615049674 0
/proc/15531/statm: 28282 362 304 221 0 87 0
[pid=15533] ppid=15531 vsize=15486016 memory=3430060 CPUtime=256.76 cores=1,3,5,7
/proc/15533/stat : 15533 (java) S 15531 15531 14254 0 -1 1077944320 72821 0 0 0 25581 95 0 0 20 0 19 0 407680144 15857680384 857515 33554432000 4194304 4196468 140732867037648 140732867020192 140366793580279 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
/proc/15533/statm: 3871504 857515 3534 1 0 3832606 0
[pid=15533/tid=15534] ppid=15531 vsize=15486016 memory=3430060 CPUtime=2.52 cores=1,3,5,7
/proc/15533/task/15534/stat : 15534 (java) S 15531 15531 14254 0 -1 1077944384 11056 0 0 0 245 7 0 0 20 0 19 0 407680145 15857680384 857515 33554432000 4194304 4196468 140732867037648 140366797821056 140366793590485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15535] ppid=15531 vsize=15486016 memory=6791534058613427641 CPUtime=0.17 cores=1,3,5,7
/proc/15533/task/15535/stat : 15535 (java) S 15531 15531 14254 0 -1 1077944384 726 0 0 0 12 5 0 0 20 0 19 0 407680145 15857680384 857515 33554432000 4194304 4196468 140732867037648 140366721620496 140366793590485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15536] ppid=15531 vsize=15486016 memory=2120 CPUtime=0.16 cores=1,3,5,7
/proc/15533/task/15536/stat : 15536 (java) S 15531 15531 14254 0 -1 1077944384 694 0 0 0 12 4 0 0 20 0 19 0 407680145 15857680384 857515 33554432000 4194304 4196468 140732867037648 140366720567952 140366793590485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15537] ppid=15531 vsize=15486016 memory=3580 CPUtime=0.18 cores=1,3,5,7
/proc/15533/task/15537/stat : 15537 (java) S 15531 15531 14254 0 -1 1077944384 1442 0 0 0 13 5 0 0 20 0 19 0 407680145 15857680384 857515 33554432000 4194304 4196468 140732867037648 140366719514896 140366793590485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15538] ppid=15531 vsize=15486016 memory=3580 CPUtime=0.17 cores=1,3,5,7
/proc/15533/task/15538/stat : 15538 (java) S 15531 15531 14254 0 -1 1077944384 823 0 0 0 12 5 0 0 20 0 19 0 407680145 15857680384 857515 33554432000 4194304 4196468 140732867037648 140366718462352 140366793590485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15539] ppid=15531 vsize=15486016 memory=16772 CPUtime=0.03 cores=1,3,5,7
/proc/15533/task/15539/stat : 15539 (java) S 15531 15531 14254 0 -1 1077944384 3005 0 0 0 2 1 0 0 20 0 19 0 407680147 15857680384 857515 33554432000 4194304 4196468 140732867037648 140366262168304 140366793591426 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15540] ppid=15531 vsize=15486016 memory=988 CPUtime=0 cores=1,3,5,7
/proc/15533/task/15540/stat : 15540 (java) S 15531 15531 14254 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 19 0 407680147 15857680384 857515 33554432000 4194304 4196468 140732867037648 140366261114592 140366793590485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15541] ppid=15531 vsize=15486016 memory=2016 CPUtime=0 cores=1,3,5,7
/proc/15533/task/15541/stat : 15541 (java) S 15531 15531 14254 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 19 0 407680147 15857680384 857515 33554432000 4194304 4196468 140732867037648 140366260061440 140366793590485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15542] ppid=15531 vsize=15486016 memory=1284 CPUtime=0 cores=1,3,5,7
/proc/15533/task/15542/stat : 15542 (java) S 15531 15531 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407680150 15857680384 857515 33554432000 4194304 4196468 140732867037648 140366259010000 140366793598875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15543] ppid=15531 vsize=15486016 memory=1044 CPUtime=4.83 cores=1,3,5,7
/proc/15533/task/15543/stat : 15543 (java) S 15531 15531 14254 0 -1 1077944384 13314 0 0 0 481 2 0 0 20 0 19 0 407680150 15857680384 857515 33554432000 4194304 4196468 140732867037648 140366257957104 140366793591426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15544] ppid=15531 vsize=15486016 memory=708 CPUtime=4.76 cores=1,3,5,7
/proc/15533/task/15544/stat : 15544 (java) S 15531 15531 14254 0 -1 1077944384 14093 0 0 0 475 1 0 0 20 0 19 0 407680150 15857680384 857515 33554432000 4194304 4196468 140732867037648 140366256904560 140366793591426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15545] ppid=15531 vsize=15486016 memory=1448 CPUtime=0.93 cores=1,3,5,7
/proc/15533/task/15545/stat : 15545 (java) S 15531 15531 14254 0 -1 1077944384 10236 0 0 0 91 2 0 0 20 0 19 0 407680150 15857680384 857515 33554432000 4194304 4196468 140732867037648 140366255851504 140366793591426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15546] ppid=15531 vsize=15486016 memory=3430060 CPUtime=0 cores=1,3,5,7
/proc/15533/task/15546/stat : 15546 (java) S 15531 15531 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407680150 15857680384 857515 33554432000 4194304 4196468 140732867037648 140366254799200 140366793590485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15547] ppid=15531 vsize=15486016 memory=1556 CPUtime=0.03 cores=1,3,5,7
/proc/15533/task/15547/stat : 15547 (java) S 15531 15531 14254 0 -1 1077944384 632 0 0 0 0 3 0 0 20 0 19 0 407680150 15857680384 857515 33554432000 4194304 4196468 140732867037648 140366253747248 140366793591426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15592] ppid=15531 vsize=15486016 memory=2832 CPUtime=59.67 cores=1,3,5,7
/proc/15533/task/15592/stat : 15592 (java) R 15531 15531 14254 0 -1 4202560 372 0 0 0 5967 0 0 0 20 0 19 0 407680628 15857680384 857515 33554432000 4194304 4196468 140732867037648 140365781781472 140366401592900 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15593] ppid=15531 vsize=15486016 memory=984 CPUtime=59.81 cores=1,3,5,7
/proc/15533/task/15593/stat : 15593 (java) R 15531 15531 14254 0 -1 4202560 3589 0 0 0 5973 8 0 0 20 0 19 0 407680628 15857680384 857515 33554432000 4194304 4196468 140732867037648 140366243483272 140366401596361 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15594] ppid=15531 vsize=15486016 memory=14012 CPUtime=59.66 cores=1,3,5,7
/proc/15533/task/15594/stat : 15594 (java) R 15531 15531 14254 0 -1 4202560 9343 0 0 0 5923 43 0 0 20 0 19 0 407680628 15857680384 857515 33554432000 4194304 4196468 140732867037648 140365777580472 140366403720885 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15595] ppid=15531 vsize=15486016 memory=1556 CPUtime=59.68 cores=1,3,5,7
/proc/15533/task/15595/stat : 15595 (java) R 15531 15531 14254 0 -1 4202560 955 0 0 0 5967 1 0 0 20 0 19 0 407680628 15857680384 857515 33554432000 4194304 4196468 140732867037648 140365780730224 140366400831323 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
Current children cumulated CPU time: 256.76 s
Current children cumulated vsize: 15599144 KiB
Current children cumulated memory: 3431508 KiB

[startup+66.0017 s]*
/proc/loadavg: 7.77 6.61 5.76 9/236 15687
/proc/meminfo: memFree=27879084/32770624 swapFree=66920648/67108860
[pid=15531] ppid=15528 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15531/stat : 15531 (xcsp3-exec) S 15528 15531 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407680144 115843072 362 33554432000 4194304 5098028 140727615038032 140727615036136 140155678192252 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13172736 140727615046523 140727615046765 140727615046765 140727615049674 0
/proc/15531/statm: 28282 362 304 221 0 87 0
[pid=15533] ppid=15531 vsize=15486016 memory=3430060 CPUtime=258.38 cores=1,3,5,7
/proc/15533/stat : 15533 (java) S 15531 15531 14254 0 -1 1077944320 72858 0 0 0 25743 95 0 0 20 0 19 0 407680144 15857680384 857515 33554432000 4194304 4196468 140732867037648 140732867020192 140366793580279 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
/proc/15533/statm: 3871504 857515 3534 1 0 3832606 0
[pid=15533/tid=15534] ppid=15531 vsize=15486016 memory=8317482817917895235 CPUtime=2.52 cores=1,3,5,7
/proc/15533/task/15534/stat : 15534 (java) S 15531 15531 14254 0 -1 1077944384 11056 0 0 0 245 7 0 0 20 0 19 0 407680145 15857680384 857515 33554432000 4194304 4196468 140732867037648 140366797821056 140366793590485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15535] ppid=15531 vsize=15486016 memory=1808 CPUtime=0.17 cores=1,3,5,7
/proc/15533/task/15535/stat : 15535 (java) S 15531 15531 14254 0 -1 1077944384 726 0 0 0 12 5 0 0 20 0 19 0 407680145 15857680384 857515 33554432000 4194304 4196468 140732867037648 140366721620496 140366793590485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15536] ppid=15531 vsize=15486016 memory=924 CPUtime=0.16 cores=1,3,5,7
/proc/15533/task/15536/stat : 15536 (java) S 15531 15531 14254 0 -1 1077944384 694 0 0 0 12 4 0 0 20 0 19 0 407680145 15857680384 857515 33554432000 4194304 4196468 140732867037648 140366720567952 140366793590485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15537] ppid=15531 vsize=15486016 memory=3848 CPUtime=0.18 cores=1,3,5,7
/proc/15533/task/15537/stat : 15537 (java) S 15531 15531 14254 0 -1 1077944384 1442 0 0 0 13 5 0 0 20 0 19 0 407680145 15857680384 857515 33554432000 4194304 4196468 140732867037648 140366719514896 140366793590485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15538] ppid=15531 vsize=15486016 memory=2612 CPUtime=0.17 cores=1,3,5,7
/proc/15533/task/15538/stat : 15538 (java) S 15531 15531 14254 0 -1 1077944384 823 0 0 0 12 5 0 0 20 0 19 0 407680145 15857680384 857515 33554432000 4194304 4196468 140732867037648 140366718462352 140366793590485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15539] ppid=15531 vsize=15486016 memory=2596 CPUtime=0.03 cores=1,3,5,7
/proc/15533/task/15539/stat : 15539 (java) S 15531 15531 14254 0 -1 1077944384 3005 0 0 0 2 1 0 0 20 0 19 0 407680147 15857680384 857515 33554432000 4194304 4196468 140732867037648 140366262168304 140366793591426 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15540] ppid=15531 vsize=15486016 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/15533/task/15540/stat : 15540 (java) S 15531 15531 14254 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 19 0 407680147 15857680384 857515 33554432000 4194304 4196468 140732867037648 140366261114592 140366793590485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15541] ppid=15531 vsize=15486016 memory=3072 CPUtime=0 cores=1,3,5,7
/proc/15533/task/15541/stat : 15541 (java) S 15531 15531 14254 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 19 0 407680147 15857680384 857515 33554432000 4194304 4196468 140732867037648 140366260061440 140366793590485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15542] ppid=15531 vsize=15486016 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15533/task/15542/stat : 15542 (java) S 15531 15531 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407680150 15857680384 857515 33554432000 4194304 4196468 140732867037648 140366259010000 140366793598875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15543] ppid=15531 vsize=15486016 memory=3430060 CPUtime=4.83 cores=1,3,5,7
/proc/15533/task/15543/stat : 15543 (java) S 15531 15531 14254 0 -1 1077944384 13314 0 0 0 481 2 0 0 20 0 19 0 407680150 15857680384 857515 33554432000 4194304 4196468 140732867037648 140366257957104 140366793591426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15544] ppid=15531 vsize=15486016 memory=1412 CPUtime=4.76 cores=1,3,5,7
/proc/15533/task/15544/stat : 15544 (java) S 15531 15531 14254 0 -1 1077944384 14093 0 0 0 475 1 0 0 20 0 19 0 407680150 15857680384 857515 33554432000 4194304 4196468 140732867037648 140366256904560 140366793591426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15545] ppid=15531 vsize=15486016 memory=2916 CPUtime=0.93 cores=1,3,5,7
/proc/15533/task/15545/stat : 15545 (java) S 15531 15531 14254 0 -1 1077944384 10236 0 0 0 91 2 0 0 20 0 19 0 407680150 15857680384 857515 33554432000 4194304 4196468 140732867037648 140366255851504 140366793591426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15546] ppid=15531 vsize=15486016 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/15533/task/15546/stat : 15546 (java) S 15531 15531 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407680150 15857680384 857515 33554432000 4194304 4196468 140732867037648 140366254799200 140366793590485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15547] ppid=15531 vsize=15486016 memory=206692 CPUtime=0.03 cores=1,3,5,7
/proc/15533/task/15547/stat : 15547 (java) S 15531 15531 14254 0 -1 1077944384 632 0 0 0 0 3 0 0 20 0 19 0 407680150 15857680384 857515 33554432000 4194304 4196468 140732867037648 140366253747248 140366793591426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15592] ppid=15531 vsize=15486016 memory=1164 CPUtime=60.08 cores=1,3,5,7
/proc/15533/task/15592/stat : 15592 (java) R 15531 15531 14254 0 -1 4202560 372 0 0 0 6008 0 0 0 20 0 19 0 407680628 15857680384 857515 33554432000 4194304 4196468 140732867037648 140365781781472 140366401592920 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15593] ppid=15531 vsize=15486016 memory=8317482817917895235 CPUtime=60.21 cores=1,3,5,7
/proc/15533/task/15593/stat : 15593 (java) R 15531 15531 14254 0 -1 4202560 3592 0 0 0 6013 8 0 0 20 0 19 0 407680628 15857680384 857515 33554432000 4194304 4196468 140732867037648 140366243483272 140366398587219 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15594] ppid=15531 vsize=15486016 memory=7084820200048181348 CPUtime=60.07 cores=1,3,5,7
/proc/15533/task/15594/stat : 15594 (java) R 15531 15531 14254 0 -1 4202560 9375 0 0 0 5964 43 0 0 20 0 19 0 407680628 15857680384 857515 33554432000 4194304 4196468 140732867037648 140365777580472 140366402911895 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15595] ppid=15531 vsize=15486016 memory=-6586668835053300882 CPUtime=60.09 cores=1,3,5,7
/proc/15533/task/15595/stat : 15595 (java) R 15531 15531 14254 0 -1 4202560 957 0 0 0 6008 1 0 0 20 0 19 0 407680628 15857680384 857515 33554432000 4194304 4196468 140732867037648 140365780730224 140366400831234 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
Current children cumulated CPU time: 258.38 s
Current children cumulated vsize: 15599144 KiB
Current children cumulated memory: 3431508 KiB

[startup+66.1105 s]
/proc/loadavg: 7.77 6.61 5.76 9/236 15687
/proc/meminfo: memFree=27879084/32770624 swapFree=66920648/67108860
[pid=15531] ppid=15528 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15531/stat : 15531 (xcsp3-exec) S 15528 15531 14254 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407680144 115843072 362 33554432000 4194304 5098028 140727615038032 140727615036136 140155678192252 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 13172736 140727615046523 140727615046765 140727615046765 140727615049674 0
/proc/15531/statm: 28282 362 304 221 0 87 0
[pid=15533] ppid=15531 vsize=15486016 memory=3430060 CPUtime=258.55 cores=1,3,5,7
/proc/15533/stat : 15533 (java) S 15531 15531 14254 0 -1 1077944320 72894 0 0 0 25760 95 0 0 20 0 19 0 407680144 15857680384 857515 33554432000 4194304 4196468 140732867037648 140732867020192 140366793580279 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
/proc/15533/statm: 3871504 857515 3534 1 0 3832606 0
[pid=15533/tid=15534] ppid=15531 vsize=15486016 memory=3430060 CPUtime=2.52 cores=1,3,5,7
/proc/15533/task/15534/stat : 15534 (java) S 15531 15531 14254 0 -1 1077944384 11056 0 0 0 245 7 0 0 20 0 19 0 407680145 15857680384 857515 33554432000 4194304 4196468 140732867037648 140366797821056 140366793590485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15535] ppid=15531 vsize=15486016 memory=3430060 CPUtime=0.17 cores=1,3,5,7
/proc/15533/task/15535/stat : 15535 (java) S 15531 15531 14254 0 -1 1077944384 726 0 0 0 12 5 0 0 20 0 19 0 407680145 15857680384 857515 33554432000 4194304 4196468 140732867037648 140366721620496 140366793590485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15536] ppid=15531 vsize=15486016 memory=3430060 CPUtime=0.16 cores=1,3,5,7
/proc/15533/task/15536/stat : 15536 (java) S 15531 15531 14254 0 -1 1077944384 694 0 0 0 12 4 0 0 20 0 19 0 407680145 15857680384 857515 33554432000 4194304 4196468 140732867037648 140366720567952 140366793590485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15537] ppid=15531 vsize=15486016 memory=1448 CPUtime=0.18 cores=1,3,5,7
/proc/15533/task/15537/stat : 15537 (java) S 15531 15531 14254 0 -1 1077944384 1442 0 0 0 13 5 0 0 20 0 19 0 407680145 15857680384 857515 33554432000 4194304 4196468 140732867037648 140366719514896 140366793590485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15538] ppid=15531 vsize=15486016 memory=3430060 CPUtime=0.17 cores=1,3,5,7
/proc/15533/task/15538/stat : 15538 (java) S 15531 15531 14254 0 -1 1077944384 823 0 0 0 12 5 0 0 20 0 19 0 407680145 15857680384 857515 33554432000 4194304 4196468 140732867037648 140366718462352 140366793590485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15539] ppid=15531 vsize=15486016 memory=1680 CPUtime=0.03 cores=1,3,5,7
/proc/15533/task/15539/stat : 15539 (java) S 15531 15531 14254 0 -1 1077944384 3005 0 0 0 2 1 0 0 20 0 19 0 407680147 15857680384 857515 33554432000 4194304 4196468 140732867037648 140366262168304 140366793591426 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15540] ppid=15531 vsize=15486016 memory=1444 CPUtime=0 cores=1,3,5,7
/proc/15533/task/15540/stat : 15540 (java) S 15531 15531 14254 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 19 0 407680147 15857680384 857515 33554432000 4194304 4196468 140732867037648 140366261114592 140366793590485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15541] ppid=15531 vsize=15486016 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/15533/task/15541/stat : 15541 (java) S 15531 15531 14254 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 19 0 407680147 15857680384 857515 33554432000 4194304 4196468 140732867037648 140366260061440 140366793590485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15542] ppid=15531 vsize=15486016 memory=2199884 CPUtime=0 cores=1,3,5,7
/proc/15533/task/15542/stat : 15542 (java) S 15531 15531 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407680150 15857680384 857515 33554432000 4194304 4196468 140732867037648 140366259010000 140366793598875 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15543] ppid=15531 vsize=15486016 memory=3037568 CPUtime=4.83 cores=1,3,5,7
/proc/15533/task/15543/stat : 15543 (java) S 15531 15531 14254 0 -1 1077944384 13314 0 0 0 481 2 0 0 20 0 19 0 407680150 15857680384 857515 33554432000 4194304 4196468 140732867037648 140366257957104 140366793591426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15544] ppid=15531 vsize=15486016 memory=0 CPUtime=4.76 cores=1,3,5,7
/proc/15533/task/15544/stat : 15544 (java) S 15531 15531 14254 0 -1 1077944384 14093 0 0 0 475 1 0 0 20 0 19 0 407680150 15857680384 857515 33554432000 4194304 4196468 140732867037648 140366256904560 140366793591426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15545] ppid=15531 vsize=15486016 memory=5132 CPUtime=0.93 cores=1,3,5,7
/proc/15533/task/15545/stat : 15545 (java) S 15531 15531 14254 0 -1 1077944384 10236 0 0 0 91 2 0 0 20 0 19 0 407680150 15857680384 857515 33554432000 4194304 4196468 140732867037648 140366255851504 140366793591426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15546] ppid=15531 vsize=15486016 memory=2120 CPUtime=0 cores=1,3,5,7
/proc/15533/task/15546/stat : 15546 (java) S 15531 15531 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407680150 15857680384 857515 33554432000 4194304 4196468 140732867037648 140366254799200 140366793590485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15547] ppid=15531 vsize=15486016 memory=2136068 CPUtime=0.03 cores=1,3,5,7
/proc/15533/task/15547/stat : 15547 (java) S 15531 15531 14254 0 -1 1077944384 632 0 0 0 0 3 0 0 20 0 19 0 407680150 15857680384 857515 33554432000 4194304 4196468 140732867037648 140366253747248 140366793591426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15592] ppid=15531 vsize=15486016 memory=451484 CPUtime=60.1 cores=1,3,5,7
/proc/15533/task/15592/stat : 15592 (java) S 15531 15531 14254 0 -1 1077944384 392 0 0 0 6010 0 0 0 20 0 19 0 407680628 15857680384 857515 33554432000 4194304 4196468 140732867037648 140365781786480 140366793590485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15593] ppid=15531 vsize=15486016 memory=2016 CPUtime=60.23 cores=1,3,5,7
/proc/15533/task/15593/stat : 15593 (java) S 15531 15531 14254 0 -1 1077944384 3599 0 0 0 6015 8 0 0 20 0 19 0 407680628 15857680384 857515 33554432000 4194304 4196468 140732867037648 140366243488464 140366793590485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15594] ppid=15531 vsize=15486016 memory=1284 CPUtime=60.17 cores=1,3,5,7
/proc/15533/task/15594/stat : 15594 (java) R 15531 15531 14254 0 -1 4202560 9384 0 0 0 5974 43 0 0 20 0 19 0 407680628 15857680384 857515 33554432000 4194304 4196468 140732867037648 140365777580472 140366401592900 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
[pid=15533/tid=15595] ppid=15531 vsize=15486016 memory=1448 CPUtime=60.12 cores=1,3,5,7
/proc/15533/task/15595/stat : 15595 (java) S 15531 15531 14254 0 -1 1077944384 957 0 0 0 6011 1 0 0 20 0 19 0 407680628 15857680384 857515 33554432000 4194304 4196468 140732867037648 140365780735440 140366793590485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34996224 140732867040239 140732867040410 140732867040410 140732867043279 0
Current children cumulated CPU time: 258.55 s
Current children cumulated vsize: 15599144 KiB
Current children cumulated memory: 3431508 KiB

Child status: 0
Real time (s): 66.1478
CPU time (s): 258.606
CPU user time (s): 257.631
CPU system time (s): 0.975536
CPU usage (%): 390.952
Max. virtual memory (cumulated for all children) (KiB): 15599144
Max. memory (cumulated for all children) (KiB): 3431508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 257.631
system time used= 0.975536
maximum resident set size= 3430128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73838
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5082
involuntary context switches= 4118


# summary of solver processes directly reported to runsolver:
#   pid: 15531
#   total CPU time (s): 258.606
#   total CPU user time (s): 257.631
#   total CPU system time (s): 0.975536

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.447121 second user time and 0.786147 second system time

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

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
