Trace number 4390535

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 2514.81

General information on the benchmark

NameCarSequencing/CarSequencing-m1-jcr/
CarSequencing-85-05.xml
MD5SUM5a3f618f89c6aa3a803c36caec9b03ca
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark78.4996
Satisfiable
(Un)Satisfiability was proved
Number of variables1200
Number of constraints1453
Number of domains2
Minimum domain size2
Maximum domain size26
Distribution of domain sizes[{"size":2,"count":1000},{"size":26,"count":200}]
Minimum variable degree2
Maximum variable degree89
Distribution of variable degrees[{"degree":2,"count":200},{"degree":3,"count":5},{"degree":4,"count":5},{"degree":5,"count":6},{"degree":6,"count":10},{"degree":7,"count":10},{"degree":8,"count":18},{"degree":9,"count":18},{"degree":10,"count":18},{"degree":11,"count":18},{"degree":12,"count":18},{"degree":13,"count":18},{"degree":14,"count":18},{"degree":15,"count":18},{"degree":16,"count":18},{"degree":17,"count":18},{"degree":18,"count":18},{"degree":19,"count":18},{"degree":20,"count":18},{"degree":21,"count":18},{"degree":22,"count":18},{"degree":23,"count":18},{"degree":24,"count":18},{"degree":25,"count":18},{"degree":26,"count":18},"...",{"degree":65,"count":2}, {"degree":66,"count":2}, {"degree":67,"count":2}, {"degree":68,"count":2}, {"degree":69,"count":2}, {"degree":70,"count":2}, {"degree":71,"count":2}, {"degree":72,"count":2}, {"degree":73,"count":2}, {"degree":74,"count":2}, {"degree":75,"count":2}, {"degree":76,"count":2}, {"degree":77,"count":2}, {"degree":78,"count":2}, {"degree":79,"count":2}, {"degree":80,"count":2}, {"degree":81,"count":2}, {"degree":82,"count":2}, {"degree":83,"count":2}, {"degree":84,"count":2}, {"degree":85,"count":2}, {"degree":86,"count":2}, {"degree":87,"count":2}, {"degree":88,"count":3}, {"degree":89,"count":29}]
Minimum constraint arity2
Maximum constraint arity200
Distribution of constraint arities[{"arity":2,"count":199},{"arity":3,"count":396},{"arity":5,"count":392},{"arity":6,"count":200},{"arity":29,"count":1},{"arity":30,"count":1},{"arity":32,"count":2},{"arity":34,"count":1},{"arity":35,"count":1},{"arity":36,"count":1},{"arity":38,"count":3},{"arity":40,"count":3},{"arity":41,"count":2},{"arity":42,"count":1},{"arity":44,"count":3},{"arity":45,"count":2},{"arity":46,"count":1},{"arity":47,"count":2},{"arity":48,"count":1},{"arity":50,"count":5},{"arity":52,"count":1},{"arity":53,"count":2},{"arity":54,"count":1},{"arity":55,"count":2},{"arity":56,"count":3},"...",{"arity":167,"count":2}, {"arity":168,"count":1}, {"arity":170,"count":5}, {"arity":172,"count":1}, {"arity":173,"count":2}, {"arity":174,"count":1}, {"arity":175,"count":2}, {"arity":176,"count":3}, {"arity":178,"count":1}, {"arity":179,"count":2}, {"arity":180,"count":3}, {"arity":182,"count":3}, {"arity":184,"count":1}, {"arity":185,"count":4}, {"arity":186,"count":1}, {"arity":188,"count":3}, {"arity":190,"count":3}, {"arity":191,"count":2}, {"arity":192,"count":1}, {"arity":194,"count":3}, {"arity":195,"count":2}, {"arity":196,"count":1}, {"arity":197,"count":2}, {"arity":198,"count":1}, {"arity":200,"count":6}]
Number of extensional constraints200
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":200},{"type":"sum","count":1252},{"type":"cardinality","count":1}]
Optimization problemNO
Type of objective

Solver Data 

2.65/2.10	
2.65/2.10	AbsCon 2 
2.89/2.12	
3.89/2.44	  Instance
3.89/2.44	    name=instance-4390535-1568383117, framework=CSP
3.89/2.44	
3.89/2.44	  Loading variables...
4.25/2.51	  Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50cd7a55
4.25/2.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12e2ba69
4.25/2.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c7949b7
4.25/2.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cd81152
4.25/2.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ee79480
4.25/2.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f774835
4.25/2.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6fb7289b
4.25/2.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@553e316f
4.25/2.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29d6d4e6
4.25/2.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7258ba7d
4.25/2.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c67c366
4.25/2.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@276a6891
4.25/2.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4cd439c3
4.25/2.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d603bb8
4.25/2.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bea52a1
4.25/2.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7988f6dc
4.25/2.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2dc2c67f
4.25/2.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ba2cfef
4.25/2.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@367eb2a
4.25/2.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c1b725d
4.25/2.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51fe98dd
4.25/2.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f63e246
4.25/2.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@570848ae
4.25/2.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40778eb5
4.25/2.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f928133
4.25/2.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6252c96b
4.25/2.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@346a200d
4.25/2.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39a3fce8
4.25/2.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@260272d5
4.25/2.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3efd0b5c
4.25/2.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22bf5ace
4.25/2.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13363db5
4.25/2.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ccfcb1c
4.25/2.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70c22961
4.25/2.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@224af686
4.25/2.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a7841a6
4.25/2.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35d31646
4.25/2.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1176bfc2
4.25/2.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3dd34e4c
4.25/2.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5df1330c
4.25/2.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12d99427
4.25/2.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@577270db
4.25/2.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44a9607c
4.25/2.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@797889fc
4.25/2.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11881a4b
4.25/2.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@572070ee
4.25/2.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71ea734e
4.25/2.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e91b3bc
4.25/2.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1773e9eb
4.25/2.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e3cdaad
4.25/2.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f701dc6
4.63/2.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b43431
4.63/2.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a2114ee
4.63/2.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@182465cf
4.63/2.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7aed6520
4.63/2.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@481ee321
4.63/2.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4df3f854
4.63/2.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ebca45c
4.63/2.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42030874
4.63/2.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ae42fc6
4.63/2.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7316fd50
4.63/2.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4657f242
4.63/2.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4baf8b82
4.63/2.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c4af22c
4.63/2.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cf42274
4.63/2.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4448c7d4
4.63/2.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5033281a
4.63/2.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59e8438a
4.63/2.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77deaf40
4.63/2.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55de00a7
4.63/2.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48182499
4.63/2.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ce1b7e0
4.63/2.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e60d1fc
4.63/2.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4cd9a6ba
4.63/2.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b5fba61
4.63/2.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35d91583
4.63/2.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@130d7132
4.63/2.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e6fa029
4.63/2.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39416804
4.63/2.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@730482d
4.63/2.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1cb803b3
4.63/2.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@738897f7
4.63/2.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bf7eace
4.63/2.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c5a3dc6
4.63/2.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69c04ac2
4.63/2.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5efadd3c
4.63/2.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13a55186
4.63/2.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7361f725
4.63/2.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7685da73
4.63/2.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27c40ef0
4.63/2.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ce763e9
4.63/2.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@407b1426
4.63/2.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68380205
4.63/2.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e0690c0
4.63/2.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17513a6e
4.63/2.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18baf4b2
4.63/2.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@303c6109
4.63/2.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a0c2b71
4.63/2.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62871021
4.63/2.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e10c432
4.63/2.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45c48664
4.63/2.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5987995c
4.63/2.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@638f7d28
4.63/2.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@af6dff
4.63/2.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53e6b7c1
4.63/2.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@772ec02a
4.63/2.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d295ea9
4.63/2.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c94c2d7
4.63/2.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2dfb2c1f
4.63/2.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59610f12
4.63/2.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50ccf996
4.63/2.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d0f9635
4.63/2.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b41778
4.63/2.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16011ed7
4.63/2.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bc16162
4.63/2.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16e457f5
4.63/2.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53f04331
4.63/2.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74e750b
4.63/2.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@424ab5f9
4.63/2.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b7f1cf1
4.63/2.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bd3309e
4.63/2.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79051a6e
4.63/2.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a3c394a
4.63/2.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5115f9ea
4.63/2.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f2c6893
4.63/2.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1327114c
4.63/2.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64a0a7c2
4.63/2.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39ae1c06
4.63/2.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1591781
4.63/2.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c31766a
4.63/2.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47d850a
4.63/2.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@764cd22a
4.63/2.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58572c89
4.63/2.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@623bff3a
4.63/2.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66b4ee55
4.63/2.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c0cd53a
4.63/2.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f15e637
4.63/2.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2de17628
4.63/2.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@503545c2
4.63/2.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@573bb25f
4.63/2.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@347fe6e8
4.63/2.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@215d82ef
4.63/2.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51f6a9b9
4.63/2.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44f31475
4.63/2.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@104c8494
4.63/2.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60b2f6d8
4.63/2.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a551249
4.63/2.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4138461f
4.63/2.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57d9bcfd
4.63/2.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39e56f60
4.63/2.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47635613
4.63/2.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19b98ab4
4.63/2.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@202c43df
4.63/2.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5556e086
4.63/2.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7866aa5d
4.63/2.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63f07624
4.63/2.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25b758db
4.63/2.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4372898b
4.63/2.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4555607f
4.63/2.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d049dc3
4.63/2.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45d22908
4.63/2.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5da31af5
4.63/2.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@756f6a64
4.63/2.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@673038d2
4.63/2.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44671674
4.63/2.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f0d4826
4.63/2.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12d94232
4.63/2.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76374358
4.63/2.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49d88024
4.63/2.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@656cdacd
4.63/2.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d6256ff
4.63/2.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c1d1ba6
4.63/2.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@529bccf4
4.63/2.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19d51d43
4.63/2.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6574d238
4.63/2.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5642d5c0
4.63/2.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ed71c43
4.63/2.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1eac6938
4.63/2.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6adaad3c
4.63/2.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b4186f3
4.63/2.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@346bdb21
4.63/2.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b1e14f9
4.63/2.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53b2712d
4.63/2.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f446c12
4.63/2.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@360311e4
4.63/2.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e64d51f
4.63/2.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4761abe4
4.63/2.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d26da47
4.63/2.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b8a9cf
4.63/2.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@591f22ad
4.63/2.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36e338ce
4.63/2.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45887e9b
4.63/2.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f9a1705
4.63/2.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d20051a
4.63/2.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@213abe3b
4.63/2.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@719abe32
4.63/2.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66677e9a
4.63/2.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15038b51
4.63/2.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ccd49c8
4.63/2.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42c5fe7d
4.63/2.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e0f86bb
4.63/2.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65cd809b
4.63/2.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f2cdba5
4.63/2.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@bc87591
4.63/2.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5abb1f86
4.63/2.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@577a5a38
4.63/2.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e5ad2d2
4.63/2.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@628e9541
4.63/2.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b6b7e6c
4.63/2.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f5b3b67
4.63/2.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31461a4
4.63/2.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@428cc7
4.63/2.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@543e36d2
4.63/2.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6772a22
4.63/2.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c17d7d0
4.63/2.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ca6b944
4.63/2.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30fd827c
4.63/2.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4730c3a2
4.63/2.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a50ee05
4.63/2.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cb37377
4.63/2.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64bf2917
4.63/2.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@426b6a57
4.63/2.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@603b2462
4.63/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2804b4ae
4.63/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66690062
4.63/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@783aaa59
4.63/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48166a74
4.63/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@260aab7c
4.63/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b76722a
4.63/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e6cf824
4.63/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21f0d4d2
4.63/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42bd1ef8
4.63/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2435f274
4.63/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e1f66b6
4.63/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61566626
4.63/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f5d802d
4.63/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bdf4123
4.63/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6193798e
4.63/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1aafed52
4.63/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@446a8eba
4.63/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29b046d4
4.63/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79cf4035
4.63/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1982ad2d
4.63/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7301e574
4.63/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33dfacda
4.63/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@593e2d40
4.63/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c244cf3
4.63/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23e1c183
4.63/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53698f0e
4.63/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@181ea74e
4.63/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a95c5b9
4.63/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@166e3044
4.63/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7eda096f
4.63/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cd63b36
4.63/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d4ca350
4.63/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1526e85d
4.63/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44cb27e3
4.63/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d8d3015
4.63/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68fa19d
4.63/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@176515c8
4.63/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@449af4b0
4.63/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cb49bec
4.63/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61188299
4.63/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a6057ab
4.63/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b919877
4.63/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f64c27c
4.63/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a8d8a
4.63/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56cb191f
4.63/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7aa7741a
4.63/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41173fdb
4.63/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@121df60
4.63/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60951a4a
4.63/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@147ab524
4.63/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6472a7e5
4.63/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43b69ea3
4.63/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@734d3df4
4.63/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20bbf267
4.63/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3781ac91
4.63/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@669a0cf3
4.63/2.64	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3dafb44a
4.63/2.65	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d34a045
4.63/2.65	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39257c0c
4.63/2.65	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5403818d
4.63/2.65	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bd581d0
4.63/2.65	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@566ca610
4.63/2.65	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ab68b0e
4.63/2.65	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dab044c
4.63/2.65	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c6d8329
4.63/2.65	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74a50de8
4.63/2.65	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a16886d
4.63/2.65	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@830d0ed
4.63/2.65	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7df4ecb8
4.63/2.65	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15639ad9
4.63/2.65	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46b4e4e9
4.63/2.65	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ad9df
4.63/2.65	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79618fb
4.63/2.65	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69f1a876
4.63/2.65	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@196fb5eb
4.63/2.65	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@590d6109
4.63/2.65	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5acfe85b
4.63/2.65	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ba64960
4.63/2.65	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e9145ca
4.63/2.65	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@457587a5
4.63/2.65	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@253d6b7f
4.63/2.65	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3928afb7
4.63/2.65	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@207df731
4.63/2.65	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@465208cf
4.63/2.65	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4fb2317c
4.63/2.65	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@790296a0
4.63/2.65	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b412d8e
4.63/2.66	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e4cb91a
4.63/2.66	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4fba8842
4.63/2.66	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73960ff3
4.63/2.66	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6aeb66c0
4.63/2.66	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e43ce62
4.63/2.66	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ed7ea00
4.63/2.66	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e0391f8
4.63/2.66	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a0967aa
4.63/2.66	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d458115
4.63/2.66	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fe5a9a0
4.63/2.66	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bfd03d2
4.63/2.66	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52a34f05
4.63/2.66	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40f6cd00
4.63/2.66	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32f6d7b1
4.63/2.66	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72174863
4.63/2.66	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27c88bac
4.63/2.66	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@138e25a6
4.63/2.66	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f390db0
4.63/2.66	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47f77537
4.63/2.66	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17af7c13
4.63/2.66	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7811a5ff
4.63/2.66	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41a25a04
4.63/2.66	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29738328
4.63/2.66	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58d3c0a9
4.63/2.66	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76f799b3
4.63/2.66	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d456a8e
4.63/2.66	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@655ee89c
4.63/2.66	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21907197
4.63/2.66	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ad97efe
4.63/2.66	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@540b3eb8
4.63/2.66	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63d292c
4.63/2.66	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@528b4b87
4.63/2.66	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e7ce268
4.63/2.66	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bc79cae
4.63/2.66	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2de07f6a
4.63/2.66	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58fe90a0
4.63/2.66	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78dc72b
4.63/2.66	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e8cf205
4.63/2.66	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9b5f08a
4.63/2.66	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a0a748f
4.63/2.66	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a6a7f87
4.63/2.66	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d9d163d
4.63/2.66	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4725904a
4.63/2.66	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33b6af27
4.63/2.66	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4de4304
4.63/2.66	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f2c27c7
4.63/2.66	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@773b0d41
4.63/2.66	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b0245bc
4.63/2.66	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@486bc16d
4.63/2.66	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36524d32
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b34871e
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76e048d5
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5605a67b
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d242559
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5971518b
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f8d434a
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e33a886
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15246074
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31777644
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7016fc4b
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@643cfef0
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d6f5487
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ba00d85
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76d34f11
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30d9a607
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72997cc6
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66bc8275
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3154a72a
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6fb90b5a
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6763b8a4
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@967ab11
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51630790
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@574bba14
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c56457d
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20338039
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f9ff303
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@592a93ca
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@396e6379
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76198dab
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@695f39a2
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fe3dcc1
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bbd185e
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54223c3b
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5172add6
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46bc8b4d
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51385904
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25779f1a
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@213065a2
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@235cddd0
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c4965f5
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c8e180
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a6620ed
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20d1cd56
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a5e24fe
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f540707
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3508246e
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@358d7ecf
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b86e4d2
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ef3f181
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2135d653
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54fb9e6b
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e157f1b
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bc80484
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12d0f119
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1cf8b112
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ba5b13b
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e354b3d
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30f17053
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23550ab5
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37f7ea1a
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@156623a3
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a805e0c
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c53a476
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4883ba33
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@161e7dc8
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c7de9c7
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16929f09
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78926b06
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@335000dd
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67df6be7
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@202fb1ef
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@476f8956
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5976daaa
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2356904f
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15d07a10
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e7e3bc4
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@508fe995
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e6ea78d
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f480bd7
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2dba09a8
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@665b25f9
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@129fee1
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7380c279
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ba9d6c2
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3805e3fe
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@778f17b4
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@362e15c6
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75cdc9fc
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ad1e84b
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@695dfaf6
4.63/2.67	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a0b65fb
4.63/2.68	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c681736
4.63/2.68	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78ca7fe6
4.63/2.68	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18e9f850
4.63/2.68	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7592e069
4.63/2.68	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1288c73e
4.63/2.68	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a4564a0
4.63/2.68	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fd0b3f3
4.63/2.68	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43e31fd
4.63/2.68	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cb824af
4.63/2.68	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15936551
4.63/2.68	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44d7d1f8
4.63/2.68	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12643b52
4.63/2.68	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2989d380
4.63/2.68	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1db32a37
4.63/2.68	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75e5b66c
4.63/2.68	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e32c1c4
4.63/2.68	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f914abc
4.63/2.68	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@686f1fa1
4.63/2.68	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44cf4496
4.63/2.68	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a6c6f6d
4.63/2.68	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c2875b
4.63/2.68	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23b15d
4.63/2.68	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16212db8
4.63/2.68	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f7c7ca1
4.63/2.68	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@affece9
4.63/2.68	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30338a79
4.63/2.68	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32fd6b4e
4.63/2.68	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21a9efae
4.63/2.68	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3dfdf3e8
4.63/2.68	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70e0bc80
4.63/2.68	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c34d301
4.63/2.68	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60f52fd5
4.63/2.68	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34959680
4.63/2.68	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4cc8eff5
4.63/2.68	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5272da3
4.63/2.68	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c5b961c
4.63/2.68	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9120b92
4.63/2.68	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@651062db
4.63/2.68	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a207694
4.63/2.68	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3699bd33
4.63/2.68	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11324bfd
4.63/2.68	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7282cdc2
4.63/2.68	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7196cf13
4.63/2.68	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@509d8168
4.63/2.68	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25863167
4.63/2.68	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@97c902
4.63/2.68	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a1cf66c
4.63/2.68	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6459e7e6
4.63/2.68	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38a1b288
4.63/2.68	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e1a41c7
4.63/2.68	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@723e9336
4.63/2.68	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34198c1d
4.63/2.68	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@756c10a
4.63/2.68	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18045004
4.63/2.68	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@128e1b1f
4.63/2.68	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@627441f7
4.63/2.68	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d8b075a
4.63/2.68	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60835416
4.63/2.68	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27907223
4.63/2.68	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b072bad
4.63/2.69	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d7343e4
4.63/2.69	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5960f5f3
4.63/2.69	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56d9266e
4.63/2.69	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14d7a3ae
4.63/2.69	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bbe9061
4.63/2.69	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6822cb73
4.63/2.69	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a2044cc
4.63/2.69	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6bf89dcb
4.63/2.69	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31ea7a6e
4.63/2.69	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@766e7426
4.63/2.69	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f67124d
4.63/2.69	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3efe8e1b
4.63/2.69	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@538c4fe
4.63/2.69	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54c3d1a1
4.63/2.69	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27394d54
4.63/2.69	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b4de2a4
4.63/2.69	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69091a0a
4.63/2.69	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7593201
4.63/2.69	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f0eac4d
4.63/2.69	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5fc22f98
4.63/2.69	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3afb8685
4.63/2.69	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b85e78e
4.63/2.69	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@144870b6
4.63/2.69	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58fa827b
4.63/2.69	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75850807
4.63/2.69	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7819d8e4
4.63/2.69	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fcd3139
4.63/2.69	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ee466a2
4.63/2.69	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44edfdcd
4.63/2.69	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33aa0f4e
4.63/2.69	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30477bce
4.63/2.69	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2883a63a
4.63/2.69	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47ed962d
4.63/2.69	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3992109b
4.63/2.69	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2645858e
4.63/2.69	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d670d26
4.63/2.69	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b1df9db
4.63/2.69	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c83b6cd
4.63/2.69	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a242577
4.63/2.69	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3692349d
4.63/2.69	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5dc78b34
4.63/2.69	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@bca65c5
4.63/2.69	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74706167
4.63/2.69	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cb72f8d
4.63/2.69	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4069a70e
4.63/2.69	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d20b9ea
4.63/2.69	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b1c24e0
4.63/2.69	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7addaec6
4.63/2.69	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13b82caf
4.63/2.69	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@535d55c8
4.63/2.69	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5189bd92
4.63/2.69	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@272dfb36
4.63/2.69	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9c06fae
4.63/2.69	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@674c6484
4.63/2.69	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31b35c0f
4.63/2.69	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c76831b
5.01/2.70	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bd8b46d
5.01/2.70	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4eaf882f
5.01/2.70	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26064658
5.01/2.70	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f9518fd
5.01/2.70	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c365488
5.01/2.70	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ec3d477
5.01/2.70	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f0c4e06
5.01/2.70	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55a6e36
5.01/2.70	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fe9d15a
5.01/2.70	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f5c02f3
5.01/2.70	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a494054
5.01/2.70	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@736b4f56
5.01/2.70	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a20dc3
5.01/2.70	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5848e0fb
5.01/2.70	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5021d83
5.01/2.70	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b50677c
5.01/2.70	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14a8ce42
5.01/2.70	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@82ebbe0
5.01/2.70	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4242855b
5.01/2.70	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@353190ea
5.01/2.70	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@271f8a43
5.01/2.70	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38962bfc
5.01/2.70	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f56687f
5.01/2.70	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d2b70af
5.01/2.70	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@306acbd6
5.01/2.70	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@396697d0
5.01/2.70	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a6dd905
5.01/2.70	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e89a822
5.01/2.70	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d16c3b6
5.01/2.70	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23a81d50
5.01/2.70	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d196187
5.01/2.70	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@258e6d83
5.01/2.70	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d664c7a
5.01/2.70	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3092c59d
5.01/2.70	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cb03293
5.01/2.70	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e2f5eba
5.01/2.70	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75624386
5.01/2.70	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@176d1a52
5.01/2.70	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@663c9f9a
5.01/2.70	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20960403
5.01/2.70	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f4ef364
5.01/2.70	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71017135
5.01/2.70	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67a6633e
5.01/2.70	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42948193
5.01/2.70	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5203bbff
5.01/2.70	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a2e2983
5.01/2.70	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@372b850d
5.01/2.70	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25173a35
5.01/2.70	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@765273d3
5.01/2.70	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7709ccf0
5.01/2.70	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ba78252
5.01/2.71	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15fdb9df
5.01/2.71	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39ff76b4
5.01/2.71	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3991f866
5.01/2.71	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b554cee
5.01/2.71	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68681222
5.01/2.71	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e0cb9c8
5.01/2.71	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cf1b88b
5.01/2.71	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a2cba6
5.01/2.71	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22594c94
5.01/2.71	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60850294
5.01/2.71	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37eeb6f4
5.01/2.71	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@442086ac
5.01/2.71	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e7351a
5.01/2.71	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3aa9b6a
5.01/2.71	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b1604c1
5.01/2.71	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74f54cbf
5.01/2.71	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a687f5a
5.01/2.71	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@85a5ee8
5.01/2.71	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a14d559
5.01/2.71	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5583955a
5.01/2.71	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2574a07f
5.01/2.71	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@427420d9
5.01/2.71	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b3c2404
5.01/2.71	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@417dbf46
5.01/2.71	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78416eaf
5.01/2.71	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17cc7ad9
5.01/2.71	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4db2e112
5.01/2.71	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39101089
5.01/2.71	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73b6f36b
5.01/2.71	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72d70527
5.01/2.71	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e19026c
5.01/2.71	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79cea4db
5.01/2.71	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71f37774
5.01/2.71	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d00196e
5.01/2.71	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@183ebd62
5.01/2.71	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30c62592
5.01/2.71	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e958b8e
5.01/2.71	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66d6fa91
5.01/2.71	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4825828c
5.01/2.71	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@138b3550
5.01/2.71	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2822bb1c
5.01/2.71	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@627e851a
5.01/2.71	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28b643c1
5.01/2.71	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e441e89
5.01/2.71	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e9c3e56
5.01/2.71	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28f833fe
5.01/2.71	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25ff2c38
5.01/2.71	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c38daec
5.01/2.71	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c25f181
5.01/2.71	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b311bc
5.01/2.71	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4fe83056
5.01/2.71	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f0d56f6
5.01/2.71	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e094183
5.01/2.71	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@200ceedd
5.01/2.71	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@917e39f
5.01/2.71	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7692e646
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3836c6e0
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14f0afb4
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a992b54
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20f3fcc4
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50f1ff77
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@253cfa19
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24683e7a
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4df9c9cd
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@384b66e9
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@caf7785
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ab688e9
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@391df510
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20f44ed9
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75edffce
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2262fdc3
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a695063
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68694c4f
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e24a3a8
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40f71729
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3547ce1c
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e9c5fe2
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53cfe64f
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b9c7e70
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@705a394c
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3582a3b0
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1236d848
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56a4ea89
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79c1c66d
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2431cc01
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fd4a0d
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78432588
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25091677
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53780c15
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ec4cf18
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fbea071
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ae9fd32
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14d51e1d
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9368e36
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ff352a6
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@712e872f
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a99b32
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d3998a0
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20b77d57
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32190a31
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@624b030
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c013f04
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63b1ca57
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f8c6af6
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18f5b693
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a11ee03
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@237a46d5
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7746695b
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61cff7cc
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7077e3e2
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c57c706
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d451eee
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c0b2f04
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f250375
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41bf111e
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a6d2658
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cd95119
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47689a18
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@87b2f95
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e185737
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16ad26af
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ae5e38e
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f9181d1
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@391a321c
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@785b1a18
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e4d8ed2
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@395beeac
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43135339
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39d54e76
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62d87fa1
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41ed5cd3
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@493b9a
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39d34044
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a635458
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17840a46
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3df28752
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b8bbf2c
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21735b97
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19f58b51
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e416d74
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d369ddc
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54ddc630
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@343d5ed4
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e3470bd
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a8198c7
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54f218b
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72d028e7
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e117763
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4796a70b
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42c9f13e
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15714332
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e0a8019
5.01/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e2e60b7
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@592ef9b3
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b85026f
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bc4f1d
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@798d6c7d
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b39e994
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47ca6200
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@de2371c
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c6dcd73
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10ee48d
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@608a0a0c
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48172aa8
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78d8b02c
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b190f4b
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e5d8c06
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@665a796a
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fdba9cd
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d5cdac2
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@430dc096
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53138efa
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b7deee8
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a159501
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@741690e4
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62cb67d5
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33c68f99
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c12b424
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75739a56
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d32af6e
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45fb4512
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d20613d
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10321652
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24c7085b
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bcda5c5
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58466d9a
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@582be395
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e0cd874
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13d85964
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74a2aefa
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@706480ff
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25b2d1ab
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6743c66c
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23ab6707
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f9ff81c
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19e4d4fc
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e5a5d1e
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8143ec9
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4297b506
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e3e97c6
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12bfdc8e
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67138cad
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d10b090
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26f7a295
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75db9dbe
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@620e6774
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f37c013
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4326fafa
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1002ee57
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2657e59e
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34180bf1
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ecb1b1c
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5001267f
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a6ad098
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@303412ea
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29238b2f
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fc2cfce
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@346a03d8
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b644299
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72ad8e93
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@632078c9
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ff8cb3
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@546a6c0e
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74ed0c0c
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22bef3b3
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78ff5fb0
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1708e266
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e51b23
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63708737
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67992ade
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6922d5f8
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@442dc97a
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50a96b62
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@762c39d6
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ddd90fe
5.01/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@547f7cd7
5.01/2.74	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30f3e22
5.01/2.74	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f5fc373
5.01/2.74	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17faa089
5.01/2.74	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@aa94ab2
5.01/2.74	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@569cf595
5.01/2.74	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f42b99a
5.01/2.74	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1dfb9c24
5.01/2.74	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3caaecdc
5.01/2.74	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@653e0bf
5.01/2.74	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b5394ac
5.01/2.74	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17e7da9c
5.01/2.74	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4273bfb0
5.01/2.74	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21245d54
5.01/2.74	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e1d3b6b
5.01/2.74	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47bb7b87
5.01/2.74	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15554a03
5.01/2.74	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f2b43f7
5.01/2.74	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@250a9939
5.01/2.74	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60716342
5.01/2.74	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d0606a1
5.01/2.74	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@260165d6
5.01/2.74	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43b94ed3
5.01/2.74	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@285e5307
5.01/2.74	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@640faca6
5.01/2.74	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ee2ddaa
5.01/2.74	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67b84e67
5.01/2.74	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58f41650
5.01/2.74	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e4ecfa8
5.01/2.74	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2afc1090
5.01/2.74	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a5178f9
5.01/2.74	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7435b057
5.01/2.74	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@168de78
5.01/2.74	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cf97dc8
5.01/2.74	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1414311e
5.01/2.74	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38a9e053
5.01/2.74	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bae317e
5.01/2.74	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d40eaf7
5.01/2.74	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@725621e3
5.01/2.74	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@637891e1
5.01/2.74	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@769f7e95
5.01/2.74	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16a6af71
5.01/2.74	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61fb386
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22a96961
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a162a69
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e6f8ab1
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@754ddd5c
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40cc0eb6
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a1eda80
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69d201ef
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16435ffe
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e43b37d
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22c148d2
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e1a3ca0
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72124245
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d926fdd
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f4d48fb
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36ca07b6
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5567fe13
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18aa25e3
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11af6b2a
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7dacefaa
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7824f951
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54b66f66
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@585cecb4
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19e8ba0a
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a748fa3
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7902d225
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@755259ee
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f7ebb2e
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5da12dc5
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@517f6cc7
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63abc5d1
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72abb2d7
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@785b2264
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48ec70d6
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@332e8273
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d5b705c
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@661865cd
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4089ca8d
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@567fa7af
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a845f4d
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46063ed0
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53cd2011
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3445b535
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e49a9dd
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1333622c
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@120cd7de
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24ccd613
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15dcd128
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c8260c3
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c4ab73d
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fdbebdd
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ae2ff70
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a3c85f4
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76da933d
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a5fedd4
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@744e8a85
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a6e977
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28f8b3b6
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ec81344
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bee828f
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62554d04
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4cb0ae63
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21664d6d
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@661475bf
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e971cd
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e78a156
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c51e55a
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58f3c3d6
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54129120
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@443238de
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@755f50de
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f193bea
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77ba0611
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b9d51ab
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1744d948
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@346618e4
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b103c2d
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3230fbae
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b320875
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5347a931
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74414439
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2380296
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f8e33ff
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5095a8a0
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59a6d696
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f9d86cb
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f34047a
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49dde386
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d333c25
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d39ce17
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34c7f920
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a075b40
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48b283cd
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ab8a967
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e64c9da
5.01/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2af45dc
5.01/2.76	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c1add93
5.01/2.76	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2080aa50
5.01/2.76	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@692189a6
5.01/2.76	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58128657
5.01/2.76	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37fc41f1
5.01/2.76	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d2fc5b7
5.01/2.76	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f7fe7e
5.01/2.76	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2aa595c5
5.01/2.76	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ee50a88
5.01/2.76	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@166b97fc
5.01/2.76	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47234458
5.01/2.76	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ce6fa13
5.01/2.76	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7517dd65
5.01/2.76	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a4ca220
5.01/2.76	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@732f5e97
5.01/2.77	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2813ca7
5.01/2.77	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7131767e
5.01/2.77	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49aa5926
5.01/2.77	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51f3ced5
5.01/2.77	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21ab5b7a
5.01/2.77	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1be5680a
5.01/2.77	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40ae4932
5.01/2.77	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5835965c
5.01/2.77	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cfeafce
5.01/2.77	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60761657
5.01/2.77	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b813f61
5.01/2.77	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1004750a
5.01/2.77	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53c42132
5.01/2.77	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20b480fe
5.01/2.77	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10477ae9
5.01/2.77	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f4d6d1f
5.01/2.77	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@567d5082
5.01/2.78	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c37f178
5.01/2.78	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a911df2
5.01/2.78	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23e51674
5.01/2.78	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32d9d6fb
5.01/2.78	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d03e4e0
5.01/2.78	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68211d80
5.01/2.78	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c88e6f2
5.01/2.78	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63660c13
5.01/2.78	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@577a6276
5.01/2.78	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59de335c
5.01/2.78	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3497f81f
5.01/2.78	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b239a01
5.01/2.78	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@224ae309
5.01/2.78	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e35783f
5.01/2.78	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7919ca8
5.01/2.78	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73f4f5cd
5.01/2.78	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3926224b
5.01/2.78	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77cac93a
5.01/2.78	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1328e0b
5.01/2.79	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23879ac2
5.01/2.79	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49291e72
5.01/2.79	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c6dc876
5.01/2.79	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55e9ff20
5.01/2.79	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cf7305f
5.01/2.79	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67048e14
5.01/2.79	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1756c99c
5.01/2.79	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a9251ac
5.01/2.79	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a9cfcee
5.01/2.79	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@239a2cf3
5.01/2.79	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bbfcdba
5.01/2.79	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a0686ab
5.01/2.79	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20179b69
5.01/2.79	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2882f61a
5.01/2.79	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33966e7e
5.01/2.79	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42177ce4
5.01/2.79	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e0977b3
5.01/2.79	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@98f509e
5.01/2.79	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22c0abe6
5.01/2.80	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16e8ddd6
5.01/2.80	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@93bcbb6
5.01/2.80	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fc954a9
5.01/2.80	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@589b8ef1
5.35/2.80	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b1cdecc
5.35/2.80	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64935954
5.35/2.80	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5aff561b
5.35/2.80	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1963b862
5.35/2.80	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e972f96
5.35/2.80	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d116633
5.35/2.80	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6372d24a
5.35/2.80	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@478df414
5.35/2.80	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6301a655
5.35/2.80	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63100209
5.35/2.80	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ddbb1b1
5.35/2.80	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e5c497f
5.35/2.80	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39bf4e51
5.35/2.80	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@402ad77f
5.35/2.80	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13ea6af3
5.35/2.80	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@120a3ce8
5.35/2.81	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@213be9d3
5.35/2.81	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a61233a
5.35/2.81	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@202f4690
5.35/2.81	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17f35bd9
5.35/2.81	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31a51b02
5.35/2.81	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ecbe94a
5.35/2.81	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3adf204e
5.35/2.81	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32669c52
5.35/2.81	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@82b7604
5.35/2.81	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38ef6435
5.35/2.81	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fe50181
5.35/2.81	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d09e229
5.35/2.81	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@862e454
5.35/2.81	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@238d6e08
5.35/2.81	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73b80f95
5.35/2.81	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74904db9
5.35/2.81	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13643d4c
5.35/2.81	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7592ebb5
5.35/2.81	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d54d5bd
5.35/2.81	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50b0859b
5.35/2.81	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48fd5ae
5.35/2.81	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a79146e
5.35/2.81	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@476dac85
5.35/2.81	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5567e45d
5.35/2.81	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b04c390
5.35/2.81	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c7c355b
5.35/2.82	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a409d3e
5.35/2.82	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ab3fc81
5.35/2.82	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d4826c0
5.35/2.82	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79dd8c52
5.35/2.82	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@199bd116
5.35/2.82	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59ee2805
5.35/2.82	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27b0618d
5.35/2.82	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@678c8ac6
5.35/2.82	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34f8310
5.35/2.82	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e6b3e2c
5.35/2.82	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f19ff58
5.35/2.82	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37969a4b
5.35/2.82	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@aa37f0e
5.35/2.82	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@230466ab
5.35/2.82	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@da0e8ec
5.35/2.82	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@324cb69c
5.35/2.82	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71797e8c
5.35/2.82	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@798ec364
5.35/2.82	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18826545
5.35/2.82	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32dfcd28
5.35/2.82	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34d062fe
5.35/2.82	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@689ffa5e
5.35/2.82	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c3f8810
5.35/2.82	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61217d96
5.35/2.82	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54041f4c
5.35/2.83	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11570d38
5.35/2.83	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6abfca06
5.35/2.83	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38332c67
5.35/2.83	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@188e8d20
5.35/2.83	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e01ebe7
5.35/2.83	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4215a382
5.35/2.83	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6943e277
5.35/2.83	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e849692
5.35/2.83	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2327e1ed
5.35/2.83	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@797b37b6
5.35/2.83	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f9ff609
5.35/2.83	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1449bc2b
5.35/2.83	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d6c02ae
5.35/2.83	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f25379a
5.35/2.83	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3161209
5.35/2.83	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50b49351
5.35/2.83	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d7d7e54
5.35/2.83	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@502af1f9
5.35/2.83	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d6eac1d
5.35/2.83	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@689ffd82
5.35/2.83	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@744d15d0
5.35/2.83	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67f50755
5.35/2.83	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dd74e2b
5.35/2.83	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e03ce34
5.35/2.83	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39580c29
5.35/2.83	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7582a94c
5.35/2.83	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fc6ce29
5.35/2.83	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f73c7bc
5.35/2.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f4a9fb
5.35/2.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@256ff8d1
5.35/2.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4db84cfe
5.35/2.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57859a0d
5.35/2.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29d981b5
5.35/2.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d2e05e1
5.35/2.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@614e9bb7
5.35/2.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f47c3b7
5.35/2.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f460b7
5.35/2.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@780046b5
5.35/2.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58b2a691
5.35/2.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5096c87d
5.35/2.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4feb1ea6
5.35/2.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b506329
5.35/2.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bcc9fd0
5.35/2.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22015560
5.35/2.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c1ea16b
5.35/2.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f26a821
5.35/2.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69d05e2c
5.35/2.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@560341af
5.35/2.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3875612b
5.35/2.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c1cc50e
5.35/2.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67c68cc0
5.35/2.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a75a3e7
5.35/2.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@532fe4c6
5.35/2.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d62dd65
5.35/2.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5739c4e9
5.35/2.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f3d2e2e
5.35/2.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d89d1e3
5.35/2.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35d3c8fe
5.35/2.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@105654e2
5.35/2.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62a6d05
5.35/2.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b883e16
5.35/2.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d2a531d
5.35/2.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@220202eb
5.35/2.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f0ac544
5.35/2.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52797dfb
5.35/2.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75ee935f
5.35/2.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ddc28d1
5.35/2.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2af3dab1
5.35/2.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a62ab68
5.35/2.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63ecb5b5
5.35/2.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e426019
5.35/2.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@690708bb
5.35/2.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d85f6
5.35/2.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c7c944b
5.35/2.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ec9e3fe
5.35/2.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@536923a3
5.35/2.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f77a902
5.35/2.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27067df8
5.35/2.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48df86b7
5.35/2.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2018c665
5.35/2.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ec4d815
5.35/2.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40512a5d
5.35/2.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e3c447
5.35/2.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@aac1a3e
5.35/2.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71f20453
5.35/2.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e685ed0
5.35/2.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bc0c19d
5.35/2.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d3bbc40
5.35/2.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@267d44d8
5.35/2.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1890a687
5.35/2.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ac580f4
5.35/2.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5170aa0e
5.35/2.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2329fcf8
5.35/2.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77586adb
5.35/2.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@762e9a86
5.35/2.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55c6538
5.35/2.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e091d41
5.35/2.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f80e775
5.35/2.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5fc5b35a
5.35/2.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27536654
5.35/2.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e44be0e
5.35/2.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39fec7f5
5.35/2.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2265d252
5.35/2.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7350a2a4
5.35/2.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13705af3
5.35/2.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@298c245a
5.35/2.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78915e80
5.35/2.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10acdb0e
5.35/2.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32f8e743
5.35/2.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4869649f
5.35/2.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32bc1b9
5.35/2.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@630a1424
5.35/2.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f6ae1a3
5.35/2.86	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a394a74
5.35/2.86	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ec990aa
5.35/2.86	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29b7a7cc
5.35/2.86	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2df8e414
5.35/2.86	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69fb960f
5.35/2.86	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f1fee70
5.35/2.86	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71f18ecc
6.06/3.25	
6.06/3.25	
6.06/3.25	  Domains
6.06/3.25	    nTypes=2, nValues=7200, sizes=[2#1000,26#200]
6.06/3.25	  Variables
6.06/3.25	    count=1200, degrees=[2#200,3#5,4#5,5#6...86#2,87#2,88#3,89#29]
6.06/3.25	  Constraints
6.06/3.25	    count=1453, nSpecific=1453, arities=[2#199,3#396,5#392,6#200...196#1,197#2,198#1,200#6]
6.06/3.25	    distribution=[CardinalityConstant#1,CtrExtensionCT-Table#200,SumSimpleGE#265,SumSimpleLE#987]
6.06/3.25	    tables=[26#200], nTotalTuples=5200
6.06/3.25	    nExtStructures=(1,shared:199)
6.06/3.25	    wck=1.175, cpu=3.209, mem=89M931
6.06/3.29	  Solver SolverBacktrack being built...
6.06/3.29	
6.27/3.33	
6.27/3.33	  Solver
6.27/3.33	    guaranteedGAC=true
6.27/3.33	    wck=1.257, cpu=3.288, mem=124M364
6.27/3.37	
6.27/3.37	  Preprocessing
6.27/3.37	    filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
6.27/3.37	    wck=0.036, cpu=3.327, mem=124M364
6.27/3.37	
6.87/3.59	    num=0, depth=94..100, filters=1428, wck=0.261, mem=124M364
6.87/3.59	    decisions=128, wrong=17, backtracks=8, failedAssignments=10, nogoods=2
6.87/3.59	    nFilterCalls=2128, avgTableProportion=0.9615384615385103, avgTableSize=25.0
6.87/3.59	    
7.18/3.66	    num=1, depth=48..78, filters=2569, wck=0.33, mem=127M6
7.18/3.66	    decisions=218, wrong=28, backtracks=8, failedAssignments=21, nogoods=13
7.18/3.66	    nFilterCalls=2695, avgTableProportion=0.9615384615385221, avgTableSize=25.0
7.18/3.66	    
7.48/3.71	    num=2, depth=71..91, filters=3181, wck=0.374, mem=127M6
7.48/3.71	    decisions=335, wrong=45, backtracks=19, failedAssignments=33, nogoods=20
7.48/3.71	    nFilterCalls=2998, avgTableProportion=0.9615384615385266, avgTableSize=25.0
7.48/3.71	    
7.48/3.75	    num=3, depth=89..96, filters=3926, wck=0.423, mem=127M6
7.48/3.75	    decisions=500, wrong=83, backtracks=55, failedAssignments=46, nogoods=22
7.48/3.75	    nFilterCalls=3257, avgTableProportion=0.9615384615385297, avgTableSize=25.0
7.48/3.75	    
7.67/3.80	    num=4, depth=88..96, filters=4671, wck=0.469, mem=127M6
7.67/3.80	    decisions=676, wrong=126, backtracks=93, failedAssignments=60, nogoods=24
7.67/3.80	    nFilterCalls=3492, avgTableProportion=0.9615384615385323, avgTableSize=25.0
7.67/3.80	    
7.67/3.84	    num=5, depth=84..91, filters=5473, wck=0.512, mem=127M6
7.67/3.84	    decisions=839, wrong=165, backtracks=126, failedAssignments=76, nogoods=26
7.67/3.84	    nFilterCalls=3739, avgTableProportion=0.9615384615385345, avgTableSize=25.0
7.67/3.84	    
7.67/3.88	    num=6, depth=60..74, filters=6377, wck=0.552, mem=127M6
7.67/3.88	    decisions=940, wrong=185, backtracks=132, failedAssignments=93, nogoods=41
7.67/3.88	    nFilterCalls=4211, avgTableProportion=0.9615384615385381, avgTableSize=25.0
7.67/3.88	    
7.85/3.93	    num=7, depth=56..88, filters=7655, wck=0.602, mem=127M6
7.85/3.93	    decisions=1125, wrong=243, backtracks=187, failedAssignments=112, nogoods=43
7.85/3.93	    nFilterCalls=4758, avgTableProportion=0.9615384615384936, avgTableSize=25.0
7.85/3.93	    
7.85/3.98	    num=8, depth=69..90, filters=8331, wck=0.652, mem=127M6
7.85/3.98	    decisions=1320, wrong=300, backtracks=234, failedAssignments=133, nogoods=47
7.85/3.98	    nFilterCalls=5098, avgTableProportion=0.9615384615384682, avgTableSize=25.0
7.85/3.98	    
7.96/4.10	    num=9, depth=76..189, filters=9522, wck=0.775, mem=127M6
7.96/4.10	    decisions=1570, wrong=340, backtracks=252, failedAssignments=156, nogoods=54
7.96/4.10	    nFilterCalls=6481, avgTableProportion=0.9615384615383921, avgTableSize=25.0
7.96/4.10	    
8.31/4.27	    num=10, depth=84..210, filters=10906, wck=0.943, mem=127M6
8.31/4.27	    decisions=1858, wrong=384, backtracks=272, failedAssignments=181, nogoods=58
8.31/4.27	    nFilterCalls=7935, avgTableProportion=0.9615384615383408, avgTableSize=25.0
8.31/4.27	    
8.48/4.38	    num=11, depth=106..185, filters=14392, wck=1.053, mem=127M6
8.48/4.38	    decisions=2195, wrong=466, backtracks=345, failedAssignments=209, nogoods=67
8.48/4.38	    nFilterCalls=9856, avgTableProportion=0.9615384615384194, avgTableSize=25.0
8.48/4.38	    
8.58/4.45	    num=12, depth=90..104, filters=15368, wck=1.118, mem=127M6
8.58/4.45	    decisions=2429, wrong=536, backtracks=400, failedAssignments=240, nogoods=70
8.58/4.45	    nFilterCalls=10418, avgTableProportion=0.9615384615384519, avgTableSize=25.0
8.58/4.45	    
8.69/4.52	    num=13, depth=95..138, filters=16246, wck=1.19, mem=127M6
8.69/4.52	    decisions=2698, wrong=608, backtracks=450, failedAssignments=274, nogoods=74
8.69/4.52	    nFilterCalls=10935, avgTableProportion=0.9615384615384788, avgTableSize=25.0
8.69/4.52	    
8.69/4.59	    num=14, depth=104..143, filters=17561, wck=1.263, mem=127M6
8.69/4.59	    decisions=2986, wrong=692, backtracks=512, failedAssignments=311, nogoods=78
8.69/4.59	    nFilterCalls=11611, avgTableProportion=0.9615384615385103, avgTableSize=25.0
8.69/4.59	    
8.80/4.68	    num=15, depth=99..160, filters=19154, wck=1.349, mem=127M6
8.80/4.68	    decisions=3332, wrong=791, backtracks=597, failedAssignments=352, nogoods=82
8.80/4.68	    nFilterCalls=12464, avgTableProportion=0.9615384615385453, avgTableSize=25.0
8.80/4.68	    
8.90/4.75	    num=16, depth=107..120, filters=21078, wck=1.425, mem=127M6
8.90/4.75	    decisions=3613, wrong=877, backtracks=657, failedAssignments=397, nogoods=86
8.90/4.75	    nFilterCalls=13813, avgTableProportion=0.9615384615385918, avgTableSize=25.0
8.90/4.75	    
9.00/4.83	    num=17, depth=106..114, filters=22165, wck=1.5, mem=127M6
9.00/4.83	    decisions=3918, wrong=975, backtracks=729, failedAssignments=447, nogoods=89
9.00/4.83	    nFilterCalls=14553, avgTableProportion=0.9615384615386137, avgTableSize=25.0
9.00/4.83	    
9.10/4.91	    num=18, depth=109..133, filters=24495, wck=1.583, mem=127M6
9.10/4.91	    decisions=4248, wrong=1084, backtracks=800, failedAssignments=502, nogoods=92
9.10/4.91	    nFilterCalls=16165, avgTableProportion=0.9615384615386543, avgTableSize=25.0
9.10/4.91	    
9.10/5.00	    num=19, depth=111..137, filters=26575, wck=1.673, mem=127M6
9.10/5.00	    decisions=4639, wrong=1223, backtracks=899, failedAssignments=563, nogoods=94
9.10/5.00	    nFilterCalls=17406, avgTableProportion=0.9615384615386804, avgTableSize=25.0
9.10/5.00	    
9.21/5.10	    num=20, depth=117..127, filters=27871, wck=1.765, mem=127M6
9.21/5.10	    decisions=5026, wrong=1356, backtracks=1000, failedAssignments=630, nogoods=98
9.21/5.10	    nFilterCalls=18169, avgTableProportion=0.9615384615386946, avgTableSize=25.0
9.21/5.10	    
9.40/5.20	    num=21, depth=116..125, filters=29623, wck=1.867, mem=127M6
9.40/5.20	    decisions=5460, wrong=1515, backtracks=1121, failedAssignments=704, nogoods=101
9.40/5.20	    nFilterCalls=19222, avgTableProportion=0.9615384615387126, avgTableSize=25.0
9.40/5.20	    
9.50/5.31	    num=22, depth=114..124, filters=31910, wck=1.98, mem=127M6
9.50/5.31	    decisions=5952, wrong=1702, backtracks=1271, failedAssignments=785, nogoods=104
9.50/5.31	    nFilterCalls=20435, avgTableProportion=0.9615384615387309, avgTableSize=25.0
9.50/5.31	    
9.61/5.44	    num=23, depth=111..122, filters=34124, wck=2.107, mem=127M6
9.61/5.44	    decisions=6507, wrong=1921, backtracks=1456, failedAssignments=874, nogoods=106
9.61/5.44	    nFilterCalls=21395, avgTableProportion=0.9615384615387439, avgTableSize=25.0
9.61/5.44	    
9.98/5.72	    num=24, depth=116..277, filters=38827, wck=2.393, mem=127M6
9.98/5.72	    decisions=7104, wrong=2090, backtracks=1572, failedAssignments=972, nogoods=119
9.98/5.72	    nFilterCalls=25226, avgTableProportion=0.961538461538786, avgTableSize=25.0
9.98/5.72	    
10.41/6.16	    num=25, depth=123..327, filters=44445, wck=2.828, mem=127M6
10.41/6.16	    decisions=7759, wrong=2262, backtracks=1674, failedAssignments=1080, nogoods=136
10.41/6.16	    nFilterCalls=29525, avgTableProportion=0.9615384615388203, avgTableSize=25.0
10.41/6.16	    
11.29/6.93	    num=26, depth=192..263, filters=54201, wck=3.597, mem=127M6
11.29/6.93	    decisions=8419, wrong=2467, backtracks=1816, failedAssignments=1199, nogoods=142
11.29/6.93	    nFilterCalls=36788, avgTableProportion=0.9615384615388598, avgTableSize=25.0
11.29/6.93	    
11.89/7.51	    num=27, depth=207..301, filters=60763, wck=4.178, mem=127M6
11.89/7.51	    decisions=9070, wrong=2660, backtracks=1990, failedAssignments=1330, nogoods=152
11.89/7.51	    nFilterCalls=41310, avgTableProportion=0.9615384615388775, avgTableSize=25.0
11.89/7.51	    
12.40/8.09	    num=28, depth=212..233, filters=66470, wck=4.764, mem=127M6
12.40/8.09	    decisions=9708, wrong=2872, backtracks=2184, failedAssignments=1474, nogoods=157
12.40/8.09	    nFilterCalls=45817, avgTableProportion=0.9615384615388917, avgTableSize=25.0
12.40/8.09	    
12.89/8.51	    num=29, depth=204..220, filters=70917, wck=5.178, mem=127M6
12.89/8.51	    decisions=10449, wrong=3137, backtracks=2425, failedAssignments=1632, nogoods=161
12.89/8.51	    nFilterCalls=49006, avgTableProportion=0.9615384615389001, avgTableSize=25.0
12.89/8.51	    
13.09/8.71	    num=30, depth=187..204, filters=73301, wck=5.38, mem=127M6
13.09/8.71	    decisions=11204, wrong=3419, backtracks=2685, failedAssignments=1806, nogoods=164
13.09/8.71	    nFilterCalls=50323, avgTableProportion=0.9615384615389032, avgTableSize=25.0
13.09/8.71	    
13.29/8.93	    num=31, depth=181..192, filters=76007, wck=5.598, mem=127M6
13.29/8.93	    decisions=12030, wrong=3741, backtracks=2983, failedAssignments=1997, nogoods=167
13.29/8.93	    nFilterCalls=52019, avgTableProportion=0.9615384615389071, avgTableSize=25.0
13.29/8.93	    
13.51/9.15	    num=32, depth=174..186, filters=79471, wck=5.824, mem=129M649
13.51/9.15	    decisions=12917, wrong=4096, backtracks=3311, failedAssignments=2208, nogoods=172
13.51/9.15	    nFilterCalls=53881, avgTableProportion=0.961538461538911, avgTableSize=25.0
13.51/9.15	    
13.70/9.38	    num=33, depth=144..162, filters=82884, wck=6.053, mem=129M649
13.70/9.38	    decisions=13820, wrong=4475, backtracks=3674, failedAssignments=2440, nogoods=177
13.70/9.38	    nFilterCalls=55919, avgTableProportion=0.9615384615389151, avgTableSize=25.0
13.70/9.38	    
14.01/9.61	    num=34, depth=93..137, filters=86860, wck=6.277, mem=129M649
14.01/9.61	    decisions=14696, wrong=4866, backtracks=4041, failedAssignments=2695, nogoods=184
14.01/9.61	    nFilterCalls=58744, avgTableProportion=0.9615384615389202, avgTableSize=25.0
14.01/9.61	    
14.31/9.90	    num=35, depth=61..248, filters=92213, wck=6.567, mem=129M649
14.31/9.90	    decisions=15825, wrong=5332, backtracks=4435, failedAssignments=2976, nogoods=198
14.31/9.90	    nFilterCalls=61842, avgTableProportion=0.9615384615389252, avgTableSize=25.0
14.31/9.90	    
14.52/10.17	    num=36, depth=53..75, filters=99689, wck=6.836, mem=129M649
14.52/10.17	    decisions=16913, wrong=5849, backtracks=4893, failedAssignments=3285, nogoods=205
14.52/10.17	    nFilterCalls=66244, avgTableProportion=0.9615384615389316, avgTableSize=25.0
14.52/10.17	    
16.61/12.23	    num=37, depth=48..293, filters=127810, wck=8.902, mem=129M649
16.61/12.23	    decisions=18143, wrong=6351, backtracks=5285, failedAssignments=3625, nogoods=223
16.61/12.23	    nFilterCalls=83640, avgTableProportion=0.9615384615376035, avgTableSize=25.0
16.61/12.23	    
17.72/13.32	    num=38, depth=47..183, filters=165604, wck=9.99, mem=129M649
17.72/13.32	    decisions=19977, wrong=7185, backtracks=6039, failedAssignments=3999, nogoods=230
17.72/13.32	    nFilterCalls=108889, avgTableProportion=0.961538461536245, avgTableSize=25.0
17.72/13.32	    
18.12/13.77	    num=39, depth=52..187, filters=176676, wck=10.441, mem=129M649
18.12/13.77	    decisions=21954, wrong=8089, backtracks=6764, failedAssignments=4410, nogoods=240
18.12/13.77	    nFilterCalls=113577, avgTableProportion=0.9615384615360594, avgTableSize=25.0
18.12/13.77	    
19.22/14.85	    num=40, depth=78..172, filters=215375, wck=11.519, mem=129M649
19.22/14.85	    decisions=23557, wrong=8813, backtracks=7412, failedAssignments=4862, nogoods=251
19.22/14.85	    nFilterCalls=138207, avgTableProportion=0.9615384615352907, avgTableSize=25.0
19.22/14.85	    
20.43/16.06	    num=41, depth=155..174, filters=252703, wck=12.732, mem=129M649
20.43/16.06	    decisions=25791, wrong=9849, backtracks=8310, failedAssignments=5359, nogoods=256
20.43/16.06	    nFilterCalls=161888, avgTableProportion=0.961538461534772, avgTableSize=25.0
20.43/16.06	    
21.56/17.16	    num=42, depth=113..168, filters=292598, wck=13.828, mem=129M649
21.56/17.16	    decisions=28006, wrong=10879, backtracks=9261, failedAssignments=5906, nogoods=265
21.56/17.16	    nFilterCalls=188191, avgTableProportion=0.961538461534349, avgTableSize=25.0
21.56/17.16	    
22.35/17.95	    num=43, depth=155..174, filters=317029, wck=14.619, mem=129M649
22.35/17.95	    decisions=30706, wrong=12150, backtracks=10289, failedAssignments=6508, nogoods=272
22.35/17.95	    nFilterCalls=204331, avgTableProportion=0.9615384615341434, avgTableSize=25.0
22.35/17.95	    
23.25/18.85	    num=44, depth=150..189, filters=357838, wck=15.524, mem=129M649
23.25/18.85	    decisions=33565, wrong=13499, backtracks=11318, failedAssignments=7170, nogoods=279
23.25/18.85	    nFilterCalls=229334, avgTableProportion=0.9615384615338819, avgTableSize=25.0
23.25/18.85	    
23.95/19.58	    num=45, depth=147..174, filters=377874, wck=16.248, mem=129M649
23.95/19.58	    decisions=36719, wrong=15001, backtracks=12484, failedAssignments=7898, nogoods=283
23.95/19.58	    nFilterCalls=241949, avgTableProportion=0.9615384615337704, avgTableSize=25.0
23.95/19.58	    
25.06/20.63	    num=46, depth=163..205, filters=425223, wck=17.304, mem=129M649
25.06/20.63	    decisions=39798, wrong=16454, backtracks=13804, failedAssignments=8699, nogoods=298
25.06/20.63	    nFilterCalls=269584, avgTableProportion=0.9615384615335628, avgTableSize=25.0
25.06/20.63	    
25.76/21.37	    num=47, depth=167..180, filters=437535, wck=18.045, mem=129M649
25.76/21.37	    decisions=43013, wrong=17976, backtracks=15225, failedAssignments=9580, nogoods=305
25.76/21.37	    nFilterCalls=275307, avgTableProportion=0.9615384615338081, avgTableSize=25.0
25.76/21.37	    
26.57/22.19	    num=48, depth=141..170, filters=448688, wck=18.863, mem=129M649
26.57/22.19	    decisions=46447, wrong=19620, backtracks=16754, failedAssignments=10550, nogoods=310
26.57/22.19	    nFilterCalls=281669, avgTableProportion=0.9615384615344188, avgTableSize=25.0
26.57/22.19	    
27.57/23.13	    num=49, depth=119..146, filters=464366, wck=19.795, mem=129M649
27.57/23.13	    decisions=50330, wrong=21500, backtracks=18434, failedAssignments=11617, nogoods=315
27.57/23.13	    nFilterCalls=288976, avgTableProportion=0.9615384615350872, avgTableSize=25.0
27.57/23.13	    
28.57/24.12	    num=50, depth=80..127, filters=484732, wck=20.786, mem=129M649
28.57/24.12	    decisions=54454, wrong=23520, backtracks=20244, failedAssignments=12790, nogoods=320
28.57/24.12	    nFilterCalls=300545, avgTableProportion=0.9615384615360788, avgTableSize=25.0
28.57/24.12	    
30.84/26.24	    num=51, depth=70..397, filters=582953, wck=22.909, mem=129M649
30.84/26.24	    decisions=60284, wrong=26299, backtracks=22264, failedAssignments=14081, nogoods=331
30.84/26.24	    nFilterCalls=354735, avgTableProportion=0.9615384615398628, avgTableSize=25.0
30.84/26.24	    
33.65/29.06	    num=52, depth=65..176, filters=665411, wck=25.728, mem=129M649
33.65/29.06	    decisions=66838, wrong=29497, backtracks=25128, failedAssignments=15501, nogoods=340
33.65/29.06	    nFilterCalls=406357, avgTableProportion=0.9615384615425288, avgTableSize=25.0
33.65/29.06	    
36.54/32.01	    num=53, depth=86..179, filters=770873, wck=28.676, mem=132M291
36.54/32.01	    decisions=74777, wrong=33391, backtracks=28664, failedAssignments=17063, nogoods=351
36.54/32.01	    nFilterCalls=466264, avgTableProportion=0.9615384615448826, avgTableSize=25.0
36.54/32.01	    
40.54/35.95	    num=54, depth=109..335, filters=829879, wck=32.622, mem=132M291
40.54/35.95	    decisions=82060, wrong=36888, backtracks=31417, failedAssignments=18781, nogoods=376
40.54/35.95	    nFilterCalls=503206, avgTableProportion=0.9615384615460548, avgTableSize=25.0
40.54/35.95	    
48.50/43.81	    num=55, depth=169..320, filters=957340, wck=40.481, mem=132M291
48.50/43.81	    decisions=89331, wrong=40414, backtracks=34273, failedAssignments=20671, nogoods=386
48.50/43.81	    nFilterCalls=581380, avgTableProportion=0.9615384615444277, avgTableSize=25.0
48.50/43.81	    
51.71/47.04	    num=56, depth=198..360, filters=1032020, wck=43.713, mem=132M291
51.71/47.04	    decisions=97445, wrong=44303, backtracks=37755, failedAssignments=22750, nogoods=397
51.71/47.04	    nFilterCalls=633226, avgTableProportion=0.9615384615410063, avgTableSize=25.0
51.71/47.04	    
54.51/49.84	    num=57, depth=118..199, filters=1123873, wck=46.513, mem=132M291
54.51/49.84	    decisions=108462, wrong=49728, backtracks=42241, failedAssignments=25037, nogoods=403
54.51/49.84	    nFilterCalls=681148, avgTableProportion=0.9615384615383072, avgTableSize=25.0
54.51/49.84	    
57.42/52.74	    num=58, depth=134..182, filters=1232439, wck=49.412, mem=132M291
57.42/52.74	    decisions=119517, wrong=55178, backtracks=46714, failedAssignments=27553, nogoods=409
57.42/52.74	    nFilterCalls=755209, avgTableProportion=0.9615384615348096, avgTableSize=25.0
57.42/52.74	    
60.22/55.59	    num=59, depth=132..173, filters=1337441, wck=52.259, mem=132M291
60.22/55.59	    decisions=132997, wrong=61850, backtracks=52335, failedAssignments=30321, nogoods=414
60.22/55.59	    nFilterCalls=820058, avgTableProportion=0.9615384615322657, avgTableSize=25.0
60.22/55.59	    
62.92/58.28	    num=60, depth=114..173, filters=1427350, wck=54.952, mem=132M291
62.92/58.28	    decisions=145437, wrong=68011, backtracks=57014, failedAssignments=33365, nogoods=419
62.92/58.28	    nFilterCalls=868905, avgTableProportion=0.9615384615306004, avgTableSize=25.0
62.92/58.28	    
72.23/67.59	    num=61, depth=138..311, filters=1667689, wck=64.256, mem=134M934
72.23/67.59	    decisions=157644, wrong=74025, backtracks=62043, failedAssignments=36714, nogoods=445
72.23/67.59	    nFilterCalls=1022920, avgTableProportion=0.9615384615263908, avgTableSize=25.0
72.23/67.59	    
75.05/70.37	    num=62, depth=161..181, filters=1716440, wck=67.038, mem=134M934
75.05/70.37	    decisions=170223, wrong=80233, backtracks=67683, failedAssignments=40398, nogoods=451
75.05/70.37	    nFilterCalls=1048610, avgTableProportion=0.9615384615258089, avgTableSize=25.0
75.05/70.37	    
84.86/80.15	    num=63, depth=155..363, filters=1895784, wck=76.818, mem=134M934
84.86/80.15	    decisions=188302, wrong=89141, backtracks=75039, failedAssignments=44450, nogoods=472
84.86/80.15	    nFilterCalls=1155646, avgTableProportion=0.9615384615236633, avgTableSize=25.0
84.86/80.15	    
88.65/83.95	    num=64, depth=158..184, filters=1999988, wck=80.619, mem=134M934
88.65/83.95	    decisions=204300, wrong=97059, backtracks=82089, failedAssignments=48907, nogoods=479
88.65/83.95	    nFilterCalls=1211863, avgTableProportion=0.9615384615226881, avgTableSize=25.0
88.65/83.95	    
92.75/88.08	    num=65, depth=136..161, filters=2076520, wck=84.755, mem=137M576
92.75/88.08	    decisions=222032, wrong=105855, backtracks=90016, failedAssignments=53810, nogoods=487
92.75/88.08	    nFilterCalls=1249169, avgTableProportion=0.9615384615220894, avgTableSize=25.0
92.75/88.08	    
126.46/121.73	    num=66, depth=90..274, filters=2449488, wck=118.4, mem=137M576
126.46/121.73	    decisions=238273, wrong=113858, backtracks=97371, failedAssignments=59204, nogoods=500
126.46/121.73	    nFilterCalls=1482881, avgTableProportion=0.9615384615190242, avgTableSize=25.0
126.46/121.73	    
175.96/171.23	    num=67, depth=72..272, filters=3054990, wck=167.899, mem=137M576
175.96/171.23	    decisions=259247, wrong=124246, backtracks=104910, failedAssignments=65137, nogoods=529
175.96/171.23	    nFilterCalls=1869405, avgTableProportion=0.9615384615156369, avgTableSize=25.0
175.96/171.23	    
248.78/244.04	    num=68, depth=68..281, filters=4460953, wck=240.713, mem=137M576
248.78/244.04	    decisions=286405, wrong=137721, backtracks=114449, failedAssignments=71663, nogoods=538
248.78/244.04	    nFilterCalls=2825638, avgTableProportion=0.9615384615112391, avgTableSize=25.0
248.78/244.04	    
256.37/251.68	    num=69, depth=61..234, filters=4748548, wck=248.346, mem=140M218
256.37/251.68	    decisions=316771, wrong=152813, backtracks=126366, failedAssignments=78842, nogoods=543
256.37/251.68	    nFilterCalls=2974450, avgTableProportion=0.961538461510809, avgTableSize=25.0
256.37/251.68	    
332.08/327.34	    num=70, depth=88..277, filters=6538306, wck=324.011, mem=140M218
332.08/327.34	    decisions=344238, wrong=166438, backtracks=139446, failedAssignments=86739, nogoods=560
332.08/327.34	    nFilterCalls=4190092, avgTableProportion=0.9615384615084394, avgTableSize=25.0
332.08/327.34	    
360.80/356.02	    num=71, depth=91..256, filters=7484443, wck=352.688, mem=142M778
360.80/356.02	    decisions=384505, wrong=186465, backtracks=156267, failedAssignments=95426, nogoods=583
360.80/356.02	    nFilterCalls=4818443, avgTableProportion=0.9615384615517872, avgTableSize=25.0
360.80/356.02	    
370.12/365.32	    num=72, depth=112..245, filters=7703715, wck=361.989, mem=142M778
370.12/365.32	    decisions=424719, wrong=206469, backtracks=171963, failedAssignments=104981, nogoods=590
370.12/365.32	    nFilterCalls=4955797, avgTableProportion=0.9615384615633312, avgTableSize=25.0
370.12/365.32	    
386.28/381.45	    num=73, depth=137..260, filters=8258498, wck=378.116, mem=47M849
386.28/381.45	    decisions=465999, wrong=227016, backtracks=189587, failedAssignments=115492, nogoods=600
386.28/381.45	    nFilterCalls=5301746, avgTableProportion=0.9615384615897564, avgTableSize=25.0
386.28/381.45	    
405.89/401.09	    num=74, depth=148..414, filters=8752652, wck=397.765, mem=47M849
405.89/401.09	    decisions=515926, wrong=251793, backtracks=210344, failedAssignments=127054, nogoods=618
405.89/401.09	    nFilterCalls=5567114, avgTableProportion=0.9615384616078007, avgTableSize=25.0
405.89/401.09	    
519.93/515.02	    num=75, depth=150..330, filters=10537282, wck=511.689, mem=50M439
519.93/515.02	    decisions=571894, wrong=279651, backtracks=236176, failedAssignments=139772, nogoods=630
519.93/515.02	    nFilterCalls=6710092, avgTableProportion=0.9615384616692075, avgTableSize=25.0
519.93/515.02	    
666.14/661.27	    num=76, depth=182..266, filters=12490041, wck=657.936, mem=53M28
666.14/661.27	    decisions=627710, wrong=307454, backtracks=257597, failedAssignments=153762, nogoods=642
666.14/661.27	    nFilterCalls=8082457, avgTableProportion=0.9615384617199926, avgTableSize=25.0
666.14/661.27	    
748.15/743.24	    num=77, depth=193..403, filters=14304387, wck=739.908, mem=53M28
748.15/743.24	    decisions=689810, wrong=338395, backtracks=281682, failedAssignments=169151, nogoods=660
748.15/743.24	    nFilterCalls=9245505, avgTableProportion=0.9615384617512289, avgTableSize=25.0
748.15/743.24	    
770.07/765.19	    num=78, depth=213..274, filters=14797476, wck=761.863, mem=55M617
770.07/765.19	    decisions=757612, wrong=372180, backtracks=307766, failedAssignments=186079, nogoods=671
770.07/765.19	    nFilterCalls=9550615, avgTableProportion=0.9615384617581637, avgTableSize=25.0
770.07/765.19	    
799.26/794.31	    num=79, depth=222..392, filters=15722899, wck=790.98, mem=58M207
799.26/794.31	    decisions=820338, wrong=403403, backtracks=333590, failedAssignments=204700, nogoods=706
799.26/794.31	    nFilterCalls=10221639, avgTableProportion=0.9615384617719588, avgTableSize=25.0
799.26/794.31	    
828.66/823.77	    num=80, depth=213..281, filters=16519551, wck=820.435, mem=60M796
828.66/823.77	    decisions=897860, wrong=442046, backtracks=368222, failedAssignments=225184, nogoods=732
828.66/823.77	    nFilterCalls=10757124, avgTableProportion=0.9615384617817326, avgTableSize=25.0
828.66/823.77	    
847.08/842.16	    num=81, depth=182..231, filters=16835931, wck=838.825, mem=63M386
847.08/842.16	    decisions=979530, wrong=482787, backtracks=404824, failedAssignments=247716, nogoods=740
847.08/842.16	    nFilterCalls=10935291, avgTableProportion=0.9615384617847724, avgTableSize=25.0
847.08/842.16	    
866.87/861.95	    num=82, depth=143..180, filters=17134037, wck=858.618, mem=65M975
866.87/861.95	    decisions=1068591, wrong=527243, backtracks=445163, failedAssignments=272501, nogoods=749
866.87/861.95	    nFilterCalls=11087841, avgTableProportion=0.9615384617872975, avgTableSize=25.0
866.87/861.95	    
898.17/893.21	    num=83, depth=60..309, filters=17876243, wck=889.882, mem=71M154
898.17/893.21	    decisions=1170215, wrong=577937, backtracks=486555, failedAssignments=299765, nogoods=769
898.17/893.21	    nFilterCalls=11533571, avgTableProportion=0.9615384617942927, avgTableSize=25.0
898.17/893.21	    
965.28/960.38	    num=84, depth=53..392, filters=20159823, wck=957.045, mem=73M743
965.28/960.38	    decisions=1292317, wrong=638869, backtracks=535323, failedAssignments=329755, nogoods=793
965.28/960.38	    nFilterCalls=13116011, avgTableProportion=0.9615384618152869, avgTableSize=25.0
965.28/960.38	    
1234.32/1229.35	    num=85, depth=54..249, filters=24526205, wck=1226.015, mem=78M922
1234.32/1229.35	    decisions=1419525, wrong=702373, backtracks=585918, failedAssignments=362744, nogoods=819
1234.32/1229.35	    nFilterCalls=16044741, avgTableProportion=0.9615384618432177, avgTableSize=25.0
1234.32/1229.35	    
1286.83/1281.85	    num=86, depth=56..441, filters=25560186, wck=1278.519, mem=84M100
1286.83/1281.85	    decisions=1584559, wrong=784701, backtracks=660490, failedAssignments=399032, nogoods=866
1286.83/1281.85	    nFilterCalls=16592607, avgTableProportion=0.9615384618473478, avgTableSize=25.0
1286.83/1281.85	    
1352.44/1347.40	    num=87, depth=57..448, filters=27280977, wck=1344.07, mem=89M279
1352.44/1347.40	    decisions=1761089, wrong=872782, backtracks=739551, failedAssignments=438949, nogoods=912
1352.44/1347.40	    nFilterCalls=17595626, avgTableProportion=0.9615384618386476, avgTableSize=25.0
1352.44/1347.40	    
1425.85/1420.89	    num=88, depth=57..353, filters=30156791, wck=1417.564, mem=97M47
1425.85/1420.89	    decisions=1974436, wrong=979304, backtracks=832195, failedAssignments=482858, nogoods=930
1425.85/1420.89	    nFilterCalls=19657990, avgTableProportion=0.9615384616568357, avgTableSize=25.0
1425.85/1420.89	    
1510.47/1505.47	    num=89, depth=64..366, filters=32236286, wck=1502.138, mem=104M815
1510.47/1505.47	    decisions=2204472, wrong=1094159, backtracks=934309, failedAssignments=531158, nogoods=950
1510.47/1505.47	    nFilterCalls=20790462, avgTableProportion=0.9615384615723418, avgTableSize=25.0
1510.47/1505.47	    
1560.57/1555.57	    num=90, depth=111..352, filters=33666942, wck=1552.239, mem=109M994
1560.57/1555.57	    decisions=2440094, wrong=1211862, backtracks=1030380, failedAssignments=584288, nogoods=966
1560.57/1555.57	    nFilterCalls=21538924, avgTableProportion=0.9615384615213757, avgTableSize=25.0
1560.57/1555.57	    
1924.92/1919.82	    num=91, depth=143..381, filters=38869731, wck=1916.491, mem=117M762
1924.92/1919.82	    decisions=2681038, wrong=1332174, backtracks=1123371, failedAssignments=642731, nogoods=987
1924.92/1919.82	    nFilterCalls=24871162, avgTableProportion=0.9615384613316977, avgTableSize=25.0
1924.92/1919.82	    
2157.85/2152.74	    num=92, depth=198..403, filters=42641583, wck=2149.412, mem=128M120
2157.85/2152.74	    decisions=2976733, wrong=1479850, backtracks=1256739, failedAssignments=707018, nogoods=1003
2157.85/2152.74	    nFilterCalls=27181285, avgTableProportion=0.9615384612274972, avgTableSize=25.0
2157.85/2152.74	    
2372.98/2367.88	    num=93, depth=227..382, filters=46017312, wck=2364.554, mem=138M477
2372.98/2367.88	    decisions=3282056, wrong=1632364, backtracks=1386920, failedAssignments=777734, nogoods=1026
2372.98/2367.88	    nFilterCalls=29396299, avgTableProportion=0.9615384611429665, avgTableSize=25.0
2372.98/2367.88

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390535-1568383117/watcher-4390535-1568383117 -o /tmp/evaluation-result-4390535-1568383117/solver-4390535-1568383117 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323894939-836 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390535-1568383117.xml -cm 

running on 4 cores: 4-7

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


[startup+0.100376 s]*
/proc/loadavg: 1.79 1.92 1.86 3/228 1436
/proc/meminfo: memFree=27497436/32770688 swapFree=66919992/67108860
[pid=1421] ppid=1418 vsize=10659884 memory=27056 CPUtime=0.12 cores=4-7
/proc/1421/stat : 1421 (java) S 1418 1421 804 0 -1 1077944320 5363 0 0 0 11 1 0 0 20 0 15 0 414318022 10915721216 6764 33554432000 4194304 4196468 140720913145856 140720913128400 139620801531639 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
/proc/1421/statm: 2664971 6764 2808 1 0 2627468 0
[pid=1421/tid=1423] ppid=1418 vsize=10659884 memory=8389772277269004345 CPUtime=0.09 cores=4-7
/proc/1421/task/1423/stat : 1423 (java) R 1418 1421 804 0 -1 4202560 3254 0 0 0 9 0 0 0 20 0 15 0 414318022 10915721216 6896 33554432000 4194304 4196468 140720913145856 139620805762080 139620801543574 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1424] ppid=1418 vsize=10659884 memory=288292155783643159 CPUtime=0 cores=4-7
/proc/1421/task/1424/stat : 1424 (java) S 1418 1421 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414318023 10915721216 6896 33554432000 4194304 4196468 140720913145856 139620738222608 139620801541845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1425] ppid=1418 vsize=10659884 memory=139681719922216 CPUtime=0 cores=4-7
/proc/1421/task/1425/stat : 1425 (java) S 1418 1421 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414318023 10915721216 6896 33554432000 4194304 4196468 140720913145856 139620737170064 139620801541845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1426] ppid=1418 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/1421/task/1426/stat : 1426 (java) S 1418 1421 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414318023 10915721216 6896 33554432000 4194304 4196468 140720913145856 139620736117008 139620801541845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1427] ppid=1418 vsize=10659884 memory=-1 CPUtime=0 cores=4-7
/proc/1421/task/1427/stat : 1427 (java) S 1418 1421 804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414318023 10915721216 6896 33554432000 4194304 4196468 140720913145856 139620735064464 139620801541845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1428] ppid=1418 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/1421/task/1428/stat : 1428 (java) S 1418 1421 804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414318024 10915721216 6896 33554432000 4194304 4196468 140720913145856 139620293303024 139620801542786 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1429] ppid=1418 vsize=10659884 memory=-1 CPUtime=0 cores=4-7
/proc/1421/task/1429/stat : 1429 (java) S 1418 1421 804 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414318025 10915721216 6896 33554432000 4194304 4196468 140720913145856 139620292249248 139620801541845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1430] ppid=1418 vsize=10659884 memory=139681719903872 CPUtime=0 cores=4-7
/proc/1421/task/1430/stat : 1430 (java) S 1418 1421 804 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414318025 10915721216 6896 33554432000 4194304 4196468 140720913145856 139620291196144 139620801541845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1431] ppid=1418 vsize=10659884 memory=-1 CPUtime=0 cores=4-7
/proc/1421/task/1431/stat : 1431 (java) S 1418 1421 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414318028 10915721216 6896 33554432000 4194304 4196468 140720913145856 139620290144720 139620801550235 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1432] ppid=1418 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/1421/task/1432/stat : 1432 (java) S 1418 1421 804 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 15 0 414318028 10915721216 6896 33554432000 4194304 4196468 140720913145856 139620289091824 139620801542786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1433] ppid=1418 vsize=10659884 memory=-1 CPUtime=0 cores=4-7
/proc/1421/task/1433/stat : 1433 (java) S 1418 1421 804 0 -1 1077944384 130 0 0 0 0 0 0 0 20 0 15 0 414318028 10915721216 6896 33554432000 4194304 4196468 140720913145856 139620288039280 139620801542786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1434] ppid=1418 vsize=10659884 memory=0 CPUtime=0.01 cores=4-7
/proc/1421/task/1434/stat : 1434 (java) R 1418 1421 804 0 -1 4202560 331 0 0 0 1 0 0 0 20 0 15 0 414318028 10915721216 6896 33554432000 4194304 4196468 140720913145856 139620286986224 139620801543574 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1435] ppid=1418 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/1421/task/1435/stat : 1435 (java) S 1418 1421 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414318028 10915721216 6896 33554432000 4194304 4196468 140720913145856 139620285933920 139620801541845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1436] ppid=1418 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/1421/task/1436/stat : 1436 (java) S 1418 1421 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414318028 10915721216 6896 33554432000 4194304 4196468 140720913145856 139620284881968 139620801542786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27056 KiB

[startup+0.218033 s]*
/proc/loadavg: 1.79 1.92 1.86 3/228 1436
/proc/meminfo: memFree=27489808/32770688 swapFree=66919992/67108860
[pid=1421] ppid=1418 vsize=10659884 memory=35416 CPUtime=0.34 cores=4-7
/proc/1421/stat : 1421 (java) S 1418 1421 804 0 -1 1077944320 6948 0 0 0 33 1 0 0 20 0 15 0 414318022 10915721216 8854 33554432000 4194304 4196468 140720913145856 140720913128400 139620801531639 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
/proc/1421/statm: 2664971 8854 2988 1 0 2627468 0
[pid=1421/tid=1423] ppid=1418 vsize=10659884 memory=8389772277269004345 CPUtime=0.21 cores=4-7
/proc/1421/task/1423/stat : 1423 (java) R 1418 1421 804 0 -1 4202560 3866 0 0 0 20 1 0 0 20 0 15 0 414318022 10915721216 8854 33554432000 4194304 4196468 140720913145856 139620805758000 139620801553565 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1424] ppid=1418 vsize=10659884 memory=288292155783643159 CPUtime=0 cores=4-7
/proc/1421/task/1424/stat : 1424 (java) S 1418 1421 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414318023 10915721216 8854 33554432000 4194304 4196468 140720913145856 139620738222608 139620801541845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1425] ppid=1418 vsize=10659884 memory=139681719922216 CPUtime=0 cores=4-7
/proc/1421/task/1425/stat : 1425 (java) S 1418 1421 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414318023 10915721216 8854 33554432000 4194304 4196468 140720913145856 139620737170064 139620801541845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1426] ppid=1418 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/1421/task/1426/stat : 1426 (java) S 1418 1421 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414318023 10915721216 8854 33554432000 4194304 4196468 140720913145856 139620736117008 139620801541845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1427] ppid=1418 vsize=10659884 memory=-1 CPUtime=0 cores=4-7
/proc/1421/task/1427/stat : 1427 (java) S 1418 1421 804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414318023 10915721216 8854 33554432000 4194304 4196468 140720913145856 139620735064464 139620801541845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1428] ppid=1418 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/1421/task/1428/stat : 1428 (java) S 1418 1421 804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414318024 10915721216 8854 33554432000 4194304 4196468 140720913145856 139620293303024 139620801542786 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1429] ppid=1418 vsize=10659884 memory=-1 CPUtime=0 cores=4-7
/proc/1421/task/1429/stat : 1429 (java) S 1418 1421 804 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414318025 10915721216 8854 33554432000 4194304 4196468 140720913145856 139620292249248 139620801541845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1430] ppid=1418 vsize=10659884 memory=139681719903872 CPUtime=0 cores=4-7
/proc/1421/task/1430/stat : 1430 (java) S 1418 1421 804 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414318025 10915721216 8854 33554432000 4194304 4196468 140720913145856 139620291196144 139620801541845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1431] ppid=1418 vsize=10659884 memory=-1 CPUtime=0 cores=4-7
/proc/1421/task/1431/stat : 1431 (java) S 1418 1421 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414318028 10915721216 8854 33554432000 4194304 4196468 140720913145856 139620290144720 139620801550235 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1432] ppid=1418 vsize=10659884 memory=0 CPUtime=0.03 cores=4-7
/proc/1421/task/1432/stat : 1432 (java) S 1418 1421 804 0 -1 1077944384 663 0 0 0 3 0 0 0 20 0 15 0 414318028 10915721216 8854 33554432000 4194304 4196468 140720913145856 139620289091824 139620801542786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1433] ppid=1418 vsize=10659884 memory=-1 CPUtime=0.03 cores=4-7
/proc/1421/task/1433/stat : 1433 (java) S 1418 1421 804 0 -1 1077944384 385 0 0 0 3 0 0 0 20 0 15 0 414318028 10915721216 8854 33554432000 4194304 4196468 140720913145856 139620288039280 139620801542786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1434] ppid=1418 vsize=10659884 memory=0 CPUtime=0.06 cores=4-7
/proc/1421/task/1434/stat : 1434 (java) S 1418 1421 804 0 -1 1077944384 675 0 0 0 6 0 0 0 20 0 15 0 414318028 10915721216 8854 33554432000 4194304 4196468 140720913145856 139620286986224 139620801542786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1435] ppid=1418 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/1421/task/1435/stat : 1435 (java) S 1418 1421 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414318028 10915721216 8854 33554432000 4194304 4196468 140720913145856 139620285933920 139620801541845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1436] ppid=1418 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/1421/task/1436/stat : 1436 (java) S 1418 1421 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414318028 10915721216 8854 33554432000 4194304 4196468 140720913145856 139620284881968 139620801542786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35416 KiB

[startup+0.311409 s]*
/proc/loadavg: 1.79 1.92 1.86 5/228 1436
/proc/meminfo: memFree=27487636/32770688 swapFree=66919992/67108860
[pid=1421] ppid=1418 vsize=10659884 memory=37700 CPUtime=0.48 cores=4-7
/proc/1421/stat : 1421 (java) S 1418 1421 804 0 -1 1077944320 7095 0 0 0 46 2 0 0 20 0 15 0 414318022 10915721216 9425 33554432000 4194304 4196468 140720913145856 140720913128400 139620801531639 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
/proc/1421/statm: 2664971 9425 3000 1 0 2627468 0
[pid=1421/tid=1423] ppid=1418 vsize=10659884 memory=1398722017469774279 CPUtime=0.3 cores=4-7
/proc/1421/task/1423/stat : 1423 (java) R 1418 1421 804 0 -1 4202560 3955 0 0 0 29 1 0 0 20 0 15 0 414318022 10915721216 9425 33554432000 4194304 4196468 140720913145856 139620805766272 139620785575269 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1424] ppid=1418 vsize=10659884 memory=0 CPUtime=0 cores=4-7
/proc/1421/task/1424/stat : 1424 (java) S 1418 1421 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414318023 10915721216 9425 33554432000 4194304 4196468 140720913145856 139620738222608 139620801541845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1425] ppid=1418 vsize=10659884 memory=4294969536 CPUtime=0 cores=4-7
/proc/1421/task/1425/stat : 1425 (java) S 1418 1421 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414318023 10915721216 9425 33554432000 4194304 4196468 140720913145856 139620737170064 139620801541845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1426] ppid=1418 vsize=10659884 memory=2241 CPUtime=0 cores=4-7
/proc/1421/task/1426/stat : 1426 (java) S 1418 1421 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414318023 10915721216 9425 33554432000 4194304 4196468 140720913145856 139620736117008 139620801541845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1427] ppid=1418 vsize=10659884 memory=-1 CPUtime=0 cores=4-7
/proc/1421/task/1427/stat : 1427 (java) S 1418 1421 804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414318023 10915721216 9425 33554432000 4194304 4196468 140720913145856 139620735064464 139620801541845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1428] ppid=1418 vsize=10659884 memory=279363195168736 CPUtime=0 cores=4-7
/proc/1421/task/1428/stat : 1428 (java) S 1418 1421 804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414318024 10915721216 9425 33554432000 4194304 4196468 140720913145856 139620293303024 139620801542786 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1429] ppid=1418 vsize=10659884 memory=67 CPUtime=0 cores=4-7
/proc/1421/task/1429/stat : 1429 (java) S 1418 1421 804 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414318025 10915721216 9425 33554432000 4194304 4196468 140720913145856 139620292249248 139620801541845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1430] ppid=1418 vsize=10659884 memory=279363317488240 CPUtime=0 cores=4-7
/proc/1421/task/1430/stat : 1430 (java) S 1418 1421 804 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414318025 10915721216 9425 33554432000 4194304 4196468 140720913145856 139620291196144 139620801541845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1431] ppid=1418 vsize=10659884 memory=67 CPUtime=0 cores=4-7
/proc/1421/task/1431/stat : 1431 (java) S 1418 1421 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414318028 10915721216 9425 33554432000 4194304 4196468 140720913145856 139620290144720 139620801550235 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1432] ppid=1418 vsize=10659884 memory=0 CPUtime=0.04 cores=4-7
/proc/1421/task/1432/stat : 1432 (java) S 1418 1421 804 0 -1 1077944384 698 0 0 0 4 0 0 0 20 0 15 0 414318028 10915721216 9425 33554432000 4194304 4196468 140720913145856 139620289091824 139620801542786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1433] ppid=1418 vsize=10659884 memory=23 CPUtime=0.04 cores=4-7
/proc/1421/task/1433/stat : 1433 (java) S 1418 1421 804 0 -1 1077944384 401 0 0 0 4 0 0 0 20 0 15 0 414318028 10915721216 9425 33554432000 4194304 4196468 140720913145856 139620288039280 139620801542786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1434] ppid=1418 vsize=10659884 memory=279363195094480 CPUtime=0.07 cores=4-7
/proc/1421/task/1434/stat : 1434 (java) S 1418 1421 804 0 -1 1077944384 694 0 0 0 7 0 0 0 20 0 15 0 414318028 10915721216 9425 33554432000 4194304 4196468 140720913145856 139620286986224 139620801542786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1435] ppid=1418 vsize=10659884 memory=279363194994216 CPUtime=0 cores=4-7
/proc/1421/task/1435/stat : 1435 (java) S 1418 1421 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414318028 10915721216 9425 33554432000 4194304 4196468 140720913145856 139620285933920 139620801541845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1436] ppid=1418 vsize=10659884 memory=12 CPUtime=0 cores=4-7
/proc/1421/task/1436/stat : 1436 (java) S 1418 1421 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414318028 10915721216 9425 33554432000 4194304 4196468 140720913145856 139620284881968 139620801542786 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37700 KiB

[startup+0.700804 s]
/proc/loadavg: 1.79 1.92 1.86 3/228 1436
/proc/meminfo: memFree=27474816/32770688 swapFree=66919992/67108860
[pid=1421] ppid=1418 vsize=10661932 memory=58816 CPUtime=1.11 cores=4-7
/proc/1421/stat : 1421 (java) S 1418 1421 804 0 -1 1077944320 12889 0 0 0 107 4 0 0 20 0 15 0 414318022 10917818368 14704 33554432000 4194304 4196468 140720913145856 140720913128400 139620801531639 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
/proc/1421/statm: 2665483 14704 3060 1 0 2627980 0
[pid=1421/tid=1423] ppid=1418 vsize=10661932 memory=46424 CPUtime=0.68 cores=4-7
/proc/1421/task/1423/stat : 1423 (java) R 1418 1421 804 0 -1 4202560 8646 0 0 0 65 3 0 0 20 0 15 0 414318022 10917818368 14704 33554432000 4194304 4196468 140720913145856 139620805764480 139620801553565 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1424] ppid=1418 vsize=10661932 memory=984 CPUtime=0 cores=4-7
/proc/1421/task/1424/stat : 1424 (java) S 1418 1421 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414318023 10917818368 14704 33554432000 4194304 4196468 140720913145856 139620738222608 139620801541845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1425] ppid=1418 vsize=10661932 memory=59 CPUtime=0 cores=4-7
/proc/1421/task/1425/stat : 1425 (java) S 1418 1421 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414318023 10917818368 14704 33554432000 4194304 4196468 140720913145856 139620737170064 139620801541845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1426] ppid=1418 vsize=10661932 memory=0 CPUtime=0 cores=4-7
/proc/1421/task/1426/stat : 1426 (java) S 1418 1421 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414318023 10917818368 14704 33554432000 4194304 4196468 140720913145856 139620736117008 139620801541845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1427] ppid=1418 vsize=10661932 memory=0 CPUtime=0 cores=4-7
/proc/1421/task/1427/stat : 1427 (java) S 1418 1421 804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414318023 10917818368 14704 33554432000 4194304 4196468 140720913145856 139620735064464 139620801541845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1428] ppid=1418 vsize=10661932 memory=0 CPUtime=0 cores=4-7
/proc/1421/task/1428/stat : 1428 (java) S 1418 1421 804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414318024 10917818368 14704 33554432000 4194304 4196468 140720913145856 139620293303024 139620801542786 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1429] ppid=1418 vsize=10661932 memory=0 CPUtime=0 cores=4-7
/proc/1421/task/1429/stat : 1429 (java) S 1418 1421 804 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414318025 10917818368 14704 33554432000 4194304 4196468 140720913145856 139620292249248 139620801541845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1430] ppid=1418 vsize=10661932 memory=0 CPUtime=0 cores=4-7
/proc/1421/task/1430/stat : 1430 (java) S 1418 1421 804 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414318025 10917818368 14704 33554432000 4194304 4196468 140720913145856 139620291196144 139620801541845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1431] ppid=1418 vsize=10661932 memory=0 CPUtime=0 cores=4-7
/proc/1421/task/1431/stat : 1431 (java) S 1418 1421 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414318028 10917818368 14704 33554432000 4194304 4196468 140720913145856 139620290144720 139620801550235 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1432] ppid=1418 vsize=10661932 memory=0 CPUtime=0.12 cores=4-7
/proc/1421/task/1432/stat : 1432 (java) S 1418 1421 804 0 -1 1077944384 1012 0 0 0 12 0 0 0 20 0 15 0 414318028 10917818368 14704 33554432000 4194304 4196468 140720913145856 139620289091824 139620801542786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1433] ppid=1418 vsize=10661932 memory=110 CPUtime=0.1 cores=4-7
/proc/1421/task/1433/stat : 1433 (java) S 1418 1421 804 0 -1 1077944384 706 0 0 0 10 0 0 0 20 0 15 0 414318028 10917818368 14704 33554432000 4194304 4196468 140720913145856 139620288039280 139620801542786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1434] ppid=1418 vsize=10661932 memory=0 CPUtime=0.18 cores=4-7
/proc/1421/task/1434/stat : 1434 (java) S 1418 1421 804 0 -1 1077944384 1166 0 0 0 18 0 0 0 20 0 15 0 414318028 10917818368 14704 33554432000 4194304 4196468 140720913145856 139620286986224 139620801542786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1435] ppid=1418 vsize=10661932 memory=145814810928595 CPUtime=0 cores=4-7
/proc/1421/task/1435/stat : 1435 (java) S 1418 1421 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414318028 10917818368 14704 33554432000 4194304 4196468 140720913145856 139620285933920 139620801541845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1436] ppid=1418 vsize=10661932 memory=0 CPUtime=0 cores=4-7
/proc/1421/task/1436/stat : 1436 (java) S 1418 1421 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414318028 10917818368 14704 33554432000 4194304 4196468 140720913145856 139620284881968 139620801542786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 58816 KiB

[startup+1.50077 s]
/proc/loadavg: 1.79 1.92 1.86 3/228 1436
/proc/meminfo: memFree=27457816/32770688 swapFree=66919992/67108860
[pid=1421] ppid=1418 vsize=10663980 memory=72480 CPUtime=1.97 cores=4-7
/proc/1421/stat : 1421 (java) S 1418 1421 804 0 -1 1077944320 17378 0 0 0 192 5 0 0 20 0 15 0 414318022 10919915520 18120 33554432000 4194304 4196468 140720913145856 140720913128400 139620801531639 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
/proc/1421/statm: 2665995 18120 3084 1 0 2628492 0
[pid=1421/tid=1423] ppid=1418 vsize=10663980 memory=0 CPUtime=1.48 cores=4-7
/proc/1421/task/1423/stat : 1423 (java) R 1418 1421 804 0 -1 4202560 12582 0 0 0 144 4 0 0 20 0 15 0 414318022 10919915520 18120 33554432000 4194304 4196468 140720913145856 139620805748576 139620785612126 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1424] ppid=1418 vsize=10663980 memory=0 CPUtime=0 cores=4-7
/proc/1421/task/1424/stat : 1424 (java) S 1418 1421 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414318023 10919915520 18120 33554432000 4194304 4196468 140720913145856 139620738222608 139620801541845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1425] ppid=1418 vsize=10663980 memory=0 CPUtime=0 cores=4-7
/proc/1421/task/1425/stat : 1425 (java) S 1418 1421 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414318023 10919915520 18120 33554432000 4194304 4196468 140720913145856 139620737170064 139620801541845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1426] ppid=1418 vsize=10663980 memory=-1807685289704791692 CPUtime=0 cores=4-7
/proc/1421/task/1426/stat : 1426 (java) S 1418 1421 804 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414318023 10919915520 18120 33554432000 4194304 4196468 140720913145856 139620736117008 139620801541845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1427] ppid=1418 vsize=10663980 memory=0 CPUtime=0 cores=4-7
/proc/1421/task/1427/stat : 1427 (java) S 1418 1421 804 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414318023 10919915520 18120 33554432000 4194304 4196468 140720913145856 139620735064464 139620801541845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1428] ppid=1418 vsize=10663980 memory=-1664385933527490352 CPUtime=0 cores=4-7
/proc/1421/task/1428/stat : 1428 (java) S 1418 1421 804 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 414318024 10919915520 18120 33554432000 4194304 4196468 140720913145856 139620293303024 139620801542786 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0

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

/proc/1421/task/1427/stat : 1427 (java) S 1418 1421 804 0 -1 1077944384 295 0 0 0 2 1 0 0 20 0 16 0 414318023 11006283776 74191 33554432000 4194304 4196468 140720913145856 139620735064464 139620801541845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1428] ppid=1418 vsize=10748324 memory=296764 CPUtime=0.04 cores=4-7
/proc/1421/task/1428/stat : 1428 (java) S 1418 1421 804 0 -1 1077944384 1847 0 0 0 2 2 0 0 20 0 16 0 414318024 11006283776 74191 33554432000 4194304 4196468 140720913145856 139620293303024 139620801542786 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1429] ppid=1418 vsize=10748324 memory=296764 CPUtime=0 cores=4-7
/proc/1421/task/1429/stat : 1429 (java) S 1418 1421 804 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414318025 11006283776 74191 33554432000 4194304 4196468 140720913145856 139620292249312 139620801541845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1430] ppid=1418 vsize=10748324 memory=296764 CPUtime=0 cores=4-7
/proc/1421/task/1430/stat : 1430 (java) S 1418 1421 804 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 16 0 414318025 11006283776 74191 33554432000 4194304 4196468 140720913145856 139620291196160 139620801541845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1431] ppid=1418 vsize=10748324 memory=2828 CPUtime=0 cores=4-7
/proc/1421/task/1431/stat : 1431 (java) S 1418 1421 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414318028 11006283776 74191 33554432000 4194304 4196468 140720913145856 139620290144720 139620801550235 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1432] ppid=1418 vsize=10748324 memory=296764 CPUtime=1.81 cores=4-7
/proc/1421/task/1432/stat : 1432 (java) S 1418 1421 804 0 -1 1077944384 7521 0 0 0 181 0 0 0 20 0 16 0 414318028 11006283776 74191 33554432000 4194304 4196468 140720913145856 139620289091824 139620801542786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1433] ppid=1418 vsize=10748324 memory=296764 CPUtime=2.01 cores=4-7
/proc/1421/task/1433/stat : 1433 (java) S 1418 1421 804 0 -1 1077944384 11499 0 0 0 199 2 0 0 20 0 16 0 414318028 11006283776 74191 33554432000 4194304 4196468 140720913145856 139620288039280 139620801542786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1434] ppid=1418 vsize=10748324 memory=296764 CPUtime=0.95 cores=4-7
/proc/1421/task/1434/stat : 1434 (java) S 1418 1421 804 0 -1 1077944384 7673 0 0 0 92 3 0 0 20 0 16 0 414318028 11006283776 74191 33554432000 4194304 4196468 140720913145856 139620286986224 139620801542786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1435] ppid=1418 vsize=10748324 memory=1964 CPUtime=0 cores=4-7
/proc/1421/task/1435/stat : 1435 (java) S 1418 1421 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414318028 11006283776 74191 33554432000 4194304 4196468 140720913145856 139620285933920 139620801541845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1436] ppid=1418 vsize=10748324 memory=2776 CPUtime=0.5 cores=4-7
/proc/1421/task/1436/stat : 1436 (java) S 1418 1421 804 0 -1 1077944384 1386 0 0 0 18 32 0 0 20 0 16 0 414318028 11006283776 74191 33554432000 4194304 4196468 140720913145856 139620284881968 139620801542786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1437] ppid=1418 vsize=10748324 memory=296764 CPUtime=2379.89 cores=4-7
/proc/1421/task/1437/stat : 1437 (java) R 1418 1421 804 0 -1 4202560 23160 0 0 0 237985 4 0 0 20 0 16 0 414318232 11006283776 74191 33554432000 4194304 4196468 140720913145856 139620267987120 139620419434704 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
Current children cumulated CPU time: 2387.48 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 296764 KiB

[startup+2442.3 s]
/proc/loadavg: 1.88 1.84 1.86 3/230 1744
/proc/meminfo: memFree=27321976/32770688 swapFree=66919992/67108860
[pid=1421] ppid=1418 vsize=10748324 memory=296764 CPUtime=2447.49 cores=4-7
/proc/1421/stat : 1421 (java) S 1418 1421 804 0 -1 1077944320 72564 0 0 0 244695 54 0 0 20 0 16 0 414318022 11006283776 74191 33554432000 4194304 4196468 140720913145856 140720913128400 139620801531639 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
/proc/1421/statm: 2687081 74191 3378 1 0 2647217 0
[pid=1421/tid=1423] ppid=1418 vsize=10748324 memory=296764 CPUtime=2.08 cores=4-7
/proc/1421/task/1423/stat : 1423 (java) S 1418 1421 804 0 -1 1077944384 15572 0 0 0 202 6 0 0 20 0 16 0 414318022 11006283776 74191 33554432000 4194304 4196468 140720913145856 139620805774512 139620801541845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1424] ppid=1418 vsize=10748324 memory=296764 CPUtime=0.03 cores=4-7
/proc/1421/task/1424/stat : 1424 (java) S 1418 1421 804 0 -1 1077944384 180 0 0 0 2 1 0 0 20 0 16 0 414318023 11006283776 74191 33554432000 4194304 4196468 140720913145856 139620738222608 139620801541845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1425] ppid=1418 vsize=10748324 memory=296764 CPUtime=0.03 cores=4-7
/proc/1421/task/1425/stat : 1425 (java) S 1418 1421 804 0 -1 1077944384 189 0 0 0 2 1 0 0 20 0 16 0 414318023 11006283776 74191 33554432000 4194304 4196468 140720913145856 139620737170064 139620801541845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1426] ppid=1418 vsize=10748324 memory=296764 CPUtime=0.03 cores=4-7
/proc/1421/task/1426/stat : 1426 (java) S 1418 1421 804 0 -1 1077944384 1484 0 0 0 2 1 0 0 20 0 16 0 414318023 11006283776 74191 33554432000 4194304 4196468 140720913145856 139620736117008 139620801541845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1427] ppid=1418 vsize=10748324 memory=296764 CPUtime=0.03 cores=4-7
/proc/1421/task/1427/stat : 1427 (java) S 1418 1421 804 0 -1 1077944384 295 0 0 0 2 1 0 0 20 0 16 0 414318023 11006283776 74191 33554432000 4194304 4196468 140720913145856 139620735064464 139620801541845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1428] ppid=1418 vsize=10748324 memory=296764 CPUtime=0.04 cores=4-7
/proc/1421/task/1428/stat : 1428 (java) S 1418 1421 804 0 -1 1077944384 1854 0 0 0 2 2 0 0 20 0 16 0 414318024 11006283776 74191 33554432000 4194304 4196468 140720913145856 139620293303024 139620801542786 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1429] ppid=1418 vsize=10748324 memory=2828 CPUtime=0 cores=4-7
/proc/1421/task/1429/stat : 1429 (java) S 1418 1421 804 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414318025 11006283776 74191 33554432000 4194304 4196468 140720913145856 139620292249312 139620801541845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1430] ppid=1418 vsize=10748324 memory=296764 CPUtime=0 cores=4-7
/proc/1421/task/1430/stat : 1430 (java) S 1418 1421 804 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 16 0 414318025 11006283776 74191 33554432000 4194304 4196468 140720913145856 139620291196160 139620801541845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1431] ppid=1418 vsize=10748324 memory=296764 CPUtime=0 cores=4-7
/proc/1421/task/1431/stat : 1431 (java) S 1418 1421 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414318028 11006283776 74191 33554432000 4194304 4196468 140720913145856 139620290144720 139620801550235 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1432] ppid=1418 vsize=10748324 memory=296764 CPUtime=1.81 cores=4-7
/proc/1421/task/1432/stat : 1432 (java) S 1418 1421 804 0 -1 1077944384 7523 0 0 0 181 0 0 0 20 0 16 0 414318028 11006283776 74191 33554432000 4194304 4196468 140720913145856 139620289091824 139620801542786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1433] ppid=1418 vsize=10748324 memory=296764 CPUtime=2.01 cores=4-7
/proc/1421/task/1433/stat : 1433 (java) S 1418 1421 804 0 -1 1077944384 11507 0 0 0 199 2 0 0 20 0 16 0 414318028 11006283776 74191 33554432000 4194304 4196468 140720913145856 139620288039280 139620801542786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1434] ppid=1418 vsize=10748324 memory=296764 CPUtime=0.95 cores=4-7
/proc/1421/task/1434/stat : 1434 (java) S 1418 1421 804 0 -1 1077944384 7675 0 0 0 92 3 0 0 20 0 16 0 414318028 11006283776 74191 33554432000 4194304 4196468 140720913145856 139620286986224 139620801542786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1435] ppid=1418 vsize=10748324 memory=296764 CPUtime=0 cores=4-7
/proc/1421/task/1435/stat : 1435 (java) S 1418 1421 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414318028 11006283776 74191 33554432000 4194304 4196468 140720913145856 139620285933920 139620801541845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1436] ppid=1418 vsize=10748324 memory=3624 CPUtime=0.52 cores=4-7
/proc/1421/task/1436/stat : 1436 (java) S 1418 1421 804 0 -1 1077944384 1417 0 0 0 19 33 0 0 20 0 16 0 414318028 11006283776 74191 33554432000 4194304 4196468 140720913145856 139620284881968 139620801542786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1437] ppid=1418 vsize=10748324 memory=296764 CPUtime=2439.88 cores=4-7
/proc/1421/task/1437/stat : 1437 (java) R 1418 1421 804 0 -1 4202560 23435 0 0 0 243984 4 0 0 20 0 16 0 414318232 11006283776 74191 33554432000 4194304 4196468 140720913145856 139620267987120 139620419435044 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
Current children cumulated CPU time: 2447.49 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 296764 KiB

[startup+2502.3 s]
/proc/loadavg: 1.96 1.87 1.87 3/230 1756
/proc/meminfo: memFree=27322052/32770688 swapFree=66919992/67108860
[pid=1421] ppid=1418 vsize=10748324 memory=296764 CPUtime=2507.5 cores=4-7
/proc/1421/stat : 1421 (java) S 1418 1421 804 0 -1 1077944320 72825 0 0 0 250696 54 0 0 20 0 16 0 414318022 11006283776 74191 33554432000 4194304 4196468 140720913145856 140720913128400 139620801531639 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
/proc/1421/statm: 2687081 74191 3378 1 0 2647217 0
[pid=1421/tid=1423] ppid=1418 vsize=10748324 memory=296764 CPUtime=2.08 cores=4-7
/proc/1421/task/1423/stat : 1423 (java) S 1418 1421 804 0 -1 1077944384 15572 0 0 0 202 6 0 0 20 0 16 0 414318022 11006283776 74191 33554432000 4194304 4196468 140720913145856 139620805774512 139620801541845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1424] ppid=1418 vsize=10748324 memory=296764 CPUtime=0.03 cores=4-7
/proc/1421/task/1424/stat : 1424 (java) S 1418 1421 804 0 -1 1077944384 180 0 0 0 2 1 0 0 20 0 16 0 414318023 11006283776 74191 33554432000 4194304 4196468 140720913145856 139620738222608 139620801541845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1425] ppid=1418 vsize=10748324 memory=296764 CPUtime=0.03 cores=4-7
/proc/1421/task/1425/stat : 1425 (java) S 1418 1421 804 0 -1 1077944384 189 0 0 0 2 1 0 0 20 0 16 0 414318023 11006283776 74191 33554432000 4194304 4196468 140720913145856 139620737170064 139620801541845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1426] ppid=1418 vsize=10748324 memory=296764 CPUtime=0.03 cores=4-7
/proc/1421/task/1426/stat : 1426 (java) S 1418 1421 804 0 -1 1077944384 1484 0 0 0 2 1 0 0 20 0 16 0 414318023 11006283776 74191 33554432000 4194304 4196468 140720913145856 139620736117008 139620801541845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1427] ppid=1418 vsize=10748324 memory=296764 CPUtime=0.03 cores=4-7
/proc/1421/task/1427/stat : 1427 (java) S 1418 1421 804 0 -1 1077944384 295 0 0 0 2 1 0 0 20 0 16 0 414318023 11006283776 74191 33554432000 4194304 4196468 140720913145856 139620735064464 139620801541845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1428] ppid=1418 vsize=10748324 memory=296764 CPUtime=0.04 cores=4-7
/proc/1421/task/1428/stat : 1428 (java) S 1418 1421 804 0 -1 1077944384 1861 0 0 0 2 2 0 0 20 0 16 0 414318024 11006283776 74191 33554432000 4194304 4196468 140720913145856 139620293303024 139620801542786 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1429] ppid=1418 vsize=10748324 memory=296764 CPUtime=0 cores=4-7
/proc/1421/task/1429/stat : 1429 (java) S 1418 1421 804 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414318025 11006283776 74191 33554432000 4194304 4196468 140720913145856 139620292249312 139620801541845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1430] ppid=1418 vsize=10748324 memory=0 CPUtime=0 cores=4-7
/proc/1421/task/1430/stat : 1430 (java) S 1418 1421 804 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 16 0 414318025 11006283776 74191 33554432000 4194304 4196468 140720913145856 139620291196160 139620801541845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1431] ppid=1418 vsize=10748324 memory=296764 CPUtime=0 cores=4-7
/proc/1421/task/1431/stat : 1431 (java) S 1418 1421 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414318028 11006283776 74191 33554432000 4194304 4196468 140720913145856 139620290144720 139620801550235 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1432] ppid=1418 vsize=10748324 memory=296764 CPUtime=1.81 cores=4-7
/proc/1421/task/1432/stat : 1432 (java) S 1418 1421 804 0 -1 1077944384 7525 0 0 0 181 0 0 0 20 0 16 0 414318028 11006283776 74191 33554432000 4194304 4196468 140720913145856 139620289091824 139620801542786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1433] ppid=1418 vsize=10748324 memory=1712 CPUtime=2.01 cores=4-7
/proc/1421/task/1433/stat : 1433 (java) S 1418 1421 804 0 -1 1077944384 11515 0 0 0 199 2 0 0 20 0 16 0 414318028 11006283776 74191 33554432000 4194304 4196468 140720913145856 139620288039280 139620801542786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1434] ppid=1418 vsize=10748324 memory=5972 CPUtime=0.95 cores=4-7
/proc/1421/task/1434/stat : 1434 (java) S 1418 1421 804 0 -1 1077944384 7677 0 0 0 92 3 0 0 20 0 16 0 414318028 11006283776 74191 33554432000 4194304 4196468 140720913145856 139620286986224 139620801542786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1435] ppid=1418 vsize=10748324 memory=46492 CPUtime=0 cores=4-7
/proc/1421/task/1435/stat : 1435 (java) S 1418 1421 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414318028 11006283776 74191 33554432000 4194304 4196468 140720913145856 139620285933920 139620801541845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1436] ppid=1418 vsize=10748324 memory=984 CPUtime=0.53 cores=4-7
/proc/1421/task/1436/stat : 1436 (java) S 1418 1421 804 0 -1 1077944384 1448 0 0 0 20 33 0 0 20 0 16 0 414318028 11006283776 74191 33554432000 4194304 4196468 140720913145856 139620284881968 139620801542786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1437] ppid=1418 vsize=10748324 memory=296764 CPUtime=2499.87 cores=4-7
/proc/1421/task/1437/stat : 1437 (java) R 1418 1421 804 0 -1 4202560 23646 0 0 0 249983 4 0 0 20 0 16 0 414318232 11006283776 74191 33554432000 4194304 4196468 140720913145856 139620267987120 139620419434744 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
Current children cumulated CPU time: 2507.5 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 296764 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2514.8 s]
/proc/loadavg: 1.97 1.88 1.87 3/230 1756
/proc/meminfo: memFree=27322172/32770688 swapFree=66919992/67108860
[pid=1421] ppid=1418 vsize=10748324 memory=296764 CPUtime=2520 cores=4-7
/proc/1421/stat : 1421 (java) S 1418 1421 804 0 -1 1077944320 72829 0 0 0 251946 54 0 0 20 0 16 0 414318022 11006283776 74191 33554432000 4194304 4196468 140720913145856 140720913128400 139620801531639 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
/proc/1421/statm: 2687081 74191 3378 1 0 2647217 0
[pid=1421/tid=1423] ppid=1418 vsize=10748324 memory=288230591755977018 CPUtime=2.08 cores=4-7
/proc/1421/task/1423/stat : 1423 (java) S 1418 1421 804 0 -1 1077944384 15572 0 0 0 202 6 0 0 20 0 16 0 414318022 11006283776 74191 33554432000 4194304 4196468 140720913145856 139620805774512 139620801541845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1424] ppid=1418 vsize=10748324 memory=13846369794262585 CPUtime=0.03 cores=4-7
/proc/1421/task/1424/stat : 1424 (java) S 1418 1421 804 0 -1 1077944384 180 0 0 0 2 1 0 0 20 0 16 0 414318023 11006283776 74191 33554432000 4194304 4196468 140720913145856 139620738222608 139620801541845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1425] ppid=1418 vsize=10748324 memory=25296 CPUtime=0.03 cores=4-7
/proc/1421/task/1425/stat : 1425 (java) S 1418 1421 804 0 -1 1077944384 189 0 0 0 2 1 0 0 20 0 16 0 414318023 11006283776 74191 33554432000 4194304 4196468 140720913145856 139620737170064 139620801541845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1426] ppid=1418 vsize=10748324 memory=8112282956445269571 CPUtime=0.03 cores=4-7
/proc/1421/task/1426/stat : 1426 (java) S 1418 1421 804 0 -1 1077944384 1484 0 0 0 2 1 0 0 20 0 16 0 414318023 11006283776 74191 33554432000 4194304 4196468 140720913145856 139620736117008 139620801541845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1427] ppid=1418 vsize=10748324 memory=279363195061344 CPUtime=0.03 cores=4-7
/proc/1421/task/1427/stat : 1427 (java) S 1418 1421 804 0 -1 1077944384 295 0 0 0 2 1 0 0 20 0 16 0 414318023 11006283776 74191 33554432000 4194304 4196468 140720913145856 139620735064464 139620801541845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1428] ppid=1418 vsize=10748324 memory=279363196543040 CPUtime=0.04 cores=4-7
/proc/1421/task/1428/stat : 1428 (java) S 1418 1421 804 0 -1 1077944384 1861 0 0 0 2 2 0 0 20 0 16 0 414318024 11006283776 74191 33554432000 4194304 4196468 140720913145856 139620293303024 139620801542786 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1429] ppid=1418 vsize=10748324 memory=7737845393297467496 CPUtime=0 cores=4-7
/proc/1421/task/1429/stat : 1429 (java) S 1418 1421 804 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 414318025 11006283776 74191 33554432000 4194304 4196468 140720913145856 139620292249312 139620801541845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1430] ppid=1418 vsize=10748324 memory=6082509768401381475 CPUtime=0 cores=4-7
/proc/1421/task/1430/stat : 1430 (java) S 1418 1421 804 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 16 0 414318025 11006283776 74191 33554432000 4194304 4196468 140720913145856 139620291196160 139620801541845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1431] ppid=1418 vsize=10748324 memory=7090471659750124135 CPUtime=0 cores=4-7
/proc/1421/task/1431/stat : 1431 (java) S 1418 1421 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414318028 11006283776 74191 33554432000 4194304 4196468 140720913145856 139620290144720 139620801550235 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1432] ppid=1418 vsize=10748324 memory=7740087319014961255 CPUtime=1.81 cores=4-7
/proc/1421/task/1432/stat : 1432 (java) S 1418 1421 804 0 -1 1077944384 7525 0 0 0 181 0 0 0 20 0 16 0 414318028 11006283776 74191 33554432000 4194304 4196468 140720913145856 139620289091824 139620801542786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1433] ppid=1418 vsize=10748324 memory=5868020347246503268 CPUtime=2.01 cores=4-7
/proc/1421/task/1433/stat : 1433 (java) S 1418 1421 804 0 -1 1077944384 11515 0 0 0 199 2 0 0 20 0 16 0 414318028 11006283776 74191 33554432000 4194304 4196468 140720913145856 139620288039280 139620801542786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1434] ppid=1418 vsize=10748324 memory=7013340846366745708 CPUtime=0.95 cores=4-7
/proc/1421/task/1434/stat : 1434 (java) S 1418 1421 804 0 -1 1077944384 7677 0 0 0 92 3 0 0 20 0 16 0 414318028 11006283776 74191 33554432000 4194304 4196468 140720913145856 139620286986224 139620801542786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1435] ppid=1418 vsize=10748324 memory=6011572585352750180 CPUtime=0 cores=4-7
/proc/1421/task/1435/stat : 1435 (java) S 1418 1421 804 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414318028 11006283776 74191 33554432000 4194304 4196468 140720913145856 139620285933920 139620801541845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1436] ppid=1418 vsize=10748324 memory=296764 CPUtime=0.54 cores=4-7
/proc/1421/task/1436/stat : 1436 (java) S 1418 1421 804 0 -1 1077944384 1448 0 0 0 20 34 0 0 20 0 16 0 414318028 11006283776 74191 33554432000 4194304 4196468 140720913145856 139620284881968 139620801542786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
[pid=1421/tid=1437] ppid=1418 vsize=10748324 memory=296764 CPUtime=2512.37 cores=4-7
/proc/1421/task/1437/stat : 1437 (java) R 1418 1421 804 0 -1 4202560 23650 0 0 0 251233 4 0 0 20 0 16 0 414318232 11006283776 74191 33554432000 4194304 4196468 140720913145856 139620267987120 139620419434967 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25698304 140720913146891 140720913146994 140720913146994 140720913149903 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 296764 KiB

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

[startup+2514.81 s]
# the end of solver process 1421 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.47 s, system=0.551977 s

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

Child status: 143
Real time (s): 2514.81
CPU time (s): 2520.02
CPU user time (s): 2519.47
CPU system time (s): 0.551977
CPU usage (%): 100.207
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 296764

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.47
system time used= 0.551977
maximum resident set size= 297636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73209
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1576
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57607
involuntary context switches= 1937


# summary of solver processes directly reported to runsolver:
#   pid: 1421
#   total CPU time (s): 2520.02
#   total CPU user time (s): 2519.47
#   total CPU system time (s): 0.551977

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.6918 second user time and 25.2002 second system time

The end

Launcher Data 

Begin job on node120 at 2011-12-14 22:19:00
IDJOB=4390535
IDBENCH=128124
IDSOLVER=2832
FILE ID=node120/4390535-1568383117
RUNJOBID= node120-1323894939-836
PBS_JOBID= 21701843
Free space on /tmp= 59144 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/CarSequencing/CarSequencing-m1-jcr/CarSequencing-85-05.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4390535-1568383117/watcher-4390535-1568383117 -o /tmp/evaluation-result-4390535-1568383117/solver-4390535-1568383117 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323894939-836 --watchdog 2580  java -cp AbsCon19-06.jar AbsCon HOME/instance-4390535-1568383117.xml -cm

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

MD5SUM BENCH= 5a3f618f89c6aa3a803c36caec9b03ca
RANDOM SEED=993803669

node120.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		: 2667.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.49
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		: 2667.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.49
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		: 2667.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.49
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		: 2667.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.49
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		: 2667.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	: 5329.69
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		: 2667.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	: 5329.69
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		: 2667.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	: 5329.69
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		: 2667.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	: 5329.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770688 kB
MemFree:        27513432 kB
MemAvailable:   31576308 kB
Buffers:          169732 kB
Cached:          4186032 kB
SwapCached:        77548 kB
Active:          1515960 kB
Inactive:        3162576 kB
Active(anon):     245096 kB
Inactive(anon):   126920 kB
Active(file):    1270864 kB
Inactive(file):  3035656 kB
Unevictable:      108228 kB
Mlocked:          108228 kB
SwapTotal:      67108860 kB
SwapFree:       66919992 kB
Dirty:              8652 kB
Writeback:             0 kB
AnonPages:        364560 kB
Mapped:            60432 kB
Shmem:             41008 kB
Slab:             173424 kB
SReclaimable:     144380 kB
SUnreclaim:        29044 kB
KernelStack:        4000 kB
PageTables:         5916 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494204 kB
Committed_AS:    1250364 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350212 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    262144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      146880 kB
DirectMap2M:    33398784 kB

Free space on /tmp at the end= 59136 MiB
End job on node120 at 2011-12-14 23:00:55