Trace number 4304163

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.9.2? (TO) 2520.05 2454.73

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.74	c Concrete v3.9.2.1532736233296 running
16.65/6.45	c 05:13:26.606 [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
16.65/6.45	c 05:13:26.611 [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
16.65/6.46	c 05:13:26.616 [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
16.65/6.46	c 05:13:26.616 [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
16.65/6.46	c 05:13:26.617 [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
16.65/6.46	c 05:13:26.619 [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
16.65/6.46	c 05:13:26.619 [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
16.65/6.46	c 05:13:26.619 [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
16.65/6.46	c 05:13:26.620 [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
16.65/6.47	c 05:13:26.622 [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
16.65/6.47	c 05:13:26.623 [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
16.65/6.47	c 05:13:26.625 [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
16.65/6.47	c 05:13:26.626 [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
16.65/6.47	c 05:13:26.627 [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
16.65/6.47	c 05:13:26.629 [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
16.65/6.47	c 05:13:26.630 [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
16.65/6.47	c 05:13:26.631 [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
16.65/6.48	c 05:13:26.632 [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
16.65/6.48	c 05:13:26.634 [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
16.65/6.48	c 05:13:26.634 [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
16.65/6.48	c 05:13:26.635 [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
16.65/6.48	c 05:13:26.636 [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
16.65/6.48	c 05:13:26.636 [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
16.65/6.48	c 05:13:26.638 [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
16.65/6.48	c 05:13:26.638 [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
16.65/6.48	c 05:13:26.639 [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
16.65/6.48	c 05:13:26.641 [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
16.65/6.48	c 05:13:26.641 [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
16.65/6.49	c 05:13:26.643 [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
16.65/6.49	c 05:13:26.644 [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
16.65/6.49	c 05:13:26.646 [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
16.65/6.49	c 05:13:26.647 [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
16.65/6.49	c 05:13:26.648 [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
16.65/6.49	c 05:13:26.649 [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
16.65/6.49	c 05:13:26.650 [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
16.65/6.50	c 05:13:26.652 [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
16.97/6.50	c 05:13:26.653 [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
16.97/6.50	c 05:13:26.653 [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
16.97/6.50	c 05:13:26.654 [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
16.97/6.50	c 05:13:26.655 [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
16.97/6.50	c 05:13:26.656 [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
16.97/6.50	c 05:13:26.658 [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
16.97/6.50	c 05:13:26.659 [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
16.97/6.50	c 05:13:26.660 [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
16.97/6.51	c 05:13:26.661 [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
16.97/6.51	c 05:13:26.662 [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
16.97/6.51	c 05:13:26.664 [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
16.97/6.51	c 05:13:26.664 [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
16.97/6.51	c 05:13:26.666 [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
16.97/6.51	c 05:13:26.667 [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
16.97/6.51	c 05:13:26.667 [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
16.97/6.51	c 05:13:26.669 [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
16.97/6.52	c 05:13:26.670 [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
16.97/6.52	c 05:13:26.671 [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
16.97/6.52	c 05:13:26.671 [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
16.97/6.52	c 05:13:26.672 [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
16.97/6.52	c 05:13:26.674 [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
16.97/6.52	c 05:13:26.674 [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
16.97/6.52	c 05:13:26.675 [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
16.97/6.52	c 05:13:26.676 [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
16.97/6.52	c 05:13:26.677 [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
16.97/6.52	c 05:13:26.678 [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
16.97/6.52	c 05:13:26.680 [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
16.97/6.52	c 05:13:26.680 [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
16.97/6.52	c 05:13:26.681 [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
16.97/6.53	c 05:13:26.682 [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
16.97/6.53	c 05:13:26.684 [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
16.97/6.53	c 05:13:26.684 [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
16.97/6.53	c 05:13:26.685 [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
16.97/6.53	c 05:13:26.686 [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
16.97/6.53	c 05:13:26.687 [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
16.97/6.53	c 05:13:26.688 [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
16.97/6.53	c 05:13:26.688 [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
16.97/6.53	c 05:13:26.690 [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
16.97/6.53	c 05:13:26.690 [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
16.97/6.54	c 05:13:26.691 [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
16.97/6.54	c 05:13:26.692 [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
16.97/6.54	c 05:13:26.693 [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
16.97/6.54	c 05:13:26.694 [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
16.97/6.54	c 05:13:26.695 [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
16.97/6.54	c 05:13:26.696 [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
16.97/6.54	c 05:13:26.697 [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
16.97/6.55	c 05:13:26.698 [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
16.97/6.55	c 05:13:26.698 [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
16.97/6.55	c 05:13:26.699 [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
16.97/6.55	c 05:13:26.699 [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
16.97/6.55	c 05:13:26.700 [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
16.97/6.55	c 05:13:26.700 [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
16.97/6.55	c 05:13:26.700 [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
16.97/6.55	c 05:13:26.701 [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
16.97/6.55	c 05:13:26.701 [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
16.97/6.55	c 05:13:26.703 [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
16.97/6.55	c 05:13:26.703 [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
16.97/6.55	c 05:13:26.704 [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
16.97/6.55	c 05:13:26.704 [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
16.97/6.55	c 05:13:26.705 [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
16.97/6.55	c 05:13:26.706 [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
16.97/6.55	c 05:13:26.706 [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
16.97/6.55	c 05:13:26.706 [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
16.97/6.55	c 05:13:26.707 [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
16.97/6.55	c 05:13:26.707 [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
16.97/6.55	c 05:13:26.709 [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
16.97/6.55	c 05:13:26.709 [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
16.97/6.55	c 05:13:26.709 [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
16.97/6.55	c 05:13:26.711 [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
16.97/6.55	c 05:13:26.711 [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
16.97/6.56	c 05:13:26.712 [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
16.97/6.56	c 05:13:26.713 [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
16.97/6.56	c 05:13:26.714 [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
16.97/6.56	c 05:13:26.715 [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
16.97/6.56	c 05:13:26.716 [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
16.97/6.56	c 05:13:26.717 [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
16.97/6.56	c 05:13:26.718 [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
16.97/6.56	c 05:13:26.719 [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
16.97/6.56	c 05:13:26.720 [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
16.97/6.56	c 05:13:26.720 [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
16.97/6.56	c 05:13:26.721 [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
16.97/6.57	c 05:13:26.722 [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
16.97/6.57	c 05:13:26.723 [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
16.97/6.57	c 05:13:26.723 [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
16.97/6.57	c 05:13:26.724 [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
16.97/6.57	c 05:13:26.724 [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
16.97/6.57	c 05:13:26.725 [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
16.97/6.57	c 05:13:26.726 [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
16.97/6.57	c 05:13:26.728 [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
16.97/6.57	c 05:13:26.728 [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
16.97/6.57	c 05:13:26.728 [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
16.97/6.58	c 05:13:26.730 [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
16.97/6.58	c 05:13:26.730 [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
16.97/6.58	c 05:13:26.731 [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
16.97/6.58	c 05:13:26.731 [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
16.97/6.58	c 05:13:26.735 [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
16.97/6.58	c 05:13:26.737 [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
16.97/6.58	c 05:13:26.737 [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
16.97/6.58	c 05:13:26.738 [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
16.97/6.58	c 05:13:26.739 [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
16.97/6.58	c 05:13:26.739 [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
16.97/6.58	c 05:13:26.740 [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
16.97/6.58	c 05:13:26.741 [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
16.97/6.59	c 05:13:26.742 [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
16.97/6.59	c 05:13:26.742 [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
16.97/6.59	c 05:13:26.744 [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
16.97/6.59	c 05:13:26.744 [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
16.97/6.59	c 05:13:26.745 [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
16.97/6.59	c 05:13:26.745 [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
16.97/6.59	c 05:13:26.746 [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
16.97/6.59	c 05:13:26.747 [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
16.97/6.59	c 05:13:26.748 [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
16.97/6.59	c 05:13:26.748 [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
16.97/6.59	c 05:13:26.749 [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
16.97/6.59	c 05:13:26.749 [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
16.97/6.59	c 05:13:26.751 [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
16.97/6.60	c 05:13:26.752 [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.31/6.60	c 05:13:26.753 [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.31/6.60	c 05:13:26.753 [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.31/6.60	c 05:13:26.755 [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.31/6.60	c 05:13:26.756 [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.31/6.60	c 05:13:26.756 [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.31/6.60	c 05:13:26.758 [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.31/6.60	c 05:13:26.759 [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.31/6.60	c 05:13:26.759 [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.31/6.60	c 05:13:26.760 [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
17.31/6.60	c 05:13:26.760 [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
17.31/6.60	c 05:13:26.761 [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
17.31/6.61	c 05:13:26.762 [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
17.31/6.61	c 05:13:26.763 [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
17.31/6.61	c 05:13:26.764 [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
17.31/6.62	c 05:13:26.765 [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
17.31/6.62	c 05:13:26.766 [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
17.31/6.62	c 05:13:26.767 [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
17.31/6.62	c 05:13:26.768 [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
17.31/6.62	c 05:13:26.768 [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
17.31/6.62	c 05:13:26.770 [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
17.31/6.62	c 05:13:26.770 [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
17.31/6.62	c 05:13:26.772 [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
17.31/6.62	c 05:13:26.772 [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
17.31/6.62	c 05:13:26.773 [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
17.31/6.62	c 05:13:26.773 [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
17.31/6.62	c 05:13:26.774 [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
17.31/6.62	c 05:13:26.775 [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
17.31/6.62	c 05:13:26.776 [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
17.31/6.62	c 05:13:26.776 [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
17.31/6.62	c 05:13:26.777 [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
17.31/6.62	c 05:13:26.777 [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
17.31/6.62	c 05:13:26.778 [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
17.31/6.62	c 05:13:26.779 [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
17.31/6.62	c 05:13:26.779 [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
17.31/6.62	c 05:13:26.780 [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
17.31/6.62	c 05:13:26.781 [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
17.31/6.63	c 05:13:26.782 [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
17.31/6.63	c 05:13:26.783 [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
17.31/6.63	c 05:13:26.784 [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
17.31/6.63	c 05:13:26.785 [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
17.31/6.63	c 05:13:26.785 [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
17.31/6.63	c 05:13:26.786 [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
17.31/6.63	c 05:13:26.787 [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
17.31/6.63	c 05:13:26.787 [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
17.31/6.63	c 05:13:26.789 [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
17.31/6.63	c 05:13:26.789 [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
17.31/6.63	c 05:13:26.790 [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
17.31/6.63	c 05:13:26.791 [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
17.31/6.64	c 05:13:26.792 [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
17.31/6.64	c 05:13:26.793 [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
17.31/6.64	c 05:13:26.794 [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
17.31/6.64	c 05:13:26.795 [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
17.31/6.64	c 05:13:26.796 [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
17.31/6.64	c 05:13:26.797 [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
17.31/6.64	c 05:13:26.798 [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
17.31/6.64	c 05:13:26.798 [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
17.31/6.64	c 05:13:26.798 [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
17.31/6.64	c 05:13:26.799 [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
17.31/6.64	c 05:13:26.800 [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
17.31/6.64	c 05:13:26.800 [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
17.31/6.64	c 05:13:26.801 [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
17.31/6.65	c 05:13:26.802 [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
17.31/6.65	c 05:13:26.802 [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
17.31/6.65	c 05:13:26.803 [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
17.31/6.65	c 05:13:26.803 [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
17.31/6.65	c 05:13:26.804 [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
17.31/6.65	c 05:13:26.805 [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
17.31/6.65	c 05:13:26.805 [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
17.31/6.67	c 05:13:26.829 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23323. 'extension(x[1][24]=[0‥4]) :: init: true :: relation: Empty MDD
17.31/6.67	c 05:13:26.830 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23325. 'extension(x[1][24]=[0‥4]) :: init: true :: relation: Empty MDD
17.31/6.67	c 05:13:26.830 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23331. 'extension(x[0][9]=[0‥4]) :: init: true :: relation: Empty MDD
17.31/6.67	c 05:13:26.830 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23335. 'extension(x[0][11]=[0‥4]) :: init: true :: relation: Empty MDD
17.31/6.67	c 05:13:26.830 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23337. 'extension(x[2][11]=[0‥4]) :: init: true :: relation: Empty MDD
17.31/6.67	c 05:13:26.831 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23349. 'extension(x[0][23]=[0‥4]) :: init: true :: relation: Empty MDD
17.31/6.67	c 05:13:26.831 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23351. 'extension(x[2][23]=[0‥4]) :: init: true :: relation: Empty MDD
17.31/6.68	c 05:13:26.832 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23363. 'extension(x[3][9]=[0‥4]) :: init: true :: relation: Empty MDD
17.31/6.68	c 05:13:26.833 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23377. 'extension(x[1][13]=[0‥4]) :: init: true :: relation: Empty MDD
17.31/6.68	c 05:13:26.833 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23383. 'extension(x[3][20]=[0‥4]) :: init: true :: relation: Empty MDD
17.31/6.68	c 05:13:26.834 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23395. 'extension(x[2][10]=[0‥4]) :: init: true :: relation: Empty MDD
17.31/6.68	c 05:13:26.834 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23401. 'extension(x[4][13]=[0‥4]) :: init: true :: relation: Empty MDD
17.31/6.68	c 05:13:26.835 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23419. 'extension(wk[10][0]=[0‥1]) :: init: true :: relation: Empty MDD
17.31/6.68	c 05:13:26.835 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23421. 'extension(wk[10][0]=[0‥1]) :: init: true :: relation: Empty MDD
17.31/6.68	c 05:13:26.835 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23423. 'extension(x[7][10]=[0‥4]) :: init: true :: relation: Empty MDD
17.31/6.68	c 05:13:26.836 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23433. 'extension(wk[30][0]=[0‥1]) :: init: true :: relation: Empty MDD
17.31/6.68	c 05:13:26.836 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23435. 'extension(x[5][30]=[0‥4]) :: init: true :: relation: Empty MDD
17.31/6.68	c 05:13:26.836 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23437. 'extension(x[7][30]=[0‥4]) :: init: true :: relation: Empty MDD
17.31/6.68	c 05:13:26.836 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23447. 'extension(x[6][11]=[0‥4]) :: init: true :: relation: Empty MDD
17.31/6.68	c 05:13:26.837 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23449. 'extension(x[8][11]=[0‥4]) :: init: true :: relation: Empty MDD
17.31/6.68	c 05:13:26.837 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23463. 'extension(x[6][21]=[0‥4]) :: init: true :: relation: Empty MDD
17.31/6.68	c 05:13:26.838 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23465. 'extension(x[8][21]=[0‥4]) :: init: true :: relation: Empty MDD
17.31/6.68	c 05:13:26.839 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23481. 'extension(x[6][22]=[0‥4]) :: init: true :: relation: Empty MDD
17.31/6.68	c 05:13:26.839 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23487. 'extension(x[6][31]=[0‥4]) :: init: true :: relation: Empty MDD
17.31/6.68	c 05:13:26.839 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23497. 'extension(x[7][30]=[0‥4]) :: init: true :: relation: Empty MDD
17.31/6.68	c 05:13:26.840 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23499. 'extension(x[9][30]=[0‥4]) :: init: true :: relation: Empty MDD
17.31/6.68	c 05:13:26.840 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23515. 'extension(x[9][6]=[0‥4]) :: init: true :: relation: Empty MDD
17.31/6.68	c 05:13:26.841 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23521. 'extension(x[11][22]=[0‥4]) :: init: true :: relation: Empty MDD
17.31/6.69	c 05:13:26.841 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23533. 'extension(x[9][24]=[0‥4]) :: init: true :: relation: Empty MDD
17.31/6.69	c 05:13:26.842 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23539. 'extension(x[11][31]=[0‥4]) :: init: true :: relation: Empty MDD
17.31/6.69	c 05:13:26.842 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23547. 'extension(x[10][2]=[0‥4]) :: init: true :: relation: Empty MDD
17.31/6.69	c 05:13:26.842 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23549. 'extension(x[12][2]=[0‥4]) :: init: true :: relation: Empty MDD
17.31/6.69	c 05:13:26.843 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23563. 'extension(x[12][6]=[0‥4]) :: init: true :: relation: Empty MDD
17.31/6.69	c 05:13:26.844 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23581. 'extension(x[10][25]=[0‥4]) :: init: true :: relation: Empty MDD
17.31/6.69	c 05:13:26.844 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23583. 'extension(x[12][25]=[0‥4]) :: init: true :: relation: Empty MDD
17.31/6.69	c 05:13:26.845 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23599. 'extension(wk[13][1]=[0‥1]) :: init: true :: relation: Empty MDD
17.31/6.69	c 05:13:26.845 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23601. 'extension(x[11][13]=[0‥4]) :: init: true :: relation: Empty MDD
17.31/6.69	c 05:13:26.846 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23607. 'extension(wk[24][1]=[0‥1]) :: init: true :: relation: Empty MDD
17.31/6.69	c 05:13:26.846 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23609. 'extension(x[13][24]=[0‥4]) :: init: true :: relation: Empty MDD
17.31/6.69	c 05:13:26.847 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23623. 'extension(wk[5][1]=[0‥1]) :: init: true :: relation: Empty MDD
17.31/6.69	c 05:13:26.847 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23625. 'extension(x[12][5]=[0‥4]) :: init: true :: relation: Empty MDD
17.31/6.69	c 05:13:26.847 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23627. 'extension(x[14][5]=[0‥4]) :: init: true :: relation: Empty MDD
17.31/6.69	c 05:13:26.848 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23641. 'extension(wk[13][1]=[0‥1]) :: init: true :: relation: Empty MDD
17.31/6.69	c 05:13:26.848 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23643. 'extension(x[14][13]=[0‥4]) :: init: true :: relation: Empty MDD
17.31/6.69	c 05:13:26.848 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23657. 'extension(x[13][0]=[0‥4]) :: init: true :: relation: Empty MDD
17.31/6.69	c 05:13:26.849 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23663. 'extension(x[13][14]=[0‥4]) :: init: true :: relation: Empty MDD
17.31/6.69	c 05:13:26.849 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23669. 'extension(x[13][27]=[0‥4]) :: init: true :: relation: Empty MDD
17.31/6.69	c 05:13:26.849 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23671. 'extension(x[15][27]=[0‥4]) :: init: true :: relation: Empty MDD
17.31/6.69	c 05:13:26.850 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23691. 'extension(x[15][2]=[0‥4]) :: init: true :: relation: Empty MDD
17.31/6.69	c 05:13:26.851 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23697. 'extension(x[18][0]=[0‥4]) :: init: true :: relation: Empty MDD
17.31/6.69	c 05:13:26.851 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23707. 'extension(x[18][2]=[0‥4]) :: init: true :: relation: Empty MDD
17.31/6.70	c 05:13:26.852 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23721. 'extension(x[16][4]=[0‥4]) :: init: true :: relation: Empty MDD
17.31/6.70	c 05:13:26.852 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23727. 'extension(x[18][14]=[0‥4]) :: init: true :: relation: Empty MDD
17.63/6.70	c 05:13:26.853 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23737. 'extension(x[16][29]=[0‥4]) :: init: true :: relation: Empty MDD
17.63/6.70	c 05:13:26.853 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23743. 'extension(x[17][3]=[0‥4]) :: init: true :: relation: Empty MDD
17.63/6.70	c 05:13:26.853 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23755. 'extension(wk[1][2]=[0‥1]) :: init: true :: relation: Empty MDD
17.63/6.70	c 05:13:26.854 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23757. 'extension(x[18][1]=[0‥4]) :: init: true :: relation: Empty MDD
17.63/6.70	c 05:13:26.854 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23763. 'extension(wk[3][2]=[0‥1]) :: init: true :: relation: Empty MDD
17.63/6.70	c 05:13:26.854 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23769. 'extension(wk[4][2]=[0‥1]) :: init: true :: relation: Empty MDD
17.63/6.70	c 05:13:26.854 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23771. 'extension(wk[18][2]=[0‥1]) :: init: true :: relation: Empty MDD
17.63/6.70	c 05:13:26.855 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23773. 'extension(x[18][18]=[0‥4]) :: init: true :: relation: Empty MDD
17.63/6.70	c 05:13:26.855 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23775. 'extension(x[20][18]=[0‥4]) :: init: true :: relation: Empty MDD
17.63/6.70	c 05:13:26.855 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23789. 'extension(wk[29][2]=[0‥1]) :: init: true :: relation: Empty MDD
17.63/6.70	c 05:13:26.856 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23791. 'extension(wk[1][2]=[0‥1]) :: init: true :: relation: Empty MDD
17.63/6.70	c 05:13:26.856 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23793. 'extension(x[21][1]=[0‥4]) :: init: true :: relation: Empty MDD
17.63/6.70	c 05:13:26.856 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23807. 'extension(wk[3][2]=[0‥1]) :: init: true :: relation: Empty MDD
17.63/6.70	c 05:13:26.857 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23809. 'extension(wk[4][2]=[0‥1]) :: init: true :: relation: Empty MDD
17.63/6.70	c 05:13:26.857 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23811. 'extension(x[21][4]=[0‥4]) :: init: true :: relation: Empty MDD
17.63/6.70	c 05:13:26.857 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23821. 'extension(wk[15][2]=[0‥1]) :: init: true :: relation: Empty MDD
17.63/6.70	c 05:13:26.857 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23823. 'extension(x[19][15]=[0‥4]) :: init: true :: relation: Empty MDD
17.63/6.70	c 05:13:26.858 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23825. 'extension(x[21][15]=[0‥4]) :: init: true :: relation: Empty MDD
17.63/6.70	c 05:13:26.858 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23839. 'extension(wk[29][2]=[0‥1]) :: init: true :: relation: Empty MDD
17.63/6.70	c 05:13:26.859 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23841. 'extension(x[21][29]=[0‥4]) :: init: true :: relation: Empty MDD
17.63/6.70	c 05:13:26.859 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23849. 'extension(x[22][3]=[0‥4]) :: init: true :: relation: Empty MDD
17.63/6.70	c 05:13:26.859 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23859. 'extension(x[20][30]=[0‥4]) :: init: true :: relation: Empty MDD
17.63/6.70	c 05:13:26.860 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23861. 'extension(x[22][30]=[0‥4]) :: init: true :: relation: Empty MDD
17.63/6.70	c 05:13:26.860 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23873. 'extension(x[22][12]=[0‥4]) :: init: true :: relation: Empty MDD
17.63/6.70	c 05:13:26.861 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23879. 'extension(x[23][5]=[0‥4]) :: init: true :: relation: Empty MDD
17.63/6.70	c 05:13:26.861 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23889. 'extension(x[23][18]=[0‥4]) :: init: true :: relation: Empty MDD
17.63/6.70	c 05:13:26.861 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23895. 'extension(x[23][27]=[0‥4]) :: init: true :: relation: Empty MDD
17.63/6.71	c 05:13:26.862 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23905. 'extension(x[24][11]=[0‥4]) :: init: true :: relation: Empty MDD
17.63/6.71	c 05:13:26.862 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23915. 'extension(x[26][27]=[0‥4]) :: init: true :: relation: Empty MDD
17.63/6.71	c 05:13:26.863 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23925. 'extension(x[24][30]=[0‥4]) :: init: true :: relation: Empty MDD
17.63/6.71	c 05:13:26.863 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23927. 'extension(x[26][30]=[0‥4]) :: init: true :: relation: Empty MDD
17.63/6.71	c 05:13:26.864 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23939. 'extension(wk[5][3]=[0‥1]) :: init: true :: relation: Empty MDD
17.63/6.71	c 05:13:26.864 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23941. 'extension(x[27][5]=[0‥4]) :: init: true :: relation: Empty MDD
17.63/6.71	c 05:13:26.864 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23951. 'extension(wk[8][3]=[0‥1]) :: init: true :: relation: Empty MDD
17.63/6.71	c 05:13:26.864 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23953. 'extension(x[25][8]=[0‥4]) :: init: true :: relation: Empty MDD
17.63/6.71	c 05:13:26.865 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23959. 'extension(wk[11][3]=[0‥1]) :: init: true :: relation: Empty MDD
17.63/6.71	c 05:13:26.865 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23961. 'extension(x[27][11]=[0‥4]) :: init: true :: relation: Empty MDD
17.63/6.71	c 05:13:26.865 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23975. 'extension(wk[12][3]=[0‥1]) :: init: true :: relation: Empty MDD
17.63/6.71	c 05:13:26.866 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23977. 'extension(x[27][12]=[0‥4]) :: init: true :: relation: Empty MDD
17.63/6.71	c 05:13:26.866 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23987. 'extension(wk[18][3]=[0‥1]) :: init: true :: relation: Empty MDD
17.63/6.71	c 05:13:26.866 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23989. 'extension(x[27][18]=[0‥4]) :: init: true :: relation: Empty MDD
17.63/6.71	c 05:13:26.867 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23999. 'extension(wk[26][3]=[0‥1]) :: init: true :: relation: Empty MDD
17.63/6.71	c 05:13:26.867 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24001. 'extension(x[25][26]=[0‥4]) :: init: true :: relation: Empty MDD
17.63/6.71	c 05:13:26.867 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24003. 'extension(x[27][26]=[0‥4]) :: init: true :: relation: Empty MDD
17.63/6.71	c 05:13:26.868 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24019. 'extension(wk[8][3]=[0‥1]) :: init: true :: relation: Empty MDD
17.63/6.72	c 05:13:26.868 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24025. 'extension(wk[16][3]=[0‥1]) :: init: true :: relation: Empty MDD
17.63/6.72	c 05:13:26.869 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24027. 'extension(x[26][16]=[0‥4]) :: init: true :: relation: Empty MDD
17.63/6.72	c 05:13:26.869 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24033. 'extension(x[29][8]=[0‥4]) :: init: true :: relation: Empty MDD
17.63/6.72	c 05:13:26.869 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24043. 'extension(x[29][16]=[0‥4]) :: init: true :: relation: Empty MDD
17.63/6.72	c 05:13:26.870 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24057. 'extension(x[27][19]=[0‥4]) :: init: true :: relation: Empty MDD
17.63/6.72	c 05:13:26.870 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24059. 'extension(x[29][19]=[0‥4]) :: init: true :: relation: Empty MDD
17.63/6.72	c 05:13:26.871 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24073. 'extension(x[28][17]=[0‥4]) :: init: true :: relation: Empty MDD
17.63/6.72	c 05:13:26.871 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24083. 'extension(x[29][21]=[0‥4]) :: init: true :: relation: Empty MDD
17.63/6.72	c 05:13:26.872 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24085. 'extension(x[31][21]=[0‥4]) :: init: true :: relation: Empty MDD
17.63/6.72	c 05:13:26.872 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24101. 'extension(x[29][23]=[0‥4]) :: init: true :: relation: Empty MDD
17.63/6.72	c 05:13:26.873 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24107. 'extension(x[30][8]=[0‥4]) :: init: true :: relation: Empty MDD
17.63/6.72	c 05:13:26.873 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24109. 'extension(x[32][8]=[0‥4]) :: init: true :: relation: Empty MDD
17.63/6.72	c 05:13:26.874 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24123. 'extension(x[30][9]=[0‥4]) :: init: true :: relation: Empty MDD
17.63/6.72	c 05:13:26.874 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24129. 'extension(x[30][16]=[0‥4]) :: init: true :: relation: Empty MDD
17.63/6.72	c 05:13:26.874 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24135. 'extension(x[30][19]=[0‥4]) :: init: true :: relation: Empty MDD
17.63/6.72	c 05:13:26.875 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24145. 'extension(x[33][9]=[0‥4]) :: init: true :: relation: Empty MDD
17.63/6.72	c 05:13:26.876 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24159. 'extension(x[33][16]=[0‥4]) :: init: true :: relation: Empty MDD
17.63/6.72	c 05:13:26.876 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24173. 'extension(x[33][17]=[0‥4]) :: init: true :: relation: Empty MDD
17.63/6.72	c 05:13:26.877 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24187. 'extension(x[33][23]=[0‥4]) :: init: true :: relation: Empty MDD
17.63/6.72	c 05:13:26.877 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24201. 'extension(x[31][27]=[0‥4]) :: init: true :: relation: Empty MDD
17.63/6.72	c 05:13:26.878 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24203. 'extension(x[33][27]=[0‥4]) :: init: true :: relation: Empty MDD
17.63/6.72	c 05:13:26.878 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24215. 'extension(wk[15][4]=[0‥1]) :: init: true :: relation: Empty MDD
17.63/6.72	c 05:13:26.879 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24217. 'extension(x[32][15]=[0‥4]) :: init: true :: relation: Empty MDD
17.63/6.72	c 05:13:26.879 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24223. 'extension(wk[19][4]=[0‥1]) :: init: true :: relation: Empty MDD
17.63/6.72	c 05:13:26.879 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24225. 'extension(x[34][19]=[0‥4]) :: init: true :: relation: Empty MDD
17.63/6.72	c 05:13:26.880 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24235. 'extension(wk[15][4]=[0‥1]) :: init: true :: relation: Empty MDD
17.63/6.72	c 05:13:26.880 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24241. 'extension(wk[21][4]=[0‥1]) :: init: true :: relation: Empty MDD
17.63/6.72	c 05:13:26.880 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24243. 'extension(x[33][21]=[0‥4]) :: init: true :: relation: Empty MDD
17.63/6.72	c 05:13:26.880 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24249. 'extension(wk[28][4]=[0‥1]) :: init: true :: relation: Empty MDD
17.63/6.72	c 05:13:26.881 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24251. 'extension(x[33][28]=[0‥4]) :: init: true :: relation: Empty MDD
17.63/6.74	c 05:13:26.881 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24257. 'extension(x[34][7]=[0‥4]) :: init: true :: relation: Empty MDD
17.63/6.74	c 05:13:26.881 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24263. 'extension(x[36][15]=[0‥4]) :: init: true :: relation: Empty MDD
17.63/6.74	c 05:13:26.882 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24273. 'extension(x[36][21]=[0‥4]) :: init: true :: relation: Empty MDD
17.63/6.74	c 05:13:26.883 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24295. 'extension(x[35][25]=[0‥4]) :: init: true :: relation: Empty MDD
17.63/6.74	c 05:13:26.883 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24301. 'extension(x[36][20]=[0‥4]) :: init: true :: relation: Empty MDD
17.63/6.74	c 05:13:26.883 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24303. 'extension(x[38][20]=[0‥4]) :: init: true :: relation: Empty MDD
17.63/6.74	c 05:13:26.884 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24323. 'extension(x[38][28]=[0‥4]) :: init: true :: relation: Empty MDD
17.63/6.74	c 05:13:26.885 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24331. 'extension(x[39][7]=[0‥4]) :: init: true :: relation: Empty MDD
17.63/6.74	c 05:13:26.885 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24341. 'extension(x[39][25]=[0‥4]) :: init: true :: relation: Empty MDD
17.63/6.74	c 05:13:26.886 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24355. 'extension(x[38][1]=[0‥4]) :: init: true :: relation: Empty MDD
17.63/6.74	c 05:13:26.886 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24361. 'extension(x[38][6]=[0‥4]) :: init: true :: relation: Empty MDD
17.63/6.74	c 05:13:26.886 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24367. 'extension(x[38][26]=[0‥4]) :: init: true :: relation: Empty MDD
17.63/6.74	c 05:13:26.887 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24373. 'extension(wk[1][5]=[0‥1]) :: init: true :: relation: Empty MDD
17.63/6.74	c 05:13:26.887 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24375. 'extension(x[41][1]=[0‥4]) :: init: true :: relation: Empty MDD
17.63/6.74	c 05:13:26.888 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24387. 'extension(wk[2][5]=[0‥1]) :: init: true :: relation: Empty MDD
17.63/6.74	c 05:13:26.888 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24389. 'extension(x[39][2]=[0‥4]) :: init: true :: relation: Empty MDD
17.63/6.74	c 05:13:26.888 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24391. 'extension(x[41][2]=[0‥4]) :: init: true :: relation: Empty MDD
17.63/6.74	c 05:13:26.888 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24403. 'extension(wk[6][5]=[0‥1]) :: init: true :: relation: Empty MDD
17.63/6.74	c 05:13:26.889 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24405. 'extension(x[41][6]=[0‥4]) :: init: true :: relation: Empty MDD
17.63/6.74	c 05:13:26.889 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24417. 'extension(wk[26][5]=[0‥1]) :: init: true :: relation: Empty MDD
17.63/6.74	c 05:13:26.889 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24423. 'extension(wk[26][5]=[0‥1]) :: init: true :: relation: Empty MDD
2520.01/2454.70	Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
2520.01/2454.70		at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24)
2520.01/2454.70		at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53)
2520.01/2454.70		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:142)
2520.01/2454.70		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:5)
2520.01/2454.71		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126)
2520.01/2454.71		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:8)
2520.01/2454.71		at concrete.heuristic.value.BestCost.select(BestCost.scala:53)
2520.01/2454.71		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.01/2454.71		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
2520.01/2454.71		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.01/2454.71		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.01/2454.71		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
2520.01/2454.71		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.01/2454.71		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.01/2454.71		at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:109)
2520.01/2454.71		at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
2520.01/2454.71		at scala.Option.map(Option.scala:146)
2520.01/2454.71		at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
2520.01/2454.71		at concrete.MAC.mac(MAC.scala:203)
2520.01/2454.71		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.01/2454.71		at scala.util.Try$.apply(Try.scala:209)
2520.01/2454.71		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.01/2454.71		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.01/2454.71		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.01/2454.71		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.01/2454.71		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.01/2454.71		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.01/2454.71		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.01/2454.71		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.01/2454.71		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.01/2454.71		at concrete.MAC.oneRun(MAC.scala:253)
2520.01/2454.71		at concrete.MAC.nextSolution(MAC.scala:272)
2520.01/2454.71		at concrete.MAC.$anonfun$nextSolution$5(MAC.scala:336)
2520.01/2454.71		at concrete.ProblemState.map(ProblemState.scala:221)
2520.01/2454.71		at concrete.ProblemState.map(ProblemState.scala:204)
2520.01/2454.71		at concrete.MAC.nextSolution(MAC.scala:334)
2520.01/2454.71		at concrete.Solver.hasNext(Solver.scala:166)
2520.01/2454.71		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.01/2454.71		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.01/2454.71		at concrete.Solver.foreach(Solver.scala:68)
2520.01/2454.71		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.01/2454.71		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.01/2454.71		at scala.util.Success.map(Try.scala:209)
2520.01/2454.71		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.01/2454.71		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.01/2454.71		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.01/2454.71		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.01/2454.71		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.01/2454.71		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.01/2454.71		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.01/2454.71		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.01/2454.71		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.01/2454.71		at scala.collection.immutable.List.foreach(List.scala:389)
2520.01/2454.71		at scala.App.main(App.scala:76)
2520.01/2454.71		at scala.App.main$(App.scala:74)
2520.01/2454.71		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.01/2454.71		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.01/2454.72	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 (2183 MiB free)
  memory of node 1: 16384 MiB (3253 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304163-1534043599/watcher-4304163-1534043599 -o /tmp/evaluation-result-4304163-1534043599/solver-4304163-1534043599 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534041135-17409 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1651745534 HOME/instance-4304163-1534043599.xml 

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

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


[startup+0.10081 s]*
/proc/loadavg: 1.34 1.31 1.32 2/207 17788
/proc/meminfo: memFree=5556760/32770624 swapFree=67108404/67108860
[pid=17731] ppid=17728 vsize=10005480 memory=18324 CPUtime=0.09 cores=1,3,5,7
/proc/17731/stat : 17731 (java) S 17728 17731 15321 0 -1 1077944320 4250 13320 0 0 1 0 5 3 20 0 6 0 221923111 10245611520 4581 33554432000 4194304 4196468 140727530025680 140727530008224 140435514867447 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
/proc/17731/statm: 2501370 4581 1930 1 0 2489808 0
[pid=17731/tid=17784] ppid=17728 vsize=10005480 memory=4279135703980081295 CPUtime=0.09 cores=1,3,5,7
/proc/17731/task/17784/stat : 17784 (java) R 17728 17731 15321 0 -1 4202560 2061 13320 0 0 1 0 5 3 20 0 6 0 221923120 10245611520 4581 33554432000 4194304 4196468 140727530025680 140435486704208 140435514889373 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17785] ppid=17728 vsize=10005480 memory=-7522837583129502606 CPUtime=0.08 cores=1,3,5,7
/proc/17731/task/17785/stat : 17785 (java) S 17728 17731 15321 0 -1 1077944384 1 13320 0 0 0 0 5 3 20 0 6 0 221923121 10245611520 4581 33554432000 4194304 4196468 140727530025680 140435519109904 140435514877653 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17786] ppid=17728 vsize=10005480 memory=140139408426624 CPUtime=0.08 cores=1,3,5,7
/proc/17731/task/17786/stat : 17786 (java) S 17728 17731 15321 0 -1 1077944384 1 13320 0 0 0 0 5 3 20 0 6 0 221923121 10245611520 4581 33554432000 4194304 4196468 140727530025680 140435373829008 140435514877653 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17787] ppid=17728 vsize=10005480 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17731/task/17787/stat : 17787 (java) S 17728 17731 15321 0 -1 1077944384 1 13320 0 0 0 0 5 3 20 0 6 0 221923121 10245611520 4581 33554432000 4194304 4196468 140727530025680 140435372776464 140435514877653 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17788] ppid=17728 vsize=10005480 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/17731/task/17788/stat : 17788 (java) S 17728 17731 15321 0 -1 1077944384 2 13320 0 0 0 0 5 3 20 0 6 0 221923121 10245611520 4581 33554432000 4194304 4196468 140727530025680 140435371723920 140435514877653 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18324 KiB

[startup+0.210174 s]*
/proc/loadavg: 1.34 1.31 1.32 2/200 17799
/proc/meminfo: memFree=6558612/32770624 swapFree=67108404/67108860
[pid=17731] ppid=17728 vsize=10982744 memory=46264 CPUtime=0.26 cores=1,3,5,7
/proc/17731/stat : 17731 (java) S 17728 17731 15321 0 -1 1077944320 7770 13320 0 0 17 1 5 3 20 0 15 0 221923111 11246329856 11566 33554432000 4194304 4196468 140727530025680 140727530008224 140435514867447 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
/proc/17731/statm: 2745686 11566 2963 1 0 2708109 0
[pid=17731/tid=17784] ppid=17728 vsize=10982744 memory=7311146985107750967 CPUtime=0.19 cores=1,3,5,7
/proc/17731/task/17784/stat : 17784 (java) R 17728 17731 15321 0 -1 4202560 4352 13320 0 0 10 1 5 3 20 0 15 0 221923120 11246329856 11566 33554432000 4194304 4196468 140727530025680 140435486686752 140435498947934 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17785] ppid=17728 vsize=10982744 memory=9030 CPUtime=0.08 cores=1,3,5,7
/proc/17731/task/17785/stat : 17785 (java) S 17728 17731 15321 0 -1 1077944384 1 13320 0 0 0 0 5 3 20 0 15 0 221923121 11246329856 11566 33554432000 4194304 4196468 140727530025680 140435519109904 140435514877653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17786] ppid=17728 vsize=10982744 memory=3978000813832046240 CPUtime=0.08 cores=1,3,5,7
/proc/17731/task/17786/stat : 17786 (java) S 17728 17731 15321 0 -1 1077944384 1 13320 0 0 0 0 5 3 20 0 15 0 221923121 11246329856 11566 33554432000 4194304 4196468 140727530025680 140435373829008 140435514877653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17787] ppid=17728 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17731/task/17787/stat : 17787 (java) S 17728 17731 15321 0 -1 1077944384 1 13320 0 0 0 0 5 3 20 0 15 0 221923121 11246329856 11566 33554432000 4194304 4196468 140727530025680 140435372776464 140435514877653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17788] ppid=17728 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/17731/task/17788/stat : 17788 (java) S 17728 17731 15321 0 -1 1077944384 2 13320 0 0 0 0 5 3 20 0 15 0 221923121 11246329856 11566 33554432000 4194304 4196468 140727530025680 140435371723920 140435514877653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17789] ppid=17728 vsize=10982744 memory=140139408426624 CPUtime=0.08 cores=1,3,5,7
/proc/17731/task/17789/stat : 17789 (java) S 17728 17731 15321 0 -1 1077944384 2 13320 0 0 0 0 5 3 20 0 15 0 221923122 11246329856 11566 33554432000 4194304 4196468 140727530025680 140434940569584 140435514878594 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17790] ppid=17728 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/17731/task/17790/stat : 17790 (java) S 17728 17731 15321 0 -1 1077944384 13 13320 0 0 0 0 5 3 20 0 15 0 221923123 11246329856 11566 33554432000 4194304 4196468 140727530025680 140434357609376 140435514877653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17791] ppid=17728 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17731/task/17791/stat : 17791 (java) S 17728 17731 15321 0 -1 1077944384 1 13320 0 0 0 0 5 3 20 0 15 0 221923123 11246329856 11566 33554432000 4194304 4196468 140727530025680 140434156282864 140435514877653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17792] ppid=17728 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17731/task/17792/stat : 17792 (java) S 17728 17731 15321 0 -1 1077944384 3 13320 0 0 0 0 5 3 20 0 15 0 221923126 11246329856 11566 33554432000 4194304 4196468 140727530025680 140433848883408 140435514886043 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17793] ppid=17728 vsize=10982744 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/17731/task/17793/stat : 17793 (java) S 17728 17731 15321 0 -1 1077944384 417 13320 0 0 1 0 5 3 20 0 15 0 221923126 11246329856 11566 33554432000 4194304 4196468 140727530025680 140434939517424 140435514878594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17794] ppid=17728 vsize=10982744 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/17731/task/17794/stat : 17794 (java) S 17728 17731 15321 0 -1 1077944384 191 13320 0 0 1 0 5 3 20 0 15 0 221923126 11246329856 11566 33554432000 4194304 4196468 140727530025680 140434938464880 140435514878594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17795] ppid=17728 vsize=10982744 memory=140139408426624 CPUtime=0.11 cores=1,3,5,7
/proc/17731/task/17795/stat : 17795 (java) R 17728 17731 15321 0 -1 4202560 605 13320 0 0 3 0 5 3 20 0 15 0 221923126 11246329856 11566 33554432000 4194304 4196468 140727530025680 140434937412336 140435493494328 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17796] ppid=17728 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/17731/task/17796/stat : 17796 (java) S 17728 17731 15321 0 -1 1077944384 3 13320 0 0 0 0 5 3 20 0 15 0 221923126 11246329856 11566 33554432000 4194304 4196468 140727530025680 140433418087520 140435514877653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17797] ppid=17728 vsize=10982744 memory=140139408426624 CPUtime=0.08 cores=1,3,5,7
/proc/17731/task/17797/stat : 17797 (java) S 17728 17731 15321 0 -1 1077944384 1 13320 0 0 0 0 5 3 20 0 15 0 221923126 11246329856 11566 33554432000 4194304 4196468 140727530025680 140434936359216 140435514878594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 46264 KiB

[startup+0.310133 s]*
/proc/loadavg: 1.34 1.31 1.32 3/199 17803
/proc/meminfo: memFree=6549204/32770624 swapFree=67108404/67108860
[pid=17731] ppid=17728 vsize=10983192 memory=56976 CPUtime=0.38 cores=1,3,5,7
/proc/17731/stat : 17731 (java) S 17728 17731 15321 0 -1 1077944320 10277 13320 0 0 28 2 5 3 20 0 15 0 221923111 11246788608 14244 33554432000 4194304 4196468 140727530025680 140727530008224 140435514867447 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
/proc/17731/statm: 2745798 14244 3082 1 0 2708109 0
[pid=17731/tid=17784] ppid=17728 vsize=10983192 memory=8318255677412212789 CPUtime=0.29 cores=1,3,5,7
/proc/17731/task/17784/stat : 17784 (java) R 17728 17731 15321 0 -1 4202560 6837 13320 0 0 19 2 5 3 20 0 15 0 221923120 11246788608 14244 33554432000 4194304 4196468 140727530025680 140435486679456 140435514889373 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17785] ppid=17728 vsize=10983192 memory=339 CPUtime=0.08 cores=1,3,5,7
/proc/17731/task/17785/stat : 17785 (java) S 17728 17731 15321 0 -1 1077944384 1 13320 0 0 0 0 5 3 20 0 15 0 221923121 11246788608 14244 33554432000 4194304 4196468 140727530025680 140435519109904 140435514877653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17786] ppid=17728 vsize=10983192 memory=4050619158800139936 CPUtime=0.08 cores=1,3,5,7
/proc/17731/task/17786/stat : 17786 (java) S 17728 17731 15321 0 -1 1077944384 1 13320 0 0 0 0 5 3 20 0 15 0 221923121 11246788608 14244 33554432000 4194304 4196468 140727530025680 140435373829008 140435514877653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17787] ppid=17728 vsize=10983192 memory=6944656592455097440 CPUtime=0.08 cores=1,3,5,7
/proc/17731/task/17787/stat : 17787 (java) S 17728 17731 15321 0 -1 1077944384 1 13320 0 0 0 0 5 3 20 0 15 0 221923121 11246788608 14244 33554432000 4194304 4196468 140727530025680 140435372776464 140435514877653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17788] ppid=17728 vsize=10983192 memory=3472328296227680299 CPUtime=0.08 cores=1,3,5,7
/proc/17731/task/17788/stat : 17788 (java) S 17728 17731 15321 0 -1 1077944384 2 13320 0 0 0 0 5 3 20 0 15 0 221923121 11246788608 14244 33554432000 4194304 4196468 140727530025680 140435371723920 140435514877653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17789] ppid=17728 vsize=10983192 memory=3472468435636106924 CPUtime=0.08 cores=1,3,5,7
/proc/17731/task/17789/stat : 17789 (java) S 17728 17731 15321 0 -1 1077944384 2 13320 0 0 0 0 5 3 20 0 15 0 221923122 11246788608 14244 33554432000 4194304 4196468 140727530025680 140434940569584 140435514878594 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17790] ppid=17728 vsize=10983192 memory=8461260354371939849 CPUtime=0.08 cores=1,3,5,7
/proc/17731/task/17790/stat : 17790 (java) S 17728 17731 15321 0 -1 1077944384 13 13320 0 0 0 0 5 3 20 0 15 0 221923123 11246788608 14244 33554432000 4194304 4196468 140727530025680 140434357609376 140435514877653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17791] ppid=17728 vsize=10983192 memory=-7595761213635136096 CPUtime=0.08 cores=1,3,5,7
/proc/17731/task/17791/stat : 17791 (java) S 17728 17731 15321 0 -1 1077944384 1 13320 0 0 0 0 5 3 20 0 15 0 221923123 11246788608 14244 33554432000 4194304 4196468 140727530025680 140434156282864 140435514877653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17792] ppid=17728 vsize=10983192 memory=-2605811476043407915 CPUtime=0.08 cores=1,3,5,7
/proc/17731/task/17792/stat : 17792 (java) S 17728 17731 15321 0 -1 1077944384 3 13320 0 0 0 0 5 3 20 0 15 0 221923126 11246788608 14244 33554432000 4194304 4196468 140727530025680 140433848883408 140435514886043 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17793] ppid=17728 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/17731/task/17793/stat : 17793 (java) S 17728 17731 15321 0 -1 1077944384 417 13320 0 0 1 0 5 3 20 0 15 0 221923126 11246788608 14244 33554432000 4194304 4196468 140727530025680 140434939517424 140435514878594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17794] ppid=17728 vsize=10983192 memory=3472328296227680299 CPUtime=0.09 cores=1,3,5,7
/proc/17731/task/17794/stat : 17794 (java) S 17728 17731 15321 0 -1 1077944384 192 13320 0 0 1 0 5 3 20 0 15 0 221923126 11246788608 14244 33554432000 4194304 4196468 140727530025680 140434938464880 140435514878594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17795] ppid=17728 vsize=10983192 memory=8386792045717093102 CPUtime=0.12 cores=1,3,5,7
/proc/17731/task/17795/stat : 17795 (java) S 17728 17731 15321 0 -1 1077944384 615 13320 0 0 4 0 5 3 20 0 15 0 221923126 11246788608 14244 33554432000 4194304 4196468 140727530025680 140434937412336 140435514878594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17796] ppid=17728 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/17731/task/17796/stat : 17796 (java) S 17728 17731 15321 0 -1 1077944384 3 13320 0 0 0 0 5 3 20 0 15 0 221923126 11246788608 14244 33554432000 4194304 4196468 140727530025680 140433418087520 140435514877653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17797] ppid=17728 vsize=10983192 memory=140139408426624 CPUtime=0.08 cores=1,3,5,7
/proc/17731/task/17797/stat : 17797 (java) S 17728 17731 15321 0 -1 1077944384 1 13320 0 0 0 0 5 3 20 0 15 0 221923126 11246788608 14244 33554432000 4194304 4196468 140727530025680 140434936359216 140435514878594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56976 KiB

[startup+0.700737 s]
/proc/loadavg: 1.34 1.31 1.32 4/215 17828
/proc/meminfo: memFree=6513528/32770624 swapFree=67108404/67108860
[pid=17731] ppid=17728 vsize=10983192 memory=89248 CPUtime=0.99 cores=1,3,5,7
/proc/17731/stat : 17731 (java) S 17728 17731 15321 0 -1 1077944320 16389 13320 0 0 87 4 5 3 20 0 15 0 221923111 11246788608 22312 33554432000 4194304 4196468 140727530025680 140727530008224 140435514867447 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
/proc/17731/statm: 2745798 22312 3238 1 0 2708109 0
[pid=17731/tid=17784] ppid=17728 vsize=10983192 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/17731/task/17784/stat : 17784 (java) R 17728 17731 15321 0 -1 4202560 11897 13320 0 0 56 3 5 3 20 0 15 0 221923120 11246788608 22312 33554432000 4194304 4196468 140727530025680 140435486688272 140435495142777 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17785] ppid=17728 vsize=10983192 memory=7017544343506411859 CPUtime=0.08 cores=1,3,5,7
/proc/17731/task/17785/stat : 17785 (java) S 17728 17731 15321 0 -1 1077944384 1 13320 0 0 0 0 5 3 20 0 15 0 221923121 11246788608 22312 33554432000 4194304 4196468 140727530025680 140435519109904 140435514877653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17786] ppid=17728 vsize=10983192 memory=7813014540817360728 CPUtime=0.08 cores=1,3,5,7
/proc/17731/task/17786/stat : 17786 (java) S 17728 17731 15321 0 -1 1077944384 1 13320 0 0 0 0 5 3 20 0 15 0 221923121 11246788608 22312 33554432000 4194304 4196468 140727530025680 140435373829008 140435514877653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17787] ppid=17728 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17731/task/17787/stat : 17787 (java) S 17728 17731 15321 0 -1 1077944384 1 13320 0 0 0 0 5 3 20 0 15 0 221923121 11246788608 22312 33554432000 4194304 4196468 140727530025680 140435372776464 140435514877653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17788] ppid=17728 vsize=10983192 memory=7679937539659563795 CPUtime=0.08 cores=1,3,5,7
/proc/17731/task/17788/stat : 17788 (java) S 17728 17731 15321 0 -1 1077944384 2 13320 0 0 0 0 5 3 20 0 15 0 221923121 11246788608 22312 33554432000 4194304 4196468 140727530025680 140435371723920 140435514877653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17789] ppid=17728 vsize=10983192 memory=6155685578398000486 CPUtime=0.08 cores=1,3,5,7
/proc/17731/task/17789/stat : 17789 (java) S 17728 17731 15321 0 -1 1077944384 6 13320 0 0 0 0 5 3 20 0 15 0 221923122 11246788608 22312 33554432000 4194304 4196468 140727530025680 140434940569584 140435514878594 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17790] ppid=17728 vsize=10983192 memory=7738985526776261465 CPUtime=0.08 cores=1,3,5,7
/proc/17731/task/17790/stat : 17790 (java) S 17728 17731 15321 0 -1 1077944384 13 13320 0 0 0 0 5 3 20 0 15 0 221923123 11246788608 22312 33554432000 4194304 4196468 140727530025680 140434357609376 140435514877653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17791] ppid=17728 vsize=10983192 memory=6009594383376213095 CPUtime=0.08 cores=1,3,5,7
/proc/17731/task/17791/stat : 17791 (java) S 17728 17731 15321 0 -1 1077944384 1 13320 0 0 0 0 5 3 20 0 15 0 221923123 11246788608 22312 33554432000 4194304 4196468 140727530025680 140434156282864 140435514877653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17792] ppid=17728 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/17731/task/17792/stat : 17792 (java) S 17728 17731 15321 0 -1 1077944384 3 13320 0 0 0 0 5 3 20 0 15 0 221923126 11246788608 22312 33554432000 4194304 4196468 140727530025680 140433848883408 140435514886043 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17793] ppid=17728 vsize=10983192 memory=2436 CPUtime=0.18 cores=1,3,5,7
/proc/17731/task/17793/stat : 17793 (java) S 17728 17731 15321 0 -1 1077944384 1048 13320 0 0 10 0 5 3 20 0 15 0 221923126 11246788608 22312 33554432000 4194304 4196468 140727530025680 140434939517424 140435514878594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17794] ppid=17728 vsize=10983192 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/17731/task/17794/stat : 17794 (java) S 17728 17731 15321 0 -1 1077944384 556 13320 0 0 6 0 5 3 20 0 15 0 221923126 11246788608 22312 33554432000 4194304 4196468 140727530025680 140434938464880 140435514878594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17795] ppid=17728 vsize=10983192 memory=3684 CPUtime=0.21 cores=1,3,5,7
/proc/17731/task/17795/stat : 17795 (java) S 17728 17731 15321 0 -1 1077944384 668 13320 0 0 13 0 5 3 20 0 15 0 221923126 11246788608 22312 33554432000 4194304 4196468 140727530025680 140434937412336 140435514878594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17796] ppid=17728 vsize=10983192 memory=2241 CPUtime=0.08 cores=1,3,5,7
/proc/17731/task/17796/stat : 17796 (java) S 17728 17731 15321 0 -1 1077944384 3 13320 0 0 0 0 5 3 20 0 15 0 221923126 11246788608 22312 33554432000 4194304 4196468 140727530025680 140433418087520 140435514877653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17797] ppid=17728 vsize=10983192 memory=2244 CPUtime=0.08 cores=1,3,5,7
/proc/17731/task/17797/stat : 17797 (java) S 17728 17731 15321 0 -1 1077944384 1 13320 0 0 0 0 5 3 20 0 15 0 221923126 11246788608 22312 33554432000 4194304 4196468 140727530025680 140434936359216 140435514878594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 89248 KiB

[startup+1.50091 s]
/proc/loadavg: 1.34 1.31 1.32 3/198 17834
/proc/meminfo: memFree=6487760/32770624 swapFree=67108404/67108860
[pid=17731] ppid=17728 vsize=10993996 memory=178872 CPUtime=3.21 cores=1,3,5,7
/proc/17731/stat : 17731 (java) S 17728 17731 15321 0 -1 1077944320 25094 13320 0 0 305 8 5 3 20 0 15 0 221923111 11257851904 44718 33554432000 4194304 4196468 140727530025680 140727530008224 140435514867447 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
/proc/17731/statm: 2748499 44718 3446 1 0 2710157 0
[pid=17731/tid=17784] ppid=17728 vsize=10993996 memory=140139280036216 CPUtime=1.46 cores=1,3,5,7
/proc/17731/task/17784/stat : 17784 (java) R 17728 17731 15321 0 -1 4202560 15007 13320 0 0 133 5 5 3 20 0 15 0 221923120 11257851904 44718 33554432000 4194304 4196468 140727530025680 140435486702576 140435498947934 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17785] ppid=17728 vsize=10993996 memory=56 CPUtime=0.08 cores=1,3,5,7
/proc/17731/task/17785/stat : 17785 (java) S 17728 17731 15321 0 -1 1077944384 1 13320 0 0 0 0 5 3 20 0 15 0 221923121 11257851904 44718 33554432000 4194304 4196468 140727530025680 140435519109904 140435514877653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17786] ppid=17728 vsize=10993996 memory=9258 CPUtime=0.08 cores=1,3,5,7
/proc/17731/task/17786/stat : 17786 (java) S 17728 17731 15321 0 -1 1077944384 1 13320 0 0 0 0 5 3 20 0 15 0 221923121 11257851904 44718 33554432000 4194304 4196468 140727530025680 140435373829008 140435514877653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17787] ppid=17728 vsize=10993996 memory=25942 CPUtime=0.08 cores=1,3,5,7
/proc/17731/task/17787/stat : 17787 (java) S 17728 17731 15321 0 -1 1077944384 1 13320 0 0 0 0 5 3 20 0 15 0 221923121 11257851904 44718 33554432000 4194304 4196468 140727530025680 140435372776464 140435514877653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17788] ppid=17728 vsize=10993996 memory=140139280286469 CPUtime=0.08 cores=1,3,5,7
/proc/17731/task/17788/stat : 17788 (java) S 17728 17731 15321 0 -1 1077944384 2 13320 0 0 0 0 5 3 20 0 15 0 221923121 11257851904 44718 33554432000 4194304 4196468 140727530025680 140435371723920 140435514877653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17789] ppid=17728 vsize=10993996 memory=280278559933104 CPUtime=0.08 cores=1,3,5,7
/proc/17731/task/17789/stat : 17789 (java) S 17728 17731 15321 0 -1 1077944384 14 13320 0 0 0 0 5 3 20 0 15 0 221923122 11257851904 44718 33554432000 4194304 4196468 140727530025680 140434940569584 140435514878594 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17790] ppid=17728 vsize=10993996 memory=280278559933168 CPUtime=0.08 cores=1,3,5,7
/proc/17731/task/17790/stat : 17790 (java) S 17728 17731 15321 0 -1 1077944384 13 13320 0 0 0 0 5 3 20 0 15 0 221923123 11257851904 44718 33554432000 4194304 4196468 140727530025680 140434357609376 140435514877653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17791] ppid=17728 vsize=10993996 memory=280278559933232 CPUtime=0.08 cores=1,3,5,7
/proc/17731/task/17791/stat : 17791 (java) S 17728 17731 15321 0 -1 1077944384 1 13320 0 0 0 0 5 3 20 0 15 0 221923123 11257851904 44718 33554432000 4194304 4196468 140727530025680 140434156282864 140435514877653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17792] ppid=17728 vsize=10993996 memory=756 CPUtime=0.08 cores=1,3,5,7
/proc/17731/task/17792/stat : 17792 (java) S 17728 17731 15321 0 -1 1077944384 3 13320 0 0 0 0 5 3 20 0 15 0 221923126 11257851904 44718 33554432000 4194304 4196468 140727530025680 140433848883408 140435514886043 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17793] ppid=17728 vsize=10993996 memory=9624 CPUtime=0.69 cores=1,3,5,7
/proc/17731/task/17793/stat : 17793 (java) R 17728 17731 15321 0 -1 4202560 2599 13320 0 0 61 0 5 3 20 0 15 0 221923126 11257851904 44718 33554432000 4194304 4196468 140727530025680 140434939503448 140435496411665 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17794] ppid=17728 vsize=10993996 memory=876 CPUtime=0.66 cores=1,3,5,7
/proc/17731/task/17794/stat : 17794 (java) R 17728 17731 15321 0 -1 4202560 3341 13320 0 0 58 0 5 3 20 0 15 0 221923126 11257851904 44718 33554432000 4194304 4196468 140727530025680 140434938450912 140435496403726 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17795] ppid=17728 vsize=10993996 memory=1924 CPUtime=0.59 cores=1,3,5,7
/proc/17731/task/17795/stat : 17795 (java) S 17728 17731 15321 0 -1 1077944384 1923 13320 0 0 50 1 5 3 20 0 15 0 221923126 11257851904 44718 33554432000 4194304 4196468 140727530025680 140434937412336 140435514878594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17796] ppid=17728 vsize=10993996 memory=6800 CPUtime=0.08 cores=1,3,5,7
/proc/17731/task/17796/stat : 17796 (java) S 17728 17731 15321 0 -1 1077944384 3 13320 0 0 0 0 5 3 20 0 15 0 221923126 11257851904 44718 33554432000 4194304 4196468 140727530025680 140433418087520 140435514877653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17797] ppid=17728 vsize=10993996 memory=1224 CPUtime=0.08 cores=1,3,5,7
/proc/17731/task/17797/stat : 17797 (java) S 17728 17731 15321 0 -1 1077944384 1 13320 0 0 0 0 5 3 20 0 15 0 221923126 11257851904 44718 33554432000 4194304 4196468 140727530025680 140434936359216 140435514878594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
Current children cumulated CPU time: 3.21 s
Current children cumulated vsize: 10993996 KiB

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

/proc/17731/task/17784/stat : 17784 (java) R 17728 17731 15321 0 -1 4202560 104663 13320 0 0 235852 53 5 3 20 0 15 0 221923120 11280941056 373838 33554432000 4194304 4196468 140727530025680 140435486702624 140435060101677 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17785] ppid=17728 vsize=11016544 memory=1495352 CPUtime=12.15 cores=1,3,5,7
/proc/17731/task/17785/stat : 17785 (java) S 17728 17731 15321 0 -1 1077944384 18023 13320 0 0 1153 54 5 3 20 0 15 0 221923121 11280941056 373838 33554432000 4194304 4196468 140727530025680 140435519109904 140435514877653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17786] ppid=17728 vsize=11016544 memory=1495352 CPUtime=12.22 cores=1,3,5,7
/proc/17731/task/17786/stat : 17786 (java) S 17728 17731 15321 0 -1 1077944384 16267 13320 0 0 1162 52 5 3 20 0 15 0 221923121 11280941056 373838 33554432000 4194304 4196468 140727530025680 140435373829008 140435514877653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17787] ppid=17728 vsize=11016544 memory=1495352 CPUtime=12.15 cores=1,3,5,7
/proc/17731/task/17787/stat : 17787 (java) S 17728 17731 15321 0 -1 1077944384 19270 13320 0 0 1152 55 5 3 20 0 15 0 221923121 11280941056 373838 33554432000 4194304 4196468 140727530025680 140435372776464 140435514877653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17788] ppid=17728 vsize=11016544 memory=1495352 CPUtime=12.17 cores=1,3,5,7
/proc/17731/task/17788/stat : 17788 (java) S 17728 17731 15321 0 -1 1077944384 13223 13320 0 0 1159 50 5 3 20 0 15 0 221923121 11280941056 373838 33554432000 4194304 4196468 140727530025680 140435371723920 140435514877653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17789] ppid=17728 vsize=11016544 memory=3684 CPUtime=9.21 cores=1,3,5,7
/proc/17731/task/17789/stat : 17789 (java) S 17728 17731 15321 0 -1 1077944384 21558 13320 0 0 864 49 5 3 20 0 15 0 221923122 11280941056 373838 33554432000 4194304 4196468 140727530025680 140434940569584 140435514878594 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17790] ppid=17728 vsize=11016544 memory=1495352 CPUtime=0.08 cores=1,3,5,7
/proc/17731/task/17790/stat : 17790 (java) S 17728 17731 15321 0 -1 1077944384 19 13320 0 0 0 0 5 3 20 0 15 0 221923123 11280941056 373838 33554432000 4194304 4196468 140727530025680 140434357609440 140435514877653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17791] ppid=17728 vsize=11016544 memory=118 CPUtime=0.08 cores=1,3,5,7
/proc/17731/task/17791/stat : 17791 (java) S 17728 17731 15321 0 -1 1077944384 7 13320 0 0 0 0 5 3 20 0 15 0 221923123 11280941056 373838 33554432000 4194304 4196468 140727530025680 140434156282880 140435514877653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17792] ppid=17728 vsize=11016544 memory=1495352 CPUtime=0.08 cores=1,3,5,7
/proc/17731/task/17792/stat : 17792 (java) S 17728 17731 15321 0 -1 1077944384 3 13320 0 0 0 0 5 3 20 0 15 0 221923126 11280941056 373838 33554432000 4194304 4196468 140727530025680 140433848883408 140435514886043 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17793] ppid=17728 vsize=11016544 memory=1495352 CPUtime=12.02 cores=1,3,5,7
/proc/17731/task/17793/stat : 17793 (java) S 17728 17731 15321 0 -1 1077944384 77637 13320 0 0 1185 9 5 3 20 0 15 0 221923126 11280941056 373838 33554432000 4194304 4196468 140727530025680 140434939517424 140435514878594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17794] ppid=17728 vsize=11016544 memory=1495352 CPUtime=11.84 cores=1,3,5,7
/proc/17731/task/17794/stat : 17794 (java) S 17728 17731 15321 0 -1 1077944384 81055 13320 0 0 1168 8 5 3 20 0 15 0 221923126 11280941056 373838 33554432000 4194304 4196468 140727530025680 140434938464880 140435514878594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17795] ppid=17728 vsize=11016544 memory=56 CPUtime=4.88 cores=1,3,5,7
/proc/17731/task/17795/stat : 17795 (java) S 17728 17731 15321 0 -1 1077944384 80649 13320 0 0 469 11 5 3 20 0 15 0 221923126 11280941056 373838 33554432000 4194304 4196468 140727530025680 140434937412336 140435514878594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17796] ppid=17728 vsize=11016544 memory=1160 CPUtime=0.08 cores=1,3,5,7
/proc/17731/task/17796/stat : 17796 (java) S 17728 17731 15321 0 -1 1077944384 3 13320 0 0 0 0 5 3 20 0 15 0 221923126 11280941056 373838 33554432000 4194304 4196468 140727530025680 140433418087520 140435514877653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17797] ppid=17728 vsize=11016544 memory=1784 CPUtime=1.3 cores=1,3,5,7
/proc/17731/task/17797/stat : 17797 (java) S 17728 17731 15321 0 -1 1077944384 1505 13320 0 0 55 67 5 3 20 0 15 0 221923126 11280941056 373838 33554432000 4194304 4196468 140727530025680 140434936359216 140435514878594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
Current children cumulated CPU time: 2446.46 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1495352 KiB

[startup+2442.3 s]
/proc/loadavg: 1.46 1.49 1.43 3/216 18001
/proc/meminfo: memFree=3651464/32770624 swapFree=67108404/67108860
[pid=17731] ppid=17728 vsize=11016544 memory=1495352 CPUtime=2507.4 cores=1,3,5,7
/proc/17731/stat : 17731 (java) S 17728 17731 15321 0 -1 1077944320 437207 13320 0 0 250363 369 5 3 20 0 15 0 221923111 11280941056 373838 33554432000 4194304 4196468 140727530025680 140727530008224 140435514867447 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
/proc/17731/statm: 2754136 373838 3531 1 0 2715789 0
[pid=17731/tid=17784] ppid=17728 vsize=11016544 memory=1495352 CPUtime=2418.53 cores=1,3,5,7
/proc/17731/task/17784/stat : 17784 (java) R 17728 17731 15321 0 -1 4202560 105298 13320 0 0 241792 53 5 3 20 0 15 0 221923120 11280941056 373838 33554432000 4194304 4196468 140727530025680 140435486702480 140435046598255 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17785] ppid=17728 vsize=11016544 memory=1495352 CPUtime=12.47 cores=1,3,5,7
/proc/17731/task/17785/stat : 17785 (java) S 17728 17731 15321 0 -1 1077944384 18094 13320 0 0 1185 54 5 3 20 0 15 0 221923121 11280941056 373838 33554432000 4194304 4196468 140727530025680 140435519109904 140435514877653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17786] ppid=17728 vsize=11016544 memory=1495352 CPUtime=12.54 cores=1,3,5,7
/proc/17731/task/17786/stat : 17786 (java) S 17728 17731 15321 0 -1 1077944384 16292 13320 0 0 1193 53 5 3 20 0 15 0 221923121 11280941056 373838 33554432000 4194304 4196468 140727530025680 140435373829008 140435514877653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17787] ppid=17728 vsize=11016544 memory=1495352 CPUtime=12.47 cores=1,3,5,7
/proc/17731/task/17787/stat : 17787 (java) S 17728 17731 15321 0 -1 1077944384 19285 13320 0 0 1183 56 5 3 20 0 15 0 221923121 11280941056 373838 33554432000 4194304 4196468 140727530025680 140435372776464 140435514877653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17788] ppid=17728 vsize=11016544 memory=1495352 CPUtime=12.49 cores=1,3,5,7
/proc/17731/task/17788/stat : 17788 (java) S 17728 17731 15321 0 -1 1077944384 13357 13320 0 0 1190 51 5 3 20 0 15 0 221923121 11280941056 373838 33554432000 4194304 4196468 140727530025680 140435371723920 140435514877653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17789] ppid=17728 vsize=11016544 memory=1495352 CPUtime=9.44 cores=1,3,5,7
/proc/17731/task/17789/stat : 17789 (java) S 17728 17731 15321 0 -1 1077944384 21793 13320 0 0 886 50 5 3 20 0 15 0 221923122 11280941056 373838 33554432000 4194304 4196468 140727530025680 140434940569584 140435514878594 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17790] ppid=17728 vsize=11016544 memory=1495352 CPUtime=0.08 cores=1,3,5,7
/proc/17731/task/17790/stat : 17790 (java) S 17728 17731 15321 0 -1 1077944384 19 13320 0 0 0 0 5 3 20 0 15 0 221923123 11280941056 373838 33554432000 4194304 4196468 140727530025680 140434357609440 140435514877653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17791] ppid=17728 vsize=11016544 memory=1495352 CPUtime=0.08 cores=1,3,5,7
/proc/17731/task/17791/stat : 17791 (java) S 17728 17731 15321 0 -1 1077944384 7 13320 0 0 0 0 5 3 20 0 15 0 221923123 11280941056 373838 33554432000 4194304 4196468 140727530025680 140434156282880 140435514877653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17792] ppid=17728 vsize=11016544 memory=1495352 CPUtime=0.08 cores=1,3,5,7
/proc/17731/task/17792/stat : 17792 (java) S 17728 17731 15321 0 -1 1077944384 3 13320 0 0 0 0 5 3 20 0 15 0 221923126 11280941056 373838 33554432000 4194304 4196468 140727530025680 140433848883408 140435514886043 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17793] ppid=17728 vsize=11016544 memory=1495352 CPUtime=12.02 cores=1,3,5,7
/proc/17731/task/17793/stat : 17793 (java) S 17728 17731 15321 0 -1 1077944384 77639 13320 0 0 1185 9 5 3 20 0 15 0 221923126 11280941056 373838 33554432000 4194304 4196468 140727530025680 140434939517424 140435514878594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17794] ppid=17728 vsize=11016544 memory=1495352 CPUtime=11.84 cores=1,3,5,7
/proc/17731/task/17794/stat : 17794 (java) S 17728 17731 15321 0 -1 1077944384 81057 13320 0 0 1168 8 5 3 20 0 15 0 221923126 11280941056 373838 33554432000 4194304 4196468 140727530025680 140434938464880 140435514878594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17795] ppid=17728 vsize=11016544 memory=1495352 CPUtime=4.88 cores=1,3,5,7
/proc/17731/task/17795/stat : 17795 (java) S 17728 17731 15321 0 -1 1077944384 80651 13320 0 0 469 11 5 3 20 0 15 0 221923126 11280941056 373838 33554432000 4194304 4196468 140727530025680 140434937412336 140435514878594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17796] ppid=17728 vsize=11016544 memory=1495352 CPUtime=0.08 cores=1,3,5,7
/proc/17731/task/17796/stat : 17796 (java) S 17728 17731 15321 0 -1 1077944384 3 13320 0 0 0 0 5 3 20 0 15 0 221923126 11280941056 373838 33554432000 4194304 4196468 140727530025680 140433418087520 140435514877653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17797] ppid=17728 vsize=11016544 memory=1495352 CPUtime=1.33 cores=1,3,5,7
/proc/17731/task/17797/stat : 17797 (java) S 17728 17731 15321 0 -1 1077944384 1521 13320 0 0 56 69 5 3 20 0 15 0 221923126 11280941056 373838 33554432000 4194304 4196468 140727530025680 140434936359216 140435514878594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
Current children cumulated CPU time: 2507.4 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1495352 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2454.7 s]
/proc/loadavg: 1.36 1.46 1.42 4/215 18001
/proc/meminfo: memFree=3652596/32770624 swapFree=67108404/67108860
[pid=17731] ppid=17728 vsize=11016544 memory=1495352 CPUtime=2520.01 cores=1,3,5,7
/proc/17731/stat : 17731 (java) S 17728 17731 15321 0 -1 1077944320 437438 13320 0 0 251623 370 5 3 20 0 15 0 221923111 11280941056 373838 33554432000 4194304 4196468 140727530025680 140727530008224 140435514867447 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
/proc/17731/statm: 2754136 373838 3531 1 0 2715789 0
[pid=17731/tid=17784] ppid=17728 vsize=11016544 memory=1495352 CPUtime=2430.8 cores=1,3,5,7
/proc/17731/task/17784/stat : 17784 (java) R 17728 17731 15321 0 -1 4202560 105449 13320 0 0 243019 53 5 3 20 0 15 0 221923120 11280941056 373838 33554432000 4194304 4196468 140727530025680 140435486701600 140435060403143 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17785] ppid=17728 vsize=11016544 memory=1495352 CPUtime=12.53 cores=1,3,5,7
/proc/17731/task/17785/stat : 17785 (java) S 17728 17731 15321 0 -1 1077944384 18099 13320 0 0 1191 54 5 3 20 0 15 0 221923121 11280941056 373838 33554432000 4194304 4196468 140727530025680 140435519109904 140435514877653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17786] ppid=17728 vsize=11016544 memory=1495352 CPUtime=12.61 cores=1,3,5,7
/proc/17731/task/17786/stat : 17786 (java) S 17728 17731 15321 0 -1 1077944384 16337 13320 0 0 1200 53 5 3 20 0 15 0 221923121 11280941056 373838 33554432000 4194304 4196468 140727530025680 140435373829008 140435514877653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17787] ppid=17728 vsize=11016544 memory=1495352 CPUtime=12.53 cores=1,3,5,7
/proc/17731/task/17787/stat : 17787 (java) S 17728 17731 15321 0 -1 1077944384 19287 13320 0 0 1189 56 5 3 20 0 15 0 221923121 11280941056 373838 33554432000 4194304 4196468 140727530025680 140435372776464 140435514877653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17788] ppid=17728 vsize=11016544 memory=1495352 CPUtime=12.55 cores=1,3,5,7
/proc/17731/task/17788/stat : 17788 (java) S 17728 17731 15321 0 -1 1077944384 13358 13320 0 0 1196 51 5 3 20 0 15 0 221923121 11280941056 373838 33554432000 4194304 4196468 140727530025680 140435371723920 140435514877653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17789] ppid=17728 vsize=11016544 memory=1495352 CPUtime=9.49 cores=1,3,5,7
/proc/17731/task/17789/stat : 17789 (java) S 17728 17731 15321 0 -1 1077944384 21817 13320 0 0 891 50 5 3 20 0 15 0 221923122 11280941056 373838 33554432000 4194304 4196468 140727530025680 140434940569584 140435514878594 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17790] ppid=17728 vsize=11016544 memory=1495352 CPUtime=0.08 cores=1,3,5,7
/proc/17731/task/17790/stat : 17790 (java) S 17728 17731 15321 0 -1 1077944384 19 13320 0 0 0 0 5 3 20 0 15 0 221923123 11280941056 373838 33554432000 4194304 4196468 140727530025680 140434357609440 140435514877653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17791] ppid=17728 vsize=11016544 memory=1495352 CPUtime=0.08 cores=1,3,5,7
/proc/17731/task/17791/stat : 17791 (java) S 17728 17731 15321 0 -1 1077944384 7 13320 0 0 0 0 5 3 20 0 15 0 221923123 11280941056 373838 33554432000 4194304 4196468 140727530025680 140434156282880 140435514877653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17792] ppid=17728 vsize=11016544 memory=1495352 CPUtime=0.08 cores=1,3,5,7
/proc/17731/task/17792/stat : 17792 (java) S 17728 17731 15321 0 -1 1077944384 3 13320 0 0 0 0 5 3 20 0 15 0 221923126 11280941056 373838 33554432000 4194304 4196468 140727530025680 140433848883408 140435514886043 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17793] ppid=17728 vsize=11016544 memory=1495352 CPUtime=12.02 cores=1,3,5,7
/proc/17731/task/17793/stat : 17793 (java) S 17728 17731 15321 0 -1 1077944384 77639 13320 0 0 1185 9 5 3 20 0 15 0 221923126 11280941056 373838 33554432000 4194304 4196468 140727530025680 140434939517424 140435514878594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17794] ppid=17728 vsize=11016544 memory=1495352 CPUtime=11.84 cores=1,3,5,7
/proc/17731/task/17794/stat : 17794 (java) S 17728 17731 15321 0 -1 1077944384 81057 13320 0 0 1168 8 5 3 20 0 15 0 221923126 11280941056 373838 33554432000 4194304 4196468 140727530025680 140434938464880 140435514878594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17795] ppid=17728 vsize=11016544 memory=1495352 CPUtime=4.88 cores=1,3,5,7
/proc/17731/task/17795/stat : 17795 (java) S 17728 17731 15321 0 -1 1077944384 80652 13320 0 0 469 11 5 3 20 0 15 0 221923126 11280941056 373838 33554432000 4194304 4196468 140727530025680 140434937412336 140435514878594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17796] ppid=17728 vsize=11016544 memory=1495352 CPUtime=0.08 cores=1,3,5,7
/proc/17731/task/17796/stat : 17796 (java) S 17728 17731 15321 0 -1 1077944384 3 13320 0 0 0 0 5 3 20 0 15 0 221923126 11280941056 373838 33554432000 4194304 4196468 140727530025680 140433418087520 140435514877653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17797] ppid=17728 vsize=11016544 memory=3684 CPUtime=1.33 cores=1,3,5,7
/proc/17731/task/17797/stat : 17797 (java) S 17728 17731 15321 0 -1 1077944384 1523 13320 0 0 56 69 5 3 20 0 15 0 221923126 11280941056 373838 33554432000 4194304 4196468 140727530025680 140434936359216 140435514878594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1495352 KiB

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

[startup+2454.73 s]
# the end of solver process 17731 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.3 s, system=3.74473 s

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

[startup+2454.7 s]
/proc/loadavg: 1.36 1.46 1.42 4/215 18001
/proc/meminfo: memFree=3652596/32770624 swapFree=67108404/67108860
[pid=17731] ppid=17728 vsize=11016544 memory=1495352 CPUtime=2520.01 cores=1,3,5,7
/proc/17731/stat : 17731 (java) S 17728 17731 15321 0 -1 1077944320 437438 13320 0 0 251623 370 5 3 20 0 15 0 221923111 11280941056 373838 33554432000 4194304 4196468 140727530025680 140727530008224 140435514867447 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
/proc/17731/statm: 2754136 373838 3531 1 0 2715789 0
[pid=17731/tid=17784] ppid=17728 vsize=11016544 memory=1495352 CPUtime=2430.8 cores=1,3,5,7
/proc/17731/task/17784/stat : 17784 (java) R 17728 17731 15321 0 -1 4202560 105449 13320 0 0 243019 53 5 3 20 0 15 0 221923120 11280941056 373838 33554432000 4194304 4196468 140727530025680 140435486701600 140435060403143 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17785] ppid=17728 vsize=11016544 memory=1495352 CPUtime=12.53 cores=1,3,5,7
/proc/17731/task/17785/stat : 17785 (java) S 17728 17731 15321 0 -1 1077944384 18099 13320 0 0 1191 54 5 3 20 0 15 0 221923121 11280941056 373838 33554432000 4194304 4196468 140727530025680 140435519109904 140435514877653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17786] ppid=17728 vsize=11016544 memory=1495352 CPUtime=12.61 cores=1,3,5,7
/proc/17731/task/17786/stat : 17786 (java) S 17728 17731 15321 0 -1 1077944384 16337 13320 0 0 1200 53 5 3 20 0 15 0 221923121 11280941056 373838 33554432000 4194304 4196468 140727530025680 140435373829008 140435514877653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17787] ppid=17728 vsize=11016544 memory=1495352 CPUtime=12.53 cores=1,3,5,7
/proc/17731/task/17787/stat : 17787 (java) S 17728 17731 15321 0 -1 1077944384 19287 13320 0 0 1189 56 5 3 20 0 15 0 221923121 11280941056 373838 33554432000 4194304 4196468 140727530025680 140435372776464 140435514877653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17788] ppid=17728 vsize=11016544 memory=1495352 CPUtime=12.55 cores=1,3,5,7
/proc/17731/task/17788/stat : 17788 (java) S 17728 17731 15321 0 -1 1077944384 13358 13320 0 0 1196 51 5 3 20 0 15 0 221923121 11280941056 373838 33554432000 4194304 4196468 140727530025680 140435371723920 140435514877653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17789] ppid=17728 vsize=11016544 memory=1495352 CPUtime=9.49 cores=1,3,5,7
/proc/17731/task/17789/stat : 17789 (java) S 17728 17731 15321 0 -1 1077944384 21817 13320 0 0 891 50 5 3 20 0 15 0 221923122 11280941056 373838 33554432000 4194304 4196468 140727530025680 140434940569584 140435514878594 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17790] ppid=17728 vsize=11016544 memory=1495352 CPUtime=0.08 cores=1,3,5,7
/proc/17731/task/17790/stat : 17790 (java) S 17728 17731 15321 0 -1 1077944384 19 13320 0 0 0 0 5 3 20 0 15 0 221923123 11280941056 373838 33554432000 4194304 4196468 140727530025680 140434357609440 140435514877653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17791] ppid=17728 vsize=11016544 memory=1495352 CPUtime=0.08 cores=1,3,5,7
/proc/17731/task/17791/stat : 17791 (java) S 17728 17731 15321 0 -1 1077944384 7 13320 0 0 0 0 5 3 20 0 15 0 221923123 11280941056 373838 33554432000 4194304 4196468 140727530025680 140434156282880 140435514877653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17792] ppid=17728 vsize=11016544 memory=1495352 CPUtime=0.08 cores=1,3,5,7
/proc/17731/task/17792/stat : 17792 (java) S 17728 17731 15321 0 -1 1077944384 3 13320 0 0 0 0 5 3 20 0 15 0 221923126 11280941056 373838 33554432000 4194304 4196468 140727530025680 140433848883408 140435514886043 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17793] ppid=17728 vsize=11016544 memory=1495352 CPUtime=12.02 cores=1,3,5,7
/proc/17731/task/17793/stat : 17793 (java) S 17728 17731 15321 0 -1 1077944384 77639 13320 0 0 1185 9 5 3 20 0 15 0 221923126 11280941056 373838 33554432000 4194304 4196468 140727530025680 140434939517424 140435514878594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17794] ppid=17728 vsize=11016544 memory=1495352 CPUtime=11.84 cores=1,3,5,7
/proc/17731/task/17794/stat : 17794 (java) S 17728 17731 15321 0 -1 1077944384 81057 13320 0 0 1168 8 5 3 20 0 15 0 221923126 11280941056 373838 33554432000 4194304 4196468 140727530025680 140434938464880 140435514878594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17795] ppid=17728 vsize=11016544 memory=1495352 CPUtime=4.88 cores=1,3,5,7
/proc/17731/task/17795/stat : 17795 (java) S 17728 17731 15321 0 -1 1077944384 80652 13320 0 0 469 11 5 3 20 0 15 0 221923126 11280941056 373838 33554432000 4194304 4196468 140727530025680 140434937412336 140435514878594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17796] ppid=17728 vsize=11016544 memory=1495352 CPUtime=0.08 cores=1,3,5,7
/proc/17731/task/17796/stat : 17796 (java) S 17728 17731 15321 0 -1 1077944384 3 13320 0 0 0 0 5 3 20 0 15 0 221923126 11280941056 373838 33554432000 4194304 4196468 140727530025680 140433418087520 140435514877653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
[pid=17731/tid=17797] ppid=17728 vsize=11016544 memory=3684 CPUtime=1.33 cores=1,3,5,7
/proc/17731/task/17797/stat : 17797 (java) S 17728 17731 15321 0 -1 1077944384 1523 13320 0 0 56 69 5 3 20 0 15 0 221923126 11280941056 373838 33554432000 4194304 4196468 140727530025680 140434936359216 140435514878594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17600512 140727530027628 140727530030428 140727530030428 140727530033103 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1495352 KiB

Child status: 143
Real time (s): 2454.73
CPU time (s): 2520.05
CPU user time (s): 2516.3
CPU system time (s): 3.74473
CPU usage (%): 102.661
Max. virtual memory (cumulated for all children) (KiB): 11017204
Max. memory (cumulated for all children) (KiB): 1702500

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.3
system time used= 3.74473
maximum resident set size= 1704076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 452066
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 253708
involuntary context switches= 5443


# summary of solver processes directly reported to runsolver:
#   pid: 17731
#   total CPU time (s): 2520.05
#   total CPU user time (s): 2516.3
#   total CPU system time (s): 3.74473

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.829 second user time and 25.9124 second system time

The end

Launcher Data 

Begin job on node148 at 2018-08-12 05:13:19
IDJOB=4304163
IDBENCH=141045
IDSOLVER=2780
FILE ID=node148/4304163-1534043599
RUNJOBID= node148-1534041135-17409
PBS_JOBID= 21036960
Free space on /tmp= 33700 MiB

SOLVER NAME= Concrete 3.9.2
BENCH NAME= XCSP18/NurseRostering/NurseRostering-14_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4304163-1534043599/watcher-4304163-1534043599 -o /tmp/evaluation-result-4304163-1534043599/solver-4304163-1534043599 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1534041135-17409 --watchdog 2580  bin/xcsp-3-concrete -J-Xss64M -randomseed=1651745534 HOME/instance-4304163-1534043599.xml

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

MD5SUM BENCH= 22d4927d0bd5c0ea6a9359fe3e752ee5
RANDOM SEED=1651745534

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.50
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:         5567256 kB
MemAvailable:   30884892 kB
Buffers:          243864 kB
Cached:         24921812 kB
SwapCached:          352 kB
Active:         10672608 kB
Inactive:       15564940 kB
Active(anon):    1025200 kB
Inactive(anon):    99220 kB
Active(file):    9647408 kB
Inactive(file): 15465720 kB
Unevictable:        7340 kB
Mlocked:            7340 kB
SwapTotal:      67108860 kB
SwapFree:       67108404 kB
Dirty:             26476 kB
Writeback:             4 kB
AnonPages:       1081212 kB
Mapped:            66696 kB
Shmem:             49592 kB
Slab:             660996 kB
SReclaimable:     632968 kB
SUnreclaim:        28028 kB
KernelStack:        3568 kB
PageTables:         7692 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2204964 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    983040 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 33672 MiB
End job on node148 at 2018-08-12 05:54:14