Trace number 4391354

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) 2400.06 2392.81

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 benchmark2400.11
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.46/1.87	
2.46/1.87	AbsCon 2 
2.46/1.89	
3.64/2.28	  Instance
3.64/2.28	    name=instance-4391354-1568389348, framework=COP, bounds=-infty..+infty
3.64/2.28	
3.64/2.28	  Loading variables...
5.01/2.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26dcba46
5.01/2.66	  Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4480abe8
5.01/2.68	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5683d508
5.33/2.70	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19fcd31
5.33/2.71	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@606b3724
5.33/2.73	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5025e46b
5.33/2.75	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54f8d3c
5.33/2.76	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3740072d
5.33/2.77	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50d90028
5.33/2.78	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@620c44f8
5.33/2.79	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61a32d22
5.64/2.80	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26cd406c
5.64/2.81	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a2b0115
5.64/2.82	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6700deab
5.64/2.83	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8a71844
5.64/2.84	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53a74fa1
5.64/2.85	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d373d9e
5.64/2.86	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f4abaa1
5.64/2.87	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6563d663
5.64/2.88	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10dcd06c
5.64/2.89	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7943d10
5.64/2.90	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20038cdd
5.64/2.90	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5155e37
5.64/2.90	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@712912a4
5.64/2.90	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@235aa996
5.64/2.90	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57b7191c
5.64/2.90	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2091437c
5.64/2.90	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@351bc0ec
5.64/2.90	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43a79ca3
5.64/2.90	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28314ca6
5.64/2.90	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39d1d17
5.64/2.90	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@559d51b9
5.64/2.90	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44fcff04
5.64/2.90	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57a823a2
5.64/2.90	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a813598
5.64/2.90	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@94cb501
5.64/2.90	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1441000c
5.64/2.90	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e43e1d4
5.64/2.90	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b0c0cec
5.64/2.90	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@515419c
5.64/2.90	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7001a04b
5.64/2.90	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@114c6976
5.64/2.90	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a206870
5.64/2.90	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40f31339
5.94/2.91	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4afdb238
5.94/2.91	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1693207c
5.94/2.91	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1beb5943
5.94/2.91	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56552aa9
5.94/2.91	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@292fc15d
5.94/2.91	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c99f062
5.94/2.91	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ed3cf7b
5.94/2.91	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a9dd9ea
5.94/2.91	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d820cc9
5.94/2.91	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18a3617
5.94/2.91	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44c1c5be
5.94/2.91	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68baa49
5.94/2.91	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6af2698
5.94/2.91	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b2a318
5.94/2.91	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f6885f5
5.94/2.91	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3525c18e
5.94/2.91	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69f64791
5.94/2.91	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@195283e6
5.94/2.91	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41725321
5.94/2.91	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e8c2215
5.94/2.91	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1dfe9508
5.94/2.91	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1785760b
5.94/2.91	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e6a5eb
5.94/2.91	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36eed24b
5.94/2.91	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23b2b187
5.94/2.91	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@571cbfbe
5.94/2.91	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a8b36ec
5.94/2.91	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2db175b8
5.94/2.91	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e4ebdf4
5.94/2.91	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71dac209
5.94/2.91	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59c56e7e
5.94/2.91	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a136ab3
5.94/2.91	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54f246a5
5.94/2.91	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@195b1cb3
5.94/2.91	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a2d3727
5.94/2.91	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@465c52d3
5.94/2.91	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d5444c2
5.94/2.91	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3545ccac
5.94/2.91	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a9ab4e6
5.94/2.91	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e31205a
5.94/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@389b1d0f
5.94/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f62ad21
5.94/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15c60b07
5.94/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44466fe7
5.94/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cebb90d
5.94/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bb72be4
5.94/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2384ad0a
5.94/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@271735e5
5.94/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51f7773a
5.94/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64923905
5.94/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@327627a2
5.94/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19ae9588
5.94/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54d3e613
5.94/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bc7973e
5.94/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b7c3b6c
5.94/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@88c4768
5.94/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7906518
5.94/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28030dd6
5.94/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d57cd66
5.94/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a4c5fa2
5.94/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ec021de
5.94/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ca7c32
5.94/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7dd96c2c
5.94/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a081f6d
5.94/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d947332
5.94/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28fedb74
5.94/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b19c9b4
5.94/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d044102
5.94/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c15b50e
5.94/2.92	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8492c55
5.94/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24d3ab24
5.94/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@118862b5
5.94/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53155a4a
5.94/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4745db19
5.94/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66b0502f
5.94/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e799c63
5.94/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41bd1c66
5.94/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cd3e421
5.94/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40271df6
5.94/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@204991f
5.94/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@109af745
5.94/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b87621e
5.94/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@700e8fd5
5.94/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d11bd9
5.94/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b05f9fb
5.94/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7335c2fc
5.94/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5527d089
5.94/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@781661af
5.94/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bf4ba44
5.94/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e0d77ee
5.94/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@548740ff
5.94/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1fbc47dd
5.94/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2413d861
5.94/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cb9a415
5.94/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13c027de
5.94/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1721b940
5.94/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d0d5569
5.94/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78aecf6a
5.94/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b168412
5.94/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b825d27
5.94/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ee1743
5.94/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5523ad90
5.94/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23f2ffc1
5.94/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3aa7ec74
5.94/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61d13d7a
5.94/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1242f77d
5.94/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6185693d
5.94/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@681b3533
5.94/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16027ab3
5.94/2.93	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7442c99e
5.94/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c8d5737
5.94/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@259e4359
5.94/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@317bc891
5.94/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32eeb3a7
5.94/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4245d24c
5.94/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d42a014
5.94/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@612dd19f
5.94/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f2108c
5.94/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@365c1ac4
5.94/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c458bd3
5.94/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76c03ba
5.94/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ef87a12
5.94/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1dc11025
5.94/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@153a48a3
5.94/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47971a5a
5.94/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4fe55c2
5.94/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a87c0e5
5.94/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c853505
5.94/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17ad1ce8
5.94/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51abd2d8
5.94/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76dba492
5.94/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22f32b93
5.94/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75adf244
5.94/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b522db1
5.94/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6688e0af
5.94/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7db69f7e
5.94/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4836d282
5.94/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e72195a
5.94/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f5f5a88
5.94/2.94	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3774d564
5.94/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a964969
5.94/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17a8e1e2
5.94/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46546d18
5.94/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2628b516
5.94/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1066d059
5.94/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7abde8ae
5.94/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5335d75a
5.94/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c985e7c
5.94/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1dfc188b
5.94/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@635778b1
5.94/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@a6ece16
5.94/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a086fef
5.94/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c2a180f
5.94/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17eb7ae9
5.94/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78059b85
5.94/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2185951
5.94/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7aa1c9f8
5.94/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36a5b75b
5.94/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@968bbb5
5.94/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5940672b
5.94/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7abbb294
5.94/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42c461bb
5.94/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43bf4fdb
5.94/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@374c5fa
5.94/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65126f38
5.94/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47fa01b7
5.94/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c17c39d
5.94/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b2b9a13
5.94/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73c097f4
5.94/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66b9064c
5.94/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d8f2a92
5.94/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d8a6b62
5.94/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48aba89f
5.94/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4935ad23
5.94/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6600b254
5.94/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@351bda66
5.94/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75ac888f
5.94/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@562ad75a
5.94/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39a047f3
5.94/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bd88ede
5.94/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12133dda
5.94/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16f663a8
5.94/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fe3e8eb
5.94/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@edf42ec
5.94/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35971c1e
5.94/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66e5ac9b
5.94/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@56e6f033
5.94/2.95	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@450d5372
5.94/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c2a226f
5.94/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d03ed
5.94/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@510df167
5.94/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34d3f33c
5.94/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5acca822
5.94/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@634fea9d
5.94/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f929013
5.94/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e537781
5.94/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10c38c7f
5.94/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@340ec02f
5.94/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@771f1221
5.94/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@632eaa9
5.94/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c2fb2c4
5.94/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4335effe
5.94/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40f5c615
5.94/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67de9470
5.94/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37ad698f
5.94/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69f1d683
5.94/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a6b0ac4
5.94/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ad41b4e
5.94/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@958e26c
5.94/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a8e422f
5.94/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f49a5
5.94/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@399bdbe4
5.94/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59ff04d8
5.94/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6cc4833c
5.94/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5409a27f
5.94/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ea3d2fd
5.94/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4fa72bdc
5.94/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a434a83
5.94/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2914d20b
5.94/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39ec4bea
5.94/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3623820f
5.94/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c298c5f
5.94/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b386ce3
5.94/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@756ec54b
5.94/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@111d12c3
5.94/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38f37720
5.94/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@297094f8
5.94/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@147f6bda
5.94/2.96	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@793e8c47
5.94/2.97	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13e0bb43
5.94/2.97	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a2aaf5d
5.94/2.97	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7150fa36
5.94/2.97	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73a3981d
5.94/2.97	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@155e1ef
5.94/2.97	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@468979f0
5.94/2.97	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e9a2b21
5.94/2.97	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12b6b5d
5.94/2.97	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@96c31c2
5.94/2.97	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59831909
5.94/2.97	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61f1c340
5.94/2.97	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64ca5f47
5.94/2.97	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ae8fb8d
5.94/2.97	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b849c9e
5.94/2.97	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bfbd0c
5.94/2.97	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f92aad
5.94/2.97	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5120726b
5.94/2.97	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46310ec8
5.94/2.97	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42655be1
5.94/2.97	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d17152c
5.94/2.97	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73723bb8
5.94/2.97	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75522291
5.94/2.97	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@aa9ff3b
5.94/2.97	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41738c65
5.94/2.97	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49fc23b8
5.94/2.97	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ae93012
5.94/2.97	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54a6e7ad
5.94/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@641a73fc
5.94/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4dd69f0
5.94/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@213870a3
5.94/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a56fd1
5.94/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@251594b6
5.94/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2159afd5
5.94/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3df3d618
5.94/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@550e293
5.94/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40bc8d83
5.94/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@752d9abd
5.94/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54a7d086
5.94/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67520350
5.94/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@617819eb
5.94/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74240163
5.94/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50d90a9c
5.94/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59323855
5.94/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f760b7c
5.94/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42bee93e
5.94/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7174a48a
5.94/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7acbde19
5.94/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13ca6e25
5.94/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3194c57c
5.94/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4005b7c2
5.94/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d3a83e1
5.94/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b590cb
5.94/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5116b04a
5.94/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c91bdf9
5.94/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20ba2612
5.94/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@619ca6b4
5.94/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66ad1a2
5.94/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f509a17
5.94/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5711eedd
5.94/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ed39f8f
5.94/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57b9843c
5.94/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71b00196
5.94/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52ad8086
5.94/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e7c3010
5.94/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a500227
5.94/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3825da4
5.94/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57e49e3
5.94/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60011e80
5.94/2.98	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@215c349a
5.94/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@402410fc
5.94/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@475f7e2
5.94/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39b2428
5.94/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@304121c
5.94/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79c6d988
5.94/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b459857
5.94/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7283100
5.94/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1fc8bdfb
5.94/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cbed6af
5.94/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@eef4a70
5.94/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cc84658
5.94/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4cc5cb64
5.94/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b1d7874
5.94/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c6f9ed7
5.94/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61a5045e
5.94/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60ea44a7
5.94/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30306b34
5.94/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d7bb9f6
5.94/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@476b560e
5.94/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1818172b
5.94/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ec75555
5.94/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b8157d6
5.94/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51e7a7e6
5.94/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46592081
5.94/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e680f1a
5.94/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49576012
5.94/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f40eb4
5.94/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bd18fb8
5.94/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63c063a8
5.94/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c6cc32c
5.94/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ae0c0eb
5.94/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62a7d3a5
5.94/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d2b33fa
5.94/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@492c3e49
5.94/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e2a4879
5.94/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54b9c239
5.94/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62bdcd03
5.94/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f6b915e
5.94/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cecd413
5.94/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33a5e9e4
5.94/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@778e9375
5.94/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40eadf2e
5.94/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a399e9f
5.94/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a7e29a
5.94/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35d85608
5.94/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e9330d3
5.94/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@350f97dd
5.94/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@515b6693
5.94/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5dfac572
5.94/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f574e7e
5.94/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50c18b19
5.94/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@765ceb7a
5.94/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29a374f6
5.94/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@404e6f5a
5.94/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32dee15c
5.94/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@125bb020
5.94/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16e83783
5.94/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@199ea93e
5.94/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52bd1d47
5.94/2.99	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@364ee3e7
5.94/3.00	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a590580
5.94/3.00	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a7bc4d2
5.94/3.00	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b943c89
5.94/3.00	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e9bffe3
5.94/3.00	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57788e34
5.94/3.00	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b6b3ab6
5.94/3.00	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61817412
5.94/3.00	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4cdba68b
5.94/3.00	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ec902a8
5.94/3.00	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d292266
5.94/3.00	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@91dd52c
5.94/3.00	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@68257281
5.94/3.00	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a9519e0
5.94/3.00	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f016336
5.94/3.00	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@bcae2b
5.94/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55f8cf0f
5.94/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45ada53e
5.94/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@572d502c
5.94/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73df502d
5.94/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@793f6b2b
5.94/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@370dfd20
5.94/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6099289
5.94/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3462c71c
5.94/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@140a7fa3
5.94/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cac569a
5.94/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c6f7ff0
5.94/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d118180
5.94/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7effdb5f
5.94/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d0376b
5.94/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@185a761c
5.94/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4df6ff40
5.94/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65d0704e
5.94/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10a3d21c
5.94/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@500874c2
5.94/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d443b1f
5.94/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@59902d67
5.94/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f511ae1
5.94/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@428ee7e6
5.94/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c6d64b1
5.94/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b607502
5.94/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@86e040
5.94/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@162b5169
5.94/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c2b366f
5.94/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4123d5a7
5.94/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d52ecb8
5.94/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44d1b84b
5.94/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f5ec560
5.94/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bdaa651
5.94/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@492cfa2d
5.94/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5767047a
5.94/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bc2052b
5.94/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73763622
5.94/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46086b6d
5.94/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@75897cc3
5.94/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bc944dd
5.94/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@461e3b07
5.94/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71d2e74f
5.94/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4710e723
5.94/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54066d6b
5.94/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d964057
5.94/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7801b5fc
5.94/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76fd9662
5.94/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@439f6ae9
5.94/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@479c5f1b
5.94/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d8618c2
5.94/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51f4fe02
5.94/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e3859f5
5.94/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@443bd65c
6.29/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7364032c
6.29/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12125f21
6.29/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66526a2a
6.29/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61b564cf
6.29/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42ff0f60
6.29/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1fcb2c08
6.29/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b061d80
6.29/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5df27aff
6.29/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13b8add9
6.29/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bdd0073
6.29/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f7cfb15
6.29/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c4a37a8
6.29/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f8d147a
6.29/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2691e82a
6.29/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79cfafdd
6.29/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30d1e3e6
6.29/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@86b7d80
6.29/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a2d01c2
6.29/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@418bec32
6.29/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7671d060
6.29/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21414cc
6.29/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9dc3d19
6.29/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@333c6150
6.29/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1afb6b95
6.29/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e6bfd3a
6.29/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30c4da74
6.29/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5697b5a8
6.29/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24d07628
6.29/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@588029c0
6.29/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45462e1f
6.29/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@203b50d4
6.29/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35b26b18
6.29/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5385b142
6.29/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30e3fc40
6.29/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70245432
6.29/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34b77d40
6.29/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47cc063b
6.29/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f4c4218
6.29/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77e9fd49
6.29/3.01	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@693470da
6.29/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f57cd43
6.29/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ce5077e
6.29/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@92b1e5f
6.29/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36c1463
6.29/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@455a9be9
6.29/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@505e8dd2
6.29/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@402fd9f8
6.29/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@452e8496
6.29/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76e9d58c
6.29/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73f73981
6.29/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a67b613
6.29/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@528350c4
6.29/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52a1411
6.29/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4754c000
6.29/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@47cf2823
6.29/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@640313f7
6.29/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49579428
6.29/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40cb05d
6.29/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f00c63b
6.29/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42df574c
6.29/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2eed488c
6.29/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@310e6ac2
6.29/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4910ee60
6.29/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b05e0eb
6.29/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33c04965
6.29/3.02	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@20857ae1
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29b5e3c
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36aafbc
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65559d61
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2742d3f7
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69a75b88
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@358cefad
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45742cf6
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@117c4605
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@156c0e4
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48cef007
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@107f67d0
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ae2ebf5
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1829b233
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bf8ade8
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@152e58c8
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1fc73527
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@264311f5
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3be3d45
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1beec1c8
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e7fe0fd
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53af8c10
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13cf2ce0
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@15709e48
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5fd68c8d
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76bd6d78
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@892dcca
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30906ab
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22a15299
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@646cc8b3
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2db15753
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d8e51d0
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18aba228
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41c95dbc
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f49f2
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51a7bf4d
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ee48bc6
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@192e27fb
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36d6e777
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5626aa13
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ceb6258
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b7bdc96
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5fffc988
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@165a8f10
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2316bc21
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11b229aa
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2142df1b
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62da130d
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e8c115a
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25b013b
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@582d715e
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b1550bc
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33af0823
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d577012
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3fe7af8e
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7792d499
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@135650c1
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@cd62b28
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44b48ae4
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c82e7fe
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@317fb27c
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b64dfe4
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61061a96
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f49cb28
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@167cdfcf
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1816e03c
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52d91ac0
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f114b1d
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e8b7618
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@418541a2
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73380d4e
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51c74b50
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50e3f565
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@25808666
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f4148a6
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46142c1c
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@359dc5e0
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4779d86
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a3e426d
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6072a848
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70f3a1d8
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5118c4d9
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11bfbab2
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ac00387
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23a0f974
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d9ce0f0
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@238f8bfe
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e6e92d6
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ead1d8
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1666d425
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34cbbd37
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8ceda04
6.29/3.03	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@566e7bc6
6.29/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4fe638b9
6.29/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f9be7c2
6.29/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6940374
6.29/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c0d85fb
6.29/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ca2e027
6.29/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@161022aa
6.29/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@798a4021
6.29/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ab00449
6.29/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42fda022
6.29/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@46c8041f
6.29/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6bb798c6
6.29/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27df8ab6
6.29/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12194150
6.29/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64878494
6.29/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ce22f4
6.29/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53f25e4d
6.29/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@557603f8
6.29/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@513fc896
6.29/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f76b794
6.29/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7dcdd1b
6.29/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7abbaa8
6.29/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8472a6e
6.29/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@741a4d53
6.29/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ce6ba08
6.29/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42b0a024
6.29/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@597254d8
6.29/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4aff3924
6.29/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d80a8cd
6.29/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b00cef0
6.29/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a5a02fd
6.29/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@60c444fc
6.29/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@288002b7
6.29/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34c6f7de
6.29/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@230cd284
6.29/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ba9df02
6.29/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2aa6f795
6.29/3.04	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7213ef04
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cdc37cb
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d8873ec
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ac7cd8a
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@228fa76a
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@673f7f2b
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@31fb979a
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c3a251e
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@92697e1
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42afb4da
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fda1070
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c178124
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41dfc4d4
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4debc026
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5425ff2e
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@411f42c3
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a54fce2
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11724d3a
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50b87e9a
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@799521c3
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@661173a2
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21811f16
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4dd6a029
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40763d50
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@222bc28a
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d0876ed
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c02cee9
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@14047c60
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@753e0bb9
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36597340
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@53a72290
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@601dd19e
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@509ed3cd
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58b4fa87
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7afcd626
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9c37122
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1af1996b
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18882c2d
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@9102e54
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a4b55f2
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b54b411
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77d0ea16
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@28a0df8a
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@91bf8c5
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@51de0789
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@27f38521
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1fde4fa0
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11c29866
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d6d935d
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1caa71bf
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d92f00
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26aa036a
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@534fc8ac
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@593564e6
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@620d304b
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2bbd0139
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b555916
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b29467b
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6788f55e
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f60deaf
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dcf8b47
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30306634
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f4a960
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7931cbf6
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49a28e69
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c409dca
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@107c2279
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2f6db0c3
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@12acc3cf
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@496ea26b
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c3acc1d
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@440b29da
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fad1a1
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30cf99dc
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@29fda64d
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7131917d
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ac796b8
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dd59757
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11202313
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@52cc6d2c
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@653fb9c5
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3652859c
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62c68154
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7680353e
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@254243e3
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67d703b9
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66d40469
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66fd18da
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@194768a
6.29/3.05	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76c42017
6.29/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3da03951
6.29/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1c54ee8d
6.29/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ece82c9
6.29/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@63bfdd0e
6.29/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69ae1d6e
6.29/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f3b344f
6.29/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@45d0bbfb
6.29/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f17b597
6.29/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@77af41b8
6.29/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f39f2cd
6.29/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@649e22a2
6.29/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bb1b4b7
6.29/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f9a2158
6.29/3.06	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66db484
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@662521ae
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6074d10c
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d4290d4
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54fa4ac2
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2044247c
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@341504a1
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6200b2f3
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33fd8f1e
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@751122e
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7aca61a0
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18d64b1e
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10729592
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@62ca9cf6
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3ef7d7b9
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@353d6d57
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@67d3170d
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@92bf64c
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5bf99240
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@49a1688c
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16ed9a9d
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38ed0d0a
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48ae5653
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35e2e8a7
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55ac1085
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ba0a539
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2771c0d3
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2e4f1d9d
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73180b6e
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@628c2a67
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3a2c6372
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4622e607
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@74a90b8c
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@113efac9
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3e769609
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71dc129f
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@110afe1
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@154e2510
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f254095
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23b703ea
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79bfef95
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b15f9b6
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@78f5080a
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c0fe3a6
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5638ca53
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16d36b5f
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69255a12
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64a7fe64
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2525ca6f
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@8b32883
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a6f7a5e
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d418db2
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@380e0961
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f3ee6f9
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fe5e821
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4763dc4a
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65586124
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4c90c80
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@765c839a
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6f2e54ea
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7114eb0d
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@301ba3e6
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32361146
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@b59bdf9
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@bdb243e
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a4e8ff2
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c64937d
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1ca496a5
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f66fdc9
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@289ba281
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c0f2725
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@193bb3e4
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@208dc672
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@496c5fe
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@845d562
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d9ba716
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@425bdfa
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ad9fbc1
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d09ba02
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d8d0d
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34a28b7e
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b68e82
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d4deecc
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2eea0d30
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42e2c772
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@725e7582
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5da220a0
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4bb0e122
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@737d95a9
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e66ff4d
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e9e1659
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@18e9d4ea
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f4bfd65
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e605807
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@173eb4ba
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73dfd87
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2404b4a3
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4eca6901
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6326c2f6
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43bb98aa
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42904105
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2028dcc2
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@573034c1
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@454fbe39
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@428c8b63
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@643185c0
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37618008
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39778f86
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@159c8c64
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41bcca0c
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fa817db
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5fb3a25a
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5cfed9e8
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@210549b3
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26355f
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ce3d904
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b66ae68
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3cae5869
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@675e6195
6.29/3.07	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6bd21c10
6.29/3.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a3d3c8d
6.29/3.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f8585c5
6.29/3.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5f87bfb1
6.29/3.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69080c8c
6.29/3.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e77a4a4
6.29/3.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d15f367
6.29/3.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d5d0181
6.29/3.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4cdac7ca
6.29/3.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b9fb2e
6.29/3.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@21f6b732
6.29/3.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@26657ed0
6.29/3.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f533ac5
6.29/3.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7671a178
6.29/3.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@397ea1e4
6.29/3.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@478c57e3
6.29/3.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d44df85
6.29/3.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e52ec91
6.29/3.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5d8e2afa
6.29/3.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4b305a05
6.29/3.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7a1f1ec6
6.29/3.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69e6e932
6.29/3.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c5813d4
6.29/3.08	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69476431
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35a1fa24
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6505a673
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1a22f016
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c81e622
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3536128
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3b737e98
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4932fbea
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30f6805b
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3bb6989b
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@22d1ae4e
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66f10196
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6746a296
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1224e9d
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d465964
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@39af9189
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@69642ca1
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55b608b4
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3d1ad6e9
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4fccc873
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4edd9645
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@19ee8b26
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43cc7bf8
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c3c139e
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1053b85b
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d6135dd
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@101d24c8
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e55fc0f
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24b75cca
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58daf91d
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@33d34173
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@73724f58
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@179a2a6e
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@700457a5
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5167a791
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c8c3bde
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4637691f
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ac8ebcc
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1da7d76e
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c963125
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16ea1ca5
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43bfbcf0
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1d35debe
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4085b03a
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4f44a912
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42f7f072
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6e204273
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4862148a
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@13f2f47d
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@265b8f0e
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@35256621
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@197fa75a
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37de8db3
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@337a257
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4e8b95ac
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23311e41
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65bfa330
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2a42aaa
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3649eb85
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b4fa901
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@379b6b13
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d81160
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f578093
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34ce75d7
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2180fed9
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7bae058e
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a21d843
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2028578a
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4a725ab
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@40feb6fb
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2de8764f
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b76c598
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@79eddccd
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d375f3e
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@61fac378
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@16065fee
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@64655ff4
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@386da5f5
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@38fb2ab0
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@724623ff
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1fa1333f
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@708132f1
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@698991f1
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e268842
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1f09323f
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1b078de5
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@265c96ca
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1bf80266
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f75d331
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66b520c3
6.29/3.09	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65839ca6
6.94/3.28	
6.94/3.28	
6.94/3.28	  Domains
6.94/3.28	    nTypes=21, nValues=1981560, sizes=[2#980,8#980,11#980,23#980...160#980,166#980,180#980,181#980]
6.94/3.28	  Variables
6.94/3.28	    count=20580, degrees=[3#1020,4#19560]
6.94/3.28	  Objectives
6.94/3.28	    way=min, type=SumSimpleLE
6.94/3.28	  Constraints
6.94/3.28	    count=1981, nSpecific=1981, arities=[21#980,40#979,980#22]
6.94/3.28	    distribution=[LexicographicLe#979,OrderedGE#1,SumSimpleEQ#20,SumSimpleLE#1,SumWeightedLE#980]
6.94/3.28	    wck=1.441, cpu=3.179, mem=87M280
7.98/3.52	  Solver SolverBacktrack being built...
7.98/3.52	
8.19/3.69	
8.19/3.69	  Solver
8.19/3.69	    guaranteedGAC=false
8.19/3.69	    wck=1.854, cpu=3.407, mem=279M71
10.15/5.26	
10.15/5.26	  Preprocessing
10.15/5.26	    filters=1026, nACremovedValues=1882580, nTotalRemovedValues=1882580, inconcistency=false
10.15/5.26	    wck=1.564, cpu=4.979, mem=279M71
10.15/5.26	
11.34/5.99	    num=0, depth=0..1006, filters=10995, wck=2.297, mem=279M71
11.34/5.99	    decisions=1017, wrong=10, backtracks=0, failedAssignments=10, nogoods=9
11.34/5.99	    
11.88/6.20	    num=1, depth=0..18, filters=21079, wck=2.508, mem=279M71
11.88/6.20	    decisions=1047, wrong=21, backtracks=0, failedAssignments=21, nogoods=19
11.88/6.20	    
12.12/6.40	    num=2, depth=0..14, filters=31689, wck=2.702, mem=279M71
12.12/6.40	    decisions=1074, wrong=33, backtracks=0, failedAssignments=33, nogoods=30
12.12/6.40	    
12.32/6.60	    num=3, depth=0..16, filters=42979, wck=2.903, mem=279M71
12.32/6.60	    decisions=1104, wrong=46, backtracks=0, failedAssignments=46, nogoods=42
12.32/6.60	    
12.78/7.09	    num=4, depth=0..946, filters=56528, wck=3.391, mem=279M71
12.78/7.09	    decisions=2065, wrong=60, backtracks=0, failedAssignments=60, nogoods=55
12.78/7.09	    
13.23/7.45	    num=5, depth=0..41, filters=72018, wck=3.75, mem=279M71
13.23/7.45	    decisions=2130, wrong=80, backtracks=4, failedAssignments=76, nogoods=70
13.23/7.45	    
13.43/7.64	    num=6, depth=0..21, filters=83363, wck=3.941, mem=279M71
13.43/7.64	    decisions=2169, wrong=97, backtracks=4, failedAssignments=93, nogoods=86
13.43/7.64	    
13.63/7.84	    num=7, depth=0..25, filters=95439, wck=4.141, mem=279M71
13.63/7.84	    decisions=2214, wrong=116, backtracks=4, failedAssignments=112, nogoods=104
13.63/7.84	    
14.14/8.30	    num=8, depth=0..772, filters=112700, wck=4.607, mem=279M71
14.14/8.30	    decisions=3008, wrong=137, backtracks=4, failedAssignments=133, nogoods=124
14.14/8.30	    
14.46/8.65	    num=9, depth=0..38, filters=126936, wck=4.955, mem=279M71
14.46/8.65	    decisions=3081, wrong=166, backtracks=10, failedAssignments=156, nogoods=146
14.46/8.65	    
14.69/8.80	    num=10, depth=0..27, filters=135343, wck=5.106, mem=279M71
14.69/8.80	    decisions=3134, wrong=191, backtracks=10, failedAssignments=181, nogoods=170
14.69/8.80	    
14.79/8.93	    num=11, depth=0..34, filters=142406, wck=5.232, mem=279M71
14.79/8.93	    decisions=3197, wrong=219, backtracks=10, failedAssignments=209, nogoods=197
14.79/8.93	    
14.90/9.02	    num=12, depth=0..37, filters=146674, wck=5.326, mem=279M71
14.90/9.02	    decisions=3266, wrong=250, backtracks=10, failedAssignments=240, nogoods=227
14.90/9.02	    
15.01/9.13	    num=13, depth=0..43, filters=150992, wck=5.433, mem=279M71
15.01/9.13	    decisions=3344, wrong=284, backtracks=10, failedAssignments=274, nogoods=260
15.01/9.13	    
15.55/9.66	    num=14, depth=0..75, filters=171148, wck=5.96, mem=279M71
15.55/9.66	    decisions=3530, wrong=350, backtracks=39, failedAssignments=311, nogoods=281
15.55/9.66	    
15.88/9.95	    num=15, depth=0..82, filters=181227, wck=6.249, mem=279M71
15.88/9.95	    decisions=3752, wrong=431, backtracks=83, failedAssignments=352, nogoods=285
15.88/9.95	    
16.29/10.40	    num=16, depth=0..188, filters=191774, wck=6.7, mem=279M71
16.29/10.40	    decisions=4058, wrong=505, backtracks=123, failedAssignments=397, nogoods=304
16.29/10.40	    
17.03/11.04	    num=17, depth=1..42, filters=216185, wck=7.345, mem=279M71
17.03/11.04	    decisions=4357, wrong=644, backtracks=226, failedAssignments=447, nogoods=307
17.03/11.04	    
17.23/11.26	    num=18, depth=16..214, filters=222579, wck=7.568, mem=279M71
17.23/11.26	    decisions=4629, wrong=699, backtracks=226, failedAssignments=502, nogoods=362
17.23/11.26	    
17.63/11.66	    num=19, depth=6..82, filters=237451, wck=7.966, mem=279M71
17.63/11.66	    decisions=4973, wrong=845, backtracks=325, failedAssignments=563, nogoods=370
17.63/11.66	    
18.14/12.19	    num=20, depth=0..169, filters=255483, wck=8.492, mem=279M71
18.14/12.19	    decisions=5372, wrong=974, backtracks=414, failedAssignments=630, nogoods=389
18.14/12.19	    
18.73/12.71	    num=21, depth=2..230, filters=273513, wck=9.014, mem=279M71
18.73/12.71	    decisions=5851, wrong=1125, backtracks=494, failedAssignments=704, nogoods=428
18.73/12.71	    
19.22/13.12	    num=22, depth=2..354, filters=286600, wck=9.425, mem=279M71
19.22/13.12	    decisions=6502, wrong=1287, backtracks=580, failedAssignments=785, nogoods=449
19.22/13.12	    
19.55/13.49	    num=23, depth=2..328, filters=298269, wck=9.79, mem=279M71
19.55/13.49	    decisions=7132, wrong=1451, backtracks=674, failedAssignments=874, nogoods=460
19.55/13.49	    
20.27/14.17	    num=24, depth=2..314, filters=320793, wck=10.478, mem=279M71
20.27/14.17	    decisions=8262, wrong=1875, backtracks=1061, failedAssignments=972, nogoods=468
20.27/14.17	    
20.86/14.70	    num=25, depth=2..497, filters=340578, wck=11.008, mem=279M71
20.86/14.70	    decisions=9221, wrong=2146, backtracks=1285, failedAssignments=1080, nogoods=471
20.86/14.70	    
21.36/15.21	    num=26, depth=2..434, filters=356442, wck=11.51, mem=279M71
21.36/15.21	    decisions=10312, wrong=2488, backtracks=1572, failedAssignments=1199, nogoods=474
21.36/15.21	    
22.06/15.90	    num=27, depth=0..172, filters=381732, wck=12.202, mem=279M71
22.06/15.90	    decisions=11201, wrong=2867, backtracks=1884, failedAssignments=1330, nogoods=484
22.06/15.90	    
22.46/16.34	    num=28, depth=11..101, filters=398047, wck=12.644, mem=279M71
22.46/16.34	    decisions=11801, wrong=3125, backtracks=2063, failedAssignments=1474, nogoods=494
22.46/16.34	    
22.86/16.70	    num=29, depth=2..137, filters=407581, wck=13.007, mem=279M71
22.86/16.70	    decisions=12420, wrong=3377, backtracks=2248, failedAssignments=1632, nogoods=514
22.86/16.70	    
23.76/17.69	    num=30, depth=2..107, filters=446332, wck=13.992, mem=279M71
23.76/17.69	    decisions=13183, wrong=3720, backtracks=2492, failedAssignments=1806, nogoods=523
23.76/17.69	    
24.36/18.21	    num=31, depth=1..80, filters=460792, wck=14.511, mem=279M71
24.36/18.21	    decisions=13905, wrong=4050, backtracks=2752, failedAssignments=1997, nogoods=535
24.36/18.21	    
24.86/18.75	    num=32, depth=2..86, filters=476185, wck=15.054, mem=279M71
24.86/18.75	    decisions=14616, wrong=4372, backtracks=2971, failedAssignments=2208, nogoods=541
24.86/18.75	    
25.46/19.31	    num=33, depth=4..137, filters=489778, wck=15.61, mem=279M71
25.46/19.31	    decisions=15561, wrong=4789, backtracks=3320, failedAssignments=2440, nogoods=550
25.46/19.31	    
25.96/19.87	    num=34, depth=42..96, filters=501394, wck=16.173, mem=279M71
25.96/19.87	    decisions=16486, wrong=5222, backtracks=3692, failedAssignments=2695, nogoods=560
25.96/19.87	    
26.68/20.58	    num=35, depth=105..146, filters=518612, wck=16.885, mem=279M71
26.68/20.58	    decisions=17708, wrong=5775, backtracks=4147, failedAssignments=2976, nogoods=564
26.68/20.58	    
27.38/21.28	    num=36, depth=65..112, filters=534816, wck=17.587, mem=279M71
27.38/21.28	    decisions=18771, wrong=6265, backtracks=4521, failedAssignments=3285, nogoods=584
27.38/21.28	    
28.29/22.17	    num=37, depth=53..104, filters=556885, wck=18.476, mem=279M71
28.29/22.17	    decisions=19934, wrong=6807, backtracks=4933, failedAssignments=3625, nogoods=601
28.29/22.17	    
29.38/23.25	    num=38, depth=58..91, filters=606649, wck=19.558, mem=279M71
29.38/23.25	    decisions=21434, wrong=7525, backtracks=5387, failedAssignments=3999, nogoods=609
29.38/23.25	    
30.48/24.35	    num=39, depth=9..554, filters=649683, wck=20.651, mem=279M71
30.48/24.35	    decisions=23174, wrong=8160, backtracks=5840, failedAssignments=4410, nogoods=632
30.48/24.35	    
31.78/25.65	    num=40, depth=9..716, filters=695856, wck=21.955, mem=279M71
31.78/25.65	    decisions=25464, wrong=8977, backtracks=6494, failedAssignments=4862, nogoods=674
31.78/25.65	    
33.19/27.02	    num=41, depth=2..661, filters=748341, wck=23.328, mem=279M71
33.19/27.02	    decisions=27972, wrong=9963, backtracks=7168, failedAssignments=5359, nogoods=684
33.19/27.02	    
34.39/28.28	    num=42, depth=2..636, filters=795062, wck=24.582, mem=279M71
34.39/28.28	    decisions=30727, wrong=11042, backtracks=7916, failedAssignments=5906, nogoods=694
34.39/28.28	    
36.51/30.37	    num=43, depth=7..748, filters=883147, wck=26.676, mem=279M71
36.51/30.37	    decisions=34967, wrong=12817, backtracks=9579, failedAssignments=6508, nogoods=706
36.51/30.37	    
39.91/33.75	    num=44, depth=242..321, filters=980132, wck=30.051, mem=279M71
39.91/33.75	    decisions=38093, wrong=14255, backtracks=10622, failedAssignments=7170, nogoods=712
39.91/33.75	    
45.01/38.81	    num=45, depth=46..261, filters=1177255, wck=35.117, mem=279M71
45.01/38.81	    decisions=41276, wrong=15755, backtracks=11565, failedAssignments=7898, nogoods=723
45.01/38.81	    
52.91/46.72	    num=46, depth=80..247, filters=1431295, wck=43.02, mem=279M71
52.91/46.72	    decisions=45391, wrong=17757, backtracks=12935, failedAssignments=8699, nogoods=727
52.91/46.72	    
55.81/49.68	    num=47, depth=70..160, filters=1532037, wck=45.981, mem=279M71
55.81/49.68	    decisions=48809, wrong=19414, backtracks=14044, failedAssignments=9580, nogoods=736
55.81/49.68	    
59.02/52.86	    num=48, depth=0..380, filters=1652284, wck=49.167, mem=283M713
59.02/52.86	    decisions=53791, wrong=21738, backtracks=16090, failedAssignments=10550, nogoods=777
59.02/52.86	    
61.56/55.39	    num=49, depth=6..593, filters=1726108, wck=51.691, mem=283M713
61.56/55.39	    decisions=58826, wrong=23987, backtracks=17926, failedAssignments=11617, nogoods=790
61.56/55.39	    
63.27/57.05	    num=50, depth=7..673, filters=1763485, wck=53.351, mem=283M713
63.27/57.05	    decisions=62523, wrong=25508, backtracks=18978, failedAssignments=12790, nogoods=822
63.27/57.05	    
67.51/61.26	    num=51, depth=1..833, filters=1946505, wck=57.561, mem=283M713
67.51/61.26	    decisions=68968, wrong=28339, backtracks=20963, failedAssignments=14081, nogoods=845
67.51/61.26	    
85.32/79.07	    num=52, depth=2..766, filters=2626374, wck=75.378, mem=283M713
85.32/79.07	    decisions=78050, wrong=32604, backtracks=24251, failedAssignments=15501, nogoods=856
85.32/79.07	    
89.61/83.35	    num=53, depth=2..582, filters=2781195, wck=79.653, mem=283M713
89.61/83.35	    decisions=84980, wrong=35796, backtracks=26703, failedAssignments=17063, nogoods=878
89.61/83.35	    
99.04/92.71	    num=54, depth=3..370, filters=3178600, wck=89.017, mem=283M713
99.04/92.71	    decisions=99055, wrong=42687, backtracks=33182, failedAssignments=18781, nogoods=892
99.04/92.71	    
103.04/96.74	    num=55, depth=3..771, filters=3310061, wck=93.041, mem=283M713
103.04/96.74	    decisions=105849, wrong=45711, backtracks=35636, failedAssignments=20671, nogoods=911
103.04/96.74	    
128.06/121.74	    num=56, depth=5..865, filters=4394485, wck=118.044, mem=283M713
128.06/121.74	    decisions=132612, wrong=58665, backtracks=48135, failedAssignments=22750, nogoods=918
128.06/121.74	    
135.47/129.12	    num=57, depth=374..513, filters=4648024, wck=125.421, mem=283M713
135.47/129.12	    decisions=147021, wrong=65681, backtracks=54080, failedAssignments=25037, nogoods=922
135.47/129.12	    
144.58/138.22	    num=58, depth=351..459, filters=5056259, wck=134.524, mem=283M713
144.58/138.22	    decisions=161856, wrong=72878, backtracks=60360, failedAssignments=27553, nogoods=934
144.58/138.22	    
152.20/145.84	    num=59, depth=162..516, filters=5275758, wck=142.146, mem=283M713
152.20/145.84	    decisions=175163, wrong=79306, backtracks=65879, failedAssignments=30321, nogoods=951
152.20/145.84	    
175.92/169.50	    num=60, depth=182..741, filters=6063894, wck=165.802, mem=283M713
175.92/169.50	    decisions=200857, wrong=91806, backtracks=76477, failedAssignments=33365, nogoods=963
175.92/169.50	    
212.03/205.61	    num=61, depth=6..835, filters=7130244, wck=201.916, mem=283M713
212.03/205.61	    decisions=219252, wrong=100701, backtracks=83551, failedAssignments=36714, nogoods=980
212.03/205.61	    
219.43/213.10	    num=62, depth=21..513, filters=7321742, wck=209.408, mem=283M713
219.43/213.10	    decisions=233270, wrong=107469, backtracks=89463, failedAssignments=40398, nogoods=997
219.43/213.10	    
235.93/229.58	    num=63, depth=8..534, filters=7920749, wck=225.881, mem=283M713
235.93/229.58	    decisions=255951, wrong=118564, backtracks=98920, failedAssignments=44450, nogoods=1014
235.93/229.58	    
251.94/245.59	    num=64, depth=9..787, filters=8471050, wck=241.889, mem=283M713
251.94/245.59	    decisions=276156, wrong=128298, backtracks=106123, failedAssignments=48907, nogoods=1029
251.94/245.59	    
264.15/257.75	    num=65, depth=4..477, filters=8864628, wck=254.049, mem=283M713
264.15/257.75	    decisions=295701, wrong=137860, backtracks=113565, failedAssignments=53810, nogoods=1042
264.15/257.75	    
282.25/275.82	    num=66, depth=6..636, filters=9579535, wck=272.123, mem=288M355
282.25/275.82	    decisions=317590, wrong=148516, backtracks=121135, failedAssignments=59204, nogoods=1053
282.25/275.82	    
290.95/284.53	    num=67, depth=6..397, filters=9770846, wck=280.838, mem=288M355
290.95/284.53	    decisions=339060, wrong=159100, backtracks=128362, failedAssignments=65137, nogoods=1070
290.95/284.53	    
330.16/323.80	    num=68, depth=6..486, filters=11278832, wck=320.099, mem=288M355
330.16/323.80	    decisions=390553, wrong=184660, backtracks=149767, failedAssignments=71663, nogoods=1094
330.16/323.80	    
360.97/354.50	    num=69, depth=61..716, filters=12342386, wck=350.806, mem=288M355
360.97/354.50	    decisions=428504, wrong=203299, backtracks=167277, failedAssignments=78842, nogoods=1122
360.97/354.50	    
414.18/407.75	    num=70, depth=322..833, filters=14062081, wck=404.05, mem=288M355
414.18/407.75	    decisions=481404, wrong=229359, backtracks=190375, failedAssignments=86739, nogoods=1135
414.18/407.75	    
433.89/427.43	    num=71, depth=98..718, filters=14802802, wck=423.736, mem=288M355
433.89/427.43	    decisions=514774, wrong=245817, backtracks=203186, failedAssignments=95426, nogoods=1167
433.89/427.43	    
472.00/465.51	    num=72, depth=161..885, filters=16299065, wck=461.816, mem=288M355
472.00/465.51	    decisions=557517, wrong=266860, backtracks=218709, failedAssignments=104981, nogoods=1183
472.00/465.51	    
549.83/543.37	    num=73, depth=491..580, filters=19325909, wck=539.676, mem=292M997
549.83/543.37	    decisions=648762, wrong=312227, backtracks=261006, failedAssignments=115492, nogoods=1194
549.83/543.37	    
602.76/596.24	    num=74, depth=14..779, filters=21008971, wck=592.546, mem=292M997
602.76/596.24	    decisions=726689, wrong=350835, backtracks=296031, failedAssignments=127054, nogoods=1221
602.76/596.24	    
675.08/668.53	    num=75, depth=42..659, filters=23289859, wck=664.834, mem=292M997
675.08/668.53	    decisions=787890, wrong=381378, backtracks=316090, failedAssignments=139772, nogoods=1235
675.08/668.53	    
701.59/695.01	    num=76, depth=7..642, filters=24023027, wck=691.314, mem=292M997
701.59/695.01	    decisions=840371, wrong=407331, backtracks=336868, failedAssignments=153762, nogoods=1273
701.59/695.01	    
731.40/724.87	    num=77, depth=42..595, filters=25013893, wck=721.17, mem=297M641
731.40/724.87	    decisions=900449, wrong=437095, backtracks=361124, failedAssignments=169151, nogoods=1298
731.40/724.87	    
815.02/808.44	    num=78, depth=104..811, filters=27956435, wck=804.742, mem=297M641
815.02/808.44	    decisions=1020305, wrong=496644, backtracks=411130, failedAssignments=186079, nogoods=1325
815.02/808.44	    
976.38/969.76	    num=79, depth=136..738, filters=34244032, wck=966.061, mem=297M641
976.38/969.76	    decisions=1122033, wrong=547251, backtracks=449751, failedAssignments=204700, nogoods=1344
976.38/969.76	    
1088.92/1082.23	    num=80, depth=359..875, filters=38445545, wck=1078.531, mem=297M641
1088.92/1082.23	    decisions=1214790, wrong=593300, backtracks=483057, failedAssignments=225184, nogoods=1361
1088.92/1082.23	    
1160.74/1154.08	    num=81, depth=206..815, filters=40806894, wck=1150.386, mem=302M283
1160.74/1154.08	    decisions=1315625, wrong=643329, backtracks=523190, failedAssignments=247716, nogoods=1373
1160.74/1154.08	    
1221.15/1214.42	    num=82, depth=12..375, filters=42637584, wck=1210.719, mem=302M283
1221.15/1214.42	    decisions=1427499, wrong=699095, backtracks=564375, failedAssignments=272501, nogoods=1393
1221.15/1214.42	    
1269.78/1263.04	    num=83, depth=62..685, filters=44176327, wck=1259.34, mem=306M925
1269.78/1263.04	    decisions=1515817, wrong=742935, backtracks=604668, failedAssignments=299765, nogoods=1413
1269.78/1263.04	    
1318.59/1311.84	    num=84, depth=253..863, filters=45292608, wck=1308.146, mem=306M925
1318.59/1311.84	    decisions=1641994, wrong=805623, backtracks=658961, failedAssignments=329755, nogoods=1477
1318.59/1311.84	    
1415.13/1408.31	    num=85, depth=104..777, filters=49087533, wck=1404.614, mem=306M925
1415.13/1408.31	    decisions=1776510, wrong=872592, backtracks=707357, failedAssignments=362744, nogoods=1508
1415.13/1408.31	    
1525.89/1519.02	    num=86, depth=144..805, filters=53428148, wck=1515.319, mem=311M567
1525.89/1519.02	    decisions=1965636, wrong=966861, backtracks=790319, failedAssignments=399032, nogoods=1559
1525.89/1519.02	    
1634.23/1627.37	    num=87, depth=13..462, filters=57570535, wck=1623.678, mem=316M209
1634.23/1627.37	    decisions=2140473, wrong=1054067, backtracks=845880, failedAssignments=438949, nogoods=1580
1634.23/1627.37	    
1718.97/1712.03	    num=88, depth=15..540, filters=59722058, wck=1708.335, mem=316M209
1718.97/1712.03	    decisions=2337014, wrong=1152118, backtracks=926979, failedAssignments=482858, nogoods=1612
1718.97/1712.03	    
1782.87/1775.94	    num=89, depth=37..536, filters=61766325, wck=1772.242, mem=320M851
1782.87/1775.94	    decisions=2523762, wrong=1245256, backtracks=999934, failedAssignments=531158, nogoods=1668
1782.87/1775.94	    
1852.90/1845.99	    num=90, depth=49..773, filters=64892731, wck=1842.297, mem=325M493
1852.90/1845.99	    decisions=2744659, wrong=1355343, backtracks=1075633, failedAssignments=584288, nogoods=1702
1852.90/1845.99	    
2054.19/2047.16	    num=91, depth=74..861, filters=72922065, wck=2043.464, mem=325M493
2054.19/2047.16	    decisions=2998372, wrong=1481808, backtracks=1174938, failedAssignments=642731, nogoods=1728
2054.19/2047.16	    
2142.71/2135.62	    num=92, depth=135..279, filters=75405576, wck=2131.922, mem=330M135
2142.71/2135.62	    decisions=3191552, wrong=1578295, backtracks=1242944, failedAssignments=707018, nogoods=1745
2142.71/2135.62	    
2400.03/2392.80	
2400.03/2392.80	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 (11316 MiB free)
  memory of node 1: 16384 MiB (14343 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391354-1568389348/watcher-4391354-1568389348 -o /tmp/evaluation-result-4391354-1568389348/solver-4391354-1568389348 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568389280-3790 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391354-1568389348.xml -cm 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=4150, runsolver pid=4147

[startup+0.100137 s]*
/proc/loadavg: 1.65 1.75 1.86 4/228 4165
/proc/meminfo: memFree=26260460/32770624 swapFree=66957012/67108860
[pid=4150] ppid=4147 vsize=10659884 memory=29184 CPUtime=0.14 cores=1,3,5,7
/proc/4150/stat : 4150 (java) S 4147 4150 3758 0 -1 1077944320 5817 0 0 0 12 2 0 0 20 0 15 0 414848631 10915721216 7296 33554432000 4194304 4196468 140724549424224 140724549406768 140099418496759 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
/proc/4150/statm: 2664971 7296 2910 1 0 2627468 0
[pid=4150/tid=4152] ppid=4147 vsize=10659884 memory=-8679950993772606656 CPUtime=0.09 cores=1,3,5,7
/proc/4150/task/4152/stat : 4152 (java) R 4147 4150 3758 0 -1 4202560 3281 0 0 0 8 1 0 0 20 0 15 0 414848631 10915721216 7362 33554432000 4194304 4196468 140724549424224 140099422724936 140099402605045 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4153] ppid=4147 vsize=10659884 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/4150/task/4153/stat : 4153 (java) S 4147 4150 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414848632 10915721216 7362 33554432000 4194304 4196468 140724549424224 140099355187600 140099418506965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4154] ppid=4147 vsize=10659884 memory=140298909161088 CPUtime=0 cores=1,3,5,7
/proc/4150/task/4154/stat : 4154 (java) S 4147 4150 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414848632 10915721216 7362 33554432000 4194304 4196468 140724549424224 140099354134800 140099418506965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4155] ppid=4147 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4150/task/4155/stat : 4155 (java) S 4147 4150 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414848632 10915721216 7362 33554432000 4194304 4196468 140724549424224 140099353082512 140099418506965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4156] ppid=4147 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4150/task/4156/stat : 4156 (java) S 4147 4150 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414848632 10915721216 7362 33554432000 4194304 4196468 140724549424224 140099352029712 140099418506965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4157] ppid=4147 vsize=10659884 memory=140298909161088 CPUtime=0 cores=1,3,5,7
/proc/4150/task/4157/stat : 4157 (java) S 4147 4150 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414848633 10915721216 7362 33554432000 4194304 4196468 140724549424224 140098910427760 140099418507906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4158] ppid=4147 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4150/task/4158/stat : 4158 (java) S 4147 4150 3758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414848633 10915721216 7362 33554432000 4194304 4196468 140724549424224 140098909373728 140099418506965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4159] ppid=4147 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4150/task/4159/stat : 4159 (java) S 4147 4150 3758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414848634 10915721216 7362 33554432000 4194304 4196468 140724549424224 140098908321392 140099418506965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4160] ppid=4147 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4150/task/4160/stat : 4160 (java) S 4147 4150 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414848636 10915721216 7362 33554432000 4194304 4196468 140724549424224 140098907269712 140099418515355 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4161] ppid=4147 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4150/task/4161/stat : 4161 (java) S 4147 4150 3758 0 -1 1077944384 488 0 0 0 0 0 0 0 20 0 15 0 414848636 10915721216 7362 33554432000 4194304 4196468 140724549424224 140098906216560 140099418507906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4162] ppid=4147 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4150/task/4162/stat : 4162 (java) S 4147 4150 3758 0 -1 1077944384 170 0 0 0 0 0 0 0 20 0 15 0 414848636 10915721216 7362 33554432000 4194304 4196468 140724549424224 140098905163760 140099418507906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4163] ppid=4147 vsize=10659884 memory=140298909161088 CPUtime=0.02 cores=1,3,5,7
/proc/4150/task/4163/stat : 4163 (java) R 4147 4150 3758 0 -1 4202560 584 0 0 0 2 0 0 0 20 0 15 0 414848636 10915721216 7362 33554432000 4194304 4196468 140724549424224 140098904105832 140099411593595 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4164] ppid=4147 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4150/task/4164/stat : 4164 (java) S 4147 4150 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414848636 10915721216 7362 33554432000 4194304 4196468 140724549424224 140098903058912 140099418506965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4165] ppid=4147 vsize=10659884 memory=140298909161088 CPUtime=0 cores=1,3,5,7
/proc/4150/task/4165/stat : 4165 (java) S 4147 4150 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414848637 10915721216 7362 33554432000 4194304 4196468 140724549424224 140098902006704 140099418507906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29184 KiB

[startup+0.210775 s]*
/proc/loadavg: 1.65 1.75 1.86 3/228 4165
/proc/meminfo: memFree=26253452/32770624 swapFree=66957012/67108860
[pid=4150] ppid=4147 vsize=10659884 memory=35016 CPUtime=0.32 cores=1,3,5,7
/proc/4150/stat : 4150 (java) S 4147 4150 3758 0 -1 1077944320 6838 0 0 0 30 2 0 0 20 0 15 0 414848631 10915721216 8754 33554432000 4194304 4196468 140724549424224 140724549406768 140099418496759 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
/proc/4150/statm: 2664971 8754 2989 1 0 2627468 0
[pid=4150/tid=4152] ppid=4147 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/4150/task/4152/stat : 4152 (java) R 4147 4150 3758 0 -1 4202560 3896 0 0 0 19 1 0 0 20 0 15 0 414848631 10915721216 8754 33554432000 4194304 4196468 140724549424224 140099422723120 140099418518685 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4153] ppid=4147 vsize=10659884 memory=339 CPUtime=0 cores=1,3,5,7
/proc/4150/task/4153/stat : 4153 (java) S 4147 4150 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414848632 10915721216 8754 33554432000 4194304 4196468 140724549424224 140099355187600 140099418506965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4154] ppid=4147 vsize=10659884 memory=140298910425700 CPUtime=0 cores=1,3,5,7
/proc/4150/task/4154/stat : 4154 (java) S 4147 4150 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414848632 10915721216 8754 33554432000 4194304 4196468 140724549424224 140099354134800 140099418506965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4155] ppid=4147 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4150/task/4155/stat : 4155 (java) S 4147 4150 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414848632 10915721216 8754 33554432000 4194304 4196468 140724549424224 140099353082512 140099418506965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4156] ppid=4147 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4150/task/4156/stat : 4156 (java) S 4147 4150 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414848632 10915721216 8754 33554432000 4194304 4196468 140724549424224 140099352029712 140099418506965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4157] ppid=4147 vsize=10659884 memory=140298909161088 CPUtime=0 cores=1,3,5,7
/proc/4150/task/4157/stat : 4157 (java) S 4147 4150 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414848633 10915721216 8754 33554432000 4194304 4196468 140724549424224 140098910427760 140099418507906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4158] ppid=4147 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4150/task/4158/stat : 4158 (java) S 4147 4150 3758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414848633 10915721216 8754 33554432000 4194304 4196468 140724549424224 140098909373728 140099418506965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4159] ppid=4147 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4150/task/4159/stat : 4159 (java) S 4147 4150 3758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414848634 10915721216 8754 33554432000 4194304 4196468 140724549424224 140098908321392 140099418506965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4160] ppid=4147 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4150/task/4160/stat : 4160 (java) S 4147 4150 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414848636 10915721216 8754 33554432000 4194304 4196468 140724549424224 140098907269712 140099418515355 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4161] ppid=4147 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/4150/task/4161/stat : 4161 (java) S 4147 4150 3758 0 -1 1077944384 669 0 0 0 3 0 0 0 20 0 15 0 414848636 10915721216 8754 33554432000 4194304 4196468 140724549424224 140098906216560 140099418507906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4162] ppid=4147 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/4150/task/4162/stat : 4162 (java) S 4147 4150 3758 0 -1 1077944384 298 0 0 0 2 0 0 0 20 0 15 0 414848636 10915721216 8754 33554432000 4194304 4196468 140724549424224 140098905163760 140099418507906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4163] ppid=4147 vsize=10659884 memory=140298909161088 CPUtime=0.05 cores=1,3,5,7
/proc/4150/task/4163/stat : 4163 (java) S 4147 4150 3758 0 -1 1077944384 616 0 0 0 5 0 0 0 20 0 15 0 414848636 10915721216 8754 33554432000 4194304 4196468 140724549424224 140098904111472 140099418507906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4164] ppid=4147 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4150/task/4164/stat : 4164 (java) S 4147 4150 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414848636 10915721216 8754 33554432000 4194304 4196468 140724549424224 140098903058912 140099418506965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4165] ppid=4147 vsize=10659884 memory=140298909161088 CPUtime=0 cores=1,3,5,7
/proc/4150/task/4165/stat : 4165 (java) S 4147 4150 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414848637 10915721216 8754 33554432000 4194304 4196468 140724549424224 140098902006704 140099418507906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35016 KiB

[startup+0.310242 s]*
/proc/loadavg: 1.65 1.75 1.86 3/228 4165
/proc/meminfo: memFree=26245236/32770624 swapFree=66957012/67108860
[pid=4150] ppid=4147 vsize=10659884 memory=40216 CPUtime=0.48 cores=1,3,5,7
/proc/4150/stat : 4150 (java) S 4147 4150 3758 0 -1 1077944320 9547 0 0 0 44 4 0 0 20 0 15 0 414848631 10915721216 10054 33554432000 4194304 4196468 140724549424224 140724549406768 140099418496759 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
/proc/4150/statm: 2664971 10054 3001 1 0 2627468 0
[pid=4150/tid=4152] ppid=4147 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/4150/task/4152/stat : 4152 (java) R 4147 4150 3758 0 -1 4202560 6503 0 0 0 27 3 0 0 20 0 15 0 414848631 10915721216 10054 33554432000 4194304 4196468 140724549424224 140099422728560 140099031536900 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4153] ppid=4147 vsize=10659884 memory=290763870908448791 CPUtime=0 cores=1,3,5,7
/proc/4150/task/4153/stat : 4153 (java) S 4147 4150 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414848632 10915721216 10054 33554432000 4194304 4196468 140724549424224 140099355187600 140099418506965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4154] ppid=4147 vsize=10659884 memory=13709583233619608 CPUtime=0 cores=1,3,5,7
/proc/4150/task/4154/stat : 4154 (java) S 4147 4150 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414848632 10915721216 10054 33554432000 4194304 4196468 140724549424224 140099354134800 140099418506965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4155] ppid=4147 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4150/task/4155/stat : 4155 (java) S 4147 4150 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414848632 10915721216 10054 33554432000 4194304 4196468 140724549424224 140099353082512 140099418506965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4156] ppid=4147 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4150/task/4156/stat : 4156 (java) S 4147 4150 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414848632 10915721216 10054 33554432000 4194304 4196468 140724549424224 140099352029712 140099418506965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4157] ppid=4147 vsize=10659884 memory=140298909161088 CPUtime=0 cores=1,3,5,7
/proc/4150/task/4157/stat : 4157 (java) S 4147 4150 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414848633 10915721216 10054 33554432000 4194304 4196468 140724549424224 140098910427760 140099418507906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4158] ppid=4147 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4150/task/4158/stat : 4158 (java) S 4147 4150 3758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414848633 10915721216 10054 33554432000 4194304 4196468 140724549424224 140098909373728 140099418506965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4159] ppid=4147 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4150/task/4159/stat : 4159 (java) S 4147 4150 3758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414848634 10915721216 10054 33554432000 4194304 4196468 140724549424224 140098908321392 140099418506965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4160] ppid=4147 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4150/task/4160/stat : 4160 (java) S 4147 4150 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414848636 10915721216 10054 33554432000 4194304 4196468 140724549424224 140098907269712 140099418515355 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4161] ppid=4147 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/4150/task/4161/stat : 4161 (java) S 4147 4150 3758 0 -1 1077944384 682 0 0 0 3 0 0 0 20 0 15 0 414848636 10915721216 10054 33554432000 4194304 4196468 140724549424224 140098906216560 140099418507906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4162] ppid=4147 vsize=10659884 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/4150/task/4162/stat : 4162 (java) S 4147 4150 3758 0 -1 1077944384 349 0 0 0 4 0 0 0 20 0 15 0 414848636 10915721216 10054 33554432000 4194304 4196468 140724549424224 140098905163760 140099418507906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4163] ppid=4147 vsize=10659884 memory=140298909161088 CPUtime=0.08 cores=1,3,5,7
/proc/4150/task/4163/stat : 4163 (java) R 4147 4150 3758 0 -1 4202560 658 0 0 0 8 0 0 0 20 0 15 0 414848636 10915721216 10054 33554432000 4194304 4196468 140724549424224 140098904111600 140099403662407 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4164] ppid=4147 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4150/task/4164/stat : 4164 (java) S 4147 4150 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414848636 10915721216 10054 33554432000 4194304 4196468 140724549424224 140098903058912 140099418506965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4165] ppid=4147 vsize=10659884 memory=140298909161088 CPUtime=0 cores=1,3,5,7
/proc/4150/task/4165/stat : 4165 (java) S 4147 4150 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414848637 10915721216 10054 33554432000 4194304 4196468 140724549424224 140098902006704 140099418507906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40216 KiB

[startup+0.701095 s]
/proc/loadavg: 1.65 1.75 1.86 3/228 4165
/proc/meminfo: memFree=26236208/32770624 swapFree=66957012/67108860
[pid=4150] ppid=4147 vsize=10661932 memory=63916 CPUtime=1.11 cores=1,3,5,7
/proc/4150/stat : 4150 (java) S 4147 4150 3758 0 -1 1077944320 13121 0 0 0 106 5 0 0 20 0 15 0 414848631 10917818368 15979 33554432000 4194304 4196468 140724549424224 140724549406768 140099418496759 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
/proc/4150/statm: 2665483 15979 3062 1 0 2627980 0
[pid=4150/tid=4152] ppid=4147 vsize=10661932 memory=1368 CPUtime=0.68 cores=1,3,5,7
/proc/4150/task/4152/stat : 4152 (java) R 4147 4150 3758 0 -1 4202560 8926 0 0 0 64 4 0 0 20 0 15 0 414848631 10917818368 15979 33554432000 4194304 4196468 140724549424224 140099422728624 140099402577246 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4153] ppid=4147 vsize=10661932 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/4150/task/4153/stat : 4153 (java) S 4147 4150 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414848632 10917818368 15979 33554432000 4194304 4196468 140724549424224 140099355187600 140099418506965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4154] ppid=4147 vsize=10661932 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/4150/task/4154/stat : 4154 (java) S 4147 4150 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414848632 10917818368 15979 33554432000 4194304 4196468 140724549424224 140099354134800 140099418506965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4155] ppid=4147 vsize=10661932 memory=6100 CPUtime=0 cores=1,3,5,7
/proc/4150/task/4155/stat : 4155 (java) S 4147 4150 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414848632 10917818368 15979 33554432000 4194304 4196468 140724549424224 140099353082512 140099418506965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4156] ppid=4147 vsize=10661932 memory=11624 CPUtime=0 cores=1,3,5,7
/proc/4150/task/4156/stat : 4156 (java) S 4147 4150 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414848632 10917818368 15979 33554432000 4194304 4196468 140724549424224 140099352029712 140099418506965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4157] ppid=4147 vsize=10661932 memory=732 CPUtime=0 cores=1,3,5,7
/proc/4150/task/4157/stat : 4157 (java) S 4147 4150 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414848633 10917818368 15979 33554432000 4194304 4196468 140724549424224 140098910427760 140099418507906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4158] ppid=4147 vsize=10661932 memory=776 CPUtime=0 cores=1,3,5,7
/proc/4150/task/4158/stat : 4158 (java) S 4147 4150 3758 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414848633 10917818368 15979 33554432000 4194304 4196468 140724549424224 140098909373728 140099418506965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4159] ppid=4147 vsize=10661932 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/4150/task/4159/stat : 4159 (java) S 4147 4150 3758 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414848634 10917818368 15979 33554432000 4194304 4196468 140724549424224 140098908321392 140099418506965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4160] ppid=4147 vsize=10661932 memory=4008 CPUtime=0 cores=1,3,5,7
/proc/4150/task/4160/stat : 4160 (java) S 4147 4150 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414848636 10917818368 15979 33554432000 4194304 4196468 140724549424224 140098907269712 140099418515355 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4161] ppid=4147 vsize=10661932 memory=4639098309541126765 CPUtime=0.1 cores=1,3,5,7
/proc/4150/task/4161/stat : 4161 (java) S 4147 4150 3758 0 -1 1077944384 984 0 0 0 10 0 0 0 20 0 15 0 414848636 10917818368 15979 33554432000 4194304 4196468 140724549424224 140098906216560 140099418507906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4162] ppid=4147 vsize=10661932 memory=7380108234216663121 CPUtime=0.12 cores=1,3,5,7
/proc/4150/task/4162/stat : 4162 (java) R 4147 4150 3758 0 -1 4202560 690 0 0 0 12 0 0 0 20 0 15 0 414848636 10917818368 15979 33554432000 4194304 4196468 140724549424224 140098905150304 140099403604673 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4163] ppid=4147 vsize=10661932 memory=5788908277929698645 CPUtime=0.18 cores=1,3,5,7
/proc/4150/task/4163/stat : 4163 (java) S 4147 4150 3758 0 -1 1077944384 1163 0 0 0 18 0 0 0 20 0 15 0 414848636 10917818368 15979 33554432000 4194304 4196468 140724549424224 140098904111472 140099418507906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4164] ppid=4147 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4150/task/4164/stat : 4164 (java) S 4147 4150 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414848636 10917818368 15979 33554432000 4194304 4196468 140724549424224 140098903058912 140099418506965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4165] ppid=4147 vsize=10661932 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/4150/task/4165/stat : 4165 (java) S 4147 4150 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414848637 10917818368 15979 33554432000 4194304 4196468 140724549424224 140098902006704 140099418507906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63916 KiB

[startup+1.50077 s]
/proc/loadavg: 1.65 1.75 1.86 3/228 4165
/proc/meminfo: memFree=26220512/32770624 swapFree=66957012/67108860
[pid=4150] ppid=4147 vsize=10663980 memory=75796 CPUtime=2.01 cores=1,3,5,7
/proc/4150/stat : 4150 (java) S 4147 4150 3758 0 -1 1077944320 18666 0 0 0 195 6 0 0 20 0 15 0 414848631 10919915520 18949 33554432000 4194304 4196468 140724549424224 140724549406768 140099418496759 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
/proc/4150/statm: 2665995 18949 3097 1 0 2628492 0
[pid=4150/tid=4152] ppid=4147 vsize=10663980 memory=0 CPUtime=1.48 cores=1,3,5,7
/proc/4150/task/4152/stat : 4152 (java) R 4147 4150 3758 0 -1 4202560 13111 0 0 0 144 4 0 0 20 0 15 0 414848631 10919915520 18949 33554432000 4194304 4196468 140724549424224 140099422729120 140099418518685 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4153] ppid=4147 vsize=10663980 memory=7235428992464153433 CPUtime=0 cores=1,3,5,7
/proc/4150/task/4153/stat : 4153 (java) S 4147 4150 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414848632 10919915520 18949 33554432000 4194304 4196468 140724549424224 140099355187600 140099418506965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4154] ppid=4147 vsize=10663980 memory=7305792226182194773 CPUtime=0 cores=1,3,5,7
/proc/4150/task/4154/stat : 4154 (java) S 4147 4150 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414848632 10919915520 18949 33554432000 4194304 4196468 140724549424224 140099354134800 140099418506965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4155] ppid=4147 vsize=10663980 memory=7451882158583147350 CPUtime=0 cores=1,3,5,7
/proc/4150/task/4155/stat : 4155 (java) S 4147 4150 3758 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414848632 10919915520 18949 33554432000 4194304 4196468 140724549424224 140099353082512 140099418506965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4156] ppid=4147 vsize=10663980 memory=7883951728078186582 CPUtime=0 cores=1,3,5,7
/proc/4150/task/4156/stat : 4156 (java) S 4147 4150 3758 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414848632 10919915520 18949 33554432000 4194304 4196468 140724549424224 140099352029712 140099418506965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4157] ppid=4147 vsize=10663980 memory=7236554896314034789 CPUtime=0 cores=1,3,5,7
/proc/4150/task/4157/stat : 4157 (java) S 4147 4150 3758 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 15 0 414848633 10919915520 18949 33554432000 4194304 4196468 140724549424224 140098910427760 140099418507906 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0

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

/proc/4150/task/4156/stat : 4156 (java) S 4147 4150 3758 0 -1 1077944384 571 0 0 0 17 6 0 0 20 0 16 0 414848632 11006283776 122016 33554432000 4194304 4196468 140724549424224 140099352029712 140099418506965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4157] ppid=4147 vsize=10748324 memory=488064 CPUtime=0.06 cores=1,3,5,7
/proc/4150/task/4157/stat : 4157 (java) S 4147 4150 3758 0 -1 1077944384 2022 0 0 0 4 2 0 0 20 0 16 0 414848633 11006283776 122016 33554432000 4194304 4196468 140724549424224 140098910427760 140099418507906 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4158] ppid=4147 vsize=10748324 memory=488064 CPUtime=0 cores=1,3,5,7
/proc/4150/task/4158/stat : 4158 (java) S 4147 4150 3758 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414848633 11006283776 122016 33554432000 4194304 4196468 140724549424224 140098909373792 140099418506965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4159] ppid=4147 vsize=10748324 memory=488064 CPUtime=0 cores=1,3,5,7
/proc/4150/task/4159/stat : 4159 (java) S 4147 4150 3758 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 16 0 414848634 11006283776 122016 33554432000 4194304 4196468 140724549424224 140098908321408 140099418506965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4160] ppid=4147 vsize=10748324 memory=488064 CPUtime=0 cores=1,3,5,7
/proc/4150/task/4160/stat : 4160 (java) S 4147 4150 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414848636 11006283776 122016 33554432000 4194304 4196468 140724549424224 140098907269712 140099418515355 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4161] ppid=4147 vsize=10748324 memory=3512 CPUtime=2.22 cores=1,3,5,7
/proc/4150/task/4161/stat : 4161 (java) S 4147 4150 3758 0 -1 1077944384 18518 0 0 0 220 2 0 0 20 0 16 0 414848636 11006283776 122016 33554432000 4194304 4196468 140724549424224 140098906216560 140099418507906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4162] ppid=4147 vsize=10748324 memory=39776 CPUtime=2.52 cores=1,3,5,7
/proc/4150/task/4162/stat : 4162 (java) S 4147 4150 3758 0 -1 1077944384 10524 0 0 0 250 2 0 0 20 0 16 0 414848636 11006283776 122016 33554432000 4194304 4196468 140724549424224 140098905163760 140099418507906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4163] ppid=4147 vsize=10748324 memory=2020 CPUtime=0.93 cores=1,3,5,7
/proc/4150/task/4163/stat : 4163 (java) S 4147 4150 3758 0 -1 1077944384 8907 0 0 0 91 2 0 0 20 0 16 0 414848636 11006283776 122016 33554432000 4194304 4196468 140724549424224 140098904111472 140099418507906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4164] ppid=4147 vsize=10748324 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/4150/task/4164/stat : 4164 (java) S 4147 4150 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414848636 11006283776 122016 33554432000 4194304 4196468 140724549424224 140098903058912 140099418506965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4165] ppid=4147 vsize=10748324 memory=932 CPUtime=0.86 cores=1,3,5,7
/proc/4150/task/4165/stat : 4165 (java) S 4147 4150 3758 0 -1 1077944384 2147 0 0 0 36 50 0 0 20 0 16 0 414848637 11006283776 122016 33554432000 4194304 4196468 140724549424224 140098902006704 140099418507906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4166] ppid=4147 vsize=10748324 memory=488064 CPUtime=2260.01 cores=1,3,5,7
/proc/4150/task/4166/stat : 4166 (java) R 4147 4150 3758 0 -1 4202560 21747 0 0 0 225996 5 0 0 20 0 16 0 414848818 11006283776 122016 33554432000 4194304 4196468 140724549424224 140098885046064 140099032967804 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
Current children cumulated CPU time: 2269.47 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 488064 KiB

[startup+2322.3 s]
/proc/loadavg: 1.83 1.90 1.94 3/230 5774
/proc/meminfo: memFree=26158804/32770624 swapFree=66957012/67108860
[pid=4150] ppid=4147 vsize=10748324 memory=488064 CPUtime=2329.5 cores=1,3,5,7
/proc/4150/stat : 4150 (java) S 4147 4150 3758 0 -1 1077944320 82313 0 0 0 232861 89 0 0 20 0 16 0 414848631 11006283776 122016 33554432000 4194304 4196468 140724549424224 140724549406768 140099418496759 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
/proc/4150/statm: 2687081 122016 3379 1 0 2647217 0
[pid=4150/tid=4152] ppid=4147 vsize=10748324 memory=488064 CPUtime=1.85 cores=1,3,5,7
/proc/4150/task/4152/stat : 4152 (java) S 4147 4150 3758 0 -1 1077944384 15354 0 0 0 180 5 0 0 20 0 16 0 414848631 11006283776 122016 33554432000 4194304 4196468 140724549424224 140099422739632 140099418506965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4153] ppid=4147 vsize=10748324 memory=488064 CPUtime=0.23 cores=1,3,5,7
/proc/4150/task/4153/stat : 4153 (java) S 4147 4150 3758 0 -1 1077944384 209 0 0 0 18 5 0 0 20 0 16 0 414848632 11006283776 122016 33554432000 4194304 4196468 140724549424224 140099355187600 140099418506965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4154] ppid=4147 vsize=10748324 memory=488064 CPUtime=0.24 cores=1,3,5,7
/proc/4150/task/4154/stat : 4154 (java) S 4147 4150 3758 0 -1 1077944384 438 0 0 0 18 6 0 0 20 0 16 0 414848632 11006283776 122016 33554432000 4194304 4196468 140724549424224 140099354134800 140099418506965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4155] ppid=4147 vsize=10748324 memory=488064 CPUtime=0.23 cores=1,3,5,7
/proc/4150/task/4155/stat : 4155 (java) S 4147 4150 3758 0 -1 1077944384 335 0 0 0 17 6 0 0 20 0 16 0 414848632 11006283776 122016 33554432000 4194304 4196468 140724549424224 140099353082512 140099418506965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4156] ppid=4147 vsize=10748324 memory=488064 CPUtime=0.23 cores=1,3,5,7
/proc/4150/task/4156/stat : 4156 (java) S 4147 4150 3758 0 -1 1077944384 571 0 0 0 17 6 0 0 20 0 16 0 414848632 11006283776 122016 33554432000 4194304 4196468 140724549424224 140099352029712 140099418506965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4157] ppid=4147 vsize=10748324 memory=488064 CPUtime=0.06 cores=1,3,5,7
/proc/4150/task/4157/stat : 4157 (java) S 4147 4150 3758 0 -1 1077944384 2022 0 0 0 4 2 0 0 20 0 16 0 414848633 11006283776 122016 33554432000 4194304 4196468 140724549424224 140098910427760 140099418507906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4158] ppid=4147 vsize=10748324 memory=488064 CPUtime=0 cores=1,3,5,7
/proc/4150/task/4158/stat : 4158 (java) S 4147 4150 3758 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414848633 11006283776 122016 33554432000 4194304 4196468 140724549424224 140098909373792 140099418506965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4159] ppid=4147 vsize=10748324 memory=488064 CPUtime=0 cores=1,3,5,7
/proc/4150/task/4159/stat : 4159 (java) S 4147 4150 3758 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 16 0 414848634 11006283776 122016 33554432000 4194304 4196468 140724549424224 140098908321408 140099418506965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4160] ppid=4147 vsize=10748324 memory=488064 CPUtime=0 cores=1,3,5,7
/proc/4150/task/4160/stat : 4160 (java) S 4147 4150 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414848636 11006283776 122016 33554432000 4194304 4196468 140724549424224 140098907269712 140099418515355 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4161] ppid=4147 vsize=10748324 memory=488064 CPUtime=2.22 cores=1,3,5,7
/proc/4150/task/4161/stat : 4161 (java) S 4147 4150 3758 0 -1 1077944384 18518 0 0 0 220 2 0 0 20 0 16 0 414848636 11006283776 122016 33554432000 4194304 4196468 140724549424224 140098906216560 140099418507906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4162] ppid=4147 vsize=10748324 memory=488064 CPUtime=2.52 cores=1,3,5,7
/proc/4150/task/4162/stat : 4162 (java) S 4147 4150 3758 0 -1 1077944384 10524 0 0 0 250 2 0 0 20 0 16 0 414848636 11006283776 122016 33554432000 4194304 4196468 140724549424224 140098905163760 140099418507906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4163] ppid=4147 vsize=10748324 memory=488064 CPUtime=0.93 cores=1,3,5,7
/proc/4150/task/4163/stat : 4163 (java) S 4147 4150 3758 0 -1 1077944384 8907 0 0 0 91 2 0 0 20 0 16 0 414848636 11006283776 122016 33554432000 4194304 4196468 140724549424224 140098904111472 140099418507906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4164] ppid=4147 vsize=10748324 memory=3512 CPUtime=0 cores=1,3,5,7
/proc/4150/task/4164/stat : 4164 (java) S 4147 4150 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414848636 11006283776 122016 33554432000 4194304 4196468 140724549424224 140098903058912 140099418506965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4165] ppid=4147 vsize=10748324 memory=39804 CPUtime=0.88 cores=1,3,5,7
/proc/4150/task/4165/stat : 4165 (java) S 4147 4150 3758 0 -1 1077944384 2151 0 0 0 37 51 0 0 20 0 16 0 414848637 11006283776 122016 33554432000 4194304 4196468 140724549424224 140098902006704 140099418507906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4166] ppid=4147 vsize=10748324 memory=488064 CPUtime=2320.01 cores=1,3,5,7
/proc/4150/task/4166/stat : 4166 (java) R 4147 4150 3758 0 -1 4202560 21890 0 0 0 231996 5 0 0 20 0 16 0 414848818 11006283776 122016 33554432000 4194304 4196468 140724549424224 140098885046064 140099040565322 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
Current children cumulated CPU time: 2329.5 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 488064 KiB

[startup+2382.3 s]
/proc/loadavg: 1.94 1.92 1.95 3/230 5778
/proc/meminfo: memFree=26159284/32770624 swapFree=66957012/67108860
[pid=4150] ppid=4147 vsize=10748324 memory=488064 CPUtime=2389.53 cores=1,3,5,7
/proc/4150/stat : 4150 (java) S 4147 4150 3758 0 -1 1077944320 82509 0 0 0 238862 91 0 0 20 0 16 0 414848631 11006283776 122016 33554432000 4194304 4196468 140724549424224 140724549406768 140099418496759 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
/proc/4150/statm: 2687081 122016 3379 1 0 2647217 0
[pid=4150/tid=4152] ppid=4147 vsize=10748324 memory=488064 CPUtime=1.85 cores=1,3,5,7
/proc/4150/task/4152/stat : 4152 (java) S 4147 4150 3758 0 -1 1077944384 15354 0 0 0 180 5 0 0 20 0 16 0 414848631 11006283776 122016 33554432000 4194304 4196468 140724549424224 140099422739632 140099418506965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4153] ppid=4147 vsize=10748324 memory=488064 CPUtime=0.23 cores=1,3,5,7
/proc/4150/task/4153/stat : 4153 (java) S 4147 4150 3758 0 -1 1077944384 209 0 0 0 18 5 0 0 20 0 16 0 414848632 11006283776 122016 33554432000 4194304 4196468 140724549424224 140099355187600 140099418506965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4154] ppid=4147 vsize=10748324 memory=488064 CPUtime=0.24 cores=1,3,5,7
/proc/4150/task/4154/stat : 4154 (java) S 4147 4150 3758 0 -1 1077944384 438 0 0 0 18 6 0 0 20 0 16 0 414848632 11006283776 122016 33554432000 4194304 4196468 140724549424224 140099354134800 140099418506965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4155] ppid=4147 vsize=10748324 memory=488064 CPUtime=0.23 cores=1,3,5,7
/proc/4150/task/4155/stat : 4155 (java) S 4147 4150 3758 0 -1 1077944384 335 0 0 0 17 6 0 0 20 0 16 0 414848632 11006283776 122016 33554432000 4194304 4196468 140724549424224 140099353082512 140099418506965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4156] ppid=4147 vsize=10748324 memory=280593904686179 CPUtime=0.23 cores=1,3,5,7
/proc/4150/task/4156/stat : 4156 (java) S 4147 4150 3758 0 -1 1077944384 571 0 0 0 17 6 0 0 20 0 16 0 414848632 11006283776 122016 33554432000 4194304 4196468 140724549424224 140099352029712 140099418506965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4157] ppid=4147 vsize=10748324 memory=488064 CPUtime=0.06 cores=1,3,5,7
/proc/4150/task/4157/stat : 4157 (java) S 4147 4150 3758 0 -1 1077944384 2028 0 0 0 4 2 0 0 20 0 16 0 414848633 11006283776 122016 33554432000 4194304 4196468 140724549424224 140098910427760 140099418507906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4158] ppid=4147 vsize=10748324 memory=488064 CPUtime=0 cores=1,3,5,7
/proc/4150/task/4158/stat : 4158 (java) S 4147 4150 3758 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414848633 11006283776 122016 33554432000 4194304 4196468 140724549424224 140098909373792 140099418506965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4159] ppid=4147 vsize=10748324 memory=488064 CPUtime=0 cores=1,3,5,7
/proc/4150/task/4159/stat : 4159 (java) S 4147 4150 3758 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 16 0 414848634 11006283776 122016 33554432000 4194304 4196468 140724549424224 140098908321408 140099418506965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4160] ppid=4147 vsize=10748324 memory=488064 CPUtime=0 cores=1,3,5,7
/proc/4150/task/4160/stat : 4160 (java) S 4147 4150 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414848636 11006283776 122016 33554432000 4194304 4196468 140724549424224 140098907269712 140099418515355 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4161] ppid=4147 vsize=10748324 memory=488064 CPUtime=2.22 cores=1,3,5,7
/proc/4150/task/4161/stat : 4161 (java) S 4147 4150 3758 0 -1 1077944384 18522 0 0 0 220 2 0 0 20 0 16 0 414848636 11006283776 122016 33554432000 4194304 4196468 140724549424224 140098906216560 140099418507906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4162] ppid=4147 vsize=10748324 memory=3512 CPUtime=2.52 cores=1,3,5,7
/proc/4150/task/4162/stat : 4162 (java) S 4147 4150 3758 0 -1 1077944384 10530 0 0 0 250 2 0 0 20 0 16 0 414848636 11006283776 122016 33554432000 4194304 4196468 140724549424224 140098905163760 140099418507906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4163] ppid=4147 vsize=10748324 memory=39804 CPUtime=0.93 cores=1,3,5,7
/proc/4150/task/4163/stat : 4163 (java) S 4147 4150 3758 0 -1 1077944384 8909 0 0 0 91 2 0 0 20 0 16 0 414848636 11006283776 122016 33554432000 4194304 4196468 140724549424224 140098904111472 140099418507906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4164] ppid=4147 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4150/task/4164/stat : 4164 (java) S 4147 4150 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414848636 11006283776 122016 33554432000 4194304 4196468 140724549424224 140098903058912 140099418506965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4165] ppid=4147 vsize=10748324 memory=0 CPUtime=0.91 cores=1,3,5,7
/proc/4150/task/4165/stat : 4165 (java) S 4147 4150 3758 0 -1 1077944384 2182 0 0 0 38 53 0 0 20 0 16 0 414848637 11006283776 122016 33554432000 4194304 4196468 140724549424224 140098902006704 140099418507906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4166] ppid=4147 vsize=10748324 memory=4008 CPUtime=2380.01 cores=1,3,5,7
/proc/4150/task/4166/stat : 4166 (java) R 4147 4150 3758 0 -1 4202560 22037 0 0 0 237996 5 0 0 20 0 16 0 414848818 11006283776 122016 33554432000 4194304 4196468 140724549424224 140098885046064 140099040657481 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
Current children cumulated CPU time: 2389.53 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 488064 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2392.8 s]
/proc/loadavg: 1.87 1.91 1.94 3/231 5780
/proc/meminfo: memFree=26159000/32770624 swapFree=66957012/67108860
[pid=4150] ppid=4147 vsize=10748324 memory=488064 CPUtime=2400.03 cores=1,3,5,7
/proc/4150/stat : 4150 (java) S 4147 4150 3758 0 -1 1077944320 82516 0 0 0 239912 91 0 0 20 0 16 0 414848631 11006283776 122016 33554432000 4194304 4196468 140724549424224 140724549406768 140099418496759 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
/proc/4150/statm: 2687081 122016 3379 1 0 2647217 0
[pid=4150/tid=4152] ppid=4147 vsize=10748324 memory=39804 CPUtime=1.85 cores=1,3,5,7
/proc/4150/task/4152/stat : 4152 (java) S 4147 4150 3758 0 -1 1077944384 15354 0 0 0 180 5 0 0 20 0 16 0 414848631 11006283776 122016 33554432000 4194304 4196468 140724549424224 140099422739632 140099418506965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4153] ppid=4147 vsize=10748324 memory=8112282956445269571 CPUtime=0.23 cores=1,3,5,7
/proc/4150/task/4153/stat : 4153 (java) S 4147 4150 3758 0 -1 1077944384 209 0 0 0 18 5 0 0 20 0 16 0 414848632 11006283776 122016 33554432000 4194304 4196468 140724549424224 140099355187600 140099418506965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4154] ppid=4147 vsize=10748324 memory=288230617509003574 CPUtime=0.24 cores=1,3,5,7
/proc/4150/task/4154/stat : 4154 (java) S 4147 4150 3758 0 -1 1077944384 438 0 0 0 18 6 0 0 20 0 16 0 414848632 11006283776 122016 33554432000 4194304 4196468 140724549424224 140099354134800 140099418506965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4155] ppid=4147 vsize=10748324 memory=15817781274740998 CPUtime=0.23 cores=1,3,5,7
/proc/4150/task/4155/stat : 4155 (java) S 4147 4150 3758 0 -1 1077944384 335 0 0 0 17 6 0 0 20 0 16 0 414848632 11006283776 122016 33554432000 4194304 4196468 140724549424224 140099353082512 140099418506965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4156] ppid=4147 vsize=10748324 memory=492 CPUtime=0.23 cores=1,3,5,7
/proc/4150/task/4156/stat : 4156 (java) S 4147 4150 3758 0 -1 1077944384 571 0 0 0 17 6 0 0 20 0 16 0 414848632 11006283776 122016 33554432000 4194304 4196468 140724549424224 140099352029712 140099418506965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4157] ppid=4147 vsize=10748324 memory=488064 CPUtime=0.07 cores=1,3,5,7
/proc/4150/task/4157/stat : 4157 (java) S 4147 4150 3758 0 -1 1077944384 2028 0 0 0 4 3 0 0 20 0 16 0 414848633 11006283776 122016 33554432000 4194304 4196468 140724549424224 140098910427760 140099418507906 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4158] ppid=4147 vsize=10748324 memory=12040 CPUtime=0 cores=1,3,5,7
/proc/4150/task/4158/stat : 4158 (java) S 4147 4150 3758 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414848633 11006283776 122016 33554432000 4194304 4196468 140724549424224 140098909373792 140099418506965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4159] ppid=4147 vsize=10748324 memory=2124 CPUtime=0 cores=1,3,5,7
/proc/4150/task/4159/stat : 4159 (java) S 4147 4150 3758 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 16 0 414848634 11006283776 122016 33554432000 4194304 4196468 140724549424224 140098908321408 140099418506965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4160] ppid=4147 vsize=10748324 memory=21328 CPUtime=0 cores=1,3,5,7
/proc/4150/task/4160/stat : 4160 (java) S 4147 4150 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414848636 11006283776 122016 33554432000 4194304 4196468 140724549424224 140098907269712 140099418515355 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4161] ppid=4147 vsize=10748324 memory=492 CPUtime=2.22 cores=1,3,5,7
/proc/4150/task/4161/stat : 4161 (java) S 4147 4150 3758 0 -1 1077944384 18522 0 0 0 220 2 0 0 20 0 16 0 414848636 11006283776 122016 33554432000 4194304 4196468 140724549424224 140098906216560 140099418507906 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4162] ppid=4147 vsize=10748324 memory=1560 CPUtime=2.52 cores=1,3,5,7
/proc/4150/task/4162/stat : 4162 (java) S 4147 4150 3758 0 -1 1077944384 10530 0 0 0 250 2 0 0 20 0 16 0 414848636 11006283776 122016 33554432000 4194304 4196468 140724549424224 140098905163760 140099418507906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4163] ppid=4147 vsize=10748324 memory=3512 CPUtime=0.93 cores=1,3,5,7
/proc/4150/task/4163/stat : 4163 (java) S 4147 4150 3758 0 -1 1077944384 8909 0 0 0 91 2 0 0 20 0 16 0 414848636 11006283776 122016 33554432000 4194304 4196468 140724549424224 140098904111472 140099418507906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4164] ppid=4147 vsize=10748324 memory=39804 CPUtime=0 cores=1,3,5,7
/proc/4150/task/4164/stat : 4164 (java) S 4147 4150 3758 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414848636 11006283776 122016 33554432000 4194304 4196468 140724549424224 140098903058912 140099418506965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4165] ppid=4147 vsize=10748324 memory=2020 CPUtime=0.91 cores=1,3,5,7
/proc/4150/task/4165/stat : 4165 (java) S 4147 4150 3758 0 -1 1077944384 2182 0 0 0 38 53 0 0 20 0 16 0 414848637 11006283776 122016 33554432000 4194304 4196468 140724549424224 140098902006704 140099418507906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
[pid=4150/tid=4166] ppid=4147 vsize=10748324 memory=988 CPUtime=2390.51 cores=1,3,5,7
/proc/4150/task/4166/stat : 4166 (java) R 4147 4150 3758 0 -1 4202560 22044 0 0 0 239046 5 0 0 20 0 16 0 414848818 11006283776 122016 33554432000 4194304 4196468 140724549424224 140098885046064 140099032968410 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39161856 140724549428235 140724549428338 140724549428338 140724549431247 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 488064 KiB

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

[startup+2392.81 s]
# the end of solver process 4150 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.14 s, system=0.920045 s

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

Child status: 143
Real time (s): 2392.81
CPU time (s): 2400.06
CPU user time (s): 2399.14
CPU system time (s): 0.920045
CPU usage (%): 100.303
Max. virtual memory (cumulated for all children) (KiB): 10748368
Max. memory (cumulated for all children) (KiB): 488064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.14
system time used= 0.920045
maximum resident set size= 493052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82994
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1616
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55589
involuntary context switches= 1269


# summary of solver processes directly reported to runsolver:
#   pid: 4150
#   total CPU time (s): 2400.06
#   total CPU user time (s): 2399.14
#   total CPU system time (s): 0.920045

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.6515 second user time and 21.6552 second system time

The end

Launcher Data 

Begin job on node147 at 2019-09-13 17:41:45
IDJOB=4391354
IDBENCH=124254
IDSOLVER=2833
FILE ID=node147/4391354-1568389348
RUNJOBID= node147-1568389280-3790
PBS_JOBID= 21701856
Free space on /tmp= 56536 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-4391354-1568389348/watcher-4391354-1568389348 -o /tmp/evaluation-result-4391354-1568389348/solver-4391354-1568389348 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568389280-3790 --watchdog 2560  java -cp AbsCon19-06.jar AbsCon HOME/instance-4391354-1568389348.xml -cm

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

MD5SUM BENCH= 9ef9cfbbe168b3e655de6bd1a7d8b0b4
RANDOM SEED=751205236

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        26276612 kB
MemAvailable:   31471584 kB
Buffers:          167420 kB
Cached:          5240716 kB
SwapCached:        48500 kB
Active:          2514204 kB
Inactive:        3291848 kB
Active(anon):     349312 kB
Inactive(anon):    89344 kB
Active(file):    2164892 kB
Inactive(file):  3202504 kB
Unevictable:      107760 kB
Mlocked:          107760 kB
SwapTotal:      67108860 kB
SwapFree:       66957012 kB
Dirty:              9056 kB
Writeback:             0 kB
AnonPages:        458424 kB
Mapped:            56968 kB
Shmem:             32768 kB
Slab:             285364 kB
SReclaimable:     256036 kB
SUnreclaim:        29328 kB
KernelStack:        3936 kB
PageTables:         6636 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1332032 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    346112 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 58864 MiB
End job on node147 at 2019-09-13 18:21:38