Trace number 4390752

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.04 2509.41

General information on the benchmark

NamePseudoBoolean/PseudoBoolean-dec-armies/
Pb-army12-21ls.xml
MD5SUM23e4294b931acf98fdd35eb0662a4341
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 benchmark470.531
Satisfiable
(Un)Satisfiability was proved
Number of variables428
Number of constraints644
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":428}]
Minimum variable degree3
Maximum variable degree14
Distribution of variable degrees[{"degree":3,"count":8},{"degree":4,"count":8},{"degree":5,"count":8},{"degree":6,"count":8},{"degree":7,"count":296},{"degree":8,"count":8},{"degree":9,"count":8},{"degree":10,"count":8},{"degree":11,"count":8},{"degree":12,"count":8},{"degree":13,"count":8},{"degree":14,"count":52}]
Minimum constraint arity2
Maximum constraint arity144
Distribution of constraint arities[{"arity":2,"count":222},{"arity":3,"count":8},{"arity":4,"count":8},{"arity":5,"count":296},{"arity":6,"count":8},{"arity":7,"count":8},{"arity":8,"count":8},{"arity":9,"count":8},{"arity":10,"count":8},{"arity":11,"count":8},{"arity":12,"count":8},{"arity":13,"count":52},{"arity":144,"count":2}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":644}]
Optimization problemNO
Type of objective

Solver Data 

2.41/1.88	
2.41/1.88	AbsCon 2 
2.41/1.90	
3.23/2.11	  Instance
3.23/2.11	    name=instance-4390752-1568384366, framework=CSP
3.23/2.11	
3.23/2.11	  Loading variables...
3.23/2.14	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fd0b2c1
3.23/2.16	  Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@497f1552
3.23/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d7ef2b6
3.23/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b9b060
3.23/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12f8d453
3.23/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a6b92ee
3.23/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ee46030
3.23/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5985cee0
3.23/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d55368c
3.23/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b467ac0
3.23/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@468d4c3b
3.23/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@187b6b45
3.23/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@611bb531
3.23/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e09b1d1
3.23/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16e3af9
3.23/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51a19480
3.23/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19a2d021
3.23/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5fc54a5e
3.23/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65874223
3.23/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ccc2458
3.23/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14bdad95
3.23/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@705d0252
3.23/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@612d03b3
3.23/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64638446
3.23/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b484153
3.23/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7dabfdac
3.23/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@395d456e
3.23/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ef9b163
3.23/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b9bdb7e
3.23/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f8e1c66
3.23/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36d0069b
3.23/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bfec93b
3.23/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@456ca3c1
3.23/2.17	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68dd0a3e
3.23/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f894d48
3.23/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@173fb243
3.23/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21ff8e6a
3.23/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4231d68d
3.23/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7033217b
3.23/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2231d8ff
3.23/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@750f213d
3.23/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70f49cb3
3.23/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17524a45
3.23/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d9872d3
3.23/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@372cb39e
3.23/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b018ab1
3.23/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6509d73a
3.23/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c44beec
3.23/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9ca8dfb
3.23/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@543a29b8
3.23/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@224cb735
3.23/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18782459
3.23/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e0029b
3.23/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13ec8be7
3.23/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@439ad5d5
3.23/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@722d0ad
3.23/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34d4d74d
3.23/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63b5a791
3.23/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ce7064f
3.23/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5dfa0ec8
3.23/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2913d1b2
3.23/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a01c345
3.23/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@136dc7a2
3.23/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10ac77dd
3.23/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69270621
3.23/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4282ebe3
3.23/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5391c438
3.23/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cd480e4
3.23/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45b922a1
3.23/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51acc96a
3.23/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61c88dd3
3.23/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3203a192
3.23/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3af2e621
3.23/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e64e1a8
3.23/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36de814a
3.23/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@188497c0
3.23/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44437955
3.23/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b5d0c41
3.23/2.18	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@199328ae
3.23/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1021c514
3.23/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d182c45
3.23/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f0fcfea
3.23/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2be76bd9
3.23/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@eb77aff
3.23/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11b0efe
3.23/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f706a62
3.23/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@374369e6
3.23/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2dc55ab7
3.23/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58fb65b5
3.23/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e2bb8bd
3.23/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@607caf42
3.23/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58889d3a
3.23/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73ce0a90
3.23/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@df17874
3.23/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15d3d6b0
3.23/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60a94991
3.23/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b6dc44d
3.23/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@acbcc41
3.23/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68630657
3.23/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b7deb5b
3.23/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29d7d9c0
3.23/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1696e28b
3.23/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69eea49e
3.23/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@253007a9
3.23/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44219f33
3.23/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cff4a1e
3.23/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54af9be7
3.23/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@332ec8a7
3.23/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d15651c
3.23/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@336ae6d1
3.23/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d13c79f
3.23/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ca022dc
3.23/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@670f96ab
3.23/2.19	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@428ff95f
3.23/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6161470e
3.23/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5783d3d8
3.23/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@476bb70d
3.23/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38a4d01e
3.23/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4033589c
3.23/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2989bdb1
3.23/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b2e36c2
3.23/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35cc4d94
3.23/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5095421
3.23/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6332bc96
3.23/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cc7cb84
3.23/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1102a35a
3.23/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6105e822
3.57/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11e6d375
3.57/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1896e65a
3.57/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f217788
3.57/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6400a57a
3.57/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1345028b
3.57/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60652028
3.57/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59078dd5
3.57/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a0fb735
3.57/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b28718
3.57/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@203f4d91
3.57/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@273728cc
3.57/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d7208eb
3.57/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56deda52
3.57/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40145341
3.57/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27980017
3.57/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@492ee12e
3.57/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@bf75842
3.57/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f1c703e
3.57/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1114bebc
3.57/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62fae898
3.57/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70a489e8
3.57/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14d2f55c
3.57/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@da5d5de
3.57/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64531d4e
3.57/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@498942ab
3.57/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11a7b18b
3.57/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@737053d6
3.57/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21ab7423
3.57/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e8e47a0
3.57/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c05a893
3.57/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4555d5cd
3.57/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cd8da31
3.57/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6fda0564
3.57/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dc8fcfe
3.57/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6486dfc9
3.57/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43960f3
3.57/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4dc74b3e
3.57/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e1008e1
3.57/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bda3d72
3.57/2.20	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a3be2c4
3.57/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@549c557c
3.57/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30faca3d
3.57/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16df6a1d
3.57/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64483283
3.57/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ec5893a
3.57/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5448fa6a
3.57/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29889525
3.57/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43df3781
3.57/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47d51292
3.57/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15d132a8
3.57/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1cdaed76
3.57/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6cb9528f
3.57/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75e5b018
3.57/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28a6292f
3.57/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@349f3f6c
3.57/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a590d7c
3.57/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a130044
3.57/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56e9bfea
3.57/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52aa7975
3.57/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5636f708
3.57/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d856fe2
3.57/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59f99582
3.57/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d342909
3.57/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45b6744a
3.57/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27df525d
3.57/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34dc4c6a
3.57/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@481066dc
3.57/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fd423a0
3.57/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75b4569b
3.57/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e24eb54
3.57/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48530b4e
3.57/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79116941
3.57/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1242f360
3.57/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@629d37de
3.57/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@798c643b
3.57/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@425f128a
3.57/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26cf943a
3.57/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a421e07
3.57/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48e7504b
3.57/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ebed5f4
3.57/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@530b9eb
3.57/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3be3aee1
3.57/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72a0763a
3.57/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31ed7669
3.57/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49e8821c
3.57/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ee87840
3.57/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@af8cba9
3.57/2.21	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73a3d55e
3.57/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52239b1e
3.57/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@556c651e
3.57/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52a8b138
3.57/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24233ed7
3.57/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49d46e1d
3.57/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c133d93
3.57/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@195c2d15
3.57/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66506692
3.57/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d6237e0
3.57/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a5d979a
3.57/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1705c50b
3.57/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e114e81
3.57/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d6e2480
3.57/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@469c457e
3.57/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a34130a
3.57/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27f4b0b3
3.57/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@784e19b0
3.57/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4474a2f4
3.57/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9172bec
3.57/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11f6d492
3.57/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@417dd9cc
3.57/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33f21124
3.57/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43163be9
3.57/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4cce4d8b
3.57/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a2cee2
3.57/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62a44d09
3.57/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d153802
3.57/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1632a31a
3.57/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e64cb0
3.57/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25d25143
3.57/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e86042e
3.57/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78bb229
3.57/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@249e8f1a
3.57/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b867d80
3.57/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bafa059
3.57/2.22	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@605e9bf
3.57/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63970ef2
3.57/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b8c05a2
3.57/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5313ab99
3.57/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@709ec927
3.57/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@705e3721
3.57/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e342b04
3.57/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29ab48c9
3.57/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@262b347c
3.57/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1192d70a
3.57/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45343a54
3.57/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4122090a
3.57/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44f7e8c
3.57/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e22bbef
3.57/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19517666
3.57/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11c7c280
3.57/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b13fcfd
3.57/2.23	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c47e2f
3.57/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16dbb11b
3.57/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59cc4882
3.57/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a7a6679
3.57/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1194ab8c
3.57/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b94e962
3.57/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e2ed161
3.57/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@601ce6fb
3.57/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3424f396
3.57/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@110ae14f
3.57/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32dd681a
3.57/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55ae67a2
3.57/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19368645
3.57/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b5f54b6
3.57/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@130eaaf8
3.57/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ad95aaa
3.57/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7af9cf13
3.57/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33a27128
3.57/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c022bb0
3.57/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c38419b
3.57/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6bd0ff0
3.57/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ea299d4
3.57/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54f10b48
3.57/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5fd85487
3.57/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53a9d9d9
3.57/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b6dbe48
3.57/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68f6785d
3.57/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d934446
3.57/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3364cf2c
3.57/2.24	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e26938f
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38217deb
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69764e35
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@399774f7
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11e73b03
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d12ebba
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71b62960
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@643f3151
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@740023f2
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5fe727f
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bfbe06e
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76f1bde1
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56074ed2
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f0a47c0
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68743517
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e1962c3
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f792d6b
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5909f0b4
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a057aa9
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c585fce
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@491db9b2
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9aaf06a
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17b903cf
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dc3209e
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e4b4f1d
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6cc35809
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7516cbfb
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@790b3d82
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1180fb46
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4fbca44d
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e22b316
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40c19f8b
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32bb0822
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3af9fd4c
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c7feeb4
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f69216b
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5293e31a
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1388b86c
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a3e51bd
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c41f70f
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7429f75d
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e495af1
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3eaec59b
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e7d13eb
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11cd46fa
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@478a6438
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bf9a344
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78b2047e
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@800aa35
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6443ef45
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59933fe6
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a69f1e0
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15174c1d
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@794cb64d
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a895899
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@770367b8
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1eda8d4e
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@135a594e
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d9f7094
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1582f4a5
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@daaf41f
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41a8f8ed
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@391c78c9
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@140cf39d
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e55aab6
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71cd8a7
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a82fc7b
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35266b7c
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ed27faa
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ed45e22
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@417e800c
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18834d27
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55240b0d
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52c50434
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b704158
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d7429b1
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40f59b06
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4860a4cd
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ea2d5ee
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ee3f9cd
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ef582be
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6fece824
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a8829a5
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e4c15bc
3.57/2.25	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18c68996
3.57/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bb93174
3.57/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@364ccd85
3.57/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70720fc3
3.57/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69ca8728
3.57/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ee073c8
3.57/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48d4f61a
3.57/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48988506
3.57/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c8d76b
3.57/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3167834
3.57/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36526871
3.57/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5aa04991
3.57/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@174fd4c0
3.57/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f358e5f
3.57/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d3d1e77
3.57/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@645dab20
3.57/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c298fa1
3.57/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e91fd50
3.57/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30bb1b0b
3.57/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54398eb3
3.57/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32223717
3.57/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@737d0497
3.57/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@421f1602
3.57/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@784faf27
3.57/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13502853
3.57/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f549886
3.57/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8b7a0da
3.57/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@100bc216
3.57/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7915279
3.57/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65b2fbc0
3.57/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@769a54fb
3.57/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@134acf26
3.57/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6208f993
3.57/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@644834f7
3.57/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d75e848
3.57/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7eb7fb4f
3.57/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56f92cd4
3.57/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2085f8f2
3.57/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e159d44
3.57/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@80889bd
3.57/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17bc74ab
3.57/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71c4d52d
3.57/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19d3e1ab
3.57/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c447290
3.57/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@175f575
3.57/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@136f8
3.57/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45a3033a
3.57/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@326141f
3.57/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@290e163a
3.57/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a481250
3.57/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cf20e08
3.57/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24611209
3.57/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e47c313
3.57/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56e78275
3.57/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c93b1bd
3.57/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4daf5dd9
3.57/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45564cdb
3.57/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59810004
3.57/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@328e42c7
3.57/2.26	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33352b11
3.57/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@795f162d
3.57/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2db0497b
3.57/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ac33038
3.57/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e529c12
3.57/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73e976d8
3.57/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f47e86c
3.57/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@415e3d9a
3.57/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e3ca977
3.57/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19eec4ea
3.57/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7df775ec
3.57/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f85a606
3.57/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47a42a46
3.57/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a0459db
3.57/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e408e72
3.57/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65b85df5
3.57/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e32b8e
3.57/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e3c8700
3.57/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d837440
3.57/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f48fb82
3.57/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6516c230
3.57/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b5f08f6
3.57/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@375e71c7
3.57/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ca19183
3.57/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dcbdd8e
3.57/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7353e9a8
3.57/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1322d655
3.57/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e41daf0
3.57/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7953eb43
3.57/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2dfbf
3.57/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a30376e
3.57/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c75dccf
3.57/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59a1786
3.57/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d652c97
3.57/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70a76546
3.57/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b693b80
3.57/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ffad8c
3.57/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e45463f
3.57/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23f3ec21
3.57/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d5346fd
3.57/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24a8d140
3.57/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5667ed51
3.57/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1928b568
3.57/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5183c0
3.57/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6513bf13
3.57/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f959ebc
3.57/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8e01625
3.57/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1af006a2
3.57/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c948bcd
3.57/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67038a99
3.57/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24152d8a
3.57/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@404e254f
3.57/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9a0dc24
3.57/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1202ca67
3.57/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f7865a0
3.57/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@275e35ab
3.57/2.27	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5db4fef6
3.57/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74f71ce9
3.57/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@414c0ffb
3.57/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b479257
3.57/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@91ad552
3.57/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27ba7418
3.57/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11976b14
3.57/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18e9501
3.57/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2127313c
3.57/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20c8f11b
3.57/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2202074e
3.57/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a30054a
3.57/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61e8c5eb
3.57/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3df7784e
3.57/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d37bd02
3.57/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@152072a4
3.57/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30cc9607
3.57/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f995282
3.57/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34f8c1ba
3.57/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d54110b
3.57/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f1b1677
3.57/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8f2b399
3.57/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45c0f463
3.57/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54af2ca3
3.57/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bfb3ec7
3.57/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5eeb6a54
3.57/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10e11bdc
3.57/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2933913
3.57/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78aa9f25
3.57/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e6b1cd5
3.57/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38ab83cc
3.57/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24a7dac1
3.57/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@773b2506
3.57/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6846125d
3.57/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dbad4f
3.57/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@411d326d
3.57/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fe6fa8
3.57/2.28	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ea79897
3.57/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36bd3a2d
3.57/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28b24639
3.57/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61aa4176
3.57/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6974afe9
3.57/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fcc96b9
3.57/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d39e1c6
3.57/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c12453a
3.57/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fd709d1
3.57/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55b78c7d
3.57/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6802b82a
3.57/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bda9794
3.57/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6cae9853
3.57/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6855f8fa
3.57/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64a8b2a2
3.57/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@511ebcb7
3.57/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a4f6695
3.57/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@301aba
3.57/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45dae986
3.57/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e076f54
3.57/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ad73614
3.57/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73fe7bfa
3.57/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43f8b931
3.57/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2382efa5
3.57/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@676e426e
3.57/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b32b37f
3.57/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55daa4f0
3.57/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3860ba4b
3.57/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6fe56569
3.57/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ea40068
3.57/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4096a5e4
3.57/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74807b4
3.57/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14cf5471
3.57/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55970bee
3.57/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41cd725c
3.57/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10ac2dfb
3.57/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6bff1a1e
3.57/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bfb4400
3.57/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fa5a13e
3.57/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f9d7e5e
3.57/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a47b52d
3.57/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f8cc307
3.57/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a84da43
3.57/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11810210
3.57/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5fd4cfd2
3.57/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d3cdea5
3.57/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55092927
3.57/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c104e55
3.57/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6aa542de
3.57/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50a0383d
3.57/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2efd9b96
3.57/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4480544a
3.57/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c4e2546
3.57/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4830f635
3.57/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1282d9fb
3.57/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@753d1366
3.57/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53e785f8
3.57/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ad1ee3c
3.57/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24e6ad3f
3.57/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65410440
3.57/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3693a1f0
3.57/2.29	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7eef2f42
3.57/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1962cad8
3.57/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7dbcb60
3.57/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11a6d0a0
3.57/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@375922f
3.57/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55706a3b
3.92/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46bd8365
3.92/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46d0f985
3.92/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31736d00
3.92/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5be26a8d
3.92/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@115109ba
3.92/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e536e90
3.92/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f4ba97b
3.92/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@225a6cd9
3.92/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1545df4d
3.92/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26b8687f
3.92/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7774d3f7
3.92/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ab09f65
3.92/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71a4a865
3.92/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67fc534a
3.92/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62e7ab9c
3.92/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@236ccccd
3.92/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c197de9
3.92/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72e8b837
3.92/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ac144c6
3.92/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32728e6e
3.92/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bb9cf83
3.92/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5dade8f6
3.92/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61704c4e
3.92/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78c9113b
3.92/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d2a7565
3.92/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5adab1a2
3.92/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@307c00ff
3.92/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49dee83
3.92/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4cda161
3.92/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ce669d0
3.92/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@408d5322
3.92/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b285ee6
3.92/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29422b8a
3.92/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c9d5f5a
3.92/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3443626c
3.92/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78b00fca
3.92/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@733e0225
3.92/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a6eda99
3.92/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f8b89df
3.92/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@637f4878
3.92/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34ba24
3.92/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@399096e3
3.92/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f36b00b
3.92/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b2003dc
3.92/2.30	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d610d4f
3.92/2.34	
3.92/2.34	
3.92/2.34	  Domains
3.92/2.34	    nTypes=1, nValues=856, sizes=[2#428]
3.92/2.34	  Variables
3.92/2.34	    count=428, degrees=[3#8,4#8,5#8,6#8...11#8,12#8,13#8,14#52]
3.92/2.34	  Constraints
3.92/2.34	    count=644, nSpecific=644, arities=[2#222,3#8,4#8,5#296...11#8,12#8,13#52,144#2]
3.92/2.34	    distribution=[SumSimpleGE#2,SumSimpleLE#214,SumWeightedGE#428]
3.92/2.34	    wck=0.493, cpu=2.305, mem=42M368
3.92/2.35	  Solver SolverBacktrack being built...
3.92/2.35	
3.92/2.38	
3.92/2.38	  Solver
3.92/2.38	    guaranteedGAC=true
3.92/2.38	    wck=0.532, cpu=2.342, mem=53M10
3.92/2.39	
3.92/2.39	  Preprocessing
3.92/2.39	    filters=0, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
3.92/2.39	    wck=0.006, cpu=2.349, mem=53M10
3.92/2.39	
4.21/2.43	    num=0, depth=209..244, filters=2157, wck=0.05, mem=53M10
4.21/2.43	    decisions=395, wrong=93, backtracks=93, failedAssignments=10, nogoods=1
4.21/2.43	    
4.21/2.45	    num=1, depth=134..154, filters=3285, wck=0.062, mem=53M10
4.21/2.45	    decisions=626, wrong=140, backtracks=136, failedAssignments=21, nogoods=3
4.21/2.45	    
4.21/2.45	    num=2, depth=179..192, filters=4214, wck=0.073, mem=53M10
4.21/2.45	    decisions=883, wrong=179, backtracks=174, failedAssignments=33, nogoods=5
4.21/2.45	    
4.21/2.46	    num=3, depth=155..168, filters=5348, wck=0.083, mem=53M10
4.21/2.46	    decisions=1132, wrong=224, backtracks=218, failedAssignments=46, nogoods=7
4.21/2.46	    
4.21/2.47	    num=4, depth=158..171, filters=6346, wck=0.09, mem=53M10
4.21/2.47	    decisions=1371, wrong=263, backtracks=255, failedAssignments=60, nogoods=9
4.21/2.47	    
4.21/2.48	    num=5, depth=187..200, filters=7876, wck=0.098, mem=53M10
4.21/2.48	    decisions=1676, wrong=322, backtracks=317, failedAssignments=76, nogoods=10
4.21/2.48	    
4.21/2.49	    num=6, depth=192..214, filters=9450, wck=0.107, mem=53M10
4.21/2.49	    decisions=1990, wrong=383, backtracks=375, failedAssignments=93, nogoods=11
4.21/2.49	    
4.21/2.50	    num=7, depth=190..210, filters=11241, wck=0.114, mem=53M10
4.21/2.50	    decisions=2340, wrong=461, backtracks=451, failedAssignments=112, nogoods=13
4.21/2.50	    
4.54/2.50	    num=8, depth=204..223, filters=13162, wck=0.122, mem=55M653
4.54/2.50	    decisions=2728, wrong=551, backtracks=536, failedAssignments=133, nogoods=17
4.54/2.50	    
4.54/2.51	    num=9, depth=169..192, filters=15247, wck=0.13, mem=55M653
4.54/2.51	    decisions=3071, wrong=636, backtracks=620, failedAssignments=156, nogoods=19
4.54/2.51	    
4.54/2.52	    num=10, depth=187..210, filters=18294, wck=0.14, mem=55M653
4.54/2.52	    decisions=3532, wrong=773, backtracks=760, failedAssignments=181, nogoods=20
4.54/2.52	    
4.54/2.53	    num=11, depth=157..170, filters=20472, wck=0.147, mem=55M653
4.54/2.53	    decisions=3853, wrong=852, backtracks=836, failedAssignments=209, nogoods=23
4.54/2.53	    
4.54/2.54	    num=12, depth=183..204, filters=23552, wck=0.157, mem=55M653
4.54/2.54	    decisions=4318, wrong=993, backtracks=977, failedAssignments=240, nogoods=24
4.54/2.54	    
4.54/2.55	    num=13, depth=201..229, filters=27406, wck=0.168, mem=55M653
4.54/2.55	    decisions=4893, wrong=1173, backtracks=1155, failedAssignments=274, nogoods=26
4.54/2.55	    
4.54/2.56	    num=14, depth=215..236, filters=31025, wck=0.179, mem=55M653
4.54/2.56	    decisions=5445, wrong=1340, backtracks=1321, failedAssignments=311, nogoods=28
4.54/2.56	    
4.54/2.58	    num=15, depth=210..232, filters=36057, wck=0.197, mem=55M653
4.54/2.58	    decisions=6111, wrong=1565, backtracks=1541, failedAssignments=352, nogoods=31
4.54/2.58	    
4.54/2.59	    num=16, depth=189..213, filters=41146, wck=0.214, mem=55M653
4.54/2.59	    decisions=6784, wrong=1803, backtracks=1779, failedAssignments=397, nogoods=34
4.54/2.59	    
4.83/2.61	    num=17, depth=210..236, filters=46444, wck=0.227, mem=55M653
4.83/2.61	    decisions=7529, wrong=2068, backtracks=2044, failedAssignments=447, nogoods=36
4.83/2.61	    
4.83/2.62	    num=18, depth=214..239, filters=51586, wck=0.24, mem=58M295
4.83/2.62	    decisions=8241, wrong=2311, backtracks=2289, failedAssignments=502, nogoods=38
4.83/2.62	    
4.83/2.64	    num=19, depth=199..231, filters=59510, wck=0.257, mem=58M295
4.83/2.64	    decisions=9154, wrong=2663, backtracks=2643, failedAssignments=563, nogoods=40
4.83/2.64	    
5.06/2.79	    num=20, depth=198..230, filters=67151, wck=0.274, mem=58M295
5.06/2.79	    decisions=9992, wrong=2982, backtracks=2963, failedAssignments=630, nogoods=42
5.06/2.79	    
5.06/2.79	    num=21, depth=205..231, filters=74561, wck=0.29, mem=58M295
5.06/2.79	    decisions=10897, wrong=3331, backtracks=3314, failedAssignments=704, nogoods=44
5.06/2.79	    
5.06/2.79	    num=22, depth=207..235, filters=82745, wck=0.307, mem=58M295
5.06/2.79	    decisions=11925, wrong=3736, backtracks=3720, failedAssignments=785, nogoods=47
5.06/2.79	    
5.06/2.79	    num=23, depth=197..223, filters=91562, wck=0.326, mem=60M938
5.06/2.79	    decisions=12878, wrong=4112, backtracks=4097, failedAssignments=874, nogoods=50
5.06/2.79	    
5.06/2.79	    num=24, depth=205..233, filters=101562, wck=0.346, mem=60M938
5.06/2.79	    decisions=14014, wrong=4576, backtracks=4565, failedAssignments=972, nogoods=54
5.06/2.79	    
5.06/2.79	    num=25, depth=193..220, filters=112674, wck=0.368, mem=60M938
5.06/2.79	    decisions=15203, wrong=5063, backtracks=5053, failedAssignments=1080, nogoods=56
5.06/2.79	    
5.06/2.79	    num=26, depth=205..236, filters=126868, wck=0.396, mem=60M938
5.06/2.79	    decisions=16769, wrong=5738, backtracks=5731, failedAssignments=1199, nogoods=58
5.06/2.79	    
5.20/2.80	    num=27, depth=200..231, filters=140549, wck=0.422, mem=63M580
5.20/2.80	    decisions=18294, wrong=6398, backtracks=6398, failedAssignments=1330, nogoods=61
5.20/2.80	    
5.20/2.83	    num=28, depth=188..218, filters=153484, wck=0.447, mem=63M580
5.20/2.83	    decisions=19578, wrong=6941, backtracks=6941, failedAssignments=1474, nogoods=66
5.20/2.83	    
5.20/2.86	    num=29, depth=205..240, filters=170190, wck=0.479, mem=63M580
5.20/2.86	    decisions=21329, wrong=7711, backtracks=7715, failedAssignments=1632, nogoods=69
5.20/2.86	    
5.20/2.89	    num=30, depth=191..220, filters=186013, wck=0.51, mem=66M222
5.20/2.89	    decisions=22977, wrong=8438, backtracks=8439, failedAssignments=1806, nogoods=72
5.20/2.89	    
5.30/2.93	    num=31, depth=194..226, filters=207530, wck=0.55, mem=66M222
5.30/2.93	    decisions=25148, wrong=9422, backtracks=9430, failedAssignments=1997, nogoods=75
5.30/2.93	    
5.30/2.97	    num=32, depth=202..236, filters=228547, wck=0.59, mem=68M865
5.30/2.97	    decisions=27382, wrong=10438, backtracks=10447, failedAssignments=2208, nogoods=77
5.30/2.97	    
5.41/3.02	    num=33, depth=197..231, filters=254346, wck=0.64, mem=68M865
5.41/3.02	    decisions=30119, wrong=11704, backtracks=11719, failedAssignments=2440, nogoods=79
5.41/3.02	    
5.41/3.07	    num=34, depth=198..237, filters=282579, wck=0.693, mem=71M507
5.41/3.07	    decisions=32871, wrong=12972, backtracks=13000, failedAssignments=2695, nogoods=82
5.41/3.07	    
5.51/3.13	    num=35, depth=204..237, filters=311731, wck=0.748, mem=74M150
5.51/3.13	    decisions=35766, wrong=14317, backtracks=14340, failedAssignments=2976, nogoods=84
5.51/3.13	    
5.51/3.19	    num=36, depth=198..237, filters=345613, wck=0.813, mem=74M150
5.51/3.19	    decisions=39182, wrong=15919, backtracks=15957, failedAssignments=3285, nogoods=88
5.51/3.19	    
5.60/3.26	    num=37, depth=197..233, filters=378881, wck=0.875, mem=76M792
5.60/3.26	    decisions=42451, wrong=17446, backtracks=17485, failedAssignments=3625, nogoods=91
5.60/3.26	    
5.70/3.33	    num=38, depth=204..242, filters=418867, wck=0.948, mem=79M435
5.70/3.33	    decisions=46315, wrong=19272, backtracks=19321, failedAssignments=3999, nogoods=94
5.70/3.33	    
5.80/3.40	    num=39, depth=197..235, filters=458481, wck=1.021, mem=82M77
5.80/3.40	    decisions=49950, wrong=20985, backtracks=21040, failedAssignments=4410, nogoods=97
5.80/3.40	    
5.80/3.48	    num=40, depth=201..240, filters=501758, wck=1.103, mem=84M719
5.80/3.48	    decisions=54287, wrong=23048, backtracks=23112, failedAssignments=4862, nogoods=99
5.80/3.48	    
5.90/3.58	    num=41, depth=199..237, filters=553175, wck=1.2, mem=87M362
5.90/3.58	    decisions=59405, wrong=25500, backtracks=25577, failedAssignments=5359, nogoods=103
5.90/3.58	    
6.00/3.68	    num=42, depth=202..241, filters=605104, wck=1.299, mem=90M4
6.00/3.68	    decisions=64541, wrong=27960, backtracks=28050, failedAssignments=5906, nogoods=106
6.00/3.68	    
6.11/3.79	    num=43, depth=199..237, filters=663608, wck=1.407, mem=95M289
6.11/3.79	    decisions=70218, wrong=30689, backtracks=30802, failedAssignments=6508, nogoods=109
6.11/3.79	    
6.31/3.91	    num=44, depth=202..242, filters=731767, wck=1.533, mem=97M932
6.31/3.91	    decisions=77086, wrong=34022, backtracks=34155, failedAssignments=7170, nogoods=111
6.31/3.91	    
6.41/4.05	    num=45, depth=202..237, filters=806173, wck=1.67, mem=103M217
6.41/4.05	    decisions=84466, wrong=37607, backtracks=37758, failedAssignments=7898, nogoods=115
6.41/4.05	    
6.60/4.20	    num=46, depth=194..235, filters=886752, wck=1.82, mem=108M501
6.60/4.20	    decisions=92310, wrong=41425, backtracks=41604, failedAssignments=8699, nogoods=118
6.60/4.20	    
6.74/4.34	    num=47, depth=198..237, filters=965172, wck=1.964, mem=113M786
6.74/4.34	    decisions=99578, wrong=44954, backtracks=45141, failedAssignments=9580, nogoods=123
6.74/4.34	    
6.94/4.52	    num=48, depth=194..236, filters=1062909, wck=2.142, mem=119M71
6.94/4.52	    decisions=109097, wrong=49616, backtracks=49822, failedAssignments=10550, nogoods=125
6.94/4.52	    
7.14/4.72	    num=49, depth=195..237, filters=1171014, wck=2.342, mem=124M356
7.14/4.72	    decisions=119635, wrong=54785, backtracks=55033, failedAssignments=11617, nogoods=129
7.14/4.72	    
7.33/4.91	    num=50, depth=194..236, filters=1271595, wck=2.524, mem=132M283
7.33/4.91	    decisions=129144, wrong=59439, backtracks=59705, failedAssignments=12790, nogoods=133
7.33/4.91	    
7.54/5.13	    num=51, depth=197..241, filters=1394257, wck=2.753, mem=140M211
7.54/5.13	    decisions=141480, wrong=65498, backtracks=65813, failedAssignments=14081, nogoods=136
7.54/5.13	    
7.87/5.41	    num=52, depth=188..234, filters=1542151, wck=3.032, mem=26M696
7.87/5.41	    decisions=155572, wrong=72445, backtracks=72790, failedAssignments=15501, nogoods=140
7.87/5.41	    
8.19/5.70	    num=53, depth=190..234, filters=1706527, wck=3.32, mem=37M54
8.19/5.70	    decisions=171221, wrong=80170, backtracks=80566, failedAssignments=17063, nogoods=143
8.19/5.70	    
8.52/6.00	    num=54, depth=194..242, filters=1871948, wck=3.621, mem=47M412
8.52/6.00	    decisions=187458, wrong=88181, backtracks=88640, failedAssignments=18781, nogoods=146
8.52/6.00	    
8.93/6.37	    num=55, depth=190..236, filters=2082890, wck=3.993, mem=57M770
8.93/6.37	    decisions=207470, wrong=98088, backtracks=98652, failedAssignments=20671, nogoods=150
8.93/6.37	    
9.33/6.77	    num=56, depth=190..237, filters=2307875, wck=4.386, mem=73M308
9.33/6.77	    decisions=228406, wrong=108458, backtracks=109132, failedAssignments=22750, nogoods=153
9.33/6.77	    
9.74/7.17	    num=57, depth=191..242, filters=2536716, wck=4.792, mem=86M256
9.74/7.17	    decisions=251000, wrong=119649, backtracks=120391, failedAssignments=25037, nogoods=156
9.74/7.17	    
10.23/7.64	    num=58, depth=188..241, filters=2801968, wck=5.257, mem=101M793
10.23/7.64	    decisions=276205, wrong=132142, backtracks=132969, failedAssignments=27553, nogoods=160
10.23/7.64	    
10.74/8.17	    num=59, depth=180..231, filters=3098574, wck=5.787, mem=119M920
10.74/8.17	    decisions=304400, wrong=146136, backtracks=147106, failedAssignments=30321, nogoods=163
10.74/8.17	    
11.33/8.70	    num=60, depth=183..241, filters=3395404, wck=6.317, mem=138M47
11.33/8.70	    decisions=333452, wrong=160556, backtracks=161648, failedAssignments=33365, nogoods=166
11.33/8.70	    
11.83/9.29	    num=61, depth=188..237, filters=3723702, wck=6.91, mem=24M133
11.83/9.29	    decisions=365166, wrong=176310, backtracks=177553, failedAssignments=36714, nogoods=171
11.83/9.29	    
12.56/9.96	    num=62, depth=186..240, filters=4111414, wck=7.578, mem=47M605
12.56/9.96	    decisions=401681, wrong=194471, backtracks=195856, failedAssignments=40398, nogoods=175
12.56/9.96	    
13.26/10.63	    num=63, depth=189..244, filters=4496026, wck=8.246, mem=71M78
13.26/10.63	    decisions=439397, wrong=213222, backtracks=214798, failedAssignments=44450, nogoods=178
13.26/10.63	    
13.96/11.35	    num=64, depth=182..242, filters=4910203, wck=8.967, mem=94M550
13.96/11.35	    decisions=478882, wrong=232864, backtracks=234588, failedAssignments=48907, nogoods=181
13.96/11.35	    
14.86/12.22	    num=65, depth=183..232, filters=5419100, wck=9.842, mem=125M847
14.86/12.22	    decisions=526614, wrong=256629, backtracks=258628, failedAssignments=53810, nogoods=185
14.86/12.22	    
15.80/13.15	    num=66, depth=184..236, filters=5948655, wck=10.765, mem=24M850
15.80/13.15	    decisions=576969, wrong=281709, backtracks=283911, failedAssignments=59204, nogoods=190
15.80/13.15	    
16.70/14.09	    num=67, depth=181..235, filters=6490456, wck=11.708, mem=58M433
16.70/14.09	    decisions=629027, wrong=307638, backtracks=310091, failedAssignments=65137, nogoods=193
16.70/14.09	    
17.89/15.24	    num=68, depth=179..235, filters=7170166, wck=12.859, mem=95M374
17.89/15.24	    decisions=691844, wrong=338951, backtracks=341691, failedAssignments=71663, nogoods=198
17.89/15.24	    
19.10/16.48	    num=69, depth=182..238, filters=7885119, wck=14.098, mem=139M32
19.10/16.48	    decisions=760642, wrong=373255, backtracks=376395, failedAssignments=78842, nogoods=203
19.10/16.48	    
20.49/17.85	    num=70, depth=180..234, filters=8682957, wck=15.473, mem=186M48
20.49/17.85	    decisions=837435, wrong=411557, backtracks=415065, failedAssignments=86739, nogoods=208
20.49/17.85	    
22.13/19.43	    num=71, depth=176..233, filters=9599279, wck=17.052, mem=68M681
22.13/19.43	    decisions=922147, wrong=453817, backtracks=457771, failedAssignments=95426, nogoods=212
22.13/19.43	    
23.84/21.17	    num=72, depth=179..237, filters=10603657, wck=18.791, mem=125M942
23.84/21.17	    decisions=1018268, wrong=501782, backtracks=506256, failedAssignments=104981, nogoods=217
23.84/21.17	    
25.74/23.03	    num=73, depth=178..235, filters=11675693, wck=20.652, mem=189M939
25.74/23.03	    decisions=1121839, wrong=553473, backtracks=558441, failedAssignments=115492, nogoods=221
25.74/23.03	    
27.88/25.14	    num=74, depth=179..236, filters=12896097, wck=22.755, mem=93M527
27.88/25.14	    decisions=1237293, wrong=611102, backtracks=616722, failedAssignments=127054, nogoods=226
27.88/25.14	    
30.07/27.33	    num=75, depth=175..235, filters=14162826, wck=24.949, mem=165M463
30.07/27.33	    decisions=1357572, wrong=671147, backtracks=677347, failedAssignments=139772, nogoods=230
30.07/27.33	    
32.61/29.80	    num=76, depth=177..236, filters=15578390, wck=27.421, mem=38M136
32.61/29.80	    decisions=1494959, wrong=739736, backtracks=746677, failedAssignments=153762, nogoods=233
32.61/29.80	    
35.31/32.54	    num=77, depth=175..237, filters=17158765, wck=30.156, mem=129M276
35.31/32.54	    decisions=1646484, wrong=815400, backtracks=823277, failedAssignments=169151, nogoods=236
35.31/32.54	    
38.44/35.61	    num=78, depth=174..238, filters=18925906, wck=33.226, mem=25M617
38.44/35.61	    decisions=1817863, wrong=900990, backtracks=909679, failedAssignments=186079, nogoods=241
38.44/35.61	    
41.64/38.87	    num=79, depth=176..236, filters=20798620, wck=36.487, mem=135M18
41.64/38.87	    decisions=1999880, wrong=991902, backtracks=1001448, failedAssignments=204700, nogoods=245
41.64/38.87	    
45.35/42.51	    num=80, depth=175..236, filters=22874483, wck=40.132, mem=53M252
45.35/42.51	    decisions=2202480, wrong=1093102, backtracks=1103741, failedAssignments=225184, nogoods=251
45.35/42.51	    
49.26/46.44	    num=81, depth=173..240, filters=25145507, wck=44.055, mem=183M923
49.26/46.44	    decisions=2419605, wrong=1201570, backtracks=1213285, failedAssignments=247716, nogoods=256
49.26/46.44	    
53.37/50.58	    num=82, depth=174..238, filters=27508212, wck=48.194, mem=126M268
53.37/50.58	    decisions=2647356, wrong=1315354, backtracks=1328030, failedAssignments=272501, nogoods=260
53.37/50.58	    
57.99/55.20	    num=83, depth=172..239, filters=30139525, wck=52.815, mem=89M953
57.99/55.20	    decisions=2899811, wrong=1441495, backtracks=1455208, failedAssignments=299765, nogoods=264
57.99/55.20	    
63.18/60.31	    num=84, depth=174..240, filters=33042294, wck=57.931, mem=69M865
63.18/60.31	    decisions=3183867, wrong=1583432, backtracks=1598360, failedAssignments=329755, nogoods=268
63.18/60.31	    
68.99/66.14	    num=85, depth=171..233, filters=36333480, wck=63.755, mem=79M629
68.99/66.14	    decisions=3504315, wrong=1743563, backtracks=1759937, failedAssignments=362744, nogoods=272
68.99/66.14	    
75.39/72.59	    num=86, depth=167..237, filters=40044411, wck=70.213, mem=114M1
75.39/72.59	    decisions=3858867, wrong=1920751, backtracks=1938576, failedAssignments=399032, nogoods=277
75.39/72.59	    
82.02/79.11	    num=87, depth=170..238, filters=43806505, wck=76.725, mem=164M312
82.02/79.11	    decisions=4220818, wrong=2101636, backtracks=2120549, failedAssignments=438949, nogoods=283
82.02/79.11	    
89.24/86.36	    num=88, depth=173..241, filters=47909548, wck=83.976, mem=64M991
89.24/86.36	    decisions=4621015, wrong=2301634, backtracks=2322235, failedAssignments=482858, nogoods=287
89.24/86.36	    
97.24/94.35	    num=89, depth=172..239, filters=52303524, wck=91.963, mem=162M283
97.24/94.35	    decisions=5051190, wrong=2516625, backtracks=2538839, failedAssignments=531158, nogoods=293
97.24/94.35	    
106.56/103.66	    num=90, depth=170..239, filters=57567676, wck=101.28, mem=144M447
106.56/103.66	    decisions=5551747, wrong=2766809, backtracks=2790927, failedAssignments=584288, nogoods=298
106.56/103.66	    
116.47/113.51	    num=91, depth=168..240, filters=62961779, wck=111.125, mem=148M660
116.47/113.51	    decisions=6076417, wrong=3029048, backtracks=3054693, failedAssignments=642731, nogoods=303
116.47/113.51	    
126.69/123.80	    num=92, depth=169..233, filters=68581021, wck=121.415, mem=39M97
126.69/123.80	    decisions=6630759, wrong=3306127, backtracks=3333560, failedAssignments=707018, nogoods=309
126.69/123.80	    
138.11/135.19	    num=93, depth=166..235, filters=74809742, wck=132.81, mem=126M764
138.11/135.19	    decisions=7243403, wrong=3612350, backtracks=3642009, failedAssignments=777734, nogoods=315
138.11/135.19	    
150.92/147.94	    num=94, depth=160..236, filters=81779563, wck=145.558, mem=134M759
150.92/147.94	    decisions=7909144, wrong=3945128, backtracks=3976312, failedAssignments=855521, nogoods=320
150.92/147.94	    
165.35/162.31	    num=95, depth=165..240, filters=89676105, wck=159.929, mem=90M814
165.35/162.31	    decisions=8685013, wrong=4332975, backtracks=4366911, failedAssignments=941087, nogoods=327
165.35/162.31	    
180.27/177.27	    num=96, depth=169..239, filters=97944755, wck=174.887, mem=105M200
180.27/177.27	    decisions=9503910, wrong=4742325, backtracks=4778524, failedAssignments=1035210, nogoods=333
180.27/177.27	    
196.40/193.33	    num=97, depth=166..234, filters=106741359, wck=190.952, mem=73M751
196.40/193.33	    decisions=10368887, wrong=5174725, backtracks=5213313, failedAssignments=1138745, nogoods=339
196.40/193.33	    
215.83/212.79	    num=98, depth=155..242, filters=117328380, wck=210.408, mem=65M587
215.83/212.79	    decisions=11397498, wrong=5688930, backtracks=5731221, failedAssignments=1252634, nogoods=343
215.83/212.79	    
236.18/233.10	    num=99, depth=161..236, filters=128483801, wck=230.719, mem=60M541
236.18/233.10	    decisions=12477766, wrong=6228964, backtracks=6274476, failedAssignments=1377912, nogoods=347
236.18/233.10	    
258.43/255.23	    num=100, depth=160..235, filters=140527144, wck=252.848, mem=88M521
258.43/255.23	    decisions=13676843, wrong=6828411, backtracks=6877892, failedAssignments=1515718, nogoods=353
258.43/255.23	    
284.49/281.24	    num=101, depth=160..235, filters=154772383, wck=278.857, mem=61M286
284.49/281.24	    decisions=15089380, wrong=7534586, backtracks=7589674, failedAssignments=1667304, nogoods=358
284.49/281.24	    
312.26/308.90	    num=102, depth=158..241, filters=169901893, wck=306.524, mem=91M6
312.26/308.90	    decisions=16584401, wrong=8281996, backtracks=8342162, failedAssignments=1834049, nogoods=363
312.26/308.90	    
341.75/338.39	    num=103, depth=162..241, filters=186041340, wck=336.014, mem=74M685
341.75/338.39	    decisions=18210583, wrong=9094995, backtracks=9160467, failedAssignments=2017468, nogoods=366
341.75/338.39	    
373.94/370.44	    num=104, depth=161..243, filters=203508039, wck=368.054, mem=54M419
373.94/370.44	    decisions=19952924, wrong=9966074, backtracks=10037094, failedAssignments=2219229, nogoods=373
373.94/370.44	    
409.46/405.89	    num=105, depth=163..244, filters=222707236, wck=403.51, mem=25M558
409.46/405.89	    decisions=21867110, wrong=10923068, backtracks=10999006, failedAssignments=2441167, nogoods=379
409.46/405.89	    
449.81/446.02	    num=106, depth=158..238, filters=244360416, wck=443.64, mem=28M783
449.81/446.02	    decisions=24026098, wrong=12002477, backtracks=12086243, failedAssignments=2685298, nogoods=385
449.81/446.02	    
493.13/489.21	    num=107, depth=159..240, filters=267830814, wck=486.824, mem=33M77
493.13/489.21	    decisions=26356081, wrong=13167376, backtracks=13258679, failedAssignments=2953843, nogoods=392
493.13/489.21	    
541.87/537.89	    num=108, depth=157..239, filters=293983191, wck=535.513, mem=26M685
541.87/537.89	    decisions=29020206, wrong=14499345, backtracks=14599845, failedAssignments=3249242, nogoods=400
541.87/537.89	    
594.96/590.78	    num=109, depth=154..235, filters=322864526, wck=588.403, mem=26M701
594.96/590.78	    decisions=31872300, wrong=15925299, backtracks=16033865, failedAssignments=3574181, nogoods=405
594.96/590.78	    
650.94/646.54	    num=110, depth=156..238, filters=353163222, wck=644.161, mem=26M717
650.94/646.54	    decisions=34899064, wrong=17438593, backtracks=17555461, failedAssignments=3931614, nogoods=409
650.94/646.54	    
712.93/708.39	    num=111, depth=154..238, filters=386529271, wck=706.006, mem=34M221
712.93/708.39	    decisions=38259182, wrong=19118562, backtracks=19245736, failedAssignments=4324790, nogoods=413
712.93/708.39	    
777.86/773.03	    num=112, depth=159..243, filters=421455814, wck=770.653, mem=25M672
777.86/773.03	    decisions=41778525, wrong=20878139, backtracks=21012935, failedAssignments=4757284, nogoods=419
777.86/773.03	    
850.02/844.93	    num=113, depth=157..240, filters=460706057, wck=842.549, mem=58M853
850.02/844.93	    decisions=45668113, wrong=22822849, backtracks=22966152, failedAssignments=5233028, nogoods=425
850.02/844.93	    
927.99/922.64	    num=114, depth=157..242, filters=502545379, wck=920.257, mem=31M69
927.99/922.64	    decisions=49917721, wrong=24947564, backtracks=25099581, failedAssignments=5756346, nogoods=431
927.99/922.64	    
1009.78/1004.13	    num=115, depth=159..242, filters=546257080, wck=1001.754, mem=35M364
1009.78/1004.13	    decisions=54437901, wrong=27207563, backtracks=27367098, failedAssignments=6331996, nogoods=437
1009.78/1004.13	    
1100.25/1094.39	    num=116, depth=156..239, filters=594896587, wck=1092.007, mem=43M953
1100.25/1094.39	    decisions=59428901, wrong=29702976, backtracks=29871284, failedAssignments=6965211, nogoods=445
1100.25/1094.39	    
1205.11/1198.87	    num=117, depth=155..236, filters=651982768, wck=1196.494, mem=31M143
1205.11/1198.87	    decisions=65103489, wrong=32540185, backtracks=32720185, failedAssignments=7661747, nogoods=451
1205.11/1198.87	    
1332.93/1326.21	    num=118, depth=143..236, filters=720544607, wck=1323.829, mem=63M254
1332.93/1326.21	    decisions=71913743, wrong=35945216, backtracks=36147560, failedAssignments=8427937, nogoods=455
1332.93/1326.21	    
1467.89/1460.74	    num=119, depth=148..240, filters=793038579, wck=1458.358, mem=71M835
1467.89/1460.74	    decisions=79263186, wrong=39619849, backtracks=39850696, failedAssignments=9270746, nogoods=461
1467.89/1460.74	    
1621.82/1614.15	    num=120, depth=143..236, filters=875320184, wck=1611.773, mem=29M86
1621.82/1614.15	    decisions=87495470, wrong=43735903, backtracks=43996868, failedAssignments=10197836, nogoods=466
1621.82/1614.15	    
1788.65/1780.50	    num=121, depth=140..238, filters=963595022, wck=1778.115, mem=28M41
1788.65/1780.50	    decisions=96419858, wrong=48198013, backtracks=48490176, failedAssignments=11217635, nogoods=474
1788.65/1780.50	    
1974.66/1965.80	    num=122, depth=141..238, filters=1062416027, wck=1963.419, mem=49M456
1974.66/1965.80	    decisions=106348476, wrong=53162245, backtracks=53488954, failedAssignments=12339414, nogoods=481
1974.66/1965.80	    
2184.64/2175.19	    num=123, depth=138..237, filters=1174142866, wck=2172.81, mem=29M168
2184.64/2175.19	    decisions=117518267, wrong=58747051, backtracks=59110093, failedAssignments=13573371, nogoods=488
2184.64/2175.19	    
2416.58/2406.38	    num=124, depth=133..230, filters=1298265304, wck=2403.999, mem=69M827
2416.58/2406.38	    decisions=129930932, wrong=64953305, backtracks=65371537, failedAssignments=14930724, nogoods=495
2416.58/2406.38

Verifier Data 

One s line expected

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (15017 MiB free)
  memory of node 1: 16384 MiB (15134 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390752-1568384366/watcher-4390752-1568384366 -o /tmp/evaluation-result-4390752-1568384366/solver-4390752-1568384366 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1568380477-29948 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390752-1568384366.xml -cm 

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

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


[startup+0.103241 s]*
/proc/loadavg: 1.92 2.02 1.92 4/228 31016
/proc/meminfo: memFree=30858660/32770624 swapFree=66940844/67108860
[pid=31001] ppid=30998 vsize=10659884 memory=30788 CPUtime=0.15 cores=0,2,4,6
/proc/31001/stat : 31001 (java) S 30998 31001 29917 0 -1 1077944320 5686 0 0 0 14 1 0 0 20 0 15 0 414675306 10915721216 7697 33554432000 4194304 4196468 140729193671616 140729193654160 140313306636023 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
/proc/31001/statm: 2664971 7697 2920 1 0 2627468 0
[pid=31001/tid=31003] ppid=30998 vsize=10659884 memory=-7254949962136774010 CPUtime=0.1 cores=0,2,4,6
/proc/31001/task/31003/stat : 31003 (java) R 30998 31001 29917 0 -1 1077944384 2991 0 0 0 9 1 0 0 20 0 15 0 414675306 10915721216 7697 33554432000 4194304 4196468 140729193671616 140313310864656 140313306646229 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31004] ppid=30998 vsize=10659884 memory=5793855340485622201 CPUtime=0 cores=0,2,4,6
/proc/31001/task/31004/stat : 31004 (java) S 30998 31001 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414675307 10915721216 7697 33554432000 4194304 4196468 140729193671616 140313232710672 140313306646229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31005] ppid=30998 vsize=10659884 memory=140089475729024 CPUtime=0 cores=0,2,4,6
/proc/31001/task/31005/stat : 31005 (java) S 30998 31001 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414675307 10915721216 7697 33554432000 4194304 4196468 140729193671616 140313231658128 140313306646229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31006] ppid=30998 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31001/task/31006/stat : 31006 (java) S 30998 31001 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414675307 10915721216 7697 33554432000 4194304 4196468 140729193671616 140313230605072 140313306646229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31007] ppid=30998 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31001/task/31007/stat : 31007 (java) S 30998 31001 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414675307 10915721216 7697 33554432000 4194304 4196468 140729193671616 140313229552528 140313306646229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31008] ppid=30998 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31001/task/31008/stat : 31008 (java) S 30998 31001 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414675309 10915721216 7697 33554432000 4194304 4196468 140729193671616 140312798394608 140313306647170 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31009] ppid=30998 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31001/task/31009/stat : 31009 (java) S 30998 31001 29917 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414675309 10915721216 7697 33554432000 4194304 4196468 140729193671616 140312797340832 140313306646229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31010] ppid=30998 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31001/task/31010/stat : 31010 (java) S 30998 31001 29917 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414675309 10915721216 7697 33554432000 4194304 4196468 140729193671616 140312796287728 140313306646229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31011] ppid=30998 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31001/task/31011/stat : 31011 (java) S 30998 31001 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414675312 10915721216 7697 33554432000 4194304 4196468 140729193671616 140312795236304 140313306654619 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31012] ppid=30998 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31001/task/31012/stat : 31012 (java) S 30998 31001 29917 0 -1 1077944384 426 0 0 0 0 0 0 0 20 0 15 0 414675312 10915721216 7697 33554432000 4194304 4196468 140729193671616 140312794184432 140313306647170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31013] ppid=30998 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31001/task/31013/stat : 31013 (java) R 30998 31001 29917 0 -1 4202560 271 0 0 0 0 0 0 0 20 0 15 0 414675312 10915721216 7763 33554432000 4194304 4196468 140729193671616 140312793121928 140313287336320 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31014] ppid=30998 vsize=10659884 memory=140089475729024 CPUtime=0.03 cores=0,2,4,6
/proc/31001/task/31014/stat : 31014 (java) R 30998 31001 29917 0 -1 4202560 665 0 0 0 3 0 0 0 20 0 15 0 414675312 10915721216 7763 33554432000 4194304 4196468 140729193671616 140312792075000 140313306647958 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31015] ppid=30998 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31001/task/31015/stat : 31015 (java) S 30998 31001 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414675312 10915721216 7763 33554432000 4194304 4196468 140729193671616 140312791026528 140313306646229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31016] ppid=30998 vsize=10659884 memory=140089475729024 CPUtime=0 cores=0,2,4,6
/proc/31001/task/31016/stat : 31016 (java) S 30998 31001 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414675312 10915721216 7763 33554432000 4194304 4196468 140729193671616 140312789973552 140313306647170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 30788 KiB

[startup+0.210439 s]*
/proc/loadavg: 1.92 2.02 1.92 3/228 31016
/proc/meminfo: memFree=30852892/32770624 swapFree=66940844/67108860
[pid=31001] ppid=30998 vsize=10659884 memory=35252 CPUtime=0.32 cores=0,2,4,6
/proc/31001/stat : 31001 (java) S 30998 31001 29917 0 -1 1077944320 6478 0 0 0 31 1 0 0 20 0 15 0 414675306 10915721216 8813 33554432000 4194304 4196468 140729193671616 140729193654160 140313306636023 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
/proc/31001/statm: 2664971 8813 2989 1 0 2627468 0
[pid=31001/tid=31003] ppid=30998 vsize=10659884 memory=6735269665583770266 CPUtime=0.2 cores=0,2,4,6
/proc/31001/task/31003/stat : 31003 (java) R 30998 31001 29917 0 -1 4202560 3451 0 0 0 19 1 0 0 20 0 15 0 414675306 10915721216 8813 33554432000 4194304 4196468 140729193671616 140313310862384 140313306657949 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31004] ppid=30998 vsize=10659884 memory=4211973815680519562 CPUtime=0 cores=0,2,4,6
/proc/31001/task/31004/stat : 31004 (java) S 30998 31001 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414675307 10915721216 8813 33554432000 4194304 4196468 140729193671616 140313232710672 140313306646229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31005] ppid=30998 vsize=10659884 memory=140089475729024 CPUtime=0 cores=0,2,4,6
/proc/31001/task/31005/stat : 31005 (java) S 30998 31001 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414675307 10915721216 8813 33554432000 4194304 4196468 140729193671616 140313231658128 140313306646229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31006] ppid=30998 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31001/task/31006/stat : 31006 (java) S 30998 31001 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414675307 10915721216 8813 33554432000 4194304 4196468 140729193671616 140313230605072 140313306646229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31007] ppid=30998 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31001/task/31007/stat : 31007 (java) S 30998 31001 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414675307 10915721216 8813 33554432000 4194304 4196468 140729193671616 140313229552528 140313306646229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31008] ppid=30998 vsize=10659884 memory=140089475729024 CPUtime=0 cores=0,2,4,6
/proc/31001/task/31008/stat : 31008 (java) S 30998 31001 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414675309 10915721216 8813 33554432000 4194304 4196468 140729193671616 140312798394608 140313306647170 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31009] ppid=30998 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31001/task/31009/stat : 31009 (java) S 30998 31001 29917 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414675309 10915721216 8813 33554432000 4194304 4196468 140729193671616 140312797340832 140313306646229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31010] ppid=30998 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31001/task/31010/stat : 31010 (java) S 30998 31001 29917 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414675309 10915721216 8813 33554432000 4194304 4196468 140729193671616 140312796287728 140313306646229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31011] ppid=30998 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31001/task/31011/stat : 31011 (java) S 30998 31001 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414675312 10915721216 8813 33554432000 4194304 4196468 140729193671616 140312795236304 140313306654619 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31012] ppid=30998 vsize=10659884 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/31001/task/31012/stat : 31012 (java) S 30998 31001 29917 0 -1 1077944384 500 0 0 0 2 0 0 0 20 0 15 0 414675312 10915721216 8813 33554432000 4194304 4196468 140729193671616 140312794184432 140313306647170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31013] ppid=30998 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/31001/task/31013/stat : 31013 (java) S 30998 31001 29917 0 -1 1077944384 482 0 0 0 3 0 0 0 20 0 15 0 414675312 10915721216 8813 33554432000 4194304 4196468 140729193671616 140312793131888 140313306647170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31014] ppid=30998 vsize=10659884 memory=140089475729024 CPUtime=0.05 cores=0,2,4,6
/proc/31001/task/31014/stat : 31014 (java) S 30998 31001 29917 0 -1 1077944384 686 0 0 0 5 0 0 0 20 0 15 0 414675312 10915721216 8813 33554432000 4194304 4196468 140729193671616 140312792078832 140313306647170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31015] ppid=30998 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31001/task/31015/stat : 31015 (java) S 30998 31001 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414675312 10915721216 8813 33554432000 4194304 4196468 140729193671616 140312791026528 140313306646229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31016] ppid=30998 vsize=10659884 memory=140089475729024 CPUtime=0 cores=0,2,4,6
/proc/31001/task/31016/stat : 31016 (java) S 30998 31001 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414675312 10915721216 8813 33554432000 4194304 4196468 140729193671616 140312789973552 140313306647170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35252 KiB

[startup+0.313368 s]*
/proc/loadavg: 1.92 2.02 1.92 4/228 31016
/proc/meminfo: memFree=30845088/32770624 swapFree=66940844/67108860
[pid=31001] ppid=30998 vsize=10659884 memory=40176 CPUtime=0.48 cores=0,2,4,6
/proc/31001/stat : 31001 (java) S 30998 31001 29917 0 -1 1077944320 8963 0 0 0 45 3 0 0 20 0 15 0 414675306 10915721216 10044 33554432000 4194304 4196468 140729193671616 140729193654160 140313306636023 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
/proc/31001/statm: 2664971 10044 3001 1 0 2627468 0
[pid=31001/tid=31003] ppid=30998 vsize=10659884 memory=6735269665583770266 CPUtime=0.3 cores=0,2,4,6
/proc/31001/task/31003/stat : 31003 (java) R 30998 31001 29917 0 -1 4202560 5868 0 0 0 28 2 0 0 20 0 15 0 414675306 10915721216 10044 33554432000 4194304 4196468 140729193671616 140313310867824 140313306657949 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31004] ppid=30998 vsize=10659884 memory=4211973815680519562 CPUtime=0 cores=0,2,4,6
/proc/31001/task/31004/stat : 31004 (java) S 30998 31001 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414675307 10915721216 10044 33554432000 4194304 4196468 140729193671616 140313232710672 140313306646229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31005] ppid=30998 vsize=10659884 memory=280178826787200 CPUtime=0 cores=0,2,4,6
/proc/31001/task/31005/stat : 31005 (java) S 30998 31001 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414675307 10915721216 10044 33554432000 4194304 4196468 140729193671616 140313231658128 140313306646229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31006] ppid=30998 vsize=10659884 memory=280178702144000 CPUtime=0 cores=0,2,4,6
/proc/31001/task/31006/stat : 31006 (java) S 30998 31001 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414675307 10915721216 10044 33554432000 4194304 4196468 140729193671616 140313230605072 140313306646229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31007] ppid=30998 vsize=10659884 memory=140089351058191 CPUtime=0 cores=0,2,4,6
/proc/31001/task/31007/stat : 31007 (java) S 30998 31001 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414675307 10915721216 10044 33554432000 4194304 4196468 140729193671616 140313229552528 140313306646229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31008] ppid=30998 vsize=10659884 memory=280178826796416 CPUtime=0 cores=0,2,4,6
/proc/31001/task/31008/stat : 31008 (java) S 30998 31001 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414675309 10915721216 10044 33554432000 4194304 4196468 140729193671616 140312798394608 140313306647170 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31009] ppid=30998 vsize=10659884 memory=140089351062799 CPUtime=0 cores=0,2,4,6
/proc/31001/task/31009/stat : 31009 (java) S 30998 31001 29917 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414675309 10915721216 10044 33554432000 4194304 4196468 140729193671616 140312797340832 140313306646229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31010] ppid=30998 vsize=10659884 memory=140089351095053 CPUtime=0 cores=0,2,4,6
/proc/31001/task/31010/stat : 31010 (java) S 30998 31001 29917 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414675309 10915721216 10044 33554432000 4194304 4196468 140729193671616 140312796287728 140313306646229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31011] ppid=30998 vsize=10659884 memory=140089351097553 CPUtime=0 cores=0,2,4,6
/proc/31001/task/31011/stat : 31011 (java) S 30998 31001 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414675312 10915721216 10044 33554432000 4194304 4196468 140729193671616 140312795236304 140313306654619 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31012] ppid=30998 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/31001/task/31012/stat : 31012 (java) S 30998 31001 29917 0 -1 1077944384 527 0 0 0 4 0 0 0 20 0 15 0 414675312 10915721216 10044 33554432000 4194304 4196468 140729193671616 140312794184432 140313306647170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31013] ppid=30998 vsize=10659884 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/31001/task/31013/stat : 31013 (java) S 30998 31001 29917 0 -1 1077944384 498 0 0 0 4 0 0 0 20 0 15 0 414675312 10915721216 10044 33554432000 4194304 4196468 140729193671616 140312793131888 140313306647170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31014] ppid=30998 vsize=10659884 memory=140089475729024 CPUtime=0.08 cores=0,2,4,6
/proc/31001/task/31014/stat : 31014 (java) S 30998 31001 29917 0 -1 1077944384 711 0 0 0 8 0 0 0 20 0 15 0 414675312 10915721216 10044 33554432000 4194304 4196468 140729193671616 140312792078832 140313306647170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31015] ppid=30998 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31001/task/31015/stat : 31015 (java) S 30998 31001 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414675312 10915721216 10044 33554432000 4194304 4196468 140729193671616 140312791026528 140313306646229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31016] ppid=30998 vsize=10659884 memory=140089475759812 CPUtime=0 cores=0,2,4,6
/proc/31001/task/31016/stat : 31016 (java) S 30998 31001 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414675312 10915721216 10044 33554432000 4194304 4196468 140729193671616 140312789973552 140313306647170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40176 KiB

[startup+0.701398 s]
/proc/loadavg: 1.92 2.02 1.92 3/228 31016
/proc/meminfo: memFree=30836888/32770624 swapFree=66940844/67108860
[pid=31001] ppid=30998 vsize=10661932 memory=63016 CPUtime=1.1 cores=0,2,4,6
/proc/31001/stat : 31001 (java) S 30998 31001 29917 0 -1 1077944320 12399 0 0 0 105 5 0 0 20 0 15 0 414675306 10917818368 15754 33554432000 4194304 4196468 140729193671616 140729193654160 140313306636023 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
/proc/31001/statm: 2665483 15754 3075 1 0 2627980 0
[pid=31001/tid=31003] ppid=30998 vsize=10661932 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/31001/task/31003/stat : 31003 (java) R 30998 31001 29917 0 -1 4202560 8401 0 0 0 64 4 0 0 20 0 15 0 414675306 10917818368 15754 33554432000 4194304 4196468 140729193671616 140313310858944 140313289822853 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31004] ppid=30998 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31001/task/31004/stat : 31004 (java) S 30998 31001 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414675307 10917818368 15754 33554432000 4194304 4196468 140729193671616 140313232710672 140313306646229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31005] ppid=30998 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31001/task/31005/stat : 31005 (java) S 30998 31001 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414675307 10917818368 15754 33554432000 4194304 4196468 140729193671616 140313231658128 140313306646229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31006] ppid=30998 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31001/task/31006/stat : 31006 (java) S 30998 31001 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414675307 10917818368 15754 33554432000 4194304 4196468 140729193671616 140313230605072 140313306646229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31007] ppid=30998 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31001/task/31007/stat : 31007 (java) S 30998 31001 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414675307 10917818368 15754 33554432000 4194304 4196468 140729193671616 140313229552528 140313306646229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31008] ppid=30998 vsize=10661932 memory=11340 CPUtime=0 cores=0,2,4,6
/proc/31001/task/31008/stat : 31008 (java) S 30998 31001 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414675309 10917818368 15754 33554432000 4194304 4196468 140729193671616 140312798394608 140313306647170 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31009] ppid=30998 vsize=10661932 memory=1532 CPUtime=0 cores=0,2,4,6
/proc/31001/task/31009/stat : 31009 (java) S 30998 31001 29917 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414675309 10917818368 15754 33554432000 4194304 4196468 140729193671616 140312797340832 140313306646229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31010] ppid=30998 vsize=10661932 memory=1088 CPUtime=0 cores=0,2,4,6
/proc/31001/task/31010/stat : 31010 (java) S 30998 31001 29917 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414675309 10917818368 15754 33554432000 4194304 4196468 140729193671616 140312796287728 140313306646229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31011] ppid=30998 vsize=10661932 memory=988 CPUtime=0 cores=0,2,4,6
/proc/31001/task/31011/stat : 31011 (java) S 30998 31001 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414675312 10917818368 15754 33554432000 4194304 4196468 140729193671616 140312795236304 140313306654619 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31012] ppid=30998 vsize=10661932 memory=780 CPUtime=0.1 cores=0,2,4,6
/proc/31001/task/31012/stat : 31012 (java) R 30998 31001 29917 0 -1 4202560 781 0 0 0 10 0 0 0 20 0 15 0 414675312 10917818368 15754 33554432000 4194304 4196468 140729193671616 140312794170312 140313288179746 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31013] ppid=30998 vsize=10661932 memory=5972 CPUtime=0.11 cores=0,2,4,6
/proc/31001/task/31013/stat : 31013 (java) S 30998 31001 29917 0 -1 1077944384 763 0 0 0 11 0 0 0 20 0 15 0 414675312 10917818368 15754 33554432000 4194304 4196468 140729193671616 140312793131888 140313306647170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31014] ppid=30998 vsize=10661932 memory=624 CPUtime=0.19 cores=0,2,4,6
/proc/31001/task/31014/stat : 31014 (java) S 30998 31001 29917 0 -1 1077944384 1098 0 0 0 19 0 0 0 20 0 15 0 414675312 10917818368 15754 33554432000 4194304 4196468 140729193671616 140312792078832 140313306647170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31015] ppid=30998 vsize=10661932 memory=3996 CPUtime=0 cores=0,2,4,6
/proc/31001/task/31015/stat : 31015 (java) S 30998 31001 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414675312 10917818368 15754 33554432000 4194304 4196468 140729193671616 140312791026528 140313306646229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31016] ppid=30998 vsize=10661932 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/31001/task/31016/stat : 31016 (java) S 30998 31001 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414675312 10917818368 15754 33554432000 4194304 4196468 140729193671616 140312789973552 140313306647170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63016 KiB

[startup+1.50068 s]
/proc/loadavg: 1.92 2.02 1.92 3/228 31016
/proc/meminfo: memFree=30821684/32770624 swapFree=66940844/67108860
[pid=31001] ppid=30998 vsize=10663980 memory=75164 CPUtime=2 cores=0,2,4,6
/proc/31001/stat : 31001 (java) S 30998 31001 29917 0 -1 1077944320 17668 0 0 0 194 6 0 0 20 0 15 0 414675306 10919915520 18791 33554432000 4194304 4196468 140729193671616 140729193654160 140313306636023 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
/proc/31001/statm: 2665995 18791 3094 1 0 2628492 0
[pid=31001/tid=31003] ppid=30998 vsize=10663980 memory=0 CPUtime=1.48 cores=0,2,4,6
/proc/31001/task/31003/stat : 31003 (java) R 30998 31001 29917 0 -1 4202560 12403 0 0 0 143 5 0 0 20 0 15 0 414675306 10919915520 18791 33554432000 4194304 4196468 140729193671616 140313310868048 140313290716510 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31004] ppid=30998 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31001/task/31004/stat : 31004 (java) S 30998 31001 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414675307 10919915520 18791 33554432000 4194304 4196468 140729193671616 140313232710672 140313306646229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31005] ppid=30998 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31001/task/31005/stat : 31005 (java) S 30998 31001 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414675307 10919915520 18791 33554432000 4194304 4196468 140729193671616 140313231658128 140313306646229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31006] ppid=30998 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31001/task/31006/stat : 31006 (java) S 30998 31001 29917 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414675307 10919915520 18791 33554432000 4194304 4196468 140729193671616 140313230605072 140313306646229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31007] ppid=30998 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31001/task/31007/stat : 31007 (java) S 30998 31001 29917 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414675307 10919915520 18791 33554432000 4194304 4196468 140729193671616 140313229552528 140313306646229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31008] ppid=30998 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31001/task/31008/stat : 31008 (java) S 30998 31001 29917 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 414675309 10919915520 18791 33554432000 4194304 4196468 140729193671616 140312798394608 140313306647170 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0

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

/proc/31001/task/31007/stat : 31007 (java) S 30998 31001 29917 0 -1 1077944384 4494 0 0 0 258 6 0 0 20 0 16 0 414675307 11006283776 53184 33554432000 4194304 4196468 140729193671616 140313229552528 140313306646229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31008] ppid=30998 vsize=10748324 memory=212736 CPUtime=0.94 cores=0,2,4,6
/proc/31001/task/31008/stat : 31008 (java) S 30998 31001 29917 0 -1 1077944384 6460 0 0 0 86 8 0 0 20 0 16 0 414675309 11006283776 53184 33554432000 4194304 4196468 140729193671616 140312798394608 140313306647170 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31009] ppid=30998 vsize=10748324 memory=140089352021448 CPUtime=0 cores=0,2,4,6
/proc/31001/task/31009/stat : 31009 (java) S 30998 31001 29917 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414675309 11006283776 53184 33554432000 4194304 4196468 140729193671616 140312797340896 140313306646229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31010] ppid=30998 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31001/task/31010/stat : 31010 (java) S 30998 31001 29917 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 414675309 11006283776 53184 33554432000 4194304 4196468 140729193671616 140312796287744 140313306646229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31011] ppid=30998 vsize=10748324 memory=212736 CPUtime=0 cores=0,2,4,6
/proc/31001/task/31011/stat : 31011 (java) S 30998 31001 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414675312 11006283776 53184 33554432000 4194304 4196468 140729193671616 140312795236304 140313306654619 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31012] ppid=30998 vsize=10748324 memory=3620 CPUtime=1.01 cores=0,2,4,6
/proc/31001/task/31012/stat : 31012 (java) S 30998 31001 29917 0 -1 1077944384 2808 0 0 0 100 1 0 0 20 0 16 0 414675312 11006283776 53184 33554432000 4194304 4196468 140729193671616 140312794184432 140313306647170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31013] ppid=30998 vsize=10748324 memory=39236 CPUtime=0.98 cores=0,2,4,6
/proc/31001/task/31013/stat : 31013 (java) S 30998 31001 29917 0 -1 1077944384 3237 0 0 0 97 1 0 0 20 0 16 0 414675312 11006283776 53184 33554432000 4194304 4196468 140729193671616 140312793131888 140313306647170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31014] ppid=30998 vsize=10748324 memory=39236 CPUtime=0.68 cores=0,2,4,6
/proc/31001/task/31014/stat : 31014 (java) S 30998 31001 29917 0 -1 1077944384 7211 0 0 0 67 1 0 0 20 0 16 0 414675312 11006283776 53184 33554432000 4194304 4196468 140729193671616 140312792078832 140313306647170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31015] ppid=30998 vsize=10748324 memory=1988 CPUtime=0 cores=0,2,4,6
/proc/31001/task/31015/stat : 31015 (java) S 30998 31001 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414675312 11006283776 53184 33554432000 4194304 4196468 140729193671616 140312791026528 140313306646229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31016] ppid=30998 vsize=10748324 memory=212736 CPUtime=0.55 cores=0,2,4,6
/proc/31001/task/31016/stat : 31016 (java) S 30998 31001 29917 0 -1 1077944384 894 0 0 0 24 31 0 0 20 0 16 0 414675312 11006283776 53184 33554432000 4194304 4196468 140729193671616 140312789973552 140313306647170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31017] ppid=30998 vsize=10748324 memory=23412 CPUtime=2375.81 cores=0,2,4,6
/proc/31001/task/31017/stat : 31017 (java) R 30998 31001 29917 0 -1 4202560 16027 0 0 0 237573 8 0 0 20 0 16 0 414675494 11006283776 53184 33554432000 4194304 4196468 140729193671616 140312773201408 140312914416855 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
Current children cumulated CPU time: 2392.5 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 212736 KiB

[startup+2442.3 s]
/proc/loadavg: 1.76 1.72 1.71 3/229 31479
/proc/meminfo: memFree=30723932/32770624 swapFree=66940848/67108860
[pid=31001] ppid=30998 vsize=10748324 memory=212736 CPUtime=2452.69 cores=0,2,4,6
/proc/31001/stat : 31001 (java) S 30998 31001 29917 0 -1 1077944320 68634 0 0 0 245198 71 0 0 20 0 16 0 414675306 11006283776 53184 33554432000 4194304 4196468 140729193671616 140729193654160 140313306636023 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
/proc/31001/statm: 2687081 53184 3376 1 0 2647217 0
[pid=31001/tid=31003] ppid=30998 vsize=10748324 memory=212736 CPUtime=1.86 cores=0,2,4,6
/proc/31001/task/31003/stat : 31003 (java) S 30998 31001 29917 0 -1 1077944384 14548 0 0 0 180 6 0 0 20 0 16 0 414675306 11006283776 53184 33554432000 4194304 4196468 140729193671616 140313310878896 140313306646229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31004] ppid=30998 vsize=10748324 memory=212736 CPUtime=2.71 cores=0,2,4,6
/proc/31001/task/31004/stat : 31004 (java) S 30998 31001 29917 0 -1 1077944384 2979 0 0 0 266 5 0 0 20 0 16 0 414675307 11006283776 53184 33554432000 4194304 4196468 140729193671616 140313232710672 140313306646229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31005] ppid=30998 vsize=10748324 memory=212736 CPUtime=2.7 cores=0,2,4,6
/proc/31001/task/31005/stat : 31005 (java) S 30998 31001 29917 0 -1 1077944384 4370 0 0 0 264 6 0 0 20 0 16 0 414675307 11006283776 53184 33554432000 4194304 4196468 140729193671616 140313231658128 140313306646229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31006] ppid=30998 vsize=10748324 memory=212736 CPUtime=2.72 cores=0,2,4,6
/proc/31001/task/31006/stat : 31006 (java) S 30998 31001 29917 0 -1 1077944384 3940 0 0 0 266 6 0 0 20 0 16 0 414675307 11006283776 53184 33554432000 4194304 4196468 140729193671616 140313230605072 140313306646229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31007] ppid=30998 vsize=10748324 memory=212736 CPUtime=2.71 cores=0,2,4,6
/proc/31001/task/31007/stat : 31007 (java) S 30998 31001 29917 0 -1 1077944384 4498 0 0 0 265 6 0 0 20 0 16 0 414675307 11006283776 53184 33554432000 4194304 4196468 140729193671616 140313229552528 140313306646229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31008] ppid=30998 vsize=10748324 memory=212736 CPUtime=0.97 cores=0,2,4,6
/proc/31001/task/31008/stat : 31008 (java) S 30998 31001 29917 0 -1 1077944384 6467 0 0 0 89 8 0 0 20 0 16 0 414675309 11006283776 53184 33554432000 4194304 4196468 140729193671616 140312798394608 140313306647170 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31009] ppid=30998 vsize=10748324 memory=212736 CPUtime=0 cores=0,2,4,6
/proc/31001/task/31009/stat : 31009 (java) S 30998 31001 29917 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414675309 11006283776 53184 33554432000 4194304 4196468 140729193671616 140312797340896 140313306646229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31010] ppid=30998 vsize=10748324 memory=212736 CPUtime=0 cores=0,2,4,6
/proc/31001/task/31010/stat : 31010 (java) S 30998 31001 29917 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 414675309 11006283776 53184 33554432000 4194304 4196468 140729193671616 140312796287744 140313306646229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31011] ppid=30998 vsize=10748324 memory=212736 CPUtime=0 cores=0,2,4,6
/proc/31001/task/31011/stat : 31011 (java) S 30998 31001 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414675312 11006283776 53184 33554432000 4194304 4196468 140729193671616 140312795236304 140313306654619 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31012] ppid=30998 vsize=10748324 memory=212736 CPUtime=1.01 cores=0,2,4,6
/proc/31001/task/31012/stat : 31012 (java) S 30998 31001 29917 0 -1 1077944384 2810 0 0 0 100 1 0 0 20 0 16 0 414675312 11006283776 53184 33554432000 4194304 4196468 140729193671616 140312794184432 140313306647170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31013] ppid=30998 vsize=10748324 memory=212736 CPUtime=0.98 cores=0,2,4,6
/proc/31001/task/31013/stat : 31013 (java) S 30998 31001 29917 0 -1 1077944384 3239 0 0 0 97 1 0 0 20 0 16 0 414675312 11006283776 53184 33554432000 4194304 4196468 140729193671616 140312793131888 140313306647170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31014] ppid=30998 vsize=10748324 memory=212736 CPUtime=0.68 cores=0,2,4,6
/proc/31001/task/31014/stat : 31014 (java) S 30998 31001 29917 0 -1 1077944384 7213 0 0 0 67 1 0 0 20 0 16 0 414675312 11006283776 53184 33554432000 4194304 4196468 140729193671616 140312792078832 140313306647170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31015] ppid=30998 vsize=10748324 memory=212736 CPUtime=0 cores=0,2,4,6
/proc/31001/task/31015/stat : 31015 (java) S 30998 31001 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414675312 11006283776 53184 33554432000 4194304 4196468 140729193671616 140312791026528 140313306646229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31016] ppid=30998 vsize=10748324 memory=212736 CPUtime=0.57 cores=0,2,4,6
/proc/31001/task/31016/stat : 31016 (java) S 30998 31001 29917 0 -1 1077944384 898 0 0 0 25 32 0 0 20 0 16 0 414675312 11006283776 53184 33554432000 4194304 4196468 140729193671616 140312789973552 140313306647170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31017] ppid=30998 vsize=10748324 memory=3996 CPUtime=2435.68 cores=0,2,4,6
/proc/31001/task/31017/stat : 31017 (java) R 30998 31001 29917 0 -1 4202560 16276 0 0 0 243560 8 0 0 20 0 16 0 414675494 11006283776 53184 33554432000 4194304 4196468 140729193671616 140312773201408 140312913997002 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
Current children cumulated CPU time: 2452.69 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 212736 KiB

[startup+2502.3 s]
/proc/loadavg: 1.74 1.73 1.71 3/230 31491
/proc/meminfo: memFree=30723244/32770624 swapFree=66940848/67108860
[pid=31001] ppid=30998 vsize=10748324 memory=212736 CPUtime=2512.89 cores=0,2,4,6
/proc/31001/stat : 31001 (java) S 30998 31001 29917 0 -1 1077944320 69285 0 0 0 251216 73 0 0 20 0 16 0 414675306 11006283776 53184 33554432000 4194304 4196468 140729193671616 140729193654160 140313306636023 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
/proc/31001/statm: 2687081 53184 3376 1 0 2647217 0
[pid=31001/tid=31003] ppid=30998 vsize=10748324 memory=212736 CPUtime=1.86 cores=0,2,4,6
/proc/31001/task/31003/stat : 31003 (java) S 30998 31001 29917 0 -1 1077944384 14548 0 0 0 180 6 0 0 20 0 16 0 414675306 11006283776 53184 33554432000 4194304 4196468 140729193671616 140313310878896 140313306646229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31004] ppid=30998 vsize=10748324 memory=212736 CPUtime=2.78 cores=0,2,4,6
/proc/31001/task/31004/stat : 31004 (java) S 30998 31001 29917 0 -1 1077944384 3000 0 0 0 273 5 0 0 20 0 16 0 414675307 11006283776 53184 33554432000 4194304 4196468 140729193671616 140313232710672 140313306646229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31005] ppid=30998 vsize=10748324 memory=0 CPUtime=2.77 cores=0,2,4,6
/proc/31001/task/31005/stat : 31005 (java) S 30998 31001 29917 0 -1 1077944384 4627 0 0 0 270 7 0 0 20 0 16 0 414675307 11006283776 53184 33554432000 4194304 4196468 140729193671616 140313231658128 140313306646229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31006] ppid=30998 vsize=10748324 memory=212736 CPUtime=2.78 cores=0,2,4,6
/proc/31001/task/31006/stat : 31006 (java) S 30998 31001 29917 0 -1 1077944384 3965 0 0 0 272 6 0 0 20 0 16 0 414675307 11006283776 53184 33554432000 4194304 4196468 140729193671616 140313230605072 140313306646229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31007] ppid=30998 vsize=10748324 memory=212736 CPUtime=2.79 cores=0,2,4,6
/proc/31001/task/31007/stat : 31007 (java) S 30998 31001 29917 0 -1 1077944384 4510 0 0 0 272 7 0 0 20 0 16 0 414675307 11006283776 53184 33554432000 4194304 4196468 140729193671616 140313229552528 140313306646229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31008] ppid=30998 vsize=10748324 memory=212736 CPUtime=0.99 cores=0,2,4,6
/proc/31001/task/31008/stat : 31008 (java) S 30998 31001 29917 0 -1 1077944384 6645 0 0 0 91 8 0 0 20 0 16 0 414675309 11006283776 53184 33554432000 4194304 4196468 140729193671616 140312798394608 140313306647170 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31009] ppid=30998 vsize=10748324 memory=212736 CPUtime=0 cores=0,2,4,6
/proc/31001/task/31009/stat : 31009 (java) S 30998 31001 29917 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414675309 11006283776 53184 33554432000 4194304 4196468 140729193671616 140312797340896 140313306646229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31010] ppid=30998 vsize=10748324 memory=212736 CPUtime=0 cores=0,2,4,6
/proc/31001/task/31010/stat : 31010 (java) S 30998 31001 29917 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 414675309 11006283776 53184 33554432000 4194304 4196468 140729193671616 140312796287744 140313306646229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31011] ppid=30998 vsize=10748324 memory=212736 CPUtime=0 cores=0,2,4,6
/proc/31001/task/31011/stat : 31011 (java) S 30998 31001 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414675312 11006283776 53184 33554432000 4194304 4196468 140729193671616 140312795236304 140313306654619 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31012] ppid=30998 vsize=10748324 memory=212736 CPUtime=1.01 cores=0,2,4,6
/proc/31001/task/31012/stat : 31012 (java) S 30998 31001 29917 0 -1 1077944384 2810 0 0 0 100 1 0 0 20 0 16 0 414675312 11006283776 53184 33554432000 4194304 4196468 140729193671616 140312794184432 140313306647170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31013] ppid=30998 vsize=10748324 memory=212736 CPUtime=0.98 cores=0,2,4,6
/proc/31001/task/31013/stat : 31013 (java) S 30998 31001 29917 0 -1 1077944384 3239 0 0 0 97 1 0 0 20 0 16 0 414675312 11006283776 53184 33554432000 4194304 4196468 140729193671616 140312793131888 140313306647170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31014] ppid=30998 vsize=10748324 memory=212736 CPUtime=0.68 cores=0,2,4,6
/proc/31001/task/31014/stat : 31014 (java) S 30998 31001 29917 0 -1 1077944384 7213 0 0 0 67 1 0 0 20 0 16 0 414675312 11006283776 53184 33554432000 4194304 4196468 140729193671616 140312792078832 140313306647170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31015] ppid=30998 vsize=10748324 memory=212736 CPUtime=0 cores=0,2,4,6
/proc/31001/task/31015/stat : 31015 (java) S 30998 31001 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414675312 11006283776 53184 33554432000 4194304 4196468 140729193671616 140312791026528 140313306646229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31016] ppid=30998 vsize=10748324 memory=3620 CPUtime=0.58 cores=0,2,4,6
/proc/31001/task/31016/stat : 31016 (java) S 30998 31001 29917 0 -1 1077944384 917 0 0 0 25 33 0 0 20 0 16 0 414675312 11006283776 53184 33554432000 4194304 4196468 140729193671616 140312789973552 140313306647170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31017] ppid=30998 vsize=10748324 memory=212736 CPUtime=2495.57 cores=0,2,4,6
/proc/31001/task/31017/stat : 31017 (java) R 30998 31001 29917 0 -1 4202560 16415 0 0 0 249549 8 0 0 20 0 16 0 414675494 11006283776 53184 33554432000 4194304 4196468 140729193671616 140312773201408 140312913997889 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
Current children cumulated CPU time: 2512.89 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 212736 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2509.4 s]
/proc/loadavg: 1.76 1.73 1.71 3/230 31493
/proc/meminfo: memFree=30723168/32770624 swapFree=66940848/67108860
[pid=31001] ppid=30998 vsize=10748324 memory=212736 CPUtime=2520.02 cores=0,2,4,6
/proc/31001/stat : 31001 (java) S 30998 31001 29917 0 -1 1077944320 69301 0 0 0 251928 74 0 0 20 0 16 0 414675306 11006283776 53184 33554432000 4194304 4196468 140729193671616 140729193654160 140313306636023 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
/proc/31001/statm: 2687081 53184 3376 1 0 2647217 0
[pid=31001/tid=31003] ppid=30998 vsize=10748324 memory=212736 CPUtime=1.86 cores=0,2,4,6
/proc/31001/task/31003/stat : 31003 (java) S 30998 31001 29917 0 -1 1077944384 14548 0 0 0 180 6 0 0 20 0 16 0 414675306 11006283776 53184 33554432000 4194304 4196468 140729193671616 140313310878896 140313306646229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31004] ppid=30998 vsize=10748324 memory=6791534058613427641 CPUtime=2.78 cores=0,2,4,6
/proc/31001/task/31004/stat : 31004 (java) S 30998 31001 29917 0 -1 1077944384 3000 0 0 0 273 5 0 0 20 0 16 0 414675307 11006283776 53184 33554432000 4194304 4196468 140729193671616 140313232710672 140313306646229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31005] ppid=30998 vsize=10748324 memory=4420 CPUtime=2.78 cores=0,2,4,6
/proc/31001/task/31005/stat : 31005 (java) S 30998 31001 29917 0 -1 1077944384 4627 0 0 0 271 7 0 0 20 0 16 0 414675307 11006283776 53184 33554432000 4194304 4196468 140729193671616 140313231658128 140313306646229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31006] ppid=30998 vsize=10748324 memory=6628 CPUtime=2.79 cores=0,2,4,6
/proc/31001/task/31006/stat : 31006 (java) S 30998 31001 29917 0 -1 1077944384 3968 0 0 0 273 6 0 0 20 0 16 0 414675307 11006283776 53184 33554432000 4194304 4196468 140729193671616 140313230605072 140313306646229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31007] ppid=30998 vsize=10748324 memory=8836 CPUtime=2.79 cores=0,2,4,6
/proc/31001/task/31007/stat : 31007 (java) S 30998 31001 29917 0 -1 1077944384 4510 0 0 0 272 7 0 0 20 0 16 0 414675307 11006283776 53184 33554432000 4194304 4196468 140729193671616 140313229552528 140313306646229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31008] ppid=30998 vsize=10748324 memory=11044 CPUtime=0.99 cores=0,2,4,6
/proc/31001/task/31008/stat : 31008 (java) S 30998 31001 29917 0 -1 1077944384 6647 0 0 0 91 8 0 0 20 0 16 0 414675309 11006283776 53184 33554432000 4194304 4196468 140729193671616 140312798394608 140313306647170 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31009] ppid=30998 vsize=10748324 memory=13252 CPUtime=0 cores=0,2,4,6
/proc/31001/task/31009/stat : 31009 (java) S 30998 31001 29917 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414675309 11006283776 53184 33554432000 4194304 4196468 140729193671616 140312797340896 140313306646229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31010] ppid=30998 vsize=10748324 memory=212736 CPUtime=0 cores=0,2,4,6
/proc/31001/task/31010/stat : 31010 (java) S 30998 31001 29917 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 414675309 11006283776 53184 33554432000 4194304 4196468 140729193671616 140312796287744 140313306646229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31011] ppid=30998 vsize=10748324 memory=780 CPUtime=0 cores=0,2,4,6
/proc/31001/task/31011/stat : 31011 (java) S 30998 31001 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414675312 11006283776 53184 33554432000 4194304 4196468 140729193671616 140312795236304 140313306654619 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31012] ppid=30998 vsize=10748324 memory=5972 CPUtime=1.01 cores=0,2,4,6
/proc/31001/task/31012/stat : 31012 (java) S 30998 31001 29917 0 -1 1077944384 2812 0 0 0 100 1 0 0 20 0 16 0 414675312 11006283776 53184 33554432000 4194304 4196468 140729193671616 140312794184432 140313306647170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31013] ppid=30998 vsize=10748324 memory=212736 CPUtime=0.98 cores=0,2,4,6
/proc/31001/task/31013/stat : 31013 (java) S 30998 31001 29917 0 -1 1077944384 3241 0 0 0 97 1 0 0 20 0 16 0 414675312 11006283776 53184 33554432000 4194304 4196468 140729193671616 140312793131888 140313306647170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31014] ppid=30998 vsize=10748324 memory=39256 CPUtime=0.68 cores=0,2,4,6
/proc/31001/task/31014/stat : 31014 (java) S 30998 31001 29917 0 -1 1077944384 7215 0 0 0 67 1 0 0 20 0 16 0 414675312 11006283776 53184 33554432000 4194304 4196468 140729193671616 140312792078832 140313306647170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31015] ppid=30998 vsize=10748324 memory=1988 CPUtime=0 cores=0,2,4,6
/proc/31001/task/31015/stat : 31015 (java) S 30998 31001 29917 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414675312 11006283776 53184 33554432000 4194304 4196468 140729193671616 140312791026528 140313306646229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31016] ppid=30998 vsize=10748324 memory=212736 CPUtime=0.58 cores=0,2,4,6
/proc/31001/task/31016/stat : 31016 (java) S 30998 31001 29917 0 -1 1077944384 917 0 0 0 25 33 0 0 20 0 16 0 414675312 11006283776 53184 33554432000 4194304 4196468 140729193671616 140312789973552 140313306647170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
[pid=31001/tid=31017] ppid=30998 vsize=10748324 memory=1988 CPUtime=2502.66 cores=0,2,4,6
/proc/31001/task/31017/stat : 31017 (java) R 30998 31001 29917 0 -1 4202560 16420 0 0 0 250258 8 0 0 20 0 16 0 414675494 11006283776 53184 33554432000 4194304 4196468 140729193671616 140312773201984 140312914286334 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7397376 140729193673739 140729193673842 140729193673842 140729193676751 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 212736 KiB

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

[startup+2509.41 s]
# the end of solver process 31001 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.29 s, system=0.745188 s

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

Child status: 143
Real time (s): 2509.41
CPU time (s): 2520.04
CPU user time (s): 2519.29
CPU system time (s): 0.745188
CPU usage (%): 100.423
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 322836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.29
system time used= 0.745188
maximum resident set size= 324372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69625
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 78849
involuntary context switches= 3775


# summary of solver processes directly reported to runsolver:
#   pid: 31001
#   total CPU time (s): 2520.04
#   total CPU user time (s): 2519.29
#   total CPU system time (s): 0.745188

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.6003 second user time and 22.2031 second system time

The end

Launcher Data 

Begin job on node149 at 2019-09-13 16:18:48
IDJOB=4390752
IDBENCH=134846
IDSOLVER=2832
FILE ID=node149/4390752-1568384366
RUNJOBID= node149-1568380477-29948
PBS_JOBID= 21701822
Free space on /tmp= 57060 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-armies/Pb-army12-21ls.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4390752-1568384366/watcher-4390752-1568384366 -o /tmp/evaluation-result-4390752-1568384366/solver-4390752-1568384366 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1568380477-29948 --watchdog 2580  java -cp AbsCon19-06.jar AbsCon HOME/instance-4390752-1568384366.xml -cm

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

MD5SUM BENCH= 23e4294b931acf98fdd35eb0662a4341
RANDOM SEED=1836070979

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30875720 kB
MemAvailable:   31639396 kB
Buffers:          148744 kB
Cached:           911952 kB
SwapCached:        61308 kB
Active:           654908 kB
Inactive:         682600 kB
Active(anon):     245012 kB
Inactive(anon):    72352 kB
Active(file):     409896 kB
Inactive(file):   610248 kB
Unevictable:      111264 kB
Mlocked:          111264 kB
SwapTotal:      67108860 kB
SwapFree:       66940844 kB
Dirty:              8784 kB
Writeback:             0 kB
AnonPages:        328960 kB
Mapped:            56212 kB
Shmem:             31280 kB
Slab:             147472 kB
SReclaimable:     118736 kB
SUnreclaim:        28736 kB
KernelStack:        3744 kB
PageTables:         5988 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1163112 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    256000 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      144768 kB
DirectMap2M:    33400832 kB

Free space on /tmp at the end= 57052 MiB
End job on node149 at 2019-09-13 17:00:38