Trace number 4292949

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.8 2018-06-13? (TO) 2520.09 2456.53

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.98/0.73	c Concrete v3.8.1528841891564 running
16.70/6.71	c 01:10:36.580 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18628. 'extension(4, x[1][24]=[0‥4]) :: init: true :: relation: MDD 1776180205, 7 edges, 4 vertices, 5 tuples
16.70/6.71	c 01:10:36.584 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18629. 'extension(4, x[1][24]=[0‥4]) :: init: true :: relation: MDD 1475908890, 5 edges, 3 vertices, 4 tuples
16.70/6.71	c 01:10:36.589 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18653. 'extension(x[0][9]=[0‥4], 4) :: init: true :: relation: MDD 2137205195, 7 edges, 4 vertices, 5 tuples
16.70/6.71	c 01:10:36.590 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18682. 'extension(x[0][11]=[0‥4], 4) :: init: true :: relation: MDD 368788838, 7 edges, 4 vertices, 5 tuples
16.70/6.71	c 01:10:36.590 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18683. 'extension(4, x[2][11]=[0‥4]) :: init: true :: relation: MDD 368788838, 7 edges, 4 vertices, 5 tuples
16.70/6.72	c 01:10:36.592 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18714. 'extension(4, 4) :: init: true :: relation: MDD 1639652941, 7 edges, 4 vertices, 5 tuples
16.70/6.72	c 01:10:36.593 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18715. 'extension(4, 4) :: init: true :: relation: MDD 384406278, 5 edges, 3 vertices, 4 tuples
16.70/6.72	c 01:10:36.593 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18740. 'extension(x[0][23]=[0‥4], 4) :: init: true :: relation: MDD 116606935, 7 edges, 4 vertices, 5 tuples
16.70/6.72	c 01:10:36.594 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18741. 'extension(4, x[2][23]=[0‥4]) :: init: true :: relation: MDD 116606935, 7 edges, 4 vertices, 5 tuples
16.70/6.72	c 01:10:36.596 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18769. 'extension(4, x[3][9]=[0‥4]) :: init: true :: relation: MDD 2137205195, 7 edges, 4 vertices, 5 tuples
16.70/6.72	c 01:10:36.597 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18772. 'extension(4, 4) :: init: true :: relation: MDD 2137205195, 7 edges, 4 vertices, 5 tuples
16.70/6.72	c 01:10:36.599 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18800. 'extension(x[1][13]=[0‥4], 4) :: init: true :: relation: MDD 2022768790, 7 edges, 4 vertices, 5 tuples
16.70/6.72	c 01:10:36.600 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18831. 'extension(4, x[3][20]=[0‥4]) :: init: true :: relation: MDD 1639652941, 7 edges, 4 vertices, 5 tuples
16.70/6.72	c 01:10:36.601 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18834. 'extension(4, 4) :: init: true :: relation: MDD 1639652941, 7 edges, 4 vertices, 5 tuples
16.70/6.73	c 01:10:36.602 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18862. 'extension(x[2][10]=[0‥4], 4) :: init: true :: relation: MDD 1617566660, 7 edges, 4 vertices, 5 tuples
16.70/6.73	c 01:10:36.604 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18894. 'extension(4, x[4][13]=[0‥4]) :: init: true :: relation: MDD 2022768790, 7 edges, 4 vertices, 5 tuples
16.70/6.73	c 01:10:36.604 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18897. 'extension(4, 4) :: init: true :: relation: MDD 2022768790, 7 edges, 4 vertices, 5 tuples
16.70/6.73	c 01:10:36.606 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18929. 'extension(4, 4) :: init: true :: relation: MDD 1617566660, 7 edges, 4 vertices, 5 tuples
16.70/6.73	c 01:10:36.607 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18959. 'extension(4, wk[10][0]=[0‥1]) :: init: true :: relation: MDD 1916303325, 5 edges, 3 vertices, 4 tuples
16.70/6.73	c 01:10:36.608 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18963. 'extension(4, 4) :: init: true :: relation: MDD 1617566660, 7 edges, 4 vertices, 5 tuples
16.70/6.73	c 01:10:36.609 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18994. 'extension(4, wk[10][0]=[0‥1]) :: init: true :: relation: MDD 1456250665, 5 edges, 3 vertices, 4 tuples
16.70/6.73	c 01:10:36.610 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18995. 'extension(4, x[7][10]=[0‥4]) :: init: true :: relation: MDD 1617566660, 7 edges, 4 vertices, 5 tuples
16.70/6.73	c 01:10:36.610 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18998. 'extension(4, 4) :: init: true :: relation: MDD 1617566660, 7 edges, 4 vertices, 5 tuples
16.70/6.74	c 01:10:36.612 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19029. 'extension(4, wk[30][0]=[0‥1]) :: init: true :: relation: MDD 1342198213, 5 edges, 3 vertices, 4 tuples
16.70/6.74	c 01:10:36.612 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19030. 'extension(x[5][30]=[0‥4], 4) :: init: true :: relation: MDD 857732012, 7 edges, 4 vertices, 5 tuples
16.70/6.74	c 01:10:36.613 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19031. 'extension(4, x[7][30]=[0‥4]) :: init: true :: relation: MDD 857732012, 7 edges, 4 vertices, 5 tuples
16.70/6.74	c 01:10:36.615 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19063. 'extension(x[6][11]=[0‥4], 4) :: init: true :: relation: MDD 368788838, 7 edges, 4 vertices, 5 tuples
16.70/6.74	c 01:10:36.616 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19064. 'extension(4, x[8][11]=[0‥4]) :: init: true :: relation: MDD 368788838, 7 edges, 4 vertices, 5 tuples
16.70/6.74	c 01:10:36.618 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19097. 'extension(x[6][21]=[0‥4], 4) :: init: true :: relation: MDD 989896315, 7 edges, 4 vertices, 5 tuples
16.70/6.74	c 01:10:36.618 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19098. 'extension(4, x[8][21]=[0‥4]) :: init: true :: relation: MDD 989896315, 7 edges, 4 vertices, 5 tuples
16.70/6.74	c 01:10:36.620 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19133. 'extension(x[6][22]=[0‥4], 4) :: init: true :: relation: MDD 1609565447, 7 edges, 4 vertices, 5 tuples
16.70/6.74	c 01:10:36.622 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19169. 'extension(x[6][31]=[0‥4], 4) :: init: true :: relation: MDD 2040008077, 7 edges, 4 vertices, 5 tuples
16.70/6.75	c 01:10:36.623 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19205. 'extension(4, 4) :: init: true :: relation: MDD 1609565447, 7 edges, 4 vertices, 5 tuples
16.70/6.75	c 01:10:36.624 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19238. 'extension(x[7][30]=[0‥4], 4) :: init: true :: relation: MDD 857732012, 7 edges, 4 vertices, 5 tuples
16.70/6.75	c 01:10:36.624 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19239. 'extension(4, x[9][30]=[0‥4]) :: init: true :: relation: MDD 857732012, 7 edges, 4 vertices, 5 tuples
16.70/6.75	c 01:10:36.626 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19274. 'extension(4, 4) :: init: true :: relation: MDD 2040008077, 7 edges, 4 vertices, 5 tuples
16.70/6.75	c 01:10:36.627 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19307. 'extension(4, 4) :: init: true :: relation: MDD 1609565447, 7 edges, 4 vertices, 5 tuples
16.70/6.75	c 01:10:36.628 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19343. 'extension(4, 4) :: init: true :: relation: MDD 2040008077, 7 edges, 4 vertices, 5 tuples
16.70/6.75	c 01:10:36.629 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19373. 'extension(x[9][6]=[0‥4], 4) :: init: true :: relation: MDD 582979874, 7 edges, 4 vertices, 5 tuples
16.70/6.75	c 01:10:36.630 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19407. 'extension(4, x[11][22]=[0‥4]) :: init: true :: relation: MDD 1609565447, 7 edges, 4 vertices, 5 tuples
16.70/6.75	c 01:10:36.631 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19410. 'extension(4, 4) :: init: true :: relation: MDD 1609565447, 7 edges, 4 vertices, 5 tuples
16.70/6.76	c 01:10:36.633 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19443. 'extension(x[9][24]=[0‥4], 4) :: init: true :: relation: MDD 1776180205, 7 edges, 4 vertices, 5 tuples
16.70/6.76	c 01:10:36.634 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19479. 'extension(4, x[11][31]=[0‥4]) :: init: true :: relation: MDD 2040008077, 7 edges, 4 vertices, 5 tuples
16.70/6.76	c 01:10:36.634 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19482. 'extension(4, 4) :: init: true :: relation: MDD 2040008077, 7 edges, 4 vertices, 5 tuples
16.70/6.76	c 01:10:36.636 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19512. 'extension(x[10][2]=[0‥4], 4) :: init: true :: relation: MDD 2139431292, 7 edges, 4 vertices, 5 tuples
16.70/6.76	c 01:10:36.637 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19513. 'extension(4, x[12][2]=[0‥4]) :: init: true :: relation: MDD 2139431292, 7 edges, 4 vertices, 5 tuples
16.70/6.76	c 01:10:36.639 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19546. 'extension(4, x[12][6]=[0‥4]) :: init: true :: relation: MDD 582979874, 7 edges, 4 vertices, 5 tuples
16.70/6.76	c 01:10:36.639 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19549. 'extension(4, 4) :: init: true :: relation: MDD 582979874, 7 edges, 4 vertices, 5 tuples
16.70/6.76	c 01:10:36.640 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19583. 'extension(4, 4) :: init: true :: relation: MDD 1776180205, 7 edges, 4 vertices, 5 tuples
16.70/6.76	c 01:10:36.641 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19616. 'extension(x[10][25]=[0‥4], 4) :: init: true :: relation: MDD 1338074614, 7 edges, 4 vertices, 5 tuples
16.70/6.76	c 01:10:36.642 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19617. 'extension(4, x[12][25]=[0‥4]) :: init: true :: relation: MDD 1338074614, 7 edges, 4 vertices, 5 tuples
16.70/6.77	c 01:10:36.644 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19652. 'extension(4, wk[13][1]=[0‥1]) :: init: true :: relation: MDD 1758060579, 5 edges, 3 vertices, 4 tuples
16.70/6.77	c 01:10:36.645 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19653. 'extension(x[11][13]=[0‥4], 4) :: init: true :: relation: MDD 2022768790, 7 edges, 4 vertices, 5 tuples
16.70/6.77	c 01:10:36.646 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19687. 'extension(4, wk[24][1]=[0‥1]) :: init: true :: relation: MDD 1176254217, 5 edges, 3 vertices, 4 tuples
16.70/6.77	c 01:10:36.646 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19688. 'extension(4, x[13][24]=[0‥4]) :: init: true :: relation: MDD 1776180205, 7 edges, 4 vertices, 5 tuples
16.70/6.77	c 01:10:36.647 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19691. 'extension(4, 4) :: init: true :: relation: MDD 1776180205, 7 edges, 4 vertices, 5 tuples
16.70/6.77	c 01:10:36.649 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19724. 'extension(4, wk[5][1]=[0‥1]) :: init: true :: relation: MDD 500985266, 5 edges, 3 vertices, 4 tuples
16.70/6.77	c 01:10:36.649 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19725. 'extension(x[12][5]=[0‥4], 4) :: init: true :: relation: MDD 906397479, 7 edges, 4 vertices, 5 tuples
16.70/6.77	c 01:10:36.650 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19726. 'extension(4, x[14][5]=[0‥4]) :: init: true :: relation: MDD 906397479, 7 edges, 4 vertices, 5 tuples
16.70/6.77	c 01:10:36.652 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19759. 'extension(4, wk[13][1]=[0‥1]) :: init: true :: relation: MDD 511646132, 5 edges, 3 vertices, 4 tuples
16.70/6.77	c 01:10:36.652 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19760. 'extension(4, x[14][13]=[0‥4]) :: init: true :: relation: MDD 2022768790, 7 edges, 4 vertices, 5 tuples
16.70/6.78	c 01:10:36.653 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19763. 'extension(4, 4) :: init: true :: relation: MDD 2022768790, 7 edges, 4 vertices, 5 tuples
16.70/6.78	c 01:10:36.655 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19794. 'extension(x[13][0]=[0‥4], 4) :: init: true :: relation: MDD 1078031260, 7 edges, 4 vertices, 5 tuples
16.70/6.78	c 01:10:36.656 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19828. 'extension(x[13][14]=[0‥4], 4) :: init: true :: relation: MDD 1287215032, 7 edges, 4 vertices, 5 tuples
16.70/6.79	c 01:10:36.657 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19862. 'extension(x[13][27]=[0‥4], 4) :: init: true :: relation: MDD 436028378, 7 edges, 4 vertices, 5 tuples
16.70/6.79	c 01:10:36.657 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19863. 'extension(4, x[15][27]=[0‥4]) :: init: true :: relation: MDD 436028378, 7 edges, 4 vertices, 5 tuples
16.70/6.79	c 01:10:36.659 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19898. 'extension(4, 4) :: init: true :: relation: MDD 1078031260, 7 edges, 4 vertices, 5 tuples
16.70/6.79	c 01:10:36.659 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19932. 'extension(4, 4) :: init: true :: relation: MDD 1287215032, 7 edges, 4 vertices, 5 tuples
16.70/6.79	c 01:10:36.660 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19966. 'extension(4, 4) :: init: true :: relation: MDD 1078031260, 7 edges, 4 vertices, 5 tuples
16.70/6.79	c 01:10:36.661 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19997. 'extension(x[15][2]=[0‥4], 4) :: init: true :: relation: MDD 2139431292, 7 edges, 4 vertices, 5 tuples
16.70/6.79	c 01:10:36.662 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20034. 'extension(4, 4) :: init: true :: relation: MDD 1287215032, 7 edges, 4 vertices, 5 tuples
16.70/6.79	c 01:10:36.663 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20065. 'extension(4, x[18][0]=[0‥4]) :: init: true :: relation: MDD 1078031260, 7 edges, 4 vertices, 5 tuples
16.70/6.79	c 01:10:36.664 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20068. 'extension(4, 4) :: init: true :: relation: MDD 1078031260, 7 edges, 4 vertices, 5 tuples
16.70/6.79	c 01:10:36.665 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20099. 'extension(4, x[18][2]=[0‥4]) :: init: true :: relation: MDD 2139431292, 7 edges, 4 vertices, 5 tuples
16.70/6.79	c 01:10:36.666 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20102. 'extension(4, 4) :: init: true :: relation: MDD 2139431292, 7 edges, 4 vertices, 5 tuples
16.70/6.79	c 01:10:36.667 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20133. 'extension(x[16][4]=[0‥4], 4) :: init: true :: relation: MDD 1904652802, 7 edges, 4 vertices, 5 tuples
16.70/6.79	c 01:10:36.668 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20167. 'extension(4, x[18][14]=[0‥4]) :: init: true :: relation: MDD 1287215032, 7 edges, 4 vertices, 5 tuples
16.70/6.79	c 01:10:36.669 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20170. 'extension(4, 4) :: init: true :: relation: MDD 1287215032, 7 edges, 4 vertices, 5 tuples
16.70/6.79	c 01:10:36.670 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20201. 'extension(x[16][29]=[0‥4], 4) :: init: true :: relation: MDD 1823354445, 7 edges, 4 vertices, 5 tuples
16.70/6.79	c 01:10:36.672 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20234. 'extension(x[17][3]=[0‥4], 4) :: init: true :: relation: MDD 1487424018, 7 edges, 4 vertices, 5 tuples
16.70/6.80	c 01:10:36.672 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20271. 'extension(4, 4) :: init: true :: relation: MDD 1904652802, 7 edges, 4 vertices, 5 tuples
17.02/6.80	c 01:10:36.673 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20305. 'extension(4, 4) :: init: true :: relation: MDD 1823354445, 7 edges, 4 vertices, 5 tuples
17.02/6.80	c 01:10:36.674 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20335. 'extension(4, wk[1][2]=[0‥1]) :: init: true :: relation: MDD 548108014, 5 edges, 3 vertices, 4 tuples
17.02/6.80	c 01:10:36.674 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20336. 'extension(x[18][1]=[0‥4], 4) :: init: true :: relation: MDD 1381341801, 7 edges, 4 vertices, 5 tuples
17.02/6.80	c 01:10:36.675 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20370. 'extension(4, wk[3][2]=[0‥1]) :: init: true :: relation: MDD 379776337, 5 edges, 3 vertices, 4 tuples
17.02/6.80	c 01:10:36.675 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20374. 'extension(4, 4) :: init: true :: relation: MDD 1487424018, 7 edges, 4 vertices, 5 tuples
17.02/6.80	c 01:10:36.676 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20405. 'extension(4, wk[4][2]=[0‥1]) :: init: true :: relation: MDD 1306067302, 5 edges, 3 vertices, 4 tuples
17.02/6.80	c 01:10:36.676 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20409. 'extension(4, 4) :: init: true :: relation: MDD 1904652802, 7 edges, 4 vertices, 5 tuples
17.02/6.80	c 01:10:36.677 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20440. 'extension(4, wk[18][2]=[0‥1]) :: init: true :: relation: MDD 1169370622, 5 edges, 3 vertices, 4 tuples
17.02/6.80	c 01:10:36.677 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20441. 'extension(x[18][18]=[0‥4], 4) :: init: true :: relation: MDD 646337666, 7 edges, 4 vertices, 5 tuples
17.02/6.80	c 01:10:36.677 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20442. 'extension(4, x[20][18]=[0‥4]) :: init: true :: relation: MDD 646337666, 7 edges, 4 vertices, 5 tuples
17.02/6.80	c 01:10:36.679 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20475. 'extension(4, wk[29][2]=[0‥1]) :: init: true :: relation: MDD 631851861, 5 edges, 3 vertices, 4 tuples
17.02/6.80	c 01:10:36.679 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20479. 'extension(4, 4) :: init: true :: relation: MDD 1823354445, 7 edges, 4 vertices, 5 tuples
17.02/6.80	c 01:10:36.680 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20509. 'extension(4, wk[1][2]=[0‥1]) :: init: true :: relation: MDD 40910225, 5 edges, 3 vertices, 4 tuples
17.02/6.80	c 01:10:36.681 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20510. 'extension(4, x[21][1]=[0‥4]) :: init: true :: relation: MDD 1381341801, 7 edges, 4 vertices, 5 tuples
17.02/6.81	c 01:10:36.681 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20513. 'extension(4, 4) :: init: true :: relation: MDD 1381341801, 7 edges, 4 vertices, 5 tuples
17.02/6.81	c 01:10:36.683 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20544. 'extension(4, wk[3][2]=[0‥1]) :: init: true :: relation: MDD 1474155611, 5 edges, 3 vertices, 4 tuples
17.02/6.81	c 01:10:36.683 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20548. 'extension(4, 4) :: init: true :: relation: MDD 1487424018, 7 edges, 4 vertices, 5 tuples
17.02/6.81	c 01:10:36.683 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20579. 'extension(4, wk[4][2]=[0‥1]) :: init: true :: relation: MDD 1523683407, 5 edges, 3 vertices, 4 tuples
17.02/6.81	c 01:10:36.684 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20580. 'extension(4, x[21][4]=[0‥4]) :: init: true :: relation: MDD 1904652802, 7 edges, 4 vertices, 5 tuples
17.02/6.81	c 01:10:36.684 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20583. 'extension(4, 4) :: init: true :: relation: MDD 1904652802, 7 edges, 4 vertices, 5 tuples
17.02/6.81	c 01:10:36.685 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20614. 'extension(4, wk[15][2]=[0‥1]) :: init: true :: relation: MDD 1899433964, 5 edges, 3 vertices, 4 tuples
17.02/6.81	c 01:10:36.686 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20615. 'extension(x[19][15]=[0‥4], 4) :: init: true :: relation: MDD 1749978269, 7 edges, 4 vertices, 5 tuples
17.02/6.81	c 01:10:36.686 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20616. 'extension(4, x[21][15]=[0‥4]) :: init: true :: relation: MDD 1749978269, 7 edges, 4 vertices, 5 tuples
17.02/6.81	c 01:10:36.688 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20649. 'extension(4, wk[29][2]=[0‥1]) :: init: true :: relation: MDD 432112141, 5 edges, 3 vertices, 4 tuples
17.02/6.81	c 01:10:36.688 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20650. 'extension(4, x[21][29]=[0‥4]) :: init: true :: relation: MDD 1823354445, 7 edges, 4 vertices, 5 tuples
17.02/6.81	c 01:10:36.689 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20653. 'extension(4, 4) :: init: true :: relation: MDD 1823354445, 7 edges, 4 vertices, 5 tuples
17.02/6.81	c 01:10:36.690 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20683. 'extension(4, x[22][3]=[0‥4]) :: init: true :: relation: MDD 1487424018, 7 edges, 4 vertices, 5 tuples
17.02/6.81	c 01:10:36.691 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20686. 'extension(4, 4) :: init: true :: relation: MDD 1487424018, 7 edges, 4 vertices, 5 tuples
17.02/6.82	c 01:10:36.692 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20717. 'extension(x[20][30]=[0‥4], 4) :: init: true :: relation: MDD 857732012, 7 edges, 4 vertices, 5 tuples
17.02/6.82	c 01:10:36.692 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20718. 'extension(4, x[22][30]=[0‥4]) :: init: true :: relation: MDD 857732012, 7 edges, 4 vertices, 5 tuples
17.02/6.82	c 01:10:36.694 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20750. 'extension(x[22][12]=[0‥4], 4) :: init: true :: relation: MDD 237630710, 7 edges, 4 vertices, 5 tuples
17.02/6.82	c 01:10:36.695 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20784. 'extension(x[23][5]=[0‥4], 4) :: init: true :: relation: MDD 906397479, 7 edges, 4 vertices, 5 tuples
17.02/6.82	c 01:10:36.696 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20821. 'extension(4, 4) :: init: true :: relation: MDD 237630710, 7 edges, 4 vertices, 5 tuples
17.02/6.82	c 01:10:36.697 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20852. 'extension(x[23][18]=[0‥4], 4) :: init: true :: relation: MDD 646337666, 7 edges, 4 vertices, 5 tuples
17.02/6.82	c 01:10:36.698 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20886. 'extension(x[23][27]=[0‥4], 4) :: init: true :: relation: MDD 436028378, 7 edges, 4 vertices, 5 tuples
17.02/6.82	c 01:10:36.698 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20922. 'extension(4, 4) :: init: true :: relation: MDD 906397479, 7 edges, 4 vertices, 5 tuples
17.02/6.82	c 01:10:36.699 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20953. 'extension(x[24][11]=[0‥4], 4) :: init: true :: relation: MDD 368788838, 7 edges, 4 vertices, 5 tuples
17.02/6.82	c 01:10:36.700 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20990. 'extension(4, 4) :: init: true :: relation: MDD 237630710, 7 edges, 4 vertices, 5 tuples
17.02/6.82	c 01:10:36.700 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21024. 'extension(4, 4) :: init: true :: relation: MDD 646337666, 7 edges, 4 vertices, 5 tuples
17.02/6.82	c 01:10:36.701 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21055. 'extension(4, x[26][27]=[0‥4]) :: init: true :: relation: MDD 436028378, 7 edges, 4 vertices, 5 tuples
17.02/6.82	c 01:10:36.701 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21058. 'extension(4, 4) :: init: true :: relation: MDD 436028378, 7 edges, 4 vertices, 5 tuples
17.02/6.83	c 01:10:36.702 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21088. 'extension(x[24][30]=[0‥4], 4) :: init: true :: relation: MDD 857732012, 7 edges, 4 vertices, 5 tuples
17.02/6.83	c 01:10:36.702 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21089. 'extension(4, x[26][30]=[0‥4]) :: init: true :: relation: MDD 857732012, 7 edges, 4 vertices, 5 tuples
17.02/6.83	c 01:10:36.705 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21121. 'extension(4, wk[5][3]=[0‥1]) :: init: true :: relation: MDD 28318221, 5 edges, 3 vertices, 4 tuples
17.02/6.83	c 01:10:36.705 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21122. 'extension(4, x[27][5]=[0‥4]) :: init: true :: relation: MDD 906397479, 7 edges, 4 vertices, 5 tuples
17.02/6.83	c 01:10:36.705 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21125. 'extension(4, 4) :: init: true :: relation: MDD 906397479, 7 edges, 4 vertices, 5 tuples
17.02/6.83	c 01:10:36.707 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21156. 'extension(4, wk[8][3]=[0‥1]) :: init: true :: relation: MDD 957608454, 5 edges, 3 vertices, 4 tuples
17.02/6.83	c 01:10:36.707 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21157. 'extension(x[25][8]=[0‥4], 4) :: init: true :: relation: MDD 1806434229, 7 edges, 4 vertices, 5 tuples
17.02/6.83	c 01:10:36.708 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21191. 'extension(4, wk[11][3]=[0‥1]) :: init: true :: relation: MDD 1824242116, 5 edges, 3 vertices, 4 tuples
17.02/6.83	c 01:10:36.708 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21192. 'extension(4, x[27][11]=[0‥4]) :: init: true :: relation: MDD 368788838, 7 edges, 4 vertices, 5 tuples
17.02/6.83	c 01:10:36.708 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21195. 'extension(4, 4) :: init: true :: relation: MDD 368788838, 7 edges, 4 vertices, 5 tuples
17.02/6.83	c 01:10:36.710 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21226. 'extension(4, wk[12][3]=[0‥1]) :: init: true :: relation: MDD 1238013097, 5 edges, 3 vertices, 4 tuples
17.02/6.83	c 01:10:36.710 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21227. 'extension(4, x[27][12]=[0‥4]) :: init: true :: relation: MDD 237630710, 7 edges, 4 vertices, 5 tuples
17.02/6.83	c 01:10:36.710 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21230. 'extension(4, 4) :: init: true :: relation: MDD 237630710, 7 edges, 4 vertices, 5 tuples
17.02/6.84	c 01:10:36.712 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21261. 'extension(4, wk[18][3]=[0‥1]) :: init: true :: relation: MDD 348209600, 5 edges, 3 vertices, 4 tuples
17.02/6.84	c 01:10:36.712 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21262. 'extension(4, x[27][18]=[0‥4]) :: init: true :: relation: MDD 646337666, 7 edges, 4 vertices, 5 tuples
17.02/6.84	c 01:10:36.712 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21265. 'extension(4, 4) :: init: true :: relation: MDD 646337666, 7 edges, 4 vertices, 5 tuples
17.02/6.84	c 01:10:36.714 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21296. 'extension(4, wk[26][3]=[0‥1]) :: init: true :: relation: MDD 117839394, 5 edges, 3 vertices, 4 tuples
17.02/6.84	c 01:10:36.714 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21297. 'extension(x[25][26]=[0‥4], 4) :: init: true :: relation: MDD 1719519917, 7 edges, 4 vertices, 5 tuples
17.02/6.84	c 01:10:36.714 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21298. 'extension(4, x[27][26]=[0‥4]) :: init: true :: relation: MDD 1719519917, 7 edges, 4 vertices, 5 tuples
17.02/6.84	c 01:10:36.716 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21333. 'extension(4, wk[8][3]=[0‥1]) :: init: true :: relation: MDD 993343057, 5 edges, 3 vertices, 4 tuples
17.02/6.84	c 01:10:36.716 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21337. 'extension(4, 4) :: init: true :: relation: MDD 1806434229, 7 edges, 4 vertices, 5 tuples
17.02/6.84	c 01:10:36.717 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21368. 'extension(4, wk[16][3]=[0‥1]) :: init: true :: relation: MDD 1868288866, 5 edges, 3 vertices, 4 tuples
17.02/6.84	c 01:10:36.717 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21369. 'extension(x[26][16]=[0‥4], 4) :: init: true :: relation: MDD 1699826397, 7 edges, 4 vertices, 5 tuples
17.02/6.84	c 01:10:36.718 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21403. 'extension(4, x[29][8]=[0‥4]) :: init: true :: relation: MDD 1806434229, 7 edges, 4 vertices, 5 tuples
17.02/6.84	c 01:10:36.719 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21406. 'extension(4, 4) :: init: true :: relation: MDD 1806434229, 7 edges, 4 vertices, 5 tuples
17.02/6.84	c 01:10:36.720 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21437. 'extension(4, x[29][16]=[0‥4]) :: init: true :: relation: MDD 1699826397, 7 edges, 4 vertices, 5 tuples
17.02/6.84	c 01:10:36.720 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21440. 'extension(4, 4) :: init: true :: relation: MDD 1699826397, 7 edges, 4 vertices, 5 tuples
17.02/6.84	c 01:10:36.721 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21471. 'extension(x[27][19]=[0‥4], 4) :: init: true :: relation: MDD 1740328397, 7 edges, 4 vertices, 5 tuples
17.02/6.84	c 01:10:36.722 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21472. 'extension(4, x[29][19]=[0‥4]) :: init: true :: relation: MDD 1740328397, 7 edges, 4 vertices, 5 tuples
17.02/6.85	c 01:10:36.723 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21505. 'extension(x[28][17]=[0‥4], 4) :: init: true :: relation: MDD 2146285461, 7 edges, 4 vertices, 5 tuples
17.02/6.85	c 01:10:36.724 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21542. 'extension(4, 4) :: init: true :: relation: MDD 2146285461, 7 edges, 4 vertices, 5 tuples
17.02/6.85	c 01:10:36.725 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21573. 'extension(x[29][21]=[0‥4], 4) :: init: true :: relation: MDD 989896315, 7 edges, 4 vertices, 5 tuples
17.02/6.85	c 01:10:36.725 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21574. 'extension(4, x[31][21]=[0‥4]) :: init: true :: relation: MDD 989896315, 7 edges, 4 vertices, 5 tuples
17.02/6.86	c 01:10:36.727 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21609. 'extension(x[29][23]=[0‥4], 4) :: init: true :: relation: MDD 116606935, 7 edges, 4 vertices, 5 tuples
17.02/6.86	c 01:10:36.728 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21645. 'extension(x[30][8]=[0‥4], 4) :: init: true :: relation: MDD 1806434229, 7 edges, 4 vertices, 5 tuples
17.02/6.86	c 01:10:36.728 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21646. 'extension(4, x[32][8]=[0‥4]) :: init: true :: relation: MDD 1806434229, 7 edges, 4 vertices, 5 tuples
17.02/6.86	c 01:10:36.730 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21679. 'extension(x[30][9]=[0‥4], 4) :: init: true :: relation: MDD 2137205195, 7 edges, 4 vertices, 5 tuples
17.02/6.86	c 01:10:36.731 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21713. 'extension(x[30][16]=[0‥4], 4) :: init: true :: relation: MDD 1699826397, 7 edges, 4 vertices, 5 tuples
17.02/6.86	c 01:10:36.731 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21750. 'extension(4, 4) :: init: true :: relation: MDD 2146285461, 7 edges, 4 vertices, 5 tuples
17.02/6.86	c 01:10:36.732 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21781. 'extension(x[30][19]=[0‥4], 4) :: init: true :: relation: MDD 1740328397, 7 edges, 4 vertices, 5 tuples
17.02/6.86	c 01:10:36.732 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21818. 'extension(4, 4) :: init: true :: relation: MDD 116606935, 7 edges, 4 vertices, 5 tuples
17.02/6.86	c 01:10:36.733 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21851. 'extension(4, x[33][9]=[0‥4]) :: init: true :: relation: MDD 2137205195, 7 edges, 4 vertices, 5 tuples
17.02/6.86	c 01:10:36.733 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21854. 'extension(4, 4) :: init: true :: relation: MDD 2137205195, 7 edges, 4 vertices, 5 tuples
17.02/6.86	c 01:10:36.735 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21885. 'extension(4, x[33][16]=[0‥4]) :: init: true :: relation: MDD 1699826397, 7 edges, 4 vertices, 5 tuples
17.02/6.86	c 01:10:36.735 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21888. 'extension(4, 4) :: init: true :: relation: MDD 1699826397, 7 edges, 4 vertices, 5 tuples
17.02/6.86	c 01:10:36.736 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21919. 'extension(4, x[33][17]=[0‥4]) :: init: true :: relation: MDD 2146285461, 7 edges, 4 vertices, 5 tuples
17.02/6.86	c 01:10:36.737 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21922. 'extension(4, 4) :: init: true :: relation: MDD 2146285461, 7 edges, 4 vertices, 5 tuples
17.02/6.86	c 01:10:36.738 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21956. 'extension(4, 4) :: init: true :: relation: MDD 1740328397, 7 edges, 4 vertices, 5 tuples
17.02/6.86	c 01:10:36.739 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21987. 'extension(4, x[33][23]=[0‥4]) :: init: true :: relation: MDD 116606935, 7 edges, 4 vertices, 5 tuples
17.02/6.86	c 01:10:36.739 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21990. 'extension(4, 4) :: init: true :: relation: MDD 116606935, 7 edges, 4 vertices, 5 tuples
17.02/6.86	c 01:10:36.740 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22023. 'extension(x[31][27]=[0‥4], 4) :: init: true :: relation: MDD 436028378, 7 edges, 4 vertices, 5 tuples
17.02/6.87	c 01:10:36.741 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22024. 'extension(4, x[33][27]=[0‥4]) :: init: true :: relation: MDD 436028378, 7 edges, 4 vertices, 5 tuples
17.02/6.87	c 01:10:36.743 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22056. 'extension(4, wk[15][4]=[0‥1]) :: init: true :: relation: MDD 487369776, 5 edges, 3 vertices, 4 tuples
17.02/6.87	c 01:10:36.743 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22057. 'extension(x[32][15]=[0‥4], 4) :: init: true :: relation: MDD 1749978269, 7 edges, 4 vertices, 5 tuples
17.02/6.87	c 01:10:36.744 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22091. 'extension(4, wk[19][4]=[0‥1]) :: init: true :: relation: MDD 805184575, 5 edges, 3 vertices, 4 tuples
17.02/6.87	c 01:10:36.744 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22092. 'extension(4, x[34][19]=[0‥4]) :: init: true :: relation: MDD 1740328397, 7 edges, 4 vertices, 5 tuples
17.02/6.87	c 01:10:36.744 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22095. 'extension(4, 4) :: init: true :: relation: MDD 1740328397, 7 edges, 4 vertices, 5 tuples
17.02/6.87	c 01:10:36.746 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22126. 'extension(4, wk[15][4]=[0‥1]) :: init: true :: relation: MDD 1576936424, 5 edges, 3 vertices, 4 tuples
17.02/6.87	c 01:10:36.746 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22130. 'extension(4, 4) :: init: true :: relation: MDD 1749978269, 7 edges, 4 vertices, 5 tuples
17.02/6.87	c 01:10:36.747 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22161. 'extension(4, wk[21][4]=[0‥1]) :: init: true :: relation: MDD 2093996783, 5 edges, 3 vertices, 4 tuples
17.02/6.87	c 01:10:36.747 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22162. 'extension(x[33][21]=[0‥4], 4) :: init: true :: relation: MDD 989896315, 7 edges, 4 vertices, 5 tuples
17.02/6.87	c 01:10:36.748 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22198. 'extension(4, wk[28][4]=[0‥1]) :: init: true :: relation: MDD 977772506, 5 edges, 3 vertices, 4 tuples
17.02/6.87	c 01:10:36.748 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22199. 'extension(x[33][28]=[0‥4], 4) :: init: true :: relation: MDD 72423389, 7 edges, 4 vertices, 5 tuples
17.02/6.87	c 01:10:36.749 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22232. 'extension(x[34][7]=[0‥4], 4) :: init: true :: relation: MDD 157843285, 7 edges, 4 vertices, 5 tuples
17.02/6.87	c 01:10:36.749 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22266. 'extension(4, x[36][15]=[0‥4]) :: init: true :: relation: MDD 1749978269, 7 edges, 4 vertices, 5 tuples
17.02/6.87	c 01:10:36.750 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22269. 'extension(4, 4) :: init: true :: relation: MDD 1749978269, 7 edges, 4 vertices, 5 tuples
17.02/6.87	c 01:10:36.751 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22300. 'extension(4, x[36][21]=[0‥4]) :: init: true :: relation: MDD 989896315, 7 edges, 4 vertices, 5 tuples
17.02/6.87	c 01:10:36.752 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22303. 'extension(4, 4) :: init: true :: relation: MDD 989896315, 7 edges, 4 vertices, 5 tuples
17.02/6.88	c 01:10:36.753 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22339. 'extension(4, 4) :: init: true :: relation: MDD 72423389, 7 edges, 4 vertices, 5 tuples
17.02/6.88	c 01:10:36.754 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22372. 'extension(4, 4) :: init: true :: relation: MDD 157843285, 7 edges, 4 vertices, 5 tuples
17.02/6.88	c 01:10:36.755 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22403. 'extension(x[35][25]=[0‥4], 4) :: init: true :: relation: MDD 1338074614, 7 edges, 4 vertices, 5 tuples
17.02/6.88	c 01:10:36.755 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22441. 'extension(4, 4) :: init: true :: relation: MDD 72423389, 7 edges, 4 vertices, 5 tuples
17.02/6.88	c 01:10:36.756 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22474. 'extension(4, 4) :: init: true :: relation: MDD 157843285, 7 edges, 4 vertices, 5 tuples
17.02/6.88	c 01:10:36.757 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22504. 'extension(x[36][20]=[0‥4], 4) :: init: true :: relation: MDD 1639652941, 7 edges, 4 vertices, 5 tuples
17.02/6.88	c 01:10:36.757 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22505. 'extension(4, x[38][20]=[0‥4]) :: init: true :: relation: MDD 1639652941, 7 edges, 4 vertices, 5 tuples
17.02/6.88	c 01:10:36.759 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22541. 'extension(4, 4) :: init: true :: relation: MDD 1338074614, 7 edges, 4 vertices, 5 tuples
17.02/6.88	c 01:10:36.759 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22572. 'extension(4, x[38][28]=[0‥4]) :: init: true :: relation: MDD 72423389, 7 edges, 4 vertices, 5 tuples
17.02/6.88	c 01:10:36.760 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22575. 'extension(4, 4) :: init: true :: relation: MDD 72423389, 7 edges, 4 vertices, 5 tuples
17.02/6.88	c 01:10:36.761 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22604. 'extension(4, x[39][7]=[0‥4]) :: init: true :: relation: MDD 157843285, 7 edges, 4 vertices, 5 tuples
17.02/6.89	c 01:10:36.761 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22607. 'extension(4, 4) :: init: true :: relation: MDD 157843285, 7 edges, 4 vertices, 5 tuples
17.02/6.89	c 01:10:36.763 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22636. 'extension(4, x[39][25]=[0‥4]) :: init: true :: relation: MDD 1338074614, 7 edges, 4 vertices, 5 tuples
17.02/6.89	c 01:10:36.763 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22639. 'extension(4, 4) :: init: true :: relation: MDD 1338074614, 7 edges, 4 vertices, 5 tuples
17.02/6.89	c 01:10:36.764 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22669. 'extension(x[38][1]=[0‥4], 4) :: init: true :: relation: MDD 1381341801, 7 edges, 4 vertices, 5 tuples
17.02/6.89	c 01:10:36.765 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22700. 'extension(x[38][6]=[0‥4], 4) :: init: true :: relation: MDD 582979874, 7 edges, 4 vertices, 5 tuples
17.02/6.89	c 01:10:36.766 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22731. 'extension(x[38][26]=[0‥4], 4) :: init: true :: relation: MDD 1719519917, 7 edges, 4 vertices, 5 tuples
17.02/6.89	c 01:10:36.767 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22762. 'extension(4, wk[1][5]=[0‥1]) :: init: true :: relation: MDD 280291320, 5 edges, 3 vertices, 4 tuples
17.02/6.89	c 01:10:36.767 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22763. 'extension(4, x[41][1]=[0‥4]) :: init: true :: relation: MDD 1381341801, 7 edges, 4 vertices, 5 tuples
17.02/6.89	c 01:10:36.767 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22765. 'extension(4, 4) :: init: true :: relation: MDD 1381341801, 7 edges, 4 vertices, 5 tuples
17.02/6.89	c 01:10:36.768 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22792. 'extension(4, wk[2][5]=[0‥1]) :: init: true :: relation: MDD 280397810, 5 edges, 3 vertices, 4 tuples
17.02/6.89	c 01:10:36.768 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22793. 'extension(x[39][2]=[0‥4], 4) :: init: true :: relation: MDD 2139431292, 7 edges, 4 vertices, 5 tuples
17.02/6.89	c 01:10:36.769 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22794. 'extension(4, x[41][2]=[0‥4]) :: init: true :: relation: MDD 2139431292, 7 edges, 4 vertices, 5 tuples
17.02/6.89	c 01:10:36.770 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22822. 'extension(4, wk[6][5]=[0‥1]) :: init: true :: relation: MDD 722764585, 5 edges, 3 vertices, 4 tuples
17.02/6.89	c 01:10:36.770 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22823. 'extension(4, x[41][6]=[0‥4]) :: init: true :: relation: MDD 582979874, 7 edges, 4 vertices, 5 tuples
17.02/6.89	c 01:10:36.770 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22825. 'extension(4, 4) :: init: true :: relation: MDD 582979874, 7 edges, 4 vertices, 5 tuples
17.02/6.89	c 01:10:36.771 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22852. 'extension(4, wk[26][5]=[0‥1]) :: init: true :: relation: MDD 1641776831, 5 edges, 3 vertices, 4 tuples
17.02/6.89	c 01:10:36.772 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22855. 'extension(4, 4) :: init: true :: relation: MDD 1719519917, 7 edges, 4 vertices, 5 tuples
17.02/6.90	c 01:10:36.772 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22882. 'extension(4, wk[26][5]=[0‥1]) :: init: true :: relation: MDD 1043822951, 5 edges, 3 vertices, 4 tuples
17.02/6.90	c 01:10:36.773 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22883. 'extension(4, 4) :: init: true :: relation: MDD 1719519917, 7 edges, 4 vertices, 5 tuples
17.02/6.90	c 01:10:36.773 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22884. 'extension(4, 4) :: init: true :: relation: MDD 12706127, 5 edges, 3 vertices, 4 tuples
17.38/6.92	c 01:10:36.795 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23323. 'extension(x[1][24]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.92	c 01:10:36.795 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23325. 'extension(x[1][24]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.92	c 01:10:36.796 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23331. 'extension(x[0][9]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.92	c 01:10:36.796 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23335. 'extension(x[0][11]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.92	c 01:10:36.796 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23337. 'extension(x[2][11]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.92	c 01:10:36.797 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23349. 'extension(x[0][23]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.92	c 01:10:36.797 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23351. 'extension(x[2][23]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.92	c 01:10:36.797 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23363. 'extension(x[3][9]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.92	c 01:10:36.798 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23377. 'extension(x[1][13]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.92	c 01:10:36.798 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23383. 'extension(x[3][20]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.92	c 01:10:36.799 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23395. 'extension(x[2][10]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.93	c 01:10:36.799 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23401. 'extension(x[4][13]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.93	c 01:10:36.800 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23419. 'extension(wk[10][0]=[0‥1]) :: init: true :: relation: Empty MDD
17.38/6.93	c 01:10:36.800 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23421. 'extension(wk[10][0]=[0‥1]) :: init: true :: relation: Empty MDD
17.38/6.93	c 01:10:36.800 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23423. 'extension(x[7][10]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.93	c 01:10:36.801 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23433. 'extension(wk[30][0]=[0‥1]) :: init: true :: relation: Empty MDD
17.38/6.93	c 01:10:36.801 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23435. 'extension(x[5][30]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.93	c 01:10:36.801 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23437. 'extension(x[7][30]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.93	c 01:10:36.802 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23447. 'extension(x[6][11]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.93	c 01:10:36.802 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23449. 'extension(x[8][11]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.93	c 01:10:36.803 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23463. 'extension(x[6][21]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.93	c 01:10:36.803 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23465. 'extension(x[8][21]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.93	c 01:10:36.804 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23481. 'extension(x[6][22]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.93	c 01:10:36.804 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23487. 'extension(x[6][31]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.93	c 01:10:36.804 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23497. 'extension(x[7][30]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.93	c 01:10:36.805 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23499. 'extension(x[9][30]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.93	c 01:10:36.805 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23515. 'extension(x[9][6]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.93	c 01:10:36.806 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23521. 'extension(x[11][22]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.93	c 01:10:36.806 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23533. 'extension(x[9][24]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.93	c 01:10:36.807 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23539. 'extension(x[11][31]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.93	c 01:10:36.807 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23547. 'extension(x[10][2]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.93	c 01:10:36.807 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23549. 'extension(x[12][2]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.93	c 01:10:36.808 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23563. 'extension(x[12][6]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.93	c 01:10:36.809 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23581. 'extension(x[10][25]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.93	c 01:10:36.809 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23583. 'extension(x[12][25]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.93	c 01:10:36.810 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23599. 'extension(wk[13][1]=[0‥1]) :: init: true :: relation: Empty MDD
17.38/6.93	c 01:10:36.810 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23601. 'extension(x[11][13]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.93	c 01:10:36.810 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23607. 'extension(wk[24][1]=[0‥1]) :: init: true :: relation: Empty MDD
17.38/6.94	c 01:10:36.814 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23609. 'extension(x[13][24]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.94	c 01:10:36.815 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23623. 'extension(wk[5][1]=[0‥1]) :: init: true :: relation: Empty MDD
17.38/6.94	c 01:10:36.815 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23625. 'extension(x[12][5]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.94	c 01:10:36.815 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23627. 'extension(x[14][5]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.94	c 01:10:36.816 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23641. 'extension(wk[13][1]=[0‥1]) :: init: true :: relation: Empty MDD
17.38/6.94	c 01:10:36.816 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23643. 'extension(x[14][13]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.94	c 01:10:36.817 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23657. 'extension(x[13][0]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.94	c 01:10:36.817 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23663. 'extension(x[13][14]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.94	c 01:10:36.817 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23669. 'extension(x[13][27]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.94	c 01:10:36.818 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23671. 'extension(x[15][27]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.94	c 01:10:36.818 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23691. 'extension(x[15][2]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.94	c 01:10:36.819 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23697. 'extension(x[18][0]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.94	c 01:10:36.819 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23707. 'extension(x[18][2]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.94	c 01:10:36.820 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23721. 'extension(x[16][4]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.94	c 01:10:36.820 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23727. 'extension(x[18][14]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.94	c 01:10:36.821 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23737. 'extension(x[16][29]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.94	c 01:10:36.821 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23743. 'extension(x[17][3]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.94	c 01:10:36.822 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23755. 'extension(wk[1][2]=[0‥1]) :: init: true :: relation: Empty MDD
17.38/6.94	c 01:10:36.822 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23757. 'extension(x[18][1]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.95	c 01:10:36.822 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23763. 'extension(wk[3][2]=[0‥1]) :: init: true :: relation: Empty MDD
17.38/6.95	c 01:10:36.823 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23769. 'extension(wk[4][2]=[0‥1]) :: init: true :: relation: Empty MDD
17.38/6.95	c 01:10:36.823 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23771. 'extension(wk[18][2]=[0‥1]) :: init: true :: relation: Empty MDD
17.38/6.95	c 01:10:36.823 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23773. 'extension(x[18][18]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.95	c 01:10:36.823 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23775. 'extension(x[20][18]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.95	c 01:10:36.824 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23789. 'extension(wk[29][2]=[0‥1]) :: init: true :: relation: Empty MDD
17.38/6.95	c 01:10:36.824 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23791. 'extension(wk[1][2]=[0‥1]) :: init: true :: relation: Empty MDD
17.38/6.95	c 01:10:36.824 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23793. 'extension(x[21][1]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.95	c 01:10:36.825 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23807. 'extension(wk[3][2]=[0‥1]) :: init: true :: relation: Empty MDD
17.38/6.95	c 01:10:36.825 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23809. 'extension(wk[4][2]=[0‥1]) :: init: true :: relation: Empty MDD
17.38/6.95	c 01:10:36.825 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23811. 'extension(x[21][4]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.95	c 01:10:36.825 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23821. 'extension(wk[15][2]=[0‥1]) :: init: true :: relation: Empty MDD
17.38/6.95	c 01:10:36.826 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23823. 'extension(x[19][15]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.95	c 01:10:36.826 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23825. 'extension(x[21][15]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.95	c 01:10:36.826 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23839. 'extension(wk[29][2]=[0‥1]) :: init: true :: relation: Empty MDD
17.38/6.95	c 01:10:36.827 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23841. 'extension(x[21][29]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.95	c 01:10:36.827 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23849. 'extension(x[22][3]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.95	c 01:10:36.827 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23859. 'extension(x[20][30]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.95	c 01:10:36.828 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23861. 'extension(x[22][30]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.95	c 01:10:36.828 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23873. 'extension(x[22][12]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.95	c 01:10:36.828 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23879. 'extension(x[23][5]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.95	c 01:10:36.829 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23889. 'extension(x[23][18]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.95	c 01:10:36.829 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23895. 'extension(x[23][27]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.95	c 01:10:36.830 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23905. 'extension(x[24][11]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.95	c 01:10:36.830 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23915. 'extension(x[26][27]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.95	c 01:10:36.831 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23925. 'extension(x[24][30]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.95	c 01:10:36.831 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23927. 'extension(x[26][30]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.95	c 01:10:36.831 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23939. 'extension(wk[5][3]=[0‥1]) :: init: true :: relation: Empty MDD
17.38/6.96	c 01:10:36.831 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23941. 'extension(x[27][5]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.96	c 01:10:36.832 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23951. 'extension(wk[8][3]=[0‥1]) :: init: true :: relation: Empty MDD
17.38/6.96	c 01:10:36.832 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23953. 'extension(x[25][8]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.96	c 01:10:36.832 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23959. 'extension(wk[11][3]=[0‥1]) :: init: true :: relation: Empty MDD
17.38/6.97	c 01:10:36.833 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23961. 'extension(x[27][11]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.97	c 01:10:36.833 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23975. 'extension(wk[12][3]=[0‥1]) :: init: true :: relation: Empty MDD
17.38/6.97	c 01:10:36.833 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23977. 'extension(x[27][12]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.97	c 01:10:36.834 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23987. 'extension(wk[18][3]=[0‥1]) :: init: true :: relation: Empty MDD
17.38/6.97	c 01:10:36.834 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23989. 'extension(x[27][18]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.97	c 01:10:36.834 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23999. 'extension(wk[26][3]=[0‥1]) :: init: true :: relation: Empty MDD
17.38/6.97	c 01:10:36.835 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24001. 'extension(x[25][26]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.97	c 01:10:36.835 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24003. 'extension(x[27][26]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.97	c 01:10:36.836 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24019. 'extension(wk[8][3]=[0‥1]) :: init: true :: relation: Empty MDD
17.38/6.97	c 01:10:36.836 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24025. 'extension(wk[16][3]=[0‥1]) :: init: true :: relation: Empty MDD
17.38/6.97	c 01:10:36.836 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24027. 'extension(x[26][16]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.97	c 01:10:36.836 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24033. 'extension(x[29][8]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.97	c 01:10:36.837 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24043. 'extension(x[29][16]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.97	c 01:10:36.837 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24057. 'extension(x[27][19]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.97	c 01:10:36.838 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24059. 'extension(x[29][19]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.97	c 01:10:36.838 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24073. 'extension(x[28][17]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.97	c 01:10:36.839 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24083. 'extension(x[29][21]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.97	c 01:10:36.839 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24085. 'extension(x[31][21]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.97	c 01:10:36.840 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24101. 'extension(x[29][23]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.97	c 01:10:36.840 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24107. 'extension(x[30][8]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.97	c 01:10:36.840 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24109. 'extension(x[32][8]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.97	c 01:10:36.841 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24123. 'extension(x[30][9]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.97	c 01:10:36.841 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24129. 'extension(x[30][16]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.97	c 01:10:36.842 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24135. 'extension(x[30][19]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.97	c 01:10:36.842 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24145. 'extension(x[33][9]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.97	c 01:10:36.843 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24159. 'extension(x[33][16]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.97	c 01:10:36.843 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24173. 'extension(x[33][17]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.97	c 01:10:36.844 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24187. 'extension(x[33][23]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.97	c 01:10:36.845 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24201. 'extension(x[31][27]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.97	c 01:10:36.845 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24203. 'extension(x[33][27]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.97	c 01:10:36.845 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24215. 'extension(wk[15][4]=[0‥1]) :: init: true :: relation: Empty MDD
17.38/6.97	c 01:10:36.845 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24217. 'extension(x[32][15]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.97	c 01:10:36.846 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24223. 'extension(wk[19][4]=[0‥1]) :: init: true :: relation: Empty MDD
17.38/6.97	c 01:10:36.846 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24225. 'extension(x[34][19]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.97	c 01:10:36.846 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24235. 'extension(wk[15][4]=[0‥1]) :: init: true :: relation: Empty MDD
17.38/6.97	c 01:10:36.847 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24241. 'extension(wk[21][4]=[0‥1]) :: init: true :: relation: Empty MDD
17.38/6.97	c 01:10:36.847 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24243. 'extension(x[33][21]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.97	c 01:10:36.847 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24249. 'extension(wk[28][4]=[0‥1]) :: init: true :: relation: Empty MDD
17.38/6.97	c 01:10:36.847 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24251. 'extension(x[33][28]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.97	c 01:10:36.848 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24257. 'extension(x[34][7]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.97	c 01:10:36.848 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24263. 'extension(x[36][15]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.97	c 01:10:36.848 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24273. 'extension(x[36][21]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.97	c 01:10:36.849 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24295. 'extension(x[35][25]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.97	c 01:10:36.850 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24301. 'extension(x[36][20]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.97	c 01:10:36.850 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24303. 'extension(x[38][20]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.97	c 01:10:36.851 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24323. 'extension(x[38][28]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.97	c 01:10:36.851 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24331. 'extension(x[39][7]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.97	c 01:10:36.851 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24341. 'extension(x[39][25]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.98	c 01:10:36.852 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24355. 'extension(x[38][1]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.98	c 01:10:36.852 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24361. 'extension(x[38][6]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.98	c 01:10:36.853 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24367. 'extension(x[38][26]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.98	c 01:10:36.853 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24373. 'extension(wk[1][5]=[0‥1]) :: init: true :: relation: Empty MDD
17.38/6.98	c 01:10:36.853 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24375. 'extension(x[41][1]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.98	c 01:10:36.854 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24387. 'extension(wk[2][5]=[0‥1]) :: init: true :: relation: Empty MDD
17.38/6.98	c 01:10:36.854 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24389. 'extension(x[39][2]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.98	c 01:10:36.854 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24391. 'extension(x[41][2]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.98	c 01:10:36.855 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24403. 'extension(wk[6][5]=[0‥1]) :: init: true :: relation: Empty MDD
17.38/6.98	c 01:10:36.855 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24405. 'extension(x[41][6]=[0‥4]) :: init: true :: relation: Empty MDD
17.38/6.98	c 01:10:36.856 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24417. 'extension(wk[26][5]=[0‥1]) :: init: true :: relation: Empty MDD
17.38/6.98	c 01:10:36.856 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24423. 'extension(wk[26][5]=[0‥1]) :: init: true :: relation: Empty MDD
2520.04/2456.50	Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
2520.04/2456.50		at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24)
2520.04/2456.50		at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53)
2520.04/2456.50		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:142)
2520.04/2456.50		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:5)
2520.04/2456.50		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126)
2520.04/2456.51		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:8)
2520.04/2456.51		at concrete.heuristic.value.BestCost.select(BestCost.scala:53)
2520.04/2456.51		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:102)
2520.04/2456.51		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:102)
2520.04/2456.51		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.04/2456.51		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:102)
2520.04/2456.51		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:102)
2520.04/2456.51		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.04/2456.51		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:102)
2520.04/2456.51		at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:108)
2520.04/2456.51		at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
2520.04/2456.51		at scala.Option.map(Option.scala:146)
2520.04/2456.51		at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
2520.04/2456.51		at concrete.MAC.mac(MAC.scala:203)
2520.04/2456.51		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.04/2456.51		at scala.util.Try$.apply(Try.scala:209)
2520.04/2456.51		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.04/2456.51		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.04/2456.51		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.04/2456.51		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.04/2456.51		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.04/2456.51		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.04/2456.51		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.04/2456.51		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.04/2456.51		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.04/2456.51		at concrete.MAC.oneRun(MAC.scala:253)
2520.04/2456.51		at concrete.MAC.nextSolution(MAC.scala:272)
2520.04/2456.51		at concrete.MAC.$anonfun$nextSolution$5(MAC.scala:336)
2520.04/2456.51		at concrete.ProblemState.map(ProblemState.scala:221)
2520.04/2456.51		at concrete.ProblemState.map(ProblemState.scala:204)
2520.04/2456.51		at concrete.MAC.nextSolution(MAC.scala:334)
2520.04/2456.51		at concrete.Solver.hasNext(Solver.scala:166)
2520.04/2456.51		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.04/2456.51		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.04/2456.51		at concrete.Solver.foreach(Solver.scala:68)
2520.04/2456.51		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.04/2456.51		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.04/2456.51		at scala.util.Success.map(Try.scala:209)
2520.04/2456.51		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.04/2456.51		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.04/2456.51		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.04/2456.51		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.04/2456.51		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.04/2456.51		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.04/2456.51		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.04/2456.51		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.04/2456.51		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.04/2456.51		at scala.collection.immutable.List.foreach(List.scala:389)
2520.04/2456.51		at scala.App.main(App.scala:76)
2520.04/2456.51		at scala.App.main$(App.scala:74)
2520.04/2456.51		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.04/2456.51		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.04/2456.51	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 (7447 MiB free)
  memory of node 1: 16384 MiB (10914 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292949-1532301029/watcher-4292949-1532301029 -o /tmp/evaluation-result-4292949-1532301029/solver-4292949-1532301029 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532295923-7919 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=84561789 HOME/instance-4292949-1532301029.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
Current StackSize limit: 8192 KiB

solver pid=9018, runsolver pid=9015

[startup+0.100138 s]*
/proc/loadavg: 1.40 1.42 1.39 3/207 9075
/proc/meminfo: memFree=18796756/32770624 swapFree=67108860/67108860
[pid=9018] ppid=9015 vsize=9972712 memory=18856 CPUtime=0.08 cores=1,3,5,7
/proc/9018/stat : 9018 (java) S 9015 9018 7887 0 -1 1077944320 4374 13179 0 0 1 0 4 3 20 0 6 0 47666121 10212057088 4714 33554432000 4194304 4196468 140732576834432 140732576816976 140571748191991 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
/proc/9018/statm: 2493178 4714 1934 1 0 2481616 0
[pid=9018/tid=9071] ppid=9015 vsize=9972712 memory=-8672369121724514241 CPUtime=0.08 cores=1,3,5,7
/proc/9018/task/9071/stat : 9071 (java) R 9015 9018 7887 0 -1 4202560 2190 13179 0 0 1 0 4 3 20 0 6 0 47666130 10212057088 4714 33554432000 4194304 4196468 140732576834432 140571720028752 140571748213917 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9072] ppid=9015 vsize=9972712 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/9018/task/9072/stat : 9072 (java) S 9015 9018 7887 0 -1 1077944384 2 13179 0 0 0 0 4 3 20 0 6 0 47666131 10212057088 4714 33554432000 4194304 4196468 140732576834432 140571752434576 140571748202197 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9073] ppid=9015 vsize=9972712 memory=140560838690432 CPUtime=0.07 cores=1,3,5,7
/proc/9018/task/9073/stat : 9073 (java) S 9015 9018 7887 0 -1 1077944384 1 13179 0 0 0 0 4 3 20 0 6 0 47666131 10212057088 4714 33554432000 4194304 4196468 140732576834432 140571667254032 140571748202197 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9074] ppid=9015 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9018/task/9074/stat : 9074 (java) S 9015 9018 7887 0 -1 1077944384 1 13179 0 0 0 0 4 3 20 0 6 0 47666131 10212057088 4714 33554432000 4194304 4196468 140732576834432 140571666201744 140571748202197 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9075] ppid=9015 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/9018/task/9075/stat : 9075 (java) S 9015 9018 7887 0 -1 1077944384 2 13179 0 0 0 0 4 3 20 0 6 0 47666131 10212057088 4714 33554432000 4194304 4196468 140732576834432 140571665148944 140571748202197 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18856 KiB

[startup+0.210174 s]*
/proc/loadavg: 1.40 1.42 1.39 3/216 9084
/proc/meminfo: memFree=18775388/32770624 swapFree=67108860/67108860
[pid=9018] ppid=9015 vsize=10819896 memory=42980 CPUtime=0.25 cores=1,3,5,7
/proc/9018/stat : 9018 (java) S 9015 9018 7887 0 -1 1077944320 7947 13179 0 0 17 1 4 3 20 0 15 0 47666121 11079573504 10745 33554432000 4194304 4196468 140732576834432 140732576816976 140571748191991 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
/proc/9018/statm: 2704974 10745 2957 1 0 2667397 0
[pid=9018/tid=9071] ppid=9015 vsize=10821524 memory=8514701219931451533 CPUtime=0.18 cores=1,3,5,7
/proc/9018/task/9071/stat : 9071 (java) R 9015 9018 7887 0 -1 4202560 5007 13179 0 0 11 0 4 3 20 0 15 0 47666130 11081240576 11207 33554432000 4194304 4196468 140732576834432 140571720016800 140571740871709 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9072] ppid=9015 vsize=10821524 memory=-7025452035940392864 CPUtime=0.07 cores=1,3,5,7
/proc/9018/task/9072/stat : 9072 (java) S 9015 9018 7887 0 -1 1077944384 2 13179 0 0 0 0 4 3 20 0 15 0 47666131 11081240576 11273 33554432000 4194304 4196468 140732576834432 140571752434576 140571748202197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9073] ppid=9015 vsize=10821524 memory=140560838690432 CPUtime=0.07 cores=1,3,5,7
/proc/9018/task/9073/stat : 9073 (java) S 9015 9018 7887 0 -1 1077944384 1 13179 0 0 0 0 4 3 20 0 15 0 47666131 11081240576 11273 33554432000 4194304 4196468 140732576834432 140571667254032 140571748202197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9074] ppid=9015 vsize=10821524 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9018/task/9074/stat : 9074 (java) S 9015 9018 7887 0 -1 1077944384 1 13179 0 0 0 0 4 3 20 0 15 0 47666131 11081240576 11273 33554432000 4194304 4196468 140732576834432 140571666201744 140571748202197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9075] ppid=9015 vsize=10821524 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/9018/task/9075/stat : 9075 (java) S 9015 9018 7887 0 -1 1077944384 2 13179 0 0 0 0 4 3 20 0 15 0 47666131 11081240576 11273 33554432000 4194304 4196468 140732576834432 140571665148944 140571748202197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9076] ppid=9015 vsize=10821524 memory=140560838690432 CPUtime=0.07 cores=1,3,5,7
/proc/9018/task/9076/stat : 9076 (java) S 9015 9018 7887 0 -1 1077944384 2 13179 0 0 0 0 4 3 20 0 15 0 47666132 11081240576 11339 33554432000 4194304 4196468 140732576834432 140571274856560 140571748203138 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9077] ppid=9015 vsize=10821524 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/9018/task/9077/stat : 9077 (java) S 9015 9018 7887 0 -1 1077944384 13 13179 0 0 0 0 4 3 20 0 15 0 47666132 11081240576 11339 33554432000 4194304 4196468 140732576834432 140571058365216 140571748202197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9078] ppid=9015 vsize=10821524 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9018/task/9078/stat : 9078 (java) S 9015 9018 7887 0 -1 1077944384 1 13179 0 0 0 0 4 3 20 0 15 0 47666133 11081240576 11339 33554432000 4194304 4196468 140732576834432 140570588603504 140571748202197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9079] ppid=9015 vsize=10821524 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9018/task/9079/stat : 9079 (java) S 9015 9018 7887 0 -1 1077944384 3 13179 0 0 0 0 4 3 20 0 15 0 47666135 11081240576 11339 33554432000 4194304 4196468 140732576834432 140570281203792 140571748210587 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9080] ppid=9015 vsize=10821524 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9018/task/9080/stat : 9080 (java) S 9015 9018 7887 0 -1 1077944384 366 13179 0 0 1 0 4 3 20 0 15 0 47666135 11081240576 11339 33554432000 4194304 4196468 140732576834432 140571273804400 140571748203138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9081] ppid=9015 vsize=10821524 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/9018/task/9081/stat : 9081 (java) S 9015 9018 7887 0 -1 1077944384 250 13179 0 0 0 0 4 3 20 0 15 0 47666135 11081240576 10988 33554432000 4194304 4196468 140732576834432 140571272751600 140571748203138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9082] ppid=9015 vsize=10821524 memory=140560838690432 CPUtime=0.1 cores=1,3,5,7
/proc/9018/task/9082/stat : 9082 (java) S 9015 9018 7887 0 -1 1077944384 597 13179 0 0 3 0 4 3 20 0 15 0 47666135 11081240576 10988 33554432000 4194304 4196468 140732576834432 140571271699312 140571748203138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9083] ppid=9015 vsize=10821524 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/9018/task/9083/stat : 9083 (java) S 9015 9018 7887 0 -1 1077944384 3 13179 0 0 0 0 4 3 20 0 15 0 47666136 11081240576 10988 33554432000 4194304 4196468 140732576834432 140570247646176 140571748202197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9084] ppid=9015 vsize=10819896 memory=140560838690432 CPUtime=0.07 cores=1,3,5,7
/proc/9018/task/9084/stat : 9084 (java) S 9015 9018 7887 0 -1 1077944384 1 13179 0 0 0 0 4 3 20 0 15 0 47666136 11079573504 10748 33554432000 4194304 4196468 140732576834432 140571270646192 140571748203138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10819896 KiB
Current children cumulated memory: 42980 KiB

[startup+0.310421 s]*
/proc/loadavg: 1.40 1.42 1.39 3/216 9084
/proc/meminfo: memFree=18761372/32770624 swapFree=67108860/67108860
[pid=9018] ppid=9015 vsize=10819352 memory=53420 CPUtime=0.38 cores=1,3,5,7
/proc/9018/stat : 9018 (java) S 9015 9018 7887 0 -1 1077944320 10448 13179 0 0 29 2 4 3 20 0 15 0 47666121 11079016448 13355 33554432000 4194304 4196468 140732576834432 140732576816976 140571748191991 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
/proc/9018/statm: 2704838 13355 3076 1 0 2667149 0
[pid=9018/tid=9071] ppid=9015 vsize=10819352 memory=8112282956445269571 CPUtime=0.28 cores=1,3,5,7
/proc/9018/task/9071/stat : 9071 (java) R 9015 9018 7887 0 -1 4202560 7007 13179 0 0 20 1 4 3 20 0 15 0 47666130 11079016448 13355 33554432000 4194304 4196468 140732576834432 140571720004000 140571731378800 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9072] ppid=9015 vsize=10819352 memory=7446251559434997840 CPUtime=0.07 cores=1,3,5,7
/proc/9018/task/9072/stat : 9072 (java) S 9015 9018 7887 0 -1 1077944384 2 13179 0 0 0 0 4 3 20 0 15 0 47666131 11079016448 13355 33554432000 4194304 4196468 140732576834432 140571752434576 140571748202197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9073] ppid=9015 vsize=10819352 memory=2072 CPUtime=0.07 cores=1,3,5,7
/proc/9018/task/9073/stat : 9073 (java) S 9015 9018 7887 0 -1 1077944384 1 13179 0 0 0 0 4 3 20 0 15 0 47666131 11079016448 13355 33554432000 4194304 4196468 140732576834432 140571667254032 140571748202197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9074] ppid=9015 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9018/task/9074/stat : 9074 (java) S 9015 9018 7887 0 -1 1077944384 1 13179 0 0 0 0 4 3 20 0 15 0 47666131 11079016448 13355 33554432000 4194304 4196468 140732576834432 140571666201744 140571748202197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9075] ppid=9015 vsize=10819352 memory=4126316290023845779 CPUtime=0.07 cores=1,3,5,7
/proc/9018/task/9075/stat : 9075 (java) S 9015 9018 7887 0 -1 1077944384 2 13179 0 0 0 0 4 3 20 0 15 0 47666131 11079016448 13355 33554432000 4194304 4196468 140732576834432 140571665148944 140571748202197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9076] ppid=9015 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9018/task/9076/stat : 9076 (java) S 9015 9018 7887 0 -1 1077944384 2 13179 0 0 0 0 4 3 20 0 15 0 47666132 11079016448 13355 33554432000 4194304 4196468 140732576834432 140571274856560 140571748203138 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9077] ppid=9015 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9018/task/9077/stat : 9077 (java) S 9015 9018 7887 0 -1 1077944384 13 13179 0 0 0 0 4 3 20 0 15 0 47666132 11079016448 13355 33554432000 4194304 4196468 140732576834432 140571058365216 140571748202197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9078] ppid=9015 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9018/task/9078/stat : 9078 (java) S 9015 9018 7887 0 -1 1077944384 1 13179 0 0 0 0 4 3 20 0 15 0 47666133 11079016448 13355 33554432000 4194304 4196468 140732576834432 140570588603504 140571748202197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9079] ppid=9015 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9018/task/9079/stat : 9079 (java) S 9015 9018 7887 0 -1 1077944384 3 13179 0 0 0 0 4 3 20 0 15 0 47666135 11079016448 13355 33554432000 4194304 4196468 140732576834432 140570281203792 140571748210587 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9080] ppid=9015 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9018/task/9080/stat : 9080 (java) S 9015 9018 7887 0 -1 1077944384 368 13179 0 0 1 0 4 3 20 0 15 0 47666135 11079016448 13355 33554432000 4194304 4196468 140732576834432 140571273804400 140571748203138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9081] ppid=9015 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9018/task/9081/stat : 9081 (java) S 9015 9018 7887 0 -1 1077944384 253 13179 0 0 1 0 4 3 20 0 15 0 47666135 11079016448 13355 33554432000 4194304 4196468 140732576834432 140571272751600 140571748203138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9082] ppid=9015 vsize=10819352 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/9018/task/9082/stat : 9082 (java) S 9015 9018 7887 0 -1 1077944384 605 13179 0 0 5 0 4 3 20 0 15 0 47666135 11079016448 13355 33554432000 4194304 4196468 140732576834432 140571271699312 140571748203138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9083] ppid=9015 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9018/task/9083/stat : 9083 (java) S 9015 9018 7887 0 -1 1077944384 3 13179 0 0 0 0 4 3 20 0 15 0 47666136 11079016448 13355 33554432000 4194304 4196468 140732576834432 140570247646176 140571748202197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9084] ppid=9015 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9018/task/9084/stat : 9084 (java) S 9015 9018 7887 0 -1 1077944384 1 13179 0 0 0 0 4 3 20 0 15 0 47666136 11079016448 13355 33554432000 4194304 4196468 140732576834432 140571270646192 140571748203138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 53420 KiB

[startup+0.700876 s]
/proc/loadavg: 1.40 1.42 1.39 3/216 9084
/proc/meminfo: memFree=18751456/32770624 swapFree=67108860/67108860
[pid=9018] ppid=9015 vsize=10819352 memory=86600 CPUtime=0.98 cores=1,3,5,7
/proc/9018/stat : 9018 (java) S 9015 9018 7887 0 -1 1077944320 16754 13179 0 0 88 3 4 3 20 0 15 0 47666121 11079016448 21650 33554432000 4194304 4196468 140732576834432 140732576816976 140571748191991 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
/proc/9018/statm: 2704838 21650 3246 1 0 2667149 0
[pid=9018/tid=9071] ppid=9015 vsize=10819352 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/9018/task/9071/stat : 9071 (java) R 9015 9018 7887 0 -1 4202560 12190 13179 0 0 57 2 4 3 20 0 15 0 47666130 11079016448 21650 33554432000 4194304 4196468 140732576834432 140571720012816 140571728467313 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9072] ppid=9015 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9018/task/9072/stat : 9072 (java) S 9015 9018 7887 0 -1 1077944384 2 13179 0 0 0 0 4 3 20 0 15 0 47666131 11079016448 21650 33554432000 4194304 4196468 140732576834432 140571752434576 140571748202197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9073] ppid=9015 vsize=10819352 memory=4140 CPUtime=0.07 cores=1,3,5,7
/proc/9018/task/9073/stat : 9073 (java) S 9015 9018 7887 0 -1 1077944384 1 13179 0 0 0 0 4 3 20 0 15 0 47666131 11079016448 21650 33554432000 4194304 4196468 140732576834432 140571667254032 140571748202197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9074] ppid=9015 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9018/task/9074/stat : 9074 (java) S 9015 9018 7887 0 -1 1077944384 1 13179 0 0 0 0 4 3 20 0 15 0 47666131 11079016448 21650 33554432000 4194304 4196468 140732576834432 140571666201744 140571748202197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9075] ppid=9015 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9018/task/9075/stat : 9075 (java) S 9015 9018 7887 0 -1 1077944384 2 13179 0 0 0 0 4 3 20 0 15 0 47666131 11079016448 21650 33554432000 4194304 4196468 140732576834432 140571665148944 140571748202197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9076] ppid=9015 vsize=10819352 memory=4420 CPUtime=0.07 cores=1,3,5,7
/proc/9018/task/9076/stat : 9076 (java) S 9015 9018 7887 0 -1 1077944384 5 13179 0 0 0 0 4 3 20 0 15 0 47666132 11079016448 21650 33554432000 4194304 4196468 140732576834432 140571274856560 140571748203138 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9077] ppid=9015 vsize=10819352 memory=6628 CPUtime=0.07 cores=1,3,5,7
/proc/9018/task/9077/stat : 9077 (java) S 9015 9018 7887 0 -1 1077944384 13 13179 0 0 0 0 4 3 20 0 15 0 47666132 11079016448 21650 33554432000 4194304 4196468 140732576834432 140571058365216 140571748202197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9078] ppid=9015 vsize=10819352 memory=8836 CPUtime=0.07 cores=1,3,5,7
/proc/9018/task/9078/stat : 9078 (java) S 9015 9018 7887 0 -1 1077944384 1 13179 0 0 0 0 4 3 20 0 15 0 47666133 11079016448 21650 33554432000 4194304 4196468 140732576834432 140570588603504 140571748202197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9079] ppid=9015 vsize=10819352 memory=11044 CPUtime=0.07 cores=1,3,5,7
/proc/9018/task/9079/stat : 9079 (java) S 9015 9018 7887 0 -1 1077944384 3 13179 0 0 0 0 4 3 20 0 15 0 47666135 11079016448 21650 33554432000 4194304 4196468 140732576834432 140570281203792 140571748210587 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9080] ppid=9015 vsize=10819352 memory=13252 CPUtime=0.16 cores=1,3,5,7
/proc/9018/task/9080/stat : 9080 (java) S 9015 9018 7887 0 -1 1077944384 972 13179 0 0 9 0 4 3 20 0 15 0 47666135 11079016448 21650 33554432000 4194304 4196468 140732576834432 140571273804400 140571748203138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9081] ppid=9015 vsize=10819352 memory=15460 CPUtime=0.14 cores=1,3,5,7
/proc/9018/task/9081/stat : 9081 (java) S 9015 9018 7887 0 -1 1077944384 683 13179 0 0 7 0 4 3 20 0 15 0 47666135 11079016448 21650 33554432000 4194304 4196468 140732576834432 140571272751600 140571748203138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9082] ppid=9015 vsize=10819352 memory=17668 CPUtime=0.19 cores=1,3,5,7
/proc/9018/task/9082/stat : 9082 (java) S 9015 9018 7887 0 -1 1077944384 687 13179 0 0 12 0 4 3 20 0 15 0 47666135 11079016448 21650 33554432000 4194304 4196468 140732576834432 140571271699312 140571748203138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9083] ppid=9015 vsize=10819352 memory=19876 CPUtime=0.07 cores=1,3,5,7
/proc/9018/task/9083/stat : 9083 (java) S 9015 9018 7887 0 -1 1077944384 3 13179 0 0 0 0 4 3 20 0 15 0 47666136 11079016448 21650 33554432000 4194304 4196468 140732576834432 140570247646176 140571748202197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9084] ppid=9015 vsize=10819352 memory=22084 CPUtime=0.07 cores=1,3,5,7
/proc/9018/task/9084/stat : 9084 (java) S 9015 9018 7887 0 -1 1077944384 1 13179 0 0 0 0 4 3 20 0 15 0 47666136 11079016448 21650 33554432000 4194304 4196468 140732576834432 140571270646192 140571748203138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86600 KiB

[startup+1.50576 s]
/proc/loadavg: 1.40 1.42 1.39 3/216 9084
/proc/meminfo: memFree=18705248/32770624 swapFree=67108860/67108860
[pid=9018] ppid=9015 vsize=10830156 memory=174800 CPUtime=3.08 cores=1,3,5,7
/proc/9018/stat : 9018 (java) S 9015 9018 7887 0 -1 1077944320 23579 13179 0 0 294 7 4 3 20 0 15 0 47666121 11090079744 43700 33554432000 4194304 4196468 140732576834432 140732576816976 140571748191991 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
/proc/9018/statm: 2707539 43700 3451 1 0 2669197 0
[pid=9018/tid=9071] ppid=9015 vsize=10830156 memory=0 CPUtime=1.45 cores=1,3,5,7
/proc/9018/task/9071/stat : 9071 (java) R 9015 9018 7887 0 -1 4202560 15632 13179 0 0 134 4 4 3 20 0 15 0 47666130 11090079744 43700 33554432000 4194304 4196468 140732576834432 140571719974016 140571671235812 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9072] ppid=9015 vsize=10830156 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9018/task/9072/stat : 9072 (java) S 9015 9018 7887 0 -1 1077944384 2 13179 0 0 0 0 4 3 20 0 15 0 47666131 11090079744 43700 33554432000 4194304 4196468 140732576834432 140571752434576 140571748202197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9073] ppid=9015 vsize=10830156 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9018/task/9073/stat : 9073 (java) S 9015 9018 7887 0 -1 1077944384 1 13179 0 0 0 0 4 3 20 0 15 0 47666131 11090079744 43700 33554432000 4194304 4196468 140732576834432 140571667254032 140571748202197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9074] ppid=9015 vsize=10830156 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9018/task/9074/stat : 9074 (java) S 9015 9018 7887 0 -1 1077944384 1 13179 0 0 0 0 4 3 20 0 15 0 47666131 11090079744 43700 33554432000 4194304 4196468 140732576834432 140571666201744 140571748202197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9075] ppid=9015 vsize=10830156 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9018/task/9075/stat : 9075 (java) S 9015 9018 7887 0 -1 1077944384 2 13179 0 0 0 0 4 3 20 0 15 0 47666131 11090079744 43700 33554432000 4194304 4196468 140732576834432 140571665148944 140571748202197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9076] ppid=9015 vsize=10830156 memory=-7965959130280075168 CPUtime=0.07 cores=1,3,5,7
/proc/9018/task/9076/stat : 9076 (java) S 9015 9018 7887 0 -1 1077944384 12 13179 0 0 0 0 4 3 20 0 15 0 47666132 11090079744 43700 33554432000 4194304 4196468 140732576834432 140571274856560 140571748203138 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9077] ppid=9015 vsize=10830156 memory=281121447291136 CPUtime=0.07 cores=1,3,5,7
/proc/9018/task/9077/stat : 9077 (java) S 9015 9018 7887 0 -1 1077944384 13 13179 0 0 0 0 4 3 20 0 15 0 47666132 11090079744 43700 33554432000 4194304 4196468 140732576834432 140571058365216 140571748202197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9078] ppid=9015 vsize=10830156 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/9018/task/9078/stat : 9078 (java) S 9015 9018 7887 0 -1 1077944384 1 13179 0 0 0 0 4 3 20 0 15 0 47666133 11090079744 43700 33554432000 4194304 4196468 140732576834432 140570588603504 140571748202197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9079] ppid=9015 vsize=10830156 memory=1952 CPUtime=0.07 cores=1,3,5,7
/proc/9018/task/9079/stat : 9079 (java) S 9015 9018 7887 0 -1 1077944384 3 13179 0 0 0 0 4 3 20 0 15 0 47666135 11090079744 43700 33554432000 4194304 4196468 140732576834432 140570281203792 140571748210587 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9080] ppid=9015 vsize=10830156 memory=1232 CPUtime=0.59 cores=1,3,5,7
/proc/9018/task/9080/stat : 9080 (java) S 9015 9018 7887 0 -1 1077944384 2177 13179 0 0 52 0 4 3 20 0 15 0 47666135 11090079744 43700 33554432000 4194304 4196468 140732576834432 140571273804400 140571748203138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9081] ppid=9015 vsize=10830156 memory=8372 CPUtime=0.62 cores=1,3,5,7
/proc/9018/task/9081/stat : 9081 (java) S 9015 9018 7887 0 -1 1077944384 1665 13179 0 0 55 0 4 3 20 0 15 0 47666135 11090079744 43700 33554432000 4194304 4196468 140732576834432 140571272751600 140571748203138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9082] ppid=9015 vsize=10830156 memory=1708 CPUtime=0.57 cores=1,3,5,7
/proc/9018/task/9082/stat : 9082 (java) S 9015 9018 7887 0 -1 1077944384 1876 13179 0 0 50 0 4 3 20 0 15 0 47666135 11090079744 43700 33554432000 4194304 4196468 140732576834432 140571271699312 140571748203138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9083] ppid=9015 vsize=10830156 memory=5412 CPUtime=0.07 cores=1,3,5,7
/proc/9018/task/9083/stat : 9083 (java) S 9015 9018 7887 0 -1 1077944384 3 13179 0 0 0 0 4 3 20 0 15 0 47666136 11090079744 43700 33554432000 4194304 4196468 140732576834432 140570247646176 140571748202197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9084] ppid=9015 vsize=10830156 memory=4612 CPUtime=0.07 cores=1,3,5,7
/proc/9018/task/9084/stat : 9084 (java) S 9015 9018 7887 0 -1 1077944384 1 13179 0 0 0 0 4 3 20 0 15 0 47666136 11090079744 43700 33554432000 4194304 4196468 140732576834432 140571270646192 140571748203138 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 10830156 KiB

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

/proc/9018/task/9071/stat : 9071 (java) R 9015 9018 7887 0 -1 4202560 108318 13179 0 0 235865 52 4 3 20 0 15 0 47666130 11113168896 325853 33554432000 4194304 4196468 140732576834432 140571720027392 140571359328267 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9072] ppid=9015 vsize=10852704 memory=1141 CPUtime=11.62 cores=1,3,5,7
/proc/9018/task/9072/stat : 9072 (java) S 9015 9018 7887 0 -1 1077944384 21274 13179 0 0 1100 55 4 3 20 0 15 0 47666131 11113168896 325853 33554432000 4194304 4196468 140732576834432 140571752434576 140571748202197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9073] ppid=9015 vsize=10852704 memory=1303412 CPUtime=11.61 cores=1,3,5,7
/proc/9018/task/9073/stat : 9073 (java) S 9015 9018 7887 0 -1 1077944384 30289 13179 0 0 1100 54 4 3 20 0 15 0 47666131 11113168896 325853 33554432000 4194304 4196468 140732576834432 140571667254032 140571748202197 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9074] ppid=9015 vsize=10852704 memory=1232 CPUtime=11.63 cores=1,3,5,7
/proc/9018/task/9074/stat : 9074 (java) S 9015 9018 7887 0 -1 1077944384 33781 13179 0 0 1100 56 4 3 20 0 15 0 47666131 11113168896 325853 33554432000 4194304 4196468 140732576834432 140571666201744 140571748202197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9075] ppid=9015 vsize=10852704 memory=1303412 CPUtime=11.65 cores=1,3,5,7
/proc/9018/task/9075/stat : 9075 (java) S 9015 9018 7887 0 -1 1077944384 32438 13179 0 0 1104 54 4 3 20 0 15 0 47666131 11113168896 325853 33554432000 4194304 4196468 140732576834432 140571665148944 140571748202197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9076] ppid=9015 vsize=10852704 memory=0 CPUtime=9.09 cores=1,3,5,7
/proc/9018/task/9076/stat : 9076 (java) S 9015 9018 7887 0 -1 1077944384 26323 13179 0 0 851 51 4 3 20 0 15 0 47666132 11113168896 325853 33554432000 4194304 4196468 140732576834432 140571274856560 140571748203138 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 27 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9077] ppid=9015 vsize=10852704 memory=1303412 CPUtime=0.07 cores=1,3,5,7
/proc/9018/task/9077/stat : 9077 (java) S 9015 9018 7887 0 -1 1077944384 15 13179 0 0 0 0 4 3 20 0 15 0 47666132 11113168896 325853 33554432000 4194304 4196468 140732576834432 140571058365280 140571748202197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9078] ppid=9015 vsize=10852704 memory=1303412 CPUtime=0.07 cores=1,3,5,7
/proc/9018/task/9078/stat : 9078 (java) S 9015 9018 7887 0 -1 1077944384 4 13179 0 0 0 0 4 3 20 0 15 0 47666133 11113168896 325853 33554432000 4194304 4196468 140732576834432 140570588603520 140571748202197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9079] ppid=9015 vsize=10852704 memory=1303412 CPUtime=0.07 cores=1,3,5,7
/proc/9018/task/9079/stat : 9079 (java) S 9015 9018 7887 0 -1 1077944384 3 13179 0 0 0 0 4 3 20 0 15 0 47666135 11113168896 325853 33554432000 4194304 4196468 140732576834432 140570281203792 140571748210587 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9080] ppid=9015 vsize=10852704 memory=1307000 CPUtime=12.15 cores=1,3,5,7
/proc/9018/task/9080/stat : 9080 (java) S 9015 9018 7887 0 -1 1077944384 82898 13179 0 0 1199 9 4 3 20 0 15 0 47666135 11113168896 325853 33554432000 4194304 4196468 140732576834432 140571273804400 140571748203138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9081] ppid=9015 vsize=10852704 memory=8112282956445269571 CPUtime=11.9 cores=1,3,5,7
/proc/9018/task/9081/stat : 9081 (java) S 9015 9018 7887 0 -1 1077944384 76329 13179 0 0 1175 8 4 3 20 0 15 0 47666135 11113168896 325853 33554432000 4194304 4196468 140732576834432 140571272751600 140571748203138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9082] ppid=9015 vsize=10852704 memory=4612 CPUtime=4.95 cores=1,3,5,7
/proc/9018/task/9082/stat : 9082 (java) S 9015 9018 7887 0 -1 1077944384 79913 13179 0 0 475 13 4 3 20 0 15 0 47666135 11113168896 325853 33554432000 4194304 4196468 140732576834432 140571271699312 140571748203138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9083] ppid=9015 vsize=10852704 memory=1303412 CPUtime=0.07 cores=1,3,5,7
/proc/9018/task/9083/stat : 9083 (java) S 9015 9018 7887 0 -1 1077944384 3 13179 0 0 0 0 4 3 20 0 15 0 47666136 11113168896 325853 33554432000 4194304 4196468 140732576834432 140570247646176 140571748202197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9084] ppid=9015 vsize=10852704 memory=4140 CPUtime=1.36 cores=1,3,5,7
/proc/9018/task/9084/stat : 9084 (java) S 9015 9018 7887 0 -1 1077944384 1570 13179 0 0 58 71 4 3 20 0 15 0 47666136 11113168896 325853 33554432000 4194304 4196468 140732576834432 140571270646192 140571748203138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 24 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
Current children cumulated CPU time: 2444.68 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 1303412 KiB

[startup+2442.3 s]
/proc/loadavg: 1.44 1.43 1.40 3/216 9289
/proc/meminfo: memFree=17077304/32770624 swapFree=67108860/67108860
[pid=9018] ppid=9015 vsize=10852704 memory=1303412 CPUtime=2505.61 cores=1,3,5,7
/proc/9018/stat : 9018 (java) S 9015 9018 7887 0 -1 1077944320 496496 13179 0 0 250174 380 4 3 20 0 15 0 47666121 11113168896 325853 33554432000 4194304 4196468 140732576834432 140732576816976 140571748191991 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
/proc/9018/statm: 2713176 325853 3535 1 0 2674829 0
[pid=9018/tid=9071] ppid=9015 vsize=10852704 memory=1303412 CPUtime=2418.63 cores=1,3,5,7
/proc/9018/task/9071/stat : 9071 (java) R 9015 9018 7887 0 -1 4202560 108947 13179 0 0 241803 53 4 3 20 0 15 0 47666130 11113168896 325853 33554432000 4194304 4196468 140732576834432 140571720026656 140571355234564 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9072] ppid=9015 vsize=10852704 memory=1303412 CPUtime=11.93 cores=1,3,5,7
/proc/9018/task/9072/stat : 9072 (java) S 9015 9018 7887 0 -1 1077944384 21334 13179 0 0 1130 56 4 3 20 0 15 0 47666131 11113168896 325853 33554432000 4194304 4196468 140732576834432 140571752434576 140571748202197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9073] ppid=9015 vsize=10852704 memory=1303412 CPUtime=11.94 cores=1,3,5,7
/proc/9018/task/9073/stat : 9073 (java) S 9015 9018 7887 0 -1 1077944384 30432 13179 0 0 1132 55 4 3 20 0 15 0 47666131 11113168896 325853 33554432000 4194304 4196468 140732576834432 140571667254032 140571748202197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9074] ppid=9015 vsize=10852704 memory=1303412 CPUtime=11.95 cores=1,3,5,7
/proc/9018/task/9074/stat : 9074 (java) S 9015 9018 7887 0 -1 1077944384 33820 13179 0 0 1131 57 4 3 20 0 15 0 47666131 11113168896 325853 33554432000 4194304 4196468 140732576834432 140571666201744 140571748202197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9075] ppid=9015 vsize=10852704 memory=1303412 CPUtime=11.97 cores=1,3,5,7
/proc/9018/task/9075/stat : 9075 (java) S 9015 9018 7887 0 -1 1077944384 32460 13179 0 0 1134 56 4 3 20 0 15 0 47666131 11113168896 325853 33554432000 4194304 4196468 140732576834432 140571665148944 140571748202197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9076] ppid=9015 vsize=10852704 memory=1303412 CPUtime=9.34 cores=1,3,5,7
/proc/9018/task/9076/stat : 9076 (java) S 9015 9018 7887 0 -1 1077944384 26555 13179 0 0 875 52 4 3 20 0 15 0 47666132 11113168896 325853 33554432000 4194304 4196468 140732576834432 140571274856560 140571748203138 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 27 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9077] ppid=9015 vsize=10852704 memory=1303412 CPUtime=0.07 cores=1,3,5,7
/proc/9018/task/9077/stat : 9077 (java) S 9015 9018 7887 0 -1 1077944384 15 13179 0 0 0 0 4 3 20 0 15 0 47666132 11113168896 325853 33554432000 4194304 4196468 140732576834432 140571058365280 140571748202197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9078] ppid=9015 vsize=10852704 memory=1303412 CPUtime=0.07 cores=1,3,5,7
/proc/9018/task/9078/stat : 9078 (java) S 9015 9018 7887 0 -1 1077944384 4 13179 0 0 0 0 4 3 20 0 15 0 47666133 11113168896 325853 33554432000 4194304 4196468 140732576834432 140570588603520 140571748202197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9079] ppid=9015 vsize=10852704 memory=1303412 CPUtime=0.07 cores=1,3,5,7
/proc/9018/task/9079/stat : 9079 (java) S 9015 9018 7887 0 -1 1077944384 3 13179 0 0 0 0 4 3 20 0 15 0 47666135 11113168896 325853 33554432000 4194304 4196468 140732576834432 140570281203792 140571748210587 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9080] ppid=9015 vsize=10852704 memory=4140 CPUtime=12.15 cores=1,3,5,7
/proc/9018/task/9080/stat : 9080 (java) S 9015 9018 7887 0 -1 1077944384 82900 13179 0 0 1199 9 4 3 20 0 15 0 47666135 11113168896 325853 33554432000 4194304 4196468 140732576834432 140571273804400 140571748203138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9081] ppid=9015 vsize=10852704 memory=15768 CPUtime=11.9 cores=1,3,5,7
/proc/9018/task/9081/stat : 9081 (java) S 9015 9018 7887 0 -1 1077944384 76331 13179 0 0 1175 8 4 3 20 0 15 0 47666135 11113168896 325853 33554432000 4194304 4196468 140732576834432 140571272751600 140571748203138 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9082] ppid=9015 vsize=10852704 memory=1296 CPUtime=4.95 cores=1,3,5,7
/proc/9018/task/9082/stat : 9082 (java) S 9015 9018 7887 0 -1 1077944384 79915 13179 0 0 475 13 4 3 20 0 15 0 47666135 11113168896 325853 33554432000 4194304 4196468 140732576834432 140571271699312 140571748203138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9083] ppid=9015 vsize=10852704 memory=1303412 CPUtime=0.07 cores=1,3,5,7
/proc/9018/task/9083/stat : 9083 (java) S 9015 9018 7887 0 -1 1077944384 3 13179 0 0 0 0 4 3 20 0 15 0 47666136 11113168896 325853 33554432000 4194304 4196468 140732576834432 140570247646176 140571748202197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9084] ppid=9015 vsize=10852704 memory=1303412 CPUtime=1.39 cores=1,3,5,7
/proc/9018/task/9084/stat : 9084 (java) S 9015 9018 7887 0 -1 1077944384 1587 13179 0 0 60 72 4 3 20 0 15 0 47666136 11113168896 325853 33554432000 4194304 4196468 140732576834432 140571270646192 140571748203138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 24 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
Current children cumulated CPU time: 2505.61 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 1303412 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2456.5 s]
/proc/loadavg: 1.49 1.44 1.40 3/216 9289
/proc/meminfo: memFree=17118132/32770624 swapFree=67108860/67108860
[pid=9018] ppid=9015 vsize=10852704 memory=1303412 CPUtime=2520.04 cores=1,3,5,7
/proc/9018/stat : 9018 (java) S 9015 9018 7887 0 -1 1077944320 497181 13179 0 0 251615 382 4 3 20 0 15 0 47666121 11113168896 325853 33554432000 4194304 4196468 140732576834432 140732576816976 140571748191991 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
/proc/9018/statm: 2713176 325853 3535 1 0 2674829 0
[pid=9018/tid=9071] ppid=9015 vsize=10852704 memory=1303412 CPUtime=2432.68 cores=1,3,5,7
/proc/9018/task/9071/stat : 9071 (java) R 9015 9018 7887 0 -1 4202560 109220 13179 0 0 243208 53 4 3 20 0 15 0 47666130 11113168896 325853 33554432000 4194304 4196468 140732576834432 140571720026336 140571362373674 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9072] ppid=9015 vsize=10852704 memory=1303412 CPUtime=12 cores=1,3,5,7
/proc/9018/task/9072/stat : 9072 (java) S 9015 9018 7887 0 -1 1077944384 21358 13179 0 0 1137 56 4 3 20 0 15 0 47666131 11113168896 325853 33554432000 4194304 4196468 140732576834432 140571752434576 140571748202197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9073] ppid=9015 vsize=10852704 memory=1303412 CPUtime=12.02 cores=1,3,5,7
/proc/9018/task/9073/stat : 9073 (java) S 9015 9018 7887 0 -1 1077944384 30540 13179 0 0 1139 56 4 3 20 0 15 0 47666131 11113168896 325853 33554432000 4194304 4196468 140732576834432 140571667254032 140571748202197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9074] ppid=9015 vsize=10852704 memory=1303412 CPUtime=12.02 cores=1,3,5,7
/proc/9018/task/9074/stat : 9074 (java) S 9015 9018 7887 0 -1 1077944384 33881 13179 0 0 1138 57 4 3 20 0 15 0 47666131 11113168896 325853 33554432000 4194304 4196468 140732576834432 140571666201744 140571748202197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9075] ppid=9015 vsize=10852704 memory=1303412 CPUtime=12.05 cores=1,3,5,7
/proc/9018/task/9075/stat : 9075 (java) S 9015 9018 7887 0 -1 1077944384 32464 13179 0 0 1142 56 4 3 20 0 15 0 47666131 11113168896 325853 33554432000 4194304 4196468 140732576834432 140571665148944 140571748202197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9076] ppid=9015 vsize=10852704 memory=1303412 CPUtime=9.39 cores=1,3,5,7
/proc/9018/task/9076/stat : 9076 (java) S 9015 9018 7887 0 -1 1077944384 26749 13179 0 0 880 52 4 3 20 0 15 0 47666132 11113168896 325853 33554432000 4194304 4196468 140732576834432 140571274856560 140571748203138 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 27 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9077] ppid=9015 vsize=10852704 memory=1303412 CPUtime=0.07 cores=1,3,5,7
/proc/9018/task/9077/stat : 9077 (java) S 9015 9018 7887 0 -1 1077944384 15 13179 0 0 0 0 4 3 20 0 15 0 47666132 11113168896 325853 33554432000 4194304 4196468 140732576834432 140571058365280 140571748202197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9078] ppid=9015 vsize=10852704 memory=1303412 CPUtime=0.07 cores=1,3,5,7
/proc/9018/task/9078/stat : 9078 (java) S 9015 9018 7887 0 -1 1077944384 4 13179 0 0 0 0 4 3 20 0 15 0 47666133 11113168896 325853 33554432000 4194304 4196468 140732576834432 140570588603520 140571748202197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9079] ppid=9015 vsize=10852704 memory=1303412 CPUtime=0.07 cores=1,3,5,7
/proc/9018/task/9079/stat : 9079 (java) S 9015 9018 7887 0 -1 1077944384 3 13179 0 0 0 0 4 3 20 0 15 0 47666135 11113168896 325853 33554432000 4194304 4196468 140732576834432 140570281203792 140571748210587 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9080] ppid=9015 vsize=10852704 memory=1303412 CPUtime=12.15 cores=1,3,5,7
/proc/9018/task/9080/stat : 9080 (java) S 9015 9018 7887 0 -1 1077944384 82902 13179 0 0 1199 9 4 3 20 0 15 0 47666135 11113168896 325853 33554432000 4194304 4196468 140732576834432 140571273804400 140571748203138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9081] ppid=9015 vsize=10852704 memory=1303412 CPUtime=11.9 cores=1,3,5,7
/proc/9018/task/9081/stat : 9081 (java) S 9015 9018 7887 0 -1 1077944384 76333 13179 0 0 1175 8 4 3 20 0 15 0 47666135 11113168896 325853 33554432000 4194304 4196468 140732576834432 140571272751600 140571748203138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9082] ppid=9015 vsize=10852704 memory=1303412 CPUtime=4.95 cores=1,3,5,7
/proc/9018/task/9082/stat : 9082 (java) S 9015 9018 7887 0 -1 1077944384 79917 13179 0 0 475 13 4 3 20 0 15 0 47666135 11113168896 325853 33554432000 4194304 4196468 140732576834432 140571271699312 140571748203138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9083] ppid=9015 vsize=10852704 memory=1303412 CPUtime=0.07 cores=1,3,5,7
/proc/9018/task/9083/stat : 9083 (java) S 9015 9018 7887 0 -1 1077944384 3 13179 0 0 0 0 4 3 20 0 15 0 47666136 11113168896 325853 33554432000 4194304 4196468 140732576834432 140570247646176 140571748202197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9084] ppid=9015 vsize=10852704 memory=1303412 CPUtime=1.4 cores=1,3,5,7
/proc/9018/task/9084/stat : 9084 (java) S 9015 9018 7887 0 -1 1077944384 1602 13179 0 0 60 73 4 3 20 0 15 0 47666136 11113168896 325853 33554432000 4194304 4196468 140732576834432 140571270646192 140571748203138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 24 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 1303412 KiB

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

[startup+2456.53 s]
# the end of solver process 9018 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.22 s, system=3.87117 s

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

[startup+2456.5 s]
/proc/loadavg: 1.49 1.44 1.40 3/216 9289
/proc/meminfo: memFree=17118132/32770624 swapFree=67108860/67108860
[pid=9018] ppid=9015 vsize=10852704 memory=1303412 CPUtime=2520.04 cores=1,3,5,7
/proc/9018/stat : 9018 (java) S 9015 9018 7887 0 -1 1077944320 497181 13179 0 0 251615 382 4 3 20 0 15 0 47666121 11113168896 325853 33554432000 4194304 4196468 140732576834432 140732576816976 140571748191991 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
/proc/9018/statm: 2713176 325853 3535 1 0 2674829 0
[pid=9018/tid=9071] ppid=9015 vsize=10852704 memory=1303412 CPUtime=2432.68 cores=1,3,5,7
/proc/9018/task/9071/stat : 9071 (java) R 9015 9018 7887 0 -1 4202560 109220 13179 0 0 243208 53 4 3 20 0 15 0 47666130 11113168896 325853 33554432000 4194304 4196468 140732576834432 140571720026336 140571362373674 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9072] ppid=9015 vsize=10852704 memory=1303412 CPUtime=12 cores=1,3,5,7
/proc/9018/task/9072/stat : 9072 (java) S 9015 9018 7887 0 -1 1077944384 21358 13179 0 0 1137 56 4 3 20 0 15 0 47666131 11113168896 325853 33554432000 4194304 4196468 140732576834432 140571752434576 140571748202197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9073] ppid=9015 vsize=10852704 memory=1303412 CPUtime=12.02 cores=1,3,5,7
/proc/9018/task/9073/stat : 9073 (java) S 9015 9018 7887 0 -1 1077944384 30540 13179 0 0 1139 56 4 3 20 0 15 0 47666131 11113168896 325853 33554432000 4194304 4196468 140732576834432 140571667254032 140571748202197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9074] ppid=9015 vsize=10852704 memory=1303412 CPUtime=12.02 cores=1,3,5,7
/proc/9018/task/9074/stat : 9074 (java) S 9015 9018 7887 0 -1 1077944384 33881 13179 0 0 1138 57 4 3 20 0 15 0 47666131 11113168896 325853 33554432000 4194304 4196468 140732576834432 140571666201744 140571748202197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9075] ppid=9015 vsize=10852704 memory=1303412 CPUtime=12.05 cores=1,3,5,7
/proc/9018/task/9075/stat : 9075 (java) S 9015 9018 7887 0 -1 1077944384 32464 13179 0 0 1142 56 4 3 20 0 15 0 47666131 11113168896 325853 33554432000 4194304 4196468 140732576834432 140571665148944 140571748202197 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9076] ppid=9015 vsize=10852704 memory=1303412 CPUtime=9.39 cores=1,3,5,7
/proc/9018/task/9076/stat : 9076 (java) S 9015 9018 7887 0 -1 1077944384 26749 13179 0 0 880 52 4 3 20 0 15 0 47666132 11113168896 325853 33554432000 4194304 4196468 140732576834432 140571274856560 140571748203138 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 27 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9077] ppid=9015 vsize=10852704 memory=1303412 CPUtime=0.07 cores=1,3,5,7
/proc/9018/task/9077/stat : 9077 (java) S 9015 9018 7887 0 -1 1077944384 15 13179 0 0 0 0 4 3 20 0 15 0 47666132 11113168896 325853 33554432000 4194304 4196468 140732576834432 140571058365280 140571748202197 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9078] ppid=9015 vsize=10852704 memory=1303412 CPUtime=0.07 cores=1,3,5,7
/proc/9018/task/9078/stat : 9078 (java) S 9015 9018 7887 0 -1 1077944384 4 13179 0 0 0 0 4 3 20 0 15 0 47666133 11113168896 325853 33554432000 4194304 4196468 140732576834432 140570588603520 140571748202197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9079] ppid=9015 vsize=10852704 memory=1303412 CPUtime=0.07 cores=1,3,5,7
/proc/9018/task/9079/stat : 9079 (java) S 9015 9018 7887 0 -1 1077944384 3 13179 0 0 0 0 4 3 20 0 15 0 47666135 11113168896 325853 33554432000 4194304 4196468 140732576834432 140570281203792 140571748210587 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9080] ppid=9015 vsize=10852704 memory=1303412 CPUtime=12.15 cores=1,3,5,7
/proc/9018/task/9080/stat : 9080 (java) S 9015 9018 7887 0 -1 1077944384 82902 13179 0 0 1199 9 4 3 20 0 15 0 47666135 11113168896 325853 33554432000 4194304 4196468 140732576834432 140571273804400 140571748203138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9081] ppid=9015 vsize=10852704 memory=1303412 CPUtime=11.9 cores=1,3,5,7
/proc/9018/task/9081/stat : 9081 (java) S 9015 9018 7887 0 -1 1077944384 76333 13179 0 0 1175 8 4 3 20 0 15 0 47666135 11113168896 325853 33554432000 4194304 4196468 140732576834432 140571272751600 140571748203138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9082] ppid=9015 vsize=10852704 memory=1303412 CPUtime=4.95 cores=1,3,5,7
/proc/9018/task/9082/stat : 9082 (java) S 9015 9018 7887 0 -1 1077944384 79917 13179 0 0 475 13 4 3 20 0 15 0 47666135 11113168896 325853 33554432000 4194304 4196468 140732576834432 140571271699312 140571748203138 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9083] ppid=9015 vsize=10852704 memory=1303412 CPUtime=0.07 cores=1,3,5,7
/proc/9018/task/9083/stat : 9083 (java) S 9015 9018 7887 0 -1 1077944384 3 13179 0 0 0 0 4 3 20 0 15 0 47666136 11113168896 325853 33554432000 4194304 4196468 140732576834432 140570247646176 140571748202197 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
[pid=9018/tid=9084] ppid=9015 vsize=10852704 memory=1303412 CPUtime=1.4 cores=1,3,5,7
/proc/9018/task/9084/stat : 9084 (java) S 9015 9018 7887 0 -1 1077944384 1602 13179 0 0 60 73 4 3 20 0 15 0 47666136 11113168896 325853 33554432000 4194304 4196468 140732576834432 140571270646192 140571748203138 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 24 0 0 6293624 6294260 26144768 140732576836208 140732576839004 140732576839004 140732576841679 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10852704 KiB
Current children cumulated memory: 1303412 KiB

Child status: 143
Real time (s): 2456.53
CPU time (s): 2520.09
CPU user time (s): 2516.22
CPU system time (s): 3.87117
CPU usage (%): 102.588
Max. virtual memory (cumulated for all children) (KiB): 10852704
Max. memory (cumulated for all children) (KiB): 1577844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.22
system time used= 3.87117
maximum resident set size= 1577844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 512176
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 251902
involuntary context switches= 5085


# summary of solver processes directly reported to runsolver:
#   pid: 9018
#   total CPU time (s): 2520.09
#   total CPU user time (s): 2516.22
#   total CPU system time (s): 3.87117

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.7643 second user time and 21.1508 second system time

The end

Launcher Data 

Begin job on node107 at 2018-07-23 01:10:29
IDJOB=4292949
IDBENCH=141045
IDSOLVER=2750
FILE ID=node107/4292949-1532301029
RUNJOBID= node107-1532295923-7919
PBS_JOBID= 21018984
Free space on /tmp= 55100 MiB

SOLVER NAME= Concrete 3.8 2018-06-13
BENCH NAME= XCSP18/NurseRostering/NurseRostering-14_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4292949-1532301029/watcher-4292949-1532301029 -o /tmp/evaluation-result-4292949-1532301029/solver-4292949-1532301029 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532295923-7919 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=84561789 HOME/instance-4292949-1532301029.xml

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

MD5SUM BENCH= 22d4927d0bd5c0ea6a9359fe3e752ee5
RANDOM SEED=84561789

node107.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.40
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.40
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.40
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.40
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:        18802816 kB
MemAvailable:   30677128 kB
Buffers:          253752 kB
Cached:         11768200 kB
SwapCached:            0 kB
Active:          2908472 kB
Inactive:       10425708 kB
Active(anon):    1315352 kB
Inactive(anon):    16860 kB
Active(file):    1593120 kB
Inactive(file): 10408848 kB
Unevictable:        7152 kB
Mlocked:            7152 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             26508 kB
Writeback:             0 kB
AnonPages:       1319168 kB
Mapped:            49440 kB
Shmem:             17036 kB
Slab:             327908 kB
SReclaimable:     300804 kB
SUnreclaim:        27104 kB
KernelStack:        3552 kB
PageTables:         7980 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2308924 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1083392 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 55072 MiB
End job on node107 at 2018-07-23 01:51:26