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)	40	250.22301	240.03
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 (10859 MiB free)
  memory of node 1: 16384 MiB (12135 MiB free)
  node distances:
     10  21
     21  10

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

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

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
solver pid=4711, runsolver pid=4708
Current StackSize limit: 8192 KiB


[startup+0.100094 s]*
/proc/loadavg: 1.60 1.72 1.71 3/218 4727
/proc/meminfo: memFree=23528968/32770624 swapFree=67108860/67108860
[pid=4711] ppid=4708 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/4711/stat : 4711 (xcsp3-exec) S 4708 4711 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154189811 9740288 346 33554432000 4194304 5098028 140731352651760 140731352649864 140564602544764 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25374720 140731352654964 140731352655168 140731352655168 140731352657899 0
/proc/4711/statm: 2378 346 289 221 0 87 0
[pid=4713] ppid=4711 vsize=13978596 memory=29224 CPUtime=0.12 cores=1,3,5,7
/proc/4713/stat : 4713 (java) S 4711 4711 3809 0 -1 1077944320 5103 0 0 0 11 1 0 0 20 0 15 0 154189811 14314082304 7306 33554432000 4194304 4196468 140737124632816 140737124615360 139820883508983 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
/proc/4713/statm: 3494649 7306 2890 1 0 3482966 0
[pid=4713/tid=4714] ppid=4711 vsize=13978596 memory=8116795631895548763 CPUtime=0.09 cores=1,3,5,7
/proc/4713/task/4714/stat : 4714 (java) R 4711 4711 3809 0 -1 4202560 3103 0 0 0 8 1 0 0 20 0 15 0 154189811 14314082304 7372 33554432000 4194304 4196468 140737124632816 139820887735520 139820521022941 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4715] ppid=4711 vsize=13978596 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/4713/task/4715/stat : 4715 (java) S 4711 4711 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154189812 14314082304 7372 33554432000 4194304 4196468 140737124632816 139820479396880 139820883519189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4716] ppid=4711 vsize=13978596 memory=139692312340096 CPUtime=0 cores=1,3,5,7
/proc/4713/task/4716/stat : 4716 (java) S 4711 4711 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154189812 14314082304 7372 33554432000 4194304 4196468 140737124632816 139820478344336 139820883519189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4717] ppid=4711 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4713/task/4717/stat : 4717 (java) S 4711 4711 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154189812 14314082304 7372 33554432000 4194304 4196468 140737124632816 139820477291280 139820883519189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4718] ppid=4711 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4713/task/4718/stat : 4718 (java) S 4711 4711 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154189812 14314082304 7372 33554432000 4194304 4196468 140737124632816 139820476238736 139820883519189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4719] ppid=4711 vsize=13978596 memory=139692312340096 CPUtime=0 cores=1,3,5,7
/proc/4713/task/4719/stat : 4719 (java) S 4711 4711 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154189813 14314082304 7372 33554432000 4194304 4196468 140737124632816 139820357593328 139820883520130 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4720] ppid=4711 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4713/task/4720/stat : 4720 (java) S 4711 4711 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154189814 14314082304 7372 33554432000 4194304 4196468 140737124632816 139820356539552 139820883519189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4721] ppid=4711 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4713/task/4721/stat : 4721 (java) S 4711 4711 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154189814 14314082304 7372 33554432000 4194304 4196468 140737124632816 139820355486448 139820883519189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4722] ppid=4711 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4713/task/4722/stat : 4722 (java) S 4711 4711 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154189816 14314082304 7372 33554432000 4194304 4196468 140737124632816 139820354435024 139820883527579 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4723] ppid=4711 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4713/task/4723/stat : 4723 (java) S 4711 4711 3809 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 15 0 154189816 14314082304 7372 33554432000 4194304 4196468 140737124632816 139820353383152 139820883520130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4724] ppid=4711 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4713/task/4724/stat : 4724 (java) S 4711 4711 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154189816 14314082304 7372 33554432000 4194304 4196468 140737124632816 139820352330608 139820883520130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4725] ppid=4711 vsize=13978596 memory=139692312340096 CPUtime=0.01 cores=1,3,5,7
/proc/4713/task/4725/stat : 4725 (java) R 4711 4711 3809 0 -1 4202560 341 0 0 0 1 0 0 0 20 0 15 0 154189816 14314082304 7372 33554432000 4194304 4196468 140737124632816 139820351277552 139820876605819 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4726] ppid=4711 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4713/task/4726/stat : 4726 (java) S 4711 4711 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154189816 14314082304 7372 33554432000 4194304 4196468 140737124632816 139820350225248 139820883519189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4727] ppid=4711 vsize=13978596 memory=139692312340096 CPUtime=0 cores=1,3,5,7
/proc/4713/task/4727/stat : 4727 (java) S 4711 4711 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154189817 14314082304 7372 33554432000 4194304 4196468 140737124632816 139820349172272 139820883520130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 30608 KiB

[startup+0.210742 s]*
/proc/loadavg: 1.60 1.72 1.71 4/218 4727
/proc/meminfo: memFree=23518748/32770624 swapFree=67108860/67108860
[pid=4711] ppid=4708 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/4711/stat : 4711 (xcsp3-exec) S 4708 4711 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154189811 9740288 346 33554432000 4194304 5098028 140731352651760 140731352649864 140564602544764 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25374720 140731352654964 140731352655168 140731352655168 140731352657899 0
/proc/4711/statm: 2378 346 289 221 0 87 0
[pid=4713] ppid=4711 vsize=13982852 memory=40180 CPUtime=0.34 cores=1,3,5,7
/proc/4713/stat : 4713 (java) S 4711 4711 3809 0 -1 1077944320 7740 0 0 0 31 3 0 0 20 0 15 0 154189811 14318440448 10045 33554432000 4194304 4196468 140737124632816 140737124615360 139820883508983 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
/proc/4713/statm: 3495713 10045 3031 1 0 3482966 0
[pid=4713/tid=4714] ppid=4711 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/4713/task/4714/stat : 4714 (java) R 4711 4711 3809 0 -1 4202560 4953 0 0 0 18 2 0 0 20 0 15 0 154189811 14318440448 10045 33554432000 4194304 4196468 140737124632816 139820887718720 139820883530909 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4715] ppid=4711 vsize=13982852 memory=8944 CPUtime=0 cores=1,3,5,7
/proc/4713/task/4715/stat : 4715 (java) S 4711 4711 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154189812 14318440448 10045 33554432000 4194304 4196468 140737124632816 139820479396880 139820883519189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4716] ppid=4711 vsize=13982852 memory=139692312449525 CPUtime=0 cores=1,3,5,7
/proc/4713/task/4716/stat : 4716 (java) S 4711 4711 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154189812 14318440448 10045 33554432000 4194304 4196468 140737124632816 139820478344336 139820883519189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4717] ppid=4711 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4713/task/4717/stat : 4717 (java) S 4711 4711 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154189812 14318440448 10045 33554432000 4194304 4196468 140737124632816 139820477291280 139820883519189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4718] ppid=4711 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4713/task/4718/stat : 4718 (java) S 4711 4711 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154189812 14318440448 10045 33554432000 4194304 4196468 140737124632816 139820476238736 139820883519189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4719] ppid=4711 vsize=13982852 memory=139692312340096 CPUtime=0 cores=1,3,5,7
/proc/4713/task/4719/stat : 4719 (java) S 4711 4711 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154189813 14318440448 10045 33554432000 4194304 4196468 140737124632816 139820357593328 139820883520130 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4720] ppid=4711 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4713/task/4720/stat : 4720 (java) S 4711 4711 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154189814 14318440448 10045 33554432000 4194304 4196468 140737124632816 139820356539552 139820883519189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4721] ppid=4711 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4713/task/4721/stat : 4721 (java) S 4711 4711 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154189814 14318440448 10045 33554432000 4194304 4196468 140737124632816 139820355486448 139820883519189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4722] ppid=4711 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4713/task/4722/stat : 4722 (java) S 4711 4711 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154189816 14318440448 10045 33554432000 4194304 4196468 140737124632816 139820354435024 139820883527579 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4723] ppid=4711 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4713/task/4723/stat : 4723 (java) S 4711 4711 3809 0 -1 1077944384 647 0 0 0 2 0 0 0 20 0 15 0 154189816 14318440448 10045 33554432000 4194304 4196468 140737124632816 139820353383152 139820883520130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4724] ppid=4711 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/4713/task/4724/stat : 4724 (java) S 4711 4711 3809 0 -1 1077944384 114 0 0 0 2 0 0 0 20 0 15 0 154189816 14318440448 10045 33554432000 4194304 4196468 140737124632816 139820352330608 139820883520130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4725] ppid=4711 vsize=13982852 memory=139692312340096 CPUtime=0.08 cores=1,3,5,7
/proc/4713/task/4725/stat : 4725 (java) R 4711 4711 3809 0 -1 4202560 726 0 0 0 8 0 0 0 20 0 15 0 154189816 14318440448 10045 33554432000 4194304 4196468 140737124632816 139820351277552 139820875746110 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4726] ppid=4711 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4713/task/4726/stat : 4726 (java) S 4711 4711 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154189816 14318440448 10045 33554432000 4194304 4196468 140737124632816 139820350225248 139820883519189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4727] ppid=4711 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4713/task/4727/stat : 4727 (java) S 4711 4711 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154189817 14318440448 10045 33554432000 4194304 4196468 140737124632816 139820349172272 139820883520130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41564 KiB

[startup+0.310835 s]*
/proc/loadavg: 1.71 1.74 1.72 5/218 4727
/proc/meminfo: memFree=23510808/32770624 swapFree=67108860/67108860
[pid=4711] ppid=4708 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/4711/stat : 4711 (xcsp3-exec) S 4708 4711 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154189811 9740288 346 33554432000 4194304 5098028 140731352651760 140731352649864 140564602544764 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25374720 140731352654964 140731352655168 140731352655168 140731352657899 0
/proc/4711/statm: 2378 346 289 221 0 87 0
[pid=4713] ppid=4711 vsize=13982852 memory=47268 CPUtime=0.51 cores=1,3,5,7
/proc/4713/stat : 4713 (java) S 4711 4711 3809 0 -1 1077944320 8512 0 0 0 48 3 0 0 20 0 15 0 154189811 14318440448 11817 33554432000 4194304 4196468 140737124632816 140737124615360 139820883508983 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
/proc/4713/statm: 3495713 11817 3072 1 0 3482966 0
[pid=4713/tid=4714] ppid=4711 vsize=13982852 memory=8112282956445269571 CPUtime=0.29 cores=1,3,5,7
/proc/4713/task/4714/stat : 4714 (java) R 4711 4711 3809 0 -1 4202560 5476 0 0 0 27 2 0 0 20 0 15 0 154189811 14318440448 11817 33554432000 4194304 4196468 140737124632816 139820887746880 139820883530909 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4715] ppid=4711 vsize=13982852 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/4713/task/4715/stat : 4715 (java) S 4711 4711 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154189812 14318440448 11817 33554432000 4194304 4196468 140737124632816 139820479396880 139820883519189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4716] ppid=4711 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/4713/task/4716/stat : 4716 (java) S 4711 4711 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154189812 14318440448 11817 33554432000 4194304 4196468 140737124632816 139820478344336 139820883519189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4717] ppid=4711 vsize=13982852 memory=-2026666227646604569 CPUtime=0 cores=1,3,5,7
/proc/4713/task/4717/stat : 4717 (java) S 4711 4711 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154189812 14318440448 11817 33554432000 4194304 4196468 140737124632816 139820477291280 139820883519189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4718] ppid=4711 vsize=13982852 memory=7593740018551660441 CPUtime=0 cores=1,3,5,7
/proc/4713/task/4718/stat : 4718 (java) S 4711 4711 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154189812 14318440448 11817 33554432000 4194304 4196468 140737124632816 139820476238736 139820883519189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4719] ppid=4711 vsize=13982852 memory=6944657691966988345 CPUtime=0 cores=1,3,5,7
/proc/4713/task/4719/stat : 4719 (java) S 4711 4711 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154189813 14318440448 11817 33554432000 4194304 4196468 140737124632816 139820357593328 139820883520130 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4720] ppid=4711 vsize=13982852 memory=4196912344889787449 CPUtime=0 cores=1,3,5,7
/proc/4713/task/4720/stat : 4720 (java) S 4711 4711 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154189814 14318440448 11817 33554432000 4194304 4196468 140737124632816 139820356539552 139820883519189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4721] ppid=4711 vsize=13982852 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/4713/task/4721/stat : 4721 (java) S 4711 4711 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154189814 14318440448 11817 33554432000 4194304 4196468 140737124632816 139820355486448 139820883519189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4722] ppid=4711 vsize=13982852 memory=-6444775992005010620 CPUtime=0 cores=1,3,5,7
/proc/4713/task/4722/stat : 4722 (java) S 4711 4711 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154189816 14318440448 11817 33554432000 4194304 4196468 140737124632816 139820354435024 139820883527579 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4723] ppid=4711 vsize=13982852 memory=7100839887185294217 CPUtime=0.03 cores=1,3,5,7
/proc/4713/task/4723/stat : 4723 (java) R 4711 4711 3809 0 -1 1077944384 655 0 0 0 3 0 0 0 20 0 15 0 154189816 14318440448 11817 33554432000 4194304 4196468 140737124632816 139820353383152 139820883520130 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4724] ppid=4711 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/4713/task/4724/stat : 4724 (java) R 4711 4711 3809 0 -1 4202560 238 0 0 0 3 0 0 0 20 0 15 0 154189816 14318440448 11817 33554432000 4194304 4196468 140737124632816 139820352330608 139820867908992 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4725] ppid=4711 vsize=13982852 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/4713/task/4725/stat : 4725 (java) R 4711 4711 3809 0 -1 4202560 840 0 0 0 13 0 0 0 20 0 15 0 154189816 14318440448 11817 33554432000 4194304 4196468 140737124632816 139820351273920 139820862493725 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4726] ppid=4711 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4713/task/4726/stat : 4726 (java) S 4711 4711 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154189816 14318440448 11817 33554432000 4194304 4196468 140737124632816 139820350225248 139820883519189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4727] ppid=4711 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4713/task/4727/stat : 4727 (java) S 4711 4711 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154189817 14318440448 11817 33554432000 4194304 4196468 140737124632816 139820349172272 139820883520130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48652 KiB

[startup+0.701761 s]
/proc/loadavg: 1.71 1.74 1.72 3/218 4727
/proc/meminfo: memFree=23480220/32770624 swapFree=67108860/67108860
[pid=4711] ppid=4708 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/4711/stat : 4711 (xcsp3-exec) S 4708 4711 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154189811 9740288 346 33554432000 4194304 5098028 140731352651760 140731352649864 140564602544764 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25374720 140731352654964 140731352655168 140731352655168 140731352657899 0
/proc/4711/statm: 2378 346 289 221 0 87 0
[pid=4713] ppid=4711 vsize=13982928 memory=117644 CPUtime=1.71 cores=1,3,5,7
/proc/4713/stat : 4713 (java) S 4711 4711 3809 0 -1 1077944320 11238 0 0 0 165 6 0 0 20 0 15 0 154189811 14318518272 29411 33554432000 4194304 4196468 140737124632816 140737124615360 139820883508983 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
/proc/4713/statm: 3495732 29411 3191 1 0 3482966 0
[pid=4713/tid=4714] ppid=4711 vsize=13982928 memory=1728 CPUtime=0.67 cores=1,3,5,7
/proc/4713/task/4714/stat : 4714 (java) R 4711 4711 3809 0 -1 4202560 5787 0 0 0 64 3 0 0 20 0 15 0 154189811 14318518272 29411 33554432000 4194304 4196468 140737124632816 139820887742824 139820524202887 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4715] ppid=4711 vsize=13982928 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/4713/task/4715/stat : 4715 (java) S 4711 4711 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154189812 14318518272 29411 33554432000 4194304 4196468 140737124632816 139820479396880 139820883519189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4716] ppid=4711 vsize=13982928 memory=796 CPUtime=0 cores=1,3,5,7
/proc/4713/task/4716/stat : 4716 (java) S 4711 4711 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154189812 14318518272 29411 33554432000 4194304 4196468 140737124632816 139820478344336 139820883519189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4717] ppid=4711 vsize=13982928 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/4713/task/4717/stat : 4717 (java) S 4711 4711 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154189812 14318518272 29411 33554432000 4194304 4196468 140737124632816 139820477291280 139820883519189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4718] ppid=4711 vsize=13982928 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/4713/task/4718/stat : 4718 (java) S 4711 4711 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154189812 14318518272 29411 33554432000 4194304 4196468 140737124632816 139820476238736 139820883519189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4719] ppid=4711 vsize=13982928 memory=8612 CPUtime=0 cores=1,3,5,7
/proc/4713/task/4719/stat : 4719 (java) S 4711 4711 3809 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154189813 14318518272 29411 33554432000 4194304 4196468 140737124632816 139820357593328 139820883520130 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4720] ppid=4711 vsize=13982928 memory=5784 CPUtime=0 cores=1,3,5,7
/proc/4713/task/4720/stat : 4720 (java) S 4711 4711 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154189814 14318518272 29411 33554432000 4194304 4196468 140737124632816 139820356539552 139820883519189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4721] ppid=4711 vsize=13982928 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/4713/task/4721/stat : 4721 (java) S 4711 4711 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154189814 14318518272 29411 33554432000 4194304 4196468 140737124632816 139820355486448 139820883519189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4722] ppid=4711 vsize=13982928 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/4713/task/4722/stat : 4722 (java) S 4711 4711 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154189816 14318518272 29411 33554432000 4194304 4196468 140737124632816 139820354435024 139820883527579 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4723] ppid=4711 vsize=13982928 memory=11112 CPUtime=0.36 cores=1,3,5,7
/proc/4713/task/4723/stat : 4723 (java) R 4711 4711 3809 0 -1 4202560 1531 0 0 0 36 0 0 0 20 0 15 0 154189816 14318518272 29411 33554432000 4194304 4196468 140737124632816 139820353369032 139820861659519 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4724] ppid=4711 vsize=13982928 memory=1228 CPUtime=0.36 cores=1,3,5,7
/proc/4713/task/4724/stat : 4724 (java) R 4711 4711 3809 0 -1 4202560 1170 0 0 0 36 0 0 0 20 0 15 0 154189816 14318518272 29411 33554432000 4194304 4196468 140737124632816 139820352316488 139820868435625 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4725] ppid=4711 vsize=13982928 memory=1420 CPUtime=0.27 cores=1,3,5,7
/proc/4713/task/4725/stat : 4725 (java) S 4711 4711 3809 0 -1 1077944384 1443 0 0 0 27 0 0 0 20 0 15 0 154189816 14318518272 29411 33554432000 4194304 4196468 140737124632816 139820351277552 139820883520130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4726] ppid=4711 vsize=13982928 memory=15876 CPUtime=0 cores=1,3,5,7
/proc/4713/task/4726/stat : 4726 (java) S 4711 4711 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154189816 14318518272 29411 33554432000 4194304 4196468 140737124632816 139820350225248 139820883519189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4727] ppid=4711 vsize=13982928 memory=16448 CPUtime=0 cores=1,3,5,7
/proc/4713/task/4727/stat : 4727 (java) S 4711 4711 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154189817 14318518272 29411 33554432000 4194304 4196468 140737124632816 139820349172272 139820883520130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
Current children cumulated CPU time: 1.71 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 119028 KiB

[startup+1.50978 s]
/proc/loadavg: 1.71 1.74 1.72 5/218 4727
/proc/meminfo: memFree=23360616/32770624 swapFree=67108860/67108860
[pid=4711] ppid=4708 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/4711/stat : 4711 (xcsp3-exec) S 4708 4711 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154189811 9740288 346 33554432000 4194304 5098028 140731352651760 140731352649864 140564602544764 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25374720 140731352654964 140731352655168 140731352655168 140731352657899 0
/proc/4711/statm: 2378 346 289 221 0 87 0

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

/proc/4713/task/4721/stat : 4721 (java) S 4711 4711 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154189814 14320615424 305410 33554432000 4194304 4196468 140737124632816 139820355486464 139820883519189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4722] ppid=4711 vsize=13984976 memory=1221640 CPUtime=0 cores=1,3,5,7
/proc/4713/task/4722/stat : 4722 (java) S 4711 4711 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154189816 14320615424 305410 33554432000 4194304 4196468 140737124632816 139820354435024 139820883527579 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4723] ppid=4711 vsize=13984976 memory=1823 CPUtime=4.06 cores=1,3,5,7
/proc/4713/task/4723/stat : 4723 (java) S 4711 4711 3809 0 -1 1077944384 13271 0 0 0 405 1 0 0 20 0 15 0 154189816 14320615424 305410 33554432000 4194304 4196468 140737124632816 139820353383152 139820883520130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4724] ppid=4711 vsize=13984976 memory=139692200903946 CPUtime=4.53 cores=1,3,5,7
/proc/4713/task/4724/stat : 4724 (java) S 4711 4711 3809 0 -1 1077944384 13676 0 0 0 451 2 0 0 20 0 15 0 154189816 14320615424 305410 33554432000 4194304 4196468 140737124632816 139820352330608 139820883520130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4725] ppid=4711 vsize=13984976 memory=1384 CPUtime=0.84 cores=1,3,5,7
/proc/4713/task/4725/stat : 4725 (java) S 4711 4711 3809 0 -1 1077944384 6334 0 0 0 82 2 0 0 20 0 15 0 154189816 14320615424 305410 33554432000 4194304 4196468 140737124632816 139820351277552 139820883520130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4726] ppid=4711 vsize=13984976 memory=1221640 CPUtime=0 cores=1,3,5,7
/proc/4713/task/4726/stat : 4726 (java) S 4711 4711 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154189816 14320615424 305410 33554432000 4194304 4196468 140737124632816 139820350225248 139820883519189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4727] ppid=4711 vsize=13984976 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/4713/task/4727/stat : 4727 (java) S 4711 4711 3809 0 -1 1077944384 333 0 0 0 1 2 0 0 20 0 15 0 154189817 14320615424 305410 33554432000 4194304 4196468 140737124632816 139820349172272 139820883520130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
Current children cumulated CPU time: 112.28 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 1223024 KiB

[startup+162.301 s]
/proc/loadavg: 1.93 1.81 1.75 3/217 4811
/proc/meminfo: memFree=19443536/32770624 swapFree=67108860/67108860
[pid=4711] ppid=4708 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/4711/stat : 4711 (xcsp3-exec) S 4708 4711 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154189811 9740288 346 33554432000 4194304 5098028 140731352651760 140731352649864 140564602544764 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25374720 140731352654964 140731352655168 140731352655168 140731352657899 0
/proc/4711/statm: 2378 346 289 221 0 87 0
[pid=4713] ppid=4711 vsize=13984976 memory=2196488 CPUtime=172.32 cores=1,3,5,7
/proc/4713/stat : 4713 (java) S 4711 4711 3809 0 -1 1077944320 60336 0 0 0 17163 69 0 0 20 0 15 0 154189811 14320615424 549122 33554432000 4194304 4196468 140737124632816 140737124615360 139820883508983 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
/proc/4713/statm: 3496244 549122 3277 1 0 3483478 0
[pid=4713/tid=4714] ppid=4711 vsize=13984976 memory=2194440 CPUtime=161.91 cores=1,3,5,7
/proc/4713/task/4714/stat : 4714 (java) R 4711 4711 3809 0 -1 4202560 18099 0 0 0 16156 35 0 0 20 0 15 0 154189811 14320615424 549122 33554432000 4194304 4196468 140737124632816 139820887746328 139820527487272 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4715] ppid=4711 vsize=13984976 memory=1384 CPUtime=0.2 cores=1,3,5,7
/proc/4713/task/4715/stat : 4715 (java) S 4711 4711 3809 0 -1 1077944384 1836 0 0 0 15 5 0 0 20 0 15 0 154189812 14320615424 549122 33554432000 4194304 4196468 140737124632816 139820479396880 139820883519189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4716] ppid=4711 vsize=13984976 memory=2108424 CPUtime=0.19 cores=1,3,5,7
/proc/4713/task/4716/stat : 4716 (java) S 4711 4711 3809 0 -1 1077944384 411 0 0 0 13 6 0 0 20 0 15 0 154189812 14320615424 549122 33554432000 4194304 4196468 140737124632816 139820478344336 139820883519189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4717] ppid=4711 vsize=13984976 memory=1384 CPUtime=0.2 cores=1,3,5,7
/proc/4713/task/4717/stat : 4717 (java) S 4711 4711 3809 0 -1 1077944384 679 0 0 0 15 5 0 0 20 0 15 0 154189812 14320615424 549122 33554432000 4194304 4196468 140737124632816 139820477291280 139820883519189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4718] ppid=4711 vsize=13984976 memory=1384 CPUtime=0.2 cores=1,3,5,7
/proc/4713/task/4718/stat : 4718 (java) S 4711 4711 3809 0 -1 1077944384 1667 0 0 0 14 6 0 0 20 0 15 0 154189812 14320615424 549122 33554432000 4194304 4196468 140737124632816 139820476238736 139820883519189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4719] ppid=4711 vsize=13984976 memory=1384 CPUtime=0.02 cores=1,3,5,7
/proc/4713/task/4719/stat : 4719 (java) S 4711 4711 3809 0 -1 1077944384 1777 0 0 0 2 0 0 0 20 0 15 0 154189813 14320615424 549122 33554432000 4194304 4196468 140737124632816 139820357593328 139820883520130 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4720] ppid=4711 vsize=13984976 memory=11112 CPUtime=0 cores=1,3,5,7
/proc/4713/task/4720/stat : 4720 (java) S 4711 4711 3809 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 154189814 14320615424 549122 33554432000 4194304 4196468 140737124632816 139820356539616 139820883519189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4721] ppid=4711 vsize=13984976 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/4713/task/4721/stat : 4721 (java) S 4711 4711 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154189814 14320615424 549122 33554432000 4194304 4196468 140737124632816 139820355486464 139820883519189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4722] ppid=4711 vsize=13984976 memory=2081800 CPUtime=0 cores=1,3,5,7
/proc/4713/task/4722/stat : 4722 (java) S 4711 4711 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154189816 14320615424 549122 33554432000 4194304 4196468 140737124632816 139820354435024 139820883527579 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4723] ppid=4711 vsize=13984976 memory=1384 CPUtime=4.07 cores=1,3,5,7
/proc/4713/task/4723/stat : 4723 (java) S 4711 4711 3809 0 -1 1077944384 13372 0 0 0 406 1 0 0 20 0 15 0 154189816 14320615424 549122 33554432000 4194304 4196468 140737124632816 139820353383152 139820883520130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4724] ppid=4711 vsize=13984976 memory=20302310412970 CPUtime=4.53 cores=1,3,5,7
/proc/4713/task/4724/stat : 4724 (java) S 4711 4711 3809 0 -1 1077944384 14444 0 0 0 451 2 0 0 20 0 15 0 154189816 14320615424 549122 33554432000 4194304 4196468 140737124632816 139820352330608 139820883520130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4725] ppid=4711 vsize=13984976 memory=6944656575208382560 CPUtime=0.84 cores=1,3,5,7
/proc/4713/task/4725/stat : 4725 (java) S 4711 4711 3809 0 -1 1077944384 6383 0 0 0 82 2 0 0 20 0 15 0 154189816 14320615424 549122 33554432000 4194304 4196468 140737124632816 139820351277552 139820883520130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4726] ppid=4711 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/4713/task/4726/stat : 4726 (java) S 4711 4711 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154189816 14320615424 549122 33554432000 4194304 4196468 140737124632816 139820350225248 139820883519189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4727] ppid=4711 vsize=13984976 memory=2049032 CPUtime=0.06 cores=1,3,5,7
/proc/4713/task/4727/stat : 4727 (java) S 4711 4711 3809 0 -1 1077944384 371 0 0 0 3 3 0 0 20 0 15 0 154189817 14320615424 549122 33554432000 4194304 4196468 140737124632816 139820349172272 139820883520130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
Current children cumulated CPU time: 172.32 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 2197872 KiB

[startup+222.301 s]
/proc/loadavg: 1.93 1.83 1.76 3/217 4812
/proc/meminfo: memFree=18608356/32770624 swapFree=67108860/67108860
[pid=4711] ppid=4708 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/4711/stat : 4711 (xcsp3-exec) S 4708 4711 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154189811 9740288 346 33554432000 4194304 5098028 140731352651760 140731352649864 140564602544764 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25374720 140731352654964 140731352655168 140731352655168 140731352657899 0
/proc/4711/statm: 2378 346 289 221 0 87 0
[pid=4713] ppid=4711 vsize=13984976 memory=2220972 CPUtime=232.41 cores=1,3,5,7
/proc/4713/stat : 4713 (java) S 4711 4711 3809 0 -1 1077944320 63740 0 0 0 23168 73 0 0 20 0 15 0 154189811 14320615424 555243 33554432000 4194304 4196468 140737124632816 140737124615360 139820883508983 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
/proc/4713/statm: 3496244 555243 3277 1 0 3483478 0
[pid=4713/tid=4714] ppid=4711 vsize=13984976 memory=2220972 CPUtime=221.89 cores=1,3,5,7
/proc/4713/task/4714/stat : 4714 (java) R 4711 4711 3809 0 -1 4202560 20498 0 0 0 22154 35 0 0 20 0 15 0 154189811 14320615424 555243 33554432000 4194304 4196468 140737124632816 139820887745248 139820530630076 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4715] ppid=4711 vsize=13984976 memory=2220972 CPUtime=0.22 cores=1,3,5,7
/proc/4713/task/4715/stat : 4715 (java) S 4711 4711 3809 0 -1 1077944384 1917 0 0 0 16 6 0 0 20 0 15 0 154189812 14320615424 555243 33554432000 4194304 4196468 140737124632816 139820479396880 139820883519189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4716] ppid=4711 vsize=13984976 memory=2220972 CPUtime=0.22 cores=1,3,5,7
/proc/4713/task/4716/stat : 4716 (java) S 4711 4711 3809 0 -1 1077944384 836 0 0 0 15 7 0 0 20 0 15 0 154189812 14320615424 555243 33554432000 4194304 4196468 140737124632816 139820478344336 139820883519189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4717] ppid=4711 vsize=13984976 memory=1384 CPUtime=0.22 cores=1,3,5,7
/proc/4713/task/4717/stat : 4717 (java) S 4711 4711 3809 0 -1 1077944384 740 0 0 0 16 6 0 0 20 0 15 0 154189812 14320615424 555243 33554432000 4194304 4196468 140737124632816 139820477291280 139820883519189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4718] ppid=4711 vsize=13984976 memory=1384 CPUtime=0.22 cores=1,3,5,7
/proc/4713/task/4718/stat : 4718 (java) S 4711 4711 3809 0 -1 1077944384 1777 0 0 0 16 6 0 0 20 0 15 0 154189812 14320615424 555243 33554432000 4194304 4196468 140737124632816 139820476238736 139820883519189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4719] ppid=4711 vsize=13984976 memory=2220972 CPUtime=0.02 cores=1,3,5,7
/proc/4713/task/4719/stat : 4719 (java) S 4711 4711 3809 0 -1 1077944384 1974 0 0 0 2 0 0 0 20 0 15 0 154189813 14320615424 555243 33554432000 4194304 4196468 140737124632816 139820357593328 139820883520130 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4720] ppid=4711 vsize=13984976 memory=139692200898352 CPUtime=0 cores=1,3,5,7
/proc/4713/task/4720/stat : 4720 (java) S 4711 4711 3809 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 154189814 14320615424 555243 33554432000 4194304 4196468 140737124632816 139820356539616 139820883519189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4721] ppid=4711 vsize=13984976 memory=2220972 CPUtime=0 cores=1,3,5,7
/proc/4713/task/4721/stat : 4721 (java) S 4711 4711 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154189814 14320615424 555243 33554432000 4194304 4196468 140737124632816 139820355486464 139820883519189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4722] ppid=4711 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/4713/task/4722/stat : 4722 (java) S 4711 4711 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154189816 14320615424 555243 33554432000 4194304 4196468 140737124632816 139820354435024 139820883527579 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4723] ppid=4711 vsize=13984976 memory=1384 CPUtime=4.07 cores=1,3,5,7
/proc/4713/task/4723/stat : 4723 (java) S 4711 4711 3809 0 -1 1077944384 13454 0 0 0 406 1 0 0 20 0 15 0 154189816 14320615424 555243 33554432000 4194304 4196468 140737124632816 139820353383152 139820883520130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4724] ppid=4711 vsize=13984976 memory=2220972 CPUtime=4.54 cores=1,3,5,7
/proc/4713/task/4724/stat : 4724 (java) S 4711 4711 3809 0 -1 1077944384 14466 0 0 0 452 2 0 0 20 0 15 0 154189816 14320615424 555243 33554432000 4194304 4196468 140737124632816 139820352330608 139820883520130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4725] ppid=4711 vsize=13984976 memory=8112282956445269571 CPUtime=0.84 cores=1,3,5,7
/proc/4713/task/4725/stat : 4725 (java) S 4711 4711 3809 0 -1 1077944384 6383 0 0 0 82 2 0 0 20 0 15 0 154189816 14320615424 555243 33554432000 4194304 4196468 140737124632816 139820351277552 139820883520130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4726] ppid=4711 vsize=13984976 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/4713/task/4726/stat : 4726 (java) S 4711 4711 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154189816 14320615424 555243 33554432000 4194304 4196468 140737124632816 139820350225248 139820883519189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4727] ppid=4711 vsize=13984976 memory=2220972 CPUtime=0.08 cores=1,3,5,7
/proc/4713/task/4727/stat : 4727 (java) S 4711 4711 3809 0 -1 1077944384 398 0 0 0 4 4 0 0 20 0 15 0 154189817 14320615424 555243 33554432000 4194304 4196468 140737124632816 139820349172272 139820883520130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
Current children cumulated CPU time: 232.41 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 2222356 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]*
/proc/loadavg: 1.87 1.82 1.76 3/217 4812
/proc/meminfo: memFree=18158292/32770624 swapFree=67108860/67108860
[pid=4711] ppid=4708 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/4711/stat : 4711 (xcsp3-exec) S 4708 4711 3809 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154189811 9740288 346 33554432000 4194304 5098028 140731352651760 140731352649864 140564602544764 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25374720 140731352654964 140731352655168 140731352655168 140731352657899 0
/proc/4711/statm: 2378 346 289 221 0 87 0
[pid=4713] ppid=4711 vsize=13984976 memory=2237332 CPUtime=250.19 cores=1,3,5,7
/proc/4713/stat : 4713 (java) S 4711 4711 3809 0 -1 1077944320 65799 0 0 0 24943 76 0 0 20 0 15 0 154189811 14320615424 559333 33554432000 4194304 4196468 140737124632816 140737124615360 139820883508983 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
/proc/4713/statm: 3496244 559333 3277 1 0 3483478 0
[pid=4713/tid=4714] ppid=4711 vsize=13984976 memory=2424 CPUtime=239.59 cores=1,3,5,7
/proc/4713/task/4714/stat : 4714 (java) R 4711 4711 3809 0 -1 4202560 20930 0 0 0 23923 36 0 0 20 0 15 0 154189811 14320615424 559333 33554432000 4194304 4196468 140737124632816 139820887748056 139820529755444 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4715] ppid=4711 vsize=13984976 memory=1580 CPUtime=0.24 cores=1,3,5,7
/proc/4713/task/4715/stat : 4715 (java) S 4711 4711 3809 0 -1 1077944384 2367 0 0 0 17 7 0 0 20 0 15 0 154189812 14320615424 559333 33554432000 4194304 4196468 140737124632816 139820479396880 139820883519189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4716] ppid=4711 vsize=13984976 memory=4126316290023845779 CPUtime=0.23 cores=1,3,5,7
/proc/4713/task/4716/stat : 4716 (java) S 4711 4711 3809 0 -1 1077944384 863 0 0 0 16 7 0 0 20 0 15 0 154189812 14320615424 559333 33554432000 4194304 4196468 140737124632816 139820478344336 139820883519189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4717] ppid=4711 vsize=13984976 memory=1384 CPUtime=0.23 cores=1,3,5,7
/proc/4713/task/4717/stat : 4717 (java) S 4711 4711 3809 0 -1 1077944384 785 0 0 0 17 6 0 0 20 0 15 0 154189812 14320615424 559333 33554432000 4194304 4196468 140737124632816 139820477291280 139820883519189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4718] ppid=4711 vsize=13984976 memory=2237332 CPUtime=0.24 cores=1,3,5,7
/proc/4713/task/4718/stat : 4718 (java) S 4711 4711 3809 0 -1 1077944384 1831 0 0 0 17 7 0 0 20 0 15 0 154189812 14320615424 559333 33554432000 4194304 4196468 140737124632816 139820476238736 139820883519189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4719] ppid=4711 vsize=13984976 memory=6297529308508951207 CPUtime=0.02 cores=1,3,5,7
/proc/4713/task/4719/stat : 4719 (java) S 4711 4711 3809 0 -1 1077944384 2201 0 0 0 2 0 0 0 20 0 15 0 154189813 14320615424 559333 33554432000 4194304 4196468 140737124632816 139820357593328 139820883520130 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4720] ppid=4711 vsize=13984976 memory=6297529308508951207 CPUtime=0 cores=1,3,5,7
/proc/4713/task/4720/stat : 4720 (java) S 4711 4711 3809 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 154189814 14320615424 559333 33554432000 4194304 4196468 140737124632816 139820356539616 139820883519189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4721] ppid=4711 vsize=13984976 memory=6297529308508951207 CPUtime=0 cores=1,3,5,7
/proc/4713/task/4721/stat : 4721 (java) S 4711 4711 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154189814 14320615424 559333 33554432000 4194304 4196468 140737124632816 139820355486464 139820883519189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4722] ppid=4711 vsize=13984976 memory=6297529304213983911 CPUtime=0 cores=1,3,5,7
/proc/4713/task/4722/stat : 4722 (java) S 4711 4711 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154189816 14320615424 559333 33554432000 4194304 4196468 140737124632816 139820354435024 139820883527579 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4723] ppid=4711 vsize=13984976 memory=6297529308508951207 CPUtime=4.07 cores=1,3,5,7
/proc/4713/task/4723/stat : 4723 (java) S 4711 4711 3809 0 -1 1077944384 13458 0 0 0 406 1 0 0 20 0 15 0 154189816 14320615424 559333 33554432000 4194304 4196468 140737124632816 139820353383152 139820883520130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4724] ppid=4711 vsize=13984976 memory=6297529308508951207 CPUtime=4.54 cores=1,3,5,7
/proc/4713/task/4724/stat : 4724 (java) S 4711 4711 3809 0 -1 1077944384 14468 0 0 0 452 2 0 0 20 0 15 0 154189816 14320615424 559333 33554432000 4194304 4196468 140737124632816 139820352330608 139820883520130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4725] ppid=4711 vsize=13984976 memory=1384 CPUtime=0.85 cores=1,3,5,7
/proc/4713/task/4725/stat : 4725 (java) S 4711 4711 3809 0 -1 1077944384 7197 0 0 0 82 3 0 0 20 0 15 0 154189816 14320615424 559333 33554432000 4194304 4196468 140737124632816 139820351277552 139820883520130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4726] ppid=4711 vsize=13984976 memory=2237332 CPUtime=0 cores=1,3,5,7
/proc/4713/task/4726/stat : 4726 (java) S 4711 4711 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154189816 14320615424 559333 33554432000 4194304 4196468 140737124632816 139820350225248 139820883519189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
[pid=4713/tid=4727] ppid=4711 vsize=13984976 memory=1384 CPUtime=0.09 cores=1,3,5,7
/proc/4713/task/4727/stat : 4727 (java) S 4711 4711 3809 0 -1 1077944384 402 0 0 0 5 4 0 0 20 0 15 0 154189817 14320615424 559333 33554432000 4194304 4196468 140737124632816 139820349172272 139820883520130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9486336 140737124635805 140737124635980 140737124635980 140737124638671 0
Current children cumulated CPU time: 250.19 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 2238716 KiB

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

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

[startup+240.03 s]
# the end of solver process 4713 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=249.448 s, system=0.775702 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.03
CPU time (s): 250.223
CPU user time (s): 249.448
CPU system time (s): 0.775702
CPU usage (%): 104.247
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 2238716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 249.448
system time used= 0.775702
maximum resident set size= 2239404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66651
page faults= 0
swaps= 0
block input operations= 0
block output operations= 344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8720
involuntary context switches= 187


# summary of solver processes directly reported to runsolver:
#   pid: 4711,4713
#   total CPU time (s): 250.223
#   total CPU user time (s): 249.448
#   total CPU system time (s): 0.775702

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.46067 second user time and 2.41842 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-wap06a.xml
MD5SUM	a8532fde929f2c832645b1246a7d35a6
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	40
Best CPU time to get the best result obtained on this benchmark	245.19501
Satisfiable
(Un)Satisfiability was proved
Number of variables	947
Number of constraints	43571
Number of domains	1
Minimum domain size	947
Maximum domain size	947
Distribution of domain sizes	[{"size":947,"count":947}]
Minimum variable degree	10
Maximum variable degree	231
Distribution of variable degrees	[{"degree":10,"count":2},{"degree":13,"count":3},{"degree":15,"count":1},{"degree":16,"count":4},{"degree":17,"count":3},{"degree":20,"count":1},{"degree":24,"count":4},{"degree":26,"count":1},{"degree":29,"count":3},{"degree":31,"count":7},{"degree":32,"count":5},{"degree":33,"count":5},{"degree":34,"count":9},{"degree":35,"count":30},{"degree":36,"count":21},{"degree":37,"count":9},{"degree":38,"count":23},{"degree":39,"count":11},{"degree":40,"count":88},{"degree":41,"count":1},{"degree":42,"count":1},{"degree":43,"count":4},{"degree":44,"count":10},{"degree":45,"count":2},{"degree":46,"count":8},"...",{"degree":184,"count":2}, {"degree":185,"count":5}, {"degree":186,"count":2}, {"degree":187,"count":1}, {"degree":188,"count":1}, {"degree":189,"count":1}, {"degree":190,"count":1}, {"degree":191,"count":2}, {"degree":192,"count":2}, {"degree":193,"count":1}, {"degree":194,"count":2}, {"degree":195,"count":2}, {"degree":196,"count":1}, {"degree":199,"count":2}, {"degree":200,"count":1}, {"degree":202,"count":1}, {"degree":205,"count":1}, {"degree":207,"count":1}, {"degree":210,"count":1}, {"degree":211,"count":1}, {"degree":213,"count":1}, {"degree":218,"count":1}, {"degree":219,"count":1}, {"degree":224,"count":2}, {"degree":231,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":43571}]
Number of extensional constraints	0
Number of intensional constraints	43571
Distribution of constraint types	[{"type":"intension","count":43571}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4284328

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
