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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 5a (2017-08-18)	SAT (TO)	62	250.144	240.035
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 (11169 MiB free)
  memory of node 1: 16384 MiB (11492 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284322-1503211039/watcher-4284322-1503211039 -o /tmp/evaluation-result-4284322-1503211039/solver-4284322-1503211039 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node104-1503208966-3840 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 22708074 HOME/instance-4284322-1503211039.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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=4792, runsolver pid=4789


[startup+0.100167 s]*
/proc/loadavg: 1.63 1.72 1.71 4/218 4808
/proc/meminfo: memFree=23191184/32770624 swapFree=67108860/67108860
[pid=4792] ppid=4789 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/4792/stat : 4792 (xcsp3-exec) S 4789 4792 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154191606 9740288 346 33554432000 4194304 5098028 140730382722000 140730382720104 139900614574716 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 22147072 140730382726262 140730382726464 140730382726464 140730382729195 0
/proc/4792/statm: 2378 346 289 221 0 87 0
[pid=4794] ppid=4792 vsize=13978596 memory=27024 CPUtime=0.12 cores=0,2,4,6
/proc/4794/stat : 4794 (java) S 4792 4792 3809 0 -1 1077944320 5603 0 0 0 11 1 0 0 20 0 15 0 154191606 14314082304 6756 33554432000 4194304 4196468 140724414519056 140724414501600 140463315029751 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
/proc/4794/statm: 3494649 6756 2880 1 0 3482966 0
[pid=4794/tid=4795] ppid=4792 vsize=13978596 memory=7684166393668014939 CPUtime=0.09 cores=0,2,4,6
/proc/4794/task/4795/stat : 4795 (java) R 4792 4792 3809 0 -1 4202560 3573 0 0 0 8 1 0 0 20 0 15 0 154191606 14314082304 6756 33554432000 4194304 4196468 140724414519056 140463319261056 140463315041686 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4796] ppid=4792 vsize=13978596 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/4794/task/4796/stat : 4796 (java) S 4792 4792 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154191607 14314082304 6756 33554432000 4194304 4196468 140724414519056 140463282588560 140463315039957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4797] ppid=4792 vsize=13978596 memory=140530828478080 CPUtime=0 cores=0,2,4,6
/proc/4794/task/4797/stat : 4797 (java) S 4792 4792 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154191607 14314082304 6756 33554432000 4194304 4196468 140724414519056 140462910274320 140463315039957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4798] ppid=4792 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4794/task/4798/stat : 4798 (java) S 4792 4792 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154191607 14314082304 6756 33554432000 4194304 4196468 140724414519056 140462909222032 140463315039957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4799] ppid=4792 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4794/task/4799/stat : 4799 (java) S 4792 4792 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154191607 14314082304 6756 33554432000 4194304 4196468 140724414519056 140462908169232 140463315039957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4800] ppid=4792 vsize=13978596 memory=140530828478080 CPUtime=0 cores=0,2,4,6
/proc/4794/task/4800/stat : 4800 (java) S 4792 4792 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154191608 14314082304 6756 33554432000 4194304 4196468 140724414519056 140462227515504 140463315040898 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4801] ppid=4792 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4794/task/4801/stat : 4801 (java) S 4792 4792 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154191609 14314082304 6756 33554432000 4194304 4196468 140724414519056 140462226461472 140463315039957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4802] ppid=4792 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4794/task/4802/stat : 4802 (java) S 4792 4792 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154191609 14314082304 6756 33554432000 4194304 4196468 140724414519056 140462225409136 140463315039957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4803] ppid=4792 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4794/task/4803/stat : 4803 (java) S 4792 4792 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154191612 14314082304 6756 33554432000 4194304 4196468 140724414519056 140462224357456 140463315048347 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4804] ppid=4792 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4794/task/4804/stat : 4804 (java) R 4792 4792 3809 0 -1 1077944384 433 0 0 0 0 0 0 0 20 0 15 0 154191612 14314082304 6756 33554432000 4194304 4196468 140724414519056 140462223305328 140463315040898 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4805] ppid=4792 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4794/task/4805/stat : 4805 (java) S 4792 4792 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154191612 14314082304 6756 33554432000 4194304 4196468 140724414519056 140462222252528 140463315040898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4806] ppid=4792 vsize=13978596 memory=140530828478080 CPUtime=0.01 cores=0,2,4,6
/proc/4794/task/4806/stat : 4806 (java) R 4792 4792 3809 0 -1 1077944384 294 0 0 0 1 0 0 0 20 0 15 0 154191612 14314082304 6756 33554432000 4194304 4196468 140724414519056 140462221200240 140463315040898 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4807] ppid=4792 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4794/task/4807/stat : 4807 (java) S 4792 4792 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154191612 14314082304 6756 33554432000 4194304 4196468 140724414519056 140462220147680 140463315039957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4808] ppid=4792 vsize=13978596 memory=140530828478080 CPUtime=0 cores=0,2,4,6
/proc/4794/task/4808/stat : 4808 (java) S 4792 4792 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154191612 14314082304 6756 33554432000 4194304 4196468 140724414519056 140462219094448 140463315040898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 28408 KiB

[startup+0.210693 s]*
/proc/loadavg: 1.63 1.72 1.71 4/218 4808
/proc/meminfo: memFree=23179264/32770624 swapFree=67108860/67108860
[pid=4792] ppid=4789 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/4792/stat : 4792 (xcsp3-exec) S 4789 4792 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154191606 9740288 346 33554432000 4194304 5098028 140730382722000 140730382720104 139900614574716 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 22147072 140730382726262 140730382726464 140730382726464 140730382729195 0
/proc/4792/statm: 2378 346 289 221 0 87 0
[pid=4794] ppid=4792 vsize=13982852 memory=39104 CPUtime=0.33 cores=0,2,4,6
/proc/4794/stat : 4794 (java) S 4792 4792 3809 0 -1 1077944320 8316 0 0 0 31 2 0 0 20 0 15 0 154191606 14318440448 9776 33554432000 4194304 4196468 140724414519056 140724414501600 140463315029751 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
/proc/4794/statm: 3495713 9776 3090 1 0 3482966 0
[pid=4794/tid=4795] ppid=4792 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/4794/task/4795/stat : 4795 (java) R 4792 4792 3809 0 -1 4202560 5396 0 0 0 18 2 0 0 20 0 15 0 154191606 14318440448 9776 33554432000 4194304 4196468 140724414519056 140463319250744 140463315051677 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4796] ppid=4792 vsize=13982852 memory=8944 CPUtime=0 cores=0,2,4,6
/proc/4794/task/4796/stat : 4796 (java) S 4792 4792 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154191607 14318440448 9776 33554432000 4194304 4196468 140724414519056 140463282588560 140463315039957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4797] ppid=4792 vsize=13982852 memory=140530828587509 CPUtime=0 cores=0,2,4,6
/proc/4794/task/4797/stat : 4797 (java) S 4792 4792 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154191607 14318440448 9776 33554432000 4194304 4196468 140724414519056 140462910274320 140463315039957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4798] ppid=4792 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4794/task/4798/stat : 4798 (java) S 4792 4792 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154191607 14318440448 9776 33554432000 4194304 4196468 140724414519056 140462909222032 140463315039957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4799] ppid=4792 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4794/task/4799/stat : 4799 (java) S 4792 4792 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154191607 14318440448 9776 33554432000 4194304 4196468 140724414519056 140462908169232 140463315039957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4800] ppid=4792 vsize=13982852 memory=140530828478080 CPUtime=0 cores=0,2,4,6
/proc/4794/task/4800/stat : 4800 (java) S 4792 4792 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154191608 14318440448 9776 33554432000 4194304 4196468 140724414519056 140462227515504 140463315040898 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4801] ppid=4792 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4794/task/4801/stat : 4801 (java) S 4792 4792 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154191609 14318440448 9776 33554432000 4194304 4196468 140724414519056 140462226461472 140463315039957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4802] ppid=4792 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4794/task/4802/stat : 4802 (java) S 4792 4792 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154191609 14318440448 9776 33554432000 4194304 4196468 140724414519056 140462225409136 140463315039957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4803] ppid=4792 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4794/task/4803/stat : 4803 (java) S 4792 4792 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154191612 14318440448 9776 33554432000 4194304 4196468 140724414519056 140462224357456 140463315048347 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4804] ppid=4792 vsize=13982852 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/4794/task/4804/stat : 4804 (java) S 4792 4792 3809 0 -1 1077944384 566 0 0 0 1 0 0 0 20 0 15 0 154191612 14318440448 9776 33554432000 4194304 4196468 140724414519056 140462223305328 140463315040898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4805] ppid=4792 vsize=13982852 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/4794/task/4805/stat : 4805 (java) S 4792 4792 3809 0 -1 1077944384 206 0 0 0 3 0 0 0 20 0 15 0 154191612 14318440448 9776 33554432000 4194304 4196468 140724414519056 140462222252528 140463315040898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4806] ppid=4792 vsize=13982852 memory=140530828478080 CPUtime=0.08 cores=0,2,4,6
/proc/4794/task/4806/stat : 4806 (java) R 4792 4792 3809 0 -1 4202560 852 0 0 0 8 0 0 0 20 0 15 0 154191612 14318440448 9776 33554432000 4194304 4196468 140724414519056 140462221200240 140463294744556 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4807] ppid=4792 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4794/task/4807/stat : 4807 (java) S 4792 4792 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154191612 14318440448 9776 33554432000 4194304 4196468 140724414519056 140462220147680 140463315039957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4808] ppid=4792 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4794/task/4808/stat : 4808 (java) S 4792 4792 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154191612 14318440448 9776 33554432000 4194304 4196468 140724414519056 140462219094448 140463315040898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 40488 KiB

[startup+0.311663 s]*
/proc/loadavg: 1.63 1.72 1.71 5/218 4808
/proc/meminfo: memFree=23172064/32770624 swapFree=67108860/67108860
[pid=4792] ppid=4789 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/4792/stat : 4792 (xcsp3-exec) S 4789 4792 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154191606 9740288 346 33554432000 4194304 5098028 140730382722000 140730382720104 139900614574716 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 22147072 140730382726262 140730382726464 140730382726464 140730382729195 0
/proc/4792/statm: 2378 346 289 221 0 87 0
[pid=4794] ppid=4792 vsize=13982852 memory=46340 CPUtime=0.51 cores=0,2,4,6
/proc/4794/stat : 4794 (java) S 4792 4792 3809 0 -1 1077944320 9337 0 0 0 48 3 0 0 20 0 15 0 154191606 14318440448 11585 33554432000 4194304 4196468 140724414519056 140724414501600 140463315029751 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
/proc/4794/statm: 3495713 11585 3111 1 0 3482966 0
[pid=4794/tid=4795] ppid=4792 vsize=13982852 memory=8112282956445269571 CPUtime=0.29 cores=0,2,4,6
/proc/4794/task/4795/stat : 4795 (java) R 4792 4792 3809 0 -1 4202560 6066 0 0 0 27 2 0 0 20 0 15 0 154191606 14318440448 11585 33554432000 4194304 4196468 140724414519056 140463319267568 140463299110238 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4796] ppid=4792 vsize=13982852 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/4794/task/4796/stat : 4796 (java) S 4792 4792 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154191607 14318440448 11585 33554432000 4194304 4196468 140724414519056 140463282588560 140463315039957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4797] ppid=4792 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/4794/task/4797/stat : 4797 (java) S 4792 4792 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154191607 14318440448 11585 33554432000 4194304 4196468 140724414519056 140462910274320 140463315039957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4798] ppid=4792 vsize=13982852 memory=-2026666227646604569 CPUtime=0 cores=0,2,4,6
/proc/4794/task/4798/stat : 4798 (java) S 4792 4792 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154191607 14318440448 11585 33554432000 4194304 4196468 140724414519056 140462909222032 140463315039957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4799] ppid=4792 vsize=13982852 memory=7593740018551660441 CPUtime=0 cores=0,2,4,6
/proc/4794/task/4799/stat : 4799 (java) S 4792 4792 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154191607 14318440448 11585 33554432000 4194304 4196468 140724414519056 140462908169232 140463315039957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4800] ppid=4792 vsize=13982852 memory=6944657691966988345 CPUtime=0 cores=0,2,4,6
/proc/4794/task/4800/stat : 4800 (java) S 4792 4792 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154191608 14318440448 11585 33554432000 4194304 4196468 140724414519056 140462227515504 140463315040898 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4801] ppid=4792 vsize=13982852 memory=4196912344889787449 CPUtime=0 cores=0,2,4,6
/proc/4794/task/4801/stat : 4801 (java) S 4792 4792 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154191609 14318440448 11585 33554432000 4194304 4196468 140724414519056 140462226461472 140463315039957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4802] ppid=4792 vsize=13982852 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/4794/task/4802/stat : 4802 (java) S 4792 4792 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154191609 14318440448 11585 33554432000 4194304 4196468 140724414519056 140462225409136 140463315039957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4803] ppid=4792 vsize=13982852 memory=-6444775992005010620 CPUtime=0 cores=0,2,4,6
/proc/4794/task/4803/stat : 4803 (java) S 4792 4792 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154191612 14318440448 11585 33554432000 4194304 4196468 140724414519056 140462224357456 140463315048347 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4804] ppid=4792 vsize=13982852 memory=7100839887185294217 CPUtime=0.03 cores=0,2,4,6
/proc/4794/task/4804/stat : 4804 (java) S 4792 4792 3809 0 -1 1077944384 658 0 0 0 3 0 0 0 20 0 15 0 154191612 14318440448 11585 33554432000 4194304 4196468 140724414519056 140462223305328 140463315040898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4805] ppid=4792 vsize=13982852 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/4794/task/4805/stat : 4805 (java) S 4792 4792 3809 0 -1 1077944384 258 0 0 0 4 0 0 0 20 0 15 0 154191612 14318440448 11651 33554432000 4194304 4196468 140724414519056 140462222252528 140463315040898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4806] ppid=4792 vsize=13982852 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/4794/task/4806/stat : 4806 (java) R 4792 4792 3809 0 -1 4202560 1057 0 0 0 13 0 0 0 20 0 15 0 154191612 14318440448 11651 33554432000 4194304 4196468 140724414519056 140462221200368 140463307266878 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4807] ppid=4792 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4794/task/4807/stat : 4807 (java) S 4792 4792 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154191612 14318440448 11651 33554432000 4194304 4196468 140724414519056 140462220147680 140463315039957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4808] ppid=4792 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4794/task/4808/stat : 4808 (java) S 4792 4792 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154191612 14318440448 11651 33554432000 4194304 4196468 140724414519056 140462219094448 140463315040898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 47724 KiB

[startup+0.70183 s]
/proc/loadavg: 1.63 1.72 1.71 5/218 4808
/proc/meminfo: memFree=23135828/32770624 swapFree=67108860/67108860
[pid=4792] ppid=4789 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/4792/stat : 4792 (xcsp3-exec) S 4789 4792 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154191606 9740288 346 33554432000 4194304 5098028 140730382722000 140730382720104 139900614574716 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 22147072 140730382726262 140730382726464 140730382726464 140730382729195 0
/proc/4792/statm: 2378 346 289 221 0 87 0
[pid=4794] ppid=4792 vsize=13982928 memory=115556 CPUtime=1.65 cores=0,2,4,6
/proc/4794/stat : 4794 (java) S 4792 4792 3809 0 -1 1077944320 12279 0 0 0 160 5 0 0 20 0 15 0 154191606 14318518272 28889 33554432000 4194304 4196468 140724414519056 140724414501600 140463315029751 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
/proc/4794/statm: 3495732 28889 3196 1 0 3482966 0
[pid=4794/tid=4795] ppid=4792 vsize=13982928 memory=1728 CPUtime=0.67 cores=0,2,4,6
/proc/4794/task/4795/stat : 4795 (java) R 4792 4792 3809 0 -1 4202560 6373 0 0 0 64 3 0 0 20 0 15 0 154191606 14318518272 28889 33554432000 4194304 4196468 140724414519056 140463319262680 140462955357636 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4796] ppid=4792 vsize=13982928 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/4794/task/4796/stat : 4796 (java) S 4792 4792 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154191607 14318518272 28889 33554432000 4194304 4196468 140724414519056 140463282588560 140463315039957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4797] ppid=4792 vsize=13982928 memory=796 CPUtime=0 cores=0,2,4,6
/proc/4794/task/4797/stat : 4797 (java) S 4792 4792 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154191607 14318518272 28889 33554432000 4194304 4196468 140724414519056 140462910274320 140463315039957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4798] ppid=4792 vsize=13982928 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/4794/task/4798/stat : 4798 (java) S 4792 4792 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154191607 14318518272 28889 33554432000 4194304 4196468 140724414519056 140462909222032 140463315039957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4799] ppid=4792 vsize=13982928 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/4794/task/4799/stat : 4799 (java) S 4792 4792 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154191607 14318518272 28889 33554432000 4194304 4196468 140724414519056 140462908169232 140463315039957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4800] ppid=4792 vsize=13982928 memory=8612 CPUtime=0 cores=0,2,4,6
/proc/4794/task/4800/stat : 4800 (java) S 4792 4792 3809 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154191608 14318518272 28889 33554432000 4194304 4196468 140724414519056 140462227515504 140463315040898 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4801] ppid=4792 vsize=13982928 memory=5784 CPUtime=0 cores=0,2,4,6
/proc/4794/task/4801/stat : 4801 (java) S 4792 4792 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154191609 14318518272 28889 33554432000 4194304 4196468 140724414519056 140462226461472 140463315039957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4802] ppid=4792 vsize=13982928 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/4794/task/4802/stat : 4802 (java) S 4792 4792 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154191609 14318518272 28889 33554432000 4194304 4196468 140724414519056 140462225409136 140463315039957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4803] ppid=4792 vsize=13982928 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/4794/task/4803/stat : 4803 (java) S 4792 4792 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154191612 14318518272 28889 33554432000 4194304 4196468 140724414519056 140462224357456 140463315048347 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4804] ppid=4792 vsize=13982928 memory=11112 CPUtime=0.32 cores=0,2,4,6
/proc/4794/task/4804/stat : 4804 (java) R 4792 4792 3809 0 -1 4202560 1591 0 0 0 32 0 0 0 20 0 15 0 154191612 14318518272 28889 33554432000 4194304 4196468 140724414519056 140462223291464 140463296208325 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4805] ppid=4792 vsize=13982928 memory=1228 CPUtime=0.34 cores=0,2,4,6
/proc/4794/task/4805/stat : 4805 (java) R 4792 4792 3809 0 -1 4202560 1268 0 0 0 34 0 0 0 20 0 15 0 154191612 14318518272 28889 33554432000 4194304 4196468 140724414519056 140462222238632 140463296212389 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4806] ppid=4792 vsize=13982928 memory=1420 CPUtime=0.28 cores=0,2,4,6
/proc/4794/task/4806/stat : 4806 (java) S 4792 4792 3809 0 -1 1077944384 1741 0 0 0 28 0 0 0 20 0 15 0 154191612 14318518272 28889 33554432000 4194304 4196468 140724414519056 140462221200240 140463315040898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4807] ppid=4792 vsize=13982928 memory=15876 CPUtime=0 cores=0,2,4,6
/proc/4794/task/4807/stat : 4807 (java) S 4792 4792 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154191612 14318518272 28889 33554432000 4194304 4196468 140724414519056 140462220147680 140463315039957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4808] ppid=4792 vsize=13982928 memory=16448 CPUtime=0 cores=0,2,4,6
/proc/4794/task/4808/stat : 4808 (java) S 4792 4792 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154191612 14318518272 28889 33554432000 4194304 4196468 140724414519056 140462219094448 140463315040898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
Current children cumulated CPU time: 1.65 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 116940 KiB

[startup+1.50075 s]
/proc/loadavg: 1.63 1.72 1.71 5/218 4808
/proc/meminfo: memFree=23009700/32770624 swapFree=67108860/67108860
[pid=4792] ppid=4789 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/4792/stat : 4792 (xcsp3-exec) S 4789 4792 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154191606 9740288 346 33554432000 4194304 5098028 140730382722000 140730382720104 139900614574716 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 22147072 140730382726262 140730382726464 140730382726464 140730382729195 0
/proc/4792/statm: 2378 346 289 221 0 87 0

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

/proc/4794/task/4802/stat : 4802 (java) S 4792 4792 3809 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 154191609 14320615424 309134 33554432000 4194304 4196468 140724414519056 140462225409152 140463315039957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4803] ppid=4792 vsize=13984976 memory=1236536 CPUtime=0 cores=0,2,4,6
/proc/4794/task/4803/stat : 4803 (java) S 4792 4792 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154191612 14320615424 309134 33554432000 4194304 4196468 140724414519056 140462224357456 140463315048347 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4804] ppid=4792 vsize=13984976 memory=1384 CPUtime=4.06 cores=0,2,4,6
/proc/4794/task/4804/stat : 4804 (java) S 4792 4792 3809 0 -1 1077944384 14731 0 0 0 404 2 0 0 20 0 15 0 154191612 14320615424 309134 33554432000 4194304 4196468 140724414519056 140462223305328 140463315040898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4805] ppid=4792 vsize=13984976 memory=1236536 CPUtime=3.92 cores=0,2,4,6
/proc/4794/task/4805/stat : 4805 (java) S 4792 4792 3809 0 -1 1077944384 10519 0 0 0 391 1 0 0 20 0 15 0 154191612 14320615424 309134 33554432000 4194304 4196468 140724414519056 140462222252528 140463315040898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4806] ppid=4792 vsize=13984976 memory=140530726557768 CPUtime=0.92 cores=0,2,4,6
/proc/4794/task/4806/stat : 4806 (java) S 4792 4792 3809 0 -1 1077944384 5430 0 0 0 91 1 0 0 20 0 15 0 154191612 14320615424 309134 33554432000 4194304 4196468 140724414519056 140462221200240 140463315040898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4807] ppid=4792 vsize=13984976 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/4794/task/4807/stat : 4807 (java) S 4792 4792 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154191612 14320615424 309134 33554432000 4194304 4196468 140724414519056 140462220147680 140463315039957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4808] ppid=4792 vsize=13984976 memory=4140 CPUtime=0.05 cores=0,2,4,6
/proc/4794/task/4808/stat : 4808 (java) S 4792 4792 3809 0 -1 1077944384 391 0 0 0 3 2 0 0 20 0 15 0 154191612 14320615424 309134 33554432000 4194304 4196468 140724414519056 140462219094448 140463315040898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
Current children cumulated CPU time: 112.01 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 1237920 KiB

[startup+162.301 s]
/proc/loadavg: 1.95 1.82 1.75 3/217 4811
/proc/meminfo: memFree=19402916/32770624 swapFree=67108860/67108860
[pid=4792] ppid=4789 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/4792/stat : 4792 (xcsp3-exec) S 4789 4792 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154191606 9740288 346 33554432000 4194304 5098028 140730382722000 140730382720104 139900614574716 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 22147072 140730382726262 140730382726464 140730382726464 140730382729195 0
/proc/4792/statm: 2378 346 289 221 0 87 0
[pid=4794] ppid=4792 vsize=13984976 memory=2254816 CPUtime=172.12 cores=0,2,4,6
/proc/4794/stat : 4794 (java) S 4792 4792 3809 0 -1 1077944320 57454 0 0 0 17139 73 0 0 20 0 15 0 154191606 14320615424 563704 33554432000 4194304 4196468 140724414519056 140724414501600 140463315029751 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
/proc/4794/statm: 3496244 563704 3277 1 0 3483478 0
[pid=4794/tid=4795] ppid=4792 vsize=13984976 memory=2254816 CPUtime=161.96 cores=0,2,4,6
/proc/4794/task/4795/stat : 4795 (java) R 4792 4792 3809 0 -1 4202560 17448 0 0 0 16162 34 0 0 20 0 15 0 154191606 14320615424 563704 33554432000 4194304 4196468 140724414519056 140463319269184 140462961512606 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4796] ppid=4792 vsize=13984976 memory=2242456 CPUtime=0.25 cores=0,2,4,6
/proc/4794/task/4796/stat : 4796 (java) S 4792 4792 3809 0 -1 1077944384 600 0 0 0 18 7 0 0 20 0 15 0 154191607 14320615424 563704 33554432000 4194304 4196468 140724414519056 140463282588560 140463315039957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4797] ppid=4792 vsize=13984976 memory=2242456 CPUtime=0.27 cores=0,2,4,6
/proc/4794/task/4797/stat : 4797 (java) S 4792 4792 3809 0 -1 1077944384 1280 0 0 0 20 7 0 0 20 0 15 0 154191607 14320615424 563704 33554432000 4194304 4196468 140724414519056 140462910274320 140463315039957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4798] ppid=4792 vsize=13984976 memory=2242456 CPUtime=0.26 cores=0,2,4,6
/proc/4794/task/4798/stat : 4798 (java) S 4792 4792 3809 0 -1 1077944384 1410 0 0 0 19 7 0 0 20 0 15 0 154191607 14320615424 563704 33554432000 4194304 4196468 140724414519056 140462909222032 140463315039957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4799] ppid=4792 vsize=13984976 memory=2254816 CPUtime=0.27 cores=0,2,4,6
/proc/4794/task/4799/stat : 4799 (java) S 4792 4792 3809 0 -1 1077944384 1932 0 0 0 20 7 0 0 20 0 15 0 154191607 14320615424 563704 33554432000 4194304 4196468 140724414519056 140462908169232 140463315039957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4800] ppid=4792 vsize=13984976 memory=2254816 CPUtime=0.02 cores=0,2,4,6
/proc/4794/task/4800/stat : 4800 (java) S 4792 4792 3809 0 -1 1077944384 2317 0 0 0 2 0 0 0 20 0 15 0 154191608 14320615424 563704 33554432000 4194304 4196468 140724414519056 140462227515504 140463315040898 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4801] ppid=4792 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/4794/task/4801/stat : 4801 (java) S 4792 4792 3809 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 154191609 14320615424 563704 33554432000 4194304 4196468 140724414519056 140462226461536 140463315039957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4802] ppid=4792 vsize=13984976 memory=2242456 CPUtime=0 cores=0,2,4,6
/proc/4794/task/4802/stat : 4802 (java) S 4792 4792 3809 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 154191609 14320615424 563704 33554432000 4194304 4196468 140724414519056 140462225409152 140463315039957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4803] ppid=4792 vsize=13984976 memory=2242456 CPUtime=0 cores=0,2,4,6
/proc/4794/task/4803/stat : 4803 (java) S 4792 4792 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154191612 14320615424 563704 33554432000 4194304 4196468 140724414519056 140462224357456 140463315048347 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4804] ppid=4792 vsize=13984976 memory=1384 CPUtime=4.06 cores=0,2,4,6
/proc/4794/task/4804/stat : 4804 (java) S 4792 4792 3809 0 -1 1077944384 14735 0 0 0 404 2 0 0 20 0 15 0 154191612 14320615424 563704 33554432000 4194304 4196468 140724414519056 140462223305328 140463315040898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4805] ppid=4792 vsize=13984976 memory=1296 CPUtime=3.93 cores=0,2,4,6
/proc/4794/task/4805/stat : 4805 (java) S 4792 4792 3809 0 -1 1077944384 10551 0 0 0 392 1 0 0 20 0 15 0 154191612 14320615424 563704 33554432000 4194304 4196468 140724414519056 140462222252528 140463315040898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4806] ppid=4792 vsize=13984976 memory=2428 CPUtime=0.93 cores=0,2,4,6
/proc/4794/task/4806/stat : 4806 (java) S 4792 4792 3809 0 -1 1077944384 5436 0 0 0 92 1 0 0 20 0 15 0 154191612 14320615424 563704 33554432000 4194304 4196468 140724414519056 140462221200240 140463315040898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4807] ppid=4792 vsize=13984976 memory=1788 CPUtime=0 cores=0,2,4,6
/proc/4794/task/4807/stat : 4807 (java) S 4792 4792 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154191612 14320615424 563704 33554432000 4194304 4196468 140724414519056 140462220147680 140463315039957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4808] ppid=4792 vsize=13984976 memory=952 CPUtime=0.09 cores=0,2,4,6
/proc/4794/task/4808/stat : 4808 (java) S 4792 4792 3809 0 -1 1077944384 413 0 0 0 5 4 0 0 20 0 15 0 154191612 14320615424 563704 33554432000 4194304 4196468 140724414519056 140462219094448 140463315040898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
Current children cumulated CPU time: 172.12 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 2256200 KiB

[startup+222.301 s]
/proc/loadavg: 1.87 1.82 1.76 3/217 4812
/proc/meminfo: memFree=18158292/32770624 swapFree=67108860/67108860
[pid=4792] ppid=4789 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/4792/stat : 4792 (xcsp3-exec) S 4789 4792 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154191606 9740288 346 33554432000 4194304 5098028 140730382722000 140730382720104 139900614574716 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 22147072 140730382726262 140730382726464 140730382726464 140730382729195 0
/proc/4792/statm: 2378 346 289 221 0 87 0
[pid=4794] ppid=4792 vsize=13984976 memory=3479932 CPUtime=232.35 cores=0,2,4,6
/proc/4794/stat : 4794 (java) S 4792 4792 3809 0 -1 1077944320 64601 0 0 0 23140 95 0 0 20 0 15 0 154191606 14320615424 869983 33554432000 4194304 4196468 140724414519056 140724414501600 140463315029751 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
/proc/4794/statm: 3496244 869983 3277 1 0 3483478 0
[pid=4794/tid=4795] ppid=4792 vsize=13984976 memory=3479932 CPUtime=221.95 cores=0,2,4,6
/proc/4794/task/4795/stat : 4795 (java) R 4792 4792 3809 0 -1 4202560 20049 0 0 0 22142 53 0 0 20 0 15 0 154191606 14320615424 869983 33554432000 4194304 4196468 140724414519056 140463319266160 140462961512582 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4796] ppid=4792 vsize=13984976 memory=3479932 CPUtime=0.26 cores=0,2,4,6
/proc/4794/task/4796/stat : 4796 (java) S 4792 4792 3809 0 -1 1077944384 620 0 0 0 19 7 0 0 20 0 15 0 154191607 14320615424 869983 33554432000 4194304 4196468 140724414519056 140463282588560 140463315039957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4797] ppid=4792 vsize=13984976 memory=1384 CPUtime=0.27 cores=0,2,4,6
/proc/4794/task/4797/stat : 4797 (java) S 4792 4792 3809 0 -1 1077944384 1300 0 0 0 20 7 0 0 20 0 15 0 154191607 14320615424 869983 33554432000 4194304 4196468 140724414519056 140462910274320 140463315039957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4798] ppid=4792 vsize=13984976 memory=1384 CPUtime=0.27 cores=0,2,4,6
/proc/4794/task/4798/stat : 4798 (java) S 4792 4792 3809 0 -1 1077944384 1581 0 0 0 20 7 0 0 20 0 15 0 154191607 14320615424 869983 33554432000 4194304 4196468 140724414519056 140462909222032 140463315039957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4799] ppid=4792 vsize=13984976 memory=3479932 CPUtime=0.28 cores=0,2,4,6
/proc/4794/task/4799/stat : 4799 (java) S 4792 4792 3809 0 -1 1077944384 1958 0 0 0 21 7 0 0 20 0 15 0 154191607 14320615424 869983 33554432000 4194304 4196468 140724414519056 140462908169232 140463315039957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4800] ppid=4792 vsize=13984976 memory=3479932 CPUtime=0.02 cores=0,2,4,6
/proc/4794/task/4800/stat : 4800 (java) S 4792 4792 3809 0 -1 1077944384 2497 0 0 0 2 0 0 0 20 0 15 0 154191608 14320615424 869983 33554432000 4194304 4196468 140724414519056 140462227515504 140463315040898 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4801] ppid=4792 vsize=13984976 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/4794/task/4801/stat : 4801 (java) S 4792 4792 3809 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 154191609 14320615424 869983 33554432000 4194304 4196468 140724414519056 140462226461536 140463315039957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4802] ppid=4792 vsize=13984976 memory=15876 CPUtime=0 cores=0,2,4,6
/proc/4794/task/4802/stat : 4802 (java) S 4792 4792 3809 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 154191609 14320615424 869983 33554432000 4194304 4196468 140724414519056 140462225409152 140463315039957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4803] ppid=4792 vsize=13984976 memory=16448 CPUtime=0 cores=0,2,4,6
/proc/4794/task/4803/stat : 4803 (java) S 4792 4792 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154191612 14320615424 869983 33554432000 4194304 4196468 140724414519056 140462224357456 140463315048347 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4804] ppid=4792 vsize=13984976 memory=3172324 CPUtime=4.12 cores=0,2,4,6
/proc/4794/task/4804/stat : 4804 (java) S 4792 4792 3809 0 -1 1077944384 16051 0 0 0 410 2 0 0 20 0 15 0 154191612 14320615424 869983 33554432000 4194304 4196468 140724414519056 140462223305328 140463315040898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4805] ppid=4792 vsize=13984976 memory=42828 CPUtime=4.01 cores=0,2,4,6
/proc/4794/task/4805/stat : 4805 (java) S 4792 4792 3809 0 -1 1077944384 12259 0 0 0 400 1 0 0 20 0 15 0 154191612 14320615424 869983 33554432000 4194304 4196468 140724414519056 140462222252528 140463315040898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4806] ppid=4792 vsize=13984976 memory=1384 CPUtime=0.93 cores=0,2,4,6
/proc/4794/task/4806/stat : 4806 (java) S 4792 4792 3809 0 -1 1077944384 6528 0 0 0 92 1 0 0 20 0 15 0 154191612 14320615424 869983 33554432000 4194304 4196468 140724414519056 140462221200240 140463315040898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4807] ppid=4792 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/4794/task/4807/stat : 4807 (java) S 4792 4792 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154191612 14320615424 869983 33554432000 4194304 4196468 140724414519056 140462220147680 140463315039957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4808] ppid=4792 vsize=13984976 memory=1384 CPUtime=0.12 cores=0,2,4,6
/proc/4794/task/4808/stat : 4808 (java) S 4792 4792 3809 0 -1 1077944384 426 0 0 0 7 5 0 0 20 0 15 0 154191612 14320615424 869983 33554432000 4194304 4196468 140724414519056 140462219094448 140463315040898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
Current children cumulated CPU time: 232.35 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 3481316 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]*
/proc/loadavg: 2.11 1.88 1.78 3/217 4890
/proc/meminfo: memFree=19689676/32770624 swapFree=67108860/67108860
[pid=4792] ppid=4789 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/4792/stat : 4792 (xcsp3-exec) S 4789 4792 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154191606 9740288 346 33554432000 4194304 5098028 140730382722000 140730382720104 139900614574716 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 22147072 140730382726262 140730382726464 140730382726464 140730382729195 0
/proc/4792/statm: 2378 346 289 221 0 87 0
[pid=4794] ppid=4792 vsize=13984976 memory=3479932 CPUtime=250.1 cores=0,2,4,6
/proc/4794/stat : 4794 (java) S 4792 4792 3809 0 -1 1077944320 65723 0 0 0 24915 95 0 0 20 0 15 0 154191606 14320615424 869983 33554432000 4194304 4196468 140724414519056 140724414501600 140463315029751 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
/proc/4794/statm: 3496244 869983 3277 1 0 3483478 0
[pid=4794/tid=4795] ppid=4792 vsize=13984976 memory=8112282956445269571 CPUtime=239.66 cores=0,2,4,6
/proc/4794/task/4795/stat : 4795 (java) R 4792 4792 3809 0 -1 4202560 20580 0 0 0 23913 53 0 0 20 0 15 0 154191606 14320615424 869983 33554432000 4194304 4196468 140724414519056 140463319268616 140462961595062 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4796] ppid=4792 vsize=13984976 memory=4126316290023845779 CPUtime=0.26 cores=0,2,4,6
/proc/4794/task/4796/stat : 4796 (java) S 4792 4792 3809 0 -1 1077944384 620 0 0 0 19 7 0 0 20 0 15 0 154191607 14320615424 869983 33554432000 4194304 4196468 140724414519056 140463282588560 140463315039957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4797] ppid=4792 vsize=13984976 memory=2684 CPUtime=0.27 cores=0,2,4,6
/proc/4794/task/4797/stat : 4797 (java) S 4792 4792 3809 0 -1 1077944384 1300 0 0 0 20 7 0 0 20 0 15 0 154191607 14320615424 869983 33554432000 4194304 4196468 140724414519056 140462910274320 140463315039957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4798] ppid=4792 vsize=13984976 memory=1384 CPUtime=0.27 cores=0,2,4,6
/proc/4794/task/4798/stat : 4798 (java) S 4792 4792 3809 0 -1 1077944384 1581 0 0 0 20 7 0 0 20 0 15 0 154191607 14320615424 869983 33554432000 4194304 4196468 140724414519056 140462909222032 140463315039957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4799] ppid=4792 vsize=13984976 memory=718848 CPUtime=0.28 cores=0,2,4,6
/proc/4794/task/4799/stat : 4799 (java) S 4792 4792 3809 0 -1 1077944384 1958 0 0 0 21 7 0 0 20 0 15 0 154191607 14320615424 869983 33554432000 4194304 4196468 140724414519056 140462908169232 140463315039957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4800] ppid=4792 vsize=13984976 memory=4140 CPUtime=0.02 cores=0,2,4,6
/proc/4794/task/4800/stat : 4800 (java) S 4792 4792 3809 0 -1 1077944384 2497 0 0 0 2 0 0 0 20 0 15 0 154191608 14320615424 869983 33554432000 4194304 4196468 140724414519056 140462227515504 140463315040898 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4801] ppid=4792 vsize=13984976 memory=42828 CPUtime=0 cores=0,2,4,6
/proc/4794/task/4801/stat : 4801 (java) S 4792 4792 3809 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 154191609 14320615424 869983 33554432000 4194304 4196468 140724414519056 140462226461536 140463315039957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4802] ppid=4792 vsize=13984976 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/4794/task/4802/stat : 4802 (java) S 4792 4792 3809 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 154191609 14320615424 869983 33554432000 4194304 4196468 140724414519056 140462225409152 140463315039957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4803] ppid=4792 vsize=13984976 memory=2428 CPUtime=0 cores=0,2,4,6
/proc/4794/task/4803/stat : 4803 (java) S 4792 4792 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154191612 14320615424 869983 33554432000 4194304 4196468 140724414519056 140462224357456 140463315048347 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4804] ppid=4792 vsize=13984976 memory=1728 CPUtime=4.15 cores=0,2,4,6
/proc/4794/task/4804/stat : 4804 (java) S 4792 4792 3809 0 -1 1077944384 16199 0 0 0 413 2 0 0 20 0 15 0 154191612 14320615424 869983 33554432000 4194304 4196468 140724414519056 140462223305328 140463315040898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4805] ppid=4792 vsize=13984976 memory=1716 CPUtime=4.02 cores=0,2,4,6
/proc/4794/task/4805/stat : 4805 (java) S 4792 4792 3809 0 -1 1077944384 12360 0 0 0 401 1 0 0 20 0 15 0 154191612 14320615424 869983 33554432000 4194304 4196468 140724414519056 140462222252528 140463315040898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 11 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4806] ppid=4792 vsize=13984976 memory=796 CPUtime=0.94 cores=0,2,4,6
/proc/4794/task/4806/stat : 4806 (java) S 4792 4792 3809 0 -1 1077944384 6870 0 0 0 93 1 0 0 20 0 15 0 154191612 14320615424 869983 33554432000 4194304 4196468 140724414519056 140462221200240 140463315040898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4807] ppid=4792 vsize=13984976 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/4794/task/4807/stat : 4807 (java) S 4792 4792 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154191612 14320615424 869983 33554432000 4194304 4196468 140724414519056 140462220147680 140463315039957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
[pid=4794/tid=4808] ppid=4792 vsize=13984976 memory=3479932 CPUtime=0.13 cores=0,2,4,6
/proc/4794/task/4808/stat : 4808 (java) S 4792 4792 3809 0 -1 1077944384 426 0 0 0 8 5 0 0 20 0 15 0 154191612 14320615424 869983 33554432000 4194304 4196468 140724414519056 140462219094448 140463315040898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 21663744 140724414522525 140724414522700 140724414522700 140724414525391 0
Current children cumulated CPU time: 250.1 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 3481316 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+240.02 s]
# the end of solver process 4792 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.000982 s, system=0.000982 s

[startup+240.035 s]
# the end of solver process 4794 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=249.171 s, system=0.972576 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 240.035
CPU time (s): 250.144
CPU user time (s): 249.171
CPU system time (s): 0.972576
CPU usage (%): 104.212
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 3481316

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 249.171
system time used= 0.972576
maximum resident set size= 3489764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66622
page faults= 0
swaps= 0
block input operations= 0
block output operations= 368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8865
involuntary context switches= 306


# summary of solver processes directly reported to runsolver:
#   pid: 4792,4794
#   total CPU time (s): 250.144
#   total CPU user time (s): 249.171
#   total CPU system time (s): 0.972576

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.60301 second user time and 2.28943 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-500-5.xml
MD5SUM	3c0366ff4baa9e19aea1ffc9dac5e4aa
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	59
Best CPU time to get the best result obtained on this benchmark	251.92101
Satisfiable
(Un)Satisfiability was proved
Number of variables	500
Number of constraints	62624
Number of domains	1
Minimum domain size	500
Maximum domain size	500
Distribution of domain sizes	[{"size":500,"count":500}]
Minimum variable degree	221
Maximum variable degree	287
Distribution of variable degrees	[{"degree":221,"count":2},{"degree":222,"count":1},{"degree":223,"count":2},{"degree":224,"count":1},{"degree":225,"count":1},{"degree":227,"count":1},{"degree":228,"count":2},{"degree":230,"count":1},{"degree":231,"count":4},{"degree":232,"count":4},{"degree":233,"count":3},{"degree":234,"count":4},{"degree":235,"count":8},{"degree":236,"count":17},{"degree":237,"count":4},{"degree":238,"count":11},{"degree":239,"count":6},{"degree":240,"count":11},{"degree":241,"count":9},{"degree":242,"count":14},{"degree":243,"count":14},{"degree":244,"count":12},{"degree":245,"count":13},{"degree":246,"count":17},{"degree":247,"count":14},"...",{"degree":257,"count":16}, {"degree":258,"count":9}, {"degree":259,"count":19}, {"degree":260,"count":19}, {"degree":261,"count":19}, {"degree":262,"count":14}, {"degree":263,"count":12}, {"degree":264,"count":6}, {"degree":265,"count":7}, {"degree":266,"count":8}, {"degree":267,"count":4}, {"degree":268,"count":6}, {"degree":269,"count":5}, {"degree":270,"count":8}, {"degree":271,"count":4}, {"degree":272,"count":2}, {"degree":273,"count":2}, {"degree":274,"count":1}, {"degree":275,"count":1}, {"degree":276,"count":1}, {"degree":277,"count":2}, {"degree":278,"count":1}, {"degree":280,"count":2}, {"degree":281,"count":1}, {"degree":287,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":62624}]
Number of extensional constraints	0
Number of intensional constraints	62624
Distribution of constraint types	[{"type":"intension","count":62624}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4284322

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
