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 4.0.5 seq (2017-08-18)	SAT (TO)	225	243.66901	240.021
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 (12978 MiB free)
  memory of node 1: 16384 MiB (12556 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282915-1503213508/watcher-4282915-1503213508 -o /tmp/evaluation-result-4282915-1503213508/solver-4282915-1503213508 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node107-1503208459-21035 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 2035012072 HOME/instance-4282915-1503213508.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=24986, runsolver pid=24983


[startup+0.100177 s]*
/proc/loadavg: 1.69 1.74 1.85 3/221 25002
/proc/meminfo: memFree=26130876/32770624 swapFree=67108860/67108860
[pid=24986] ppid=24983 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/24986/stat : 24986 (xcsp3-exec) S 24983 24986 21004 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154438713 9740288 345 33554432000 4194304 5098028 140729721081392 140729721079496 139713609982588 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 18849792 140729721082996 140729721083200 140729721083200 140729721085931 0
/proc/24986/statm: 2378 345 289 221 0 87 0
[pid=24988] ppid=24986 vsize=13978596 memory=28816 CPUtime=0.12 cores=0,2,4,6
/proc/24988/stat : 24988 (java) S 24986 24986 21004 0 -1 1077944320 5108 0 0 0 11 1 0 0 20 0 15 0 154438713 14314082304 7204 33554432000 4194304 4196468 140735870366240 140735870348784 140462973660919 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
/proc/24988/statm: 3494649 7204 2869 1 0 3482966 0
[pid=24988/tid=24989] ppid=24986 vsize=13978596 memory=8514701219881125282 CPUtime=0.08 cores=0,2,4,6
/proc/24988/task/24989/stat : 24989 (java) R 24986 24986 21004 0 -1 4202560 3067 0 0 0 8 0 0 0 20 0 15 0 154438714 14314082304 7204 33554432000 4194304 4196468 140735870366240 140462977892224 140462973672854 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24990] ppid=24986 vsize=13978596 memory=3472468315175060688 CPUtime=0 cores=0,2,4,6
/proc/24988/task/24990/stat : 24990 (java) S 24986 24986 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154438715 14314082304 7204 33554432000 4194304 4196468 140735870366240 140462888729232 140462973671125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24991] ppid=24986 vsize=13978596 memory=140186279908992 CPUtime=0 cores=0,2,4,6
/proc/24988/task/24991/stat : 24991 (java) S 24986 24986 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154438715 14314082304 7204 33554432000 4194304 4196468 140735870366240 140462887676432 140462973671125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24992] ppid=24986 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24988/task/24992/stat : 24992 (java) S 24986 24986 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154438715 14314082304 7204 33554432000 4194304 4196468 140735870366240 140462886623632 140462973671125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24993] ppid=24986 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24988/task/24993/stat : 24993 (java) S 24986 24986 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154438715 14314082304 7204 33554432000 4194304 4196468 140735870366240 140462885570832 140462973671125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24994] ppid=24986 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24988/task/24994/stat : 24994 (java) S 24986 24986 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154438716 14314082304 7204 33554432000 4194304 4196468 140735870366240 140462313163632 140462973672066 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24995] ppid=24986 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24988/task/24995/stat : 24995 (java) S 24986 24986 21004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154438716 14314082304 7204 33554432000 4194304 4196468 140735870366240 140462312109600 140462973671125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24996] ppid=24986 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24988/task/24996/stat : 24996 (java) S 24986 24986 21004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154438717 14314082304 7204 33554432000 4194304 4196468 140735870366240 140462311056752 140462973671125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24997] ppid=24986 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24988/task/24997/stat : 24997 (java) S 24986 24986 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154438719 14314082304 7204 33554432000 4194304 4196468 140735870366240 140462310005072 140462973679515 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24998] ppid=24986 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24988/task/24998/stat : 24998 (java) S 24986 24986 21004 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 154438719 14314082304 7204 33554432000 4194304 4196468 140735870366240 140462308952432 140462973672066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24999] ppid=24986 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24988/task/24999/stat : 24999 (java) S 24986 24986 21004 0 -1 1077944384 130 0 0 0 0 0 0 0 20 0 15 0 154438719 14314082304 7204 33554432000 4194304 4196468 140735870366240 140462307899632 140462973672066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=25000] ppid=24986 vsize=13978596 memory=140186279908992 CPUtime=0.01 cores=0,2,4,6
/proc/24988/task/25000/stat : 25000 (java) R 24986 24986 21004 0 -1 4202560 327 0 0 0 1 0 0 0 20 0 15 0 154438719 14314082304 7204 33554432000 4194304 4196468 140735870366240 140462306846832 140462965898046 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=25001] ppid=24986 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24988/task/25001/stat : 25001 (java) S 24986 24986 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154438719 14314082304 7204 33554432000 4194304 4196468 140735870366240 140462305794272 140462973671125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=25002] ppid=24986 vsize=13978596 memory=140186279908992 CPUtime=0 cores=0,2,4,6
/proc/24988/task/25002/stat : 25002 (java) S 24986 24986 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154438719 14314082304 7204 33554432000 4194304 4196468 140735870366240 140462304742576 140462973672066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 30196 KiB

[startup+0.210852 s]*
/proc/loadavg: 1.69 1.74 1.85 3/221 25002
/proc/meminfo: memFree=26118268/32770624 swapFree=67108860/67108860
[pid=24986] ppid=24983 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/24986/stat : 24986 (xcsp3-exec) S 24983 24986 21004 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154438713 9740288 345 33554432000 4194304 5098028 140729721081392 140729721079496 139713609982588 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 18849792 140729721082996 140729721083200 140729721083200 140729721085931 0
/proc/24986/statm: 2378 345 289 221 0 87 0
[pid=24988] ppid=24986 vsize=13982852 memory=40292 CPUtime=0.34 cores=0,2,4,6
/proc/24988/stat : 24988 (java) S 24986 24986 21004 0 -1 1077944320 7723 0 0 0 32 2 0 0 20 0 15 0 154438713 14318440448 10073 33554432000 4194304 4196468 140735870366240 140735870348784 140462973660919 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
/proc/24988/statm: 3495713 10073 3048 1 0 3482966 0
[pid=24988/tid=24989] ppid=24986 vsize=13982852 memory=5853961137533323680 CPUtime=0.19 cores=0,2,4,6
/proc/24988/task/24989/stat : 24989 (java) D 24986 24986 21004 0 -1 1077944384 4888 0 0 0 18 1 0 0 20 0 15 0 154438714 14318440448 10073 33554432000 4194304 4196468 140735870366240 140462977871824 140462966340141 0 4 0 16800975 18446744072101617188 0 0 -1 0 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24990] ppid=24986 vsize=13982852 memory=3472468315175060688 CPUtime=0 cores=0,2,4,6
/proc/24988/task/24990/stat : 24990 (java) S 24986 24986 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154438715 14318440448 10073 33554432000 4194304 4196468 140735870366240 140462888729232 140462973671125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24991] ppid=24986 vsize=13982852 memory=140186279908992 CPUtime=0 cores=0,2,4,6
/proc/24988/task/24991/stat : 24991 (java) S 24986 24986 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154438715 14318440448 10073 33554432000 4194304 4196468 140735870366240 140462887676432 140462973671125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24992] ppid=24986 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24988/task/24992/stat : 24992 (java) S 24986 24986 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154438715 14318440448 10073 33554432000 4194304 4196468 140735870366240 140462886623632 140462973671125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24993] ppid=24986 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24988/task/24993/stat : 24993 (java) S 24986 24986 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154438715 14318440448 10073 33554432000 4194304 4196468 140735870366240 140462885570832 140462973671125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24994] ppid=24986 vsize=13982852 memory=140186279908992 CPUtime=0 cores=0,2,4,6
/proc/24988/task/24994/stat : 24994 (java) S 24986 24986 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154438716 14318440448 10073 33554432000 4194304 4196468 140735870366240 140462313163632 140462973672066 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24995] ppid=24986 vsize=13982884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24988/task/24995/stat : 24995 (java) S 24986 24986 21004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154438716 14318473216 10073 33554432000 4194304 4196468 140735870366240 140462312109600 140462973671125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24996] ppid=24986 vsize=13982884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24988/task/24996/stat : 24996 (java) S 24986 24986 21004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154438717 14318473216 10073 33554432000 4194304 4196468 140735870366240 140462311056752 140462973671125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24997] ppid=24986 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24988/task/24997/stat : 24997 (java) S 24986 24986 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154438719 14318440448 10073 33554432000 4194304 4196468 140735870366240 140462310005072 140462973679515 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24998] ppid=24986 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/24988/task/24998/stat : 24998 (java) S 24986 24986 21004 0 -1 1077944384 518 0 0 0 3 0 0 0 20 0 15 0 154438719 14318440448 10073 33554432000 4194304 4196468 140735870366240 140462308952432 140462973672066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24999] ppid=24986 vsize=13982852 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/24988/task/24999/stat : 24999 (java) S 24986 24986 21004 0 -1 1077944384 319 0 0 0 1 0 0 0 20 0 15 0 154438719 14318440448 10073 33554432000 4194304 4196468 140735870366240 140462307899632 140462973672066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=25000] ppid=24986 vsize=13982852 memory=140186279908992 CPUtime=0.08 cores=0,2,4,6
/proc/24988/task/25000/stat : 25000 (java) S 24986 24986 21004 0 -1 1077944384 711 0 0 0 8 0 0 0 20 0 15 0 154438719 14318440448 10073 33554432000 4194304 4196468 140735870366240 140462306846832 140462973672066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=25001] ppid=24986 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24988/task/25001/stat : 25001 (java) S 24986 24986 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154438719 14318440448 10073 33554432000 4194304 4196468 140735870366240 140462305794272 140462973671125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=25002] ppid=24986 vsize=13982852 memory=140186279908992 CPUtime=0 cores=0,2,4,6
/proc/24988/task/25002/stat : 25002 (java) S 24986 24986 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154438719 14318440448 10073 33554432000 4194304 4196468 140735870366240 140462304742576 140462973672066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41672 KiB

[startup+0.310728 s]*
/proc/loadavg: 1.69 1.74 1.85 5/221 25002
/proc/meminfo: memFree=26111692/32770624 swapFree=67108860/67108860
[pid=24986] ppid=24983 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/24986/stat : 24986 (xcsp3-exec) S 24983 24986 21004 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154438713 9740288 345 33554432000 4194304 5098028 140729721081392 140729721079496 139713609982588 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 18849792 140729721082996 140729721083200 140729721083200 140729721085931 0
/proc/24986/statm: 2378 345 289 221 0 87 0
[pid=24988] ppid=24986 vsize=13982852 memory=47644 CPUtime=0.51 cores=0,2,4,6
/proc/24988/stat : 24988 (java) S 24986 24986 21004 0 -1 1077944320 8517 0 0 0 49 2 0 0 20 0 15 0 154438713 14318440448 11911 33554432000 4194304 4196468 140735870366240 140735870348784 140462973660919 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
/proc/24988/statm: 3495713 11911 3126 1 0 3482966 0
[pid=24988/tid=24989] ppid=24986 vsize=13982852 memory=-8540663193526752614 CPUtime=0.29 cores=0,2,4,6
/proc/24988/task/24989/stat : 24989 (java) S 24986 24986 21004 0 -1 1077944384 5442 0 0 0 27 2 0 0 20 0 15 0 154438714 14318440448 11911 33554432000 4194304 4196468 140735870366240 140462977898736 140462973671125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24990] ppid=24986 vsize=13982852 memory=3472468315175060688 CPUtime=0 cores=0,2,4,6
/proc/24988/task/24990/stat : 24990 (java) S 24986 24986 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154438715 14318440448 11911 33554432000 4194304 4196468 140735870366240 140462888729232 140462973671125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24991] ppid=24986 vsize=13982852 memory=140186279929996 CPUtime=0 cores=0,2,4,6
/proc/24988/task/24991/stat : 24991 (java) S 24986 24986 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154438715 14318440448 11911 33554432000 4194304 4196468 140735870366240 140462887676432 140462973671125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24992] ppid=24986 vsize=13982852 memory=140186122061110 CPUtime=0 cores=0,2,4,6
/proc/24988/task/24992/stat : 24992 (java) S 24986 24986 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154438715 14318440448 11911 33554432000 4194304 4196468 140735870366240 140462886623632 140462973671125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24993] ppid=24986 vsize=13982852 memory=140186122042319 CPUtime=0 cores=0,2,4,6
/proc/24988/task/24993/stat : 24993 (java) S 24986 24986 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154438715 14318440448 11911 33554432000 4194304 4196468 140735870366240 140462885570832 140462973671125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24994] ppid=24986 vsize=13982852 memory=140186279930027 CPUtime=0 cores=0,2,4,6
/proc/24988/task/24994/stat : 24994 (java) S 24986 24986 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154438716 14318440448 11911 33554432000 4194304 4196468 140735870366240 140462313163632 140462973672066 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24995] ppid=24986 vsize=13982852 memory=140186122051535 CPUtime=0 cores=0,2,4,6
/proc/24988/task/24995/stat : 24995 (java) S 24986 24986 21004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154438716 14318440448 11911 33554432000 4194304 4196468 140735870366240 140462312109600 140462973671125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24996] ppid=24986 vsize=13982852 memory=280372244100752 CPUtime=0 cores=0,2,4,6
/proc/24988/task/24996/stat : 24996 (java) S 24986 24986 21004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154438717 14318440448 11911 33554432000 4194304 4196468 140735870366240 140462311056752 140462973671125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24997] ppid=24986 vsize=13982852 memory=280372244107632 CPUtime=0 cores=0,2,4,6
/proc/24988/task/24997/stat : 24997 (java) S 24986 24986 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154438719 14318440448 11911 33554432000 4194304 4196468 140735870366240 140462310005072 140462973679515 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24998] ppid=24986 vsize=13982852 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/24988/task/24998/stat : 24998 (java) R 24986 24986 21004 0 -1 1077944384 603 0 0 0 5 0 0 0 20 0 15 0 154438719 14318440448 11911 33554432000 4194304 4196468 140735870366240 140462308952432 140462973672066 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24999] ppid=24986 vsize=13982852 memory=2240 CPUtime=0.03 cores=0,2,4,6
/proc/24988/task/24999/stat : 24999 (java) R 24986 24986 21004 0 -1 4202560 341 0 0 0 3 0 0 0 20 0 15 0 154438719 14318440448 11911 33554432000 4194304 4196468 140735870366240 140462307899632 140462954361216 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=25000] ppid=24986 vsize=13982852 memory=140186279908992 CPUtime=0.13 cores=0,2,4,6
/proc/24988/task/25000/stat : 25000 (java) R 24986 24986 21004 0 -1 4202560 835 0 0 0 13 0 0 0 20 0 15 0 154438719 14318440448 11911 33554432000 4194304 4196468 140735870366240 140462306843200 140462966757755 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=25001] ppid=24986 vsize=13982852 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/24988/task/25001/stat : 25001 (java) S 24986 24986 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154438719 14318440448 11911 33554432000 4194304 4196468 140735870366240 140462305794272 140462973671125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=25002] ppid=24986 vsize=13982852 memory=140186279908992 CPUtime=0 cores=0,2,4,6
/proc/24988/task/25002/stat : 25002 (java) S 24986 24986 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154438719 14318440448 11911 33554432000 4194304 4196468 140735870366240 140462304742576 140462973672066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 49024 KiB

[startup+0.702691 s]
/proc/loadavg: 1.69 1.74 1.85 5/221 25002
/proc/meminfo: memFree=26079928/32770624 swapFree=67108860/67108860
[pid=24986] ppid=24983 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/24986/stat : 24986 (xcsp3-exec) S 24983 24986 21004 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154438713 9740288 345 33554432000 4194304 5098028 140729721081392 140729721079496 139713609982588 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 18849792 140729721082996 140729721083200 140729721083200 140729721085931 0
/proc/24986/statm: 2378 345 289 221 0 87 0
[pid=24988] ppid=24986 vsize=13984976 memory=86116 CPUtime=1.8 cores=0,2,4,6
/proc/24988/stat : 24988 (java) S 24986 24986 21004 0 -1 1077944320 12588 0 0 0 175 5 0 0 20 0 15 0 154438713 14320615424 21529 33554432000 4194304 4196468 140735870366240 140735870348784 140462973660919 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
/proc/24988/statm: 3496244 21529 3202 1 0 3483478 0
[pid=24988/tid=24989] ppid=24986 vsize=13984976 memory=1224 CPUtime=0.67 cores=0,2,4,6
/proc/24988/task/24989/stat : 24989 (java) R 24986 24986 21004 0 -1 4202560 6078 0 0 0 64 3 0 0 20 0 15 0 154438714 14320615424 21529 33554432000 4194304 4196468 140735870366240 140462977900048 140462564707551 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24990] ppid=24986 vsize=13984976 memory=792 CPUtime=0 cores=0,2,4,6
/proc/24988/task/24990/stat : 24990 (java) S 24986 24986 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154438715 14320615424 21529 33554432000 4194304 4196468 140735870366240 140462888729232 140462973671125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24991] ppid=24986 vsize=13984976 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/24988/task/24991/stat : 24991 (java) S 24986 24986 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154438715 14320615424 21529 33554432000 4194304 4196468 140735870366240 140462887676432 140462973671125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24992] ppid=24986 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24988/task/24992/stat : 24992 (java) S 24986 24986 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154438715 14320615424 21529 33554432000 4194304 4196468 140735870366240 140462886623632 140462973671125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24993] ppid=24986 vsize=13984976 memory=280372244182336 CPUtime=0 cores=0,2,4,6
/proc/24988/task/24993/stat : 24993 (java) S 24986 24986 21004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154438715 14320615424 21529 33554432000 4194304 4196468 140735870366240 140462885570832 140462973671125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24994] ppid=24986 vsize=13984976 memory=11268 CPUtime=0 cores=0,2,4,6
/proc/24988/task/24994/stat : 24994 (java) S 24986 24986 21004 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154438716 14320615424 21529 33554432000 4194304 4196468 140735870366240 140462313163632 140462973672066 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24995] ppid=24986 vsize=13984976 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/24988/task/24995/stat : 24995 (java) S 24986 24986 21004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154438716 14320615424 21529 33554432000 4194304 4196468 140735870366240 140462312109600 140462973671125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24996] ppid=24986 vsize=13984976 memory=2319529407048894117 CPUtime=0 cores=0,2,4,6
/proc/24988/task/24996/stat : 24996 (java) S 24986 24986 21004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154438717 14320615424 21529 33554432000 4194304 4196468 140735870366240 140462311056752 140462973671125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24997] ppid=24986 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24988/task/24997/stat : 24997 (java) S 24986 24986 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154438719 14320615424 21529 33554432000 4194304 4196468 140735870366240 140462310005072 140462973679515 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24998] ppid=24986 vsize=13984976 memory=51 CPUtime=0.33 cores=0,2,4,6
/proc/24988/task/24998/stat : 24998 (java) R 24986 24986 21004 0 -1 4202560 1640 0 0 0 33 0 0 0 20 0 15 0 154438719 14320615424 21529 33554432000 4194304 4196468 140735870366240 140462308938400 140462958049808 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24999] ppid=24986 vsize=13984976 memory=5 CPUtime=0.37 cores=0,2,4,6
/proc/24988/task/24999/stat : 24999 (java) R 24986 24986 21004 0 -1 4202560 1281 0 0 0 37 0 0 0 20 0 15 0 154438719 14320615424 21529 33554432000 4194304 4196468 140735870366240 140462307889552 140462959676032 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=25000] ppid=24986 vsize=13984976 memory=9916 CPUtime=0.4 cores=0,2,4,6
/proc/24988/task/25000/stat : 25000 (java) R 24986 24986 21004 0 -1 4202560 2283 0 0 0 40 0 0 0 20 0 15 0 154438719 14320615424 21529 33554432000 4194304 4196468 140735870366240 140462306846832 140462973682266 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=25001] ppid=24986 vsize=13984976 memory=463 CPUtime=0 cores=0,2,4,6
/proc/24988/task/25001/stat : 25001 (java) S 24986 24986 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154438719 14320615424 21529 33554432000 4194304 4196468 140735870366240 140462305794272 140462973671125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=25002] ppid=24986 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24988/task/25002/stat : 25002 (java) S 24986 24986 21004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154438719 14320615424 21529 33554432000 4194304 4196468 140735870366240 140462304742576 140462973672066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
Current children cumulated CPU time: 1.8 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 87496 KiB

[startup+1.50087 s]
/proc/loadavg: 1.69 1.74 1.85 5/221 25002
/proc/meminfo: memFree=26043672/32770624 swapFree=67108860/67108860
[pid=24986] ppid=24983 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/24986/stat : 24986 (xcsp3-exec) S 24983 24986 21004 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154438713 9740288 345 33554432000 4194304 5098028 140729721081392 140729721079496 139713609982588 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 18849792 140729721082996 140729721083200 140729721083200 140729721085931 0
/proc/24986/statm: 2378 345 289 221 0 87 0

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

/proc/24988/task/24996/stat : 24996 (java) S 24986 24986 21004 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 154438717 14320615424 37147 33554432000 4194304 4196468 140735870366240 140462311056752 140462973671125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24997] ppid=24986 vsize=13984976 memory=150128 CPUtime=0 cores=0,2,4,6
/proc/24988/task/24997/stat : 24997 (java) S 24986 24986 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154438719 14320615424 37147 33554432000 4194304 4196468 140735870366240 140462310005072 140462973679515 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24998] ppid=24986 vsize=13984976 memory=1380 CPUtime=1.16 cores=0,2,4,6
/proc/24988/task/24998/stat : 24998 (java) S 24986 24986 21004 0 -1 1077944384 6863 0 0 0 116 0 0 0 20 0 15 0 154438719 14320615424 37147 33554432000 4194304 4196468 140735870366240 140462308952432 140462973672066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24999] ppid=24986 vsize=13984976 memory=155732 CPUtime=1.35 cores=0,2,4,6
/proc/24988/task/24999/stat : 24999 (java) S 24986 24986 21004 0 -1 1077944384 9765 0 0 0 134 1 0 0 20 0 15 0 154438719 14320615424 37147 33554432000 4194304 4196468 140735870366240 140462307899632 140462973672066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=25000] ppid=24986 vsize=13984976 memory=140186122512944 CPUtime=0.55 cores=0,2,4,6
/proc/24988/task/25000/stat : 25000 (java) S 24986 24986 21004 0 -1 1077944384 7209 0 0 0 54 1 0 0 20 0 15 0 154438719 14320615424 37147 33554432000 4194304 4196468 140735870366240 140462306846832 140462973672066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=25001] ppid=24986 vsize=13984976 memory=148588 CPUtime=0 cores=0,2,4,6
/proc/24988/task/25001/stat : 25001 (java) S 24986 24986 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154438719 14320615424 37147 33554432000 4194304 4196468 140735870366240 140462305794272 140462973671125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=25002] ppid=24986 vsize=13984976 memory=42904 CPUtime=0.02 cores=0,2,4,6
/proc/24988/task/25002/stat : 25002 (java) S 24986 24986 21004 0 -1 1077944384 707 0 0 0 1 1 0 0 20 0 15 0 154438719 14320615424 37147 33554432000 4194304 4196468 140735870366240 140462304742576 140462973672066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
Current children cumulated CPU time: 105.52 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 149968 KiB

[startup+162.301 s]
/proc/loadavg: 1.73 1.72 1.82 3/218 25004
/proc/meminfo: memFree=25281880/32770624 swapFree=67108860/67108860
[pid=24986] ppid=24983 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/24986/stat : 24986 (xcsp3-exec) S 24983 24986 21004 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154438713 9740288 345 33554432000 4194304 5098028 140729721081392 140729721079496 139713609982588 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 18849792 140729721082996 140729721083200 140729721083200 140729721085931 0
/proc/24986/statm: 2378 345 289 221 0 87 0
[pid=24988] ppid=24986 vsize=13984976 memory=141568 CPUtime=165.68 cores=0,2,4,6
/proc/24988/stat : 24988 (java) S 24986 24986 21004 0 -1 1077944320 43198 0 0 0 16550 18 0 0 20 0 15 0 154438713 14320615424 35392 33554432000 4194304 4196468 140735870366240 140735870348784 140462973660919 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
/proc/24988/statm: 3496244 35392 3256 1 0 3483478 0
[pid=24988/tid=24989] ppid=24986 vsize=13984976 memory=1380 CPUtime=162.04 cores=0,2,4,6
/proc/24988/task/24989/stat : 24989 (java) R 24986 24986 21004 0 -1 4202560 10304 0 0 0 16199 5 0 0 20 0 15 0 154438714 14320615424 35392 33554432000 4194304 4196468 140735870366240 140462977900352 140462566538031 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24990] ppid=24986 vsize=13984976 memory=141568 CPUtime=0.09 cores=0,2,4,6
/proc/24988/task/24990/stat : 24990 (java) S 24986 24986 21004 0 -1 1077944384 1126 0 0 0 8 1 0 0 20 0 15 0 154438715 14320615424 35392 33554432000 4194304 4196468 140735870366240 140462888729232 140462973671125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24991] ppid=24986 vsize=13984976 memory=142596 CPUtime=0.09 cores=0,2,4,6
/proc/24988/task/24991/stat : 24991 (java) S 24986 24986 21004 0 -1 1077944384 1840 0 0 0 8 1 0 0 20 0 15 0 154438715 14320615424 35392 33554432000 4194304 4196468 140735870366240 140462887676432 140462973671125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24992] ppid=24986 vsize=13984976 memory=140988 CPUtime=0.09 cores=0,2,4,6
/proc/24988/task/24992/stat : 24992 (java) S 24986 24986 21004 0 -1 1077944384 776 0 0 0 8 1 0 0 20 0 15 0 154438715 14320615424 35392 33554432000 4194304 4196468 140735870366240 140462886623632 140462973671125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24993] ppid=24986 vsize=13984976 memory=141568 CPUtime=0.09 cores=0,2,4,6
/proc/24988/task/24993/stat : 24993 (java) S 24986 24986 21004 0 -1 1077944384 698 0 0 0 8 1 0 0 20 0 15 0 154438715 14320615424 35392 33554432000 4194304 4196468 140735870366240 140462885570832 140462973671125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24994] ppid=24986 vsize=13984976 memory=141568 CPUtime=0.07 cores=0,2,4,6
/proc/24988/task/24994/stat : 24994 (java) S 24986 24986 21004 0 -1 1077944384 1629 0 0 0 6 1 0 0 20 0 15 0 154438716 14320615424 35392 33554432000 4194304 4196468 140735870366240 140462313163632 140462973672066 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24995] ppid=24986 vsize=13984976 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/24988/task/24995/stat : 24995 (java) S 24986 24986 21004 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 154438716 14320615424 35392 33554432000 4194304 4196468 140735870366240 140462312109600 140462973671125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24996] ppid=24986 vsize=13984976 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/24988/task/24996/stat : 24996 (java) S 24986 24986 21004 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 154438717 14320615424 35392 33554432000 4194304 4196468 140735870366240 140462311056752 140462973671125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24997] ppid=24986 vsize=13984976 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/24988/task/24997/stat : 24997 (java) S 24986 24986 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154438719 14320615424 35392 33554432000 4194304 4196468 140735870366240 140462310005072 140462973679515 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24998] ppid=24986 vsize=13984976 memory=42904 CPUtime=1.17 cores=0,2,4,6
/proc/24988/task/24998/stat : 24998 (java) S 24986 24986 21004 0 -1 1077944384 7346 0 0 0 116 1 0 0 20 0 15 0 154438719 14320615424 35392 33554432000 4194304 4196468 140735870366240 140462308952432 140462973672066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24999] ppid=24986 vsize=13984976 memory=1712 CPUtime=1.36 cores=0,2,4,6
/proc/24988/task/24999/stat : 24999 (java) S 24986 24986 21004 0 -1 1077944384 9805 0 0 0 135 1 0 0 20 0 15 0 154438719 14320615424 35392 33554432000 4194304 4196468 140735870366240 140462307899632 140462973672066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=25000] ppid=24986 vsize=13984976 memory=1952 CPUtime=0.56 cores=0,2,4,6
/proc/24988/task/25000/stat : 25000 (java) S 24986 24986 21004 0 -1 1077944384 7591 0 0 0 55 1 0 0 20 0 15 0 154438719 14320615424 35392 33554432000 4194304 4196468 140735870366240 140462306846832 140462973672066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=25001] ppid=24986 vsize=13984976 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/24988/task/25001/stat : 25001 (java) S 24986 24986 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154438719 14320615424 35392 33554432000 4194304 4196468 140735870366240 140462305794272 140462973671125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=25002] ppid=24986 vsize=13984976 memory=141568 CPUtime=0.05 cores=0,2,4,6
/proc/24988/task/25002/stat : 25002 (java) S 24986 24986 21004 0 -1 1077944384 738 0 0 0 2 3 0 0 20 0 15 0 154438719 14320615424 35392 33554432000 4194304 4196468 140735870366240 140462304742576 140462973672066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
Current children cumulated CPU time: 165.68 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 142948 KiB

[startup+222.301 s]
/proc/loadavg: 1.79 1.74 1.82 3/217 25082
/proc/meminfo: memFree=26210808/32770624 swapFree=67108860/67108860
[pid=24986] ppid=24983 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/24986/stat : 24986 (xcsp3-exec) S 24983 24986 21004 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154438713 9740288 345 33554432000 4194304 5098028 140729721081392 140729721079496 139713609982588 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 18849792 140729721082996 140729721083200 140729721083200 140729721085931 0
/proc/24986/statm: 2378 345 289 221 0 87 0
[pid=24988] ppid=24986 vsize=13984976 memory=140768 CPUtime=225.86 cores=0,2,4,6
/proc/24988/stat : 24988 (java) S 24986 24986 21004 0 -1 1077944320 44662 0 0 0 22564 22 0 0 20 0 15 0 154438713 14320615424 35192 33554432000 4194304 4196468 140735870366240 140735870348784 140462973660919 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
/proc/24988/statm: 3496244 35192 3256 1 0 3483478 0
[pid=24988/tid=24989] ppid=24986 vsize=13984976 memory=140768 CPUtime=221.95 cores=0,2,4,6
/proc/24988/task/24989/stat : 24989 (java) R 24986 24986 21004 0 -1 4202560 10816 0 0 0 22190 5 0 0 20 0 15 0 154438714 14320615424 35192 33554432000 4194304 4196468 140735870366240 140462977900800 140462565241359 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24990] ppid=24986 vsize=13984976 memory=140768 CPUtime=0.14 cores=0,2,4,6
/proc/24988/task/24990/stat : 24990 (java) S 24986 24986 21004 0 -1 1077944384 1242 0 0 0 12 2 0 0 20 0 15 0 154438715 14320615424 35192 33554432000 4194304 4196468 140735870366240 140462888729232 140462973671125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24991] ppid=24986 vsize=13984976 memory=140768 CPUtime=0.14 cores=0,2,4,6
/proc/24988/task/24991/stat : 24991 (java) S 24986 24986 21004 0 -1 1077944384 1920 0 0 0 12 2 0 0 20 0 15 0 154438715 14320615424 35192 33554432000 4194304 4196468 140735870366240 140462887676432 140462973671125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24992] ppid=24986 vsize=13984976 memory=1380 CPUtime=0.14 cores=0,2,4,6
/proc/24988/task/24992/stat : 24992 (java) S 24986 24986 21004 0 -1 1077944384 1163 0 0 0 12 2 0 0 20 0 15 0 154438715 14320615424 35192 33554432000 4194304 4196468 140735870366240 140462886623632 140462973671125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24993] ppid=24986 vsize=13984976 memory=140680 CPUtime=0.14 cores=0,2,4,6
/proc/24988/task/24993/stat : 24993 (java) S 24986 24986 21004 0 -1 1077944384 789 0 0 0 13 1 0 0 20 0 15 0 154438715 14320615424 35192 33554432000 4194304 4196468 140735870366240 140462885570832 140462973671125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24994] ppid=24986 vsize=13984976 memory=140768 CPUtime=0.1 cores=0,2,4,6
/proc/24988/task/24994/stat : 24994 (java) S 24986 24986 21004 0 -1 1077944384 1877 0 0 0 9 1 0 0 20 0 15 0 154438716 14320615424 35192 33554432000 4194304 4196468 140735870366240 140462313163632 140462973672066 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24995] ppid=24986 vsize=13984976 memory=141196 CPUtime=0 cores=0,2,4,6
/proc/24988/task/24995/stat : 24995 (java) S 24986 24986 21004 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 154438716 14320615424 35192 33554432000 4194304 4196468 140735870366240 140462312109600 140462973671125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24996] ppid=24986 vsize=13984976 memory=2 CPUtime=0 cores=0,2,4,6
/proc/24988/task/24996/stat : 24996 (java) S 24986 24986 21004 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 154438717 14320615424 35192 33554432000 4194304 4196468 140735870366240 140462311056752 140462973671125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24997] ppid=24986 vsize=13984976 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/24988/task/24997/stat : 24997 (java) S 24986 24986 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154438719 14320615424 35192 33554432000 4194304 4196468 140735870366240 140462310005072 140462973679515 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24998] ppid=24986 vsize=13984976 memory=140676 CPUtime=1.17 cores=0,2,4,6
/proc/24988/task/24998/stat : 24998 (java) S 24986 24986 21004 0 -1 1077944384 7349 0 0 0 116 1 0 0 20 0 15 0 154438719 14320615424 35192 33554432000 4194304 4196468 140735870366240 140462308952432 140462973672066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24999] ppid=24986 vsize=13984976 memory=4140 CPUtime=1.36 cores=0,2,4,6
/proc/24988/task/24999/stat : 24999 (java) S 24986 24986 21004 0 -1 1077944384 9807 0 0 0 135 1 0 0 20 0 15 0 154438719 14320615424 35192 33554432000 4194304 4196468 140735870366240 140462307899632 140462973672066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=25000] ppid=24986 vsize=13984976 memory=42904 CPUtime=0.56 cores=0,2,4,6
/proc/24988/task/25000/stat : 25000 (java) S 24986 24986 21004 0 -1 1077944384 7594 0 0 0 55 1 0 0 20 0 15 0 154438719 14320615424 35192 33554432000 4194304 4196468 140735870366240 140462306846832 140462973672066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=25001] ppid=24986 vsize=13984976 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/24988/task/25001/stat : 25001 (java) S 24986 24986 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154438719 14320615424 35192 33554432000 4194304 4196468 140735870366240 140462305794272 140462973671125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=25002] ppid=24986 vsize=13984976 memory=2428 CPUtime=0.07 cores=0,2,4,6
/proc/24988/task/25002/stat : 25002 (java) S 24986 24986 21004 0 -1 1077944384 760 0 0 0 3 4 0 0 20 0 15 0 154438719 14320615424 35192 33554432000 4194304 4196468 140735870366240 140462304742576 140462973672066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
Current children cumulated CPU time: 225.86 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 142148 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]*
/proc/loadavg: 1.84 1.75 1.82 4/217 25083
/proc/meminfo: memFree=26207424/32770624 swapFree=67108860/67108860
[pid=24986] ppid=24983 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/24986/stat : 24986 (xcsp3-exec) S 24983 24986 21004 0 -1 4202496 512 0 0 0 0 0 0 0 20 0 1 0 154438713 9740288 345 33554432000 4194304 5098028 140729721081392 140729721079496 139713609982588 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 18849792 140729721082996 140729721083200 140729721083200 140729721085931 0
/proc/24986/statm: 2378 345 289 221 0 87 0
[pid=24988] ppid=24986 vsize=13984976 memory=145052 CPUtime=243.64 cores=0,2,4,6
/proc/24988/stat : 24988 (java) S 24986 24986 21004 0 -1 1077944320 44803 0 0 0 24341 23 0 0 20 0 15 0 154438713 14320615424 36263 33554432000 4194304 4196468 140735870366240 140735870348784 140462973660919 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
/proc/24988/statm: 3496244 36263 3256 1 0 3483478 0
[pid=24988/tid=24989] ppid=24986 vsize=13984976 memory=6791534058613427641 CPUtime=239.61 cores=0,2,4,6
/proc/24988/task/24989/stat : 24989 (java) R 24986 24986 21004 0 -1 4202560 10844 0 0 0 23956 5 0 0 20 0 15 0 154438714 14320615424 36263 33554432000 4194304 4196468 140735870366240 140462977900464 140462564963840 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24990] ppid=24986 vsize=13984976 memory=1380 CPUtime=0.17 cores=0,2,4,6
/proc/24988/task/24990/stat : 24990 (java) S 24986 24986 21004 0 -1 1077944384 1281 0 0 0 15 2 0 0 20 0 15 0 154438715 14320615424 36263 33554432000 4194304 4196468 140735870366240 140462888729232 140462973671125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24991] ppid=24986 vsize=13984976 memory=2428 CPUtime=0.17 cores=0,2,4,6
/proc/24988/task/24991/stat : 24991 (java) S 24986 24986 21004 0 -1 1077944384 1962 0 0 0 15 2 0 0 20 0 15 0 154438715 14320615424 36263 33554432000 4194304 4196468 140735870366240 140462887676432 140462973671125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24992] ppid=24986 vsize=13984976 memory=1728 CPUtime=0.16 cores=0,2,4,6
/proc/24988/task/24992/stat : 24992 (java) S 24986 24986 21004 0 -1 1077944384 1184 0 0 0 14 2 0 0 20 0 15 0 154438715 14320615424 36263 33554432000 4194304 4196468 140735870366240 140462886623632 140462973671125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24993] ppid=24986 vsize=13984976 memory=-7003737579269690708 CPUtime=0.17 cores=0,2,4,6
/proc/24988/task/24993/stat : 24993 (java) S 24986 24986 21004 0 -1 1077944384 800 0 0 0 15 2 0 0 20 0 15 0 154438715 14320615424 36263 33554432000 4194304 4196468 140735870366240 140462885570832 140462973671125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24994] ppid=24986 vsize=13984976 memory=1004 CPUtime=0.11 cores=0,2,4,6
/proc/24988/task/24994/stat : 24994 (java) S 24986 24986 21004 0 -1 1077944384 1877 0 0 0 10 1 0 0 20 0 15 0 154438716 14320615424 36263 33554432000 4194304 4196468 140735870366240 140462313163632 140462973672066 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24995] ppid=24986 vsize=13984976 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/24988/task/24995/stat : 24995 (java) S 24986 24986 21004 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 154438716 14320615424 36263 33554432000 4194304 4196468 140735870366240 140462312109600 140462973671125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24996] ppid=24986 vsize=13984976 memory=145052 CPUtime=0 cores=0,2,4,6
/proc/24988/task/24996/stat : 24996 (java) S 24986 24986 21004 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 154438717 14320615424 36263 33554432000 4194304 4196468 140735870366240 140462311056752 140462973671125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24997] ppid=24986 vsize=13984976 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/24988/task/24997/stat : 24997 (java) S 24986 24986 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154438719 14320615424 36263 33554432000 4194304 4196468 140735870366240 140462310005072 140462973679515 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24998] ppid=24986 vsize=13984976 memory=15876 CPUtime=1.17 cores=0,2,4,6
/proc/24988/task/24998/stat : 24998 (java) S 24986 24986 21004 0 -1 1077944384 7349 0 0 0 116 1 0 0 20 0 15 0 154438719 14320615424 36263 33554432000 4194304 4196468 140735870366240 140462308952432 140462973672066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=24999] ppid=24986 vsize=13984976 memory=18448 CPUtime=1.36 cores=0,2,4,6
/proc/24988/task/24999/stat : 24999 (java) S 24986 24986 21004 0 -1 1077944384 9807 0 0 0 135 1 0 0 20 0 15 0 154438719 14320615424 36263 33554432000 4194304 4196468 140735870366240 140462307899632 140462973672066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=25000] ppid=24986 vsize=13984976 memory=280372245099840 CPUtime=0.56 cores=0,2,4,6
/proc/24988/task/25000/stat : 25000 (java) S 24986 24986 21004 0 -1 1077944384 7594 0 0 0 55 1 0 0 20 0 15 0 154438719 14320615424 36263 33554432000 4194304 4196468 140735870366240 140462306846832 140462973672066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=25001] ppid=24986 vsize=13984976 memory=288230617492226348 CPUtime=0 cores=0,2,4,6
/proc/24988/task/25001/stat : 25001 (java) S 24986 24986 21004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154438719 14320615424 36263 33554432000 4194304 4196468 140735870366240 140462305794272 140462973671125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
[pid=24988/tid=25002] ppid=24986 vsize=13984976 memory=280372244152224 CPUtime=0.09 cores=0,2,4,6
/proc/24988/task/25002/stat : 25002 (java) S 24986 24986 21004 0 -1 1077944384 760 0 0 0 4 5 0 0 20 0 15 0 154438719 14320615424 36263 33554432000 4194304 4196468 140735870366240 140462304742576 140462973672066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12582912 140735870375069 140735870375244 140735870375244 140735870377935 0
Current children cumulated CPU time: 243.64 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 146432 KiB

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

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

[startup+240.021 s]
# the end of solver process 24988 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=243.426 s, system=0.242116 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.021
CPU time (s): 243.669
CPU user time (s): 243.426
CPU system time (s): 0.242116
CPU usage (%): 101.519
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 210804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 243.426
system time used= 0.242116
maximum resident set size= 211980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45771
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= 10092
involuntary context switches= 345


# summary of solver processes directly reported to runsolver:
#   pid: 24986,24988
#   total CPU time (s): 243.669
#   total CPU user time (s): 243.426
#   total CPU system time (s): 0.242116

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.41854 second user time and 2.33186 second system time

The end
Name	PseudoBoolean/PseudoBoolean-opt-domset/ Pb-domset-v500-e2000-w30-mw19-11.xml
MD5SUM	4a86fdd9abdf3f491c5a6082e8161c48
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	211
Best CPU time to get the best result obtained on this benchmark	242.164
Satisfiable
(Un)Satisfiability was proved
Number of variables	473
Number of constraints	473
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":473}]
Minimum variable degree	5
Maximum variable degree	18
Distribution of variable degrees	[{"degree":5,"count":4},{"degree":6,"count":18},{"degree":7,"count":57},{"degree":8,"count":74},{"degree":9,"count":73},{"degree":10,"count":67},{"degree":11,"count":50},{"degree":12,"count":46},{"degree":13,"count":36},{"degree":14,"count":21},{"degree":15,"count":15},{"degree":16,"count":7},{"degree":17,"count":3},{"degree":18,"count":2}]
Minimum constraint arity	4
Maximum constraint arity	17
Distribution of constraint arities	[{"arity":4,"count":4},{"arity":5,"count":18},{"arity":6,"count":57},{"arity":7,"count":74},{"arity":8,"count":73},{"arity":9,"count":67},{"arity":10,"count":50},{"arity":11,"count":46},{"arity":12,"count":36},{"arity":13,"count":21},{"arity":14,"count":15},{"arity":15,"count":7},{"arity":16,"count":3},{"arity":17,"count":2}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":473}]
Optimization problem	YES
Type of objective	min SUM
Trace number 4282915

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
