Trace number 4390736

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
AbsCon 2019-07-23? (TO) 2520.02 2515.31

General information on the benchmark

NameBibd/Bibd-sum-open/
Bibd-sum-40-052-13-10-03.xml
MD5SUM2a84a2defac446a2567920a0781991b9
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables2080
Number of constraints873
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":2080}]
Minimum variable degree42
Maximum variable degree42
Distribution of variable degrees[{"degree":42,"count":2080}]
Minimum constraint arity40
Maximum constraint arity2080
Distribution of constraint arities[{"arity":40,"count":52},{"arity":52,"count":40},{"arity":104,"count":780},{"arity":2080,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"lex","count":1},{"type":"sum","count":872}]
Optimization problemNO
Type of objective

Solver Data 

2.42/1.87	
2.42/1.87	AbsCon 2 
2.42/1.89	
3.30/2.16	  Instance
3.30/2.16	    name=instance-4390736-1568380612, framework=CSP
3.30/2.16	
3.30/2.16	  Loading variables...
3.59/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34ef4edb
3.59/2.23	  Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@599647fb
3.59/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ff388c9
3.59/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cb4cea0
3.59/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4db29647
3.59/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@370e203d
3.59/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37dee9d1
3.59/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15713ed3
3.59/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a51f11
3.59/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9887558
3.59/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e537d9a
3.59/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b1372b3
3.59/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4dbe8d3
3.59/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a43e2cf
3.59/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fecc393
3.59/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ca14c26
3.59/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40326476
3.59/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53a26131
3.59/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7768476b
3.59/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@640a1e4a
3.59/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2104a299
3.59/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bc718fa
3.59/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c5107fc
3.59/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6df36152
3.59/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a2fbdec
3.59/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@579ea9d2
3.59/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3712f146
3.59/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39778b41
3.59/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36e6e56c
3.59/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@375f7c2
3.59/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@617532cc
3.59/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@216d91ac
3.59/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42e5db12
3.59/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@577bd68d
3.59/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4243fc7f
3.59/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@675bfe59
3.59/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f10f23
3.59/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3aea42fe
3.59/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ad9b9dd
3.59/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e05556b
3.59/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67401519
3.59/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@160b05e7
3.59/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c9f704b
3.59/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47da9860
3.59/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59ce87f1
3.59/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@477d43c2
3.59/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2174e547
3.59/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66e212c1
3.59/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c8f1b9b
3.59/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70d206ad
3.59/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32fe7c2e
3.59/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57e978eb
3.59/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f622a62
3.59/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63c02321
3.59/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52c8bd12
3.59/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e7f32cf
3.59/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8900722
3.59/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35baf619
3.59/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ad4656d
3.59/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48464ad0
3.59/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d017b4f
3.59/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e413229
3.59/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@606e267b
3.59/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ceca122
3.59/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64bd035f
3.59/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ea9bcf3
3.59/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a7873a2
3.59/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14ca5f2
3.59/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@579292de
3.59/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f93b8eb
3.59/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@227ad4dd
3.59/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cbea41b
3.59/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@455942a
3.59/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@633ad0e8
3.59/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50d602fe
3.59/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@660e1349
3.59/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f64f2c8
3.59/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ba0296f
3.59/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32bfc93d
3.59/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3208033d
3.59/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6891950c
3.59/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fcef6fd
3.59/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25f244a3
3.59/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48e7d38f
3.59/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42160b55
3.59/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15b3c2b
3.59/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32a2634f
3.59/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ac1ae2f
3.59/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f457486
3.59/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61699332
3.59/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d885967
3.59/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1172773b
3.59/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2322df97
3.59/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2322df97
3.59/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2322df97
3.59/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2322df97
3.59/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2322df97
3.59/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2322df97
3.59/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2322df97
3.59/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2322df97
3.59/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2322df97
3.59/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2322df97
3.59/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2322df97
3.59/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2322df97
3.59/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2322df97
3.59/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2322df97
3.59/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2322df97
3.59/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2322df97
3.59/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2322df97
3.59/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2322df97
3.59/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2322df97
3.59/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2322df97
3.59/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2322df97
3.59/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2322df97
3.59/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2322df97
3.59/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2322df97
3.59/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2322df97
3.59/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2322df97
3.59/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2322df97
3.59/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2322df97
3.59/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2322df97
3.59/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2322df97
3.59/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2322df97
3.59/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2322df97
3.59/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2322df97
3.59/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2322df97
3.59/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2322df97
3.59/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2322df97
3.59/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2322df97
3.59/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2322df97
3.59/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2322df97
3.94/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ad3975f
3.94/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ad3975f
3.94/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ad3975f
3.94/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ad3975f
3.94/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ad3975f
3.94/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ad3975f
3.94/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ad3975f
3.94/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ad3975f
3.94/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ad3975f
3.94/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ad3975f
3.94/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ad3975f
3.94/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ad3975f
3.94/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ad3975f
3.94/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ad3975f
3.94/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ad3975f
3.94/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ad3975f
3.94/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ad3975f
3.94/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ad3975f
3.94/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ad3975f
3.94/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ad3975f
3.94/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ad3975f
3.94/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ad3975f
3.94/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ad3975f
3.94/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ad3975f
3.94/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ad3975f
3.94/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ad3975f
3.94/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ad3975f
3.94/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ad3975f
3.94/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ad3975f
3.94/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ad3975f
3.94/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ad3975f
3.94/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ad3975f
3.94/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ad3975f
3.94/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ad3975f
3.94/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ad3975f
3.94/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ad3975f
3.94/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ad3975f
3.94/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ad3975f
3.94/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@232df486
3.94/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@232df486
3.94/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@232df486
3.94/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@232df486
3.94/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@232df486
3.94/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@232df486
3.94/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@232df486
3.94/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@232df486
3.94/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@232df486
3.94/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@232df486
3.94/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@232df486
3.94/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@232df486
3.94/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@232df486
3.94/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@232df486
3.94/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@232df486
3.94/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@232df486
3.94/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@232df486
3.94/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@232df486
3.94/2.31	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@232df486
3.94/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@232df486
3.94/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@232df486
3.94/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@232df486
3.94/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@232df486
3.94/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@232df486
3.94/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@232df486
3.94/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@232df486
3.94/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@232df486
3.94/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@232df486
3.94/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@232df486
3.94/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@232df486
3.94/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@232df486
3.94/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@232df486
3.94/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@232df486
3.94/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@232df486
3.94/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@232df486
3.94/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@232df486
3.94/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@232df486
3.94/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@771c9f03
3.94/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@771c9f03
3.94/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@771c9f03
3.94/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@771c9f03
3.94/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@771c9f03
3.94/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@771c9f03
3.94/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@771c9f03
3.94/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@771c9f03
3.94/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@771c9f03
3.94/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@771c9f03
3.94/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@771c9f03
3.94/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@771c9f03
3.94/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@771c9f03
3.94/2.32	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@771c9f03
3.94/2.33	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@771c9f03
3.94/2.33	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@771c9f03
3.94/2.33	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@771c9f03
3.94/2.33	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@771c9f03
3.94/2.33	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@771c9f03
3.94/2.33	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@771c9f03
3.94/2.33	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@771c9f03
3.94/2.33	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@771c9f03
3.94/2.33	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@771c9f03
3.94/2.33	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@771c9f03
3.94/2.33	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@771c9f03
3.94/2.33	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@771c9f03
3.94/2.33	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@771c9f03
3.94/2.33	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@771c9f03
3.94/2.33	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@771c9f03
3.94/2.33	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@771c9f03
3.94/2.33	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@771c9f03
3.94/2.33	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@771c9f03
3.94/2.33	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@771c9f03
3.94/2.33	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@771c9f03
3.94/2.33	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@771c9f03
3.94/2.33	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@771c9f03
3.94/2.33	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26d8a42d
3.94/2.33	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26d8a42d
3.94/2.33	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26d8a42d
3.94/2.33	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26d8a42d
3.94/2.33	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26d8a42d
3.94/2.33	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26d8a42d
3.94/2.33	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26d8a42d
3.94/2.33	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26d8a42d
3.94/2.33	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26d8a42d
3.94/2.33	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26d8a42d
3.94/2.34	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26d8a42d
3.94/2.34	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26d8a42d
3.94/2.34	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26d8a42d
3.94/2.34	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26d8a42d
3.94/2.34	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26d8a42d
3.94/2.34	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26d8a42d
3.94/2.34	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26d8a42d
3.94/2.34	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26d8a42d
3.94/2.34	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26d8a42d
3.94/2.34	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26d8a42d
3.94/2.34	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26d8a42d
3.94/2.34	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26d8a42d
3.94/2.34	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26d8a42d
3.94/2.34	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26d8a42d
3.94/2.34	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26d8a42d
3.94/2.34	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26d8a42d
3.94/2.34	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26d8a42d
3.94/2.34	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26d8a42d
3.94/2.34	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26d8a42d
3.94/2.34	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26d8a42d
3.94/2.34	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26d8a42d
3.94/2.34	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26d8a42d
3.94/2.34	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26d8a42d
3.94/2.34	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26d8a42d
3.94/2.34	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26d8a42d
3.94/2.34	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67e367c3
3.94/2.34	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67e367c3
3.94/2.34	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67e367c3
3.94/2.34	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67e367c3
3.94/2.34	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67e367c3
3.94/2.34	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67e367c3
3.94/2.34	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67e367c3
3.94/2.34	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67e367c3
3.94/2.34	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67e367c3
3.94/2.34	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67e367c3
3.94/2.34	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67e367c3
3.94/2.34	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67e367c3
3.94/2.34	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67e367c3
3.94/2.34	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67e367c3
3.94/2.34	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67e367c3
3.94/2.34	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67e367c3
3.94/2.34	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67e367c3
3.94/2.34	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67e367c3
3.94/2.35	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67e367c3
3.94/2.35	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67e367c3
3.94/2.35	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67e367c3
3.94/2.35	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67e367c3
3.94/2.35	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67e367c3
3.94/2.35	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67e367c3
3.94/2.35	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67e367c3
3.94/2.35	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67e367c3
3.94/2.35	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67e367c3
3.94/2.35	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67e367c3
3.94/2.35	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67e367c3
3.94/2.35	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67e367c3
3.94/2.35	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67e367c3
3.94/2.35	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67e367c3
3.94/2.35	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67e367c3
3.94/2.35	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67e367c3
3.94/2.35	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7291f07a
3.94/2.35	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7291f07a
3.94/2.35	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7291f07a
3.94/2.35	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7291f07a
3.94/2.35	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7291f07a
3.94/2.35	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7291f07a
3.94/2.35	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7291f07a
3.94/2.35	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7291f07a
3.94/2.35	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7291f07a
3.94/2.35	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7291f07a
3.94/2.35	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7291f07a
3.94/2.35	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7291f07a
3.94/2.35	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7291f07a
3.94/2.35	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7291f07a
3.94/2.35	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7291f07a
3.94/2.35	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7291f07a
3.94/2.35	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7291f07a
3.94/2.35	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7291f07a
3.94/2.35	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7291f07a
3.94/2.35	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7291f07a
3.94/2.35	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7291f07a
3.94/2.35	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7291f07a
3.94/2.35	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7291f07a
3.94/2.35	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7291f07a
3.94/2.36	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7291f07a
3.94/2.36	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7291f07a
3.94/2.36	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7291f07a
3.94/2.36	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7291f07a
3.94/2.36	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7291f07a
3.94/2.36	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7291f07a
3.94/2.36	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7291f07a
3.94/2.36	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7291f07a
3.94/2.36	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7291f07a
3.94/2.36	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44f90630
3.94/2.36	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44f90630
3.94/2.36	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44f90630
3.94/2.36	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44f90630
3.94/2.36	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44f90630
3.94/2.36	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44f90630
3.94/2.36	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44f90630
3.94/2.36	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44f90630
3.94/2.36	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44f90630
3.94/2.36	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44f90630
3.94/2.36	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44f90630
3.94/2.36	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44f90630
3.94/2.36	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44f90630
3.94/2.36	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44f90630
3.94/2.36	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44f90630
3.94/2.36	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44f90630
3.94/2.36	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44f90630
3.94/2.36	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44f90630
3.94/2.36	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44f90630
3.94/2.36	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44f90630
3.94/2.36	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44f90630
3.94/2.36	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44f90630
3.94/2.36	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44f90630
3.94/2.36	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44f90630
3.94/2.36	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44f90630
3.94/2.36	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44f90630
3.94/2.36	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44f90630
3.94/2.36	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44f90630
3.94/2.36	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44f90630
3.94/2.36	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44f90630
3.94/2.36	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44f90630
3.94/2.37	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44f90630
3.94/2.37	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@283c750a
3.94/2.37	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@283c750a
3.94/2.37	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@283c750a
3.94/2.37	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@283c750a
3.94/2.37	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@283c750a
3.94/2.37	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@283c750a
3.94/2.37	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@283c750a
3.94/2.37	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@283c750a
3.94/2.37	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@283c750a
3.94/2.37	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@283c750a
3.94/2.37	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@283c750a
3.94/2.37	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@283c750a
3.94/2.37	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@283c750a
3.94/2.37	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@283c750a
3.94/2.37	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@283c750a
3.94/2.37	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@283c750a
3.94/2.37	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@283c750a
3.94/2.37	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@283c750a
3.94/2.37	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@283c750a
3.94/2.37	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@283c750a
3.94/2.37	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@283c750a
3.94/2.37	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@283c750a
3.94/2.37	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@283c750a
3.94/2.37	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@283c750a
3.94/2.37	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@283c750a
3.94/2.37	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@283c750a
3.94/2.37	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@283c750a
3.94/2.37	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@283c750a
3.94/2.37	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@283c750a
3.94/2.37	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@283c750a
3.94/2.37	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@283c750a
3.94/2.37	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41658833
3.94/2.37	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41658833
3.94/2.37	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41658833
3.94/2.37	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41658833
3.94/2.37	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41658833
3.94/2.37	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41658833
3.94/2.37	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41658833
3.94/2.37	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41658833
3.94/2.37	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41658833
3.94/2.38	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41658833
3.94/2.38	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41658833
3.94/2.38	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41658833
3.94/2.38	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41658833
3.94/2.38	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41658833
3.94/2.38	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41658833
3.94/2.38	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41658833
3.94/2.38	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41658833
3.94/2.38	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41658833
3.94/2.38	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41658833
3.94/2.38	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41658833
3.94/2.38	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41658833
3.94/2.38	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41658833
3.94/2.38	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41658833
3.94/2.38	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41658833
3.94/2.38	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41658833
3.94/2.38	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41658833
3.94/2.38	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41658833
3.94/2.38	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41658833
3.94/2.38	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41658833
3.94/2.38	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41658833
3.94/2.38	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@441c5266
3.94/2.38	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@441c5266
3.94/2.38	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@441c5266
3.94/2.38	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@441c5266
3.94/2.38	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@441c5266
3.94/2.38	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@441c5266
3.94/2.38	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@441c5266
3.94/2.38	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@441c5266
3.94/2.38	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@441c5266
3.94/2.38	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@441c5266
3.94/2.38	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@441c5266
3.94/2.38	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@441c5266
3.94/2.38	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@441c5266
3.94/2.38	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@441c5266
3.94/2.38	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@441c5266
3.94/2.38	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@441c5266
3.94/2.38	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@441c5266
3.94/2.38	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@441c5266
3.94/2.38	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@441c5266
3.94/2.38	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@441c5266
3.94/2.38	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@441c5266
3.94/2.38	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@441c5266
3.94/2.38	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@441c5266
3.94/2.38	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@441c5266
3.94/2.38	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@441c5266
3.94/2.39	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@441c5266
3.94/2.39	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@441c5266
3.94/2.39	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@441c5266
3.94/2.39	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@441c5266
3.94/2.39	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22ad3674
3.94/2.39	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22ad3674
3.94/2.39	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22ad3674
3.94/2.39	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22ad3674
3.94/2.39	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22ad3674
3.94/2.39	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22ad3674
3.94/2.39	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22ad3674
3.94/2.39	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22ad3674
3.94/2.39	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22ad3674
3.94/2.39	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22ad3674
3.94/2.39	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22ad3674
3.94/2.39	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22ad3674
3.94/2.39	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22ad3674
3.94/2.39	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22ad3674
3.94/2.39	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22ad3674
3.94/2.39	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22ad3674
3.94/2.39	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22ad3674
3.94/2.39	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22ad3674
3.94/2.39	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22ad3674
3.94/2.39	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22ad3674
3.94/2.39	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22ad3674
3.94/2.39	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22ad3674
3.94/2.39	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22ad3674
3.94/2.39	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22ad3674
3.94/2.39	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22ad3674
3.94/2.39	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22ad3674
3.94/2.39	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22ad3674
3.94/2.39	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22ad3674
3.94/2.39	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d320db3
3.94/2.39	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d320db3
3.94/2.39	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d320db3
3.94/2.39	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d320db3
3.94/2.39	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d320db3
3.94/2.39	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d320db3
3.94/2.39	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d320db3
3.94/2.39	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d320db3
3.94/2.39	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d320db3
3.94/2.39	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d320db3
3.94/2.39	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d320db3
3.94/2.39	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d320db3
3.94/2.39	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d320db3
3.94/2.39	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d320db3
3.94/2.40	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d320db3
3.94/2.40	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d320db3
3.94/2.40	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d320db3
3.94/2.40	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d320db3
4.27/2.40	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d320db3
4.27/2.40	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d320db3
4.27/2.40	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d320db3
4.27/2.40	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d320db3
4.27/2.40	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d320db3
4.27/2.40	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d320db3
4.27/2.40	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d320db3
4.27/2.40	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d320db3
4.27/2.40	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d320db3
4.27/2.40	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c008ce3
4.27/2.40	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c008ce3
4.27/2.40	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c008ce3
4.27/2.40	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c008ce3
4.27/2.40	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c008ce3
4.27/2.40	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c008ce3
4.27/2.40	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c008ce3
4.27/2.40	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c008ce3
4.27/2.40	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c008ce3
4.27/2.40	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c008ce3
4.27/2.40	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c008ce3
4.27/2.40	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c008ce3
4.27/2.40	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c008ce3
4.27/2.40	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c008ce3
4.27/2.40	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c008ce3
4.27/2.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c008ce3
4.27/2.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c008ce3
4.27/2.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c008ce3
4.27/2.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c008ce3
4.27/2.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c008ce3
4.27/2.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c008ce3
4.27/2.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c008ce3
4.27/2.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c008ce3
4.27/2.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c008ce3
4.27/2.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c008ce3
4.27/2.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c008ce3
4.27/2.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e7cd250
4.27/2.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e7cd250
4.27/2.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e7cd250
4.27/2.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e7cd250
4.27/2.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e7cd250
4.27/2.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e7cd250
4.27/2.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e7cd250
4.27/2.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e7cd250
4.27/2.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e7cd250
4.27/2.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e7cd250
4.27/2.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e7cd250
4.27/2.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e7cd250
4.27/2.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e7cd250
4.27/2.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e7cd250
4.27/2.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e7cd250
4.27/2.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e7cd250
4.27/2.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e7cd250
4.27/2.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e7cd250
4.27/2.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e7cd250
4.27/2.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e7cd250
4.27/2.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e7cd250
4.27/2.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e7cd250
4.27/2.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e7cd250
4.27/2.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e7cd250
4.27/2.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e7cd250
4.27/2.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c26fd18
4.27/2.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c26fd18
4.27/2.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c26fd18
4.27/2.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c26fd18
4.27/2.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c26fd18
4.27/2.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c26fd18
4.27/2.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c26fd18
4.27/2.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c26fd18
4.27/2.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c26fd18
4.27/2.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c26fd18
4.27/2.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c26fd18
4.27/2.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c26fd18
4.27/2.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c26fd18
4.27/2.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c26fd18
4.27/2.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c26fd18
4.27/2.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c26fd18
4.27/2.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c26fd18
4.27/2.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c26fd18
4.27/2.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c26fd18
4.27/2.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c26fd18
4.27/2.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c26fd18
4.27/2.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c26fd18
4.27/2.41	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c26fd18
4.27/2.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c26fd18
4.27/2.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@553d39ec
4.27/2.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@553d39ec
4.27/2.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@553d39ec
4.27/2.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@553d39ec
4.27/2.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@553d39ec
4.27/2.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@553d39ec
4.27/2.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@553d39ec
4.27/2.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@553d39ec
4.27/2.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@553d39ec
4.27/2.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@553d39ec
4.27/2.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@553d39ec
4.27/2.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@553d39ec
4.27/2.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@553d39ec
4.27/2.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@553d39ec
4.27/2.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@553d39ec
4.27/2.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@553d39ec
4.27/2.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@553d39ec
4.27/2.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@553d39ec
4.27/2.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@553d39ec
4.27/2.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@553d39ec
4.27/2.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@553d39ec
4.27/2.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@553d39ec
4.27/2.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@553d39ec
4.27/2.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16a46b08
4.27/2.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16a46b08
4.27/2.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16a46b08
4.27/2.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16a46b08
4.27/2.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16a46b08
4.27/2.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16a46b08
4.27/2.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16a46b08
4.27/2.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16a46b08
4.27/2.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16a46b08
4.27/2.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16a46b08
4.27/2.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16a46b08
4.27/2.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16a46b08
4.27/2.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16a46b08
4.27/2.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16a46b08
4.27/2.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16a46b08
4.27/2.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16a46b08
4.27/2.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16a46b08
4.27/2.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16a46b08
4.27/2.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16a46b08
4.27/2.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16a46b08
4.27/2.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16a46b08
4.27/2.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16a46b08
4.27/2.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63b71f96
4.27/2.42	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63b71f96
4.27/2.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63b71f96
4.27/2.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63b71f96
4.27/2.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63b71f96
4.27/2.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63b71f96
4.27/2.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63b71f96
4.27/2.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63b71f96
4.27/2.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63b71f96
4.27/2.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63b71f96
4.27/2.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63b71f96
4.27/2.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63b71f96
4.27/2.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63b71f96
4.27/2.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63b71f96
4.27/2.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63b71f96
4.27/2.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63b71f96
4.27/2.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63b71f96
4.27/2.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63b71f96
4.27/2.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63b71f96
4.27/2.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63b71f96
4.27/2.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63b71f96
4.27/2.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73e1e2b8
4.27/2.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73e1e2b8
4.27/2.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73e1e2b8
4.27/2.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73e1e2b8
4.27/2.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73e1e2b8
4.27/2.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73e1e2b8
4.27/2.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73e1e2b8
4.27/2.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73e1e2b8
4.27/2.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73e1e2b8
4.27/2.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73e1e2b8
4.27/2.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73e1e2b8
4.27/2.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73e1e2b8
4.27/2.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73e1e2b8
4.27/2.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73e1e2b8
4.27/2.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73e1e2b8
4.27/2.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73e1e2b8
4.27/2.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73e1e2b8
4.27/2.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73e1e2b8
4.27/2.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73e1e2b8
4.27/2.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73e1e2b8
4.27/2.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ccdcc36
4.27/2.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ccdcc36
4.27/2.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ccdcc36
4.27/2.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ccdcc36
4.27/2.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ccdcc36
4.27/2.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ccdcc36
4.27/2.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ccdcc36
4.27/2.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ccdcc36
4.27/2.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ccdcc36
4.27/2.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ccdcc36
4.27/2.43	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ccdcc36
4.27/2.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ccdcc36
4.27/2.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ccdcc36
4.27/2.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ccdcc36
4.27/2.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ccdcc36
4.27/2.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ccdcc36
4.27/2.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ccdcc36
4.27/2.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ccdcc36
4.27/2.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ccdcc36
4.27/2.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@846e0dd
4.27/2.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@846e0dd
4.27/2.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@846e0dd
4.27/2.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@846e0dd
4.27/2.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@846e0dd
4.27/2.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@846e0dd
4.27/2.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@846e0dd
4.27/2.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@846e0dd
4.27/2.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@846e0dd
4.27/2.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@846e0dd
4.27/2.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@846e0dd
4.27/2.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@846e0dd
4.27/2.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@846e0dd
4.27/2.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@846e0dd
4.27/2.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@846e0dd
4.27/2.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@846e0dd
4.27/2.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@846e0dd
4.27/2.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@846e0dd
4.27/2.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b9f0659
4.27/2.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b9f0659
4.27/2.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b9f0659
4.27/2.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b9f0659
4.27/2.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b9f0659
4.27/2.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b9f0659
4.27/2.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b9f0659
4.27/2.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b9f0659
4.27/2.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b9f0659
4.27/2.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b9f0659
4.27/2.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b9f0659
4.27/2.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b9f0659
4.27/2.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b9f0659
4.27/2.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b9f0659
4.27/2.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b9f0659
4.27/2.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b9f0659
4.27/2.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b9f0659
4.27/2.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52ad761a
4.27/2.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52ad761a
4.27/2.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52ad761a
4.27/2.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52ad761a
4.27/2.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52ad761a
4.27/2.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52ad761a
4.27/2.44	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52ad761a
4.27/2.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52ad761a
4.27/2.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52ad761a
4.27/2.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52ad761a
4.27/2.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52ad761a
4.27/2.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52ad761a
4.27/2.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52ad761a
4.27/2.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52ad761a
4.27/2.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52ad761a
4.27/2.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52ad761a
4.27/2.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4161c5ad
4.27/2.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4161c5ad
4.27/2.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4161c5ad
4.27/2.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4161c5ad
4.27/2.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4161c5ad
4.27/2.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4161c5ad
4.27/2.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4161c5ad
4.27/2.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4161c5ad
4.27/2.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4161c5ad
4.27/2.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4161c5ad
4.27/2.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4161c5ad
4.27/2.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4161c5ad
4.27/2.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4161c5ad
4.27/2.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4161c5ad
4.27/2.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4161c5ad
4.27/2.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18de1072
4.27/2.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18de1072
4.27/2.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18de1072
4.27/2.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18de1072
4.27/2.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18de1072
4.27/2.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18de1072
4.27/2.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18de1072
4.27/2.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18de1072
4.27/2.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18de1072
4.27/2.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18de1072
4.27/2.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18de1072
4.27/2.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18de1072
4.27/2.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18de1072
4.27/2.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18de1072
4.27/2.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29f66956
4.27/2.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29f66956
4.27/2.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29f66956
4.27/2.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29f66956
4.27/2.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29f66956
4.27/2.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29f66956
4.27/2.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29f66956
4.27/2.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29f66956
4.27/2.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29f66956
4.27/2.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29f66956
4.27/2.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29f66956
4.27/2.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29f66956
4.27/2.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29f66956
4.27/2.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32b79550
4.27/2.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32b79550
4.27/2.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32b79550
4.27/2.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32b79550
4.27/2.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32b79550
4.27/2.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32b79550
4.27/2.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32b79550
4.27/2.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32b79550
4.27/2.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32b79550
4.27/2.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32b79550
4.27/2.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32b79550
4.27/2.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32b79550
4.27/2.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3463e824
4.27/2.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3463e824
4.27/2.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3463e824
4.27/2.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3463e824
4.27/2.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3463e824
4.27/2.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3463e824
4.27/2.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3463e824
4.27/2.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3463e824
4.27/2.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3463e824
4.27/2.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3463e824
4.27/2.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3463e824
4.27/2.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@489e679a
4.27/2.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@489e679a
4.27/2.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@489e679a
4.27/2.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@489e679a
4.27/2.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@489e679a
4.27/2.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@489e679a
4.27/2.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@489e679a
4.27/2.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@489e679a
4.27/2.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@489e679a
4.27/2.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@489e679a
4.27/2.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@628bddf4
4.27/2.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@628bddf4
4.27/2.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@628bddf4
4.27/2.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@628bddf4
4.27/2.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@628bddf4
4.27/2.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@628bddf4
4.27/2.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@628bddf4
4.27/2.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@628bddf4
4.27/2.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@628bddf4
4.27/2.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47071a57
4.27/2.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47071a57
4.27/2.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47071a57
4.27/2.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47071a57
4.27/2.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47071a57
4.27/2.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47071a57
4.27/2.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47071a57
4.27/2.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47071a57
4.27/2.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29ca8c0c
4.27/2.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29ca8c0c
4.27/2.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29ca8c0c
4.27/2.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29ca8c0c
4.27/2.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29ca8c0c
4.27/2.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29ca8c0c
4.27/2.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29ca8c0c
4.27/2.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6cdd1116
4.27/2.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6cdd1116
4.27/2.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6cdd1116
4.27/2.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6cdd1116
4.27/2.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6cdd1116
4.27/2.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6cdd1116
4.27/2.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36b30755
4.27/2.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36b30755
4.27/2.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36b30755
4.27/2.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36b30755
4.27/2.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36b30755
4.27/2.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@564deb9c
4.27/2.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@564deb9c
4.27/2.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@564deb9c
4.27/2.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@564deb9c
4.27/2.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19faef72
4.27/2.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19faef72
4.27/2.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19faef72
4.27/2.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11810718
4.27/2.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11810718
4.27/2.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c1b8833
4.87/2.63	
4.87/2.63	
4.87/2.63	  Domains
4.87/2.63	    nTypes=1, nValues=4160, sizes=[2#2080]
4.87/2.63	  Variables
4.87/2.63	    count=2080, degrees=[43#4,44#176,45#1900]
4.87/2.63	  Constraints
4.87/2.63	    count=962, nSpecific=962, arities=[40#52,52#40,80#51,104#819]
4.87/2.63	    distribution=[LexicographicLe#90,SumScalarBooleanEQ#780,SumSimpleEQ#92]
4.87/2.63	    wck=0.783, cpu=2.601, mem=121M642
4.87/2.64	  Solver SolverBacktrack being built...
4.87/2.64	
4.87/2.69	
4.87/2.69	  Solver
4.87/2.69	    guaranteedGAC=true
4.87/2.69	    wck=0.847, cpu=2.662, mem=142M778
5.10/2.71	
5.10/2.71	  Preprocessing
5.10/2.71	    filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
5.10/2.71	    wck=0.017, cpu=2.682, mem=142M778
5.10/2.71	
5.10/2.74	    num=0, depth=68..78, filters=162, wck=0.052, mem=142M778
5.10/2.74	    decisions=122, wrong=27, backtracks=26, failedAssignments=10, nogoods=1
5.10/2.74	    
5.10/2.78	    num=1, depth=1..68, filters=692, wck=0.087, mem=142M778
5.10/2.78	    decisions=202, wrong=38, backtracks=26, failedAssignments=21, nogoods=12
5.10/2.78	    
5.40/2.81	    num=2, depth=1..78, filters=1043, wck=0.115, mem=142M778
5.40/2.81	    decisions=304, wrong=55, backtracks=35, failedAssignments=33, nogoods=19
5.40/2.81	    
5.40/2.83	    num=3, depth=1..114, filters=1344, wck=0.136, mem=142M778
5.40/2.83	    decisions=452, wrong=76, backtracks=46, failedAssignments=46, nogoods=25
5.40/2.83	    
5.40/2.85	    num=4, depth=1..86, filters=1832, wck=0.161, mem=142M778
5.40/2.85	    decisions=580, wrong=111, backtracks=68, failedAssignments=60, nogoods=32
5.40/2.85	    
5.40/2.88	    num=5, depth=1..76, filters=2298, wck=0.184, mem=142M778
5.40/2.88	    decisions=684, wrong=134, backtracks=78, failedAssignments=76, nogoods=41
5.40/2.88	    
5.40/2.89	    num=6, depth=0..61, filters=2679, wck=0.202, mem=142M778
5.40/2.89	    decisions=770, wrong=154, backtracks=88, failedAssignments=93, nogoods=50
5.40/2.89	    
5.64/2.92	    num=7, depth=1..59, filters=3084, wck=0.224, mem=142M778
5.64/2.92	    decisions=878, wrong=183, backtracks=107, failedAssignments=112, nogoods=60
5.64/2.92	    
5.64/2.94	    num=8, depth=1..55, filters=3487, wck=0.248, mem=142M778
5.64/2.94	    decisions=986, wrong=214, backtracks=127, failedAssignments=133, nogoods=69
5.64/2.94	    
5.64/2.96	    num=9, depth=1..59, filters=3830, wck=0.271, mem=142M778
5.64/2.96	    decisions=1098, wrong=245, backtracks=151, failedAssignments=156, nogoods=77
5.64/2.96	    
5.64/2.99	    num=10, depth=1..76, filters=4306, wck=0.298, mem=142M778
5.64/2.99	    decisions=1253, wrong=289, backtracks=186, failedAssignments=181, nogoods=85
5.64/2.99	    
5.82/3.01	    num=11, depth=1..135, filters=4553, wck=0.316, mem=142M778
5.82/3.01	    decisions=1457, wrong=331, backtracks=211, failedAssignments=209, nogoods=96
5.82/3.01	    
5.82/3.03	    num=12, depth=1..81, filters=4895, wck=0.339, mem=142M778
5.82/3.03	    decisions=1621, wrong=377, backtracks=245, failedAssignments=240, nogoods=104
5.82/3.03	    
5.82/3.06	    num=13, depth=1..74, filters=5485, wck=0.372, mem=142M778
5.82/3.06	    decisions=1820, wrong=448, backtracks=298, failedAssignments=274, nogoods=109
5.82/3.06	    
5.82/3.09	    num=14, depth=1..107, filters=5954, wck=0.393, mem=142M778
5.82/3.09	    decisions=2013, wrong=497, backtracks=340, failedAssignments=311, nogoods=120
5.82/3.09	    
5.82/3.10	    num=15, depth=1..58, filters=6219, wck=0.406, mem=142M778
5.82/3.10	    decisions=2212, wrong=573, backtracks=413, failedAssignments=352, nogoods=124
5.82/3.10	    
5.93/3.13	    num=16, depth=36..77, filters=6924, wck=0.438, mem=142M778
5.93/3.13	    decisions=2424, wrong=661, backtracks=472, failedAssignments=397, nogoods=125
5.93/3.13	    
5.93/3.16	    num=17, depth=41..72, filters=7943, wck=0.472, mem=142M778
5.93/3.16	    decisions=2697, wrong=772, backtracks=562, failedAssignments=447, nogoods=130
5.93/3.16	    
5.93/3.19	    num=18, depth=133..141, filters=8284, wck=0.494, mem=142M778
5.93/3.19	    decisions=3083, wrong=896, backtracks=683, failedAssignments=502, nogoods=133
5.93/3.19	    
6.04/3.22	    num=19, depth=18..164, filters=9173, wck=0.525, mem=142M778
6.04/3.22	    decisions=3445, wrong=1020, backtracks=767, failedAssignments=563, nogoods=143
6.04/3.22	    
6.04/3.27	    num=20, depth=44..217, filters=10054, wck=0.577, mem=142M778
6.04/3.27	    decisions=3901, wrong=1146, backtracks=872, failedAssignments=630, nogoods=158
6.04/3.27	    
6.19/3.31	    num=21, depth=17..183, filters=10801, wck=0.614, mem=142M778
6.19/3.31	    decisions=4426, wrong=1347, backtracks=1054, failedAssignments=704, nogoods=167
6.19/3.31	    
6.19/3.36	    num=22, depth=21..119, filters=12540, wck=0.664, mem=142M778
6.19/3.36	    decisions=4858, wrong=1508, backtracks=1184, failedAssignments=785, nogoods=173
6.19/3.36	    
6.29/3.42	    num=23, depth=19..265, filters=14094, wck=0.723, mem=142M778
6.29/3.42	    decisions=5441, wrong=1675, backtracks=1275, failedAssignments=874, nogoods=188
6.29/3.42	    
6.29/3.48	    num=24, depth=18..339, filters=15740, wck=0.788, mem=142M778
6.29/3.48	    decisions=6090, wrong=1843, backtracks=1358, failedAssignments=972, nogoods=214
6.29/3.48	    
6.39/3.56	    num=25, depth=17..145, filters=17699, wck=0.863, mem=142M778
6.39/3.56	    decisions=6619, wrong=2041, backtracks=1492, failedAssignments=1080, nogoods=222
6.39/3.56	    
6.55/3.64	    num=26, depth=17..138, filters=19868, wck=0.945, mem=142M778
6.55/3.64	    decisions=7224, wrong=2286, backtracks=1689, failedAssignments=1199, nogoods=230
6.55/3.64	    
6.76/3.73	    num=27, depth=17..210, filters=21722, wck=1.042, mem=43M239
6.76/3.73	    decisions=7900, wrong=2530, backtracks=1858, failedAssignments=1330, nogoods=248
6.76/3.73	    
6.89/3.80	    num=28, depth=18..208, filters=23602, wck=1.11, mem=43M239
6.89/3.80	    decisions=8635, wrong=2816, backtracks=2044, failedAssignments=1474, nogoods=261
6.89/3.80	    
6.89/3.89	    num=29, depth=17..165, filters=25711, wck=1.198, mem=43M239
6.89/3.89	    decisions=9381, wrong=3117, backtracks=2283, failedAssignments=1632, nogoods=270
6.89/3.89	    
7.10/4.01	    num=30, depth=20..310, filters=28704, wck=1.321, mem=43M239
7.10/4.01	    decisions=10274, wrong=3425, backtracks=2511, failedAssignments=1806, nogoods=295
7.10/4.01	    
7.20/4.11	    num=31, depth=23..204, filters=30884, wck=1.418, mem=43M239
7.20/4.11	    decisions=11130, wrong=3774, backtracks=2813, failedAssignments=1997, nogoods=308
7.20/4.11	    
7.29/4.25	    num=32, depth=27..366, filters=34632, wck=1.556, mem=43M239
7.29/4.25	    decisions=12473, wrong=4297, backtracks=3230, failedAssignments=2208, nogoods=327
7.29/4.25	    
7.49/4.40	    num=33, depth=33..242, filters=37985, wck=1.709, mem=43M239
7.49/4.40	    decisions=13545, wrong=4728, backtracks=3607, failedAssignments=2440, nogoods=351
7.49/4.40	    
7.59/4.57	    num=34, depth=36..252, filters=42650, wck=1.879, mem=43M239
7.59/4.57	    decisions=15255, wrong=5469, backtracks=4314, failedAssignments=2695, nogoods=365
7.59/4.57	    
7.73/4.69	    num=35, depth=42..208, filters=45533, wck=1.995, mem=43M239
7.73/4.69	    decisions=16530, wrong=6013, backtracks=4782, failedAssignments=2976, nogoods=379
7.73/4.69	    
7.94/4.81	    num=36, depth=53..230, filters=48926, wck=2.122, mem=43M239
7.94/4.81	    decisions=17813, wrong=6551, backtracks=5180, failedAssignments=3285, nogoods=399
7.94/4.81	    
7.94/4.87	    num=37, depth=62..149, filters=50733, wck=2.18, mem=45M855
7.94/4.87	    decisions=19140, wrong=7153, backtracks=5676, failedAssignments=3625, nogoods=409
7.94/4.87	    
8.25/5.15	    num=38, depth=79..127, filters=58319, wck=2.459, mem=45M855
8.25/5.15	    decisions=20693, wrong=7887, backtracks=6133, failedAssignments=3999, nogoods=412
8.25/5.15	    
8.44/5.30	    num=39, depth=68..227, filters=62752, wck=2.612, mem=45M855
8.44/5.30	    decisions=22302, wrong=8599, backtracks=6639, failedAssignments=4410, nogoods=429
8.44/5.30	    
8.74/5.62	    num=40, depth=76..207, filters=70431, wck=2.927, mem=45M855
8.74/5.62	    decisions=24099, wrong=9422, backtracks=7356, failedAssignments=4862, nogoods=434
8.74/5.62	    
8.94/5.90	    num=41, depth=34..324, filters=79819, wck=3.204, mem=45M855
8.94/5.90	    decisions=27117, wrong=10784, backtracks=8535, failedAssignments=5359, nogoods=458
8.94/5.90	    
9.15/6.06	    num=42, depth=69..414, filters=85762, wck=3.372, mem=45M855
9.15/6.06	    decisions=30000, wrong=12067, backtracks=9649, failedAssignments=5906, nogoods=479
9.15/6.06	    
9.55/6.44	    num=43, depth=38..187, filters=95756, wck=3.752, mem=48M471
9.55/6.44	    decisions=32581, wrong=13278, backtracks=10334, failedAssignments=6508, nogoods=488
9.55/6.44	    
9.85/6.78	    num=44, depth=38..340, filters=104969, wck=4.092, mem=48M471
9.85/6.78	    decisions=35522, wrong=14633, backtracks=11265, failedAssignments=7170, nogoods=506
9.85/6.78	    
10.26/7.12	    num=45, depth=43..279, filters=113648, wck=4.426, mem=48M471
10.26/7.12	    decisions=38602, wrong=16059, backtracks=12191, failedAssignments=7898, nogoods=521
10.26/7.12	    
10.55/7.48	    num=46, depth=39..284, filters=125945, wck=4.789, mem=48M471
10.55/7.48	    decisions=42624, wrong=17940, backtracks=13831, failedAssignments=8699, nogoods=542
10.55/7.48	    
10.95/7.83	    num=47, depth=35..245, filters=135898, wck=5.138, mem=51M86
10.95/7.83	    decisions=46273, wrong=19676, backtracks=15136, failedAssignments=9580, nogoods=558
10.95/7.83	    
11.16/8.01	    num=48, depth=68..210, filters=141778, wck=5.323, mem=51M86
11.16/8.01	    decisions=50699, wrong=21819, backtracks=17209, failedAssignments=10550, nogoods=563
11.16/8.01	    
11.95/8.83	    num=49, depth=52..264, filters=161352, wck=6.135, mem=53M702
11.95/8.83	    decisions=54981, wrong=23860, backtracks=18694, failedAssignments=11617, nogoods=578
11.95/8.83	    
12.56/9.41	    num=50, depth=84..378, filters=177344, wck=6.715, mem=53M702
12.56/9.41	    decisions=60223, wrong=26332, backtracks=20700, failedAssignments=12790, nogoods=606
12.56/9.41	    
12.96/9.83	    num=51, depth=47..472, filters=193948, wck=7.135, mem=53M702
12.96/9.83	    decisions=66680, wrong=29354, backtracks=23379, failedAssignments=14081, nogoods=655
12.96/9.83	    
13.36/10.26	    num=52, depth=63..476, filters=212472, wck=7.571, mem=56M318
13.36/10.26	    decisions=73845, wrong=32730, backtracks=26400, failedAssignments=15501, nogoods=701
13.36/10.26	    
13.77/10.67	    num=53, depth=27..357, filters=228305, wck=7.974, mem=56M318
13.77/10.67	    decisions=80326, wrong=35814, backtracks=29145, failedAssignments=17063, nogoods=724
13.77/10.67	    
14.59/11.40	    num=54, depth=25..226, filters=243996, wck=8.707, mem=56M318
14.59/11.40	    decisions=87312, wrong=39241, backtracks=31059, failedAssignments=18781, nogoods=731
14.59/11.40	    
15.17/11.97	    num=55, depth=25..403, filters=269479, wck=9.282, mem=58M934
15.17/11.97	    decisions=96665, wrong=43746, backtracks=35122, failedAssignments=20671, nogoods=759
15.17/11.97	    
16.09/12.87	    num=56, depth=8..267, filters=308138, wck=10.174, mem=58M934
16.09/12.87	    decisions=106398, wrong=48546, backtracks=38400, failedAssignments=22750, nogoods=768
16.09/12.87	    
17.40/14.12	    num=57, depth=8..263, filters=360432, wck=11.424, mem=61M549
17.40/14.12	    decisions=115701, wrong=53092, backtracks=42279, failedAssignments=25037, nogoods=790
17.40/14.12	    
18.09/14.89	    num=58, depth=9..318, filters=382733, wck=12.195, mem=61M549
18.09/14.89	    decisions=126014, wrong=58126, backtracks=45827, failedAssignments=27553, nogoods=806
18.09/14.89	    
19.19/15.98	    num=59, depth=8..373, filters=416309, wck=13.292, mem=64M165
19.19/15.98	    decisions=137489, wrong=63727, backtracks=49067, failedAssignments=30321, nogoods=827
19.19/15.98	    
20.49/17.24	    num=60, depth=10..412, filters=453742, wck=14.548, mem=66M781
20.49/17.24	    decisions=151310, wrong=70456, backtracks=53614, failedAssignments=33365, nogoods=869
20.49/17.24	    
21.51/18.21	    num=61, depth=12..403, filters=498493, wck=15.523, mem=66M781
21.51/18.21	    decisions=168196, wrong=78725, backtracks=61157, failedAssignments=36714, nogoods=898
21.51/18.21	    
22.62/19.33	    num=62, depth=9..81, filters=551821, wck=16.634, mem=69M397
22.62/19.33	    decisions=182070, wrong=85656, backtracks=65453, failedAssignments=40398, nogoods=900
22.62/19.33	    
23.62/20.34	    num=63, depth=1..457, filters=594012, wck=17.647, mem=72M13
23.62/20.34	    decisions=201653, wrong=95268, backtracks=74155, failedAssignments=44450, nogoods=932
23.62/20.34	    
25.02/21.76	    num=64, depth=15..74, filters=653609, wck=19.068, mem=74M628
25.02/21.76	    decisions=218416, wrong=103633, backtracks=79626, failedAssignments=48907, nogoods=936
25.02/21.76	    
26.23/22.97	    num=65, depth=8..339, filters=701483, wck=20.275, mem=77M244
26.23/22.97	    decisions=238193, wrong=113431, backtracks=87655, failedAssignments=53810, nogoods=943
26.23/22.97	    
27.13/23.86	    num=66, depth=10..265, filters=733188, wck=21.165, mem=79M860
27.13/23.86	    decisions=260987, wrong=124773, backtracks=98735, failedAssignments=59204, nogoods=953
27.13/23.86	    
29.34/26.03	    num=67, depth=27..370, filters=842725, wck=23.334, mem=82M476
29.34/26.03	    decisions=288122, wrong=138191, backtracks=110830, failedAssignments=65137, nogoods=985
29.34/26.03	    
30.84/27.56	    num=68, depth=24..314, filters=901404, wck=24.866, mem=85M91
30.84/27.56	    decisions=318552, wrong=153276, backtracks=125258, failedAssignments=71663, nogoods=1014
30.84/27.56	    
33.14/29.81	    num=69, depth=5..497, filters=985933, wck=27.114, mem=87M707
33.14/29.81	    decisions=352347, wrong=169955, backtracks=139677, failedAssignments=78842, nogoods=1061
33.14/29.81	    
37.04/33.74	    num=70, depth=54..535, filters=1103183, wck=31.048, mem=92M939
37.04/33.74	    decisions=386433, wrong=186765, backtracks=154432, failedAssignments=86739, nogoods=1119
37.04/33.74	    
38.74/35.42	    num=71, depth=7..250, filters=1167498, wck=32.733, mem=95M555
38.74/35.42	    decisions=420289, wrong=203581, backtracks=170777, failedAssignments=95426, nogoods=1131
38.74/35.42	    
41.35/38.10	    num=72, depth=8..474, filters=1303704, wck=35.409, mem=98M170
41.35/38.10	    decisions=465452, wrong=225961, backtracks=191325, failedAssignments=104981, nogoods=1182
41.35/38.10	    
45.35/42.06	    num=73, depth=8..601, filters=1485865, wck=39.368, mem=103M402
45.35/42.06	    decisions=526744, wrong=256361, backtracks=219499, failedAssignments=115492, nogoods=1245
45.35/42.06	    
49.85/46.57	    num=74, depth=6..472, filters=1674196, wck=43.873, mem=108M634
49.85/46.57	    decisions=590088, wrong=287830, backtracks=247752, failedAssignments=127054, nogoods=1285
49.85/46.57	    
53.95/50.65	    num=75, depth=12..540, filters=1861290, wck=47.955, mem=111M249
53.95/50.65	    decisions=657043, wrong=321081, backtracks=278465, failedAssignments=139772, nogoods=1342
53.95/50.65	    
57.85/54.55	    num=76, depth=7..428, filters=2032853, wck=51.856, mem=116M481
57.85/54.55	    decisions=721884, wrong=353328, backtracks=307801, failedAssignments=153762, nogoods=1390
57.85/54.55	    
62.15/58.84	    num=77, depth=8..565, filters=2212442, wck=56.153, mem=121M712
62.15/58.84	    decisions=797342, wrong=390827, backtracks=342495, failedAssignments=169151, nogoods=1431
62.15/58.84	    
68.36/65.08	    num=78, depth=146..432, filters=2479440, wck=62.384, mem=129M560
68.36/65.08	    decisions=880576, wrong=432268, backtracks=379434, failedAssignments=186079, nogoods=1464
68.36/65.08	    
73.05/69.73	    num=79, depth=4..399, filters=2670919, wck=67.039, mem=134M791
73.05/69.73	    decisions=962129, wrong=472882, backtracks=416536, failedAssignments=204700, nogoods=1495
73.05/69.73	    
78.76/75.41	    num=80, depth=11..351, filters=2894958, wck=72.716, mem=142M639
78.76/75.41	    decisions=1045314, wrong=514327, backtracks=455091, failedAssignments=225184, nogoods=1510
78.76/75.41	    
84.66/81.34	    num=81, depth=9..523, filters=3167690, wck=78.648, mem=150M486
84.66/81.34	    decisions=1155541, wrong=569225, backtracks=505790, failedAssignments=247716, nogoods=1578
84.66/81.34	    
93.06/89.77	    num=82, depth=6..557, filters=3471462, wck=87.076, mem=160M949
93.06/89.77	    decisions=1271757, wrong=627110, backtracks=559556, failedAssignments=272501, nogoods=1659
93.06/89.77	    
102.17/98.86	    num=83, depth=9..571, filters=3894268, wck=96.163, mem=168M797
102.17/98.86	    decisions=1438783, wrong=710390, backtracks=638011, failedAssignments=299765, nogoods=1732
102.17/98.86	    
108.12/104.72	    num=84, depth=44..395, filters=4103907, wck=102.029, mem=48M722
108.12/104.72	    decisions=1561862, wrong=771773, backtracks=693317, failedAssignments=329755, nogoods=1769
108.12/104.72	    
115.82/112.43	    num=85, depth=9..334, filters=4385837, wck=109.742, mem=61M801
115.82/112.43	    decisions=1725303, wrong=853390, backtracks=770561, failedAssignments=362744, nogoods=1798
115.82/112.43	    
122.12/118.77	    num=86, depth=12..214, filters=4623922, wck=116.078, mem=77M496
122.12/118.77	    decisions=1875910, wrong=928612, backtracks=840753, failedAssignments=399032, nogoods=1814
122.12/118.77	    
135.63/132.24	    num=87, depth=23..445, filters=5179324, wck=129.551, mem=95M807
135.63/132.24	    decisions=2065036, wrong=1022994, backtracks=927001, failedAssignments=438949, nogoods=1861
135.63/132.24	    
150.23/146.85	    num=88, depth=18..448, filters=5820049, wck=144.161, mem=111M503
150.23/146.85	    decisions=2281291, wrong=1130937, backtracks=1026714, failedAssignments=482858, nogoods=1912
150.23/146.85	    
162.65/159.25	    num=89, depth=14..335, filters=6319596, wck=156.558, mem=127M198
162.65/159.25	    decisions=2488071, wrong=1234193, backtracks=1121208, failedAssignments=531158, nogoods=1939
162.65/159.25	    
175.75/172.32	    num=90, depth=14..567, filters=6929114, wck=169.632, mem=145M509
175.75/172.32	    decisions=2752787, wrong=1366326, backtracks=1242693, failedAssignments=584288, nogoods=2017
175.75/172.32	    
190.46/187.10	    num=91, depth=13..585, filters=7609517, wck=184.407, mem=169M51
190.46/187.10	    decisions=3036005, wrong=1507696, backtracks=1375113, failedAssignments=642731, nogoods=2097
190.46/187.10	    
202.18/198.74	    num=92, depth=10..200, filters=8019672, wck=196.052, mem=62M310
202.18/198.74	    decisions=3311395, wrong=1645307, backtracks=1507131, failedAssignments=707018, nogoods=2122
202.18/198.74	    
212.19/208.76	    num=93, depth=6..148, filters=8369790, wck=206.066, mem=88M561
212.19/208.76	    decisions=3565217, wrong=1772157, backtracks=1629135, failedAssignments=777734, nogoods=2138
212.19/208.76	    
240.52/237.09	    num=94, depth=8..549, filters=9686915, wck=234.397, mem=117M438
240.52/237.09	    decisions=4001244, wrong=1989936, backtracks=1829821, failedAssignments=855521, nogoods=2197
240.52/237.09	    
265.52/262.10	    num=95, depth=8..554, filters=11014597, wck=259.411, mem=135M814
265.52/262.10	    decisions=4474576, wrong=2226367, backtracks=2051145, failedAssignments=941087, nogoods=2246
265.52/262.10	    
293.53/290.10	    num=96, depth=7..612, filters=12358511, wck=287.408, mem=164M691
293.53/290.10	    decisions=4987412, wrong=2482550, backtracks=2286076, failedAssignments=1035210, nogoods=2313
293.53/290.10	    
326.97/323.41	    num=97, depth=6..437, filters=13791891, wck=320.718, mem=75M315
326.97/323.41	    decisions=5438818, wrong=2708136, backtracks=2451637, failedAssignments=1138745, nogoods=2333
326.97/323.41	    
364.38/360.82	    num=98, depth=6..362, filters=15130270, wck=358.126, mem=145M229
364.38/360.82	    decisions=5922895, wrong=2950045, backtracks=2639578, failedAssignments=1252634, nogoods=2356
364.38/360.82	    
446.34/442.70	    num=99, depth=7..255, filters=19594544, wck=440.008, mem=46M780
446.34/442.70	    decisions=6498821, wrong=3237910, backtracks=2881015, failedAssignments=1377912, nogoods=2382
446.34/442.70	    
496.97/493.35	    num=100, depth=3..218, filters=23569860, wck=490.658, mem=64M640
496.97/493.35	    decisions=7038424, wrong=3507617, backtracks=3054573, failedAssignments=1515718, nogoods=2405
496.97/493.35	    
565.21/561.41	    num=101, depth=7..212, filters=28477374, wck=558.716, mem=85M52
565.21/561.41	    decisions=7710440, wrong=3843538, backtracks=3313150, failedAssignments=1667304, nogoods=2422
565.21/561.41	    
649.14/645.39	    num=102, depth=6..234, filters=34330218, wck=642.702, mem=118M221
649.14/645.39	    decisions=8483821, wrong=4230155, backtracks=3612443, failedAssignments=1834049, nogoods=2437
649.14/645.39	    
815.12/811.23	    num=103, depth=4..168, filters=45405091, wck=808.533, mem=151M390
815.12/811.23	    decisions=9517878, wrong=4747142, backtracks=4114563, failedAssignments=2017468, nogoods=2450
815.12/811.23	    
879.15/875.29	    num=104, depth=6..292, filters=47770851, wck=872.598, mem=134M747
879.15/875.29	    decisions=10348006, wrong=5162103, backtracks=4506729, failedAssignments=2219229, nogoods=2474
879.15/875.29	    
921.87/917.96	    num=105, depth=6..188, filters=49330101, wck=915.268, mem=115M936
921.87/917.96	    decisions=11205087, wrong=5590573, backtracks=4922776, failedAssignments=2441167, nogoods=2493
921.87/917.96	    
977.02/973.03	    num=106, depth=6..387, filters=51355165, wck=970.335, mem=78M247
977.02/973.03	    decisions=12247631, wrong=6111680, backtracks=5424575, failedAssignments=2685298, nogoods=2531
977.02/973.03	    
1074.78/1070.76	    num=107, depth=4..109, filters=55605815, wck=1068.064, mem=137M432
1074.78/1070.76	    decisions=13368676, wrong=6672161, backtracks=5967218, failedAssignments=2953843, nogoods=2548
1074.78/1070.76	    
1120.32/1116.26	    num=108, depth=7..110, filters=56964465, wck=1113.572, mem=126M675
1120.32/1116.26	    decisions=14386732, wrong=7181148, backtracks=6459623, failedAssignments=3249242, nogoods=2564
1120.32/1116.26	    
1215.79/1211.67	    num=109, depth=6..339, filters=61103237, wck=1208.982, mem=118M668
1215.79/1211.67	    decisions=16244946, wrong=8110126, backtracks=7363769, failedAssignments=3574181, nogoods=2611
1215.79/1211.67	    
1313.26/1309.03	    num=110, depth=4..328, filters=65027120, wck=1306.337, mem=124M524
1313.26/1309.03	    decisions=18128636, wrong=9051849, backtracks=8278988, failedAssignments=3931614, nogoods=2652
1313.26/1309.03	    
1406.12/1401.86	    num=111, depth=5..281, filters=68742096, wck=1399.169, mem=44M189
1406.12/1401.86	    decisions=20029777, wrong=10002326, backtracks=9173707, failedAssignments=4324790, nogoods=2679
1406.12/1401.86	    
1537.21/1532.87	    num=112, depth=4..154, filters=75010638, wck=1530.178, mem=113M383
1537.21/1532.87	    decisions=21433081, wrong=10703919, backtracks=9854806, failedAssignments=4757284, nogoods=2697
1537.21/1532.87	    
1658.14/1653.71	    num=113, depth=6..240, filters=79485991, wck=1651.019, mem=96M48
1658.14/1653.71	    decisions=23965721, wrong=11970142, backtracks=11085034, failedAssignments=5233028, nogoods=2724
1658.14/1653.71	    
1812.10/1807.60	    num=114, depth=8..407, filters=85976731, wck=1804.913, mem=66M83
1812.10/1807.60	    decisions=26951724, wrong=13462983, backtracks=12515861, failedAssignments=5756346, nogoods=2780
1812.10/1807.60	    
1974.84/1970.39	    num=115, depth=8..303, filters=92251331, wck=1967.695, mem=85M430
1974.84/1970.39	    decisions=30158696, wrong=15066347, backtracks=14099672, failedAssignments=6331996, nogoods=2816
1974.84/1970.39	    
2129.48/2124.96	    num=116, depth=7..281, filters=97053774, wck=2122.272, mem=70M657
2129.48/2124.96	    decisions=32906033, wrong=16439925, backtracks=15365133, failedAssignments=6965211, nogoods=2849
2129.48/2124.96	    
2332.22/2327.67	    num=117, depth=7..577, filters=106390235, wck=2324.977, mem=81M329
2332.22/2327.67	    decisions=36504016, wrong=18238700, backtracks=17006202, failedAssignments=7661747, nogoods=2921
2332.22/2327.67	    
2483.17/2478.57	    num=118, depth=3..185, filters=112091306, wck=2475.876, mem=117M245
2483.17/2478.57	    decisions=39363244, wrong=19668241, backtracks=18353101, failedAssignments=8427937, nogoods=2940
2483.17/2478.57

Verifier Data 

One s line expected

Watcher Data 

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 (15291 MiB free)
  memory of node 1: 16384 MiB (15319 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390736-1568380612/watcher-4390736-1568380612 -o /tmp/evaluation-result-4390736-1568380612/solver-4390736-1568380612 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568380476-6542 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390736-1568380612.xml -cm 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=6832, runsolver pid=6829

[startup+0.101838 s]*
/proc/loadavg: 1.65 0.55 0.23 4/233 6847
/proc/meminfo: memFree=31330584/32770624 swapFree=67004008/67108860
[pid=6832] ppid=6829 vsize=10659884 memory=30248 CPUtime=0.14 cores=0,2,4,6
/proc/6832/stat : 6832 (java) S 6829 6832 6511 0 -1 1077944320 5596 0 0 0 13 1 0 0 20 0 15 0 414300804 10915721216 7562 33554432000 4194304 4196468 140720757279184 140720757261728 140069973188343 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
/proc/6832/statm: 2664971 7562 2899 1 0 2627468 0
[pid=6832/tid=6834] ppid=6829 vsize=10659884 memory=-8392845456654038208 CPUtime=0.09 cores=0,2,4,6
/proc/6832/task/6834/stat : 6834 (java) R 6829 6832 6511 0 -1 4202560 2972 0 0 0 9 0 0 0 20 0 15 0 414300804 10915721216 7628 33554432000 4194304 4196468 140720757279184 140069977418920 140069958868468 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6835] ppid=6829 vsize=10659884 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/6832/task/6835/stat : 6835 (java) S 6829 6832 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414300805 10915721216 7628 33554432000 4194304 4196468 140720757279184 140069899263120 140069973198549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6836] ppid=6829 vsize=10659884 memory=140571985258112 CPUtime=0 cores=0,2,4,6
/proc/6832/task/6836/stat : 6836 (java) S 6829 6832 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414300805 10915721216 7628 33554432000 4194304 4196468 140720757279184 140069898210320 140069973198549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6837] ppid=6829 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6832/task/6837/stat : 6837 (java) S 6829 6832 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414300805 10915721216 7628 33554432000 4194304 4196468 140720757279184 140069897157520 140069973198549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6838] ppid=6829 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6832/task/6838/stat : 6838 (java) S 6829 6832 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414300805 10915721216 7628 33554432000 4194304 4196468 140720757279184 140069896104720 140069973198549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6839] ppid=6829 vsize=10659884 memory=140571985258112 CPUtime=0 cores=0,2,4,6
/proc/6832/task/6839/stat : 6839 (java) S 6829 6832 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414300806 10915721216 7628 33554432000 4194304 4196468 140720757279184 140069464643952 140069973199490 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6840] ppid=6829 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6832/task/6840/stat : 6840 (java) S 6829 6832 6511 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414300807 10915721216 7628 33554432000 4194304 4196468 140720757279184 140069463589920 140069973198549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6841] ppid=6829 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6832/task/6841/stat : 6841 (java) S 6829 6832 6511 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414300807 10915721216 7628 33554432000 4194304 4196468 140720757279184 140069462537072 140069973198549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6842] ppid=6829 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6832/task/6842/stat : 6842 (java) S 6829 6832 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414300809 10915721216 7628 33554432000 4194304 4196468 140720757279184 140069461485392 140069973206939 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6843] ppid=6829 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6832/task/6843/stat : 6843 (java) R 6829 6832 6511 0 -1 4202560 616 0 0 0 0 0 0 0 20 0 15 0 414300809 10915721216 7628 33554432000 4194304 4196468 140720757279184 140069460433776 140069953853488 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6844] ppid=6829 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6832/task/6844/stat : 6844 (java) R 6829 6832 6511 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 15 0 414300809 10915721216 7628 33554432000 4194304 4196468 140720757279184 140069459380976 140069973199490 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6845] ppid=6829 vsize=10659884 memory=140571985258112 CPUtime=0.02 cores=0,2,4,6
/proc/6832/task/6845/stat : 6845 (java) R 6829 6832 6511 0 -1 4202560 586 0 0 0 2 0 0 0 20 0 15 0 414300809 10915721216 7628 33554432000 4194304 4196468 140720757279184 140069458324728 140069965425470 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6846] ppid=6829 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6832/task/6846/stat : 6846 (java) S 6829 6832 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414300809 10915721216 7628 33554432000 4194304 4196468 140720757279184 140069457275616 140069973198549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6847] ppid=6829 vsize=10659884 memory=140571985258112 CPUtime=0 cores=0,2,4,6
/proc/6832/task/6847/stat : 6847 (java) S 6829 6832 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414300810 10915721216 7628 33554432000 4194304 4196468 140720757279184 140069456222896 140069973199490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 30248 KiB

[startup+0.210661 s]*
/proc/loadavg: 1.65 0.55 0.23 3/233 6847
/proc/meminfo: memFree=31324524/32770624 swapFree=67004008/67108860
[pid=6832] ppid=6829 vsize=10659884 memory=35364 CPUtime=0.33 cores=0,2,4,6
/proc/6832/stat : 6832 (java) S 6829 6832 6511 0 -1 1077944320 6407 0 0 0 31 2 0 0 20 0 15 0 414300804 10915721216 8841 33554432000 4194304 4196468 140720757279184 140720757261728 140069973188343 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
/proc/6832/statm: 2664971 8841 2989 1 0 2627468 0
[pid=6832/tid=6834] ppid=6829 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/6832/task/6834/stat : 6834 (java) R 6829 6832 6511 0 -1 4202560 3442 0 0 0 19 1 0 0 20 0 15 0 414300804 10915721216 8841 33554432000 4194304 4196468 140720757279184 140069977414704 140069973210269 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6835] ppid=6829 vsize=10659884 memory=345 CPUtime=0 cores=0,2,4,6
/proc/6832/task/6835/stat : 6835 (java) S 6829 6832 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414300805 10915721216 8841 33554432000 4194304 4196468 140720757279184 140069899263120 140069973198549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6836] ppid=6829 vsize=10659884 memory=140571985265197 CPUtime=0 cores=0,2,4,6
/proc/6832/task/6836/stat : 6836 (java) S 6829 6832 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414300805 10915721216 8841 33554432000 4194304 4196468 140720757279184 140069898210320 140069973198549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6837] ppid=6829 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6832/task/6837/stat : 6837 (java) S 6829 6832 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414300805 10915721216 8841 33554432000 4194304 4196468 140720757279184 140069897157520 140069973198549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6838] ppid=6829 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6832/task/6838/stat : 6838 (java) S 6829 6832 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414300805 10915721216 8841 33554432000 4194304 4196468 140720757279184 140069896104720 140069973198549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6839] ppid=6829 vsize=10659884 memory=140571985258112 CPUtime=0 cores=0,2,4,6
/proc/6832/task/6839/stat : 6839 (java) S 6829 6832 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414300806 10915721216 8841 33554432000 4194304 4196468 140720757279184 140069464643952 140069973199490 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6840] ppid=6829 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6832/task/6840/stat : 6840 (java) S 6829 6832 6511 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414300807 10915721216 8841 33554432000 4194304 4196468 140720757279184 140069463589920 140069973198549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6841] ppid=6829 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6832/task/6841/stat : 6841 (java) S 6829 6832 6511 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414300807 10915721216 8841 33554432000 4194304 4196468 140720757279184 140069462537072 140069973198549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6842] ppid=6829 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6832/task/6842/stat : 6842 (java) S 6829 6832 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414300809 10915721216 8841 33554432000 4194304 4196468 140720757279184 140069461485392 140069973206939 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6843] ppid=6829 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/6832/task/6843/stat : 6843 (java) S 6829 6832 6511 0 -1 1077944384 696 0 0 0 3 0 0 0 20 0 15 0 414300809 10915721216 8841 33554432000 4194304 4196468 140720757279184 140069460433776 140069973199490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6844] ppid=6829 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/6832/task/6844/stat : 6844 (java) S 6829 6832 6511 0 -1 1077944384 302 0 0 0 2 0 0 0 20 0 15 0 414300809 10915721216 8841 33554432000 4194304 4196468 140720757279184 140069459380976 140069973199490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6845] ppid=6829 vsize=10659884 memory=140571985258112 CPUtime=0.05 cores=0,2,4,6
/proc/6832/task/6845/stat : 6845 (java) S 6829 6832 6511 0 -1 1077944384 608 0 0 0 5 0 0 0 20 0 15 0 414300809 10915721216 8841 33554432000 4194304 4196468 140720757279184 140069458328176 140069973199490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6846] ppid=6829 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6832/task/6846/stat : 6846 (java) S 6829 6832 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414300809 10915721216 8841 33554432000 4194304 4196468 140720757279184 140069457275616 140069973198549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6847] ppid=6829 vsize=10659884 memory=140571985258112 CPUtime=0 cores=0,2,4,6
/proc/6832/task/6847/stat : 6847 (java) S 6829 6832 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414300810 10915721216 8841 33554432000 4194304 4196468 140720757279184 140069456222896 140069973199490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35364 KiB

[startup+0.310536 s]*
/proc/loadavg: 1.65 0.55 0.23 4/233 6847
/proc/meminfo: memFree=31316636/32770624 swapFree=67004008/67108860
[pid=6832] ppid=6829 vsize=10659884 memory=40588 CPUtime=0.47 cores=0,2,4,6
/proc/6832/stat : 6832 (java) S 6829 6832 6511 0 -1 1077944320 8921 0 0 0 44 3 0 0 20 0 15 0 414300804 10915721216 10147 33554432000 4194304 4196468 140720757279184 140720757261728 140069973188343 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
/proc/6832/statm: 2664971 10147 3036 1 0 2627468 0
[pid=6832/tid=6834] ppid=6829 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/6832/task/6834/stat : 6834 (java) R 6829 6832 6511 0 -1 4202560 5855 0 0 0 28 2 0 0 20 0 15 0 414300804 10915721216 10147 33554432000 4194304 4196468 140720757279184 140069977409232 140069973210269 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6835] ppid=6829 vsize=10659884 memory=304556157652172823 CPUtime=0 cores=0,2,4,6
/proc/6832/task/6835/stat : 6835 (java) S 6829 6832 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414300805 10915721216 10147 33554432000 4194304 4196468 140720757279184 140069899263120 140069973198549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6836] ppid=6829 vsize=10659884 memory=14553198941644440 CPUtime=0 cores=0,2,4,6
/proc/6832/task/6836/stat : 6836 (java) S 6829 6832 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414300805 10915721216 10147 33554432000 4194304 4196468 140720757279184 140069898210320 140069973198549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6837] ppid=6829 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6832/task/6837/stat : 6837 (java) S 6829 6832 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414300805 10915721216 10147 33554432000 4194304 4196468 140720757279184 140069897157520 140069973198549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6838] ppid=6829 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6832/task/6838/stat : 6838 (java) S 6829 6832 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414300805 10915721216 10147 33554432000 4194304 4196468 140720757279184 140069896104720 140069973198549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6839] ppid=6829 vsize=10659884 memory=140571985258112 CPUtime=0 cores=0,2,4,6
/proc/6832/task/6839/stat : 6839 (java) S 6829 6832 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414300806 10915721216 10147 33554432000 4194304 4196468 140720757279184 140069464643952 140069973199490 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6840] ppid=6829 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6832/task/6840/stat : 6840 (java) S 6829 6832 6511 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414300807 10915721216 10147 33554432000 4194304 4196468 140720757279184 140069463589920 140069973198549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6841] ppid=6829 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6832/task/6841/stat : 6841 (java) S 6829 6832 6511 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414300807 10915721216 10147 33554432000 4194304 4196468 140720757279184 140069462537072 140069973198549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6842] ppid=6829 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6832/task/6842/stat : 6842 (java) S 6829 6832 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414300809 10915721216 10147 33554432000 4194304 4196468 140720757279184 140069461485392 140069973206939 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6843] ppid=6829 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/6832/task/6843/stat : 6843 (java) R 6829 6832 6511 0 -1 1077944384 761 0 0 0 4 0 0 0 20 0 15 0 414300809 10915721216 10147 33554432000 4194304 4196468 140720757279184 140069460433776 140069973199490 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6844] ppid=6829 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/6832/task/6844/stat : 6844 (java) S 6829 6832 6511 0 -1 1077944384 311 0 0 0 3 0 0 0 20 0 15 0 414300809 10915721216 10147 33554432000 4194304 4196468 140720757279184 140069459380976 140069973199490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6845] ppid=6829 vsize=10659884 memory=140571985258112 CPUtime=0.08 cores=0,2,4,6
/proc/6832/task/6845/stat : 6845 (java) R 6829 6832 6511 0 -1 4202560 637 0 0 0 8 0 0 0 20 0 15 0 414300809 10915721216 10147 33554432000 4194304 4196468 140720757279184 140069458328176 140069951893273 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6846] ppid=6829 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6832/task/6846/stat : 6846 (java) S 6829 6832 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414300809 10915721216 10147 33554432000 4194304 4196468 140720757279184 140069457275616 140069973198549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6847] ppid=6829 vsize=10659884 memory=140571985258112 CPUtime=0 cores=0,2,4,6
/proc/6832/task/6847/stat : 6847 (java) S 6829 6832 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414300810 10915721216 10147 33554432000 4194304 4196468 140720757279184 140069456222896 140069973199490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40588 KiB

[startup+0.70091 s]
/proc/loadavg: 1.84 0.61 0.25 4/233 6847
/proc/meminfo: memFree=31307580/32770624 swapFree=67004008/67108860
[pid=6832] ppid=6829 vsize=10661932 memory=64192 CPUtime=1.11 cores=0,2,4,6
/proc/6832/stat : 6832 (java) S 6829 6832 6511 0 -1 1077944320 12636 0 0 0 105 6 0 0 20 0 15 0 414300804 10917818368 16048 33554432000 4194304 4196468 140720757279184 140720757261728 140069973188343 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
/proc/6832/statm: 2665483 16048 3074 1 0 2627980 0
[pid=6832/tid=6834] ppid=6829 vsize=10661932 memory=1220 CPUtime=0.68 cores=0,2,4,6
/proc/6832/task/6834/stat : 6834 (java) R 6829 6832 6511 0 -1 4202560 8403 0 0 0 64 4 0 0 20 0 15 0 414300804 10917818368 16048 33554432000 4194304 4196468 140720757279184 140069977420368 140069957268830 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6835] ppid=6829 vsize=10661932 memory=1616 CPUtime=0 cores=0,2,4,6
/proc/6832/task/6835/stat : 6835 (java) S 6829 6832 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414300805 10917818368 16048 33554432000 4194304 4196468 140720757279184 140069899263120 140069973198549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6836] ppid=6829 vsize=10661932 memory=784 CPUtime=0 cores=0,2,4,6
/proc/6832/task/6836/stat : 6836 (java) S 6829 6832 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414300805 10917818368 16048 33554432000 4194304 4196468 140720757279184 140069898210320 140069973198549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6837] ppid=6829 vsize=10661932 memory=8252 CPUtime=0 cores=0,2,4,6
/proc/6832/task/6837/stat : 6837 (java) S 6829 6832 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414300805 10917818368 16048 33554432000 4194304 4196468 140720757279184 140069897157520 140069973198549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6838] ppid=6829 vsize=10661932 memory=5920 CPUtime=0 cores=0,2,4,6
/proc/6832/task/6838/stat : 6838 (java) S 6829 6832 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414300805 10917818368 16048 33554432000 4194304 4196468 140720757279184 140069896104720 140069973198549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6839] ppid=6829 vsize=10661932 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/6832/task/6839/stat : 6839 (java) S 6829 6832 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414300806 10917818368 16048 33554432000 4194304 4196468 140720757279184 140069464643952 140069973199490 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6840] ppid=6829 vsize=10661932 memory=1540 CPUtime=0 cores=0,2,4,6
/proc/6832/task/6840/stat : 6840 (java) S 6829 6832 6511 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414300807 10917818368 16048 33554432000 4194304 4196468 140720757279184 140069463589920 140069973198549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6841] ppid=6829 vsize=10661932 memory=728 CPUtime=0 cores=0,2,4,6
/proc/6832/task/6841/stat : 6841 (java) S 6829 6832 6511 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414300807 10917818368 16048 33554432000 4194304 4196468 140720757279184 140069462537072 140069973198549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6842] ppid=6829 vsize=10661932 memory=4000 CPUtime=0 cores=0,2,4,6
/proc/6832/task/6842/stat : 6842 (java) S 6829 6832 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414300809 10917818368 16048 33554432000 4194304 4196468 140720757279184 140069461485392 140069973206939 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6843] ppid=6829 vsize=10661932 memory=7236533984234661184 CPUtime=0.12 cores=0,2,4,6
/proc/6832/task/6843/stat : 6843 (java) R 6829 6832 6511 0 -1 4202560 1083 0 0 0 12 0 0 0 20 0 15 0 414300809 10917818368 16048 33554432000 4194304 4196468 140720757279184 140069460433776 140069956743596 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6844] ppid=6829 vsize=10661932 memory=7380106142448642414 CPUtime=0.09 cores=0,2,4,6
/proc/6832/task/6844/stat : 6844 (java) S 6829 6832 6511 0 -1 1077944384 681 0 0 0 9 0 0 0 20 0 15 0 414300809 10917818368 16048 33554432000 4194304 4196468 140720757279184 140069459380976 140069973199490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6845] ppid=6829 vsize=10661932 memory=5859271421084456296 CPUtime=0.18 cores=0,2,4,6
/proc/6832/task/6845/stat : 6845 (java) S 6829 6832 6511 0 -1 1077944384 1110 0 0 0 18 0 0 0 20 0 15 0 414300809 10917818368 16048 33554432000 4194304 4196468 140720757279184 140069458328176 140069973199490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6846] ppid=6829 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6832/task/6846/stat : 6846 (java) S 6829 6832 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414300809 10917818368 16048 33554432000 4194304 4196468 140720757279184 140069457275616 140069973198549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6847] ppid=6829 vsize=10661932 memory=31396 CPUtime=0 cores=0,2,4,6
/proc/6832/task/6847/stat : 6847 (java) S 6829 6832 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414300810 10917818368 16048 33554432000 4194304 4196468 140720757279184 140069456222896 140069973199490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 64192 KiB

[startup+1.50081 s]
/proc/loadavg: 1.84 0.61 0.25 3/233 6847
/proc/meminfo: memFree=31291224/32770624 swapFree=67004008/67108860
[pid=6832] ppid=6829 vsize=10663980 memory=76344 CPUtime=2 cores=0,2,4,6
/proc/6832/stat : 6832 (java) S 6829 6832 6511 0 -1 1077944320 17951 0 0 0 194 6 0 0 20 0 15 0 414300804 10919915520 19086 33554432000 4194304 4196468 140720757279184 140720757261728 140069973188343 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
/proc/6832/statm: 2665995 19086 3097 1 0 2628492 0
[pid=6832/tid=6834] ppid=6829 vsize=10663980 memory=0 CPUtime=1.48 cores=0,2,4,6
/proc/6832/task/6834/stat : 6834 (java) R 6829 6832 6511 0 -1 4202560 12404 0 0 0 144 4 0 0 20 0 15 0 414300804 10919915520 19086 33554432000 4194304 4196468 140720757279184 140069977414224 140069957268830 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6835] ppid=6829 vsize=10663980 memory=8390361644446492005 CPUtime=0 cores=0,2,4,6
/proc/6832/task/6835/stat : 6835 (java) S 6829 6832 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414300805 10919915520 19086 33554432000 4194304 4196468 140720757279184 140069899263120 140069973198549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6836] ppid=6829 vsize=10663980 memory=-6352177149651680470 CPUtime=0 cores=0,2,4,6
/proc/6832/task/6836/stat : 6836 (java) S 6829 6832 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414300805 10919915520 19086 33554432000 4194304 4196468 140720757279184 140069898210320 140069973198549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6837] ppid=6829 vsize=10663980 memory=8514701219931451533 CPUtime=0 cores=0,2,4,6
/proc/6832/task/6837/stat : 6837 (java) S 6829 6832 6511 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414300805 10919915520 19086 33554432000 4194304 4196468 140720757279184 140069897157520 140069973198549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6838] ppid=6829 vsize=10663980 memory=7005738693937936738 CPUtime=0 cores=0,2,4,6
/proc/6832/task/6838/stat : 6838 (java) S 6829 6832 6511 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414300805 10919915520 19086 33554432000 4194304 4196468 140720757279184 140069896104720 140069973198549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6839] ppid=6829 vsize=10663980 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/6832/task/6839/stat : 6839 (java) S 6829 6832 6511 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 414300806 10919915520 19086 33554432000 4194304 4196468 140720757279184 140069464643952 140069973199490 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0

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

/proc/6832/task/6838/stat : 6838 (java) S 6829 6832 6511 0 -1 1077944384 3283 0 0 0 17 2 0 0 20 0 16 0 414300805 11006283776 68799 33554432000 4194304 4196468 140720757279184 140069896104720 140069973198549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6839] ppid=6829 vsize=10748324 memory=275196 CPUtime=0.07 cores=0,2,4,6
/proc/6832/task/6839/stat : 6839 (java) S 6829 6832 6511 0 -1 1077944384 6230 0 0 0 5 2 0 0 20 0 16 0 414300806 11006283776 68799 33554432000 4194304 4196468 140720757279184 140069464643952 140069973199490 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6840] ppid=6829 vsize=10748324 memory=275196 CPUtime=0 cores=0,2,4,6
/proc/6832/task/6840/stat : 6840 (java) S 6829 6832 6511 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414300807 11006283776 68799 33554432000 4194304 4196468 140720757279184 140069463589984 140069973198549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6841] ppid=6829 vsize=10748324 memory=275196 CPUtime=0 cores=0,2,4,6
/proc/6832/task/6841/stat : 6841 (java) S 6829 6832 6511 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414300807 11006283776 68799 33554432000 4194304 4196468 140720757279184 140069462537088 140069973198549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6842] ppid=6829 vsize=10748324 memory=4000 CPUtime=0 cores=0,2,4,6
/proc/6832/task/6842/stat : 6842 (java) S 6829 6832 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414300809 11006283776 68799 33554432000 4194304 4196468 140720757279184 140069461485392 140069973206939 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6843] ppid=6829 vsize=10748324 memory=2832 CPUtime=1.24 cores=0,2,4,6
/proc/6832/task/6843/stat : 6843 (java) S 6829 6832 6511 0 -1 1077944384 5049 0 0 0 123 1 0 0 20 0 16 0 414300809 11006283776 68799 33554432000 4194304 4196468 140720757279184 140069460433776 140069973199490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6844] ppid=6829 vsize=10748324 memory=275196 CPUtime=1.34 cores=0,2,4,6
/proc/6832/task/6844/stat : 6844 (java) S 6829 6832 6511 0 -1 1077944384 5439 0 0 0 133 1 0 0 20 0 16 0 414300809 11006283776 68799 33554432000 4194304 4196468 140720757279184 140069459380976 140069973199490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6845] ppid=6829 vsize=10748324 memory=275196 CPUtime=0.78 cores=0,2,4,6
/proc/6832/task/6845/stat : 6845 (java) S 6829 6832 6511 0 -1 1077944384 5911 0 0 0 77 1 0 0 20 0 16 0 414300809 11006283776 68799 33554432000 4194304 4196468 140720757279184 140069458328176 140069973199490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6846] ppid=6829 vsize=10748324 memory=275196 CPUtime=0 cores=0,2,4,6
/proc/6832/task/6846/stat : 6846 (java) S 6829 6832 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414300809 11006283776 68799 33554432000 4194304 4196468 140720757279184 140069457275616 140069973198549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6847] ppid=6829 vsize=10748324 memory=275196 CPUtime=0.63 cores=0,2,4,6
/proc/6832/task/6847/stat : 6847 (java) S 6829 6832 6511 0 -1 1077944384 1567 0 0 0 27 36 0 0 20 0 16 0 414300810 11006283776 68799 33554432000 4194304 4196468 140720757279184 140069456222896 140069973199490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6848] ppid=6829 vsize=10748324 memory=275196 CPUtime=2440.17 cores=0,2,4,6
/proc/6832/task/6848/stat : 6848 (java) R 6829 6832 6511 0 -1 4202560 18123 0 0 0 244011 6 0 0 20 0 16 0 414300991 11006283776 68799 33554432000 4194304 4196468 140720757279184 140069439560944 140069578658330 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
Current children cumulated CPU time: 2446.96 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 275196 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 1.99 1.86 3/233 7163
/proc/meminfo: memFree=30907008/32770624 swapFree=67004016/67108860
[pid=6832] ppid=6829 vsize=10748324 memory=268012 CPUtime=2506.98 cores=0,2,4,6
/proc/6832/stat : 6832 (java) S 6829 6832 6511 0 -1 1077944320 74608 0 0 0 250646 52 0 0 20 0 16 0 414300804 11006283776 67003 33554432000 4194304 4196468 140720757279184 140720757261728 140069973188343 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
/proc/6832/statm: 2687081 67003 3376 1 0 2647217 0
[pid=6832/tid=6834] ppid=6829 vsize=10748324 memory=268012 CPUtime=1.86 cores=0,2,4,6
/proc/6832/task/6834/stat : 6834 (java) S 6829 6832 6511 0 -1 1077944384 14548 0 0 0 180 6 0 0 20 0 16 0 414300804 11006283776 67003 33554432000 4194304 4196468 140720757279184 140069977431216 140069973198549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6835] ppid=6829 vsize=10748324 memory=268012 CPUtime=0.19 cores=0,2,4,6
/proc/6832/task/6835/stat : 6835 (java) S 6829 6832 6511 0 -1 1077944384 5750 0 0 0 17 2 0 0 20 0 16 0 414300805 11006283776 67003 33554432000 4194304 4196468 140720757279184 140069899263120 140069973198549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6836] ppid=6829 vsize=10748324 memory=3280 CPUtime=0.2 cores=0,2,4,6
/proc/6832/task/6836/stat : 6836 (java) S 6829 6832 6511 0 -1 1077944384 3154 0 0 0 18 2 0 0 20 0 16 0 414300805 11006283776 67003 33554432000 4194304 4196468 140720757279184 140069898210320 140069973198549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6837] ppid=6829 vsize=10748324 memory=268012 CPUtime=0.2 cores=0,2,4,6
/proc/6832/task/6837/stat : 6837 (java) S 6829 6832 6511 0 -1 1077944384 3259 0 0 0 18 2 0 0 20 0 16 0 414300805 11006283776 67003 33554432000 4194304 4196468 140720757279184 140069897157520 140069973198549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6838] ppid=6829 vsize=10748324 memory=3280 CPUtime=0.19 cores=0,2,4,6
/proc/6832/task/6838/stat : 6838 (java) S 6829 6832 6511 0 -1 1077944384 3592 0 0 0 17 2 0 0 20 0 16 0 414300805 11006283776 67003 33554432000 4194304 4196468 140720757279184 140069896104720 140069973198549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6839] ppid=6829 vsize=10748324 memory=8252 CPUtime=0.07 cores=0,2,4,6
/proc/6832/task/6839/stat : 6839 (java) S 6829 6832 6511 0 -1 1077944384 6411 0 0 0 5 2 0 0 20 0 16 0 414300806 11006283776 67003 33554432000 4194304 4196468 140720757279184 140069464643952 140069973199490 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6840] ppid=6829 vsize=10748324 memory=5920 CPUtime=0 cores=0,2,4,6
/proc/6832/task/6840/stat : 6840 (java) S 6829 6832 6511 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414300807 11006283776 67003 33554432000 4194304 4196468 140720757279184 140069463589984 140069973198549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6841] ppid=6829 vsize=10748324 memory=268012 CPUtime=0 cores=0,2,4,6
/proc/6832/task/6841/stat : 6841 (java) S 6829 6832 6511 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414300807 11006283776 67003 33554432000 4194304 4196468 140720757279184 140069462537088 140069973198549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6842] ppid=6829 vsize=10748324 memory=496 CPUtime=0 cores=0,2,4,6
/proc/6832/task/6842/stat : 6842 (java) S 6829 6832 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414300809 11006283776 67003 33554432000 4194304 4196468 140720757279184 140069461485392 140069973206939 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6843] ppid=6829 vsize=10748324 memory=2832 CPUtime=1.24 cores=0,2,4,6
/proc/6832/task/6843/stat : 6843 (java) S 6829 6832 6511 0 -1 1077944384 5052 0 0 0 123 1 0 0 20 0 16 0 414300809 11006283776 67003 33554432000 4194304 4196468 140720757279184 140069460433776 140069973199490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6844] ppid=6829 vsize=10748324 memory=1212 CPUtime=1.34 cores=0,2,4,6
/proc/6832/task/6844/stat : 6844 (java) S 6829 6832 6511 0 -1 1077944384 5441 0 0 0 133 1 0 0 20 0 16 0 414300809 11006283776 67003 33554432000 4194304 4196468 140720757279184 140069459380976 140069973199490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6845] ppid=6829 vsize=10748324 memory=268012 CPUtime=0.78 cores=0,2,4,6
/proc/6832/task/6845/stat : 6845 (java) S 6829 6832 6511 0 -1 1077944384 5987 0 0 0 77 1 0 0 20 0 16 0 414300809 11006283776 67003 33554432000 4194304 4196468 140720757279184 140069458328176 140069973199490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6846] ppid=6829 vsize=10748324 memory=268012 CPUtime=0 cores=0,2,4,6
/proc/6832/task/6846/stat : 6846 (java) S 6829 6832 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414300809 11006283776 67003 33554432000 4194304 4196468 140720757279184 140069457275616 140069973198549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6847] ppid=6829 vsize=10748324 memory=39120 CPUtime=0.65 cores=0,2,4,6
/proc/6832/task/6847/stat : 6847 (java) S 6829 6832 6511 0 -1 1077944384 1600 0 0 0 28 37 0 0 20 0 16 0 414300810 11006283776 67003 33554432000 4194304 4196468 140720757279184 140069456222896 140069973199490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6848] ppid=6829 vsize=10748324 memory=988 CPUtime=2500.16 cores=0,2,4,6
/proc/6832/task/6848/stat : 6848 (java) R 6829 6832 6511 0 -1 4202560 18418 0 0 0 250010 6 0 0 20 0 16 0 414300991 11006283776 67003 33554432000 4194304 4196468 140720757279184 140069439560912 140069578677260 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
Current children cumulated CPU time: 2506.98 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 268012 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2515.3 s]
/proc/loadavg: 1.92 1.97 1.85 3/233 7167
/proc/meminfo: memFree=30909392/32770624 swapFree=67004016/67108860
[pid=6832] ppid=6829 vsize=10748324 memory=264936 CPUtime=2520 cores=0,2,4,6
/proc/6832/stat : 6832 (java) S 6829 6832 6511 0 -1 1077944320 75165 0 0 0 251947 53 0 0 20 0 16 0 414300804 11006283776 66234 33554432000 4194304 4196468 140720757279184 140720757261728 140069973188343 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
/proc/6832/statm: 2687081 66234 3376 1 0 2647217 0
[pid=6832/tid=6834] ppid=6829 vsize=10748324 memory=264936 CPUtime=1.86 cores=0,2,4,6
/proc/6832/task/6834/stat : 6834 (java) S 6829 6832 6511 0 -1 1077944384 14548 0 0 0 180 6 0 0 20 0 16 0 414300804 11006283776 66234 33554432000 4194304 4196468 140720757279184 140069977431216 140069973198549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6835] ppid=6829 vsize=10748324 memory=3280 CPUtime=0.19 cores=0,2,4,6
/proc/6832/task/6835/stat : 6835 (java) S 6829 6832 6511 0 -1 1077944384 5800 0 0 0 17 2 0 0 20 0 16 0 414300805 11006283776 66234 33554432000 4194304 4196468 140720757279184 140069899263120 140069973198549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6836] ppid=6829 vsize=10748324 memory=1440 CPUtime=0.2 cores=0,2,4,6
/proc/6832/task/6836/stat : 6836 (java) S 6829 6832 6511 0 -1 1077944384 3156 0 0 0 18 2 0 0 20 0 16 0 414300805 11006283776 66234 33554432000 4194304 4196468 140720757279184 140069898210320 140069973198549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6837] ppid=6829 vsize=10748324 memory=264936 CPUtime=0.2 cores=0,2,4,6
/proc/6832/task/6837/stat : 6837 (java) S 6829 6832 6511 0 -1 1077944384 3548 0 0 0 18 2 0 0 20 0 16 0 414300805 11006283776 66234 33554432000 4194304 4196468 140720757279184 140069897157520 140069973198549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6838] ppid=6829 vsize=10748324 memory=3280 CPUtime=0.2 cores=0,2,4,6
/proc/6832/task/6838/stat : 6838 (java) S 6829 6832 6511 0 -1 1077944384 3596 0 0 0 18 2 0 0 20 0 16 0 414300805 11006283776 66234 33554432000 4194304 4196468 140720757279184 140069896104720 140069973198549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6839] ppid=6829 vsize=10748324 memory=268012 CPUtime=0.07 cores=0,2,4,6
/proc/6832/task/6839/stat : 6839 (java) S 6829 6832 6511 0 -1 1077944384 6589 0 0 0 5 2 0 0 20 0 16 0 414300806 11006283776 66234 33554432000 4194304 4196468 140720757279184 140069464643952 140069973199490 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6840] ppid=6829 vsize=10748324 memory=2628 CPUtime=0 cores=0,2,4,6
/proc/6832/task/6840/stat : 6840 (java) S 6829 6832 6511 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414300807 11006283776 66234 33554432000 4194304 4196468 140720757279184 140069463589984 140069973198549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6841] ppid=6829 vsize=10748324 memory=268012 CPUtime=0 cores=0,2,4,6
/proc/6832/task/6841/stat : 6841 (java) S 6829 6832 6511 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414300807 11006283776 66234 33554432000 4194304 4196468 140720757279184 140069462537088 140069973198549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6842] ppid=6829 vsize=10748324 memory=268012 CPUtime=0 cores=0,2,4,6
/proc/6832/task/6842/stat : 6842 (java) S 6829 6832 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414300809 11006283776 66234 33554432000 4194304 4196468 140720757279184 140069461485392 140069973206939 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6843] ppid=6829 vsize=10748324 memory=264936 CPUtime=1.24 cores=0,2,4,6
/proc/6832/task/6843/stat : 6843 (java) S 6829 6832 6511 0 -1 1077944384 5052 0 0 0 123 1 0 0 20 0 16 0 414300809 11006283776 66234 33554432000 4194304 4196468 140720757279184 140069460433776 140069973199490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6844] ppid=6829 vsize=10748324 memory=264936 CPUtime=1.34 cores=0,2,4,6
/proc/6832/task/6844/stat : 6844 (java) S 6829 6832 6511 0 -1 1077944384 5441 0 0 0 133 1 0 0 20 0 16 0 414300809 11006283776 66234 33554432000 4194304 4196468 140720757279184 140069459380976 140069973199490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6845] ppid=6829 vsize=10748324 memory=264936 CPUtime=0.78 cores=0,2,4,6
/proc/6832/task/6845/stat : 6845 (java) S 6829 6832 6511 0 -1 1077944384 5987 0 0 0 77 1 0 0 20 0 16 0 414300809 11006283776 66234 33554432000 4194304 4196468 140720757279184 140069458328176 140069973199490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6846] ppid=6829 vsize=10748324 memory=264936 CPUtime=0 cores=0,2,4,6
/proc/6832/task/6846/stat : 6846 (java) S 6829 6832 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414300809 11006283776 66234 33554432000 4194304 4196468 140720757279184 140069457275616 140069973198549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6847] ppid=6829 vsize=10748324 memory=8112282956445269571 CPUtime=0.65 cores=0,2,4,6
/proc/6832/task/6847/stat : 6847 (java) S 6829 6832 6511 0 -1 1077944384 1602 0 0 0 28 37 0 0 20 0 16 0 414300810 11006283776 66234 33554432000 4194304 4196468 140720757279184 140069456222896 140069973199490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6848] ppid=6829 vsize=10748324 memory=268012 CPUtime=2513.16 cores=0,2,4,6
/proc/6832/task/6848/stat : 6848 (java) R 6829 6832 6511 0 -1 4202560 18450 0 0 0 251310 6 0 0 20 0 16 0 414300991 11006283776 66234 33554432000 4194304 4196468 140720757279184 140069439560912 140069578677204 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 264936 KiB

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

[startup+2515.31 s]
# the end of solver process 6832 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.48 s, system=0.534082 s

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

[startup+2515.3 s]
/proc/loadavg: 1.92 1.97 1.85 3/233 7167
/proc/meminfo: memFree=30909392/32770624 swapFree=67004016/67108860
[pid=6832] ppid=6829 vsize=10748324 memory=264936 CPUtime=2520 cores=0,2,4,6
/proc/6832/stat : 6832 (java) S 6829 6832 6511 0 -1 1077944320 75165 0 0 0 251947 53 0 0 20 0 16 0 414300804 11006283776 66234 33554432000 4194304 4196468 140720757279184 140720757261728 140069973188343 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
/proc/6832/statm: 2687081 66234 3376 1 0 2647217 0
[pid=6832/tid=6834] ppid=6829 vsize=10748324 memory=264936 CPUtime=1.86 cores=0,2,4,6
/proc/6832/task/6834/stat : 6834 (java) S 6829 6832 6511 0 -1 1077944384 14548 0 0 0 180 6 0 0 20 0 16 0 414300804 11006283776 66234 33554432000 4194304 4196468 140720757279184 140069977431216 140069973198549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6835] ppid=6829 vsize=10748324 memory=3280 CPUtime=0.19 cores=0,2,4,6
/proc/6832/task/6835/stat : 6835 (java) S 6829 6832 6511 0 -1 1077944384 5800 0 0 0 17 2 0 0 20 0 16 0 414300805 11006283776 66234 33554432000 4194304 4196468 140720757279184 140069899263120 140069973198549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6836] ppid=6829 vsize=10748324 memory=1440 CPUtime=0.2 cores=0,2,4,6
/proc/6832/task/6836/stat : 6836 (java) S 6829 6832 6511 0 -1 1077944384 3156 0 0 0 18 2 0 0 20 0 16 0 414300805 11006283776 66234 33554432000 4194304 4196468 140720757279184 140069898210320 140069973198549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6837] ppid=6829 vsize=10748324 memory=264936 CPUtime=0.2 cores=0,2,4,6
/proc/6832/task/6837/stat : 6837 (java) S 6829 6832 6511 0 -1 1077944384 3548 0 0 0 18 2 0 0 20 0 16 0 414300805 11006283776 66234 33554432000 4194304 4196468 140720757279184 140069897157520 140069973198549 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6838] ppid=6829 vsize=10748324 memory=3280 CPUtime=0.2 cores=0,2,4,6
/proc/6832/task/6838/stat : 6838 (java) S 6829 6832 6511 0 -1 1077944384 3596 0 0 0 18 2 0 0 20 0 16 0 414300805 11006283776 66234 33554432000 4194304 4196468 140720757279184 140069896104720 140069973198549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6839] ppid=6829 vsize=10748324 memory=268012 CPUtime=0.07 cores=0,2,4,6
/proc/6832/task/6839/stat : 6839 (java) S 6829 6832 6511 0 -1 1077944384 6589 0 0 0 5 2 0 0 20 0 16 0 414300806 11006283776 66234 33554432000 4194304 4196468 140720757279184 140069464643952 140069973199490 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6840] ppid=6829 vsize=10748324 memory=2628 CPUtime=0 cores=0,2,4,6
/proc/6832/task/6840/stat : 6840 (java) S 6829 6832 6511 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414300807 11006283776 66234 33554432000 4194304 4196468 140720757279184 140069463589984 140069973198549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6841] ppid=6829 vsize=10748324 memory=268012 CPUtime=0 cores=0,2,4,6
/proc/6832/task/6841/stat : 6841 (java) S 6829 6832 6511 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414300807 11006283776 66234 33554432000 4194304 4196468 140720757279184 140069462537088 140069973198549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6842] ppid=6829 vsize=10748324 memory=268012 CPUtime=0 cores=0,2,4,6
/proc/6832/task/6842/stat : 6842 (java) S 6829 6832 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414300809 11006283776 66234 33554432000 4194304 4196468 140720757279184 140069461485392 140069973206939 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6843] ppid=6829 vsize=10748324 memory=264936 CPUtime=1.24 cores=0,2,4,6
/proc/6832/task/6843/stat : 6843 (java) S 6829 6832 6511 0 -1 1077944384 5052 0 0 0 123 1 0 0 20 0 16 0 414300809 11006283776 66234 33554432000 4194304 4196468 140720757279184 140069460433776 140069973199490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6844] ppid=6829 vsize=10748324 memory=264936 CPUtime=1.34 cores=0,2,4,6
/proc/6832/task/6844/stat : 6844 (java) S 6829 6832 6511 0 -1 1077944384 5441 0 0 0 133 1 0 0 20 0 16 0 414300809 11006283776 66234 33554432000 4194304 4196468 140720757279184 140069459380976 140069973199490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6845] ppid=6829 vsize=10748324 memory=264936 CPUtime=0.78 cores=0,2,4,6
/proc/6832/task/6845/stat : 6845 (java) S 6829 6832 6511 0 -1 1077944384 5987 0 0 0 77 1 0 0 20 0 16 0 414300809 11006283776 66234 33554432000 4194304 4196468 140720757279184 140069458328176 140069973199490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6846] ppid=6829 vsize=10748324 memory=264936 CPUtime=0 cores=0,2,4,6
/proc/6832/task/6846/stat : 6846 (java) S 6829 6832 6511 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414300809 11006283776 66234 33554432000 4194304 4196468 140720757279184 140069457275616 140069973198549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6847] ppid=6829 vsize=10748324 memory=8112282956445269571 CPUtime=0.65 cores=0,2,4,6
/proc/6832/task/6847/stat : 6847 (java) S 6829 6832 6511 0 -1 1077944384 1602 0 0 0 28 37 0 0 20 0 16 0 414300810 11006283776 66234 33554432000 4194304 4196468 140720757279184 140069456222896 140069973199490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
[pid=6832/tid=6848] ppid=6829 vsize=10748324 memory=268012 CPUtime=2513.16 cores=0,2,4,6
/proc/6832/task/6848/stat : 6848 (java) R 6829 6832 6511 0 -1 4202560 18450 0 0 0 251310 6 0 0 20 0 16 0 414300991 11006283776 66234 33554432000 4194304 4196468 140720757279184 140069439560912 140069578677204 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21762048 140720757281803 140720757281906 140720757281906 140720757284815 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 264936 KiB

Child status: 143
Real time (s): 2515.31
CPU time (s): 2520.02
CPU user time (s): 2519.48
CPU system time (s): 0.534082
CPU usage (%): 100.187
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 293164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.48
system time used= 0.534082
maximum resident set size= 293164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75457
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58227
involuntary context switches= 2421


# summary of solver processes directly reported to runsolver:
#   pid: 6832
#   total CPU time (s): 2520.02
#   total CPU user time (s): 2519.48
#   total CPU system time (s): 0.534082

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.2071 second user time and 22.7362 second system time

The end

Launcher Data 

Begin job on node133 at 2019-09-13 15:16:12
IDJOB=4390736
IDBENCH=124057
IDSOLVER=2832
FILE ID=node133/4390736-1568380612
RUNJOBID= node133-1568380476-6542
PBS_JOBID= 21701835
Free space on /tmp= 55104 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/Bibd/Bibd-sum-open/Bibd-sum-40-052-13-10-03.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4390736-1568380612/watcher-4390736-1568380612 -o /tmp/evaluation-result-4390736-1568380612/solver-4390736-1568380612 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568380476-6542 --watchdog 2580  java -cp AbsCon19-06.jar AbsCon HOME/instance-4390736-1568380612.xml -cm

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 2a84a2defac446a2567920a0781991b9
RANDOM SEED=1006868870

node133.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.18
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.18
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.18
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.18
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31346168 kB
MemAvailable:   31646224 kB
Buffers:          158092 kB
Cached:           422200 kB
SwapCached:         3464 kB
Active:           557636 kB
Inactive:         279480 kB
Active(anon):     280472 kB
Inactive(anon):    16032 kB
Active(file):     277164 kB
Inactive(file):   263448 kB
Unevictable:      111228 kB
Mlocked:          111228 kB
SwapTotal:      67108860 kB
SwapFree:       67004008 kB
Dirty:              8952 kB
Writeback:             0 kB
AnonPages:        396740 kB
Mapped:            56288 kB
Shmem:             31388 kB
Slab:             179528 kB
SReclaimable:     150556 kB
SUnreclaim:        28972 kB
KernelStack:        4128 kB
PageTables:         7124 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1285632 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    290816 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 55096 MiB
End job on node133 at 2019-09-13 15:58:08