Trace number 4304164

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.9.2-SuperNG? (TO) 2520.06 2454.43

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 

1.00/0.74	c Concrete v3.9.2.1532736233296 running
17.74/6.97	c 05:06:58.320 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18628. 'extension(4, x[1][24]=[0‥4]) :: init: true :: relation: MDD 745835029, 7 edges, 4 vertices, 5 tuples
17.74/6.97	c 05:06:58.324 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18629. 'extension(4, x[1][24]=[0‥4]) :: init: true :: relation: MDD 360233196, 5 edges, 3 vertices, 4 tuples
17.74/6.98	c 05:06:58.329 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18653. 'extension(x[0][9]=[0‥4], 4) :: init: true :: relation: MDD 696870185, 7 edges, 4 vertices, 5 tuples
17.74/6.98	c 05:06:58.330 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18682. 'extension(x[0][11]=[0‥4], 4) :: init: true :: relation: MDD 1243227501, 7 edges, 4 vertices, 5 tuples
17.74/6.98	c 05:06:58.330 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18683. 'extension(4, x[2][11]=[0‥4]) :: init: true :: relation: MDD 1243227501, 7 edges, 4 vertices, 5 tuples
17.74/6.98	c 05:06:58.332 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18714. 'extension(4, 4) :: init: true :: relation: MDD 1744457797, 7 edges, 4 vertices, 5 tuples
17.74/6.98	c 05:06:58.333 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18715. 'extension(4, 4) :: init: true :: relation: MDD 490475818, 5 edges, 3 vertices, 4 tuples
17.74/6.98	c 05:06:58.333 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18740. 'extension(x[0][23]=[0‥4], 4) :: init: true :: relation: MDD 1518204977, 7 edges, 4 vertices, 5 tuples
17.74/6.98	c 05:06:58.334 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18741. 'extension(4, x[2][23]=[0‥4]) :: init: true :: relation: MDD 1518204977, 7 edges, 4 vertices, 5 tuples
17.74/6.99	c 05:06:58.337 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18769. 'extension(4, x[3][9]=[0‥4]) :: init: true :: relation: MDD 696870185, 7 edges, 4 vertices, 5 tuples
17.74/6.99	c 05:06:58.338 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18772. 'extension(4, 4) :: init: true :: relation: MDD 696870185, 7 edges, 4 vertices, 5 tuples
17.74/6.99	c 05:06:58.339 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18800. 'extension(x[1][13]=[0‥4], 4) :: init: true :: relation: MDD 831993944, 7 edges, 4 vertices, 5 tuples
17.74/6.99	c 05:06:58.341 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18831. 'extension(4, x[3][20]=[0‥4]) :: init: true :: relation: MDD 1744457797, 7 edges, 4 vertices, 5 tuples
17.74/6.99	c 05:06:58.341 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18834. 'extension(4, 4) :: init: true :: relation: MDD 1744457797, 7 edges, 4 vertices, 5 tuples
17.74/6.99	c 05:06:58.343 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18862. 'extension(x[2][10]=[0‥4], 4) :: init: true :: relation: MDD 441683672, 7 edges, 4 vertices, 5 tuples
17.74/6.99	c 05:06:58.345 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18894. 'extension(4, x[4][13]=[0‥4]) :: init: true :: relation: MDD 831993944, 7 edges, 4 vertices, 5 tuples
17.74/7.00	c 05:06:58.345 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18897. 'extension(4, 4) :: init: true :: relation: MDD 831993944, 7 edges, 4 vertices, 5 tuples
17.74/7.01	c 05:06:58.347 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18929. 'extension(4, 4) :: init: true :: relation: MDD 441683672, 7 edges, 4 vertices, 5 tuples
17.74/7.01	c 05:06:58.349 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18959. 'extension(4, wk[10][0]=[0‥1]) :: init: true :: relation: MDD 1870812438, 5 edges, 3 vertices, 4 tuples
17.74/7.01	c 05:06:58.349 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18963. 'extension(4, 4) :: init: true :: relation: MDD 441683672, 7 edges, 4 vertices, 5 tuples
17.74/7.01	c 05:06:58.350 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18994. 'extension(4, wk[10][0]=[0‥1]) :: init: true :: relation: MDD 1657512321, 5 edges, 3 vertices, 4 tuples
17.74/7.01	c 05:06:58.351 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18995. 'extension(4, x[7][10]=[0‥4]) :: init: true :: relation: MDD 441683672, 7 edges, 4 vertices, 5 tuples
17.74/7.01	c 05:06:58.351 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 18998. 'extension(4, 4) :: init: true :: relation: MDD 441683672, 7 edges, 4 vertices, 5 tuples
17.74/7.01	c 05:06:58.353 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19029. 'extension(4, wk[30][0]=[0‥1]) :: init: true :: relation: MDD 1633770314, 5 edges, 3 vertices, 4 tuples
17.74/7.01	c 05:06:58.354 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19030. 'extension(x[5][30]=[0‥4], 4) :: init: true :: relation: MDD 1568507411, 7 edges, 4 vertices, 5 tuples
17.74/7.01	c 05:06:58.354 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19031. 'extension(4, x[7][30]=[0‥4]) :: init: true :: relation: MDD 1568507411, 7 edges, 4 vertices, 5 tuples
18.10/7.01	c 05:06:58.356 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19063. 'extension(x[6][11]=[0‥4], 4) :: init: true :: relation: MDD 1243227501, 7 edges, 4 vertices, 5 tuples
18.10/7.01	c 05:06:58.357 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19064. 'extension(4, x[8][11]=[0‥4]) :: init: true :: relation: MDD 1243227501, 7 edges, 4 vertices, 5 tuples
18.10/7.01	c 05:06:58.359 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19097. 'extension(x[6][21]=[0‥4], 4) :: init: true :: relation: MDD 1544765522, 7 edges, 4 vertices, 5 tuples
18.10/7.01	c 05:06:58.360 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19098. 'extension(4, x[8][21]=[0‥4]) :: init: true :: relation: MDD 1544765522, 7 edges, 4 vertices, 5 tuples
18.10/7.01	c 05:06:58.362 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19133. 'extension(x[6][22]=[0‥4], 4) :: init: true :: relation: MDD 160867654, 7 edges, 4 vertices, 5 tuples
18.10/7.01	c 05:06:58.363 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19169. 'extension(x[6][31]=[0‥4], 4) :: init: true :: relation: MDD 1002872041, 7 edges, 4 vertices, 5 tuples
18.10/7.02	c 05:06:58.365 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19205. 'extension(4, 4) :: init: true :: relation: MDD 160867654, 7 edges, 4 vertices, 5 tuples
18.10/7.02	c 05:06:58.366 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19238. 'extension(x[7][30]=[0‥4], 4) :: init: true :: relation: MDD 1568507411, 7 edges, 4 vertices, 5 tuples
18.10/7.02	c 05:06:58.366 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19239. 'extension(4, x[9][30]=[0‥4]) :: init: true :: relation: MDD 1568507411, 7 edges, 4 vertices, 5 tuples
18.10/7.02	c 05:06:58.368 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19274. 'extension(4, 4) :: init: true :: relation: MDD 1002872041, 7 edges, 4 vertices, 5 tuples
18.10/7.02	c 05:06:58.369 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19307. 'extension(4, 4) :: init: true :: relation: MDD 160867654, 7 edges, 4 vertices, 5 tuples
18.10/7.02	c 05:06:58.370 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19343. 'extension(4, 4) :: init: true :: relation: MDD 1002872041, 7 edges, 4 vertices, 5 tuples
18.10/7.02	c 05:06:58.371 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19373. 'extension(x[9][6]=[0‥4], 4) :: init: true :: relation: MDD 1886186662, 7 edges, 4 vertices, 5 tuples
18.10/7.02	c 05:06:58.372 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19407. 'extension(4, x[11][22]=[0‥4]) :: init: true :: relation: MDD 160867654, 7 edges, 4 vertices, 5 tuples
18.10/7.02	c 05:06:58.373 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19410. 'extension(4, 4) :: init: true :: relation: MDD 160867654, 7 edges, 4 vertices, 5 tuples
18.10/7.03	c 05:06:58.375 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19443. 'extension(x[9][24]=[0‥4], 4) :: init: true :: relation: MDD 745835029, 7 edges, 4 vertices, 5 tuples
18.10/7.03	c 05:06:58.376 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19479. 'extension(4, x[11][31]=[0‥4]) :: init: true :: relation: MDD 1002872041, 7 edges, 4 vertices, 5 tuples
18.10/7.03	c 05:06:58.377 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19482. 'extension(4, 4) :: init: true :: relation: MDD 1002872041, 7 edges, 4 vertices, 5 tuples
18.10/7.03	c 05:06:58.379 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19512. 'extension(x[10][2]=[0‥4], 4) :: init: true :: relation: MDD 1710180594, 7 edges, 4 vertices, 5 tuples
18.10/7.03	c 05:06:58.380 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19513. 'extension(4, x[12][2]=[0‥4]) :: init: true :: relation: MDD 1710180594, 7 edges, 4 vertices, 5 tuples
18.10/7.03	c 05:06:58.382 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19546. 'extension(4, x[12][6]=[0‥4]) :: init: true :: relation: MDD 1886186662, 7 edges, 4 vertices, 5 tuples
18.10/7.04	c 05:06:58.382 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19549. 'extension(4, 4) :: init: true :: relation: MDD 1886186662, 7 edges, 4 vertices, 5 tuples
18.10/7.04	c 05:06:58.384 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19583. 'extension(4, 4) :: init: true :: relation: MDD 745835029, 7 edges, 4 vertices, 5 tuples
18.10/7.04	c 05:06:58.385 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19616. 'extension(x[10][25]=[0‥4], 4) :: init: true :: relation: MDD 217911413, 7 edges, 4 vertices, 5 tuples
18.10/7.04	c 05:06:58.385 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19617. 'extension(4, x[12][25]=[0‥4]) :: init: true :: relation: MDD 217911413, 7 edges, 4 vertices, 5 tuples
18.10/7.04	c 05:06:58.388 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19652. 'extension(4, wk[13][1]=[0‥1]) :: init: true :: relation: MDD 800990938, 5 edges, 3 vertices, 4 tuples
18.10/7.04	c 05:06:58.388 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19653. 'extension(x[11][13]=[0‥4], 4) :: init: true :: relation: MDD 831993944, 7 edges, 4 vertices, 5 tuples
18.10/7.05	c 05:06:58.389 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19687. 'extension(4, wk[24][1]=[0‥1]) :: init: true :: relation: MDD 1681259036, 5 edges, 3 vertices, 4 tuples
18.10/7.05	c 05:06:58.390 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19688. 'extension(4, x[13][24]=[0‥4]) :: init: true :: relation: MDD 745835029, 7 edges, 4 vertices, 5 tuples
18.10/7.05	c 05:06:58.390 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19691. 'extension(4, 4) :: init: true :: relation: MDD 745835029, 7 edges, 4 vertices, 5 tuples
18.10/7.05	c 05:06:58.392 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19724. 'extension(4, wk[5][1]=[0‥1]) :: init: true :: relation: MDD 86384329, 5 edges, 3 vertices, 4 tuples
18.10/7.05	c 05:06:58.393 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19725. 'extension(x[12][5]=[0‥4], 4) :: init: true :: relation: MDD 1729954747, 7 edges, 4 vertices, 5 tuples
18.10/7.05	c 05:06:58.393 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19726. 'extension(4, x[14][5]=[0‥4]) :: init: true :: relation: MDD 1729954747, 7 edges, 4 vertices, 5 tuples
18.10/7.05	c 05:06:58.395 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19759. 'extension(4, wk[13][1]=[0‥1]) :: init: true :: relation: MDD 1768142988, 5 edges, 3 vertices, 4 tuples
18.10/7.05	c 05:06:58.396 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19760. 'extension(4, x[14][13]=[0‥4]) :: init: true :: relation: MDD 831993944, 7 edges, 4 vertices, 5 tuples
18.10/7.05	c 05:06:58.396 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19763. 'extension(4, 4) :: init: true :: relation: MDD 831993944, 7 edges, 4 vertices, 5 tuples
18.10/7.05	c 05:06:58.398 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19794. 'extension(x[13][0]=[0‥4], 4) :: init: true :: relation: MDD 1781668126, 7 edges, 4 vertices, 5 tuples
18.10/7.05	c 05:06:58.399 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19828. 'extension(x[13][14]=[0‥4], 4) :: init: true :: relation: MDD 1999639763, 7 edges, 4 vertices, 5 tuples
18.10/7.05	c 05:06:58.400 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19862. 'extension(x[13][27]=[0‥4], 4) :: init: true :: relation: MDD 482885994, 7 edges, 4 vertices, 5 tuples
18.10/7.05	c 05:06:58.401 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19863. 'extension(4, x[15][27]=[0‥4]) :: init: true :: relation: MDD 482885994, 7 edges, 4 vertices, 5 tuples
18.10/7.06	c 05:06:58.403 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19898. 'extension(4, 4) :: init: true :: relation: MDD 1781668126, 7 edges, 4 vertices, 5 tuples
18.10/7.06	c 05:06:58.403 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19932. 'extension(4, 4) :: init: true :: relation: MDD 1999639763, 7 edges, 4 vertices, 5 tuples
18.10/7.06	c 05:06:58.404 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19966. 'extension(4, 4) :: init: true :: relation: MDD 1781668126, 7 edges, 4 vertices, 5 tuples
18.10/7.06	c 05:06:58.405 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 19997. 'extension(x[15][2]=[0‥4], 4) :: init: true :: relation: MDD 1710180594, 7 edges, 4 vertices, 5 tuples
18.10/7.06	c 05:06:58.406 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20034. 'extension(4, 4) :: init: true :: relation: MDD 1999639763, 7 edges, 4 vertices, 5 tuples
18.10/7.06	c 05:06:58.407 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20065. 'extension(4, x[18][0]=[0‥4]) :: init: true :: relation: MDD 1781668126, 7 edges, 4 vertices, 5 tuples
18.10/7.06	c 05:06:58.408 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20068. 'extension(4, 4) :: init: true :: relation: MDD 1781668126, 7 edges, 4 vertices, 5 tuples
18.10/7.06	c 05:06:58.409 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20099. 'extension(4, x[18][2]=[0‥4]) :: init: true :: relation: MDD 1710180594, 7 edges, 4 vertices, 5 tuples
18.10/7.06	c 05:06:58.410 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20102. 'extension(4, 4) :: init: true :: relation: MDD 1710180594, 7 edges, 4 vertices, 5 tuples
18.10/7.06	c 05:06:58.411 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20133. 'extension(x[16][4]=[0‥4], 4) :: init: true :: relation: MDD 1940906679, 7 edges, 4 vertices, 5 tuples
18.10/7.06	c 05:06:58.412 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20167. 'extension(4, x[18][14]=[0‥4]) :: init: true :: relation: MDD 1999639763, 7 edges, 4 vertices, 5 tuples
18.10/7.06	c 05:06:58.413 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20170. 'extension(4, 4) :: init: true :: relation: MDD 1999639763, 7 edges, 4 vertices, 5 tuples
18.10/7.07	c 05:06:58.414 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20201. 'extension(x[16][29]=[0‥4], 4) :: init: true :: relation: MDD 1756064432, 7 edges, 4 vertices, 5 tuples
18.10/7.07	c 05:06:58.415 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20234. 'extension(x[17][3]=[0‥4], 4) :: init: true :: relation: MDD 1032382137, 7 edges, 4 vertices, 5 tuples
18.10/7.07	c 05:06:58.416 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20271. 'extension(4, 4) :: init: true :: relation: MDD 1940906679, 7 edges, 4 vertices, 5 tuples
18.10/7.07	c 05:06:58.417 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20305. 'extension(4, 4) :: init: true :: relation: MDD 1756064432, 7 edges, 4 vertices, 5 tuples
18.10/7.07	c 05:06:58.418 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20335. 'extension(4, wk[1][2]=[0‥1]) :: init: true :: relation: MDD 1293251731, 5 edges, 3 vertices, 4 tuples
18.10/7.07	c 05:06:58.418 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20336. 'extension(x[18][1]=[0‥4], 4) :: init: true :: relation: MDD 1681318273, 7 edges, 4 vertices, 5 tuples
18.10/7.07	c 05:06:58.419 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20370. 'extension(4, wk[3][2]=[0‥1]) :: init: true :: relation: MDD 2028767654, 5 edges, 3 vertices, 4 tuples
18.10/7.07	c 05:06:58.419 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20374. 'extension(4, 4) :: init: true :: relation: MDD 1032382137, 7 edges, 4 vertices, 5 tuples
18.10/7.07	c 05:06:58.420 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20405. 'extension(4, wk[4][2]=[0‥1]) :: init: true :: relation: MDD 581770158, 5 edges, 3 vertices, 4 tuples
18.10/7.07	c 05:06:58.420 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20409. 'extension(4, 4) :: init: true :: relation: MDD 1940906679, 7 edges, 4 vertices, 5 tuples
18.10/7.07	c 05:06:58.421 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20440. 'extension(4, wk[18][2]=[0‥1]) :: init: true :: relation: MDD 1375503918, 5 edges, 3 vertices, 4 tuples
18.10/7.07	c 05:06:58.421 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20441. 'extension(x[18][18]=[0‥4], 4) :: init: true :: relation: MDD 1190857779, 7 edges, 4 vertices, 5 tuples
18.10/7.07	c 05:06:58.421 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20442. 'extension(4, x[20][18]=[0‥4]) :: init: true :: relation: MDD 1190857779, 7 edges, 4 vertices, 5 tuples
18.10/7.07	c 05:06:58.423 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20475. 'extension(4, wk[29][2]=[0‥1]) :: init: true :: relation: MDD 2034610694, 5 edges, 3 vertices, 4 tuples
18.10/7.08	c 05:06:58.423 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20479. 'extension(4, 4) :: init: true :: relation: MDD 1756064432, 7 edges, 4 vertices, 5 tuples
18.10/7.08	c 05:06:58.424 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20509. 'extension(4, wk[1][2]=[0‥1]) :: init: true :: relation: MDD 926188689, 5 edges, 3 vertices, 4 tuples
18.10/7.08	c 05:06:58.425 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20510. 'extension(4, x[21][1]=[0‥4]) :: init: true :: relation: MDD 1681318273, 7 edges, 4 vertices, 5 tuples
18.10/7.08	c 05:06:58.425 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20513. 'extension(4, 4) :: init: true :: relation: MDD 1681318273, 7 edges, 4 vertices, 5 tuples
18.10/7.08	c 05:06:58.426 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20544. 'extension(4, wk[3][2]=[0‥1]) :: init: true :: relation: MDD 1916269505, 5 edges, 3 vertices, 4 tuples
18.10/7.08	c 05:06:58.427 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20548. 'extension(4, 4) :: init: true :: relation: MDD 1032382137, 7 edges, 4 vertices, 5 tuples
18.10/7.08	c 05:06:58.427 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20579. 'extension(4, wk[4][2]=[0‥1]) :: init: true :: relation: MDD 1505774574, 5 edges, 3 vertices, 4 tuples
18.10/7.08	c 05:06:58.427 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20580. 'extension(4, x[21][4]=[0‥4]) :: init: true :: relation: MDD 1940906679, 7 edges, 4 vertices, 5 tuples
18.10/7.08	c 05:06:58.428 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20583. 'extension(4, 4) :: init: true :: relation: MDD 1940906679, 7 edges, 4 vertices, 5 tuples
18.10/7.08	c 05:06:58.429 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20614. 'extension(4, wk[15][2]=[0‥1]) :: init: true :: relation: MDD 1576936424, 5 edges, 3 vertices, 4 tuples
18.10/7.08	c 05:06:58.430 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20615. 'extension(x[19][15]=[0‥4], 4) :: init: true :: relation: MDD 1374115041, 7 edges, 4 vertices, 5 tuples
18.10/7.08	c 05:06:58.430 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20616. 'extension(4, x[21][15]=[0‥4]) :: init: true :: relation: MDD 1374115041, 7 edges, 4 vertices, 5 tuples
18.10/7.08	c 05:06:58.432 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20649. 'extension(4, wk[29][2]=[0‥1]) :: init: true :: relation: MDD 1292487390, 5 edges, 3 vertices, 4 tuples
18.10/7.08	c 05:06:58.432 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20650. 'extension(4, x[21][29]=[0‥4]) :: init: true :: relation: MDD 1756064432, 7 edges, 4 vertices, 5 tuples
18.10/7.08	c 05:06:58.433 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20653. 'extension(4, 4) :: init: true :: relation: MDD 1756064432, 7 edges, 4 vertices, 5 tuples
18.10/7.08	c 05:06:58.434 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20683. 'extension(4, x[22][3]=[0‥4]) :: init: true :: relation: MDD 1032382137, 7 edges, 4 vertices, 5 tuples
18.10/7.09	c 05:06:58.435 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20686. 'extension(4, 4) :: init: true :: relation: MDD 1032382137, 7 edges, 4 vertices, 5 tuples
18.10/7.09	c 05:06:58.436 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20717. 'extension(x[20][30]=[0‥4], 4) :: init: true :: relation: MDD 1568507411, 7 edges, 4 vertices, 5 tuples
18.10/7.09	c 05:06:58.437 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20718. 'extension(4, x[22][30]=[0‥4]) :: init: true :: relation: MDD 1568507411, 7 edges, 4 vertices, 5 tuples
18.10/7.09	c 05:06:58.439 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20750. 'extension(x[22][12]=[0‥4], 4) :: init: true :: relation: MDD 1935994577, 7 edges, 4 vertices, 5 tuples
18.10/7.09	c 05:06:58.440 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20784. 'extension(x[23][5]=[0‥4], 4) :: init: true :: relation: MDD 1729954747, 7 edges, 4 vertices, 5 tuples
18.10/7.09	c 05:06:58.440 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20821. 'extension(4, 4) :: init: true :: relation: MDD 1935994577, 7 edges, 4 vertices, 5 tuples
18.10/7.09	c 05:06:58.441 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20852. 'extension(x[23][18]=[0‥4], 4) :: init: true :: relation: MDD 1190857779, 7 edges, 4 vertices, 5 tuples
18.10/7.09	c 05:06:58.442 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20886. 'extension(x[23][27]=[0‥4], 4) :: init: true :: relation: MDD 482885994, 7 edges, 4 vertices, 5 tuples
18.10/7.09	c 05:06:58.443 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20922. 'extension(4, 4) :: init: true :: relation: MDD 1729954747, 7 edges, 4 vertices, 5 tuples
18.10/7.09	c 05:06:58.444 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20953. 'extension(x[24][11]=[0‥4], 4) :: init: true :: relation: MDD 1243227501, 7 edges, 4 vertices, 5 tuples
18.10/7.09	c 05:06:58.445 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 20990. 'extension(4, 4) :: init: true :: relation: MDD 1935994577, 7 edges, 4 vertices, 5 tuples
18.10/7.10	c 05:06:58.445 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21024. 'extension(4, 4) :: init: true :: relation: MDD 1190857779, 7 edges, 4 vertices, 5 tuples
18.10/7.10	c 05:06:58.446 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21055. 'extension(4, x[26][27]=[0‥4]) :: init: true :: relation: MDD 482885994, 7 edges, 4 vertices, 5 tuples
18.10/7.10	c 05:06:58.446 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21058. 'extension(4, 4) :: init: true :: relation: MDD 482885994, 7 edges, 4 vertices, 5 tuples
18.10/7.10	c 05:06:58.447 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21088. 'extension(x[24][30]=[0‥4], 4) :: init: true :: relation: MDD 1568507411, 7 edges, 4 vertices, 5 tuples
18.10/7.10	c 05:06:58.447 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21089. 'extension(4, x[26][30]=[0‥4]) :: init: true :: relation: MDD 1568507411, 7 edges, 4 vertices, 5 tuples
18.10/7.10	c 05:06:58.450 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21121. 'extension(4, wk[5][3]=[0‥1]) :: init: true :: relation: MDD 1322907569, 5 edges, 3 vertices, 4 tuples
18.10/7.10	c 05:06:58.450 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21122. 'extension(4, x[27][5]=[0‥4]) :: init: true :: relation: MDD 1729954747, 7 edges, 4 vertices, 5 tuples
18.10/7.10	c 05:06:58.451 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21125. 'extension(4, 4) :: init: true :: relation: MDD 1729954747, 7 edges, 4 vertices, 5 tuples
18.45/7.11	c 05:06:58.452 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21156. 'extension(4, wk[8][3]=[0‥1]) :: init: true :: relation: MDD 1599728268, 5 edges, 3 vertices, 4 tuples
18.45/7.11	c 05:06:58.453 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21157. 'extension(x[25][8]=[0‥4], 4) :: init: true :: relation: MDD 1155300221, 7 edges, 4 vertices, 5 tuples
18.45/7.11	c 05:06:58.454 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21191. 'extension(4, wk[11][3]=[0‥1]) :: init: true :: relation: MDD 726483751, 5 edges, 3 vertices, 4 tuples
18.45/7.11	c 05:06:58.454 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21192. 'extension(4, x[27][11]=[0‥4]) :: init: true :: relation: MDD 1243227501, 7 edges, 4 vertices, 5 tuples
18.45/7.11	c 05:06:58.454 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21195. 'extension(4, 4) :: init: true :: relation: MDD 1243227501, 7 edges, 4 vertices, 5 tuples
18.45/7.11	c 05:06:58.456 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21226. 'extension(4, wk[12][3]=[0‥1]) :: init: true :: relation: MDD 1371397528, 5 edges, 3 vertices, 4 tuples
18.45/7.11	c 05:06:58.456 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21227. 'extension(4, x[27][12]=[0‥4]) :: init: true :: relation: MDD 1935994577, 7 edges, 4 vertices, 5 tuples
18.45/7.11	c 05:06:58.457 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21230. 'extension(4, 4) :: init: true :: relation: MDD 1935994577, 7 edges, 4 vertices, 5 tuples
18.45/7.11	c 05:06:58.458 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21261. 'extension(4, wk[18][3]=[0‥1]) :: init: true :: relation: MDD 496556704, 5 edges, 3 vertices, 4 tuples
18.45/7.11	c 05:06:58.459 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21262. 'extension(4, x[27][18]=[0‥4]) :: init: true :: relation: MDD 1190857779, 7 edges, 4 vertices, 5 tuples
18.45/7.11	c 05:06:58.459 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21265. 'extension(4, 4) :: init: true :: relation: MDD 1190857779, 7 edges, 4 vertices, 5 tuples
18.45/7.11	c 05:06:58.460 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21296. 'extension(4, wk[26][3]=[0‥1]) :: init: true :: relation: MDD 1641776831, 5 edges, 3 vertices, 4 tuples
18.45/7.11	c 05:06:58.461 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21297. 'extension(x[25][26]=[0‥4], 4) :: init: true :: relation: MDD 137685382, 7 edges, 4 vertices, 5 tuples
18.45/7.11	c 05:06:58.461 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21298. 'extension(4, x[27][26]=[0‥4]) :: init: true :: relation: MDD 137685382, 7 edges, 4 vertices, 5 tuples
18.45/7.11	c 05:06:58.463 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21333. 'extension(4, wk[8][3]=[0‥1]) :: init: true :: relation: MDD 1694102613, 5 edges, 3 vertices, 4 tuples
18.45/7.11	c 05:06:58.464 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21337. 'extension(4, 4) :: init: true :: relation: MDD 1155300221, 7 edges, 4 vertices, 5 tuples
18.45/7.11	c 05:06:58.464 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21368. 'extension(4, wk[16][3]=[0‥1]) :: init: true :: relation: MDD 2133998394, 5 edges, 3 vertices, 4 tuples
18.45/7.11	c 05:06:58.465 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21369. 'extension(x[26][16]=[0‥4], 4) :: init: true :: relation: MDD 202395890, 7 edges, 4 vertices, 5 tuples
18.45/7.12	c 05:06:58.466 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21403. 'extension(4, x[29][8]=[0‥4]) :: init: true :: relation: MDD 1155300221, 7 edges, 4 vertices, 5 tuples
18.45/7.12	c 05:06:58.466 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21406. 'extension(4, 4) :: init: true :: relation: MDD 1155300221, 7 edges, 4 vertices, 5 tuples
18.45/7.12	c 05:06:58.467 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21437. 'extension(4, x[29][16]=[0‥4]) :: init: true :: relation: MDD 202395890, 7 edges, 4 vertices, 5 tuples
18.45/7.12	c 05:06:58.468 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21440. 'extension(4, 4) :: init: true :: relation: MDD 202395890, 7 edges, 4 vertices, 5 tuples
18.45/7.12	c 05:06:58.469 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21471. 'extension(x[27][19]=[0‥4], 4) :: init: true :: relation: MDD 1106510750, 7 edges, 4 vertices, 5 tuples
18.45/7.12	c 05:06:58.469 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21472. 'extension(4, x[29][19]=[0‥4]) :: init: true :: relation: MDD 1106510750, 7 edges, 4 vertices, 5 tuples
18.45/7.12	c 05:06:58.471 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21505. 'extension(x[28][17]=[0‥4], 4) :: init: true :: relation: MDD 1872905355, 7 edges, 4 vertices, 5 tuples
18.45/7.12	c 05:06:58.472 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21542. 'extension(4, 4) :: init: true :: relation: MDD 1872905355, 7 edges, 4 vertices, 5 tuples
18.45/7.12	c 05:06:58.473 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21573. 'extension(x[29][21]=[0‥4], 4) :: init: true :: relation: MDD 1544765522, 7 edges, 4 vertices, 5 tuples
18.45/7.13	c 05:06:58.473 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21574. 'extension(4, x[31][21]=[0‥4]) :: init: true :: relation: MDD 1544765522, 7 edges, 4 vertices, 5 tuples
18.45/7.13	c 05:06:58.475 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21609. 'extension(x[29][23]=[0‥4], 4) :: init: true :: relation: MDD 1518204977, 7 edges, 4 vertices, 5 tuples
18.45/7.13	c 05:06:58.476 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21645. 'extension(x[30][8]=[0‥4], 4) :: init: true :: relation: MDD 1155300221, 7 edges, 4 vertices, 5 tuples
18.45/7.13	c 05:06:58.476 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21646. 'extension(4, x[32][8]=[0‥4]) :: init: true :: relation: MDD 1155300221, 7 edges, 4 vertices, 5 tuples
18.45/7.13	c 05:06:58.478 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21679. 'extension(x[30][9]=[0‥4], 4) :: init: true :: relation: MDD 696870185, 7 edges, 4 vertices, 5 tuples
18.45/7.13	c 05:06:58.479 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21713. 'extension(x[30][16]=[0‥4], 4) :: init: true :: relation: MDD 202395890, 7 edges, 4 vertices, 5 tuples
18.45/7.13	c 05:06:58.480 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21750. 'extension(4, 4) :: init: true :: relation: MDD 1872905355, 7 edges, 4 vertices, 5 tuples
18.45/7.13	c 05:06:58.480 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21781. 'extension(x[30][19]=[0‥4], 4) :: init: true :: relation: MDD 1106510750, 7 edges, 4 vertices, 5 tuples
18.45/7.13	c 05:06:58.481 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21818. 'extension(4, 4) :: init: true :: relation: MDD 1518204977, 7 edges, 4 vertices, 5 tuples
18.45/7.13	c 05:06:58.482 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21851. 'extension(4, x[33][9]=[0‥4]) :: init: true :: relation: MDD 696870185, 7 edges, 4 vertices, 5 tuples
18.45/7.13	c 05:06:58.482 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21854. 'extension(4, 4) :: init: true :: relation: MDD 696870185, 7 edges, 4 vertices, 5 tuples
18.45/7.13	c 05:06:58.484 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21885. 'extension(4, x[33][16]=[0‥4]) :: init: true :: relation: MDD 202395890, 7 edges, 4 vertices, 5 tuples
18.45/7.14	c 05:06:58.485 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21888. 'extension(4, 4) :: init: true :: relation: MDD 202395890, 7 edges, 4 vertices, 5 tuples
18.45/7.14	c 05:06:58.486 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21919. 'extension(4, x[33][17]=[0‥4]) :: init: true :: relation: MDD 1872905355, 7 edges, 4 vertices, 5 tuples
18.45/7.14	c 05:06:58.487 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21922. 'extension(4, 4) :: init: true :: relation: MDD 1872905355, 7 edges, 4 vertices, 5 tuples
18.45/7.14	c 05:06:58.488 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21956. 'extension(4, 4) :: init: true :: relation: MDD 1106510750, 7 edges, 4 vertices, 5 tuples
18.45/7.14	c 05:06:58.489 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21987. 'extension(4, x[33][23]=[0‥4]) :: init: true :: relation: MDD 1518204977, 7 edges, 4 vertices, 5 tuples
18.45/7.14	c 05:06:58.489 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 21990. 'extension(4, 4) :: init: true :: relation: MDD 1518204977, 7 edges, 4 vertices, 5 tuples
18.45/7.14	c 05:06:58.491 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22023. 'extension(x[31][27]=[0‥4], 4) :: init: true :: relation: MDD 482885994, 7 edges, 4 vertices, 5 tuples
18.45/7.14	c 05:06:58.491 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22024. 'extension(4, x[33][27]=[0‥4]) :: init: true :: relation: MDD 482885994, 7 edges, 4 vertices, 5 tuples
18.45/7.14	c 05:06:58.494 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22056. 'extension(4, wk[15][4]=[0‥1]) :: init: true :: relation: MDD 1741892180, 5 edges, 3 vertices, 4 tuples
18.45/7.14	c 05:06:58.494 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22057. 'extension(x[32][15]=[0‥4], 4) :: init: true :: relation: MDD 1374115041, 7 edges, 4 vertices, 5 tuples
18.45/7.14	c 05:06:58.495 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22091. 'extension(4, wk[19][4]=[0‥1]) :: init: true :: relation: MDD 1756837032, 5 edges, 3 vertices, 4 tuples
18.45/7.15	c 05:06:58.495 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22092. 'extension(4, x[34][19]=[0‥4]) :: init: true :: relation: MDD 1106510750, 7 edges, 4 vertices, 5 tuples
18.45/7.15	c 05:06:58.495 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22095. 'extension(4, 4) :: init: true :: relation: MDD 1106510750, 7 edges, 4 vertices, 5 tuples
18.45/7.15	c 05:06:58.497 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22126. 'extension(4, wk[15][4]=[0‥1]) :: init: true :: relation: MDD 659763564, 5 edges, 3 vertices, 4 tuples
18.45/7.15	c 05:06:58.497 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22130. 'extension(4, 4) :: init: true :: relation: MDD 1374115041, 7 edges, 4 vertices, 5 tuples
18.45/7.15	c 05:06:58.498 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22161. 'extension(4, wk[21][4]=[0‥1]) :: init: true :: relation: MDD 704530496, 5 edges, 3 vertices, 4 tuples
18.45/7.15	c 05:06:58.498 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22162. 'extension(x[33][21]=[0‥4], 4) :: init: true :: relation: MDD 1544765522, 7 edges, 4 vertices, 5 tuples
18.45/7.15	c 05:06:58.499 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22198. 'extension(4, wk[28][4]=[0‥1]) :: init: true :: relation: MDD 497104907, 5 edges, 3 vertices, 4 tuples
18.45/7.15	c 05:06:58.499 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22199. 'extension(x[33][28]=[0‥4], 4) :: init: true :: relation: MDD 663083782, 7 edges, 4 vertices, 5 tuples
18.45/7.15	c 05:06:58.500 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22232. 'extension(x[34][7]=[0‥4], 4) :: init: true :: relation: MDD 2012528704, 7 edges, 4 vertices, 5 tuples
18.45/7.15	c 05:06:58.501 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22266. 'extension(4, x[36][15]=[0‥4]) :: init: true :: relation: MDD 1374115041, 7 edges, 4 vertices, 5 tuples
18.45/7.15	c 05:06:58.502 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22269. 'extension(4, 4) :: init: true :: relation: MDD 1374115041, 7 edges, 4 vertices, 5 tuples
18.45/7.15	c 05:06:58.503 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22300. 'extension(4, x[36][21]=[0‥4]) :: init: true :: relation: MDD 1544765522, 7 edges, 4 vertices, 5 tuples
18.45/7.15	c 05:06:58.503 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22303. 'extension(4, 4) :: init: true :: relation: MDD 1544765522, 7 edges, 4 vertices, 5 tuples
18.45/7.16	c 05:06:58.505 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22339. 'extension(4, 4) :: init: true :: relation: MDD 663083782, 7 edges, 4 vertices, 5 tuples
18.45/7.16	c 05:06:58.506 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22372. 'extension(4, 4) :: init: true :: relation: MDD 2012528704, 7 edges, 4 vertices, 5 tuples
18.45/7.16	c 05:06:58.507 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22403. 'extension(x[35][25]=[0‥4], 4) :: init: true :: relation: MDD 217911413, 7 edges, 4 vertices, 5 tuples
18.45/7.16	c 05:06:58.508 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22441. 'extension(4, 4) :: init: true :: relation: MDD 663083782, 7 edges, 4 vertices, 5 tuples
18.45/7.16	c 05:06:58.509 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22474. 'extension(4, 4) :: init: true :: relation: MDD 2012528704, 7 edges, 4 vertices, 5 tuples
18.45/7.16	c 05:06:58.509 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22504. 'extension(x[36][20]=[0‥4], 4) :: init: true :: relation: MDD 1744457797, 7 edges, 4 vertices, 5 tuples
18.45/7.16	c 05:06:58.509 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22505. 'extension(4, x[38][20]=[0‥4]) :: init: true :: relation: MDD 1744457797, 7 edges, 4 vertices, 5 tuples
18.45/7.16	c 05:06:58.511 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22541. 'extension(4, 4) :: init: true :: relation: MDD 217911413, 7 edges, 4 vertices, 5 tuples
18.45/7.16	c 05:06:58.512 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22572. 'extension(4, x[38][28]=[0‥4]) :: init: true :: relation: MDD 663083782, 7 edges, 4 vertices, 5 tuples
18.45/7.16	c 05:06:58.513 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22575. 'extension(4, 4) :: init: true :: relation: MDD 663083782, 7 edges, 4 vertices, 5 tuples
18.45/7.16	c 05:06:58.514 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22604. 'extension(4, x[39][7]=[0‥4]) :: init: true :: relation: MDD 2012528704, 7 edges, 4 vertices, 5 tuples
18.45/7.17	c 05:06:58.515 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22607. 'extension(4, 4) :: init: true :: relation: MDD 2012528704, 7 edges, 4 vertices, 5 tuples
18.45/7.17	c 05:06:58.516 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22636. 'extension(4, x[39][25]=[0‥4]) :: init: true :: relation: MDD 217911413, 7 edges, 4 vertices, 5 tuples
18.45/7.17	c 05:06:58.517 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22639. 'extension(4, 4) :: init: true :: relation: MDD 217911413, 7 edges, 4 vertices, 5 tuples
18.45/7.17	c 05:06:58.519 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22669. 'extension(x[38][1]=[0‥4], 4) :: init: true :: relation: MDD 1681318273, 7 edges, 4 vertices, 5 tuples
18.45/7.17	c 05:06:58.519 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22700. 'extension(x[38][6]=[0‥4], 4) :: init: true :: relation: MDD 1886186662, 7 edges, 4 vertices, 5 tuples
18.45/7.17	c 05:06:58.520 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22731. 'extension(x[38][26]=[0‥4], 4) :: init: true :: relation: MDD 137685382, 7 edges, 4 vertices, 5 tuples
18.45/7.17	c 05:06:58.521 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22762. 'extension(4, wk[1][5]=[0‥1]) :: init: true :: relation: MDD 1661728387, 5 edges, 3 vertices, 4 tuples
18.45/7.17	c 05:06:58.521 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22763. 'extension(4, x[41][1]=[0‥4]) :: init: true :: relation: MDD 1681318273, 7 edges, 4 vertices, 5 tuples
18.45/7.17	c 05:06:58.522 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22765. 'extension(4, 4) :: init: true :: relation: MDD 1681318273, 7 edges, 4 vertices, 5 tuples
18.45/7.17	c 05:06:58.523 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22792. 'extension(4, wk[2][5]=[0‥1]) :: init: true :: relation: MDD 232042179, 5 edges, 3 vertices, 4 tuples
18.45/7.17	c 05:06:58.523 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22793. 'extension(x[39][2]=[0‥4], 4) :: init: true :: relation: MDD 1710180594, 7 edges, 4 vertices, 5 tuples
18.45/7.17	c 05:06:58.524 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22794. 'extension(4, x[41][2]=[0‥4]) :: init: true :: relation: MDD 1710180594, 7 edges, 4 vertices, 5 tuples
18.45/7.18	c 05:06:58.525 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22822. 'extension(4, wk[6][5]=[0‥1]) :: init: true :: relation: MDD 1924563758, 5 edges, 3 vertices, 4 tuples
18.45/7.18	c 05:06:58.526 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22823. 'extension(4, x[41][6]=[0‥4]) :: init: true :: relation: MDD 1886186662, 7 edges, 4 vertices, 5 tuples
18.45/7.18	c 05:06:58.526 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22825. 'extension(4, 4) :: init: true :: relation: MDD 1886186662, 7 edges, 4 vertices, 5 tuples
18.45/7.18	c 05:06:58.527 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22852. 'extension(4, wk[26][5]=[0‥1]) :: init: true :: relation: MDD 381768094, 5 edges, 3 vertices, 4 tuples
18.45/7.18	c 05:06:58.527 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22855. 'extension(4, 4) :: init: true :: relation: MDD 137685382, 7 edges, 4 vertices, 5 tuples
18.45/7.18	c 05:06:58.528 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22882. 'extension(4, wk[26][5]=[0‥1]) :: init: true :: relation: MDD 1588330347, 5 edges, 3 vertices, 4 tuples
18.45/7.18	c 05:06:58.529 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22883. 'extension(4, 4) :: init: true :: relation: MDD 137685382, 7 edges, 4 vertices, 5 tuples
18.45/7.18	c 05:06:58.529 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 22884. 'extension(4, 4) :: init: true :: relation: MDD 2113328739, 5 edges, 3 vertices, 4 tuples
18.73/7.21	c 05:06:58.556 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23323. 'extension(x[1][24]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.21	c 05:06:58.556 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23325. 'extension(x[1][24]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.21	c 05:06:58.556 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23331. 'extension(x[0][9]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.21	c 05:06:58.557 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23335. 'extension(x[0][11]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.21	c 05:06:58.557 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23337. 'extension(x[2][11]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.21	c 05:06:58.557 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23349. 'extension(x[0][23]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.21	c 05:06:58.558 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23351. 'extension(x[2][23]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.21	c 05:06:58.558 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23363. 'extension(x[3][9]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.21	c 05:06:58.559 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23377. 'extension(x[1][13]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.21	c 05:06:58.559 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23383. 'extension(x[3][20]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.21	c 05:06:58.560 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23395. 'extension(x[2][10]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.21	c 05:06:58.560 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23401. 'extension(x[4][13]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.21	c 05:06:58.561 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23419. 'extension(wk[10][0]=[0‥1]) :: init: true :: relation: Empty MDD
18.73/7.21	c 05:06:58.561 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23421. 'extension(wk[10][0]=[0‥1]) :: init: true :: relation: Empty MDD
18.73/7.21	c 05:06:58.562 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23423. 'extension(x[7][10]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.21	c 05:06:58.562 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23433. 'extension(wk[30][0]=[0‥1]) :: init: true :: relation: Empty MDD
18.73/7.21	c 05:06:58.562 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23435. 'extension(x[5][30]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.21	c 05:06:58.563 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23437. 'extension(x[7][30]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.21	c 05:06:58.563 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23447. 'extension(x[6][11]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.21	c 05:06:58.563 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23449. 'extension(x[8][11]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.22	c 05:06:58.564 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23463. 'extension(x[6][21]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.22	c 05:06:58.564 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23465. 'extension(x[8][21]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.22	c 05:06:58.565 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23481. 'extension(x[6][22]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.22	c 05:06:58.566 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23487. 'extension(x[6][31]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.22	c 05:06:58.566 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23497. 'extension(x[7][30]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.22	c 05:06:58.566 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23499. 'extension(x[9][30]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.22	c 05:06:58.567 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23515. 'extension(x[9][6]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.22	c 05:06:58.568 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23521. 'extension(x[11][22]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.22	c 05:06:58.568 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23533. 'extension(x[9][24]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.22	c 05:06:58.569 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23539. 'extension(x[11][31]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.22	c 05:06:58.569 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23547. 'extension(x[10][2]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.22	c 05:06:58.569 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23549. 'extension(x[12][2]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.22	c 05:06:58.570 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23563. 'extension(x[12][6]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.22	c 05:06:58.571 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23581. 'extension(x[10][25]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.22	c 05:06:58.571 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23583. 'extension(x[12][25]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.22	c 05:06:58.572 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23599. 'extension(wk[13][1]=[0‥1]) :: init: true :: relation: Empty MDD
18.73/7.22	c 05:06:58.573 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23601. 'extension(x[11][13]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.22	c 05:06:58.573 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23607. 'extension(wk[24][1]=[0‥1]) :: init: true :: relation: Empty MDD
18.73/7.23	c 05:06:58.577 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23609. 'extension(x[13][24]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.23	c 05:06:58.578 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23623. 'extension(wk[5][1]=[0‥1]) :: init: true :: relation: Empty MDD
18.73/7.23	c 05:06:58.579 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23625. 'extension(x[12][5]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.23	c 05:06:58.579 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23627. 'extension(x[14][5]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.23	c 05:06:58.580 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23641. 'extension(wk[13][1]=[0‥1]) :: init: true :: relation: Empty MDD
18.73/7.23	c 05:06:58.580 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23643. 'extension(x[14][13]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.23	c 05:06:58.580 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23657. 'extension(x[13][0]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.23	c 05:06:58.581 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23663. 'extension(x[13][14]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.23	c 05:06:58.581 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23669. 'extension(x[13][27]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.23	c 05:06:58.581 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23671. 'extension(x[15][27]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.23	c 05:06:58.582 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23691. 'extension(x[15][2]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.23	c 05:06:58.583 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23697. 'extension(x[18][0]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.23	c 05:06:58.583 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23707. 'extension(x[18][2]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.23	c 05:06:58.584 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23721. 'extension(x[16][4]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.23	c 05:06:58.584 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23727. 'extension(x[18][14]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.24	c 05:06:58.585 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23737. 'extension(x[16][29]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.24	c 05:06:58.585 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23743. 'extension(x[17][3]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.24	c 05:06:58.586 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23755. 'extension(wk[1][2]=[0‥1]) :: init: true :: relation: Empty MDD
18.73/7.24	c 05:06:58.586 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23757. 'extension(x[18][1]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.24	c 05:06:58.586 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23763. 'extension(wk[3][2]=[0‥1]) :: init: true :: relation: Empty MDD
18.73/7.24	c 05:06:58.587 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23769. 'extension(wk[4][2]=[0‥1]) :: init: true :: relation: Empty MDD
18.73/7.24	c 05:06:58.587 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23771. 'extension(wk[18][2]=[0‥1]) :: init: true :: relation: Empty MDD
18.73/7.24	c 05:06:58.587 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23773. 'extension(x[18][18]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.24	c 05:06:58.587 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23775. 'extension(x[20][18]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.24	c 05:06:58.588 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23789. 'extension(wk[29][2]=[0‥1]) :: init: true :: relation: Empty MDD
18.73/7.24	c 05:06:58.588 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23791. 'extension(wk[1][2]=[0‥1]) :: init: true :: relation: Empty MDD
18.73/7.24	c 05:06:58.588 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23793. 'extension(x[21][1]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.24	c 05:06:58.589 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23807. 'extension(wk[3][2]=[0‥1]) :: init: true :: relation: Empty MDD
18.73/7.24	c 05:06:58.589 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23809. 'extension(wk[4][2]=[0‥1]) :: init: true :: relation: Empty MDD
18.73/7.24	c 05:06:58.589 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23811. 'extension(x[21][4]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.24	c 05:06:58.590 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23821. 'extension(wk[15][2]=[0‥1]) :: init: true :: relation: Empty MDD
18.73/7.24	c 05:06:58.590 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23823. 'extension(x[19][15]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.24	c 05:06:58.590 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23825. 'extension(x[21][15]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.24	c 05:06:58.591 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23839. 'extension(wk[29][2]=[0‥1]) :: init: true :: relation: Empty MDD
18.73/7.24	c 05:06:58.591 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23841. 'extension(x[21][29]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.24	c 05:06:58.592 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23849. 'extension(x[22][3]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.24	c 05:06:58.592 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23859. 'extension(x[20][30]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.24	c 05:06:58.592 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23861. 'extension(x[22][30]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.24	c 05:06:58.593 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23873. 'extension(x[22][12]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.24	c 05:06:58.593 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23879. 'extension(x[23][5]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.24	c 05:06:58.594 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23889. 'extension(x[23][18]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.24	c 05:06:58.594 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23895. 'extension(x[23][27]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.25	c 05:06:58.595 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23905. 'extension(x[24][11]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.25	c 05:06:58.595 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23915. 'extension(x[26][27]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.25	c 05:06:58.596 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23925. 'extension(x[24][30]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.25	c 05:06:58.596 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23927. 'extension(x[26][30]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.25	c 05:06:58.597 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23939. 'extension(wk[5][3]=[0‥1]) :: init: true :: relation: Empty MDD
18.73/7.25	c 05:06:58.597 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23941. 'extension(x[27][5]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.25	c 05:06:58.597 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23951. 'extension(wk[8][3]=[0‥1]) :: init: true :: relation: Empty MDD
18.73/7.25	c 05:06:58.598 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23953. 'extension(x[25][8]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.25	c 05:06:58.598 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23959. 'extension(wk[11][3]=[0‥1]) :: init: true :: relation: Empty MDD
18.73/7.25	c 05:06:58.598 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23961. 'extension(x[27][11]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.25	c 05:06:58.599 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23975. 'extension(wk[12][3]=[0‥1]) :: init: true :: relation: Empty MDD
18.73/7.25	c 05:06:58.599 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23977. 'extension(x[27][12]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.25	c 05:06:58.599 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23987. 'extension(wk[18][3]=[0‥1]) :: init: true :: relation: Empty MDD
18.73/7.25	c 05:06:58.600 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23989. 'extension(x[27][18]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.25	c 05:06:58.600 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 23999. 'extension(wk[26][3]=[0‥1]) :: init: true :: relation: Empty MDD
18.73/7.25	c 05:06:58.600 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24001. 'extension(x[25][26]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.25	c 05:06:58.601 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24003. 'extension(x[27][26]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.25	c 05:06:58.601 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24019. 'extension(wk[8][3]=[0‥1]) :: init: true :: relation: Empty MDD
18.73/7.25	c 05:06:58.602 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24025. 'extension(wk[16][3]=[0‥1]) :: init: true :: relation: Empty MDD
18.73/7.25	c 05:06:58.602 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24027. 'extension(x[26][16]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.25	c 05:06:58.602 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24033. 'extension(x[29][8]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.26	c 05:06:58.603 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24043. 'extension(x[29][16]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.26	c 05:06:58.604 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24057. 'extension(x[27][19]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.26	c 05:06:58.604 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24059. 'extension(x[29][19]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.26	c 05:06:58.605 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24073. 'extension(x[28][17]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.26	c 05:06:58.605 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24083. 'extension(x[29][21]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.26	c 05:06:58.606 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24085. 'extension(x[31][21]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.26	c 05:06:58.607 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24101. 'extension(x[29][23]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.26	c 05:06:58.607 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24107. 'extension(x[30][8]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.26	c 05:06:58.607 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24109. 'extension(x[32][8]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.26	c 05:06:58.608 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24123. 'extension(x[30][9]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.26	c 05:06:58.608 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24129. 'extension(x[30][16]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.26	c 05:06:58.609 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24135. 'extension(x[30][19]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.26	c 05:06:58.609 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24145. 'extension(x[33][9]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.26	c 05:06:58.610 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24159. 'extension(x[33][16]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.26	c 05:06:58.610 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24173. 'extension(x[33][17]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.26	c 05:06:58.611 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24187. 'extension(x[33][23]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.26	c 05:06:58.612 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24201. 'extension(x[31][27]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.26	c 05:06:58.612 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24203. 'extension(x[33][27]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.26	c 05:06:58.613 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24215. 'extension(wk[15][4]=[0‥1]) :: init: true :: relation: Empty MDD
18.73/7.26	c 05:06:58.613 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24217. 'extension(x[32][15]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.26	c 05:06:58.613 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24223. 'extension(wk[19][4]=[0‥1]) :: init: true :: relation: Empty MDD
18.73/7.26	c 05:06:58.613 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24225. 'extension(x[34][19]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.26	c 05:06:58.614 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24235. 'extension(wk[15][4]=[0‥1]) :: init: true :: relation: Empty MDD
18.73/7.26	c 05:06:58.614 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24241. 'extension(wk[21][4]=[0‥1]) :: init: true :: relation: Empty MDD
18.73/7.26	c 05:06:58.615 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24243. 'extension(x[33][21]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.27	c 05:06:58.615 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24249. 'extension(wk[28][4]=[0‥1]) :: init: true :: relation: Empty MDD
18.73/7.28	c 05:06:58.615 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24251. 'extension(x[33][28]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.28	c 05:06:58.615 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24257. 'extension(x[34][7]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.28	c 05:06:58.616 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24263. 'extension(x[36][15]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.28	c 05:06:58.616 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24273. 'extension(x[36][21]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.28	c 05:06:58.617 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24295. 'extension(x[35][25]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.28	c 05:06:58.618 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24301. 'extension(x[36][20]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.28	c 05:06:58.618 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24303. 'extension(x[38][20]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.28	c 05:06:58.619 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24323. 'extension(x[38][28]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.28	c 05:06:58.619 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24331. 'extension(x[39][7]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.28	c 05:06:58.620 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24341. 'extension(x[39][25]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.28	c 05:06:58.620 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24355. 'extension(x[38][1]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.28	c 05:06:58.621 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24361. 'extension(x[38][6]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.28	c 05:06:58.621 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24367. 'extension(x[38][26]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.28	c 05:06:58.622 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24373. 'extension(wk[1][5]=[0‥1]) :: init: true :: relation: Empty MDD
18.73/7.28	c 05:06:58.622 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24375. 'extension(x[41][1]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.28	c 05:06:58.622 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24387. 'extension(wk[2][5]=[0‥1]) :: init: true :: relation: Empty MDD
18.73/7.28	c 05:06:58.622 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24389. 'extension(x[39][2]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.28	c 05:06:58.623 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24391. 'extension(x[41][2]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.28	c 05:06:58.623 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24403. 'extension(wk[6][5]=[0‥1]) :: init: true :: relation: Empty MDD
18.73/7.28	c 05:06:58.623 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24405. 'extension(x[41][6]=[0‥4]) :: init: true :: relation: Empty MDD
18.73/7.28	c 05:06:58.624 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24417. 'extension(wk[26][5]=[0‥1]) :: init: true :: relation: Empty MDD
18.73/7.28	c 05:06:58.624 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24423. 'extension(wk[26][5]=[0‥1]) :: init: true :: relation: Empty MDD
2520.02/2454.40	Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
2520.02/2454.40		at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24)
2520.02/2454.40		at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53)
2520.02/2454.40		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:142)
2520.02/2454.40		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:5)
2520.02/2454.41		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126)
2520.02/2454.41		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:8)
2520.02/2454.41		at concrete.heuristic.value.BestCost.select(BestCost.scala:53)
2520.02/2454.41		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.02/2454.41		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
2520.02/2454.41		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.02/2454.41		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.02/2454.41		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
2520.02/2454.41		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.02/2454.41		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.02/2454.41		at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:109)
2520.02/2454.41		at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
2520.02/2454.41		at scala.Option.map(Option.scala:146)
2520.02/2454.41		at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
2520.02/2454.41		at concrete.MAC.mac(MAC.scala:203)
2520.02/2454.41		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.02/2454.41		at scala.util.Try$.apply(Try.scala:209)
2520.02/2454.41		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.02/2454.41		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.02/2454.41		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.02/2454.41		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.02/2454.41		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.02/2454.41		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.02/2454.41		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.02/2454.41		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.02/2454.41		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.02/2454.41		at concrete.MAC.oneRun(MAC.scala:253)
2520.02/2454.41		at concrete.MAC.nextSolution(MAC.scala:272)
2520.02/2454.41		at concrete.MAC.$anonfun$nextSolution$5(MAC.scala:336)
2520.02/2454.41		at concrete.ProblemState.map(ProblemState.scala:221)
2520.02/2454.41		at concrete.ProblemState.map(ProblemState.scala:204)
2520.02/2454.41		at concrete.MAC.nextSolution(MAC.scala:334)
2520.02/2454.41		at concrete.Solver.hasNext(Solver.scala:166)
2520.02/2454.41		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.02/2454.41		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.02/2454.41		at concrete.Solver.foreach(Solver.scala:68)
2520.02/2454.41		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.02/2454.41		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.02/2454.41		at scala.util.Success.map(Try.scala:209)
2520.02/2454.41		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.02/2454.41		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.02/2454.41		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.02/2454.41		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.02/2454.41		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.02/2454.41		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.02/2454.41		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.02/2454.41		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.02/2454.41		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.02/2454.41		at scala.collection.immutable.List.foreach(List.scala:389)
2520.02/2454.41		at scala.App.main(App.scala:76)
2520.02/2454.41		at scala.App.main$(App.scala:74)
2520.02/2454.41		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.02/2454.41		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.02/2454.42	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 (2284 MiB free)
  memory of node 1: 16384 MiB (1370 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304164-1534043211/watcher-4304164-1534043211 -o /tmp/evaluation-result-4304164-1534043211/solver-4304164-1534043211 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534040758-13580 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=95866682 -superng HOME/instance-4304164-1534043211.xml 

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

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

solver pid=13905, runsolver pid=13902

[startup+0.100059 s]*
/proc/loadavg: 1.43 1.42 1.39 3/206 13962
/proc/meminfo: memFree=3737400/32770624 swapFree=67108860/67108860
[pid=13905] ppid=13902 vsize=10005480 memory=16812 CPUtime=0.09 cores=0,2,4,6
/proc/13905/stat : 13905 (java) S 13902 13905 11630 0 -1 1077944320 4337 13142 0 0 1 0 5 3 20 0 6 0 221884249 10245611520 4203 33554432000 4194304 4196468 140737098664416 140737098646960 140253040164599 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
/proc/13905/statm: 2501370 4203 1934 1 0 2489808 0
[pid=13905/tid=13958] ppid=13902 vsize=10005480 memory=4279135703946462605 CPUtime=0.08 cores=0,2,4,6
/proc/13905/task/13958/stat : 13958 (java) R 13902 13905 11630 0 -1 4202560 2154 13142 0 0 0 0 5 3 20 0 6 0 221884259 10245611520 4203 33554432000 4194304 4196468 140737098664416 140253012001360 140253024245086 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13959] ppid=13902 vsize=10005480 memory=8257237230052613020 CPUtime=0.08 cores=0,2,4,6
/proc/13905/task/13959/stat : 13959 (java) S 13902 13905 11630 0 -1 1077944384 2 13142 0 0 0 0 5 3 20 0 6 0 221884259 10245611520 4203 33554432000 4194304 4196468 140737098664416 140253044407312 140253040174805 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13960] ppid=13902 vsize=10005480 memory=139629618128512 CPUtime=0.08 cores=0,2,4,6
/proc/13905/task/13960/stat : 13960 (java) S 13902 13905 11630 0 -1 1077944384 1 13142 0 0 0 0 5 3 20 0 6 0 221884259 10245611520 4203 33554432000 4194304 4196468 140737098664416 140252899126416 140253040174805 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13961] ppid=13902 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13905/task/13961/stat : 13961 (java) S 13902 13905 11630 0 -1 1077944384 1 13142 0 0 0 0 5 3 20 0 6 0 221884259 10245611520 4203 33554432000 4194304 4196468 140737098664416 140252898073360 140253040174805 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13962] ppid=13902 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13905/task/13962/stat : 13962 (java) S 13902 13905 11630 0 -1 1077944384 1 13142 0 0 0 0 5 3 20 0 6 0 221884259 10245611520 4203 33554432000 4194304 4196468 140737098664416 140252897020816 140253040174805 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16812 KiB

[startup+0.210052 s]*
/proc/loadavg: 1.43 1.42 1.39 3/215 13971
/proc/meminfo: memFree=3713360/32770624 swapFree=67108860/67108860
[pid=13905] ppid=13902 vsize=10982744 memory=44176 CPUtime=0.26 cores=0,2,4,6
/proc/13905/stat : 13905 (java) S 13902 13905 11630 0 -1 1077944320 7774 13142 0 0 17 1 5 3 20 0 15 0 221884249 11246329856 11044 33554432000 4194304 4196468 140737098664416 140737098646960 140253040164599 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
/proc/13905/statm: 2745686 11044 2953 1 0 2708109 0
[pid=13905/tid=13958] ppid=13902 vsize=10982744 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/13905/task/13958/stat : 13958 (java) R 13902 13905 11630 0 -1 4202560 4410 13142 0 0 11 0 5 3 20 0 15 0 221884259 11246329856 11110 33554432000 4194304 4196468 140737098664416 140253011978720 140253020439550 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13959] ppid=13902 vsize=10982744 memory=342 CPUtime=0.08 cores=0,2,4,6
/proc/13905/task/13959/stat : 13959 (java) S 13902 13905 11630 0 -1 1077944384 2 13142 0 0 0 0 5 3 20 0 15 0 221884259 11246329856 11110 33554432000 4194304 4196468 140737098664416 140253044407312 140253040174805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13960] ppid=13902 vsize=10982744 memory=3616870099355297440 CPUtime=0.08 cores=0,2,4,6
/proc/13905/task/13960/stat : 13960 (java) S 13902 13905 11630 0 -1 1077944384 1 13142 0 0 0 0 5 3 20 0 15 0 221884259 11246329856 11176 33554432000 4194304 4196468 140737098664416 140252899126416 140253040174805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13961] ppid=13902 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13905/task/13961/stat : 13961 (java) S 13902 13905 11630 0 -1 1077944384 1 13142 0 0 0 0 5 3 20 0 15 0 221884259 11246329856 11176 33554432000 4194304 4196468 140737098664416 140252898073360 140253040174805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13962] ppid=13902 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13905/task/13962/stat : 13962 (java) S 13902 13905 11630 0 -1 1077944384 1 13142 0 0 0 0 5 3 20 0 15 0 221884259 11246329856 11176 33554432000 4194304 4196468 140737098664416 140252897020816 140253040174805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13963] ppid=13902 vsize=10982744 memory=139629618128512 CPUtime=0.08 cores=0,2,4,6
/proc/13905/task/13963/stat : 13963 (java) S 13902 13905 11630 0 -1 1077944384 2 13142 0 0 0 0 5 3 20 0 15 0 221884261 11246329856 11176 33554432000 4194304 4196468 140737098664416 140252144142576 140253040175746 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13964] ppid=13902 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13905/task/13964/stat : 13964 (java) S 13902 13905 11630 0 -1 1077944384 13 13142 0 0 0 0 5 3 20 0 15 0 221884261 11246329856 11176 33554432000 4194304 4196468 140737098664416 140251888608416 140253040174805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13965] ppid=13902 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13905/task/13965/stat : 13965 (java) S 13902 13905 11630 0 -1 1077944384 1 13142 0 0 0 0 5 3 20 0 15 0 221884261 11246329856 11176 33554432000 4194304 4196468 140737098664416 140251687281392 140253040174805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13966] ppid=13902 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13905/task/13966/stat : 13966 (java) S 13902 13905 11630 0 -1 1077944384 3 13142 0 0 0 0 5 3 20 0 15 0 221884264 11246329856 11176 33554432000 4194304 4196468 140737098664416 140251379881936 140253040183195 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13967] ppid=13902 vsize=10982744 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/13905/task/13967/stat : 13967 (java) S 13902 13905 11630 0 -1 1077944384 420 13142 0 0 1 0 5 3 20 0 15 0 221884264 11246329856 11176 33554432000 4194304 4196468 140737098664416 140252143090416 140253040175746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13968] ppid=13902 vsize=10982744 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/13905/task/13968/stat : 13968 (java) S 13902 13905 11630 0 -1 1077944384 193 13142 0 0 1 0 5 3 20 0 15 0 221884264 11246329856 11176 33554432000 4194304 4196468 140737098664416 140252142037872 140253040175746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13969] ppid=13902 vsize=10982744 memory=139629618128512 CPUtime=0.11 cores=0,2,4,6
/proc/13905/task/13969/stat : 13969 (java) S 13902 13905 11630 0 -1 1077944384 610 13142 0 0 3 0 5 3 20 0 15 0 221884264 11246329856 11176 33554432000 4194304 4196468 140737098664416 140252140984816 140253040175746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13970] ppid=13902 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13905/task/13970/stat : 13970 (java) S 13902 13905 11630 0 -1 1077944384 3 13142 0 0 0 0 5 3 20 0 15 0 221884264 11246329856 11176 33554432000 4194304 4196468 140737098664416 140250949086048 140253040174805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13971] ppid=13902 vsize=10982744 memory=139629618128512 CPUtime=0.08 cores=0,2,4,6
/proc/13905/task/13971/stat : 13971 (java) S 13902 13905 11630 0 -1 1077944384 1 13142 0 0 0 0 5 3 20 0 15 0 221884265 11246329856 11242 33554432000 4194304 4196468 140737098664416 140252139932208 140253040175746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 44176 KiB

[startup+0.310226 s]*
/proc/loadavg: 1.43 1.42 1.39 3/215 13971
/proc/meminfo: memFree=3701576/32770624 swapFree=67108860/67108860
[pid=13905] ppid=13902 vsize=10983192 memory=55936 CPUtime=0.38 cores=0,2,4,6
/proc/13905/stat : 13905 (java) S 13902 13905 11630 0 -1 1077944320 10544 13142 0 0 28 2 5 3 20 0 15 0 221884249 11246788608 13984 33554432000 4194304 4196468 140737098664416 140737098646960 140253040164599 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
/proc/13905/statm: 2745798 13984 3072 1 0 2708109 0
[pid=13905/tid=13958] ppid=13902 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/13905/task/13958/stat : 13958 (java) R 13902 13905 11630 0 -1 4202560 7089 13142 0 0 20 1 5 3 20 0 15 0 221884259 11246788608 13984 33554432000 4194304 4196468 140737098664416 140253011976608 140253024245086 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13959] ppid=13902 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13905/task/13959/stat : 13959 (java) S 13902 13905 11630 0 -1 1077944384 2 13142 0 0 0 0 5 3 20 0 15 0 221884259 11246788608 13984 33554432000 4194304 4196468 140737098664416 140253044407312 140253040174805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13960] ppid=13902 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13905/task/13960/stat : 13960 (java) S 13902 13905 11630 0 -1 1077944384 1 13142 0 0 0 0 5 3 20 0 15 0 221884259 11246788608 13984 33554432000 4194304 4196468 140737098664416 140252899126416 140253040174805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13961] ppid=13902 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13905/task/13961/stat : 13961 (java) S 13902 13905 11630 0 -1 1077944384 1 13142 0 0 0 0 5 3 20 0 15 0 221884259 11246788608 13984 33554432000 4194304 4196468 140737098664416 140252898073360 140253040174805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13962] ppid=13902 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13905/task/13962/stat : 13962 (java) S 13902 13905 11630 0 -1 1077944384 1 13142 0 0 0 0 5 3 20 0 15 0 221884259 11246788608 13984 33554432000 4194304 4196468 140737098664416 140252897020816 140253040174805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13963] ppid=13902 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13905/task/13963/stat : 13963 (java) S 13902 13905 11630 0 -1 1077944384 2 13142 0 0 0 0 5 3 20 0 15 0 221884261 11246788608 13984 33554432000 4194304 4196468 140737098664416 140252144142576 140253040175746 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13964] ppid=13902 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13905/task/13964/stat : 13964 (java) S 13902 13905 11630 0 -1 1077944384 13 13142 0 0 0 0 5 3 20 0 15 0 221884261 11246788608 13984 33554432000 4194304 4196468 140737098664416 140251888608416 140253040174805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13965] ppid=13902 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13905/task/13965/stat : 13965 (java) S 13902 13905 11630 0 -1 1077944384 1 13142 0 0 0 0 5 3 20 0 15 0 221884261 11246788608 13984 33554432000 4194304 4196468 140737098664416 140251687281392 140253040174805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13966] ppid=13902 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13905/task/13966/stat : 13966 (java) S 13902 13905 11630 0 -1 1077944384 3 13142 0 0 0 0 5 3 20 0 15 0 221884264 11246788608 13984 33554432000 4194304 4196468 140737098664416 140251379881936 140253040183195 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13967] ppid=13902 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/13905/task/13967/stat : 13967 (java) S 13902 13905 11630 0 -1 1077944384 426 13142 0 0 1 0 5 3 20 0 15 0 221884264 11246788608 13984 33554432000 4194304 4196468 140737098664416 140252143090416 140253040175746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13968] ppid=13902 vsize=10983192 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/13905/task/13968/stat : 13968 (java) S 13902 13905 11630 0 -1 1077944384 193 13142 0 0 1 0 5 3 20 0 15 0 221884264 11246788608 13984 33554432000 4194304 4196468 140737098664416 140252142037872 140253040175746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13969] ppid=13902 vsize=10983192 memory=139629618128512 CPUtime=0.12 cores=0,2,4,6
/proc/13905/task/13969/stat : 13969 (java) S 13902 13905 11630 0 -1 1077944384 616 13142 0 0 4 0 5 3 20 0 15 0 221884264 11246788608 13984 33554432000 4194304 4196468 140737098664416 140252140984816 140253040175746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13970] ppid=13902 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/13905/task/13970/stat : 13970 (java) S 13902 13905 11630 0 -1 1077944384 3 13142 0 0 0 0 5 3 20 0 15 0 221884264 11246788608 13984 33554432000 4194304 4196468 140737098664416 140250949086048 140253040174805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13971] ppid=13902 vsize=10983192 memory=139629618128512 CPUtime=0.08 cores=0,2,4,6
/proc/13905/task/13971/stat : 13971 (java) S 13902 13905 11630 0 -1 1077944384 1 13142 0 0 0 0 5 3 20 0 15 0 221884265 11246788608 13984 33554432000 4194304 4196468 140737098664416 140252139932208 140253040175746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55936 KiB

[startup+0.700696 s]
/proc/loadavg: 1.43 1.42 1.39 4/215 13971
/proc/meminfo: memFree=3690536/32770624 swapFree=67108860/67108860
[pid=13905] ppid=13902 vsize=10983192 memory=88300 CPUtime=1 cores=0,2,4,6
/proc/13905/stat : 13905 (java) S 13902 13905 11630 0 -1 1077944320 16736 13142 0 0 88 4 5 3 20 0 15 0 221884249 11246788608 22075 33554432000 4194304 4196468 140737098664416 140737098646960 140253040164599 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
/proc/13905/statm: 2745798 22075 3238 1 0 2708109 0
[pid=13905/tid=13958] ppid=13902 vsize=10983192 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/13905/task/13958/stat : 13958 (java) R 13902 13905 11630 0 -1 4202560 12224 13142 0 0 56 2 5 3 20 0 15 0 221884259 11246788608 22075 33554432000 4194304 4196468 140737098664416 140253011985424 140253024245086 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13959] ppid=13902 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13905/task/13959/stat : 13959 (java) S 13902 13905 11630 0 -1 1077944384 2 13142 0 0 0 0 5 3 20 0 15 0 221884259 11246788608 22075 33554432000 4194304 4196468 140737098664416 140253044407312 140253040174805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13960] ppid=13902 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13905/task/13960/stat : 13960 (java) S 13902 13905 11630 0 -1 1077944384 1 13142 0 0 0 0 5 3 20 0 15 0 221884259 11246788608 22075 33554432000 4194304 4196468 140737098664416 140252899126416 140253040174805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13961] ppid=13902 vsize=10983192 memory=32804 CPUtime=0.08 cores=0,2,4,6
/proc/13905/task/13961/stat : 13961 (java) S 13902 13905 11630 0 -1 1077944384 1 13142 0 0 0 0 5 3 20 0 15 0 221884259 11246788608 22075 33554432000 4194304 4196468 140737098664416 140252898073360 140253040174805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13962] ppid=13902 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13905/task/13962/stat : 13962 (java) S 13902 13905 11630 0 -1 1077944384 1 13142 0 0 0 0 5 3 20 0 15 0 221884259 11246788608 22075 33554432000 4194304 4196468 140737098664416 140252897020816 140253040174805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13963] ppid=13902 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13905/task/13963/stat : 13963 (java) S 13902 13905 11630 0 -1 1077944384 5 13142 0 0 0 0 5 3 20 0 15 0 221884261 11246788608 22075 33554432000 4194304 4196468 140737098664416 140252144142576 140253040175746 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13964] ppid=13902 vsize=10983192 memory=139629521154768 CPUtime=0.08 cores=0,2,4,6
/proc/13905/task/13964/stat : 13964 (java) S 13902 13905 11630 0 -1 1077944384 13 13142 0 0 0 0 5 3 20 0 15 0 221884261 11246788608 22075 33554432000 4194304 4196468 140737098664416 140251888608416 140253040174805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13965] ppid=13902 vsize=10983192 memory=139633681760867 CPUtime=0.08 cores=0,2,4,6
/proc/13905/task/13965/stat : 13965 (java) S 13902 13905 11630 0 -1 1077944384 1 13142 0 0 0 0 5 3 20 0 15 0 221884261 11246788608 22075 33554432000 4194304 4196468 140737098664416 140251687281392 140253040174805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13966] ppid=13902 vsize=10983192 memory=10824 CPUtime=0.08 cores=0,2,4,6
/proc/13905/task/13966/stat : 13966 (java) S 13902 13905 11630 0 -1 1077944384 3 13142 0 0 0 0 5 3 20 0 15 0 221884264 11246788608 22075 33554432000 4194304 4196468 140737098664416 140251379881936 140253040183195 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13967] ppid=13902 vsize=10983192 memory=7234564758908855872 CPUtime=0.18 cores=0,2,4,6
/proc/13905/task/13967/stat : 13967 (java) S 13902 13905 11630 0 -1 1077944384 1037 13142 0 0 10 0 5 3 20 0 15 0 221884264 11246788608 22075 33554432000 4194304 4196468 140737098664416 140252143090416 140253040175746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13968] ppid=13902 vsize=10983192 memory=8099279071866868843 CPUtime=0.15 cores=0,2,4,6
/proc/13905/task/13968/stat : 13968 (java) S 13902 13905 11630 0 -1 1077944384 558 13142 0 0 7 0 5 3 20 0 15 0 221884264 11246788608 22075 33554432000 4194304 4196468 140737098664416 140252142037872 140253040175746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13969] ppid=13902 vsize=10983192 memory=6154282490091891024 CPUtime=0.21 cores=0,2,4,6
/proc/13905/task/13969/stat : 13969 (java) R 13902 13905 11630 0 -1 1077944384 695 13142 0 0 13 0 5 3 20 0 15 0 221884264 11246788608 22075 33554432000 4194304 4196468 140737098664416 140252140984816 140253040175746 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13970] ppid=13902 vsize=10983192 memory=4128 CPUtime=0.08 cores=0,2,4,6
/proc/13905/task/13970/stat : 13970 (java) S 13902 13905 11630 0 -1 1077944384 3 13142 0 0 0 0 5 3 20 0 15 0 221884264 11246788608 22075 33554432000 4194304 4196468 140737098664416 140250949086048 140253040174805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13971] ppid=13902 vsize=10983192 memory=2241 CPUtime=0.08 cores=0,2,4,6
/proc/13905/task/13971/stat : 13971 (java) S 13902 13905 11630 0 -1 1077944384 1 13142 0 0 0 0 5 3 20 0 15 0 221884265 11246788608 22075 33554432000 4194304 4196468 140737098664416 140252139932208 140253040175746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88300 KiB

[startup+1.50084 s]
/proc/loadavg: 1.43 1.42 1.39 3/215 13971
/proc/meminfo: memFree=3647120/32770624 swapFree=67108860/67108860
[pid=13905] ppid=13902 vsize=10991948 memory=176504 CPUtime=3.2 cores=0,2,4,6
/proc/13905/stat : 13905 (java) S 13902 13905 11630 0 -1 1077944320 24460 13142 0 0 304 8 5 3 20 0 15 0 221884249 11255754752 44126 33554432000 4194304 4196468 140737098664416 140737098646960 140253040164599 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
/proc/13905/statm: 2747987 44126 3443 1 0 2709645 0
[pid=13905/tid=13958] ppid=13902 vsize=10991948 memory=12813 CPUtime=1.46 cores=0,2,4,6
/proc/13905/task/13958/stat : 13958 (java) R 13902 13905 11630 0 -1 4202560 15263 13142 0 0 132 6 5 3 20 0 15 0 221884259 11255754752 44126 33554432000 4194304 4196468 140737098664416 140253011997632 140252581779750 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13959] ppid=13902 vsize=10991948 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/13905/task/13959/stat : 13959 (java) S 13902 13905 11630 0 -1 1077944384 2 13142 0 0 0 0 5 3 20 0 15 0 221884259 11255754752 44126 33554432000 4194304 4196468 140737098664416 140253044407312 140253040174805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13960] ppid=13902 vsize=10991948 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13905/task/13960/stat : 13960 (java) S 13902 13905 11630 0 -1 1077944384 1 13142 0 0 0 0 5 3 20 0 15 0 221884259 11255754752 44126 33554432000 4194304 4196468 140737098664416 140252899126416 140253040174805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13961] ppid=13902 vsize=10991948 memory=3786 CPUtime=0.08 cores=0,2,4,6
/proc/13905/task/13961/stat : 13961 (java) S 13902 13905 11630 0 -1 1077944384 1 13142 0 0 0 0 5 3 20 0 15 0 221884259 11255754752 44126 33554432000 4194304 4196468 140737098664416 140252898073360 140253040174805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13962] ppid=13902 vsize=10991948 memory=88300 CPUtime=0.08 cores=0,2,4,6
/proc/13905/task/13962/stat : 13962 (java) S 13902 13905 11630 0 -1 1077944384 1 13142 0 0 0 0 5 3 20 0 15 0 221884259 11255754752 44126 33554432000 4194304 4196468 140737098664416 140252897020816 140253040174805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13963] ppid=13902 vsize=10991948 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13905/task/13963/stat : 13963 (java) S 13902 13905 11630 0 -1 1077944384 13 13142 0 0 0 0 5 3 20 0 15 0 221884261 11255754752 44126 33554432000 4194304 4196468 140737098664416 140252144142576 140253040175746 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13964] ppid=13902 vsize=10991948 memory=279259042251248 CPUtime=0.08 cores=0,2,4,6
/proc/13905/task/13964/stat : 13964 (java) S 13902 13905 11630 0 -1 1077944384 13 13142 0 0 0 0 5 3 20 0 15 0 221884261 11255754752 44638 33554432000 4194304 4196468 140737098664416 140251888608416 140253040174805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13965] ppid=13902 vsize=10991948 memory=279259042302048 CPUtime=0.08 cores=0,2,4,6
/proc/13905/task/13965/stat : 13965 (java) S 13902 13905 11630 0 -1 1077944384 1 13142 0 0 0 0 5 3 20 0 15 0 221884261 11255754752 44638 33554432000 4194304 4196468 140737098664416 140251687281392 140253040174805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13966] ppid=13902 vsize=10991948 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/13905/task/13966/stat : 13966 (java) S 13902 13905 11630 0 -1 1077944384 3 13142 0 0 0 0 5 3 20 0 15 0 221884264 11255754752 44638 33554432000 4194304 4196468 140737098664416 140251379881936 140253040183195 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13967] ppid=13902 vsize=10991948 memory=4638778398332698720 CPUtime=0.7 cores=0,2,4,6
/proc/13905/task/13967/stat : 13967 (java) R 13902 13905 11630 0 -1 4202560 2435 13142 0 0 62 0 5 3 20 0 15 0 221884264 11255754752 44638 33554432000 4194304 4196468 140737098664416 140252143076296 140253032401726 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13968] ppid=13902 vsize=10991948 memory=279259042585472 CPUtime=0.66 cores=0,2,4,6
/proc/13905/task/13968/stat : 13968 (java) R 13902 13905 11630 0 -1 4202560 2579 13142 0 0 58 0 5 3 20 0 15 0 221884264 11255754752 44638 33554432000 4194304 4196468 140737098664416 140252142023752 140253021687378 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13969] ppid=13902 vsize=10991948 memory=-7531822216213012384 CPUtime=0.59 cores=0,2,4,6
/proc/13905/task/13969/stat : 13969 (java) S 13902 13905 11630 0 -1 1077944384 1953 13142 0 0 51 0 5 3 20 0 15 0 221884264 11255754752 44638 33554432000 4194304 4196468 140737098664416 140252140984816 140253040175746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13970] ppid=13902 vsize=10991948 memory=-7531822216213012384 CPUtime=0.08 cores=0,2,4,6
/proc/13905/task/13970/stat : 13970 (java) S 13902 13905 11630 0 -1 1077944384 3 13142 0 0 0 0 5 3 20 0 15 0 221884264 11255754752 44638 33554432000 4194304 4196468 140737098664416 140250949086048 140253040174805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13971] ppid=13902 vsize=10991948 memory=-7233780906022716832 CPUtime=0.08 cores=0,2,4,6
/proc/13905/task/13971/stat : 13971 (java) S 13902 13905 11630 0 -1 1077944384 1 13142 0 0 0 0 5 3 20 0 15 0 221884265 11255754752 44638 33554432000 4194304 4196468 140737098664416 140252139932208 140253040175746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
Current children cumulated CPU time: 3.2 s
Current children cumulated vsize: 10991948 KiB

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

/proc/13905/task/13958/stat : 13958 (java) R 13902 13905 11630 0 -1 4202560 94430 13142 0 0 230062 54 5 3 20 0 15 0 221884259 11280941056 327984 33554432000 4194304 4196468 140737098664416 140253011998784 140252601207034 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13959] ppid=13902 vsize=11016544 memory=1311904 CPUtime=11.04 cores=0,2,4,6
/proc/13905/task/13959/stat : 13959 (java) S 13902 13905 11630 0 -1 1077944384 14790 13142 0 0 1034 62 5 3 20 0 15 0 221884259 11280941056 327984 33554432000 4194304 4196468 140737098664416 140253044407312 140253040174805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13960] ppid=13902 vsize=11016544 memory=56 CPUtime=11.02 cores=0,2,4,6
/proc/13905/task/13960/stat : 13960 (java) S 13902 13905 11630 0 -1 1077944384 16125 13142 0 0 1034 60 5 3 20 0 15 0 221884259 11280941056 327984 33554432000 4194304 4196468 140737098664416 140252899126416 140253040174805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13961] ppid=13902 vsize=11016544 memory=1311936 CPUtime=11.01 cores=0,2,4,6
/proc/13905/task/13961/stat : 13961 (java) S 13902 13905 11630 0 -1 1077944384 17127 13142 0 0 1034 59 5 3 20 0 15 0 221884259 11280941056 327984 33554432000 4194304 4196468 140737098664416 140252898073360 140253040174805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13962] ppid=13902 vsize=11016544 memory=1311936 CPUtime=11.02 cores=0,2,4,6
/proc/13905/task/13962/stat : 13962 (java) S 13902 13905 11630 0 -1 1077944384 11814 13142 0 0 1033 61 5 3 20 0 15 0 221884259 11280941056 327984 33554432000 4194304 4196468 140737098664416 140252897020816 140253040174805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13963] ppid=13902 vsize=11016544 memory=1311936 CPUtime=7.28 cores=0,2,4,6
/proc/13905/task/13963/stat : 13963 (java) S 13902 13905 11630 0 -1 1077944384 16074 13142 0 0 681 39 5 3 20 0 15 0 221884261 11280941056 327984 33554432000 4194304 4196468 140737098664416 140252144142576 140253040175746 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13964] ppid=13902 vsize=11016544 memory=1311936 CPUtime=0.08 cores=0,2,4,6
/proc/13905/task/13964/stat : 13964 (java) S 13902 13905 11630 0 -1 1077944384 15 13142 0 0 0 0 5 3 20 0 15 0 221884261 11280941056 327984 33554432000 4194304 4196468 140737098664416 140251888608480 140253040174805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13965] ppid=13902 vsize=11016544 memory=1311936 CPUtime=0.08 cores=0,2,4,6
/proc/13905/task/13965/stat : 13965 (java) S 13902 13905 11630 0 -1 1077944384 3 13142 0 0 0 0 5 3 20 0 15 0 221884261 11280941056 327984 33554432000 4194304 4196468 140737098664416 140251687281408 140253040174805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13966] ppid=13902 vsize=11016544 memory=1311936 CPUtime=0.08 cores=0,2,4,6
/proc/13905/task/13966/stat : 13966 (java) S 13902 13905 11630 0 -1 1077944384 3 13142 0 0 0 0 5 3 20 0 15 0 221884264 11280941056 327984 33554432000 4194304 4196468 140737098664416 140251379881936 140253040183195 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13967] ppid=13902 vsize=11016544 memory=1311936 CPUtime=13.87 cores=0,2,4,6
/proc/13905/task/13967/stat : 13967 (java) S 13902 13905 11630 0 -1 1077944384 82161 13142 0 0 1370 9 5 3 20 0 15 0 221884264 11280941056 327984 33554432000 4194304 4196468 140737098664416 140252143090416 140253040175746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13968] ppid=13902 vsize=11016544 memory=1311904 CPUtime=13.58 cores=0,2,4,6
/proc/13905/task/13968/stat : 13968 (java) S 13902 13905 11630 0 -1 1077944384 83121 13142 0 0 1342 8 5 3 20 0 15 0 221884264 11280941056 327984 33554432000 4194304 4196468 140737098664416 140252142037872 140253040175746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13969] ppid=13902 vsize=11016544 memory=1311936 CPUtime=5.26 cores=0,2,4,6
/proc/13905/task/13969/stat : 13969 (java) S 13902 13905 11630 0 -1 1077944384 90154 13142 0 0 506 12 5 3 20 0 15 0 221884264 11280941056 327984 33554432000 4194304 4196468 140737098664416 140252140984816 140253040175746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 38 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13970] ppid=13902 vsize=11016544 memory=1311936 CPUtime=0.08 cores=0,2,4,6
/proc/13905/task/13970/stat : 13970 (java) S 13902 13905 11630 0 -1 1077944384 3 13142 0 0 0 0 5 3 20 0 15 0 221884264 11280941056 327984 33554432000 4194304 4196468 140737098664416 140250949086048 140253040174805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13971] ppid=13902 vsize=11016544 memory=1311936 CPUtime=1.43 cores=0,2,4,6
/proc/13905/task/13971/stat : 13971 (java) S 13902 13905 11630 0 -1 1077944384 1536 13142 0 0 69 66 5 3 20 0 15 0 221884265 11280941056 327984 33554432000 4194304 4196468 140737098664416 140252139932208 140253040175746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 37 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
Current children cumulated CPU time: 2386.13 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1311936 KiB

[startup+2382.3 s]
/proc/loadavg: 1.14 1.24 1.33 3/215 14176
/proc/meminfo: memFree=2429956/32770624 swapFree=67108860/67108860
[pid=13905] ppid=13902 vsize=11016544 memory=1311996 CPUtime=2446.94 cores=0,2,4,6
/proc/13905/stat : 13905 (java) S 13902 13905 11630 0 -1 1077944320 431073 13142 0 0 244301 385 5 3 20 0 15 0 221884249 11280941056 327999 33554432000 4194304 4196468 140737098664416 140737098646960 140253040164599 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
/proc/13905/statm: 2754136 327999 3537 1 0 2715789 0
[pid=13905/tid=13958] ppid=13902 vsize=11016544 memory=1311996 CPUtime=2360.7 cores=0,2,4,6
/proc/13905/task/13958/stat : 13958 (java) R 13902 13905 11630 0 -1 4202560 95068 13142 0 0 236007 55 5 3 20 0 15 0 221884259 11280941056 327999 33554432000 4194304 4196468 140737098664416 140253011999680 140252600230509 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13959] ppid=13902 vsize=11016544 memory=1311972 CPUtime=11.32 cores=0,2,4,6
/proc/13905/task/13959/stat : 13959 (java) S 13902 13905 11630 0 -1 1077944384 14858 13142 0 0 1061 63 5 3 20 0 15 0 221884259 11280941056 327999 33554432000 4194304 4196468 140737098664416 140253044407312 140253040174805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13960] ppid=13902 vsize=11016544 memory=1311972 CPUtime=11.29 cores=0,2,4,6
/proc/13905/task/13960/stat : 13960 (java) S 13902 13905 11630 0 -1 1077944384 16307 13142 0 0 1061 60 5 3 20 0 15 0 221884259 11280941056 327999 33554432000 4194304 4196468 140737098664416 140252899126416 140253040174805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13961] ppid=13902 vsize=11016544 memory=1311972 CPUtime=11.3 cores=0,2,4,6
/proc/13905/task/13961/stat : 13961 (java) S 13902 13905 11630 0 -1 1077944384 17186 13142 0 0 1062 60 5 3 20 0 15 0 221884259 11280941056 327999 33554432000 4194304 4196468 140737098664416 140252898073360 140253040174805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13962] ppid=13902 vsize=11016544 memory=1311972 CPUtime=11.3 cores=0,2,4,6
/proc/13905/task/13962/stat : 13962 (java) S 13902 13905 11630 0 -1 1077944384 11961 13142 0 0 1061 61 5 3 20 0 15 0 221884259 11280941056 327999 33554432000 4194304 4196468 140737098664416 140252897020816 140253040174805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13963] ppid=13902 vsize=11016544 memory=1311996 CPUtime=7.47 cores=0,2,4,6
/proc/13905/task/13963/stat : 13963 (java) S 13902 13905 11630 0 -1 1077944384 16471 13142 0 0 699 40 5 3 20 0 15 0 221884261 11280941056 327999 33554432000 4194304 4196468 140737098664416 140252144142576 140253040175746 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13964] ppid=13902 vsize=11016544 memory=1311972 CPUtime=0.08 cores=0,2,4,6
/proc/13905/task/13964/stat : 13964 (java) S 13902 13905 11630 0 -1 1077944384 15 13142 0 0 0 0 5 3 20 0 15 0 221884261 11280941056 327999 33554432000 4194304 4196468 140737098664416 140251888608480 140253040174805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13965] ppid=13902 vsize=11016544 memory=1311996 CPUtime=0.08 cores=0,2,4,6
/proc/13905/task/13965/stat : 13965 (java) S 13902 13905 11630 0 -1 1077944384 3 13142 0 0 0 0 5 3 20 0 15 0 221884261 11280941056 327999 33554432000 4194304 4196468 140737098664416 140251687281408 140253040174805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13966] ppid=13902 vsize=11016544 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/13905/task/13966/stat : 13966 (java) S 13902 13905 11630 0 -1 1077944384 3 13142 0 0 0 0 5 3 20 0 15 0 221884264 11280941056 327999 33554432000 4194304 4196468 140737098664416 140251379881936 140253040183195 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13967] ppid=13902 vsize=11016544 memory=1428 CPUtime=13.87 cores=0,2,4,6
/proc/13905/task/13967/stat : 13967 (java) S 13902 13905 11630 0 -1 1077944384 82163 13142 0 0 1370 9 5 3 20 0 15 0 221884264 11280941056 327999 33554432000 4194304 4196468 140737098664416 140252143090416 140253040175746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13968] ppid=13902 vsize=11016544 memory=1311996 CPUtime=13.58 cores=0,2,4,6
/proc/13905/task/13968/stat : 13968 (java) S 13902 13905 11630 0 -1 1077944384 83123 13142 0 0 1342 8 5 3 20 0 15 0 221884264 11280941056 327999 33554432000 4194304 4196468 140737098664416 140252142037872 140253040175746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13969] ppid=13902 vsize=11016544 memory=1311972 CPUtime=5.26 cores=0,2,4,6
/proc/13905/task/13969/stat : 13969 (java) S 13902 13905 11630 0 -1 1077944384 90156 13142 0 0 506 12 5 3 20 0 15 0 221884264 11280941056 327999 33554432000 4194304 4196468 140737098664416 140252140984816 140253040175746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 38 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13970] ppid=13902 vsize=11016544 memory=1311996 CPUtime=0.08 cores=0,2,4,6
/proc/13905/task/13970/stat : 13970 (java) S 13902 13905 11630 0 -1 1077944384 3 13142 0 0 0 0 5 3 20 0 15 0 221884264 11280941056 327999 33554432000 4194304 4196468 140737098664416 140250949086048 140253040174805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13971] ppid=13902 vsize=11016544 memory=1311996 CPUtime=1.46 cores=0,2,4,6
/proc/13905/task/13971/stat : 13971 (java) S 13902 13905 11630 0 -1 1077944384 1564 13142 0 0 71 67 5 3 20 0 15 0 221884265 11280941056 327999 33554432000 4194304 4196468 140737098664416 140252139932208 140253040175746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 37 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
Current children cumulated CPU time: 2446.94 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1311996 KiB

[startup+2442.3 s]
/proc/loadavg: 1.17 1.22 1.32 3/215 14177
/proc/meminfo: memFree=2429824/32770624 swapFree=67108860/67108860
[pid=13905] ppid=13902 vsize=11016544 memory=1312028 CPUtime=2507.76 cores=0,2,4,6
/proc/13905/stat : 13905 (java) S 13902 13905 11630 0 -1 1077944320 432174 13142 0 0 250378 390 5 3 20 0 15 0 221884249 11280941056 328007 33554432000 4194304 4196468 140737098664416 140737098646960 140253040164599 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
/proc/13905/statm: 2754136 328007 3537 1 0 2715789 0
[pid=13905/tid=13958] ppid=13902 vsize=11016544 memory=1311972 CPUtime=2420.16 cores=0,2,4,6
/proc/13905/task/13958/stat : 13958 (java) R 13902 13905 11630 0 -1 4202560 95648 13142 0 0 241952 56 5 3 20 0 15 0 221884259 11280941056 328007 33554432000 4194304 4196468 140737098664416 140253011999712 140252593592320 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13959] ppid=13902 vsize=11016544 memory=1311996 CPUtime=11.6 cores=0,2,4,6
/proc/13905/task/13959/stat : 13959 (java) S 13902 13905 11630 0 -1 1077944384 14896 13142 0 0 1088 64 5 3 20 0 15 0 221884259 11280941056 328007 33554432000 4194304 4196468 140737098664416 140253044407312 140253040174805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13960] ppid=13902 vsize=11016544 memory=5408 CPUtime=11.57 cores=0,2,4,6
/proc/13905/task/13960/stat : 13960 (java) S 13902 13905 11630 0 -1 1077944384 16403 13142 0 0 1088 61 5 3 20 0 15 0 221884259 11280941056 328007 33554432000 4194304 4196468 140737098664416 140252899126416 140253040174805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13961] ppid=13902 vsize=11016544 memory=1312028 CPUtime=11.58 cores=0,2,4,6
/proc/13905/task/13961/stat : 13961 (java) S 13902 13905 11630 0 -1 1077944384 17268 13142 0 0 1090 60 5 3 20 0 15 0 221884259 11280941056 328007 33554432000 4194304 4196468 140737098664416 140252898073360 140253040174805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13962] ppid=13902 vsize=11016544 memory=1312028 CPUtime=11.58 cores=0,2,4,6
/proc/13905/task/13962/stat : 13962 (java) S 13902 13905 11630 0 -1 1077944384 12029 13142 0 0 1088 62 5 3 20 0 15 0 221884259 11280941056 328007 33554432000 4194304 4196468 140737098664416 140252897020816 140253040174805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13963] ppid=13902 vsize=11016544 memory=1312028 CPUtime=7.67 cores=0,2,4,6
/proc/13905/task/13963/stat : 13963 (java) S 13902 13905 11630 0 -1 1077944384 16685 13142 0 0 718 41 5 3 20 0 15 0 221884261 11280941056 328007 33554432000 4194304 4196468 140737098664416 140252144142576 140253040175746 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13964] ppid=13902 vsize=11016544 memory=1312028 CPUtime=0.08 cores=0,2,4,6
/proc/13905/task/13964/stat : 13964 (java) S 13902 13905 11630 0 -1 1077944384 15 13142 0 0 0 0 5 3 20 0 15 0 221884261 11280941056 328007 33554432000 4194304 4196468 140737098664416 140251888608480 140253040174805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13965] ppid=13902 vsize=11016544 memory=1312028 CPUtime=0.08 cores=0,2,4,6
/proc/13905/task/13965/stat : 13965 (java) S 13902 13905 11630 0 -1 1077944384 3 13142 0 0 0 0 5 3 20 0 15 0 221884261 11280941056 328007 33554432000 4194304 4196468 140737098664416 140251687281408 140253040174805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13966] ppid=13902 vsize=11016544 memory=1312028 CPUtime=0.08 cores=0,2,4,6
/proc/13905/task/13966/stat : 13966 (java) S 13902 13905 11630 0 -1 1077944384 3 13142 0 0 0 0 5 3 20 0 15 0 221884264 11280941056 328007 33554432000 4194304 4196468 140737098664416 140251379881936 140253040183195 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13967] ppid=13902 vsize=11016544 memory=1312028 CPUtime=13.87 cores=0,2,4,6
/proc/13905/task/13967/stat : 13967 (java) S 13902 13905 11630 0 -1 1077944384 82165 13142 0 0 1370 9 5 3 20 0 15 0 221884264 11280941056 328007 33554432000 4194304 4196468 140737098664416 140252143090416 140253040175746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13968] ppid=13902 vsize=11016544 memory=1311996 CPUtime=13.58 cores=0,2,4,6
/proc/13905/task/13968/stat : 13968 (java) S 13902 13905 11630 0 -1 1077944384 83125 13142 0 0 1342 8 5 3 20 0 15 0 221884264 11280941056 328007 33554432000 4194304 4196468 140737098664416 140252142037872 140253040175746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13969] ppid=13902 vsize=11016544 memory=1312028 CPUtime=5.26 cores=0,2,4,6
/proc/13905/task/13969/stat : 13969 (java) S 13902 13905 11630 0 -1 1077944384 90158 13142 0 0 506 12 5 3 20 0 15 0 221884264 11280941056 328007 33554432000 4194304 4196468 140737098664416 140252140984816 140253040175746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 38 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13970] ppid=13902 vsize=11016544 memory=1312028 CPUtime=0.08 cores=0,2,4,6
/proc/13905/task/13970/stat : 13970 (java) S 13902 13905 11630 0 -1 1077944384 3 13142 0 0 0 0 5 3 20 0 15 0 221884264 11280941056 328007 33554432000 4194304 4196468 140737098664416 140250949086048 140253040174805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13971] ppid=13902 vsize=11016544 memory=1312028 CPUtime=1.49 cores=0,2,4,6
/proc/13905/task/13971/stat : 13971 (java) S 13902 13905 11630 0 -1 1077944384 1581 13142 0 0 73 68 5 3 20 0 15 0 221884265 11280941056 328007 33554432000 4194304 4196468 140737098664416 140252139932208 140253040175746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 37 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
Current children cumulated CPU time: 2507.76 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1312028 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2454.4 s]
/proc/loadavg: 1.07 1.20 1.31 3/215 14177
/proc/meminfo: memFree=2429948/32770624 swapFree=67108860/67108860
[pid=13905] ppid=13902 vsize=11016544 memory=1312028 CPUtime=2520.02 cores=0,2,4,6
/proc/13905/stat : 13905 (java) S 13902 13905 11630 0 -1 1077944320 432271 13142 0 0 251603 391 5 3 20 0 15 0 221884249 11280941056 328007 33554432000 4194304 4196468 140737098664416 140737098646960 140253040164599 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
/proc/13905/statm: 2754136 328007 3537 1 0 2715789 0
[pid=13905/tid=13958] ppid=13902 vsize=11016544 memory=2100 CPUtime=2432.15 cores=0,2,4,6
/proc/13905/task/13958/stat : 13958 (java) R 13902 13905 11630 0 -1 4202560 95734 13142 0 0 243151 56 5 3 20 0 15 0 221884259 11280941056 328007 33554432000 4194304 4196468 140737098664416 140253011998816 140252594583180 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13959] ppid=13902 vsize=11016544 memory=1312028 CPUtime=11.66 cores=0,2,4,6
/proc/13905/task/13959/stat : 13959 (java) S 13902 13905 11630 0 -1 1077944384 14897 13142 0 0 1094 64 5 3 20 0 15 0 221884259 11280941056 328007 33554432000 4194304 4196468 140737098664416 140253044407312 140253040174805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13960] ppid=13902 vsize=11016544 memory=840 CPUtime=11.64 cores=0,2,4,6
/proc/13905/task/13960/stat : 13960 (java) S 13902 13905 11630 0 -1 1077944384 16404 13142 0 0 1094 62 5 3 20 0 15 0 221884259 11280941056 328007 33554432000 4194304 4196468 140737098664416 140252899126416 140253040174805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13961] ppid=13902 vsize=11016544 memory=1696 CPUtime=11.63 cores=0,2,4,6
/proc/13905/task/13961/stat : 13961 (java) S 13902 13905 11630 0 -1 1077944384 17269 13142 0 0 1095 60 5 3 20 0 15 0 221884259 11280941056 328007 33554432000 4194304 4196468 140737098664416 140252898073360 140253040174805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13962] ppid=13902 vsize=11016544 memory=4128 CPUtime=11.63 cores=0,2,4,6
/proc/13905/task/13962/stat : 13962 (java) S 13902 13905 11630 0 -1 1077944384 12029 13142 0 0 1093 62 5 3 20 0 15 0 221884259 11280941056 328007 33554432000 4194304 4196468 140737098664416 140252897020816 140253040174805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13963] ppid=13902 vsize=11016544 memory=60312 CPUtime=7.7 cores=0,2,4,6
/proc/13905/task/13963/stat : 13963 (java) S 13902 13905 11630 0 -1 1077944384 16693 13142 0 0 721 41 5 3 20 0 15 0 221884261 11280941056 328007 33554432000 4194304 4196468 140737098664416 140252144142576 140253040175746 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13964] ppid=13902 vsize=11016544 memory=1312028 CPUtime=0.08 cores=0,2,4,6
/proc/13905/task/13964/stat : 13964 (java) S 13902 13905 11630 0 -1 1077944384 15 13142 0 0 0 0 5 3 20 0 15 0 221884261 11280941056 328007 33554432000 4194304 4196468 140737098664416 140251888608480 140253040174805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13965] ppid=13902 vsize=11016544 memory=1788 CPUtime=0.08 cores=0,2,4,6
/proc/13905/task/13965/stat : 13965 (java) S 13902 13905 11630 0 -1 1077944384 3 13142 0 0 0 0 5 3 20 0 15 0 221884261 11280941056 328007 33554432000 4194304 4196468 140737098664416 140251687281408 140253040174805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13966] ppid=13902 vsize=11016544 memory=1704 CPUtime=0.08 cores=0,2,4,6
/proc/13905/task/13966/stat : 13966 (java) S 13902 13905 11630 0 -1 1077944384 3 13142 0 0 0 0 5 3 20 0 15 0 221884264 11280941056 328007 33554432000 4194304 4196468 140737098664416 140251379881936 140253040183195 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13967] ppid=13902 vsize=11016544 memory=796 CPUtime=13.87 cores=0,2,4,6
/proc/13905/task/13967/stat : 13967 (java) S 13902 13905 11630 0 -1 1077944384 82165 13142 0 0 1370 9 5 3 20 0 15 0 221884264 11280941056 328007 33554432000 4194304 4196468 140737098664416 140252143090416 140253040175746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13968] ppid=13902 vsize=11016544 memory=5408 CPUtime=13.58 cores=0,2,4,6
/proc/13905/task/13968/stat : 13968 (java) S 13902 13905 11630 0 -1 1077944384 83125 13142 0 0 1342 8 5 3 20 0 15 0 221884264 11280941056 328007 33554432000 4194304 4196468 140737098664416 140252142037872 140253040175746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13969] ppid=13902 vsize=11016544 memory=876 CPUtime=5.26 cores=0,2,4,6
/proc/13905/task/13969/stat : 13969 (java) S 13902 13905 11630 0 -1 1077944384 90158 13142 0 0 506 12 5 3 20 0 15 0 221884264 11280941056 328007 33554432000 4194304 4196468 140737098664416 140252140984816 140253040175746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 38 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13970] ppid=13902 vsize=11016544 memory=10096 CPUtime=0.08 cores=0,2,4,6
/proc/13905/task/13970/stat : 13970 (java) S 13902 13905 11630 0 -1 1077944384 3 13142 0 0 0 0 5 3 20 0 15 0 221884264 11280941056 328007 33554432000 4194304 4196468 140737098664416 140250949086048 140253040174805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
[pid=13905/tid=13971] ppid=13902 vsize=11016544 memory=6791534058613427641 CPUtime=1.5 cores=0,2,4,6
/proc/13905/task/13971/stat : 13971 (java) S 13902 13905 11630 0 -1 1077944384 1581 13142 0 0 73 69 5 3 20 0 15 0 221884265 11280941056 328007 33554432000 4194304 4196468 140737098664416 140252139932208 140253040175746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 37 0 0 6293624 6294260 11890688 140737098668645 140737098671452 140737098671452 140737098674127 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1312028 KiB

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

[startup+2454.43 s]
# the end of solver process 13905 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.1 s, system=3.962 s

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

Child status: 143
Real time (s): 2454.43
CPU time (s): 2520.06
CPU user time (s): 2516.1
CPU system time (s): 3.962
CPU usage (%): 102.674
Max. virtual memory (cumulated for all children) (KiB): 11017204
Max. memory (cumulated for all children) (KiB): 2015516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.1
system time used= 3.962
maximum resident set size= 2018088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 447148
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 218937
involuntary context switches= 7671


# summary of solver processes directly reported to runsolver:
#   pid: 13905
#   total CPU time (s): 2520.06
#   total CPU user time (s): 2516.1
#   total CPU system time (s): 3.962

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 20.0058 second user time and 17.2474 second system time

The end

Launcher Data 

Begin job on node139 at 2018-08-12 05:06:51
IDJOB=4304164
IDBENCH=141045
IDSOLVER=2781
FILE ID=node139/4304164-1534043211
RUNJOBID= node139-1534040758-13580
PBS_JOBID= 21036956
Free space on /tmp= 28196 MiB

SOLVER NAME= Concrete 3.9.2-SuperNG
BENCH NAME= XCSP18/NurseRostering/NurseRostering-14_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4304164-1534043211/watcher-4304164-1534043211 -o /tmp/evaluation-result-4304164-1534043211/solver-4304164-1534043211 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534040758-13580 --watchdog 2580  bin/xcsp-3-concrete -J-Xss64M -randomseed=95866682 -superng HOME/instance-4304164-1534043211.xml

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

MD5SUM BENCH= 22d4927d0bd5c0ea6a9359fe3e752ee5
RANDOM SEED=95866682

node139.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.80
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.80
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.80
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.80
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:         3743660 kB
MemAvailable:   30577136 kB
Buffers:          213072 kB
Cached:         26434296 kB
SwapCached:            0 kB
Active:          9414908 kB
Inactive:       18609436 kB
Active(anon):    1288384 kB
Inactive(anon):   141224 kB
Active(file):    8126524 kB
Inactive(file): 18468212 kB
Unevictable:        7296 kB
Mlocked:            7296 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             26740 kB
Writeback:             0 kB
AnonPages:       1402436 kB
Mapped:            74408 kB
Shmem:             49804 kB
Slab:             695120 kB
SReclaimable:     667200 kB
SUnreclaim:        27920 kB
KernelStack:        3792 kB
PageTables:         8280 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2420904 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1290240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 28168 MiB
End job on node139 at 2018-08-12 05:47:45