Trace number 4292950

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
Concrete 3.8-SuperNG 2018-06-13? (TO) 2520.06 2457.23

General information on the benchmark

NameNurseRostering/
NurseRostering-14_c18.xml
MD5SUM22d4927d0bd5c0ea6a9359fe3e752ee5
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark27589
Best CPU time to get the best result obtained on this benchmark2519.95
Satisfiable
(Un)Satisfiability was proved
Number of variables2475
Number of constraints6489
Number of domains18
Minimum domain size1
Maximum domain size43
Distribution of domain sizes[{"size":1,"count":76},{"size":2,"count":551},{"size":3,"count":3},{"size":5,"count":1344},{"size":6,"count":17},{"size":11,"count":8},{"size":22,"count":34},{"size":33,"count":378},{"size":43,"count":64}]
Minimum variable degree2
Maximum variable degree27
Distribution of variable degrees[{"degree":2,"count":939},{"degree":3,"count":192},{"degree":14,"count":4},{"degree":15,"count":23},{"degree":16,"count":35},{"degree":17,"count":6},{"degree":18,"count":18},{"degree":19,"count":41},{"degree":20,"count":52},{"degree":21,"count":51},{"degree":22,"count":124},{"degree":23,"count":377},{"degree":24,"count":320},{"degree":25,"count":177},{"degree":26,"count":94},{"degree":27,"count":22}]
Minimum constraint arity2
Maximum constraint arity128
Distribution of constraint arities[{"arity":2,"count":2524},{"arity":3,"count":2080},{"arity":4,"count":273},{"arity":5,"count":32},{"arity":6,"count":957},{"arity":7,"count":252},{"arity":33,"count":210},{"arity":43,"count":160},{"arity":128,"count":1}]
Number of extensional constraints1522
Number of intensional constraints797
Distribution of constraint types[{"type":"extension","count":1522},{"type":"intension","count":797},{"type":"regular","count":2558},{"type":"sum","count":64},{"type":"count","count":1547},{"type":"instantiation","count":1}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

0.99/0.73	c Concrete v3.8.1528841891564 running
17.52/6.53	c 01:05:38.043 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18628. 'extension(4, x[1][24]=[0‥4]) :: init: true :: relation: MDD 1415274192, 7 edges, 4 vertices, 5 tuples
17.52/6.53	c 01:05:38.047 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18629. 'extension(4, x[1][24]=[0‥4]) :: init: true :: relation: MDD 457732796, 5 edges, 3 vertices, 4 tuples
17.52/6.54	c 01:05:38.052 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18653. 'extension(x[0][9]=[0‥4], 4) :: init: true :: relation: MDD 111238003, 7 edges, 4 vertices, 5 tuples
17.52/6.54	c 01:05:38.053 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18682. 'extension(x[0][11]=[0‥4], 4) :: init: true :: relation: MDD 1102463008, 7 edges, 4 vertices, 5 tuples
17.52/6.54	c 01:05:38.054 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18683. 'extension(4, x[2][11]=[0‥4]) :: init: true :: relation: MDD 1102463008, 7 edges, 4 vertices, 5 tuples
17.52/6.54	c 01:05:38.055 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18714. 'extension(4, 4) :: init: true :: relation: MDD 40936992, 7 edges, 4 vertices, 5 tuples
17.52/6.54	c 01:05:38.056 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18715. 'extension(4, 4) :: init: true :: relation: MDD 154468798, 5 edges, 3 vertices, 4 tuples
17.52/6.54	c 01:05:38.056 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18740. 'extension(x[0][23]=[0‥4], 4) :: init: true :: relation: MDD 1963943166, 7 edges, 4 vertices, 5 tuples
17.52/6.54	c 01:05:38.057 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18741. 'extension(4, x[2][23]=[0‥4]) :: init: true :: relation: MDD 1963943166, 7 edges, 4 vertices, 5 tuples
17.52/6.54	c 01:05:38.059 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18769. 'extension(4, x[3][9]=[0‥4]) :: init: true :: relation: MDD 111238003, 7 edges, 4 vertices, 5 tuples
17.52/6.55	c 01:05:38.060 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18772. 'extension(4, 4) :: init: true :: relation: MDD 111238003, 7 edges, 4 vertices, 5 tuples
17.52/6.55	c 01:05:38.062 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18800. 'extension(x[1][13]=[0‥4], 4) :: init: true :: relation: MDD 1021082377, 7 edges, 4 vertices, 5 tuples
17.52/6.55	c 01:05:38.063 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18831. 'extension(4, x[3][20]=[0‥4]) :: init: true :: relation: MDD 40936992, 7 edges, 4 vertices, 5 tuples
17.52/6.55	c 01:05:38.064 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18834. 'extension(4, 4) :: init: true :: relation: MDD 40936992, 7 edges, 4 vertices, 5 tuples
17.52/6.55	c 01:05:38.066 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18862. 'extension(x[2][10]=[0‥4], 4) :: init: true :: relation: MDD 637524006, 7 edges, 4 vertices, 5 tuples
17.52/6.55	c 01:05:38.067 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18894. 'extension(4, x[4][13]=[0‥4]) :: init: true :: relation: MDD 1021082377, 7 edges, 4 vertices, 5 tuples
17.52/6.55	c 01:05:38.068 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18897. 'extension(4, 4) :: init: true :: relation: MDD 1021082377, 7 edges, 4 vertices, 5 tuples
17.52/6.56	c 01:05:38.070 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18929. 'extension(4, 4) :: init: true :: relation: MDD 637524006, 7 edges, 4 vertices, 5 tuples
17.52/6.56	c 01:05:38.071 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18959. 'extension(4, wk[10][0]=[0‥1]) :: init: true :: relation: MDD 1651251663, 5 edges, 3 vertices, 4 tuples
17.52/6.56	c 01:05:38.072 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18963. 'extension(4, 4) :: init: true :: relation: MDD 637524006, 7 edges, 4 vertices, 5 tuples
17.52/6.56	c 01:05:38.073 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18994. 'extension(4, wk[10][0]=[0‥1]) :: init: true :: relation: MDD 1722102020, 5 edges, 3 vertices, 4 tuples
17.52/6.56	c 01:05:38.073 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18995. 'extension(4, x[7][10]=[0‥4]) :: init: true :: relation: MDD 637524006, 7 edges, 4 vertices, 5 tuples
17.52/6.56	c 01:05:38.074 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18998. 'extension(4, 4) :: init: true :: relation: MDD 637524006, 7 edges, 4 vertices, 5 tuples
17.52/6.56	c 01:05:38.076 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19029. 'extension(4, wk[30][0]=[0‥1]) :: init: true :: relation: MDD 1700960966, 5 edges, 3 vertices, 4 tuples
17.52/6.57	c 01:05:38.076 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19030. 'extension(x[5][30]=[0‥4], 4) :: init: true :: relation: MDD 903218049, 7 edges, 4 vertices, 5 tuples
17.52/6.57	c 01:05:38.077 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19031. 'extension(4, x[7][30]=[0‥4]) :: init: true :: relation: MDD 903218049, 7 edges, 4 vertices, 5 tuples
17.52/6.57	c 01:05:38.079 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19063. 'extension(x[6][11]=[0‥4], 4) :: init: true :: relation: MDD 1102463008, 7 edges, 4 vertices, 5 tuples
17.52/6.57	c 01:05:38.080 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19064. 'extension(4, x[8][11]=[0‥4]) :: init: true :: relation: MDD 1102463008, 7 edges, 4 vertices, 5 tuples
17.52/6.57	c 01:05:38.082 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19097. 'extension(x[6][21]=[0‥4], 4) :: init: true :: relation: MDD 1614588868, 7 edges, 4 vertices, 5 tuples
17.52/6.57	c 01:05:38.082 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19098. 'extension(4, x[8][21]=[0‥4]) :: init: true :: relation: MDD 1614588868, 7 edges, 4 vertices, 5 tuples
17.52/6.57	c 01:05:38.085 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19133. 'extension(x[6][22]=[0‥4], 4) :: init: true :: relation: MDD 1500820019, 7 edges, 4 vertices, 5 tuples
17.52/6.57	c 01:05:38.086 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19169. 'extension(x[6][31]=[0‥4], 4) :: init: true :: relation: MDD 1479691423, 7 edges, 4 vertices, 5 tuples
17.52/6.57	c 01:05:38.087 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19205. 'extension(4, 4) :: init: true :: relation: MDD 1500820019, 7 edges, 4 vertices, 5 tuples
17.52/6.58	c 01:05:38.088 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19238. 'extension(x[7][30]=[0‥4], 4) :: init: true :: relation: MDD 903218049, 7 edges, 4 vertices, 5 tuples
17.52/6.58	c 01:05:38.089 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19239. 'extension(4, x[9][30]=[0‥4]) :: init: true :: relation: MDD 903218049, 7 edges, 4 vertices, 5 tuples
17.52/6.58	c 01:05:38.091 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19274. 'extension(4, 4) :: init: true :: relation: MDD 1479691423, 7 edges, 4 vertices, 5 tuples
17.52/6.58	c 01:05:38.092 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19307. 'extension(4, 4) :: init: true :: relation: MDD 1500820019, 7 edges, 4 vertices, 5 tuples
17.52/6.58	c 01:05:38.092 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19343. 'extension(4, 4) :: init: true :: relation: MDD 1479691423, 7 edges, 4 vertices, 5 tuples
17.52/6.58	c 01:05:38.094 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19373. 'extension(x[9][6]=[0‥4], 4) :: init: true :: relation: MDD 1459669467, 7 edges, 4 vertices, 5 tuples
17.52/6.58	c 01:05:38.095 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19407. 'extension(4, x[11][22]=[0‥4]) :: init: true :: relation: MDD 1500820019, 7 edges, 4 vertices, 5 tuples
17.52/6.58	c 01:05:38.095 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19410. 'extension(4, 4) :: init: true :: relation: MDD 1500820019, 7 edges, 4 vertices, 5 tuples
17.52/6.58	c 01:05:38.097 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19443. 'extension(x[9][24]=[0‥4], 4) :: init: true :: relation: MDD 1415274192, 7 edges, 4 vertices, 5 tuples
17.52/6.58	c 01:05:38.099 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19479. 'extension(4, x[11][31]=[0‥4]) :: init: true :: relation: MDD 1479691423, 7 edges, 4 vertices, 5 tuples
17.52/6.58	c 01:05:38.099 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19482. 'extension(4, 4) :: init: true :: relation: MDD 1479691423, 7 edges, 4 vertices, 5 tuples
17.52/6.59	c 01:05:38.101 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19512. 'extension(x[10][2]=[0‥4], 4) :: init: true :: relation: MDD 242224826, 7 edges, 4 vertices, 5 tuples
17.52/6.59	c 01:05:38.102 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19513. 'extension(4, x[12][2]=[0‥4]) :: init: true :: relation: MDD 242224826, 7 edges, 4 vertices, 5 tuples
17.52/6.59	c 01:05:38.104 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19546. 'extension(4, x[12][6]=[0‥4]) :: init: true :: relation: MDD 1459669467, 7 edges, 4 vertices, 5 tuples
17.52/6.59	c 01:05:38.104 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19549. 'extension(4, 4) :: init: true :: relation: MDD 1459669467, 7 edges, 4 vertices, 5 tuples
17.52/6.59	c 01:05:38.106 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19583. 'extension(4, 4) :: init: true :: relation: MDD 1415274192, 7 edges, 4 vertices, 5 tuples
17.52/6.59	c 01:05:38.107 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19616. 'extension(x[10][25]=[0‥4], 4) :: init: true :: relation: MDD 584580417, 7 edges, 4 vertices, 5 tuples
17.52/6.59	c 01:05:38.107 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19617. 'extension(4, x[12][25]=[0‥4]) :: init: true :: relation: MDD 584580417, 7 edges, 4 vertices, 5 tuples
17.84/6.61	c 01:05:38.110 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19652. 'extension(4, wk[13][1]=[0‥1]) :: init: true :: relation: MDD 70543368, 5 edges, 3 vertices, 4 tuples
17.84/6.61	c 01:05:38.111 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19653. 'extension(x[11][13]=[0‥4], 4) :: init: true :: relation: MDD 1021082377, 7 edges, 4 vertices, 5 tuples
17.84/6.61	c 01:05:38.111 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19687. 'extension(4, wk[24][1]=[0‥1]) :: init: true :: relation: MDD 1714961449, 5 edges, 3 vertices, 4 tuples
17.84/6.61	c 01:05:38.112 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19688. 'extension(4, x[13][24]=[0‥4]) :: init: true :: relation: MDD 1415274192, 7 edges, 4 vertices, 5 tuples
17.84/6.61	c 01:05:38.113 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19691. 'extension(4, 4) :: init: true :: relation: MDD 1415274192, 7 edges, 4 vertices, 5 tuples
17.84/6.61	c 01:05:38.115 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19724. 'extension(4, wk[5][1]=[0‥1]) :: init: true :: relation: MDD 1097684722, 5 edges, 3 vertices, 4 tuples
17.84/6.61	c 01:05:38.115 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19725. 'extension(x[12][5]=[0‥4], 4) :: init: true :: relation: MDD 545392109, 7 edges, 4 vertices, 5 tuples
17.84/6.61	c 01:05:38.116 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19726. 'extension(4, x[14][5]=[0‥4]) :: init: true :: relation: MDD 545392109, 7 edges, 4 vertices, 5 tuples
17.84/6.61	c 01:05:38.118 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19759. 'extension(4, wk[13][1]=[0‥1]) :: init: true :: relation: MDD 1898629094, 5 edges, 3 vertices, 4 tuples
17.84/6.61	c 01:05:38.118 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19760. 'extension(4, x[14][13]=[0‥4]) :: init: true :: relation: MDD 1021082377, 7 edges, 4 vertices, 5 tuples
17.84/6.61	c 01:05:38.119 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19763. 'extension(4, 4) :: init: true :: relation: MDD 1021082377, 7 edges, 4 vertices, 5 tuples
17.84/6.61	c 01:05:38.121 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19794. 'extension(x[13][0]=[0‥4], 4) :: init: true :: relation: MDD 698562080, 7 edges, 4 vertices, 5 tuples
17.84/6.62	c 01:05:38.122 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19828. 'extension(x[13][14]=[0‥4], 4) :: init: true :: relation: MDD 1858863803, 7 edges, 4 vertices, 5 tuples
17.84/6.62	c 01:05:38.123 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19862. 'extension(x[13][27]=[0‥4], 4) :: init: true :: relation: MDD 2000779038, 7 edges, 4 vertices, 5 tuples
17.84/6.62	c 01:05:38.123 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19863. 'extension(4, x[15][27]=[0‥4]) :: init: true :: relation: MDD 2000779038, 7 edges, 4 vertices, 5 tuples
17.84/6.62	c 01:05:38.125 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19898. 'extension(4, 4) :: init: true :: relation: MDD 698562080, 7 edges, 4 vertices, 5 tuples
17.84/6.62	c 01:05:38.126 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19932. 'extension(4, 4) :: init: true :: relation: MDD 1858863803, 7 edges, 4 vertices, 5 tuples
17.84/6.62	c 01:05:38.127 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19966. 'extension(4, 4) :: init: true :: relation: MDD 698562080, 7 edges, 4 vertices, 5 tuples
17.84/6.62	c 01:05:38.128 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19997. 'extension(x[15][2]=[0‥4], 4) :: init: true :: relation: MDD 242224826, 7 edges, 4 vertices, 5 tuples
17.84/6.62	c 01:05:38.129 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20034. 'extension(4, 4) :: init: true :: relation: MDD 1858863803, 7 edges, 4 vertices, 5 tuples
17.84/6.62	c 01:05:38.130 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20065. 'extension(4, x[18][0]=[0‥4]) :: init: true :: relation: MDD 698562080, 7 edges, 4 vertices, 5 tuples
17.84/6.62	c 01:05:38.131 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20068. 'extension(4, 4) :: init: true :: relation: MDD 698562080, 7 edges, 4 vertices, 5 tuples
17.84/6.62	c 01:05:38.132 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20099. 'extension(4, x[18][2]=[0‥4]) :: init: true :: relation: MDD 242224826, 7 edges, 4 vertices, 5 tuples
17.84/6.63	c 01:05:38.133 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20102. 'extension(4, 4) :: init: true :: relation: MDD 242224826, 7 edges, 4 vertices, 5 tuples
17.84/6.63	c 01:05:38.134 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20133. 'extension(x[16][4]=[0‥4], 4) :: init: true :: relation: MDD 1918121287, 7 edges, 4 vertices, 5 tuples
17.84/6.63	c 01:05:38.135 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20167. 'extension(4, x[18][14]=[0‥4]) :: init: true :: relation: MDD 1858863803, 7 edges, 4 vertices, 5 tuples
17.84/6.63	c 01:05:38.136 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20170. 'extension(4, 4) :: init: true :: relation: MDD 1858863803, 7 edges, 4 vertices, 5 tuples
17.84/6.63	c 01:05:38.137 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20201. 'extension(x[16][29]=[0‥4], 4) :: init: true :: relation: MDD 777940932, 7 edges, 4 vertices, 5 tuples
17.84/6.63	c 01:05:38.139 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20234. 'extension(x[17][3]=[0‥4], 4) :: init: true :: relation: MDD 1801756410, 7 edges, 4 vertices, 5 tuples
17.84/6.63	c 01:05:38.139 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20271. 'extension(4, 4) :: init: true :: relation: MDD 1918121287, 7 edges, 4 vertices, 5 tuples
17.84/6.63	c 01:05:38.140 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20305. 'extension(4, 4) :: init: true :: relation: MDD 777940932, 7 edges, 4 vertices, 5 tuples
17.84/6.63	c 01:05:38.141 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20335. 'extension(4, wk[1][2]=[0‥1]) :: init: true :: relation: MDD 537346910, 5 edges, 3 vertices, 4 tuples
17.84/6.63	c 01:05:38.141 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20336. 'extension(x[18][1]=[0‥4], 4) :: init: true :: relation: MDD 33389111, 7 edges, 4 vertices, 5 tuples
17.84/6.63	c 01:05:38.142 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20370. 'extension(4, wk[3][2]=[0‥1]) :: init: true :: relation: MDD 800218956, 5 edges, 3 vertices, 4 tuples
17.84/6.63	c 01:05:38.142 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20374. 'extension(4, 4) :: init: true :: relation: MDD 1801756410, 7 edges, 4 vertices, 5 tuples
17.84/6.63	c 01:05:38.143 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20405. 'extension(4, wk[4][2]=[0‥1]) :: init: true :: relation: MDD 256084228, 5 edges, 3 vertices, 4 tuples
17.84/6.63	c 01:05:38.143 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20409. 'extension(4, 4) :: init: true :: relation: MDD 1918121287, 7 edges, 4 vertices, 5 tuples
17.84/6.63	c 01:05:38.144 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20440. 'extension(4, wk[18][2]=[0‥1]) :: init: true :: relation: MDD 348209600, 5 edges, 3 vertices, 4 tuples
17.84/6.63	c 01:05:38.144 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20441. 'extension(x[18][18]=[0‥4], 4) :: init: true :: relation: MDD 1938634748, 7 edges, 4 vertices, 5 tuples
17.84/6.63	c 01:05:38.145 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20442. 'extension(4, x[20][18]=[0‥4]) :: init: true :: relation: MDD 1938634748, 7 edges, 4 vertices, 5 tuples
17.84/6.63	c 01:05:38.146 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20475. 'extension(4, wk[29][2]=[0‥1]) :: init: true :: relation: MDD 1796938191, 5 edges, 3 vertices, 4 tuples
17.84/6.64	c 01:05:38.147 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20479. 'extension(4, 4) :: init: true :: relation: MDD 777940932, 7 edges, 4 vertices, 5 tuples
17.84/6.64	c 01:05:38.148 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20509. 'extension(4, wk[1][2]=[0‥1]) :: init: true :: relation: MDD 247309715, 5 edges, 3 vertices, 4 tuples
17.84/6.64	c 01:05:38.148 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20510. 'extension(4, x[21][1]=[0‥4]) :: init: true :: relation: MDD 33389111, 7 edges, 4 vertices, 5 tuples
17.84/6.64	c 01:05:38.148 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20513. 'extension(4, 4) :: init: true :: relation: MDD 33389111, 7 edges, 4 vertices, 5 tuples
17.84/6.64	c 01:05:38.150 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20544. 'extension(4, wk[3][2]=[0‥1]) :: init: true :: relation: MDD 875456779, 5 edges, 3 vertices, 4 tuples
17.84/6.64	c 01:05:38.150 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20548. 'extension(4, 4) :: init: true :: relation: MDD 1801756410, 7 edges, 4 vertices, 5 tuples
17.84/6.64	c 01:05:38.150 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20579. 'extension(4, wk[4][2]=[0‥1]) :: init: true :: relation: MDD 416285645, 5 edges, 3 vertices, 4 tuples
17.84/6.64	c 01:05:38.151 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20580. 'extension(4, x[21][4]=[0‥4]) :: init: true :: relation: MDD 1918121287, 7 edges, 4 vertices, 5 tuples
17.84/6.64	c 01:05:38.151 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20583. 'extension(4, 4) :: init: true :: relation: MDD 1918121287, 7 edges, 4 vertices, 5 tuples
17.84/6.64	c 01:05:38.153 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20614. 'extension(4, wk[15][2]=[0‥1]) :: init: true :: relation: MDD 1175146719, 5 edges, 3 vertices, 4 tuples
17.84/6.64	c 01:05:38.153 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20615. 'extension(x[19][15]=[0‥4], 4) :: init: true :: relation: MDD 2045188238, 7 edges, 4 vertices, 5 tuples
17.84/6.64	c 01:05:38.153 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20616. 'extension(4, x[21][15]=[0‥4]) :: init: true :: relation: MDD 2045188238, 7 edges, 4 vertices, 5 tuples
17.84/6.64	c 01:05:38.155 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20649. 'extension(4, wk[29][2]=[0‥1]) :: init: true :: relation: MDD 1993836574, 5 edges, 3 vertices, 4 tuples
17.84/6.64	c 01:05:38.155 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20650. 'extension(4, x[21][29]=[0‥4]) :: init: true :: relation: MDD 777940932, 7 edges, 4 vertices, 5 tuples
17.84/6.64	c 01:05:38.156 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20653. 'extension(4, 4) :: init: true :: relation: MDD 777940932, 7 edges, 4 vertices, 5 tuples
17.84/6.64	c 01:05:38.158 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20683. 'extension(4, x[22][3]=[0‥4]) :: init: true :: relation: MDD 1801756410, 7 edges, 4 vertices, 5 tuples
17.84/6.64	c 01:05:38.158 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20686. 'extension(4, 4) :: init: true :: relation: MDD 1801756410, 7 edges, 4 vertices, 5 tuples
17.84/6.65	c 01:05:38.160 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20717. 'extension(x[20][30]=[0‥4], 4) :: init: true :: relation: MDD 903218049, 7 edges, 4 vertices, 5 tuples
17.84/6.65	c 01:05:38.160 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20718. 'extension(4, x[22][30]=[0‥4]) :: init: true :: relation: MDD 903218049, 7 edges, 4 vertices, 5 tuples
17.84/6.65	c 01:05:38.162 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20750. 'extension(x[22][12]=[0‥4], 4) :: init: true :: relation: MDD 970900790, 7 edges, 4 vertices, 5 tuples
17.84/6.65	c 01:05:38.163 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20784. 'extension(x[23][5]=[0‥4], 4) :: init: true :: relation: MDD 545392109, 7 edges, 4 vertices, 5 tuples
17.84/6.65	c 01:05:38.164 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20821. 'extension(4, 4) :: init: true :: relation: MDD 970900790, 7 edges, 4 vertices, 5 tuples
17.84/6.65	c 01:05:38.165 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20852. 'extension(x[23][18]=[0‥4], 4) :: init: true :: relation: MDD 1938634748, 7 edges, 4 vertices, 5 tuples
17.84/6.65	c 01:05:38.166 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20886. 'extension(x[23][27]=[0‥4], 4) :: init: true :: relation: MDD 2000779038, 7 edges, 4 vertices, 5 tuples
17.84/6.65	c 01:05:38.167 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20922. 'extension(4, 4) :: init: true :: relation: MDD 545392109, 7 edges, 4 vertices, 5 tuples
17.84/6.65	c 01:05:38.167 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20953. 'extension(x[24][11]=[0‥4], 4) :: init: true :: relation: MDD 1102463008, 7 edges, 4 vertices, 5 tuples
17.84/6.65	c 01:05:38.168 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20990. 'extension(4, 4) :: init: true :: relation: MDD 970900790, 7 edges, 4 vertices, 5 tuples
17.84/6.66	c 01:05:38.169 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21024. 'extension(4, 4) :: init: true :: relation: MDD 1938634748, 7 edges, 4 vertices, 5 tuples
17.84/6.66	c 01:05:38.170 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21055. 'extension(4, x[26][27]=[0‥4]) :: init: true :: relation: MDD 2000779038, 7 edges, 4 vertices, 5 tuples
17.84/6.66	c 01:05:38.170 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21058. 'extension(4, 4) :: init: true :: relation: MDD 2000779038, 7 edges, 4 vertices, 5 tuples
17.84/6.66	c 01:05:38.171 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21088. 'extension(x[24][30]=[0‥4], 4) :: init: true :: relation: MDD 903218049, 7 edges, 4 vertices, 5 tuples
17.84/6.66	c 01:05:38.171 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21089. 'extension(4, x[26][30]=[0‥4]) :: init: true :: relation: MDD 903218049, 7 edges, 4 vertices, 5 tuples
17.84/6.66	c 01:05:38.174 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21121. 'extension(4, wk[5][3]=[0‥1]) :: init: true :: relation: MDD 1692036285, 5 edges, 3 vertices, 4 tuples
17.84/6.66	c 01:05:38.174 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21122. 'extension(4, x[27][5]=[0‥4]) :: init: true :: relation: MDD 545392109, 7 edges, 4 vertices, 5 tuples
17.84/6.66	c 01:05:38.175 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21125. 'extension(4, 4) :: init: true :: relation: MDD 545392109, 7 edges, 4 vertices, 5 tuples
17.84/6.66	c 01:05:38.177 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21156. 'extension(4, wk[8][3]=[0‥1]) :: init: true :: relation: MDD 19400322, 5 edges, 3 vertices, 4 tuples
17.84/6.66	c 01:05:38.177 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21157. 'extension(x[25][8]=[0‥4], 4) :: init: true :: relation: MDD 1266759621, 7 edges, 4 vertices, 5 tuples
17.84/6.66	c 01:05:38.178 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21191. 'extension(4, wk[11][3]=[0‥1]) :: init: true :: relation: MDD 1709321711, 5 edges, 3 vertices, 4 tuples
17.84/6.66	c 01:05:38.178 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21192. 'extension(4, x[27][11]=[0‥4]) :: init: true :: relation: MDD 1102463008, 7 edges, 4 vertices, 5 tuples
17.84/6.67	c 01:05:38.182 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21195. 'extension(4, 4) :: init: true :: relation: MDD 1102463008, 7 edges, 4 vertices, 5 tuples
17.84/6.67	c 01:05:38.184 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21226. 'extension(4, wk[12][3]=[0‥1]) :: init: true :: relation: MDD 1418310135, 5 edges, 3 vertices, 4 tuples
17.84/6.67	c 01:05:38.185 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21227. 'extension(4, x[27][12]=[0‥4]) :: init: true :: relation: MDD 970900790, 7 edges, 4 vertices, 5 tuples
17.84/6.67	c 01:05:38.185 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21230. 'extension(4, 4) :: init: true :: relation: MDD 970900790, 7 edges, 4 vertices, 5 tuples
17.84/6.67	c 01:05:38.187 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21261. 'extension(4, wk[18][3]=[0‥1]) :: init: true :: relation: MDD 1375503918, 5 edges, 3 vertices, 4 tuples
17.84/6.67	c 01:05:38.187 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21262. 'extension(4, x[27][18]=[0‥4]) :: init: true :: relation: MDD 1938634748, 7 edges, 4 vertices, 5 tuples
17.84/6.67	c 01:05:38.188 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21265. 'extension(4, 4) :: init: true :: relation: MDD 1938634748, 7 edges, 4 vertices, 5 tuples
17.84/6.67	c 01:05:38.189 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21296. 'extension(4, wk[26][3]=[0‥1]) :: init: true :: relation: MDD 1139605173, 5 edges, 3 vertices, 4 tuples
17.84/6.68	c 01:05:38.190 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21297. 'extension(x[25][26]=[0‥4], 4) :: init: true :: relation: MDD 291359466, 7 edges, 4 vertices, 5 tuples
17.84/6.68	c 01:05:38.190 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21298. 'extension(4, x[27][26]=[0‥4]) :: init: true :: relation: MDD 291359466, 7 edges, 4 vertices, 5 tuples
17.84/6.68	c 01:05:38.192 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21333. 'extension(4, wk[8][3]=[0‥1]) :: init: true :: relation: MDD 1406763631, 5 edges, 3 vertices, 4 tuples
17.84/6.68	c 01:05:38.193 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21337. 'extension(4, 4) :: init: true :: relation: MDD 1266759621, 7 edges, 4 vertices, 5 tuples
17.84/6.68	c 01:05:38.193 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21368. 'extension(4, wk[16][3]=[0‥1]) :: init: true :: relation: MDD 370356001, 5 edges, 3 vertices, 4 tuples
17.84/6.68	c 01:05:38.194 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21369. 'extension(x[26][16]=[0‥4], 4) :: init: true :: relation: MDD 277155095, 7 edges, 4 vertices, 5 tuples
17.84/6.68	c 01:05:38.195 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21403. 'extension(4, x[29][8]=[0‥4]) :: init: true :: relation: MDD 1266759621, 7 edges, 4 vertices, 5 tuples
17.84/6.68	c 01:05:38.196 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21406. 'extension(4, 4) :: init: true :: relation: MDD 1266759621, 7 edges, 4 vertices, 5 tuples
17.84/6.68	c 01:05:38.196 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21437. 'extension(4, x[29][16]=[0‥4]) :: init: true :: relation: MDD 277155095, 7 edges, 4 vertices, 5 tuples
17.84/6.68	c 01:05:38.197 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21440. 'extension(4, 4) :: init: true :: relation: MDD 277155095, 7 edges, 4 vertices, 5 tuples
17.84/6.68	c 01:05:38.198 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21471. 'extension(x[27][19]=[0‥4], 4) :: init: true :: relation: MDD 1549005458, 7 edges, 4 vertices, 5 tuples
17.84/6.68	c 01:05:38.198 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21472. 'extension(4, x[29][19]=[0‥4]) :: init: true :: relation: MDD 1549005458, 7 edges, 4 vertices, 5 tuples
17.84/6.69	c 01:05:38.200 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21505. 'extension(x[28][17]=[0‥4], 4) :: init: true :: relation: MDD 876945112, 7 edges, 4 vertices, 5 tuples
17.84/6.69	c 01:05:38.202 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21542. 'extension(4, 4) :: init: true :: relation: MDD 876945112, 7 edges, 4 vertices, 5 tuples
17.84/6.69	c 01:05:38.202 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21573. 'extension(x[29][21]=[0‥4], 4) :: init: true :: relation: MDD 1614588868, 7 edges, 4 vertices, 5 tuples
17.84/6.69	c 01:05:38.203 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21574. 'extension(4, x[31][21]=[0‥4]) :: init: true :: relation: MDD 1614588868, 7 edges, 4 vertices, 5 tuples
17.84/6.69	c 01:05:38.205 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21609. 'extension(x[29][23]=[0‥4], 4) :: init: true :: relation: MDD 1963943166, 7 edges, 4 vertices, 5 tuples
17.84/6.69	c 01:05:38.206 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21645. 'extension(x[30][8]=[0‥4], 4) :: init: true :: relation: MDD 1266759621, 7 edges, 4 vertices, 5 tuples
17.84/6.69	c 01:05:38.206 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21646. 'extension(4, x[32][8]=[0‥4]) :: init: true :: relation: MDD 1266759621, 7 edges, 4 vertices, 5 tuples
17.84/6.69	c 01:05:38.208 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21679. 'extension(x[30][9]=[0‥4], 4) :: init: true :: relation: MDD 111238003, 7 edges, 4 vertices, 5 tuples
17.84/6.69	c 01:05:38.209 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21713. 'extension(x[30][16]=[0‥4], 4) :: init: true :: relation: MDD 277155095, 7 edges, 4 vertices, 5 tuples
17.84/6.70	c 01:05:38.210 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21750. 'extension(4, 4) :: init: true :: relation: MDD 876945112, 7 edges, 4 vertices, 5 tuples
17.84/6.70	c 01:05:38.211 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21781. 'extension(x[30][19]=[0‥4], 4) :: init: true :: relation: MDD 1549005458, 7 edges, 4 vertices, 5 tuples
18.17/6.70	c 01:05:38.211 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21818. 'extension(4, 4) :: init: true :: relation: MDD 1963943166, 7 edges, 4 vertices, 5 tuples
18.17/6.70	c 01:05:38.213 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21851. 'extension(4, x[33][9]=[0‥4]) :: init: true :: relation: MDD 111238003, 7 edges, 4 vertices, 5 tuples
18.17/6.70	c 01:05:38.213 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21854. 'extension(4, 4) :: init: true :: relation: MDD 111238003, 7 edges, 4 vertices, 5 tuples
18.17/6.70	c 01:05:38.215 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21885. 'extension(4, x[33][16]=[0‥4]) :: init: true :: relation: MDD 277155095, 7 edges, 4 vertices, 5 tuples
18.17/6.70	c 01:05:38.215 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21888. 'extension(4, 4) :: init: true :: relation: MDD 277155095, 7 edges, 4 vertices, 5 tuples
18.17/6.70	c 01:05:38.217 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21919. 'extension(4, x[33][17]=[0‥4]) :: init: true :: relation: MDD 876945112, 7 edges, 4 vertices, 5 tuples
18.17/6.70	c 01:05:38.217 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21922. 'extension(4, 4) :: init: true :: relation: MDD 876945112, 7 edges, 4 vertices, 5 tuples
18.17/6.70	c 01:05:38.219 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21956. 'extension(4, 4) :: init: true :: relation: MDD 1549005458, 7 edges, 4 vertices, 5 tuples
18.17/6.71	c 01:05:38.220 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21987. 'extension(4, x[33][23]=[0‥4]) :: init: true :: relation: MDD 1963943166, 7 edges, 4 vertices, 5 tuples
18.17/6.71	c 01:05:38.220 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21990. 'extension(4, 4) :: init: true :: relation: MDD 1963943166, 7 edges, 4 vertices, 5 tuples
18.17/6.71	c 01:05:38.222 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22023. 'extension(x[31][27]=[0‥4], 4) :: init: true :: relation: MDD 2000779038, 7 edges, 4 vertices, 5 tuples
18.17/6.71	c 01:05:38.222 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22024. 'extension(4, x[33][27]=[0‥4]) :: init: true :: relation: MDD 2000779038, 7 edges, 4 vertices, 5 tuples
18.17/6.71	c 01:05:38.225 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22056. 'extension(4, wk[15][4]=[0‥1]) :: init: true :: relation: MDD 539682927, 5 edges, 3 vertices, 4 tuples
18.17/6.71	c 01:05:38.225 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22057. 'extension(x[32][15]=[0‥4], 4) :: init: true :: relation: MDD 2045188238, 7 edges, 4 vertices, 5 tuples
18.17/6.71	c 01:05:38.226 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22091. 'extension(4, wk[19][4]=[0‥1]) :: init: true :: relation: MDD 497877502, 5 edges, 3 vertices, 4 tuples
18.17/6.71	c 01:05:38.226 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22092. 'extension(4, x[34][19]=[0‥4]) :: init: true :: relation: MDD 1549005458, 7 edges, 4 vertices, 5 tuples
18.17/6.72	c 01:05:38.227 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22095. 'extension(4, 4) :: init: true :: relation: MDD 1549005458, 7 edges, 4 vertices, 5 tuples
18.17/6.72	c 01:05:38.229 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22126. 'extension(4, wk[15][4]=[0‥1]) :: init: true :: relation: MDD 902064508, 5 edges, 3 vertices, 4 tuples
18.17/6.72	c 01:05:38.229 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22130. 'extension(4, 4) :: init: true :: relation: MDD 2045188238, 7 edges, 4 vertices, 5 tuples
18.17/6.72	c 01:05:38.230 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22161. 'extension(4, wk[21][4]=[0‥1]) :: init: true :: relation: MDD 463759298, 5 edges, 3 vertices, 4 tuples
18.17/6.72	c 01:05:38.230 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22162. 'extension(x[33][21]=[0‥4], 4) :: init: true :: relation: MDD 1614588868, 7 edges, 4 vertices, 5 tuples
18.17/6.72	c 01:05:38.231 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22198. 'extension(4, wk[28][4]=[0‥1]) :: init: true :: relation: MDD 1299866826, 5 edges, 3 vertices, 4 tuples
18.17/6.72	c 01:05:38.231 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22199. 'extension(x[33][28]=[0‥4], 4) :: init: true :: relation: MDD 1615668218, 7 edges, 4 vertices, 5 tuples
18.17/6.72	c 01:05:38.232 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22232. 'extension(x[34][7]=[0‥4], 4) :: init: true :: relation: MDD 561227586, 7 edges, 4 vertices, 5 tuples
18.17/6.72	c 01:05:38.233 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22266. 'extension(4, x[36][15]=[0‥4]) :: init: true :: relation: MDD 2045188238, 7 edges, 4 vertices, 5 tuples
18.17/6.72	c 01:05:38.234 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22269. 'extension(4, 4) :: init: true :: relation: MDD 2045188238, 7 edges, 4 vertices, 5 tuples
18.17/6.72	c 01:05:38.235 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22300. 'extension(4, x[36][21]=[0‥4]) :: init: true :: relation: MDD 1614588868, 7 edges, 4 vertices, 5 tuples
18.17/6.72	c 01:05:38.236 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22303. 'extension(4, 4) :: init: true :: relation: MDD 1614588868, 7 edges, 4 vertices, 5 tuples
18.17/6.72	c 01:05:38.238 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22339. 'extension(4, 4) :: init: true :: relation: MDD 1615668218, 7 edges, 4 vertices, 5 tuples
18.17/6.73	c 01:05:38.239 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22372. 'extension(4, 4) :: init: true :: relation: MDD 561227586, 7 edges, 4 vertices, 5 tuples
18.17/6.73	c 01:05:38.240 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22403. 'extension(x[35][25]=[0‥4], 4) :: init: true :: relation: MDD 584580417, 7 edges, 4 vertices, 5 tuples
18.17/6.74	c 01:05:38.241 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22441. 'extension(4, 4) :: init: true :: relation: MDD 1615668218, 7 edges, 4 vertices, 5 tuples
18.17/6.74	c 01:05:38.242 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22474. 'extension(4, 4) :: init: true :: relation: MDD 561227586, 7 edges, 4 vertices, 5 tuples
18.17/6.74	c 01:05:38.242 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22504. 'extension(x[36][20]=[0‥4], 4) :: init: true :: relation: MDD 40936992, 7 edges, 4 vertices, 5 tuples
18.17/6.74	c 01:05:38.243 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22505. 'extension(4, x[38][20]=[0‥4]) :: init: true :: relation: MDD 40936992, 7 edges, 4 vertices, 5 tuples
18.17/6.74	c 01:05:38.245 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22541. 'extension(4, 4) :: init: true :: relation: MDD 584580417, 7 edges, 4 vertices, 5 tuples
18.17/6.74	c 01:05:38.246 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22572. 'extension(4, x[38][28]=[0‥4]) :: init: true :: relation: MDD 1615668218, 7 edges, 4 vertices, 5 tuples
18.17/6.74	c 01:05:38.246 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22575. 'extension(4, 4) :: init: true :: relation: MDD 1615668218, 7 edges, 4 vertices, 5 tuples
18.17/6.74	c 01:05:38.248 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22604. 'extension(4, x[39][7]=[0‥4]) :: init: true :: relation: MDD 561227586, 7 edges, 4 vertices, 5 tuples
18.17/6.74	c 01:05:38.248 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22607. 'extension(4, 4) :: init: true :: relation: MDD 561227586, 7 edges, 4 vertices, 5 tuples
18.17/6.74	c 01:05:38.250 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22636. 'extension(4, x[39][25]=[0‥4]) :: init: true :: relation: MDD 584580417, 7 edges, 4 vertices, 5 tuples
18.17/6.74	c 01:05:38.250 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22639. 'extension(4, 4) :: init: true :: relation: MDD 584580417, 7 edges, 4 vertices, 5 tuples
18.17/6.74	c 01:05:38.253 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22669. 'extension(x[38][1]=[0‥4], 4) :: init: true :: relation: MDD 33389111, 7 edges, 4 vertices, 5 tuples
18.17/6.74	c 01:05:38.253 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22700. 'extension(x[38][6]=[0‥4], 4) :: init: true :: relation: MDD 1459669467, 7 edges, 4 vertices, 5 tuples
18.17/6.74	c 01:05:38.254 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22731. 'extension(x[38][26]=[0‥4], 4) :: init: true :: relation: MDD 291359466, 7 edges, 4 vertices, 5 tuples
18.17/6.74	c 01:05:38.255 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22762. 'extension(4, wk[1][5]=[0‥1]) :: init: true :: relation: MDD 974631651, 5 edges, 3 vertices, 4 tuples
18.17/6.74	c 01:05:38.256 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22763. 'extension(4, x[41][1]=[0‥4]) :: init: true :: relation: MDD 33389111, 7 edges, 4 vertices, 5 tuples
18.17/6.74	c 01:05:38.256 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22765. 'extension(4, 4) :: init: true :: relation: MDD 33389111, 7 edges, 4 vertices, 5 tuples
18.17/6.74	c 01:05:38.257 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22792. 'extension(4, wk[2][5]=[0‥1]) :: init: true :: relation: MDD 160549854, 5 edges, 3 vertices, 4 tuples
18.17/6.74	c 01:05:38.258 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22793. 'extension(x[39][2]=[0‥4], 4) :: init: true :: relation: MDD 242224826, 7 edges, 4 vertices, 5 tuples
18.17/6.74	c 01:05:38.258 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22794. 'extension(4, x[41][2]=[0‥4]) :: init: true :: relation: MDD 242224826, 7 edges, 4 vertices, 5 tuples
18.17/6.75	c 01:05:38.260 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22822. 'extension(4, wk[6][5]=[0‥1]) :: init: true :: relation: MDD 2027549979, 5 edges, 3 vertices, 4 tuples
18.17/6.75	c 01:05:38.260 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22823. 'extension(4, x[41][6]=[0‥4]) :: init: true :: relation: MDD 1459669467, 7 edges, 4 vertices, 5 tuples
18.17/6.75	c 01:05:38.260 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22825. 'extension(4, 4) :: init: true :: relation: MDD 1459669467, 7 edges, 4 vertices, 5 tuples
18.17/6.75	c 01:05:38.262 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22852. 'extension(4, wk[26][5]=[0‥1]) :: init: true :: relation: MDD 1887326180, 5 edges, 3 vertices, 4 tuples
18.17/6.75	c 01:05:38.262 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22855. 'extension(4, 4) :: init: true :: relation: MDD 291359466, 7 edges, 4 vertices, 5 tuples
18.17/6.75	c 01:05:38.263 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22882. 'extension(4, wk[26][5]=[0‥1]) :: init: true :: relation: MDD 930641076, 5 edges, 3 vertices, 4 tuples
18.17/6.75	c 01:05:38.263 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22883. 'extension(4, 4) :: init: true :: relation: MDD 291359466, 7 edges, 4 vertices, 5 tuples
18.17/6.75	c 01:05:38.263 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22884. 'extension(4, 4) :: init: true :: relation: MDD 2065834544, 5 edges, 3 vertices, 4 tuples
18.17/6.78	c 01:05:38.291 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23323. 'extension(x[1][24]=[0‥4]) :: init: true :: relation: Empty MDD
18.17/6.78	c 01:05:38.291 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23325. 'extension(x[1][24]=[0‥4]) :: init: true :: relation: Empty MDD
18.17/6.78	c 01:05:38.292 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23331. 'extension(x[0][9]=[0‥4]) :: init: true :: relation: Empty MDD
18.17/6.78	c 01:05:38.292 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23335. 'extension(x[0][11]=[0‥4]) :: init: true :: relation: Empty MDD
18.17/6.78	c 01:05:38.292 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23337. 'extension(x[2][11]=[0‥4]) :: init: true :: relation: Empty MDD
18.17/6.78	c 01:05:38.293 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23349. 'extension(x[0][23]=[0‥4]) :: init: true :: relation: Empty MDD
18.17/6.78	c 01:05:38.293 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23351. 'extension(x[2][23]=[0‥4]) :: init: true :: relation: Empty MDD
18.17/6.78	c 01:05:38.294 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23363. 'extension(x[3][9]=[0‥4]) :: init: true :: relation: Empty MDD
18.17/6.78	c 01:05:38.294 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23377. 'extension(x[1][13]=[0‥4]) :: init: true :: relation: Empty MDD
18.17/6.78	c 01:05:38.295 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23383. 'extension(x[3][20]=[0‥4]) :: init: true :: relation: Empty MDD
18.17/6.78	c 01:05:38.295 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23395. 'extension(x[2][10]=[0‥4]) :: init: true :: relation: Empty MDD
18.17/6.78	c 01:05:38.296 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23401. 'extension(x[4][13]=[0‥4]) :: init: true :: relation: Empty MDD
18.17/6.78	c 01:05:38.297 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23419. 'extension(wk[10][0]=[0‥1]) :: init: true :: relation: Empty MDD
18.17/6.78	c 01:05:38.297 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23421. 'extension(wk[10][0]=[0‥1]) :: init: true :: relation: Empty MDD
18.17/6.78	c 01:05:38.297 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23423. 'extension(x[7][10]=[0‥4]) :: init: true :: relation: Empty MDD
18.17/6.78	c 01:05:38.298 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23433. 'extension(wk[30][0]=[0‥1]) :: init: true :: relation: Empty MDD
18.17/6.78	c 01:05:38.298 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23435. 'extension(x[5][30]=[0‥4]) :: init: true :: relation: Empty MDD
18.17/6.78	c 01:05:38.298 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23437. 'extension(x[7][30]=[0‥4]) :: init: true :: relation: Empty MDD
18.17/6.78	c 01:05:38.299 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23447. 'extension(x[6][11]=[0‥4]) :: init: true :: relation: Empty MDD
18.17/6.78	c 01:05:38.299 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23449. 'extension(x[8][11]=[0‥4]) :: init: true :: relation: Empty MDD
18.17/6.79	c 01:05:38.300 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23463. 'extension(x[6][21]=[0‥4]) :: init: true :: relation: Empty MDD
18.17/6.79	c 01:05:38.300 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23465. 'extension(x[8][21]=[0‥4]) :: init: true :: relation: Empty MDD
18.17/6.79	c 01:05:38.301 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23481. 'extension(x[6][22]=[0‥4]) :: init: true :: relation: Empty MDD
18.17/6.79	c 01:05:38.302 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23487. 'extension(x[6][31]=[0‥4]) :: init: true :: relation: Empty MDD
18.17/6.79	c 01:05:38.302 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23497. 'extension(x[7][30]=[0‥4]) :: init: true :: relation: Empty MDD
18.17/6.79	c 01:05:38.302 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23499. 'extension(x[9][30]=[0‥4]) :: init: true :: relation: Empty MDD
18.17/6.79	c 01:05:38.303 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23515. 'extension(x[9][6]=[0‥4]) :: init: true :: relation: Empty MDD
18.17/6.79	c 01:05:38.304 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23521. 'extension(x[11][22]=[0‥4]) :: init: true :: relation: Empty MDD
18.17/6.79	c 01:05:38.304 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23533. 'extension(x[9][24]=[0‥4]) :: init: true :: relation: Empty MDD
18.17/6.79	c 01:05:38.305 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23539. 'extension(x[11][31]=[0‥4]) :: init: true :: relation: Empty MDD
18.17/6.79	c 01:05:38.305 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23547. 'extension(x[10][2]=[0‥4]) :: init: true :: relation: Empty MDD
18.17/6.79	c 01:05:38.305 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23549. 'extension(x[12][2]=[0‥4]) :: init: true :: relation: Empty MDD
18.17/6.79	c 01:05:38.306 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23563. 'extension(x[12][6]=[0‥4]) :: init: true :: relation: Empty MDD
18.17/6.79	c 01:05:38.307 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23581. 'extension(x[10][25]=[0‥4]) :: init: true :: relation: Empty MDD
18.17/6.80	c 01:05:38.307 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23583. 'extension(x[12][25]=[0‥4]) :: init: true :: relation: Empty MDD
18.17/6.80	c 01:05:38.308 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23599. 'extension(wk[13][1]=[0‥1]) :: init: true :: relation: Empty MDD
18.17/6.80	c 01:05:38.309 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23601. 'extension(x[11][13]=[0‥4]) :: init: true :: relation: Empty MDD
18.17/6.80	c 01:05:38.309 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23607. 'extension(wk[24][1]=[0‥1]) :: init: true :: relation: Empty MDD
18.17/6.80	c 01:05:38.309 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23609. 'extension(x[13][24]=[0‥4]) :: init: true :: relation: Empty MDD
18.17/6.80	c 01:05:38.310 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23623. 'extension(wk[5][1]=[0‥1]) :: init: true :: relation: Empty MDD
18.17/6.80	c 01:05:38.310 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23625. 'extension(x[12][5]=[0‥4]) :: init: true :: relation: Empty MDD
18.17/6.80	c 01:05:38.310 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23627. 'extension(x[14][5]=[0‥4]) :: init: true :: relation: Empty MDD
18.17/6.80	c 01:05:38.311 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23641. 'extension(wk[13][1]=[0‥1]) :: init: true :: relation: Empty MDD
18.17/6.80	c 01:05:38.311 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23643. 'extension(x[14][13]=[0‥4]) :: init: true :: relation: Empty MDD
18.17/6.80	c 01:05:38.312 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23657. 'extension(x[13][0]=[0‥4]) :: init: true :: relation: Empty MDD
18.17/6.80	c 01:05:38.312 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23663. 'extension(x[13][14]=[0‥4]) :: init: true :: relation: Empty MDD
18.17/6.80	c 01:05:38.313 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23669. 'extension(x[13][27]=[0‥4]) :: init: true :: relation: Empty MDD
18.17/6.80	c 01:05:38.313 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23671. 'extension(x[15][27]=[0‥4]) :: init: true :: relation: Empty MDD
18.17/6.80	c 01:05:38.314 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23691. 'extension(x[15][2]=[0‥4]) :: init: true :: relation: Empty MDD
18.17/6.80	c 01:05:38.314 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23697. 'extension(x[18][0]=[0‥4]) :: init: true :: relation: Empty MDD
18.17/6.80	c 01:05:38.315 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23707. 'extension(x[18][2]=[0‥4]) :: init: true :: relation: Empty MDD
18.17/6.80	c 01:05:38.315 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23721. 'extension(x[16][4]=[0‥4]) :: init: true :: relation: Empty MDD
18.17/6.80	c 01:05:38.316 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23727. 'extension(x[18][14]=[0‥4]) :: init: true :: relation: Empty MDD
18.17/6.80	c 01:05:38.316 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23737. 'extension(x[16][29]=[0‥4]) :: init: true :: relation: Empty MDD
18.17/6.80	c 01:05:38.317 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23743. 'extension(x[17][3]=[0‥4]) :: init: true :: relation: Empty MDD
18.17/6.80	c 01:05:38.317 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23755. 'extension(wk[1][2]=[0‥1]) :: init: true :: relation: Empty MDD
18.17/6.80	c 01:05:38.318 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23757. 'extension(x[18][1]=[0‥4]) :: init: true :: relation: Empty MDD
18.17/6.80	c 01:05:38.318 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23763. 'extension(wk[3][2]=[0‥1]) :: init: true :: relation: Empty MDD
18.17/6.80	c 01:05:38.318 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23769. 'extension(wk[4][2]=[0‥1]) :: init: true :: relation: Empty MDD
18.17/6.80	c 01:05:38.318 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23771. 'extension(wk[18][2]=[0‥1]) :: init: true :: relation: Empty MDD
18.17/6.81	c 01:05:38.319 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23773. 'extension(x[18][18]=[0‥4]) :: init: true :: relation: Empty MDD
18.17/6.81	c 01:05:38.319 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23775. 'extension(x[20][18]=[0‥4]) :: init: true :: relation: Empty MDD
18.17/6.81	c 01:05:38.320 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23789. 'extension(wk[29][2]=[0‥1]) :: init: true :: relation: Empty MDD
18.17/6.81	c 01:05:38.320 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23791. 'extension(wk[1][2]=[0‥1]) :: init: true :: relation: Empty MDD
18.17/6.81	c 01:05:38.320 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23793. 'extension(x[21][1]=[0‥4]) :: init: true :: relation: Empty MDD
18.52/6.81	c 01:05:38.321 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23807. 'extension(wk[3][2]=[0‥1]) :: init: true :: relation: Empty MDD
18.52/6.81	c 01:05:38.321 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23809. 'extension(wk[4][2]=[0‥1]) :: init: true :: relation: Empty MDD
18.52/6.81	c 01:05:38.321 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23811. 'extension(x[21][4]=[0‥4]) :: init: true :: relation: Empty MDD
18.52/6.81	c 01:05:38.322 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23821. 'extension(wk[15][2]=[0‥1]) :: init: true :: relation: Empty MDD
18.52/6.81	c 01:05:38.322 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23823. 'extension(x[19][15]=[0‥4]) :: init: true :: relation: Empty MDD
18.52/6.81	c 01:05:38.322 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23825. 'extension(x[21][15]=[0‥4]) :: init: true :: relation: Empty MDD
18.52/6.81	c 01:05:38.323 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23839. 'extension(wk[29][2]=[0‥1]) :: init: true :: relation: Empty MDD
18.52/6.81	c 01:05:38.323 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23841. 'extension(x[21][29]=[0‥4]) :: init: true :: relation: Empty MDD
18.52/6.81	c 01:05:38.323 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23849. 'extension(x[22][3]=[0‥4]) :: init: true :: relation: Empty MDD
18.52/6.81	c 01:05:38.324 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23859. 'extension(x[20][30]=[0‥4]) :: init: true :: relation: Empty MDD
18.52/6.81	c 01:05:38.324 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23861. 'extension(x[22][30]=[0‥4]) :: init: true :: relation: Empty MDD
18.52/6.81	c 01:05:38.325 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23873. 'extension(x[22][12]=[0‥4]) :: init: true :: relation: Empty MDD
18.52/6.81	c 01:05:38.325 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23879. 'extension(x[23][5]=[0‥4]) :: init: true :: relation: Empty MDD
18.52/6.82	c 01:05:38.326 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23889. 'extension(x[23][18]=[0‥4]) :: init: true :: relation: Empty MDD
18.52/6.82	c 01:05:38.326 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23895. 'extension(x[23][27]=[0‥4]) :: init: true :: relation: Empty MDD
18.52/6.82	c 01:05:38.326 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23905. 'extension(x[24][11]=[0‥4]) :: init: true :: relation: Empty MDD
18.52/6.82	c 01:05:38.327 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23915. 'extension(x[26][27]=[0‥4]) :: init: true :: relation: Empty MDD
18.52/6.82	c 01:05:38.328 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23925. 'extension(x[24][30]=[0‥4]) :: init: true :: relation: Empty MDD
18.52/6.82	c 01:05:38.328 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23927. 'extension(x[26][30]=[0‥4]) :: init: true :: relation: Empty MDD
18.52/6.82	c 01:05:38.328 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23939. 'extension(wk[5][3]=[0‥1]) :: init: true :: relation: Empty MDD
18.52/6.82	c 01:05:38.328 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23941. 'extension(x[27][5]=[0‥4]) :: init: true :: relation: Empty MDD
18.52/6.82	c 01:05:38.329 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23951. 'extension(wk[8][3]=[0‥1]) :: init: true :: relation: Empty MDD
18.52/6.82	c 01:05:38.329 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23953. 'extension(x[25][8]=[0‥4]) :: init: true :: relation: Empty MDD
18.52/6.82	c 01:05:38.330 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23959. 'extension(wk[11][3]=[0‥1]) :: init: true :: relation: Empty MDD
18.52/6.82	c 01:05:38.330 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23961. 'extension(x[27][11]=[0‥4]) :: init: true :: relation: Empty MDD
18.52/6.82	c 01:05:38.330 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23975. 'extension(wk[12][3]=[0‥1]) :: init: true :: relation: Empty MDD
18.52/6.82	c 01:05:38.331 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23977. 'extension(x[27][12]=[0‥4]) :: init: true :: relation: Empty MDD
18.52/6.82	c 01:05:38.331 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23987. 'extension(wk[18][3]=[0‥1]) :: init: true :: relation: Empty MDD
18.52/6.82	c 01:05:38.331 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23989. 'extension(x[27][18]=[0‥4]) :: init: true :: relation: Empty MDD
18.52/6.82	c 01:05:38.332 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23999. 'extension(wk[26][3]=[0‥1]) :: init: true :: relation: Empty MDD
18.52/6.82	c 01:05:38.332 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24001. 'extension(x[25][26]=[0‥4]) :: init: true :: relation: Empty MDD
18.52/6.82	c 01:05:38.332 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24003. 'extension(x[27][26]=[0‥4]) :: init: true :: relation: Empty MDD
18.52/6.82	c 01:05:38.333 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24019. 'extension(wk[8][3]=[0‥1]) :: init: true :: relation: Empty MDD
18.52/6.82	c 01:05:38.333 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24025. 'extension(wk[16][3]=[0‥1]) :: init: true :: relation: Empty MDD
18.52/6.82	c 01:05:38.334 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24027. 'extension(x[26][16]=[0‥4]) :: init: true :: relation: Empty MDD
18.52/6.82	c 01:05:38.334 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24033. 'extension(x[29][8]=[0‥4]) :: init: true :: relation: Empty MDD
18.52/6.82	c 01:05:38.335 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24043. 'extension(x[29][16]=[0‥4]) :: init: true :: relation: Empty MDD
18.52/6.82	c 01:05:38.335 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24057. 'extension(x[27][19]=[0‥4]) :: init: true :: relation: Empty MDD
18.52/6.82	c 01:05:38.336 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24059. 'extension(x[29][19]=[0‥4]) :: init: true :: relation: Empty MDD
18.52/6.82	c 01:05:38.336 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24073. 'extension(x[28][17]=[0‥4]) :: init: true :: relation: Empty MDD
18.52/6.82	c 01:05:38.337 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24083. 'extension(x[29][21]=[0‥4]) :: init: true :: relation: Empty MDD
18.52/6.82	c 01:05:38.337 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24085. 'extension(x[31][21]=[0‥4]) :: init: true :: relation: Empty MDD
18.52/6.82	c 01:05:38.338 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24101. 'extension(x[29][23]=[0‥4]) :: init: true :: relation: Empty MDD
18.52/6.82	c 01:05:38.339 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24107. 'extension(x[30][8]=[0‥4]) :: init: true :: relation: Empty MDD
18.52/6.82	c 01:05:38.339 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24109. 'extension(x[32][8]=[0‥4]) :: init: true :: relation: Empty MDD
18.52/6.82	c 01:05:38.339 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24123. 'extension(x[30][9]=[0‥4]) :: init: true :: relation: Empty MDD
18.52/6.83	c 01:05:38.340 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24129. 'extension(x[30][16]=[0‥4]) :: init: true :: relation: Empty MDD
18.52/6.83	c 01:05:38.340 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24135. 'extension(x[30][19]=[0‥4]) :: init: true :: relation: Empty MDD
18.52/6.83	c 01:05:38.341 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24145. 'extension(x[33][9]=[0‥4]) :: init: true :: relation: Empty MDD
18.52/6.83	c 01:05:38.341 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24159. 'extension(x[33][16]=[0‥4]) :: init: true :: relation: Empty MDD
18.52/6.83	c 01:05:38.342 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24173. 'extension(x[33][17]=[0‥4]) :: init: true :: relation: Empty MDD
18.52/6.83	c 01:05:38.343 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24187. 'extension(x[33][23]=[0‥4]) :: init: true :: relation: Empty MDD
18.52/6.83	c 01:05:38.344 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24201. 'extension(x[31][27]=[0‥4]) :: init: true :: relation: Empty MDD
18.52/6.83	c 01:05:38.344 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24203. 'extension(x[33][27]=[0‥4]) :: init: true :: relation: Empty MDD
18.52/6.83	c 01:05:38.344 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24215. 'extension(wk[15][4]=[0‥1]) :: init: true :: relation: Empty MDD
18.52/6.83	c 01:05:38.345 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24217. 'extension(x[32][15]=[0‥4]) :: init: true :: relation: Empty MDD
18.52/6.83	c 01:05:38.345 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24223. 'extension(wk[19][4]=[0‥1]) :: init: true :: relation: Empty MDD
18.52/6.83	c 01:05:38.345 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24225. 'extension(x[34][19]=[0‥4]) :: init: true :: relation: Empty MDD
18.52/6.83	c 01:05:38.346 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24235. 'extension(wk[15][4]=[0‥1]) :: init: true :: relation: Empty MDD
18.52/6.83	c 01:05:38.346 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24241. 'extension(wk[21][4]=[0‥1]) :: init: true :: relation: Empty MDD
18.52/6.83	c 01:05:38.346 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24243. 'extension(x[33][21]=[0‥4]) :: init: true :: relation: Empty MDD
18.52/6.83	c 01:05:38.346 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24249. 'extension(wk[28][4]=[0‥1]) :: init: true :: relation: Empty MDD
18.52/6.83	c 01:05:38.347 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24251. 'extension(x[33][28]=[0‥4]) :: init: true :: relation: Empty MDD
18.52/6.83	c 01:05:38.347 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24257. 'extension(x[34][7]=[0‥4]) :: init: true :: relation: Empty MDD
18.52/6.83	c 01:05:38.347 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24263. 'extension(x[36][15]=[0‥4]) :: init: true :: relation: Empty MDD
18.52/6.83	c 01:05:38.348 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24273. 'extension(x[36][21]=[0‥4]) :: init: true :: relation: Empty MDD
18.52/6.83	c 01:05:38.349 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24295. 'extension(x[35][25]=[0‥4]) :: init: true :: relation: Empty MDD
18.52/6.83	c 01:05:38.349 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24301. 'extension(x[36][20]=[0‥4]) :: init: true :: relation: Empty MDD
18.52/6.84	c 01:05:38.350 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24303. 'extension(x[38][20]=[0‥4]) :: init: true :: relation: Empty MDD
18.52/6.84	c 01:05:38.351 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24323. 'extension(x[38][28]=[0‥4]) :: init: true :: relation: Empty MDD
18.52/6.84	c 01:05:38.351 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24331. 'extension(x[39][7]=[0‥4]) :: init: true :: relation: Empty MDD
18.52/6.84	c 01:05:38.352 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24341. 'extension(x[39][25]=[0‥4]) :: init: true :: relation: Empty MDD
18.52/6.84	c 01:05:38.352 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24355. 'extension(x[38][1]=[0‥4]) :: init: true :: relation: Empty MDD
18.52/6.84	c 01:05:38.353 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24361. 'extension(x[38][6]=[0‥4]) :: init: true :: relation: Empty MDD
18.52/6.84	c 01:05:38.353 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24367. 'extension(x[38][26]=[0‥4]) :: init: true :: relation: Empty MDD
18.52/6.84	c 01:05:38.353 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24373. 'extension(wk[1][5]=[0‥1]) :: init: true :: relation: Empty MDD
18.52/6.84	c 01:05:38.354 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24375. 'extension(x[41][1]=[0‥4]) :: init: true :: relation: Empty MDD
18.52/6.84	c 01:05:38.354 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24387. 'extension(wk[2][5]=[0‥1]) :: init: true :: relation: Empty MDD
18.52/6.84	c 01:05:38.354 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24389. 'extension(x[39][2]=[0‥4]) :: init: true :: relation: Empty MDD
18.52/6.84	c 01:05:38.355 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24391. 'extension(x[41][2]=[0‥4]) :: init: true :: relation: Empty MDD
18.52/6.84	c 01:05:38.355 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24403. 'extension(wk[6][5]=[0‥1]) :: init: true :: relation: Empty MDD
18.52/6.84	c 01:05:38.355 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24405. 'extension(x[41][6]=[0‥4]) :: init: true :: relation: Empty MDD
18.52/6.84	c 01:05:38.356 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24417. 'extension(wk[26][5]=[0‥1]) :: init: true :: relation: Empty MDD
18.52/6.84	c 01:05:38.356 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24423. 'extension(wk[26][5]=[0‥1]) :: init: true :: relation: Empty MDD
2520.01/2457.21	Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
2520.01/2457.21		at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24)
2520.01/2457.21		at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53)
2520.01/2457.21		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:142)
2520.01/2457.21		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:5)
2520.01/2457.21		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126)
2520.01/2457.21		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:8)
2520.01/2457.21		at concrete.heuristic.value.BestCost.select(BestCost.scala:53)
2520.01/2457.21		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:102)
2520.01/2457.21		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:102)
2520.01/2457.21		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.01/2457.21		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:102)
2520.01/2457.21		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:102)
2520.01/2457.21		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.01/2457.21		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:102)
2520.01/2457.21		at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:108)
2520.01/2457.21		at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
2520.01/2457.21		at scala.Option.map(Option.scala:146)
2520.01/2457.21		at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
2520.01/2457.21		at concrete.MAC.mac(MAC.scala:203)
2520.01/2457.21		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.01/2457.21		at scala.util.Try$.apply(Try.scala:209)
2520.01/2457.21		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.01/2457.21		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.01/2457.21		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.01/2457.21		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.01/2457.21		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.01/2457.21		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.01/2457.21		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.01/2457.21		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.01/2457.21		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.01/2457.21		at concrete.MAC.oneRun(MAC.scala:253)
2520.01/2457.21		at concrete.MAC.nextSolution(MAC.scala:272)
2520.01/2457.21		at concrete.MAC.$anonfun$nextSolution$5(MAC.scala:336)
2520.01/2457.21		at concrete.ProblemState.map(ProblemState.scala:221)
2520.01/2457.21		at concrete.ProblemState.map(ProblemState.scala:204)
2520.01/2457.21		at concrete.MAC.nextSolution(MAC.scala:334)
2520.01/2457.21		at concrete.Solver.hasNext(Solver.scala:166)
2520.01/2457.21		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.01/2457.21		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.01/2457.21		at concrete.Solver.foreach(Solver.scala:68)
2520.01/2457.21		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.01/2457.21		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.01/2457.21		at scala.util.Success.map(Try.scala:209)
2520.01/2457.21		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.01/2457.21		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.01/2457.21		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.01/2457.21		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.01/2457.21		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.01/2457.21		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.01/2457.21		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.01/2457.21		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.01/2457.21		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.01/2457.21		at scala.collection.immutable.List.foreach(List.scala:389)
2520.01/2457.21		at scala.App.main(App.scala:76)
2520.01/2457.21		at scala.App.main$(App.scala:74)
2520.01/2457.21		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.01/2457.21		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.01/2457.22	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 (7228 MiB free)
  memory of node 1: 16384 MiB (6624 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292950-1532300731/watcher-4292950-1532300731 -o /tmp/evaluation-result-4292950-1532300731/solver-4292950-1532300731 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532295772-9831 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=2075947571 -superng HOME/instance-4292950-1532300731.xml 

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

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


[startup+0.110496 s]*
/proc/loadavg: 1.31 1.38 1.46 4/207 10587
/proc/meminfo: memFree=14175292/32770624 swapFree=67108860/67108860
[pid=10529] ppid=10526 vsize=10355560 memory=22680 CPUtime=0.1 cores=0,2,4,6
/proc/10529/stat : 10529 (java) S 10526 10529 9800 0 -1 1077944320 4815 12984 0 0 2 0 5 3 20 0 9 0 47635965 10604093440 5670 33554432000 4194304 4196468 140724420797504 140724420780048 140297216335607 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
/proc/10529/statm: 2588890 5670 2101 1 0 2551431 0
[pid=10529/tid=10582] ppid=10526 vsize=10355560 memory=4351193297951294345 CPUtime=0.1 cores=0,2,4,6
/proc/10529/task/10582/stat : 10582 (java) R 10526 10529 9800 0 -1 4202560 2619 12984 0 0 2 0 5 3 20 0 9 0 47635974 10604093440 5670 33554432000 4194304 4196468 140724420797504 140297188171632 140297200416094 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10583] ppid=10526 vsize=10355560 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/10529/task/10583/stat : 10583 (java) S 10526 10529 9800 0 -1 1077944384 1 12984 0 0 0 0 5 3 20 0 9 0 47635975 10604093440 5670 33554432000 4194304 4196468 140724420797504 140297220578320 140297216345813 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10584] ppid=10526 vsize=10355560 memory=140619389032064 CPUtime=0.08 cores=0,2,4,6
/proc/10529/task/10584/stat : 10584 (java) S 10526 10529 9800 0 -1 1077944384 2 12984 0 0 0 0 5 3 20 0 9 0 47635975 10604093440 5670 33554432000 4194304 4196468 140724420797504 140297124781200 140297216345813 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10585] ppid=10526 vsize=10355560 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10529/task/10585/stat : 10585 (java) S 10526 10529 9800 0 -1 1077944384 1 12984 0 0 0 0 5 3 20 0 9 0 47635975 10604093440 5670 33554432000 4194304 4196468 140724420797504 140297123728144 140297216345813 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10586] ppid=10526 vsize=10355560 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/10529/task/10586/stat : 10586 (java) S 10526 10529 9800 0 -1 1077944384 2 12984 0 0 0 0 5 3 20 0 9 0 47635975 10604093440 5670 33554432000 4194304 4196468 140724420797504 140297122675600 140297216345813 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10587] ppid=10526 vsize=10355560 memory=140619389032064 CPUtime=0.08 cores=0,2,4,6
/proc/10529/task/10587/stat : 10587 (java) S 10526 10529 9800 0 -1 1077944384 2 12984 0 0 0 0 5 3 20 0 9 0 47635976 10604093440 5670 33554432000 4194304 4196468 140724420797504 140296675289328 140297216346754 0 0 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10588] ppid=10526 vsize=10355560 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/10529/task/10588/stat : 10588 (java) S 10526 10529 9800 0 -1 1077944384 13 12984 0 0 0 0 5 3 20 0 9 0 47635977 10604093440 5670 33554432000 4194304 4196468 140724420797504 140296113349792 140297216345813 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10589] ppid=10526 vsize=10355560 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10529/task/10589/stat : 10589 (java) S 10526 10529 9800 0 -1 1077944384 1 12984 0 0 0 0 5 3 20 0 9 0 47635977 10604093440 5670 33554432000 4194304 4196468 140724420797504 140295979131696 140297216345813 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10355560 KiB
Current children cumulated memory: 22680 KiB

[startup+0.209999 s]*
/proc/loadavg: 1.31 1.38 1.46 3/215 10595
/proc/meminfo: memFree=14156368/32770624 swapFree=67108860/67108860
[pid=10529] ppid=10526 vsize=10818904 memory=46040 CPUtime=0.26 cores=0,2,4,6
/proc/10529/stat : 10529 (java) S 10526 10529 9800 0 -1 1077944320 9421 12984 0 0 17 1 5 3 20 0 15 0 47635965 11078557696 11510 33554432000 4194304 4196468 140724420797504 140724420780048 140297216335607 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
/proc/10529/statm: 2704726 11510 2927 1 0 2667149 0
[pid=10529/tid=10582] ppid=10526 vsize=10818904 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/10529/task/10582/stat : 10582 (java) R 10526 10529 9800 0 -1 4202560 6071 12984 0 0 11 1 5 3 20 0 15 0 47635974 11078557696 11510 33554432000 4194304 4196468 140724420797504 140297188160416 140297216357533 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10583] ppid=10526 vsize=10818904 memory=343 CPUtime=0.08 cores=0,2,4,6
/proc/10529/task/10583/stat : 10583 (java) S 10526 10529 9800 0 -1 1077944384 1 12984 0 0 0 0 5 3 20 0 15 0 47635975 11078557696 11510 33554432000 4194304 4196468 140724420797504 140297220578320 140297216345813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10584] ppid=10526 vsize=10818904 memory=140619389042754 CPUtime=0.08 cores=0,2,4,6
/proc/10529/task/10584/stat : 10584 (java) S 10526 10529 9800 0 -1 1077944384 2 12984 0 0 0 0 5 3 20 0 15 0 47635975 11078557696 11510 33554432000 4194304 4196468 140724420797504 140297124781200 140297216345813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10585] ppid=10526 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10529/task/10585/stat : 10585 (java) S 10526 10529 9800 0 -1 1077944384 1 12984 0 0 0 0 5 3 20 0 15 0 47635975 11078557696 11510 33554432000 4194304 4196468 140724420797504 140297123728144 140297216345813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10586] ppid=10526 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/10529/task/10586/stat : 10586 (java) S 10526 10529 9800 0 -1 1077944384 2 12984 0 0 0 0 5 3 20 0 15 0 47635975 11078557696 11510 33554432000 4194304 4196468 140724420797504 140297122675600 140297216345813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10587] ppid=10526 vsize=10818904 memory=140619389032064 CPUtime=0.08 cores=0,2,4,6
/proc/10529/task/10587/stat : 10587 (java) S 10526 10529 9800 0 -1 1077944384 2 12984 0 0 0 0 5 3 20 0 15 0 47635976 11078557696 11510 33554432000 4194304 4196468 140724420797504 140296675289328 140297216346754 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10588] ppid=10526 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/10529/task/10588/stat : 10588 (java) S 10526 10529 9800 0 -1 1077944384 13 12984 0 0 0 0 5 3 20 0 15 0 47635977 11078557696 11510 33554432000 4194304 4196468 140724420797504 140296113349792 140297216345813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10589] ppid=10526 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10529/task/10589/stat : 10589 (java) S 10526 10529 9800 0 -1 1077944384 1 12984 0 0 0 0 5 3 20 0 15 0 47635977 11078557696 11510 33554432000 4194304 4196468 140724420797504 140295979131632 140297216345813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10590] ppid=10526 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10529/task/10590/stat : 10590 (java) S 10526 10529 9800 0 -1 1077944384 3 12984 0 0 0 0 5 3 20 0 15 0 47635980 11078557696 11510 33554432000 4194304 4196468 140724420797504 140295738841040 140297216354203 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10591] ppid=10526 vsize=10818904 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/10529/task/10591/stat : 10591 (java) S 10526 10529 9800 0 -1 1077944384 521 12984 0 0 1 0 5 3 20 0 15 0 47635980 11078557696 11510 33554432000 4194304 4196468 140724420797504 140296674237168 140297216346754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10592] ppid=10526 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/10529/task/10592/stat : 10592 (java) S 10526 10529 9800 0 -1 1077944384 55 12984 0 0 0 0 5 3 20 0 15 0 47635980 11078557696 11510 33554432000 4194304 4196468 140724420797504 140296673184624 140297216346754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10593] ppid=10526 vsize=10818904 memory=140619389032064 CPUtime=0.11 cores=0,2,4,6
/proc/10529/task/10593/stat : 10593 (java) R 10526 10529 9800 0 -1 4202560 563 12984 0 0 3 0 5 3 20 0 15 0 47635980 11078557696 11510 33554432000 4194304 4196468 140724420797504 140296672125920 140297216356954 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10594] ppid=10526 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/10529/task/10594/stat : 10594 (java) S 10526 10529 9800 0 -1 1077944384 3 12984 0 0 0 0 5 3 20 0 15 0 47635980 11078557696 11510 33554432000 4194304 4196468 140724420797504 140295705283424 140297216345813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10595] ppid=10526 vsize=10818904 memory=140619389032064 CPUtime=0.08 cores=0,2,4,6
/proc/10529/task/10595/stat : 10595 (java) S 10526 10529 9800 0 -1 1077944384 1 12984 0 0 0 0 5 3 20 0 15 0 47635980 11078557696 11510 33554432000 4194304 4196468 140724420797504 140296671078960 140297216346754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 46040 KiB

[startup+0.310464 s]*
/proc/loadavg: 1.31 1.38 1.46 3/215 10595
/proc/meminfo: memFree=14143344/32770624 swapFree=67108860/67108860
[pid=10529] ppid=10526 vsize=10819352 memory=53916 CPUtime=0.4 cores=0,2,4,6
/proc/10529/stat : 10529 (java) S 10526 10529 9800 0 -1 1077944320 10626 12984 0 0 30 2 5 3 20 0 15 0 47635965 11079016448 13479 33554432000 4194304 4196468 140724420797504 140724420780048 140297216335607 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
/proc/10529/statm: 2704838 13479 3046 1 0 2667149 0
[pid=10529/tid=10582] ppid=10526 vsize=10819352 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/10529/task/10582/stat : 10582 (java) R 10526 10529 9800 0 -1 4202560 7262 12984 0 0 20 1 5 3 20 0 15 0 47635974 11079016448 13479 33554432000 4194304 4196468 140724420797504 140297188147616 140297196611283 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10583] ppid=10526 vsize=10819352 memory=4126316290023845779 CPUtime=0.08 cores=0,2,4,6
/proc/10529/task/10583/stat : 10583 (java) S 10526 10529 9800 0 -1 1077944384 1 12984 0 0 0 0 5 3 20 0 15 0 47635975 11079016448 13479 33554432000 4194304 4196468 140724420797504 140297220578320 140297216345813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10584] ppid=10526 vsize=10819352 memory=140619389039057 CPUtime=0.08 cores=0,2,4,6
/proc/10529/task/10584/stat : 10584 (java) S 10526 10529 9800 0 -1 1077944384 2 12984 0 0 0 0 5 3 20 0 15 0 47635975 11079016448 13479 33554432000 4194304 4196468 140724420797504 140297124781200 140297216345813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10585] ppid=10526 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10529/task/10585/stat : 10585 (java) S 10526 10529 9800 0 -1 1077944384 1 12984 0 0 0 0 5 3 20 0 15 0 47635975 11079016448 13479 33554432000 4194304 4196468 140724420797504 140297123728144 140297216345813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10586] ppid=10526 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10529/task/10586/stat : 10586 (java) S 10526 10529 9800 0 -1 1077944384 2 12984 0 0 0 0 5 3 20 0 15 0 47635975 11079016448 13479 33554432000 4194304 4196468 140724420797504 140297122675600 140297216345813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10587] ppid=10526 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10529/task/10587/stat : 10587 (java) S 10526 10529 9800 0 -1 1077944384 2 12984 0 0 0 0 5 3 20 0 15 0 47635976 11079016448 13479 33554432000 4194304 4196468 140724420797504 140296675289328 140297216346754 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10588] ppid=10526 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10529/task/10588/stat : 10588 (java) S 10526 10529 9800 0 -1 1077944384 13 12984 0 0 0 0 5 3 20 0 15 0 47635977 11079016448 13479 33554432000 4194304 4196468 140724420797504 140296113349792 140297216345813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10589] ppid=10526 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10529/task/10589/stat : 10589 (java) S 10526 10529 9800 0 -1 1077944384 1 12984 0 0 0 0 5 3 20 0 15 0 47635977 11079016448 13479 33554432000 4194304 4196468 140724420797504 140295979131632 140297216345813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10590] ppid=10526 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10529/task/10590/stat : 10590 (java) S 10526 10529 9800 0 -1 1077944384 3 12984 0 0 0 0 5 3 20 0 15 0 47635980 11079016448 13479 33554432000 4194304 4196468 140724420797504 140295738841040 140297216354203 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10591] ppid=10526 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/10529/task/10591/stat : 10591 (java) S 10526 10529 9800 0 -1 1077944384 521 12984 0 0 1 0 5 3 20 0 15 0 47635980 11079016448 13479 33554432000 4194304 4196468 140724420797504 140296674237168 140297216346754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10592] ppid=10526 vsize=10819352 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/10529/task/10592/stat : 10592 (java) S 10526 10529 9800 0 -1 1077944384 56 12984 0 0 1 0 5 3 20 0 15 0 47635980 11079016448 13479 33554432000 4194304 4196468 140724420797504 140296673184624 140297216346754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10593] ppid=10526 vsize=10819352 memory=-1 CPUtime=0.13 cores=0,2,4,6
/proc/10529/task/10593/stat : 10593 (java) S 10526 10529 9800 0 -1 1077944384 571 12984 0 0 5 0 5 3 20 0 15 0 47635980 11079016448 13479 33554432000 4194304 4196468 140724420797504 140296672131568 140297216346754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10594] ppid=10526 vsize=10819352 memory=140619389032064 CPUtime=0.08 cores=0,2,4,6
/proc/10529/task/10594/stat : 10594 (java) S 10526 10529 9800 0 -1 1077944384 3 12984 0 0 0 0 5 3 20 0 15 0 47635980 11079016448 13479 33554432000 4194304 4196468 140724420797504 140295705283424 140297216345813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10595] ppid=10526 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/10529/task/10595/stat : 10595 (java) S 10526 10529 9800 0 -1 1077944384 1 12984 0 0 0 0 5 3 20 0 15 0 47635980 11079016448 13479 33554432000 4194304 4196468 140724420797504 140296671078960 140297216346754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 53916 KiB

[startup+0.700734 s]
/proc/loadavg: 1.31 1.38 1.46 3/215 10595
/proc/meminfo: memFree=14134908/32770624 swapFree=67108860/67108860
[pid=10529] ppid=10526 vsize=10819352 memory=86472 CPUtime=0.99 cores=0,2,4,6
/proc/10529/stat : 10529 (java) S 10526 10529 9800 0 -1 1077944320 16761 12984 0 0 88 3 5 3 20 0 15 0 47635965 11079016448 21618 33554432000 4194304 4196468 140724420797504 140724420780048 140297216335607 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
/proc/10529/statm: 2704838 21618 3237 1 0 2667149 0
[pid=10529/tid=10582] ppid=10526 vsize=10819352 memory=140621524238889 CPUtime=0.67 cores=0,2,4,6
/proc/10529/task/10582/stat : 10582 (java) R 10526 10529 9800 0 -1 4202560 12289 12984 0 0 57 2 5 3 20 0 15 0 47635974 11079016448 21618 33554432000 4194304 4196468 140724420797504 140297188156432 140297197899182 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10583] ppid=10526 vsize=10819352 memory=140621524238910 CPUtime=0.08 cores=0,2,4,6
/proc/10529/task/10583/stat : 10583 (java) S 10526 10529 9800 0 -1 1077944384 1 12984 0 0 0 0 5 3 20 0 15 0 47635975 11079016448 21618 33554432000 4194304 4196468 140724420797504 140297220578320 140297216345813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10584] ppid=10526 vsize=10819352 memory=140621524238911 CPUtime=0.08 cores=0,2,4,6
/proc/10529/task/10584/stat : 10584 (java) S 10526 10529 9800 0 -1 1077944384 2 12984 0 0 0 0 5 3 20 0 15 0 47635975 11079016448 21618 33554432000 4194304 4196468 140724420797504 140297124781200 140297216345813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10585] ppid=10526 vsize=10819352 memory=140621524238916 CPUtime=0.08 cores=0,2,4,6
/proc/10529/task/10585/stat : 10585 (java) S 10526 10529 9800 0 -1 1077944384 1 12984 0 0 0 0 5 3 20 0 15 0 47635975 11079016448 21618 33554432000 4194304 4196468 140724420797504 140297123728144 140297216345813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10586] ppid=10526 vsize=10819352 memory=140621524238917 CPUtime=0.08 cores=0,2,4,6
/proc/10529/task/10586/stat : 10586 (java) S 10526 10529 9800 0 -1 1077944384 2 12984 0 0 0 0 5 3 20 0 15 0 47635975 11079016448 21618 33554432000 4194304 4196468 140724420797504 140297122675600 140297216345813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10587] ppid=10526 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10529/task/10587/stat : 10587 (java) S 10526 10529 9800 0 -1 1077944384 5 12984 0 0 0 0 5 3 20 0 15 0 47635976 11079016448 21618 33554432000 4194304 4196468 140724420797504 140296675289328 140297216346754 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10588] ppid=10526 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10529/task/10588/stat : 10588 (java) S 10526 10529 9800 0 -1 1077944384 13 12984 0 0 0 0 5 3 20 0 15 0 47635977 11079016448 21618 33554432000 4194304 4196468 140724420797504 140296113349792 140297216345813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10589] ppid=10526 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10529/task/10589/stat : 10589 (java) S 10526 10529 9800 0 -1 1077944384 1 12984 0 0 0 0 5 3 20 0 15 0 47635977 11079016448 21618 33554432000 4194304 4196468 140724420797504 140295979131632 140297216345813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10590] ppid=10526 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10529/task/10590/stat : 10590 (java) S 10526 10529 9800 0 -1 1077944384 3 12984 0 0 0 0 5 3 20 0 15 0 47635980 11079016448 21618 33554432000 4194304 4196468 140724420797504 140295738841040 140297216354203 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10591] ppid=10526 vsize=10819352 memory=1 CPUtime=0.15 cores=0,2,4,6
/proc/10529/task/10591/stat : 10591 (java) S 10526 10529 9800 0 -1 1077944384 896 12984 0 0 7 0 5 3 20 0 15 0 47635980 11079016448 21618 33554432000 4194304 4196468 140724420797504 140296674237168 140297216346754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10592] ppid=10526 vsize=10819352 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/10529/task/10592/stat : 10592 (java) S 10526 10529 9800 0 -1 1077944384 719 12984 0 0 9 0 5 3 20 0 15 0 47635980 11079016448 21618 33554432000 4194304 4196468 140724420797504 140296673184624 140297216346754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10593] ppid=10526 vsize=10819352 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/10529/task/10593/stat : 10593 (java) S 10526 10529 9800 0 -1 1077944384 638 12984 0 0 13 0 5 3 20 0 15 0 47635980 11079016448 21618 33554432000 4194304 4196468 140724420797504 140296672131568 140297216346754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10594] ppid=10526 vsize=10819352 memory=5 CPUtime=0.08 cores=0,2,4,6
/proc/10529/task/10594/stat : 10594 (java) S 10526 10529 9800 0 -1 1077944384 3 12984 0 0 0 0 5 3 20 0 15 0 47635980 11079016448 21618 33554432000 4194304 4196468 140724420797504 140295705283424 140297216345813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10595] ppid=10526 vsize=10819352 memory=4008 CPUtime=0.08 cores=0,2,4,6
/proc/10529/task/10595/stat : 10595 (java) S 10526 10529 9800 0 -1 1077944384 1 12984 0 0 0 0 5 3 20 0 15 0 47635980 11079016448 21618 33554432000 4194304 4196468 140724420797504 140296671078960 140297216346754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86472 KiB

[startup+1.50065 s]
/proc/loadavg: 1.36 1.39 1.46 8/214 10626
/proc/meminfo: memFree=17957760/32770624 swapFree=67108860/67108860
[pid=10529] ppid=10526 vsize=10830156 memory=171760 CPUtime=3.11 cores=0,2,4,6
/proc/10529/stat : 10529 (java) S 10526 10529 9800 0 -1 1077944320 23152 12984 0 0 297 6 5 3 20 0 15 0 47635965 11090079744 42940 33554432000 4194304 4196468 140724420797504 140724420780048 140297216335607 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
/proc/10529/statm: 2707539 42940 3452 1 0 2669197 0
[pid=10529/tid=10582] ppid=10526 vsize=10830156 memory=1188 CPUtime=1.47 cores=0,2,4,6
/proc/10529/task/10582/stat : 10582 (java) R 10526 10529 9800 0 -1 4202560 15562 12984 0 0 134 5 5 3 20 0 15 0 47635974 11090079744 42940 33554432000 4194304 4196468 140724420797504 140297188168944 140297194467086 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10583] ppid=10526 vsize=10830156 memory=55088 CPUtime=0.08 cores=0,2,4,6
/proc/10529/task/10583/stat : 10583 (java) S 10526 10529 9800 0 -1 1077944384 1 12984 0 0 0 0 5 3 20 0 15 0 47635975 11090079744 42940 33554432000 4194304 4196468 140724420797504 140297220578320 140297216345813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10584] ppid=10526 vsize=10830156 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10529/task/10584/stat : 10584 (java) S 10526 10529 9800 0 -1 1077944384 2 12984 0 0 0 0 5 3 20 0 15 0 47635975 11090079744 42940 33554432000 4194304 4196468 140724420797504 140297124781200 140297216345813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10585] ppid=10526 vsize=10830156 memory=2244 CPUtime=0.08 cores=0,2,4,6
/proc/10529/task/10585/stat : 10585 (java) S 10526 10529 9800 0 -1 1077944384 1 12984 0 0 0 0 5 3 20 0 15 0 47635975 11090079744 42940 33554432000 4194304 4196468 140724420797504 140297123728144 140297216345813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10586] ppid=10526 vsize=10830156 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10529/task/10586/stat : 10586 (java) S 10526 10529 9800 0 -1 1077944384 2 12984 0 0 0 0 5 3 20 0 15 0 47635975 11090079744 42940 33554432000 4194304 4196468 140724420797504 140297122675600 140297216345813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10587] ppid=10526 vsize=10830156 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10529/task/10587/stat : 10587 (java) S 10526 10529 9800 0 -1 1077944384 6 12984 0 0 0 0 5 3 20 0 15 0 47635976 11090079744 42940 33554432000 4194304 4196468 140724420797504 140296675289328 140297216346754 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10588] ppid=10526 vsize=10830156 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10529/task/10588/stat : 10588 (java) S 10526 10529 9800 0 -1 1077944384 13 12984 0 0 0 0 5 3 20 0 15 0 47635977 11090079744 42940 33554432000 4194304 4196468 140724420797504 140296113349792 140297216345813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10589] ppid=10526 vsize=10830156 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10529/task/10589/stat : 10589 (java) S 10526 10529 9800 0 -1 1077944384 1 12984 0 0 0 0 5 3 20 0 15 0 47635977 11090079744 42940 33554432000 4194304 4196468 140724420797504 140295979131632 140297216345813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10590] ppid=10526 vsize=10830156 memory=10 CPUtime=0.08 cores=0,2,4,6
/proc/10529/task/10590/stat : 10590 (java) S 10526 10529 9800 0 -1 1077944384 3 12984 0 0 0 0 5 3 20 0 15 0 47635980 11090079744 42940 33554432000 4194304 4196468 140724420797504 140295738841040 140297216354203 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10591] ppid=10526 vsize=10830156 memory=7236276814495899986 CPUtime=0.64 cores=0,2,4,6
/proc/10529/task/10591/stat : 10591 (java) R 10526 10529 9800 0 -1 4202560 1774 12984 0 0 56 0 5 3 20 0 15 0 47635980 11090079744 42940 33554432000 4194304 4196468 140724420797504 140296674228624 140297201450662 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10592] ppid=10526 vsize=10830156 memory=7595440001688102255 CPUtime=0.63 cores=0,2,4,6
/proc/10529/task/10592/stat : 10592 (java) R 10526 10529 9800 0 -1 1077944384 1818 12984 0 0 55 0 5 3 20 0 15 0 47635980 11090079744 42940 33554432000 4194304 4196468 140724420797504 140296673184624 140297216346754 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10593] ppid=10526 vsize=10830156 memory=7596272203057096558 CPUtime=0.58 cores=0,2,4,6
/proc/10529/task/10593/stat : 10593 (java) R 10526 10529 9800 0 -1 4202560 1783 12984 0 0 50 0 5 3 20 0 15 0 47635980 11090079744 42940 33554432000 4194304 4196468 140724420797504 140296672131568 140297196664984 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0

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

/proc/10529/task/10582/stat : 10582 (java) R 10526 10529 9800 0 -1 4202560 92767 12984 0 0 230379 44 5 3 20 0 15 0 47635974 11180277760 294648 33554432000 4194304 4196468 140724420797504 140297188169696 140296826408794 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10583] ppid=10526 vsize=10918240 memory=1178592 CPUtime=10.36 cores=0,2,4,6
/proc/10529/task/10583/stat : 10583 (java) S 10526 10529 9800 0 -1 1077944384 13557 12984 0 0 948 80 5 3 20 0 15 0 47635975 11180277760 294648 33554432000 4194304 4196468 140724420797504 140297220578320 140297216345813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10584] ppid=10526 vsize=10918240 memory=1178592 CPUtime=10.34 cores=0,2,4,6
/proc/10529/task/10584/stat : 10584 (java) S 10526 10529 9800 0 -1 1077944384 15174 12984 0 0 945 81 5 3 20 0 15 0 47635975 11180277760 294648 33554432000 4194304 4196468 140724420797504 140297124781200 140297216345813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10585] ppid=10526 vsize=10918240 memory=1178592 CPUtime=10.27 cores=0,2,4,6
/proc/10529/task/10585/stat : 10585 (java) S 10526 10529 9800 0 -1 1077944384 12092 12984 0 0 936 83 5 3 20 0 15 0 47635975 11180277760 294648 33554432000 4194304 4196468 140724420797504 140297123728144 140297216345813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10586] ppid=10526 vsize=10918240 memory=1178592 CPUtime=10.38 cores=0,2,4,6
/proc/10529/task/10586/stat : 10586 (java) S 10526 10529 9800 0 -1 1077944384 16522 12984 0 0 950 80 5 3 20 0 15 0 47635975 11180277760 294648 33554432000 4194304 4196468 140724420797504 140297122675600 140297216345813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10587] ppid=10526 vsize=10918240 memory=1178592 CPUtime=5.42 cores=0,2,4,6
/proc/10529/task/10587/stat : 10587 (java) S 10526 10529 9800 0 -1 1077944384 17856 12984 0 0 503 31 5 3 20 0 15 0 47635976 11180277760 294648 33554432000 4194304 4196468 140724420797504 140296675289328 140297216346754 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10588] ppid=10526 vsize=10918240 memory=1178592 CPUtime=0.08 cores=0,2,4,6
/proc/10529/task/10588/stat : 10588 (java) S 10526 10529 9800 0 -1 1077944384 16 12984 0 0 0 0 5 3 20 0 15 0 47635977 11180277760 294648 33554432000 4194304 4196468 140724420797504 140296113349856 140297216345813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10589] ppid=10526 vsize=10918240 memory=1178592 CPUtime=0.08 cores=0,2,4,6
/proc/10529/task/10589/stat : 10589 (java) S 10526 10529 9800 0 -1 1077944384 6 12984 0 0 0 0 5 3 20 0 15 0 47635977 11180277760 294648 33554432000 4194304 4196468 140724420797504 140295979131648 140297216345813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10590] ppid=10526 vsize=10918240 memory=1178592 CPUtime=0.08 cores=0,2,4,6
/proc/10529/task/10590/stat : 10590 (java) S 10526 10529 9800 0 -1 1077944384 3 12984 0 0 0 0 5 3 20 0 15 0 47635980 11180277760 294648 33554432000 4194304 4196468 140724420797504 140295738841040 140297216354203 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10591] ppid=10526 vsize=10918240 memory=2340 CPUtime=13.38 cores=0,2,4,6
/proc/10529/task/10591/stat : 10591 (java) S 10526 10529 9800 0 -1 1077944384 73961 12984 0 0 1322 8 5 3 20 0 15 0 47635980 11180277760 294648 33554432000 4194304 4196468 140724420797504 140296674237168 140297216346754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10592] ppid=10526 vsize=10918240 memory=4140 CPUtime=13.37 cores=0,2,4,6
/proc/10529/task/10592/stat : 10592 (java) S 10526 10529 9800 0 -1 1077944384 67402 12984 0 0 1322 7 5 3 20 0 15 0 47635980 11180277760 294648 33554432000 4194304 4196468 140724420797504 140296673184624 140297216346754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10593] ppid=10526 vsize=10918240 memory=1178592 CPUtime=5.06 cores=0,2,4,6
/proc/10529/task/10593/stat : 10593 (java) S 10526 10529 9800 0 -1 1077944384 76709 12984 0 0 488 10 5 3 20 0 15 0 47635980 11180277760 294648 33554432000 4194304 4196468 140724420797504 140296672131568 140297216346754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10594] ppid=10526 vsize=10918240 memory=1178592 CPUtime=0.08 cores=0,2,4,6
/proc/10529/task/10594/stat : 10594 (java) S 10526 10529 9800 0 -1 1077944384 3 12984 0 0 0 0 5 3 20 0 15 0 47635980 11180277760 294648 33554432000 4194304 4196468 140724420797504 140295705283424 140297216345813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10595] ppid=10526 vsize=10918240 memory=1178592 CPUtime=1.18 cores=0,2,4,6
/proc/10529/task/10595/stat : 10595 (java) S 10526 10529 9800 0 -1 1077944384 1382 12984 0 0 57 53 5 3 20 0 15 0 47635980 11180277760 294648 33554432000 4194304 4196468 140724420797504 140296671078960 140297216346754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
Current children cumulated CPU time: 2383.44 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1178592 KiB

[startup+2382.3 s]
/proc/loadavg: 1.40 1.51 1.49 3/215 10798
/proc/meminfo: memFree=15909512/32770624 swapFree=67108860/67108860
[pid=10529] ppid=10526 vsize=10918240 memory=1171952 CPUtime=2444.19 cores=0,2,4,6
/proc/10529/stat : 10529 (java) S 10526 10529 9800 0 -1 1077944320 391472 12984 0 0 243971 440 5 3 20 0 15 0 47635965 11180277760 292988 33554432000 4194304 4196468 140724420797504 140724420780048 140297216335607 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
/proc/10529/statm: 2729560 292988 3540 1 0 2691213 0
[pid=10529/tid=10582] ppid=10526 vsize=10918240 memory=1171952 CPUtime=2363.83 cores=0,2,4,6
/proc/10529/task/10582/stat : 10582 (java) R 10526 10529 9800 0 -1 4202560 93612 12984 0 0 236331 44 5 3 20 0 15 0 47635974 11180277760 292988 33554432000 4194304 4196468 140724420797504 140297188169824 140296826962473 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10583] ppid=10526 vsize=10918240 memory=1171940 CPUtime=10.62 cores=0,2,4,6
/proc/10529/task/10583/stat : 10583 (java) S 10526 10529 9800 0 -1 1077944384 13698 12984 0 0 972 82 5 3 20 0 15 0 47635975 11180277760 292988 33554432000 4194304 4196468 140724420797504 140297220578320 140297216345813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10584] ppid=10526 vsize=10918240 memory=1171940 CPUtime=10.61 cores=0,2,4,6
/proc/10529/task/10584/stat : 10584 (java) S 10526 10529 9800 0 -1 1077944384 15364 12984 0 0 971 82 5 3 20 0 15 0 47635975 11180277760 292988 33554432000 4194304 4196468 140724420797504 140297124781200 140297216345813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10585] ppid=10526 vsize=10918240 memory=1171952 CPUtime=10.52 cores=0,2,4,6
/proc/10529/task/10585/stat : 10585 (java) S 10526 10529 9800 0 -1 1077944384 12246 12984 0 0 961 83 5 3 20 0 15 0 47635975 11180277760 292988 33554432000 4194304 4196468 140724420797504 140297123728144 140297216345813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10586] ppid=10526 vsize=10918240 memory=1171952 CPUtime=10.63 cores=0,2,4,6
/proc/10529/task/10586/stat : 10586 (java) S 10526 10529 9800 0 -1 1077944384 16767 12984 0 0 975 80 5 3 20 0 15 0 47635975 11180277760 292988 33554432000 4194304 4196468 140724420797504 140297122675600 140297216345813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10587] ppid=10526 vsize=10918240 memory=1171952 CPUtime=5.57 cores=0,2,4,6
/proc/10529/task/10587/stat : 10587 (java) S 10526 10529 9800 0 -1 1077944384 18093 12984 0 0 517 32 5 3 20 0 15 0 47635976 11180277760 292988 33554432000 4194304 4196468 140724420797504 140296675289328 140297216346754 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10588] ppid=10526 vsize=10918240 memory=1171952 CPUtime=0.08 cores=0,2,4,6
/proc/10529/task/10588/stat : 10588 (java) S 10526 10529 9800 0 -1 1077944384 16 12984 0 0 0 0 5 3 20 0 15 0 47635977 11180277760 292988 33554432000 4194304 4196468 140724420797504 140296113349856 140297216345813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10589] ppid=10526 vsize=10918240 memory=1171952 CPUtime=0.08 cores=0,2,4,6
/proc/10529/task/10589/stat : 10589 (java) S 10526 10529 9800 0 -1 1077944384 6 12984 0 0 0 0 5 3 20 0 15 0 47635977 11180277760 292988 33554432000 4194304 4196468 140724420797504 140295979131648 140297216345813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10590] ppid=10526 vsize=10918240 memory=1704 CPUtime=0.08 cores=0,2,4,6
/proc/10529/task/10590/stat : 10590 (java) S 10526 10529 9800 0 -1 1077944384 3 12984 0 0 0 0 5 3 20 0 15 0 47635980 11180277760 292988 33554432000 4194304 4196468 140724420797504 140295738841040 140297216354203 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10591] ppid=10526 vsize=10918240 memory=1171952 CPUtime=13.38 cores=0,2,4,6
/proc/10529/task/10591/stat : 10591 (java) S 10526 10529 9800 0 -1 1077944384 73963 12984 0 0 1322 8 5 3 20 0 15 0 47635980 11180277760 292988 33554432000 4194304 4196468 140724420797504 140296674237168 140297216346754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10592] ppid=10526 vsize=10918240 memory=1171952 CPUtime=13.37 cores=0,2,4,6
/proc/10529/task/10592/stat : 10592 (java) S 10526 10529 9800 0 -1 1077944384 67404 12984 0 0 1322 7 5 3 20 0 15 0 47635980 11180277760 292988 33554432000 4194304 4196468 140724420797504 140296673184624 140297216346754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10593] ppid=10526 vsize=10918240 memory=4140 CPUtime=5.06 cores=0,2,4,6
/proc/10529/task/10593/stat : 10593 (java) S 10526 10529 9800 0 -1 1077944384 76711 12984 0 0 488 10 5 3 20 0 15 0 47635980 11180277760 292988 33554432000 4194304 4196468 140724420797504 140296672131568 140297216346754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10594] ppid=10526 vsize=10918240 memory=15904 CPUtime=0.08 cores=0,2,4,6
/proc/10529/task/10594/stat : 10594 (java) S 10526 10529 9800 0 -1 1077944384 3 12984 0 0 0 0 5 3 20 0 15 0 47635980 11180277760 292988 33554432000 4194304 4196468 140724420797504 140295705283424 140297216345813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10595] ppid=10526 vsize=10918240 memory=1171952 CPUtime=1.21 cores=0,2,4,6
/proc/10529/task/10595/stat : 10595 (java) S 10526 10529 9800 0 -1 1077944384 1399 12984 0 0 58 55 5 3 20 0 15 0 47635980 11180277760 292988 33554432000 4194304 4196468 140724420797504 140296671078960 140297216346754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
Current children cumulated CPU time: 2444.19 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1171952 KiB

[startup+2442.3 s]
/proc/loadavg: 1.30 1.47 1.47 3/215 10799
/proc/meminfo: memFree=15910276/32770624 swapFree=67108860/67108860
[pid=10529] ppid=10526 vsize=10918240 memory=1171968 CPUtime=2504.93 cores=0,2,4,6
/proc/10529/stat : 10529 (java) S 10526 10529 9800 0 -1 1077944320 393501 12984 0 0 250041 444 5 3 20 0 15 0 47635965 11180277760 292992 33554432000 4194304 4196468 140724420797504 140724420780048 140297216335607 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
/proc/10529/statm: 2729560 292992 3540 1 0 2691213 0
[pid=10529/tid=10582] ppid=10526 vsize=10918240 memory=1171968 CPUtime=2423.39 cores=0,2,4,6
/proc/10529/task/10582/stat : 10582 (java) R 10526 10529 9800 0 -1 4202560 94359 12984 0 0 242287 44 5 3 20 0 15 0 47635974 11180277760 292992 33554432000 4194304 4196468 140724420797504 140297188170464 140296829702775 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10583] ppid=10526 vsize=10918240 memory=1171960 CPUtime=10.87 cores=0,2,4,6
/proc/10529/task/10583/stat : 10583 (java) S 10526 10529 9800 0 -1 1077944384 13816 12984 0 0 996 83 5 3 20 0 15 0 47635975 11180277760 292992 33554432000 4194304 4196468 140724420797504 140297220578320 140297216345813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10584] ppid=10526 vsize=10918240 memory=1171960 CPUtime=10.86 cores=0,2,4,6
/proc/10529/task/10584/stat : 10584 (java) S 10526 10529 9800 0 -1 1077944384 15605 12984 0 0 995 83 5 3 20 0 15 0 47635975 11180277760 292992 33554432000 4194304 4196468 140724420797504 140297124781200 140297216345813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10585] ppid=10526 vsize=10918240 memory=1171960 CPUtime=10.78 cores=0,2,4,6
/proc/10529/task/10585/stat : 10585 (java) S 10526 10529 9800 0 -1 1077944384 12262 12984 0 0 986 84 5 3 20 0 15 0 47635975 11180277760 292992 33554432000 4194304 4196468 140724420797504 140297123728144 140297216345813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10586] ppid=10526 vsize=10918240 memory=1171968 CPUtime=10.89 cores=0,2,4,6
/proc/10529/task/10586/stat : 10586 (java) S 10526 10529 9800 0 -1 1077944384 17228 12984 0 0 1000 81 5 3 20 0 15 0 47635975 11180277760 292992 33554432000 4194304 4196468 140724420797504 140297122675600 140297216345813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10587] ppid=10526 vsize=10918240 memory=1171968 CPUtime=5.71 cores=0,2,4,6
/proc/10529/task/10587/stat : 10587 (java) S 10526 10529 9800 0 -1 1077944384 18497 12984 0 0 530 33 5 3 20 0 15 0 47635976 11180277760 292992 33554432000 4194304 4196468 140724420797504 140296675289328 140297216346754 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10588] ppid=10526 vsize=10918240 memory=1171960 CPUtime=0.08 cores=0,2,4,6
/proc/10529/task/10588/stat : 10588 (java) S 10526 10529 9800 0 -1 1077944384 16 12984 0 0 0 0 5 3 20 0 15 0 47635977 11180277760 292992 33554432000 4194304 4196468 140724420797504 140296113349856 140297216345813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10589] ppid=10526 vsize=10918240 memory=1171968 CPUtime=0.08 cores=0,2,4,6
/proc/10529/task/10589/stat : 10589 (java) S 10526 10529 9800 0 -1 1077944384 6 12984 0 0 0 0 5 3 20 0 15 0 47635977 11180277760 292992 33554432000 4194304 4196468 140724420797504 140295979131648 140297216345813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10590] ppid=10526 vsize=10918240 memory=1171968 CPUtime=0.08 cores=0,2,4,6
/proc/10529/task/10590/stat : 10590 (java) S 10526 10529 9800 0 -1 1077944384 3 12984 0 0 0 0 5 3 20 0 15 0 47635980 11180277760 292992 33554432000 4194304 4196468 140724420797504 140295738841040 140297216354203 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10591] ppid=10526 vsize=10918240 memory=1171968 CPUtime=13.38 cores=0,2,4,6
/proc/10529/task/10591/stat : 10591 (java) S 10526 10529 9800 0 -1 1077944384 73967 12984 0 0 1322 8 5 3 20 0 15 0 47635980 11180277760 292992 33554432000 4194304 4196468 140724420797504 140296674237168 140297216346754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10592] ppid=10526 vsize=10918240 memory=1171968 CPUtime=13.37 cores=0,2,4,6
/proc/10529/task/10592/stat : 10592 (java) S 10526 10529 9800 0 -1 1077944384 67408 12984 0 0 1322 7 5 3 20 0 15 0 47635980 11180277760 292992 33554432000 4194304 4196468 140724420797504 140296673184624 140297216346754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10593] ppid=10526 vsize=10918240 memory=1171968 CPUtime=5.06 cores=0,2,4,6
/proc/10529/task/10593/stat : 10593 (java) S 10526 10529 9800 0 -1 1077944384 76715 12984 0 0 488 10 5 3 20 0 15 0 47635980 11180277760 292992 33554432000 4194304 4196468 140724420797504 140296672131568 140297216346754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10594] ppid=10526 vsize=10918240 memory=1171968 CPUtime=0.08 cores=0,2,4,6
/proc/10529/task/10594/stat : 10594 (java) S 10526 10529 9800 0 -1 1077944384 3 12984 0 0 0 0 5 3 20 0 15 0 47635980 11180277760 292992 33554432000 4194304 4196468 140724420797504 140295705283424 140297216345813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10595] ppid=10526 vsize=10918240 memory=1171968 CPUtime=1.24 cores=0,2,4,6
/proc/10529/task/10595/stat : 10595 (java) S 10526 10529 9800 0 -1 1077944384 1429 12984 0 0 60 56 5 3 20 0 15 0 47635980 11180277760 292992 33554432000 4194304 4196468 140724420797504 140296671078960 140297216346754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
Current children cumulated CPU time: 2504.93 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1171968 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2457.2 s]
/proc/loadavg: 1.25 1.44 1.47 6/215 10927
/proc/meminfo: memFree=16675344/32770624 swapFree=67108860/67108860
[pid=10529] ppid=10526 vsize=10918240 memory=1171968 CPUtime=2520.01 cores=0,2,4,6
/proc/10529/stat : 10529 (java) S 10526 10529 9800 0 -1 1077944320 393677 12984 0 0 251548 445 5 3 20 0 15 0 47635965 11180277760 292992 33554432000 4194304 4196468 140724420797504 140724420780048 140297216335607 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
/proc/10529/statm: 2729560 292992 3540 1 0 2691213 0
[pid=10529/tid=10582] ppid=10526 vsize=10918240 memory=13846365516073407 CPUtime=2438.17 cores=0,2,4,6
/proc/10529/task/10582/stat : 10582 (java) R 10526 10529 9800 0 -1 4202560 94476 12984 0 0 243765 44 5 3 20 0 15 0 47635974 11180277760 292992 33554432000 4194304 4196468 140724420797504 140297188170704 140296802369516 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10583] ppid=10526 vsize=10918240 memory=2340 CPUtime=10.93 cores=0,2,4,6
/proc/10529/task/10583/stat : 10583 (java) S 10526 10529 9800 0 -1 1077944384 13821 12984 0 0 1002 83 5 3 20 0 15 0 47635975 11180277760 292992 33554432000 4194304 4196468 140724420797504 140297220578320 140297216345813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10584] ppid=10526 vsize=10918240 memory=6791534058613427641 CPUtime=10.92 cores=0,2,4,6
/proc/10529/task/10584/stat : 10584 (java) S 10526 10529 9800 0 -1 1077944384 15618 12984 0 0 1001 83 5 3 20 0 15 0 47635975 11180277760 292992 33554432000 4194304 4196468 140724420797504 140297124781200 140297216345813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10585] ppid=10526 vsize=10918240 memory=928 CPUtime=10.84 cores=0,2,4,6
/proc/10529/task/10585/stat : 10585 (java) S 10526 10529 9800 0 -1 1077944384 12263 12984 0 0 992 84 5 3 20 0 15 0 47635975 11180277760 292992 33554432000 4194304 4196468 140724420797504 140297123728144 140297216345813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10586] ppid=10526 vsize=10918240 memory=2240 CPUtime=10.95 cores=0,2,4,6
/proc/10529/task/10586/stat : 10586 (java) S 10526 10529 9800 0 -1 1077944384 17258 12984 0 0 1006 81 5 3 20 0 15 0 47635975 11180277760 292992 33554432000 4194304 4196468 140724420797504 140297122675600 140297216345813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10587] ppid=10526 vsize=10918240 memory=4124 CPUtime=5.76 cores=0,2,4,6
/proc/10529/task/10587/stat : 10587 (java) S 10526 10529 9800 0 -1 1077944384 18505 12984 0 0 534 34 5 3 20 0 15 0 47635976 11180277760 292992 33554432000 4194304 4196468 140724420797504 140296675289328 140297216346754 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10588] ppid=10526 vsize=10918240 memory=2200 CPUtime=0.08 cores=0,2,4,6
/proc/10529/task/10588/stat : 10588 (java) S 10526 10529 9800 0 -1 1077944384 16 12984 0 0 0 0 5 3 20 0 15 0 47635977 11180277760 292992 33554432000 4194304 4196468 140724420797504 140296113349856 140297216345813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10589] ppid=10526 vsize=10918240 memory=7284 CPUtime=0.08 cores=0,2,4,6
/proc/10529/task/10589/stat : 10589 (java) S 10526 10529 9800 0 -1 1077944384 6 12984 0 0 0 0 5 3 20 0 15 0 47635977 11180277760 292992 33554432000 4194304 4196468 140724420797504 140295979131648 140297216345813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10590] ppid=10526 vsize=10918240 memory=840 CPUtime=0.08 cores=0,2,4,6
/proc/10529/task/10590/stat : 10590 (java) S 10526 10529 9800 0 -1 1077944384 3 12984 0 0 0 0 5 3 20 0 15 0 47635980 11180277760 292992 33554432000 4194304 4196468 140724420797504 140295738841040 140297216354203 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10591] ppid=10526 vsize=10918240 memory=1796 CPUtime=13.38 cores=0,2,4,6
/proc/10529/task/10591/stat : 10591 (java) S 10526 10529 9800 0 -1 1077944384 73967 12984 0 0 1322 8 5 3 20 0 15 0 47635980 11180277760 292992 33554432000 4194304 4196468 140724420797504 140296674237168 140297216346754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10592] ppid=10526 vsize=10918240 memory=912 CPUtime=13.37 cores=0,2,4,6
/proc/10529/task/10592/stat : 10592 (java) S 10526 10529 9800 0 -1 1077944384 67408 12984 0 0 1322 7 5 3 20 0 15 0 47635980 11180277760 292992 33554432000 4194304 4196468 140724420797504 140296673184624 140297216346754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10593] ppid=10526 vsize=10918240 memory=3852 CPUtime=5.06 cores=0,2,4,6
/proc/10529/task/10593/stat : 10593 (java) S 10526 10529 9800 0 -1 1077944384 76715 12984 0 0 488 10 5 3 20 0 15 0 47635980 11180277760 292992 33554432000 4194304 4196468 140724420797504 140296672131568 140297216346754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10594] ppid=10526 vsize=10918240 memory=1171968 CPUtime=0.08 cores=0,2,4,6
/proc/10529/task/10594/stat : 10594 (java) S 10526 10529 9800 0 -1 1077944384 3 12984 0 0 0 0 5 3 20 0 15 0 47635980 11180277760 292992 33554432000 4194304 4196468 140724420797504 140295705283424 140297216345813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
[pid=10529/tid=10595] ppid=10526 vsize=10918240 memory=1171968 CPUtime=1.24 cores=0,2,4,6
/proc/10529/task/10595/stat : 10595 (java) S 10526 10529 9800 0 -1 1077944384 1431 12984 0 0 60 56 5 3 20 0 15 0 47635980 11180277760 292992 33554432000 4194304 4196468 140724420797504 140296671078960 140297216346754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22355968 140724420802731 140724420805980 140724420805980 140724420808655 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1171968 KiB

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

[startup+2457.23 s]
# the end of solver process 10529 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.56 s, system=4.49598 s

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

Child status: 143
Real time (s): 2457.23
CPU time (s): 2520.06
CPU user time (s): 2515.56
CPU system time (s): 4.49598
CPU usage (%): 102.557
Max. virtual memory (cumulated for all children) (KiB): 10918240
Max. memory (cumulated for all children) (KiB): 2872344

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.56
system time used= 4.49598
maximum resident set size= 2872344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 408194
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 180000
involuntary context switches= 6308


# summary of solver processes directly reported to runsolver:
#   pid: 10529
#   total CPU time (s): 2520.06
#   total CPU user time (s): 2515.56
#   total CPU system time (s): 4.49598

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.5596 second user time and 24.258 second system time

The end

Launcher Data 

Begin job on node106 at 2018-07-23 01:05:31
IDJOB=4292950
IDBENCH=141045
IDSOLVER=2751
FILE ID=node106/4292950-1532300731
RUNJOBID= node106-1532295772-9831
PBS_JOBID= 21018983
Free space on /tmp= 53004 MiB

SOLVER NAME= Concrete 3.8-SuperNG 2018-06-13
BENCH NAME= XCSP18/NurseRostering/NurseRostering-14_c18.xml
COMMAND LINE= concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4292950-1532300731/watcher-4292950-1532300731 -o /tmp/evaluation-result-4292950-1532300731/solver-4292950-1532300731 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532295772-9831 --watchdog 2580  concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=2075947571 -superng HOME/instance-4292950-1532300731.xml

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

MD5SUM BENCH= 22d4927d0bd5c0ea6a9359fe3e752ee5
RANDOM SEED=2075947571

node106.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	: 5334.11
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	: 5334.11
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	: 5334.11
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	: 5334.11
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:        14185676 kB
MemAvailable:   28026948 kB
Buffers:          252896 kB
Cached:         13676428 kB
SwapCached:            0 kB
Active:          5282160 kB
Inactive:       12606584 kB
Active(anon):    3961988 kB
Inactive(anon):    17096 kB
Active(file):    1320172 kB
Inactive(file): 12589488 kB
Unevictable:        6920 kB
Mlocked:            6920 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             26308 kB
Writeback:             0 kB
AnonPages:       3976060 kB
Mapped:            49588 kB
Shmem:             17036 kB
Slab:             386964 kB
SReclaimable:     360072 kB
SUnreclaim:        26892 kB
KernelStack:        3792 kB
PageTables:        12872 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4958668 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3719168 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 52980 MiB
End job on node106 at 2018-07-23 01:46:28