Trace number 4391054

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 NameAnswerobjective functionCPU timeWall clock time
AbsCon 2019-07-23? (TO) 2520.09 2512.72

General information on the benchmark

NameCutstock/Cutstock-zinc-s1/
Cutstock-t10-4.xml
MD5SUM9ef9cfbbe168b3e655de6bd1a7d8b0b4
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark867
Best CPU time to get the best result obtained on this benchmark2520.15
Satisfiable
(Un)Satisfiability was proved
Number of variables20580
Number of constraints1002
Number of domains21
Minimum domain size2
Maximum domain size181
Distribution of domain sizes[{"size":2,"count":980},{"size":8,"count":980},{"size":11,"count":980},{"size":23,"count":980},{"size":51,"count":980},{"size":54,"count":980},{"size":64,"count":980},{"size":71,"count":980},{"size":83,"count":980},{"size":92,"count":980},{"size":97,"count":980},{"size":103,"count":980},{"size":115,"count":980},{"size":121,"count":980},{"size":139,"count":980},{"size":147,"count":980},{"size":154,"count":980},{"size":160,"count":980},{"size":166,"count":980},{"size":180,"count":980},{"size":181,"count":980}]
Minimum variable degree3
Maximum variable degree3
Distribution of variable degrees[{"degree":3,"count":20580}]
Minimum constraint arity21
Maximum constraint arity19600
Distribution of constraint arities[{"arity":21,"count":980},{"arity":980,"count":21},{"arity":19600,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"ordered","count":1},{"type":"lex","count":1},{"type":"sum","count":1000}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

2.40/1.87	
2.40/1.87	AbsCon 2 
2.40/1.89	
3.60/2.28	  Instance
3.60/2.28	    name=instance-4391054-1568380706, framework=COP, bounds=-infty..+infty
3.60/2.28	
3.60/2.28	  Loading variables...
4.95/2.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69ab9d36
4.95/2.67	  Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ff0220f
4.95/2.69	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d419717
5.27/2.70	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e37f535
5.27/2.71	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@398b23fc
5.27/2.72	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22acac59
5.27/2.74	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@354a68bc
5.27/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7aa24fb9
5.27/2.76	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38785e3a
5.27/2.77	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32175a14
5.27/2.78	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18b3f244
5.27/2.79	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4acd566b
5.27/2.80	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28039d51
5.52/2.81	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59903083
5.52/2.82	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6935c398
5.52/2.83	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a42f9ac
5.52/2.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@617b2770
5.52/2.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58898e70
5.52/2.86	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e23e585
5.52/2.87	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53781ebb
5.52/2.88	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@406b079
5.52/2.89	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13faca78
5.52/2.89	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@354508be
5.52/2.89	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ac2307a
5.52/2.89	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63ee75ea
5.52/2.89	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43f65807
5.52/2.89	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@312552f8
5.52/2.89	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fe589c5
5.52/2.89	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64a827d0
5.52/2.89	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f1911a5
5.52/2.89	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d9eb5b6
5.52/2.89	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6edaa90d
5.52/2.89	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52066559
5.52/2.89	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@286a9f2c
5.52/2.89	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79ef40dc
5.52/2.89	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8ba942e
5.52/2.89	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ed4d9b
5.52/2.89	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@217010f
5.52/2.89	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53e108d9
5.52/2.89	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30e58099
5.52/2.89	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f8891ef
5.52/2.89	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e859be8
5.52/2.89	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60d60d2
5.52/2.89	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77ed30e4
5.52/2.90	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b90fe5e
5.52/2.90	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d62e67c
5.52/2.90	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7711c2c4
5.52/2.90	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4abc0ee6
5.52/2.90	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45449272
5.78/2.90	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2504f20f
5.78/2.90	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b61eebe
5.78/2.90	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e84fea0
5.78/2.90	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5984bbe0
5.78/2.90	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6bd86120
5.78/2.90	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f64d790
5.78/2.90	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22e948d7
5.78/2.90	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@613ca5d6
5.78/2.90	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@428ec46
5.78/2.90	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@618a9908
5.78/2.90	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@338a4b11
5.78/2.90	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f31d4b
5.78/2.90	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@83115c7
5.78/2.90	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1231901
5.78/2.90	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@788e4ed9
5.78/2.90	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@555bbf18
5.78/2.90	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2856ac72
5.78/2.90	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26b61975
5.78/2.90	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f8d99ce
5.78/2.90	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@693d9e98
5.78/2.90	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3420029e
5.78/2.90	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c1adaad
5.78/2.90	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2aea4e9c
5.78/2.90	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b00a4e9
5.78/2.90	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@799f4d5a
5.78/2.91	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7872c160
5.78/2.91	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31dde67e
5.78/2.91	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@315a8187
5.78/2.91	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e8f02b
5.78/2.91	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52b6884d
5.78/2.91	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@bc3dc4e
5.78/2.91	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71443b0b
5.78/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4992e8b1
5.78/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fc4f29b
5.78/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e72ceac
5.78/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@399da9eb
5.78/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ae91295
5.78/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@718e19d4
5.78/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@140e23b4
5.78/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7150eb73
5.78/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d9c0588
5.78/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63686fe9
5.78/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32465a00
5.78/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f738f68
5.78/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4dbddd73
5.78/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@541ae717
5.78/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6215616a
5.78/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f195e2f
5.78/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bfb030
5.78/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cf0ea57
5.78/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c609d0d
5.78/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@575f4afa
5.78/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16acd150
5.78/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@521d1aca
5.78/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@299792ea
5.78/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28df69af
5.78/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6bab607e
5.78/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d72a8a3
5.78/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66337612
5.78/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39be7456
5.78/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48469697
5.78/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cc47e27
5.78/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@722e7f53
5.78/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ef691bb
5.78/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@419c084
5.78/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8b59f72
5.78/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20508562
5.78/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1307a76d
5.78/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66a42b36
5.78/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1084b167
5.78/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bb5ee78
5.78/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72bd3afa
5.78/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66aab0d7
5.78/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7810bec
5.78/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7490312a
5.78/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63ea3c42
5.78/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@295e19db
5.78/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bcda6f6
5.78/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3da9d645
5.78/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ecae589
5.78/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4dfc2179
5.78/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c1ee809
5.78/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58d1aa58
5.78/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b71f3d9
5.78/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f5eb4ff
5.78/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b6a26df
5.78/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@91d4ac8
5.78/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73c48ca4
5.78/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44aeba17
5.78/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a9fadb9
5.78/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6bbf7b53
5.78/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cdbd454
5.78/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46e49569
5.78/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d3f2490
5.78/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@611535ae
5.78/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6bd2f1bf
5.78/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65e7d82e
5.78/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cb7aba7
5.78/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@734a3b4e
5.78/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@157a0fff
5.78/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@226c37c0
5.78/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78005958
5.78/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c5e8694
5.78/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ef199c2
5.78/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@428cb24d
5.78/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3aae7242
5.78/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10c9a50b
5.78/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f917fee
5.78/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1652c902
5.78/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7503c1bf
5.78/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@482e1b4f
5.78/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f9d67e6
5.78/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39071453
5.78/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b982ee2
5.78/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27b06ef9
5.78/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14f741c7
5.78/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@341b580e
5.78/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20fa3ed4
5.78/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f3cbec9
5.78/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d72379d
5.78/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c6ea82a
5.78/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5160fe8f
5.78/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2afc9ba0
5.78/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26e5adb7
5.78/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29d1b30e
5.78/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f356c5b
5.78/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cdf71a1
5.78/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b42d0c5
5.78/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@349d33c
5.78/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58118a2b
5.78/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56904ac0
5.78/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4279639f
5.78/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@604563a4
5.78/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1020c991
5.78/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50221069
5.78/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e498f53
5.78/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dcdda2e
5.78/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ab6e8c7
5.78/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@657c3895
5.78/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ebc6065
5.78/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@600fd806
5.78/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1495ef08
5.78/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71e8d4d2
5.78/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b901e32
5.78/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c0669c4
5.78/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ec3697
5.78/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a05fdb8
5.78/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3650edc7
5.78/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@316958a5
5.78/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33b57ce7
5.78/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8fbb04a
5.78/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4660bc06
5.78/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3672ef1
5.78/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b0e23cf
5.78/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a881e52
5.78/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21fca8ff
5.78/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e4bdca4
5.78/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26ce1ced
5.78/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1be11910
5.78/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@201aebe6
5.78/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42df19a1
5.78/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e168ce0
5.78/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28bffe47
5.78/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b06f6a9
5.78/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31db5572
5.78/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@348fbc3f
5.78/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@372cdeae
5.78/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33c7c4f4
5.78/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59b0409
5.78/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75e51881
5.78/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6713889c
5.78/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@643bd8b
5.78/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ccf619c
5.78/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50d85494
5.78/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a866c50
5.78/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73939ef7
5.78/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46bfefa7
5.78/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20154ea0
5.78/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@316363b6
5.78/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4847dbe
5.78/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65bdb0bc
5.78/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e759ba8
5.78/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@310a0f2d
5.78/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61aca6ad
5.78/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ae9429b
5.78/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b7afd5e
5.78/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ab061f4
5.78/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3457c010
5.78/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f83d582
5.78/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67d53d23
5.78/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d0e3f9a
5.78/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6fe6226a
5.78/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79004077
5.78/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27457663
5.78/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b2925f8
5.78/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29c16e3f
5.78/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1509d836
5.78/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4dce149a
5.78/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@800f1cc
5.78/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b7b13f0
5.78/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d7f02a6
5.78/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ddc5bbf
5.78/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ad24360
5.78/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2228cd10
5.78/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d8344cd
5.78/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@375a13dd
5.78/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@537be616
5.78/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17a2f8cc
5.78/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44484140
5.78/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a1c65a1
5.78/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e4d1a3e
5.78/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29d69ac8
5.78/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f2444cb
5.78/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14c120d5
5.78/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@215115ae
5.78/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52665fc9
5.78/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@766ca44
5.78/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48c6a613
5.78/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4df6717c
5.78/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69fc8657
5.78/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76efc704
5.78/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5512de22
5.78/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@349f5295
5.78/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@269533a0
5.78/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5780bfde
5.78/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15e8fdd8
5.78/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74dee626
5.78/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@422963b4
5.78/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@719cbead
5.78/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f453e4
5.78/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60c7dbc4
5.78/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6acd818
5.78/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fa7efcc
5.78/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77601d8
5.78/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66e00c04
5.78/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65a8517b
5.78/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f2f73c9
5.78/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2530b0b4
5.78/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76ed13ef
5.78/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74be5c99
5.78/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c961634
5.78/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4177dcd5
5.78/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ffbf58f
5.78/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ff09b0d
5.78/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fc42e42
5.78/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@772f2672
5.78/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2909f7ae
5.78/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ccc9857
5.78/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@768a4dc3
5.78/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6db7a765
5.78/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a1bc78b
5.78/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23b260de
5.78/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@261506b
5.78/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3261d559
5.78/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b5daa27
5.78/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ae8bf29
5.78/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25edb043
5.78/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27ecc287
5.78/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75e24fd9
5.78/2.97	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d2a1b64
5.78/2.97	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bf9e4ca
5.78/2.97	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4226dbd8
5.78/2.97	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d943f95
5.78/2.97	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76fe4ece
5.78/2.97	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2958eba7
5.78/2.97	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a5b62c0
5.78/2.97	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4199d0c3
5.78/2.97	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20fd2491
5.78/2.97	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@103a47f2
5.78/2.97	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@102aa9ad
5.78/2.97	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19943388
5.78/2.97	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@533e6cdd
5.78/2.97	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fcfd82b
5.78/2.97	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f189ddd
5.78/2.97	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44dba153
5.78/2.97	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22f810b4
5.78/2.97	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@feafd70
5.78/2.97	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58f452be
5.78/2.97	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6375559
5.78/2.97	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ae616cb
5.78/2.97	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9928396
5.78/2.97	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d552615
5.78/2.97	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@197337c7
5.78/2.97	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63802ffb
5.78/2.97	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@637a2021
5.78/2.97	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@682ba820
5.78/2.97	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67db533
5.78/2.97	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ca02cc0
5.78/2.97	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@743df616
5.78/2.97	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f84e112
5.78/2.97	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bf8821b
5.78/2.97	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79846127
5.78/2.97	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54d5b095
5.78/2.97	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b744b03
5.78/2.97	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39881daf
5.78/2.97	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d29df4f
5.78/2.97	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66b6fa0f
5.78/2.97	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4df4a56
5.78/2.97	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d43bd17
5.78/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d23fe70
5.78/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6312c955
5.78/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ca23a9
5.78/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b2f04cf
5.78/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c8e7c90
5.78/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40d8ad17
5.78/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1267eaae
5.78/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62f30146
5.78/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@613b1e05
5.78/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4969175c
5.78/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19ab297b
5.78/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7dbcc8d7
5.78/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5329d710
5.78/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43b2c652
5.78/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cd39dc
5.78/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14b6a4dd
5.78/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6fed3bc9
5.78/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14b20a32
5.78/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@302ac020
5.78/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1fe5f736
5.78/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@334f661d
5.78/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cc1ec93
5.78/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50fc28d
5.78/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5554ff2a
5.78/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@225540ca
5.78/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@179fb492
5.78/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69d128f3
5.78/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63756c36
5.78/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3183599a
5.78/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5344f745
5.78/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20039a8
5.78/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2caea166
5.78/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21dee635
5.78/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@425ed71
5.78/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72991b5a
5.78/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a2750b2
5.78/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51aa1fbe
5.78/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53740a84
5.78/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25541fdc
5.78/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46d52986
5.78/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72512b56
5.78/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1989e421
5.78/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6607bec9
5.78/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3dd8a5b3
5.78/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42ccd1cc
5.78/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66db68e7
5.78/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ddafb84
5.78/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b9b52c7
5.78/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68bcd994
5.78/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b0d0d63
5.78/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d5ac07
5.78/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@457c69f1
5.78/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bba93fa
5.78/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@239ac9fa
5.78/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@704b5755
5.78/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78c3829b
5.78/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@449f4dbf
5.78/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37a6b0b4
5.78/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4514ea5a
5.78/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d62e4ac
5.78/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61b1bcd3
5.78/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ab9ef67
5.78/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bbc52ae
5.78/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f4ca1f5
5.78/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58988ef7
5.78/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4585b8cc
5.78/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c619edc
5.78/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c70a1b5
5.78/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4edfdfe2
5.78/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7abcf0a0
5.78/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4597dd04
5.78/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f5feb3e
5.78/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1874773f
5.78/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23130161
5.78/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cbcdb5b
5.78/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c90679c
5.78/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@153dc32d
5.78/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36113ed5
5.78/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4fb183ce
5.78/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49f51094
5.78/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e655ec1
5.78/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@323db631
5.78/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@131c833a
5.78/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74318d37
5.78/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e47bf76
5.78/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c6d7ffb
5.78/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@910dccb
5.78/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7237b861
5.78/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c774a28
5.78/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3213f710
5.78/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@762f83f9
5.78/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@635a0f78
5.78/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@444c25e4
5.78/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f7c2e79
5.78/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60c0a11
5.78/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2223b1cb
5.78/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34e74f7e
5.78/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5373d29
5.78/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@351b2222
5.78/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@183f5a0f
5.78/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71747e2
5.78/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e22d5d5
5.78/3.00	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7332417e
5.78/3.00	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f166b50
5.78/3.00	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69a6bd32
5.78/3.00	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7647d09b
5.78/3.00	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53f4d076
5.78/3.00	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1abaef85
5.78/3.00	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5df11e44
5.78/3.00	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4be2699b
5.78/3.00	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e15bfc5
5.78/3.00	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b87489f
5.78/3.00	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f25a056
5.78/3.00	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37a1e209
5.78/3.00	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77371d35
5.78/3.00	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65c898f5
5.78/3.00	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ef917fc
5.78/3.00	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e00dc05
5.78/3.00	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a786b7c
5.78/3.00	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a97e566
5.78/3.00	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29a08811
5.78/3.00	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21b52ea8
5.78/3.00	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3de4b121
5.78/3.00	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@139af4c8
5.78/3.00	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5185e053
5.78/3.00	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c6d9910
5.78/3.00	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ac37551
5.78/3.00	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a207bda
5.78/3.00	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b452a64
5.78/3.00	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4677d420
5.78/3.00	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3355f2c6
5.78/3.00	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20d59c46
5.78/3.00	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3281d7db
5.78/3.00	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ae877eb
5.78/3.00	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ef5e95b
5.78/3.00	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ef733d3
5.78/3.00	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b35a2a4
5.78/3.00	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2120242c
5.78/3.00	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24427ecc
5.78/3.00	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65d841b4
5.78/3.00	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@567e222c
5.78/3.00	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c9b093c
5.78/3.00	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5685e2a5
5.78/3.00	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60b894ab
5.78/3.00	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68c5e9c
5.78/3.00	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13f567ab
5.78/3.00	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20836588
5.78/3.00	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a6c4de2
5.78/3.00	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4887753a
5.78/3.00	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77861859
5.78/3.00	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@682bcbf4
5.78/3.00	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a58c915
5.78/3.00	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55d464c
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e7ca39c
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78d7cebc
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@472dfa6b
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a1c78da
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48c7fc6e
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ac96ce9
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30032999
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62b2ea59
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@88bc1da
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@150cdcf0
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@92463e8
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52191e9a
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18799f16
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e4b4dd1
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c0c88bb
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ff6f630
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56f3ad03
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d82c0fd
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d3293a6
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c33b7d3
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66dae8b4
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28d3aff9
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4113860f
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15f59148
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5253e269
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@294d5876
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f836d9
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e56f1c1
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c60f2c0
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47cd345
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a315d50
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ad4ec79
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59ea6162
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b395d9f
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63f70485
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@aa8eaca
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cfce44c
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e50bef3
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32be9f02
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@651acbb3
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74b12876
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bb2cb5f
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b0c35a5
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68443c49
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e9c7be1
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d449ac8
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2aa9eb62
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1dc4288a
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61558280
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72099227
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f0b4e36
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7465367a
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5fb814bd
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50cff524
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59c5951a
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5dc30356
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@558563c5
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37c3fea3
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30dd166
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25126d1c
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75deb14c
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b115c59
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1de8e971
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4cd4be62
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@681512d9
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5aa61ad9
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ee96739
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53c75d69
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9983b36
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@361437fa
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@189f98a3
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@588e5152
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e047983
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b626c0c
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@392559eb
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@657a43c8
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3594447b
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d6b1d73
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13743ec
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d9c5bcf
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3be3a646
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16cc10cf
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3522cebe
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11ddd578
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d1b8db1
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a42b806
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a542079
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e171f8b
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@440cdec5
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23135eb2
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d22660a
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f76208
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64f3f2ac
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2490b975
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bc82d4d
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40c9104f
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54b13de3
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@278a3c08
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a69349b
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b8d1bec
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5dc13856
6.15/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b95cd15
6.15/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79bc0836
6.15/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@313e867
6.15/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6bdf54a7
6.15/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a43f230
6.15/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71c25e37
6.15/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@925fe57
6.15/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40512c27
6.15/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28e0e722
6.15/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d58e6c2
6.15/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@678589bc
6.15/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67d9c840
6.15/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@790f65ce
6.15/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57e930ba
6.15/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18082b0
6.15/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3aeb0214
6.15/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2176cb36
6.15/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bc822bb
6.15/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ac04aa0
6.15/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@275ff4c
6.15/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@570784c4
6.15/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b10c2d
6.15/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42ca9cae
6.15/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ffa1a6f
6.15/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@400dd786
6.15/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@296980a5
6.15/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71c4020e
6.15/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c019e9c
6.15/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38a6f0bf
6.15/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@132dfcd5
6.15/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f0ec687
6.15/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@237b4427
6.15/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d846450
6.15/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dd0a342
6.15/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a835c3a
6.15/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a06a4e7
6.15/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46133cf0
6.15/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5de7e6f5
6.15/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a318824
6.15/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@700cfb60
6.15/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75653d56
6.15/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c688ea
6.15/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63e7326c
6.15/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75417023
6.15/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@317f74b1
6.15/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3447e71c
6.15/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f98847a
6.15/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14a52366
6.15/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f999a4d
6.15/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@779a506f
6.15/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b5b33ca
6.15/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b59155f
6.15/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d22faaf
6.15/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19fe8eb5
6.15/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@561cc83e
6.15/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15c01fdf
6.15/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3469ab70
6.15/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c43cadd
6.15/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3759da44
6.15/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c09b809
6.15/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d67344b
6.15/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16fa4b13
6.15/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ccb94f8
6.15/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cabf714
6.15/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6532f47e
6.15/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1265e085
6.15/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53689243
6.15/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21ac855
6.15/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c9de77a
6.15/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@346c4956
6.15/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4800015f
6.15/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d985ce7
6.15/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5253e4ff
6.15/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2250591
6.15/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d3f82f1
6.15/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6221c59d
6.15/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64c9dde0
6.15/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@523470c2
6.15/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a879164
6.15/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f38aef6
6.15/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12307b23
6.15/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7da7a249
6.15/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e84e5ff
6.15/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e89ab9b
6.15/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b4950cd
6.15/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2175a522
6.15/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d3eb76b
6.15/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b9b718b
6.15/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2da08386
6.15/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26e0da81
6.15/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bf895f
6.15/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c420444
6.15/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d83c167
6.15/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3abe43fd
6.15/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@274a596d
6.15/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@697d862e
6.15/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11a645e8
6.15/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@113ce108
6.15/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@417e612f
6.15/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@93d7521
6.15/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ee5fa0d
6.15/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c17d071
6.15/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@576d624
6.15/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5061fca6
6.15/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2419ad9f
6.15/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30a8cb5b
6.15/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22d76243
6.15/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27256ecc
6.15/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ffc8cfe
6.15/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e7253b3
6.15/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21d9778
6.15/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74283c52
6.15/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3841ab1b
6.15/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d0cd42f
6.15/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64b24b48
6.15/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2acc8efe
6.15/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cb40c91
6.15/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6724dc46
6.15/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@662b8b32
6.15/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63b7f2a
6.15/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3893b22c
6.15/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40fe7995
6.15/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39041895
6.15/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bccd633
6.15/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b6905
6.15/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ce4dce7
6.15/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e776722
6.15/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12510297
6.15/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a961895
6.15/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5fea0e5d
6.15/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53e894b6
6.15/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36ee45d0
6.15/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b039fd4
6.15/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fec0314
6.15/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b62f143
6.15/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f91ab1a
6.15/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e412015
6.15/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b923b4b
6.15/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1725549a
6.15/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@186b2e50
6.15/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@799036da
6.15/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6282753f
6.15/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f8f744b
6.15/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b4fb566
6.15/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35d94c07
6.15/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11585a9c
6.15/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1dc75031
6.15/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48683178
6.15/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1eeaace
6.15/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bb1fedd
6.15/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a1f55
6.15/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@592f5a2d
6.15/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e90d66e
6.15/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70be8b7c
6.15/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@234c5d5b
6.15/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6eef644e
6.15/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ad5a831
6.15/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@722663f1
6.15/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a9c50d2
6.15/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59ba4ac1
6.15/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13ce0f44
6.15/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14b93f85
6.15/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a9e0823
6.15/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ca4f4d2
6.15/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37e7329
6.15/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1cec186b
6.15/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28fdc903
6.15/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18e63104
6.15/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56073026
6.15/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31aeeccd
6.15/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6cb639d9
6.15/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e03a86a
6.15/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d7b0292
6.15/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@699b57b9
6.15/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1886b415
6.15/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@669551f1
6.15/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3458d7a2
6.15/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a4f576f
6.15/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ef9a4b9
6.15/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@242a0f0b
6.15/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f49cb01
6.15/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19359c46
6.15/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77eeb769
6.15/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@334bb0d7
6.15/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@149cc4ee
6.15/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@328175c5
6.15/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dab39f6
6.15/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d8a771d
6.15/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47fc86d3
6.15/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4db07670
6.15/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1eab6f27
6.15/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55f3e57b
6.15/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38ec6974
6.15/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1937f082
6.15/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@600f57f7
6.15/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d39cc5e
6.15/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5331b38
6.15/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@92a6931
6.15/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@412f3af0
6.15/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@717626e6
6.15/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55766bfc
6.15/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4364aad8
6.15/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79612192
6.15/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3316ae3d
6.15/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28ce5166
6.15/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c4e9f32
6.15/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@72f4bc80
6.15/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7dfb6216
6.15/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ecf0ae3
6.15/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ba1159c
6.15/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51e4f64b
6.15/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1eb595dd
6.15/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4cf94b9e
6.15/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@86d28bc
6.15/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79c1e47c
6.15/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9ee0b7
6.15/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e2d1923
6.15/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30a835cc
6.15/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61b67d41
6.15/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7093b6bf
6.15/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11decb56
6.15/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5aff5ed5
6.15/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79589352
6.15/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4fd56cc7
6.15/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3729dca1
6.15/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5879e00f
6.15/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bc510dd
6.15/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40499e87
6.15/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@110cdab6
6.15/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71d9113a
6.15/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4764ed9d
6.15/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43f58b4a
6.15/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41779acf
6.15/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@349ecbec
6.15/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@141ba43d
6.15/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78482122
6.15/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67fbe119
6.15/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e499b83
6.15/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6cf58b0e
6.15/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16703d2f
6.15/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70580f38
6.15/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a21ad0e
6.15/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10619c7f
6.15/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7140f74a
6.15/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e3907ed
6.15/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@de4336f
6.15/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6673d696
6.15/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@727f9bcf
6.15/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7756ad64
6.15/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42cfb144
6.15/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47754e69
6.15/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33f3fe7d
6.15/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cb1f990
6.15/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6588d413
6.15/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5034e7a3
6.15/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1caedbe9
6.15/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f57df67
6.15/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17b970a9
6.15/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@176d13f8
6.15/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22adf60f
6.15/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19f1da14
6.15/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4597a931
6.15/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53e3d6e0
6.15/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a6ece16
6.15/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fe20903
6.15/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70918a91
6.15/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@716a2173
6.15/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e780f21
6.15/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c79c0ee
6.15/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e3ca925
6.15/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10b9aada
6.15/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26017198
6.15/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2395603
6.15/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e63d34e
6.15/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@676a0520
6.15/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b04f051
6.15/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d16a8c7
6.15/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7789ba68
6.15/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6263c928
6.15/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59581c13
6.15/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2796d72d
6.15/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@182e408f
6.15/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5177bbaa
6.15/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4123fcc2
6.15/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@243c47b2
6.15/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e28f0b7
6.15/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10f2df52
6.15/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1737674d
6.15/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6fed9ef0
6.15/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41d61580
6.15/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@357d8615
6.15/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1187ad28
6.15/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ac435c2
6.15/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70f9615a
6.15/3.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a0d14cc
6.15/3.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36311cf8
6.15/3.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@475ff0a9
6.15/3.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ef4d966
6.15/3.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1249d17c
6.15/3.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c8e46a5
6.15/3.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@477dd74b
6.15/3.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@613cbfc5
6.15/3.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a88d8d7
6.15/3.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a4c2065
6.15/3.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@215c65a3
6.15/3.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@177830cc
6.15/3.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@aff3ab5
6.15/3.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33a5d2b5
6.15/3.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69e2777c
6.15/3.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a4885db
6.15/3.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44f4a403
6.15/3.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@331f6f48
6.15/3.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5791d40f
6.15/3.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28679100
6.15/3.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@626be331
6.15/3.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4057cd31
6.15/3.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d74757d
6.15/3.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1260fc97
6.15/3.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@574073d7
6.15/3.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a4aff42
6.15/3.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ea1c3b5
6.15/3.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4592f0c5
6.15/3.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41be0e58
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56a1762d
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60d450cd
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@492b129
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5df39a74
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68a3ae22
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29ba5795
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f1971d5
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@268b03f2
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@681cf0da
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c63540e
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42d2d22c
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c2f8f90
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e022d36
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75d0e50
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c378b15
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@660d19e8
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ec78685
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@746a5566
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e50d99f
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3451075a
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1cbdc7fe
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f38856
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a6349a6
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bea3178
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ccb9922
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4305a141
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@518b17f7
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27dbafcc
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63913379
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6de845
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65059a47
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6471bf99
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@97f5865
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61a009c7
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5beb44ab
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@151e31e9
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18147621
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70f9cd9
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78b3f6f0
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@332a2e02
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ee02ffe
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10b8ec8c
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6caa4385
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4de0acab
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30efd411
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d73764d
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45e25571
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66f34808
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20a5c00a
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38605e15
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b8f45a4
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a5d8ac5
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d18596c
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24cc7dfe
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b62a028
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@409df421
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28afcad0
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a5d8dbe
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68aa1962
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59eb8700
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@724d6cc1
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@665e5be7
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@157dbfa5
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@225bc2dd
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29132139
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@129f128f
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a376665
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5da07f93
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a69a7a3
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b517656
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60856f63
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b926b12
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43162ab5
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a3b4a60
6.15/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d29355c
6.81/3.29	
6.81/3.29	
6.81/3.29	  Domains
6.81/3.29	    nTypes=21, nValues=1981560, sizes=[2#980,8#980,11#980,23#980...160#980,166#980,180#980,181#980]
6.81/3.29	  Variables
6.81/3.29	    count=20580, degrees=[3#1020,4#19560]
6.81/3.29	  Objectives
6.81/3.29	    way=min, type=SumSimpleLE
6.81/3.29	  Constraints
6.81/3.29	    count=1981, nSpecific=1981, arities=[21#980,40#979,980#22]
6.81/3.29	    distribution=[LexicographicLe#979,OrderedGE#1,SumSimpleEQ#20,SumSimpleLE#1,SumWeightedLE#980]
6.81/3.29	    wck=1.441, cpu=3.173, mem=88M267
7.84/3.53	  Solver SolverBacktrack being built...
7.84/3.53	
8.33/3.70	
8.33/3.70	  Solver
8.33/3.70	    guaranteedGAC=false
8.33/3.70	    wck=1.855, cpu=3.397, mem=279M655
10.02/5.27	
10.02/5.27	  Preprocessing
10.02/5.27	    filters=1026, nACremovedValues=1882580, nTotalRemovedValues=1882580, inconcistency=false
10.02/5.27	    wck=1.562, cpu=4.968, mem=279M655
10.02/5.27	
11.54/6.01	    num=0, depth=0..1006, filters=10995, wck=2.31, mem=279M655
11.54/6.01	    decisions=1017, wrong=10, backtracks=0, failedAssignments=10, nogoods=9
11.54/6.01	    
11.79/6.21	    num=1, depth=0..18, filters=21079, wck=2.504, mem=279M655
11.79/6.21	    decisions=1047, wrong=21, backtracks=0, failedAssignments=21, nogoods=19
11.79/6.21	    
12.01/6.40	    num=2, depth=0..14, filters=31689, wck=2.699, mem=279M655
12.01/6.40	    decisions=1074, wrong=33, backtracks=0, failedAssignments=33, nogoods=30
12.01/6.40	    
12.21/6.60	    num=3, depth=0..16, filters=42979, wck=2.902, mem=279M655
12.21/6.60	    decisions=1104, wrong=46, backtracks=0, failedAssignments=46, nogoods=42
12.21/6.60	    
12.64/7.08	    num=4, depth=0..946, filters=56528, wck=3.382, mem=279M655
12.64/7.08	    decisions=2065, wrong=60, backtracks=0, failedAssignments=60, nogoods=55
12.64/7.08	    
13.09/7.45	    num=5, depth=0..41, filters=72018, wck=3.744, mem=279M655
13.09/7.45	    decisions=2130, wrong=80, backtracks=4, failedAssignments=76, nogoods=70
13.09/7.45	    
13.29/7.64	    num=6, depth=0..21, filters=83363, wck=3.938, mem=279M655
13.29/7.64	    decisions=2169, wrong=97, backtracks=4, failedAssignments=93, nogoods=86
13.29/7.64	    
13.49/7.84	    num=7, depth=0..25, filters=95439, wck=4.138, mem=279M655
13.49/7.84	    decisions=2214, wrong=116, backtracks=4, failedAssignments=112, nogoods=104
13.49/7.84	    
14.00/8.30	    num=8, depth=0..772, filters=112700, wck=4.603, mem=279M655
14.00/8.30	    decisions=3008, wrong=137, backtracks=4, failedAssignments=133, nogoods=124
14.00/8.30	    
14.31/8.66	    num=9, depth=0..38, filters=126936, wck=4.957, mem=279M655
14.31/8.66	    decisions=3081, wrong=166, backtracks=10, failedAssignments=156, nogoods=146
14.31/8.66	    
14.54/8.81	    num=10, depth=0..27, filters=135343, wck=5.109, mem=279M655
14.54/8.81	    decisions=3134, wrong=191, backtracks=10, failedAssignments=181, nogoods=170
14.54/8.81	    
14.64/8.94	    num=11, depth=0..34, filters=142406, wck=5.235, mem=279M655
14.64/8.94	    decisions=3197, wrong=219, backtracks=10, failedAssignments=209, nogoods=197
14.64/8.94	    
14.75/9.03	    num=12, depth=0..37, filters=146674, wck=5.329, mem=279M655
14.75/9.03	    decisions=3266, wrong=250, backtracks=10, failedAssignments=240, nogoods=227
14.75/9.03	    
14.86/9.14	    num=13, depth=0..43, filters=150992, wck=5.437, mem=279M655
14.86/9.14	    decisions=3344, wrong=284, backtracks=10, failedAssignments=274, nogoods=260
14.86/9.14	    
15.40/9.66	    num=14, depth=0..75, filters=171148, wck=5.961, mem=279M655
15.40/9.66	    decisions=3530, wrong=350, backtracks=39, failedAssignments=311, nogoods=281
15.40/9.66	    
15.73/9.95	    num=15, depth=0..82, filters=181227, wck=6.25, mem=279M655
15.73/9.95	    decisions=3752, wrong=431, backtracks=83, failedAssignments=352, nogoods=285
15.73/9.95	    
16.23/10.40	    num=16, depth=0..188, filters=191774, wck=6.7, mem=279M655
16.23/10.40	    decisions=4058, wrong=505, backtracks=123, failedAssignments=397, nogoods=304
16.23/10.40	    
16.90/11.05	    num=17, depth=1..42, filters=216185, wck=7.346, mem=279M655
16.90/11.05	    decisions=4357, wrong=644, backtracks=226, failedAssignments=447, nogoods=307
16.90/11.05	    
17.09/11.27	    num=18, depth=16..214, filters=222579, wck=7.57, mem=279M655
17.09/11.27	    decisions=4629, wrong=699, backtracks=226, failedAssignments=502, nogoods=362
17.09/11.27	    
17.50/11.67	    num=19, depth=6..82, filters=237451, wck=7.97, mem=279M655
17.50/11.67	    decisions=4973, wrong=845, backtracks=325, failedAssignments=563, nogoods=370
17.50/11.67	    
18.10/12.20	    num=20, depth=0..169, filters=255483, wck=8.497, mem=279M655
18.10/12.20	    decisions=5372, wrong=974, backtracks=414, failedAssignments=630, nogoods=389
18.10/12.20	    
18.60/12.72	    num=21, depth=2..230, filters=273513, wck=9.02, mem=279M655
18.60/12.72	    decisions=5851, wrong=1125, backtracks=494, failedAssignments=704, nogoods=428
18.60/12.72	    
19.09/13.14	    num=22, depth=2..354, filters=286600, wck=9.435, mem=279M655
19.09/13.14	    decisions=6502, wrong=1287, backtracks=580, failedAssignments=785, nogoods=449
19.09/13.14	    
19.51/13.50	    num=23, depth=2..328, filters=298269, wck=9.8, mem=279M655
19.51/13.50	    decisions=7132, wrong=1451, backtracks=674, failedAssignments=874, nogoods=460
19.51/13.50	    
20.13/14.19	    num=24, depth=2..314, filters=320793, wck=10.492, mem=279M655
20.13/14.19	    decisions=8262, wrong=1875, backtracks=1061, failedAssignments=972, nogoods=468
20.13/14.19	    
20.73/14.73	    num=25, depth=2..497, filters=340578, wck=11.027, mem=279M655
20.73/14.73	    decisions=9221, wrong=2146, backtracks=1285, failedAssignments=1080, nogoods=471
20.73/14.73	    
21.23/15.23	    num=26, depth=2..434, filters=356442, wck=11.531, mem=279M655
21.23/15.23	    decisions=10312, wrong=2488, backtracks=1572, failedAssignments=1199, nogoods=474
21.23/15.23	    
21.93/15.93	    num=27, depth=0..172, filters=381732, wck=12.228, mem=279M655
21.93/15.93	    decisions=11201, wrong=2867, backtracks=1884, failedAssignments=1330, nogoods=484
21.93/15.93	    
22.33/16.38	    num=28, depth=11..101, filters=398047, wck=12.674, mem=279M655
22.33/16.38	    decisions=11801, wrong=3125, backtracks=2063, failedAssignments=1474, nogoods=494
22.33/16.38	    
22.73/16.74	    num=29, depth=2..137, filters=407581, wck=13.04, mem=279M655
22.73/16.74	    decisions=12420, wrong=3377, backtracks=2248, failedAssignments=1632, nogoods=514
22.73/16.74	    
23.73/17.74	    num=30, depth=2..107, filters=446332, wck=14.04, mem=279M655
23.73/17.74	    decisions=13183, wrong=3720, backtracks=2492, failedAssignments=1806, nogoods=523
23.73/17.74	    
24.23/18.27	    num=31, depth=1..80, filters=460792, wck=14.565, mem=279M655
24.23/18.27	    decisions=13905, wrong=4050, backtracks=2752, failedAssignments=1997, nogoods=535
24.23/18.27	    
24.83/18.82	    num=32, depth=2..86, filters=476185, wck=15.114, mem=279M655
24.83/18.82	    decisions=14616, wrong=4372, backtracks=2971, failedAssignments=2208, nogoods=541
24.83/18.82	    
25.33/19.38	    num=33, depth=4..137, filters=489778, wck=15.676, mem=279M655
25.33/19.38	    decisions=15561, wrong=4789, backtracks=3320, failedAssignments=2440, nogoods=550
25.33/19.38	    
25.94/19.95	    num=34, depth=42..96, filters=501394, wck=16.245, mem=279M655
25.94/19.95	    decisions=16486, wrong=5222, backtracks=3692, failedAssignments=2695, nogoods=560
25.94/19.95	    
26.65/20.67	    num=35, depth=105..146, filters=518612, wck=16.965, mem=279M655
26.65/20.67	    decisions=17708, wrong=5775, backtracks=4147, failedAssignments=2976, nogoods=564
26.65/20.67	    
27.35/21.38	    num=36, depth=65..112, filters=534816, wck=17.675, mem=279M655
27.35/21.38	    decisions=18771, wrong=6265, backtracks=4521, failedAssignments=3285, nogoods=584
27.35/21.38	    
28.25/22.28	    num=37, depth=53..104, filters=556885, wck=18.574, mem=279M655
28.25/22.28	    decisions=19934, wrong=6807, backtracks=4933, failedAssignments=3625, nogoods=601
28.25/22.28	    
29.35/23.37	    num=38, depth=58..91, filters=606649, wck=19.671, mem=279M655
29.35/23.37	    decisions=21434, wrong=7525, backtracks=5387, failedAssignments=3999, nogoods=609
29.35/23.37	    
30.46/24.48	    num=39, depth=9..554, filters=649683, wck=20.777, mem=279M655
30.46/24.48	    decisions=23174, wrong=8160, backtracks=5840, failedAssignments=4410, nogoods=632
30.46/24.48	    
31.76/25.79	    num=40, depth=9..716, filters=695856, wck=22.09, mem=279M655
31.76/25.79	    decisions=25464, wrong=8977, backtracks=6494, failedAssignments=4862, nogoods=674
31.76/25.79	    
33.17/27.17	    num=41, depth=2..661, filters=748341, wck=23.472, mem=279M655
33.17/27.17	    decisions=27972, wrong=9963, backtracks=7168, failedAssignments=5359, nogoods=684
33.17/27.17	    
34.47/28.44	    num=42, depth=2..636, filters=795062, wck=24.736, mem=279M655
34.47/28.44	    decisions=30727, wrong=11042, backtracks=7916, failedAssignments=5906, nogoods=694
34.47/28.44	    
36.58/30.55	    num=43, depth=7..748, filters=883147, wck=26.853, mem=279M655
36.58/30.55	    decisions=34967, wrong=12817, backtracks=9579, failedAssignments=6508, nogoods=706
36.58/30.55	    
39.98/33.97	    num=44, depth=242..321, filters=980132, wck=30.264, mem=279M655
39.98/33.97	    decisions=38093, wrong=14255, backtracks=10622, failedAssignments=7170, nogoods=712
39.98/33.97	    
45.09/39.07	    num=45, depth=46..261, filters=1177255, wck=35.368, mem=279M655
45.09/39.07	    decisions=41276, wrong=15755, backtracks=11565, failedAssignments=7898, nogoods=723
45.09/39.07	    
53.09/47.05	    num=46, depth=80..247, filters=1431295, wck=43.351, mem=279M655
53.09/47.05	    decisions=45391, wrong=17757, backtracks=12935, failedAssignments=8699, nogoods=727
53.09/47.05	    
56.10/50.05	    num=47, depth=70..160, filters=1532037, wck=46.343, mem=279M655
56.10/50.05	    decisions=48809, wrong=19414, backtracks=14044, failedAssignments=9580, nogoods=736
56.10/50.05	    
59.30/53.27	    num=48, depth=0..380, filters=1652284, wck=49.563, mem=279M655
59.30/53.27	    decisions=53791, wrong=21738, backtracks=16090, failedAssignments=10550, nogoods=777
59.30/53.27	    
61.94/55.80	    num=49, depth=6..593, filters=1726108, wck=52.102, mem=279M655
61.94/55.80	    decisions=58826, wrong=23987, backtracks=17926, failedAssignments=11617, nogoods=790
61.94/55.80	    
63.54/57.47	    num=50, depth=7..673, filters=1763485, wck=53.773, mem=279M655
63.54/57.47	    decisions=62523, wrong=25508, backtracks=18978, failedAssignments=12790, nogoods=822
63.54/57.47	    
67.88/61.73	    num=51, depth=1..833, filters=1946505, wck=58.025, mem=279M655
67.88/61.73	    decisions=68968, wrong=28339, backtracks=20963, failedAssignments=14081, nogoods=845
67.88/61.73	    
85.79/79.69	    num=52, depth=2..766, filters=2626374, wck=75.991, mem=279M655
85.79/79.69	    decisions=78050, wrong=32604, backtracks=24251, failedAssignments=15501, nogoods=856
85.79/79.69	    
90.20/84.01	    num=53, depth=2..582, filters=2781195, wck=80.307, mem=284M274
90.20/84.01	    decisions=84980, wrong=35796, backtracks=26703, failedAssignments=17063, nogoods=878
90.20/84.01	    
99.62/93.50	    num=54, depth=3..370, filters=3178600, wck=89.793, mem=284M274
99.62/93.50	    decisions=99055, wrong=42687, backtracks=33182, failedAssignments=18781, nogoods=892
99.62/93.50	    
103.73/97.56	    num=55, depth=3..771, filters=3310061, wck=93.861, mem=284M274
103.73/97.56	    decisions=105849, wrong=45711, backtracks=35636, failedAssignments=20671, nogoods=911
103.73/97.56	    
129.05/122.83	    num=56, depth=5..865, filters=4394485, wck=119.127, mem=284M274
129.05/122.83	    decisions=132612, wrong=58665, backtracks=48135, failedAssignments=22750, nogoods=918
129.05/122.83	    
136.45/130.28	    num=57, depth=374..513, filters=4648024, wck=126.575, mem=284M274
136.45/130.28	    decisions=147021, wrong=65681, backtracks=54080, failedAssignments=25037, nogoods=922
136.45/130.28	    
145.67/139.48	    num=58, depth=351..459, filters=5056259, wck=135.782, mem=284M274
145.67/139.48	    decisions=161856, wrong=72878, backtracks=60360, failedAssignments=27553, nogoods=934
145.67/139.48	    
153.49/147.20	    num=59, depth=162..516, filters=5275758, wck=143.495, mem=284M274
153.49/147.20	    decisions=175163, wrong=79306, backtracks=65879, failedAssignments=30321, nogoods=951
153.49/147.20	    
177.32/171.11	    num=60, depth=182..741, filters=6063894, wck=167.404, mem=284M274
177.32/171.11	    decisions=200857, wrong=91806, backtracks=76477, failedAssignments=33365, nogoods=963
177.32/171.11	    
213.72/207.46	    num=61, depth=6..835, filters=7130244, wck=203.763, mem=284M274
213.72/207.46	    decisions=219252, wrong=100701, backtracks=83551, failedAssignments=36714, nogoods=980
213.72/207.46	    
221.34/215.04	    num=62, depth=21..513, filters=7321742, wck=211.337, mem=284M274
221.34/215.04	    decisions=233270, wrong=107469, backtracks=89463, failedAssignments=40398, nogoods=997
221.34/215.04	    
237.94/231.70	    num=63, depth=8..534, filters=7920749, wck=227.994, mem=284M274
237.94/231.70	    decisions=255951, wrong=118564, backtracks=98920, failedAssignments=44450, nogoods=1014
237.94/231.70	    
254.14/247.87	    num=64, depth=9..787, filters=8471050, wck=244.172, mem=284M274
254.14/247.87	    decisions=276156, wrong=128298, backtracks=106123, failedAssignments=48907, nogoods=1029
254.14/247.87	    
266.46/260.16	    num=65, depth=4..477, filters=8864628, wck=256.456, mem=284M274
266.46/260.16	    decisions=295701, wrong=137860, backtracks=113565, failedAssignments=53810, nogoods=1042
266.46/260.16	    
284.76/278.44	    num=66, depth=6..636, filters=9579535, wck=274.738, mem=284M274
284.76/278.44	    decisions=317590, wrong=148516, backtracks=121135, failedAssignments=59204, nogoods=1053
284.76/278.44	    
293.57/287.25	    num=67, depth=6..397, filters=9770846, wck=283.547, mem=284M274
293.57/287.25	    decisions=339060, wrong=159100, backtracks=128362, failedAssignments=65137, nogoods=1070
293.57/287.25	    
333.28/326.96	    num=68, depth=6..486, filters=11278832, wck=323.259, mem=288M891
333.28/326.96	    decisions=390553, wrong=184660, backtracks=149767, failedAssignments=71663, nogoods=1094
333.28/326.96	    
364.40/358.05	    num=69, depth=61..716, filters=12342386, wck=354.344, mem=288M891
364.40/358.05	    decisions=428504, wrong=203299, backtracks=167277, failedAssignments=78842, nogoods=1122
364.40/358.05	    
418.32/411.94	    num=70, depth=322..833, filters=14062081, wck=408.237, mem=288M891
418.32/411.94	    decisions=481404, wrong=229359, backtracks=190375, failedAssignments=86739, nogoods=1135
418.32/411.94	    
438.23/431.83	    num=71, depth=98..718, filters=14802802, wck=428.124, mem=288M891
438.23/431.83	    decisions=514774, wrong=245817, backtracks=203186, failedAssignments=95426, nogoods=1167
438.23/431.83	    
476.75/470.39	    num=72, depth=161..885, filters=16299065, wck=466.684, mem=288M891
476.75/470.39	    decisions=557517, wrong=266860, backtracks=218709, failedAssignments=104981, nogoods=1183
476.75/470.39	    
555.68/549.24	    num=73, depth=491..580, filters=19325909, wck=545.543, mem=288M891
555.68/549.24	    decisions=648762, wrong=312227, backtracks=261006, failedAssignments=115492, nogoods=1194
555.68/549.24	    
609.12/602.62	    num=74, depth=14..779, filters=21008971, wck=598.914, mem=293M507
609.12/602.62	    decisions=726689, wrong=350835, backtracks=296031, failedAssignments=127054, nogoods=1221
609.12/602.62	    
682.06/675.56	    num=75, depth=42..659, filters=23289859, wck=671.857, mem=293M507
682.06/675.56	    decisions=787890, wrong=381378, backtracks=316090, failedAssignments=139772, nogoods=1235
682.06/675.56	    
708.86/702.30	    num=76, depth=7..642, filters=24023027, wck=698.6, mem=293M507
708.86/702.30	    decisions=840371, wrong=407331, backtracks=336868, failedAssignments=153762, nogoods=1273
708.86/702.30	    
738.88/732.38	    num=77, depth=42..595, filters=25013893, wck=728.682, mem=293M507
738.88/732.38	    decisions=900449, wrong=437095, backtracks=361124, failedAssignments=169151, nogoods=1298
738.88/732.38	    
823.12/816.54	    num=78, depth=104..811, filters=27956435, wck=812.84, mem=298M124
823.12/816.54	    decisions=1020305, wrong=496644, backtracks=411130, failedAssignments=186079, nogoods=1325
823.12/816.54	    
985.30/978.65	    num=79, depth=136..738, filters=34244032, wck=974.948, mem=298M124
985.30/978.65	    decisions=1122033, wrong=547251, backtracks=449751, failedAssignments=204700, nogoods=1344
985.30/978.65	    
1098.96/1092.25	    num=80, depth=359..875, filters=38445545, wck=1088.552, mem=298M124
1098.96/1092.25	    decisions=1214790, wrong=593300, backtracks=483057, failedAssignments=225184, nogoods=1361
1098.96/1092.25	    
1171.49/1164.73	    num=81, depth=206..815, filters=40806894, wck=1161.032, mem=302M741
1171.49/1164.73	    decisions=1315625, wrong=643329, backtracks=523190, failedAssignments=247716, nogoods=1373
1171.49/1164.73	    
1232.42/1225.63	    num=82, depth=12..375, filters=42637584, wck=1221.932, mem=302M741
1232.42/1225.63	    decisions=1427499, wrong=699095, backtracks=564375, failedAssignments=272501, nogoods=1393
1232.42/1225.63	    
1281.44/1274.66	    num=83, depth=62..685, filters=44176327, wck=1270.958, mem=302M741
1281.44/1274.66	    decisions=1515817, wrong=742935, backtracks=604668, failedAssignments=299765, nogoods=1413
1281.44/1274.66	    
1330.65/1323.86	    num=84, depth=253..863, filters=45292608, wck=1320.157, mem=307M358
1330.65/1323.86	    decisions=1641994, wrong=805623, backtracks=658961, failedAssignments=329755, nogoods=1477
1330.65/1323.86	    
1427.91/1421.05	    num=85, depth=104..777, filters=49087533, wck=1417.345, mem=307M358
1427.91/1421.05	    decisions=1776510, wrong=872592, backtracks=707357, failedAssignments=362744, nogoods=1508
1427.91/1421.05	    
1539.85/1532.91	    num=86, depth=144..805, filters=53428148, wck=1529.21, mem=311M975
1539.85/1532.91	    decisions=1965636, wrong=966861, backtracks=790319, failedAssignments=399032, nogoods=1559
1539.85/1532.91	    
1649.11/1642.14	    num=87, depth=13..462, filters=57570535, wck=1638.437, mem=311M975
1649.11/1642.14	    decisions=2140473, wrong=1054067, backtracks=845880, failedAssignments=438949, nogoods=1580
1649.11/1642.14	    
1734.44/1727.44	    num=88, depth=15..540, filters=59722058, wck=1723.737, mem=316M592
1734.44/1727.44	    decisions=2337014, wrong=1152118, backtracks=926979, failedAssignments=482858, nogoods=1612
1734.44/1727.44	    
1798.35/1791.34	    num=89, depth=37..536, filters=61766325, wck=1787.635, mem=321M209
1798.35/1791.34	    decisions=2523762, wrong=1245256, backtracks=999934, failedAssignments=531158, nogoods=1668
1798.35/1791.34	    
1868.47/1861.40	    num=90, depth=49..773, filters=64892731, wck=1857.7, mem=325M829
1868.47/1861.40	    decisions=2744659, wrong=1355343, backtracks=1075633, failedAssignments=584288, nogoods=1702
1868.47/1861.40	    
2069.96/2062.88	    num=91, depth=74..861, filters=72922065, wck=2059.177, mem=325M829
2069.96/2062.88	    decisions=2998372, wrong=1481808, backtracks=1174938, failedAssignments=642731, nogoods=1728
2069.96/2062.88	    
2158.98/2151.88	    num=92, depth=135..279, filters=75405576, wck=2148.176, mem=330M446
2158.98/2151.88	    decisions=3191552, wrong=1578295, backtracks=1242944, failedAssignments=707018, nogoods=1745
2158.98/2151.88	    
2520.07/2512.70	
2520.07/2512.70	s UNKNOWN

Verifier Data


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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391054-1568380706/watcher-4391054-1568380706 -o /tmp/evaluation-result-4391054-1568380706/solver-4391054-1568380706 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568380478-20884 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391054-1568380706.xml -cm 

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

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

solver pid=21794, runsolver pid=21791

[startup+0.100154 s]*
/proc/loadavg: 2.04 1.01 0.43 4/227 21809
/proc/meminfo: memFree=25187364/32770624 swapFree=67004752/67108860
[pid=21794] ppid=21791 vsize=10659884 memory=28720 CPUtime=0.14 cores=1,3,5,7
/proc/21794/stat : 21794 (java) S 21791 21794 20852 0 -1 1077944320 5696 0 0 0 13 1 0 0 20 0 15 0 414338401 10915721216 7180 33554432000 4194304 4196468 140721530905840 140721530888384 139644522200823 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
/proc/21794/statm: 2664971 7180 2910 1 0 2627468 0
[pid=21794/tid=21796] ppid=21791 vsize=10659884 memory=8514726395714820750 CPUtime=0.09 cores=1,3,5,7
/proc/21794/task/21796/stat : 21796 (java) R 21791 21794 20852 0 -1 4202560 3421 0 0 0 8 1 0 0 20 0 15 0 414338401 10915721216 7180 33554432000 4194304 4196468 140721530905840 139644526431264 139644522212758 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21797] ppid=21791 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21797/stat : 21797 (java) S 21791 21794 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414338402 10915721216 7180 33554432000 4194304 4196468 140721530905840 139644487482256 139644522211029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21798] ppid=21791 vsize=10659884 memory=139883189085824 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21798/stat : 21798 (java) S 21791 21794 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414338402 10915721216 7180 33554432000 4194304 4196468 140721530905840 139644128307984 139644522211029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21799] ppid=21791 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21799/stat : 21799 (java) S 21791 21794 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414338402 10915721216 7180 33554432000 4194304 4196468 140721530905840 139644127255696 139644522211029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21800] ppid=21791 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21800/stat : 21800 (java) S 21791 21794 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414338402 10915721216 7180 33554432000 4194304 4196468 140721530905840 139644126202896 139644522211029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21801] ppid=21791 vsize=10659884 memory=139883189085824 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21801/stat : 21801 (java) S 21791 21794 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414338403 10915721216 7180 33554432000 4194304 4196468 140721530905840 139644013361264 139644522211970 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21802] ppid=21791 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21802/stat : 21802 (java) S 21791 21794 20852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414338404 10915721216 7180 33554432000 4194304 4196468 140721530905840 139644012307232 139644522211029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21803] ppid=21791 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21803/stat : 21803 (java) S 21791 21794 20852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414338404 10915721216 7180 33554432000 4194304 4196468 140721530905840 139644011254896 139644522211029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21804] ppid=21791 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21804/stat : 21804 (java) S 21791 21794 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414338406 10915721216 7180 33554432000 4194304 4196468 140721530905840 139644010203216 139644522219419 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21805] ppid=21791 vsize=10659884 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/21794/task/21805/stat : 21805 (java) S 21791 21794 20852 0 -1 1077944384 523 0 0 0 1 0 0 0 20 0 15 0 414338406 10915721216 7180 33554432000 4194304 4196468 140721530905840 139644009151088 139644522211970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21806] ppid=21791 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21806/stat : 21806 (java) S 21791 21794 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414338406 10915721216 7180 33554432000 4194304 4196468 140721530905840 139644008098288 139644522211970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21807] ppid=21791 vsize=10659884 memory=139883189085824 CPUtime=0.02 cores=1,3,5,7
/proc/21794/task/21807/stat : 21807 (java) R 21791 21794 20852 0 -1 4202560 393 0 0 0 2 0 0 0 20 0 15 0 414338406 10915721216 7180 33554432000 4194304 4196468 140721530905840 139644007043792 139644500757856 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21808] ppid=21791 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21808/stat : 21808 (java) S 21791 21794 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414338407 10915721216 7180 33554432000 4194304 4196468 140721530905840 139644005993440 139644522211029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21809] ppid=21791 vsize=10659884 memory=139883189085824 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21809/stat : 21809 (java) S 21791 21794 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414338407 10915721216 7180 33554432000 4194304 4196468 140721530905840 139644004940208 139644522211970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 28720 KiB

[startup+0.210683 s]*
/proc/loadavg: 2.04 1.01 0.43 4/227 21809
/proc/meminfo: memFree=25177040/32770624 swapFree=67004752/67108860
[pid=21794] ppid=21791 vsize=10659884 memory=37288 CPUtime=0.33 cores=1,3,5,7
/proc/21794/stat : 21794 (java) S 21791 21794 20852 0 -1 1077944320 9118 0 0 0 30 3 0 0 20 0 15 0 414338401 10915721216 9322 33554432000 4194304 4196468 140721530905840 140721530888384 139644522200823 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
/proc/21794/statm: 2664971 9322 2974 1 0 2627468 0
[pid=21794/tid=21796] ppid=21791 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/21794/task/21796/stat : 21796 (java) R 21791 21794 20852 0 -1 4202560 6168 0 0 0 18 2 0 0 20 0 15 0 414338401 10915721216 9322 33554432000 4194304 4196468 140721530905840 139644526427184 139644522222749 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21797] ppid=21791 vsize=10659884 memory=339 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21797/stat : 21797 (java) S 21791 21794 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414338402 10915721216 9322 33554432000 4194304 4196468 140721530905840 139644487482256 139644522211029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21798] ppid=21791 vsize=10659884 memory=139883192163710 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21798/stat : 21798 (java) S 21791 21794 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414338402 10915721216 9322 33554432000 4194304 4196468 140721530905840 139644128307984 139644522211029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21799] ppid=21791 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21799/stat : 21799 (java) S 21791 21794 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414338402 10915721216 9322 33554432000 4194304 4196468 140721530905840 139644127255696 139644522211029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21800] ppid=21791 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21800/stat : 21800 (java) S 21791 21794 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414338402 10915721216 9322 33554432000 4194304 4196468 140721530905840 139644126202896 139644522211029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21801] ppid=21791 vsize=10659884 memory=139883189085824 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21801/stat : 21801 (java) S 21791 21794 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414338403 10915721216 9322 33554432000 4194304 4196468 140721530905840 139644013361264 139644522211970 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21802] ppid=21791 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21802/stat : 21802 (java) S 21791 21794 20852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414338404 10915721216 9322 33554432000 4194304 4196468 140721530905840 139644012307232 139644522211029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21803] ppid=21791 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21803/stat : 21803 (java) S 21791 21794 20852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414338404 10915721216 9322 33554432000 4194304 4196468 140721530905840 139644011254896 139644522211029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21804] ppid=21791 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21804/stat : 21804 (java) S 21791 21794 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414338406 10915721216 9322 33554432000 4194304 4196468 140721530905840 139644010203216 139644522219419 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21805] ppid=21791 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/21794/task/21805/stat : 21805 (java) S 21791 21794 20852 0 -1 1077944384 622 0 0 0 3 0 0 0 20 0 15 0 414338406 10915721216 9322 33554432000 4194304 4196468 140721530905840 139644009151088 139644522211970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21806] ppid=21791 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/21794/task/21806/stat : 21806 (java) S 21791 21794 20852 0 -1 1077944384 255 0 0 0 3 0 0 0 20 0 15 0 414338406 10915721216 9322 33554432000 4194304 4196468 140721530905840 139644008098288 139644522211970 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21807] ppid=21791 vsize=10659884 memory=139883189085824 CPUtime=0.05 cores=1,3,5,7
/proc/21794/task/21807/stat : 21807 (java) S 21791 21794 20852 0 -1 1077944384 712 0 0 0 5 0 0 0 20 0 15 0 414338406 10915721216 9322 33554432000 4194304 4196468 140721530905840 139644007046000 139644522211970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21808] ppid=21791 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21808/stat : 21808 (java) S 21791 21794 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414338407 10915721216 9322 33554432000 4194304 4196468 140721530905840 139644005993440 139644522211029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21809] ppid=21791 vsize=10659884 memory=139883189085824 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21809/stat : 21809 (java) S 21791 21794 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414338407 10915721216 9322 33554432000 4194304 4196468 140721530905840 139644004940208 139644522211970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37288 KiB

[startup+0.310041 s]*
/proc/loadavg: 2.04 1.01 0.43 3/227 21809
/proc/meminfo: memFree=25175216/32770624 swapFree=67004752/67108860
[pid=21794] ppid=21791 vsize=10659884 memory=40364 CPUtime=0.47 cores=1,3,5,7
/proc/21794/stat : 21794 (java) S 21791 21794 20852 0 -1 1077944320 9462 0 0 0 44 3 0 0 20 0 15 0 414338401 10915721216 10091 33554432000 4194304 4196468 140721530905840 140721530888384 139644522200823 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
/proc/21794/statm: 2664971 10091 3019 1 0 2627468 0
[pid=21794/tid=21796] ppid=21791 vsize=10659884 memory=139883058398063 CPUtime=0.3 cores=1,3,5,7
/proc/21794/task/21796/stat : 21796 (java) R 21791 21794 20852 0 -1 4202560 6442 0 0 0 28 2 0 0 20 0 15 0 414338401 10915721216 10091 33554432000 4194304 4196468 140721530905840 139644526432624 139644522222749 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21797] ppid=21791 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21797/stat : 21797 (java) S 21791 21794 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414338402 10915721216 10091 33554432000 4194304 4196468 140721530905840 139644487482256 139644522211029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21798] ppid=21791 vsize=10659884 memory=279766247486752 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21798/stat : 21798 (java) S 21791 21794 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414338402 10915721216 10091 33554432000 4194304 4196468 140721530905840 139644128307984 139644522211029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21799] ppid=21791 vsize=10659884 memory=2110233665539620 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21799/stat : 21799 (java) S 21791 21794 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414338402 10915721216 10091 33554432000 4194304 4196468 140721530905840 139644127255696 139644522211029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21800] ppid=21791 vsize=10659884 memory=139883058407871 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21800/stat : 21800 (java) S 21791 21794 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414338402 10915721216 10091 33554432000 4194304 4196468 140721530905840 139644126202896 139644522211029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21801] ppid=21791 vsize=10659884 memory=279766247519424 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21801/stat : 21801 (java) S 21791 21794 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414338403 10915721216 10091 33554432000 4194304 4196468 140721530905840 139644013361264 139644522211970 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21802] ppid=21791 vsize=10659884 memory=139883058412479 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21802/stat : 21802 (java) S 21791 21794 20852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414338404 10915721216 10091 33554432000 4194304 4196468 140721530905840 139644012307232 139644522211029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21803] ppid=21791 vsize=10659884 memory=279766116672688 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21803/stat : 21803 (java) S 21791 21794 20852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414338404 10915721216 10091 33554432000 4194304 4196468 140721530905840 139644011254896 139644522211029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21804] ppid=21791 vsize=10659884 memory=279766116829552 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21804/stat : 21804 (java) S 21791 21794 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414338406 10915721216 10091 33554432000 4194304 4196468 140721530905840 139644010203216 139644522219419 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21805] ppid=21791 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/21794/task/21805/stat : 21805 (java) S 21791 21794 20852 0 -1 1077944384 662 0 0 0 4 0 0 0 20 0 15 0 414338406 10915721216 10091 33554432000 4194304 4196468 140721530905840 139644009151088 139644522211970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21806] ppid=21791 vsize=10659884 memory=139883058424015 CPUtime=0.04 cores=1,3,5,7
/proc/21794/task/21806/stat : 21806 (java) S 21791 21794 20852 0 -1 1077944384 263 0 0 0 4 0 0 0 20 0 15 0 414338406 10915721216 10091 33554432000 4194304 4196468 140721530905840 139644008098288 139644522211970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21807] ppid=21791 vsize=10659884 memory=139883189085824 CPUtime=0.07 cores=1,3,5,7
/proc/21794/task/21807/stat : 21807 (java) R 21791 21794 20852 0 -1 4202560 735 0 0 0 7 0 0 0 20 0 15 0 414338406 10915721216 10091 33554432000 4194304 4196468 140721530905840 139644007046000 139644500832417 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21808] ppid=21791 vsize=10659884 memory=67 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21808/stat : 21808 (java) S 21791 21794 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414338407 10915721216 10091 33554432000 4194304 4196468 140721530905840 139644005993440 139644522211029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21809] ppid=21791 vsize=10659884 memory=139883189085824 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21809/stat : 21809 (java) S 21791 21794 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414338407 10915721216 10091 33554432000 4194304 4196468 140721530905840 139644004940208 139644522211970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40364 KiB

[startup+0.700766 s]
/proc/loadavg: 2.04 1.01 0.43 3/227 21809
/proc/meminfo: memFree=25166100/32770624 swapFree=67004752/67108860
[pid=21794] ppid=21791 vsize=10661932 memory=62344 CPUtime=1.09 cores=1,3,5,7
/proc/21794/stat : 21794 (java) S 21791 21794 20852 0 -1 1077944320 12584 0 0 0 104 5 0 0 20 0 15 0 414338401 10917818368 15586 33554432000 4194304 4196468 140721530905840 140721530888384 139644522200823 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
/proc/21794/statm: 2665483 15586 3074 1 0 2627980 0
[pid=21794/tid=21796] ppid=21791 vsize=10661932 memory=952 CPUtime=0.68 cores=1,3,5,7
/proc/21794/task/21796/stat : 21796 (java) R 21791 21794 20852 0 -1 4202560 8865 0 0 0 64 4 0 0 20 0 15 0 414338401 10917818368 15586 33554432000 4194304 4196468 140721530905840 139644526433152 139644503764352 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21797] ppid=21791 vsize=10661932 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21797/stat : 21797 (java) S 21791 21794 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414338402 10917818368 15586 33554432000 4194304 4196468 140721530905840 139644487482256 139644522211029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21798] ppid=21791 vsize=10661932 memory=21732 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21798/stat : 21798 (java) S 21791 21794 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414338402 10917818368 15586 33554432000 4194304 4196468 140721530905840 139644128307984 139644522211029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21799] ppid=21791 vsize=10661932 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21799/stat : 21799 (java) S 21791 21794 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414338402 10917818368 15586 33554432000 4194304 4196468 140721530905840 139644127255696 139644522211029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21800] ppid=21791 vsize=10661932 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21800/stat : 21800 (java) S 21791 21794 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414338402 10917818368 15586 33554432000 4194304 4196468 140721530905840 139644126202896 139644522211029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21801] ppid=21791 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21801/stat : 21801 (java) S 21791 21794 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414338403 10917818368 15586 33554432000 4194304 4196468 140721530905840 139644013361264 139644522211970 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21802] ppid=21791 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21802/stat : 21802 (java) S 21791 21794 20852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414338404 10917818368 15586 33554432000 4194304 4196468 140721530905840 139644012307232 139644522211029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21803] ppid=21791 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21803/stat : 21803 (java) S 21791 21794 20852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414338404 10917818368 15586 33554432000 4194304 4196468 140721530905840 139644011254896 139644522211029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21804] ppid=21791 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21804/stat : 21804 (java) S 21791 21794 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414338406 10917818368 15586 33554432000 4194304 4196468 140721530905840 139644010203216 139644522219419 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21805] ppid=21791 vsize=10661932 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/21794/task/21805/stat : 21805 (java) R 21791 21794 20852 0 -1 4202560 843 0 0 0 11 0 0 0 20 0 15 0 414338406 10917818368 15586 33554432000 4194304 4196468 140721530905840 139644009137632 139644503725151 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21806] ppid=21791 vsize=10661932 memory=6944652177228980320 CPUtime=0.09 cores=1,3,5,7
/proc/21794/task/21806/stat : 21806 (java) S 21791 21794 20852 0 -1 1077944384 476 0 0 0 9 0 0 0 20 0 15 0 414338406 10917818368 15586 33554432000 4194304 4196468 140721530905840 139644008098288 139644522211970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21807] ppid=21791 vsize=10661932 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/21794/task/21807/stat : 21807 (java) S 21791 21794 20852 0 -1 1077944384 1039 0 0 0 18 0 0 0 20 0 15 0 414338406 10917818368 15586 33554432000 4194304 4196468 140721530905840 139644007046000 139644522211970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21808] ppid=21791 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21808/stat : 21808 (java) S 21791 21794 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414338407 10917818368 15586 33554432000 4194304 4196468 140721530905840 139644005993440 139644522211029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21809] ppid=21791 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21809/stat : 21809 (java) S 21791 21794 20852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414338407 10917818368 15586 33554432000 4194304 4196468 140721530905840 139644004940208 139644522211970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 62344 KiB

[startup+1.50078 s]
/proc/loadavg: 2.04 1.01 0.43 3/227 21809
/proc/meminfo: memFree=25149532/32770624 swapFree=67004752/67108860
[pid=21794] ppid=21791 vsize=10663980 memory=74796 CPUtime=1.98 cores=1,3,5,7
/proc/21794/stat : 21794 (java) S 21791 21794 20852 0 -1 1077944320 18140 0 0 0 193 5 0 0 20 0 15 0 414338401 10919915520 18699 33554432000 4194304 4196468 140721530905840 140721530888384 139644522200823 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
/proc/21794/statm: 2665995 18699 3098 1 0 2628492 0
[pid=21794/tid=21796] ppid=21791 vsize=10663980 memory=0 CPUtime=1.48 cores=1,3,5,7
/proc/21794/task/21796/stat : 21796 (java) R 21791 21794 20852 0 -1 4202560 13010 0 0 0 144 4 0 0 20 0 15 0 414338401 10919915520 18699 33554432000 4194304 4196468 140721530905840 139644526432128 139644506281310 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21797] ppid=21791 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21797/stat : 21797 (java) S 21791 21794 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414338402 10919915520 18699 33554432000 4194304 4196468 140721530905840 139644487482256 139644522211029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21798] ppid=21791 vsize=10663980 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21798/stat : 21798 (java) S 21791 21794 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414338402 10919915520 18699 33554432000 4194304 4196468 140721530905840 139644128307984 139644522211029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21799] ppid=21791 vsize=10663980 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21799/stat : 21799 (java) S 21791 21794 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414338402 10919915520 18699 33554432000 4194304 4196468 140721530905840 139644127255696 139644522211029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21800] ppid=21791 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21800/stat : 21800 (java) S 21791 21794 20852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414338402 10919915520 18699 33554432000 4194304 4196468 140721530905840 139644126202896 139644522211029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21801] ppid=21791 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21801/stat : 21801 (java) S 21791 21794 20852 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 15 0 414338403 10919915520 18699 33554432000 4194304 4196468 140721530905840 139644013361264 139644522211970 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0

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

/proc/21794/task/21800/stat : 21800 (java) S 21791 21794 20852 0 -1 1077944384 696 0 0 0 18 6 0 0 20 0 16 0 414338402 11006283776 119276 33554432000 4194304 4196468 140721530905840 139644126202896 139644522211029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21801] ppid=21791 vsize=10748324 memory=477104 CPUtime=0.07 cores=1,3,5,7
/proc/21794/task/21801/stat : 21801 (java) S 21791 21794 20852 0 -1 1077944384 2172 0 0 0 5 2 0 0 20 0 16 0 414338403 11006283776 119276 33554432000 4194304 4196468 140721530905840 139644013361264 139644522211970 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21802] ppid=21791 vsize=10748324 memory=477104 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21802/stat : 21802 (java) S 21791 21794 20852 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414338404 11006283776 119276 33554432000 4194304 4196468 140721530905840 139644012307296 139644522211029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21803] ppid=21791 vsize=10748324 memory=477104 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21803/stat : 21803 (java) S 21791 21794 20852 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414338404 11006283776 119276 33554432000 4194304 4196468 140721530905840 139644011254912 139644522211029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21804] ppid=21791 vsize=10748324 memory=477104 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21804/stat : 21804 (java) S 21791 21794 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414338406 11006283776 119276 33554432000 4194304 4196468 140721530905840 139644010203216 139644522219419 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21805] ppid=21791 vsize=10748324 memory=0 CPUtime=2.27 cores=1,3,5,7
/proc/21794/task/21805/stat : 21805 (java) S 21791 21794 20852 0 -1 1077944384 12242 0 0 0 226 1 0 0 20 0 16 0 414338406 11006283776 119276 33554432000 4194304 4196468 140721530905840 139644009151088 139644522211970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21806] ppid=21791 vsize=10748324 memory=477104 CPUtime=2.33 cores=1,3,5,7
/proc/21794/task/21806/stat : 21806 (java) S 21791 21794 20852 0 -1 1077944384 18021 0 0 0 231 2 0 0 20 0 16 0 414338406 11006283776 119276 33554432000 4194304 4196468 140721530905840 139644008098288 139644522211970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21807] ppid=21791 vsize=10748324 memory=279766118533792 CPUtime=0.95 cores=1,3,5,7
/proc/21794/task/21807/stat : 21807 (java) S 21791 21794 20852 0 -1 1077944384 11052 0 0 0 92 3 0 0 20 0 16 0 414338406 11006283776 119276 33554432000 4194304 4196468 140721530905840 139644007046000 139644522211970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21808] ppid=21791 vsize=10748324 memory=477104 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21808/stat : 21808 (java) S 21791 21794 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414338407 11006283776 119276 33554432000 4194304 4196468 140721530905840 139644005993440 139644522211029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21809] ppid=21791 vsize=10748324 memory=1408 CPUtime=0.99 cores=1,3,5,7
/proc/21794/task/21809/stat : 21809 (java) S 21791 21794 20852 0 -1 1077944384 1531 0 0 0 42 57 0 0 20 0 16 0 414338407 11006283776 119276 33554432000 4194304 4196468 140721530905840 139644004940208 139644522211970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21810] ppid=21791 vsize=10748324 memory=477104 CPUtime=2440.14 cores=1,3,5,7
/proc/21794/task/21810/stat : 21810 (java) R 21791 21794 20852 0 -1 4202560 26662 0 0 0 244009 5 0 0 20 0 16 0 414338588 11006283776 119276 33554432000 4194304 4196468 140721530905840 139643988270384 139644159888470 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
Current children cumulated CPU time: 2449.64 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 477104 KiB

[startup+2502.3 s]
/proc/loadavg: 2.11 2.09 1.95 3/229 22590
/proc/meminfo: memFree=27100224/32770624 swapFree=67004752/67108860
[pid=21794] ppid=21791 vsize=10748324 memory=477104 CPUtime=2509.66 cores=1,3,5,7
/proc/21794/stat : 21794 (java) S 21791 21794 20852 0 -1 1077944320 90396 0 0 0 250876 90 0 0 20 0 16 0 414338401 11006283776 119276 33554432000 4194304 4196468 140721530905840 140721530888384 139644522200823 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
/proc/21794/statm: 2687081 119276 3378 1 0 2647217 0
[pid=21794/tid=21796] ppid=21791 vsize=10748324 memory=477104 CPUtime=1.85 cores=1,3,5,7
/proc/21794/task/21796/stat : 21796 (java) S 21791 21794 20852 0 -1 1077944384 15242 0 0 0 180 5 0 0 20 0 16 0 414338401 11006283776 119276 33554432000 4194304 4196468 140721530905840 139644526443696 139644522211029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21797] ppid=21791 vsize=10748324 memory=246464 CPUtime=0.23 cores=1,3,5,7
/proc/21794/task/21797/stat : 21797 (java) S 21791 21794 20852 0 -1 1077944384 486 0 0 0 17 6 0 0 20 0 16 0 414338402 11006283776 119276 33554432000 4194304 4196468 140721530905840 139644487482256 139644522211029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21798] ppid=21791 vsize=10748324 memory=477104 CPUtime=0.22 cores=1,3,5,7
/proc/21794/task/21798/stat : 21798 (java) S 21791 21794 20852 0 -1 1077944384 370 0 0 0 16 6 0 0 20 0 16 0 414338402 11006283776 119276 33554432000 4194304 4196468 140721530905840 139644128307984 139644522211029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21799] ppid=21791 vsize=10748324 memory=477104 CPUtime=0.23 cores=1,3,5,7
/proc/21794/task/21799/stat : 21799 (java) S 21791 21794 20852 0 -1 1077944384 380 0 0 0 17 6 0 0 20 0 16 0 414338402 11006283776 119276 33554432000 4194304 4196468 140721530905840 139644127255696 139644522211029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21800] ppid=21791 vsize=10748324 memory=477104 CPUtime=0.24 cores=1,3,5,7
/proc/21794/task/21800/stat : 21800 (java) S 21791 21794 20852 0 -1 1077944384 696 0 0 0 18 6 0 0 20 0 16 0 414338402 11006283776 119276 33554432000 4194304 4196468 140721530905840 139644126202896 139644522211029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21801] ppid=21791 vsize=10748324 memory=984 CPUtime=0.07 cores=1,3,5,7
/proc/21794/task/21801/stat : 21801 (java) S 21791 21794 20852 0 -1 1077944384 2172 0 0 0 5 2 0 0 20 0 16 0 414338403 11006283776 119276 33554432000 4194304 4196468 140721530905840 139644013361264 139644522211970 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21802] ppid=21791 vsize=10748324 memory=56 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21802/stat : 21802 (java) S 21791 21794 20852 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414338404 11006283776 119276 33554432000 4194304 4196468 140721530905840 139644012307296 139644522211029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21803] ppid=21791 vsize=10748324 memory=477104 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21803/stat : 21803 (java) S 21791 21794 20852 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414338404 11006283776 119276 33554432000 4194304 4196468 140721530905840 139644011254912 139644522211029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21804] ppid=21791 vsize=10748324 memory=477104 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21804/stat : 21804 (java) S 21791 21794 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414338406 11006283776 119276 33554432000 4194304 4196468 140721530905840 139644010203216 139644522219419 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21805] ppid=21791 vsize=10748324 memory=477104 CPUtime=2.27 cores=1,3,5,7
/proc/21794/task/21805/stat : 21805 (java) S 21791 21794 20852 0 -1 1077944384 12242 0 0 0 226 1 0 0 20 0 16 0 414338406 11006283776 119276 33554432000 4194304 4196468 140721530905840 139644009151088 139644522211970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21806] ppid=21791 vsize=10748324 memory=984 CPUtime=2.33 cores=1,3,5,7
/proc/21794/task/21806/stat : 21806 (java) S 21791 21794 20852 0 -1 1077944384 18021 0 0 0 231 2 0 0 20 0 16 0 414338406 11006283776 119276 33554432000 4194304 4196468 140721530905840 139644008098288 139644522211970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21807] ppid=21791 vsize=10748324 memory=477104 CPUtime=0.95 cores=1,3,5,7
/proc/21794/task/21807/stat : 21807 (java) S 21791 21794 20852 0 -1 1077944384 11052 0 0 0 92 3 0 0 20 0 16 0 414338406 11006283776 119276 33554432000 4194304 4196468 140721530905840 139644007046000 139644522211970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21808] ppid=21791 vsize=10748324 memory=477104 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21808/stat : 21808 (java) S 21791 21794 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414338407 11006283776 119276 33554432000 4194304 4196468 140721530905840 139644005993440 139644522211029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21809] ppid=21791 vsize=10748324 memory=56 CPUtime=1.01 cores=1,3,5,7
/proc/21794/task/21809/stat : 21809 (java) S 21791 21794 20852 0 -1 1077944384 1539 0 0 0 43 58 0 0 20 0 16 0 414338407 11006283776 119276 33554432000 4194304 4196468 140721530905840 139644004940208 139644522211970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21810] ppid=21791 vsize=10748324 memory=-7882018838379555936 CPUtime=2500.14 cores=1,3,5,7
/proc/21794/task/21810/stat : 21810 (java) R 21791 21794 20852 0 -1 4202560 26801 0 0 0 250009 5 0 0 20 0 16 0 414338588 11006283776 119276 33554432000 4194304 4196468 140721530905840 139643988270384 139644168271978 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
Current children cumulated CPU time: 2509.66 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 477104 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2512.7 s]
/proc/loadavg: 2.09 2.09 1.95 3/229 22591
/proc/meminfo: memFree=27098240/32770624 swapFree=67004752/67108860
[pid=21794] ppid=21791 vsize=10748324 memory=477104 CPUtime=2520.07 cores=1,3,5,7
/proc/21794/stat : 21794 (java) S 21791 21794 20852 0 -1 1077944320 90399 0 0 0 251916 91 0 0 20 0 16 0 414338401 11006283776 119276 33554432000 4194304 4196468 140721530905840 140721530888384 139644522200823 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
/proc/21794/statm: 2687081 119276 3378 1 0 2647217 0
[pid=21794/tid=21796] ppid=21791 vsize=10748324 memory=477104 CPUtime=1.85 cores=1,3,5,7
/proc/21794/task/21796/stat : 21796 (java) S 21791 21794 20852 0 -1 1077944384 15242 0 0 0 180 5 0 0 20 0 16 0 414338401 11006283776 119276 33554432000 4194304 4196468 140721530905840 139644526443696 139644522211029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21797] ppid=21791 vsize=10748324 memory=477104 CPUtime=0.23 cores=1,3,5,7
/proc/21794/task/21797/stat : 21797 (java) S 21791 21794 20852 0 -1 1077944384 486 0 0 0 17 6 0 0 20 0 16 0 414338402 11006283776 119276 33554432000 4194304 4196468 140721530905840 139644487482256 139644522211029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21798] ppid=21791 vsize=10748324 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/21794/task/21798/stat : 21798 (java) S 21791 21794 20852 0 -1 1077944384 370 0 0 0 16 6 0 0 20 0 16 0 414338402 11006283776 119276 33554432000 4194304 4196468 140721530905840 139644128307984 139644522211029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21799] ppid=21791 vsize=10748324 memory=279766118742144 CPUtime=0.23 cores=1,3,5,7
/proc/21794/task/21799/stat : 21799 (java) S 21791 21794 20852 0 -1 1077944384 380 0 0 0 17 6 0 0 20 0 16 0 414338402 11006283776 119276 33554432000 4194304 4196468 140721530905840 139644127255696 139644522211029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21800] ppid=21791 vsize=10748324 memory=477104 CPUtime=0.24 cores=1,3,5,7
/proc/21794/task/21800/stat : 21800 (java) S 21791 21794 20852 0 -1 1077944384 696 0 0 0 18 6 0 0 20 0 16 0 414338402 11006283776 119276 33554432000 4194304 4196468 140721530905840 139644126202896 139644522211029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21801] ppid=21791 vsize=10748324 memory=477104 CPUtime=0.07 cores=1,3,5,7
/proc/21794/task/21801/stat : 21801 (java) S 21791 21794 20852 0 -1 1077944384 2172 0 0 0 5 2 0 0 20 0 16 0 414338403 11006283776 119276 33554432000 4194304 4196468 140721530905840 139644013361264 139644522211970 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21802] ppid=21791 vsize=10748324 memory=477104 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21802/stat : 21802 (java) S 21791 21794 20852 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414338404 11006283776 119276 33554432000 4194304 4196468 140721530905840 139644012307296 139644522211029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21803] ppid=21791 vsize=10748324 memory=251747 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21803/stat : 21803 (java) S 21791 21794 20852 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414338404 11006283776 119276 33554432000 4194304 4196468 140721530905840 139644011254912 139644522211029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21804] ppid=21791 vsize=10748324 memory=1720 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21804/stat : 21804 (java) S 21791 21794 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414338406 11006283776 119276 33554432000 4194304 4196468 140721530905840 139644010203216 139644522219419 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21805] ppid=21791 vsize=10748324 memory=477104 CPUtime=2.27 cores=1,3,5,7
/proc/21794/task/21805/stat : 21805 (java) S 21791 21794 20852 0 -1 1077944384 12242 0 0 0 226 1 0 0 20 0 16 0 414338406 11006283776 119276 33554432000 4194304 4196468 140721530905840 139644009151088 139644522211970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21806] ppid=21791 vsize=10748324 memory=477104 CPUtime=2.33 cores=1,3,5,7
/proc/21794/task/21806/stat : 21806 (java) S 21791 21794 20852 0 -1 1077944384 18021 0 0 0 231 2 0 0 20 0 16 0 414338406 11006283776 119276 33554432000 4194304 4196468 140721530905840 139644008098288 139644522211970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21807] ppid=21791 vsize=10748324 memory=477104 CPUtime=0.95 cores=1,3,5,7
/proc/21794/task/21807/stat : 21807 (java) S 21791 21794 20852 0 -1 1077944384 11052 0 0 0 92 3 0 0 20 0 16 0 414338406 11006283776 119276 33554432000 4194304 4196468 140721530905840 139644007046000 139644522211970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21808] ppid=21791 vsize=10748324 memory=477104 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21808/stat : 21808 (java) S 21791 21794 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414338407 11006283776 119276 33554432000 4194304 4196468 140721530905840 139644005993440 139644522211029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21809] ppid=21791 vsize=10748324 memory=477104 CPUtime=1.01 cores=1,3,5,7
/proc/21794/task/21809/stat : 21809 (java) S 21791 21794 20852 0 -1 1077944384 1541 0 0 0 43 58 0 0 20 0 16 0 414338407 11006283776 119276 33554432000 4194304 4196468 140721530905840 139644004940208 139644522211970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21810] ppid=21791 vsize=10748324 memory=9584 CPUtime=2510.54 cores=1,3,5,7
/proc/21794/task/21810/stat : 21810 (java) R 21791 21794 20852 0 -1 4202560 26802 0 0 0 251049 5 0 0 20 0 16 0 414338588 11006283776 119276 33554432000 4194304 4196468 140721530905840 139643988270384 139644168271889 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 477104 KiB

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

[startup+2512.72 s]
# the end of solver process 21794 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.17 s, system=0.920157 s

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

[startup+2512.7 s]
/proc/loadavg: 2.09 2.09 1.95 3/229 22591
/proc/meminfo: memFree=27098240/32770624 swapFree=67004752/67108860
[pid=21794] ppid=21791 vsize=10748324 memory=477104 CPUtime=2520.07 cores=1,3,5,7
/proc/21794/stat : 21794 (java) S 21791 21794 20852 0 -1 1077944320 90399 0 0 0 251916 91 0 0 20 0 16 0 414338401 11006283776 119276 33554432000 4194304 4196468 140721530905840 140721530888384 139644522200823 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
/proc/21794/statm: 2687081 119276 3378 1 0 2647217 0
[pid=21794/tid=21796] ppid=21791 vsize=10748324 memory=477104 CPUtime=1.85 cores=1,3,5,7
/proc/21794/task/21796/stat : 21796 (java) S 21791 21794 20852 0 -1 1077944384 15242 0 0 0 180 5 0 0 20 0 16 0 414338401 11006283776 119276 33554432000 4194304 4196468 140721530905840 139644526443696 139644522211029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21797] ppid=21791 vsize=10748324 memory=477104 CPUtime=0.23 cores=1,3,5,7
/proc/21794/task/21797/stat : 21797 (java) S 21791 21794 20852 0 -1 1077944384 486 0 0 0 17 6 0 0 20 0 16 0 414338402 11006283776 119276 33554432000 4194304 4196468 140721530905840 139644487482256 139644522211029 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21798] ppid=21791 vsize=10748324 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/21794/task/21798/stat : 21798 (java) S 21791 21794 20852 0 -1 1077944384 370 0 0 0 16 6 0 0 20 0 16 0 414338402 11006283776 119276 33554432000 4194304 4196468 140721530905840 139644128307984 139644522211029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21799] ppid=21791 vsize=10748324 memory=279766118742144 CPUtime=0.23 cores=1,3,5,7
/proc/21794/task/21799/stat : 21799 (java) S 21791 21794 20852 0 -1 1077944384 380 0 0 0 17 6 0 0 20 0 16 0 414338402 11006283776 119276 33554432000 4194304 4196468 140721530905840 139644127255696 139644522211029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21800] ppid=21791 vsize=10748324 memory=477104 CPUtime=0.24 cores=1,3,5,7
/proc/21794/task/21800/stat : 21800 (java) S 21791 21794 20852 0 -1 1077944384 696 0 0 0 18 6 0 0 20 0 16 0 414338402 11006283776 119276 33554432000 4194304 4196468 140721530905840 139644126202896 139644522211029 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21801] ppid=21791 vsize=10748324 memory=477104 CPUtime=0.07 cores=1,3,5,7
/proc/21794/task/21801/stat : 21801 (java) S 21791 21794 20852 0 -1 1077944384 2172 0 0 0 5 2 0 0 20 0 16 0 414338403 11006283776 119276 33554432000 4194304 4196468 140721530905840 139644013361264 139644522211970 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21802] ppid=21791 vsize=10748324 memory=477104 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21802/stat : 21802 (java) S 21791 21794 20852 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414338404 11006283776 119276 33554432000 4194304 4196468 140721530905840 139644012307296 139644522211029 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21803] ppid=21791 vsize=10748324 memory=251747 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21803/stat : 21803 (java) S 21791 21794 20852 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414338404 11006283776 119276 33554432000 4194304 4196468 140721530905840 139644011254912 139644522211029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21804] ppid=21791 vsize=10748324 memory=1720 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21804/stat : 21804 (java) S 21791 21794 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414338406 11006283776 119276 33554432000 4194304 4196468 140721530905840 139644010203216 139644522219419 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21805] ppid=21791 vsize=10748324 memory=477104 CPUtime=2.27 cores=1,3,5,7
/proc/21794/task/21805/stat : 21805 (java) S 21791 21794 20852 0 -1 1077944384 12242 0 0 0 226 1 0 0 20 0 16 0 414338406 11006283776 119276 33554432000 4194304 4196468 140721530905840 139644009151088 139644522211970 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21806] ppid=21791 vsize=10748324 memory=477104 CPUtime=2.33 cores=1,3,5,7
/proc/21794/task/21806/stat : 21806 (java) S 21791 21794 20852 0 -1 1077944384 18021 0 0 0 231 2 0 0 20 0 16 0 414338406 11006283776 119276 33554432000 4194304 4196468 140721530905840 139644008098288 139644522211970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21807] ppid=21791 vsize=10748324 memory=477104 CPUtime=0.95 cores=1,3,5,7
/proc/21794/task/21807/stat : 21807 (java) S 21791 21794 20852 0 -1 1077944384 11052 0 0 0 92 3 0 0 20 0 16 0 414338406 11006283776 119276 33554432000 4194304 4196468 140721530905840 139644007046000 139644522211970 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21808] ppid=21791 vsize=10748324 memory=477104 CPUtime=0 cores=1,3,5,7
/proc/21794/task/21808/stat : 21808 (java) S 21791 21794 20852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414338407 11006283776 119276 33554432000 4194304 4196468 140721530905840 139644005993440 139644522211029 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21809] ppid=21791 vsize=10748324 memory=477104 CPUtime=1.01 cores=1,3,5,7
/proc/21794/task/21809/stat : 21809 (java) S 21791 21794 20852 0 -1 1077944384 1541 0 0 0 43 58 0 0 20 0 16 0 414338407 11006283776 119276 33554432000 4194304 4196468 140721530905840 139644004940208 139644522211970 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
[pid=21794/tid=21810] ppid=21791 vsize=10748324 memory=9584 CPUtime=2510.54 cores=1,3,5,7
/proc/21794/task/21810/stat : 21810 (java) R 21791 21794 20852 0 -1 4202560 26802 0 0 0 251049 5 0 0 20 0 16 0 414338588 11006283776 119276 33554432000 4194304 4196468 140721530905840 139643988270384 139644168271889 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12763136 140721530909707 140721530909810 140721530909810 140721530912719 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 477104 KiB

Child status: 143
Real time (s): 2512.72
CPU time (s): 2520.09
CPU user time (s): 2519.17
CPU system time (s): 0.920157
CPU usage (%): 100.293
Max. virtual memory (cumulated for all children) (KiB): 10748356
Max. memory (cumulated for all children) (KiB): 477104

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.17
system time used= 0.920157
maximum resident set size= 482168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91506
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58151
involuntary context switches= 694


# summary of solver processes directly reported to runsolver:
#   pid: 21794
#   total CPU time (s): 2520.09
#   total CPU user time (s): 2519.17
#   total CPU system time (s): 0.920157

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4318 second user time and 24.03 second system time

The end

Launcher Data 

Begin job on node126 at 2019-09-13 15:17:48
IDJOB=4391054
IDBENCH=124254
IDSOLVER=2832
FILE ID=node126/4391054-1568380706
RUNJOBID= node126-1568380478-20884
PBS_JOBID= 21701838
Free space on /tmp= 55364 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/Cutstock/Cutstock-zinc-s1/Cutstock-t10-4.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391054-1568380706/watcher-4391054-1568380706 -o /tmp/evaluation-result-4391054-1568380706/solver-4391054-1568380706 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568380478-20884 --watchdog 2580  java -cp AbsCon19-06.jar AbsCon HOME/instance-4391054-1568380706.xml -cm

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

MD5SUM BENCH= 9ef9cfbbe168b3e655de6bd1a7d8b0b4
RANDOM SEED=1747478263

node126.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.45
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.56
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.45
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.56
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.45
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.56
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.45
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        25204560 kB
MemAvailable:   28630204 kB
Buffers:          150388 kB
Cached:          3513060 kB
SwapCached:         2860 kB
Active:          5143356 kB
Inactive:        1750716 kB
Active(anon):    3228148 kB
Inactive(anon):    43272 kB
Active(file):    1915208 kB
Inactive(file):  1707444 kB
Unevictable:      109116 kB
Mlocked:          109116 kB
SwapTotal:      67108860 kB
SwapFree:       67004752 kB
Dirty:              8836 kB
Writeback:             0 kB
AnonPages:       3360124 kB
Mapped:            55864 kB
Shmem:             32816 kB
Slab:             262152 kB
SReclaimable:     231452 kB
SUnreclaim:        30700 kB
KernelStack:        3984 kB
PageTables:        11972 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4595740 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3207168 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 55364 MiB
End job on node126 at 2019-09-13 15:59:41