Trace number 4292993

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

NameNurseRostering/
NurseRostering-17_c18.xml
MD5SUMe10494f4d2f2bb4c080233ff8f9dca75
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables3248
Number of constraints8691
Number of domains15
Minimum domain size1
Maximum domain size57
Distribution of domain sizes[{"size":1,"count":80},{"size":2,"count":736},{"size":5,"count":1792},{"size":11,"count":24},{"size":33,"count":504},{"size":57,"count":112}]
Minimum variable degree2
Maximum variable degree25
Distribution of variable degrees[{"degree":2,"count":1200},{"degree":3,"count":256},{"degree":15,"count":24},{"degree":16,"count":37},{"degree":17,"count":3},{"degree":18,"count":22},{"degree":19,"count":34},{"degree":20,"count":44},{"degree":21,"count":67},{"degree":22,"count":108},{"degree":23,"count":674},{"degree":24,"count":625},{"degree":25,"count":154}]
Minimum constraint arity2
Maximum constraint arity160
Distribution of constraint arities[{"arity":2,"count":3096},{"arity":3,"count":3456},{"arity":5,"count":136},{"arity":6,"count":1530},{"arity":8,"count":32},{"arity":33,"count":280},{"arity":57,"count":160},{"arity":160,"count":1}]
Number of extensional constraints2040
Number of intensional constraints1056
Distribution of constraint types[{"type":"extension","count":2040},{"type":"intension","count":1056},{"type":"regular","count":3456},{"type":"sum","count":64},{"type":"count","count":2074},{"type":"instantiation","count":1}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

1.00/0.75	c Concrete v3.8.1528841891564 running
19.13/7.19	c 01:54:15.430 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24677. 'extension(4, x[2][1]=[0‥4]) :: init: true :: relation: MDD 2103044456, 9 edges, 5 vertices, 6 tuples
19.13/7.19	c 01:54:15.438 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24680. 'extension(4, 4) :: init: true :: relation: MDD 2103044456, 9 edges, 5 vertices, 6 tuples
19.13/7.19	c 01:54:15.438 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24681. 'extension(4, 4) :: init: true :: relation: MDD 962931248, 5 edges, 3 vertices, 4 tuples
19.13/7.19	c 01:54:15.439 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24706. 'extension(x[0][27]=[0‥4], 4) :: init: true :: relation: MDD 1499437334, 9 edges, 5 vertices, 6 tuples
19.13/7.19	c 01:54:15.440 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24735. 'extension(x[1][14]=[0‥4], 4) :: init: true :: relation: MDD 700171153, 9 edges, 5 vertices, 6 tuples
19.13/7.19	c 01:54:15.442 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24766. 'extension(x[1][16]=[0‥4], 4) :: init: true :: relation: MDD 394645908, 9 edges, 5 vertices, 6 tuples
19.41/7.20	c 01:54:15.442 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24767. 'extension(4, x[3][16]=[0‥4]) :: init: true :: relation: MDD 394645908, 9 edges, 5 vertices, 6 tuples
19.41/7.20	c 01:54:15.444 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24800. 'extension(4, 4) :: init: true :: relation: MDD 1499437334, 9 edges, 5 vertices, 6 tuples
19.41/7.20	c 01:54:15.446 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24828. 'extension(x[2][10]=[0‥4], 4) :: init: true :: relation: MDD 1560244891, 9 edges, 5 vertices, 6 tuples
19.41/7.20	c 01:54:15.447 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24863. 'extension(4, 4) :: init: true :: relation: MDD 700171153, 9 edges, 5 vertices, 6 tuples
19.41/7.20	c 01:54:15.448 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24892. 'extension(4, x[4][27]=[0‥4]) :: init: true :: relation: MDD 1499437334, 9 edges, 5 vertices, 6 tuples
19.41/7.21	c 01:54:15.449 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24895. 'extension(4, 4) :: init: true :: relation: MDD 1499437334, 9 edges, 5 vertices, 6 tuples
19.41/7.21	c 01:54:15.451 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24924. 'extension(4, x[5][10]=[0‥4]) :: init: true :: relation: MDD 1560244891, 9 edges, 5 vertices, 6 tuples
19.41/7.21	c 01:54:15.451 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24927. 'extension(4, 4) :: init: true :: relation: MDD 1560244891, 9 edges, 5 vertices, 6 tuples
19.41/7.21	c 01:54:15.453 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24957. 'extension(x[3][13]=[0‥4], 4) :: init: true :: relation: MDD 1041552272, 9 edges, 5 vertices, 6 tuples
19.41/7.21	c 01:54:15.454 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 24993. 'extension(4, 4) :: init: true :: relation: MDD 700171153, 9 edges, 5 vertices, 6 tuples
19.41/7.21	c 01:54:15.455 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25023. 'extension(x[3][25]=[0‥4], 4) :: init: true :: relation: MDD 154923232, 9 edges, 5 vertices, 6 tuples
19.41/7.21	c 01:54:15.455 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25024. 'extension(4, x[5][25]=[0‥4]) :: init: true :: relation: MDD 154923232, 9 edges, 5 vertices, 6 tuples
19.41/7.21	c 01:54:15.457 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25056. 'extension(x[3][30]=[0‥4], 4) :: init: true :: relation: MDD 1343407473, 9 edges, 5 vertices, 6 tuples
19.41/7.21	c 01:54:15.459 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25089. 'extension(4, wk[7][0]=[0‥1]) :: init: true :: relation: MDD 1734902032, 5 edges, 3 vertices, 4 tuples
19.41/7.21	c 01:54:15.459 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25090. 'extension(x[4][7]=[0‥4], 4) :: init: true :: relation: MDD 322100932, 9 edges, 5 vertices, 6 tuples
19.41/7.21	c 01:54:15.460 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25124. 'extension(4, wk[13][0]=[0‥1]) :: init: true :: relation: MDD 214560653, 5 edges, 3 vertices, 4 tuples
19.41/7.21	c 01:54:15.461 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25128. 'extension(4, 4) :: init: true :: relation: MDD 1041552272, 9 edges, 5 vertices, 6 tuples
19.41/7.21	c 01:54:15.462 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25159. 'extension(4, wk[14][0]=[0‥1]) :: init: true :: relation: MDD 1042863993, 5 edges, 3 vertices, 4 tuples
19.41/7.22	c 01:54:15.462 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25163. 'extension(4, 4) :: init: true :: relation: MDD 700171153, 9 edges, 5 vertices, 6 tuples
19.41/7.22	c 01:54:15.462 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25194. 'extension(4, wk[20][0]=[0‥1]) :: init: true :: relation: MDD 1337347604, 5 edges, 3 vertices, 4 tuples
19.41/7.22	c 01:54:15.463 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25195. 'extension(x[4][20]=[0‥4], 4) :: init: true :: relation: MDD 121521031, 9 edges, 5 vertices, 6 tuples
19.41/7.22	c 01:54:15.464 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25229. 'extension(4, wk[21][0]=[0‥1]) :: init: true :: relation: MDD 1855589354, 5 edges, 3 vertices, 4 tuples
19.41/7.22	c 01:54:15.464 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25230. 'extension(x[4][21]=[0‥4], 4) :: init: true :: relation: MDD 1747862060, 9 edges, 5 vertices, 6 tuples
19.41/7.22	c 01:54:15.465 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25231. 'extension(4, x[6][21]=[0‥4]) :: init: true :: relation: MDD 1747862060, 9 edges, 5 vertices, 6 tuples
19.41/7.22	c 01:54:15.467 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25264. 'extension(4, wk[30][0]=[0‥1]) :: init: true :: relation: MDD 1018094504, 5 edges, 3 vertices, 4 tuples
19.41/7.22	c 01:54:15.467 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25268. 'extension(4, 4) :: init: true :: relation: MDD 1343407473, 9 edges, 5 vertices, 6 tuples
19.41/7.22	c 01:54:15.468 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25298. 'extension(4, wk[5][0]=[0‥1]) :: init: true :: relation: MDD 311765759, 5 edges, 3 vertices, 4 tuples
19.41/7.22	c 01:54:15.469 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25299. 'extension(x[5][5]=[0‥4], 4) :: init: true :: relation: MDD 1820545559, 9 edges, 5 vertices, 6 tuples
19.41/7.22	c 01:54:15.470 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25333. 'extension(4, wk[7][0]=[0‥1]) :: init: true :: relation: MDD 1197430386, 5 edges, 3 vertices, 4 tuples
19.41/7.22	c 01:54:15.470 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25337. 'extension(4, 4) :: init: true :: relation: MDD 322100932, 9 edges, 5 vertices, 6 tuples
19.41/7.22	c 01:54:15.471 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25368. 'extension(4, wk[13][0]=[0‥1]) :: init: true :: relation: MDD 205595990, 5 edges, 3 vertices, 4 tuples
19.41/7.22	c 01:54:15.471 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25372. 'extension(4, 4) :: init: true :: relation: MDD 1041552272, 9 edges, 5 vertices, 6 tuples
19.41/7.22	c 01:54:15.472 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25403. 'extension(4, wk[14][0]=[0‥1]) :: init: true :: relation: MDD 126147004, 5 edges, 3 vertices, 4 tuples
19.41/7.23	c 01:54:15.472 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25404. 'extension(4, x[7][14]=[0‥4]) :: init: true :: relation: MDD 700171153, 9 edges, 5 vertices, 6 tuples
19.41/7.23	c 01:54:15.473 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25407. 'extension(4, 4) :: init: true :: relation: MDD 700171153, 9 edges, 5 vertices, 6 tuples
19.41/7.23	c 01:54:15.474 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25438. 'extension(4, wk[16][0]=[0‥1]) :: init: true :: relation: MDD 1442883034, 5 edges, 3 vertices, 4 tuples
19.41/7.23	c 01:54:15.475 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25439. 'extension(x[5][16]=[0‥4], 4) :: init: true :: relation: MDD 394645908, 9 edges, 5 vertices, 6 tuples
19.41/7.23	c 01:54:15.476 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25473. 'extension(4, wk[20][0]=[0‥1]) :: init: true :: relation: MDD 170611939, 5 edges, 3 vertices, 4 tuples
19.41/7.23	c 01:54:15.476 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25477. 'extension(4, 4) :: init: true :: relation: MDD 121521031, 9 edges, 5 vertices, 6 tuples
19.41/7.23	c 01:54:15.477 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25508. 'extension(4, wk[22][0]=[0‥1]) :: init: true :: relation: MDD 149526537, 5 edges, 3 vertices, 4 tuples
19.41/7.23	c 01:54:15.477 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25509. 'extension(x[5][22]=[0‥4], 4) :: init: true :: relation: MDD 1751972013, 9 edges, 5 vertices, 6 tuples
19.41/7.23	c 01:54:15.478 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25543. 'extension(4, wk[30][0]=[0‥1]) :: init: true :: relation: MDD 38914319, 5 edges, 3 vertices, 4 tuples
19.41/7.23	c 01:54:15.479 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25547. 'extension(4, 4) :: init: true :: relation: MDD 1343407473, 9 edges, 5 vertices, 6 tuples
19.41/7.23	c 01:54:15.480 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25580. 'extension(4, 4) :: init: true :: relation: MDD 1820545559, 9 edges, 5 vertices, 6 tuples
19.41/7.23	c 01:54:15.481 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25611. 'extension(4, x[8][7]=[0‥4]) :: init: true :: relation: MDD 322100932, 9 edges, 5 vertices, 6 tuples
19.41/7.23	c 01:54:15.481 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25614. 'extension(4, 4) :: init: true :: relation: MDD 322100932, 9 edges, 5 vertices, 6 tuples
19.41/7.24	c 01:54:15.482 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25645. 'extension(4, x[8][13]=[0‥4]) :: init: true :: relation: MDD 1041552272, 9 edges, 5 vertices, 6 tuples
19.41/7.24	c 01:54:15.483 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25648. 'extension(4, 4) :: init: true :: relation: MDD 1041552272, 9 edges, 5 vertices, 6 tuples
19.41/7.24	c 01:54:15.484 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25679. 'extension(4, x[8][16]=[0‥4]) :: init: true :: relation: MDD 394645908, 9 edges, 5 vertices, 6 tuples
19.41/7.24	c 01:54:15.485 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25682. 'extension(4, 4) :: init: true :: relation: MDD 394645908, 9 edges, 5 vertices, 6 tuples
19.41/7.24	c 01:54:15.486 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25713. 'extension(4, x[8][20]=[0‥4]) :: init: true :: relation: MDD 121521031, 9 edges, 5 vertices, 6 tuples
19.41/7.24	c 01:54:15.487 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25716. 'extension(4, 4) :: init: true :: relation: MDD 121521031, 9 edges, 5 vertices, 6 tuples
19.41/7.24	c 01:54:15.488 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25750. 'extension(4, 4) :: init: true :: relation: MDD 1751972013, 9 edges, 5 vertices, 6 tuples
19.41/7.24	c 01:54:15.489 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25781. 'extension(4, x[8][30]=[0‥4]) :: init: true :: relation: MDD 1343407473, 9 edges, 5 vertices, 6 tuples
19.41/7.24	c 01:54:15.489 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25784. 'extension(4, 4) :: init: true :: relation: MDD 1343407473, 9 edges, 5 vertices, 6 tuples
19.41/7.25	c 01:54:15.491 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25814. 'extension(4, x[9][5]=[0‥4]) :: init: true :: relation: MDD 1820545559, 9 edges, 5 vertices, 6 tuples
19.41/7.25	c 01:54:15.491 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25817. 'extension(4, 4) :: init: true :: relation: MDD 1820545559, 9 edges, 5 vertices, 6 tuples
19.41/7.25	c 01:54:15.492 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25848. 'extension(x[7][19]=[0‥4], 4) :: init: true :: relation: MDD 1746061516, 9 edges, 5 vertices, 6 tuples
19.41/7.25	c 01:54:15.493 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25885. 'extension(4, 4) :: init: true :: relation: MDD 1751972013, 9 edges, 5 vertices, 6 tuples
19.41/7.25	c 01:54:15.494 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25919. 'extension(4, 4) :: init: true :: relation: MDD 1746061516, 9 edges, 5 vertices, 6 tuples
19.41/7.25	c 01:54:15.494 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25953. 'extension(4, 4) :: init: true :: relation: MDD 1751972013, 9 edges, 5 vertices, 6 tuples
19.41/7.25	c 01:54:15.495 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 25984. 'extension(x[8][23]=[0‥4], 4) :: init: true :: relation: MDD 1416549024, 9 edges, 5 vertices, 6 tuples
19.41/7.25	c 01:54:15.496 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26021. 'extension(4, 4) :: init: true :: relation: MDD 1746061516, 9 edges, 5 vertices, 6 tuples
19.41/7.25	c 01:54:15.497 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26052. 'extension(4, x[11][22]=[0‥4]) :: init: true :: relation: MDD 1751972013, 9 edges, 5 vertices, 6 tuples
19.41/7.25	c 01:54:15.497 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26055. 'extension(4, 4) :: init: true :: relation: MDD 1751972013, 9 edges, 5 vertices, 6 tuples
19.41/7.25	c 01:54:15.498 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26089. 'extension(4, 4) :: init: true :: relation: MDD 1416549024, 9 edges, 5 vertices, 6 tuples
19.41/7.25	c 01:54:15.499 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26120. 'extension(x[9][26]=[0‥4], 4) :: init: true :: relation: MDD 1038892935, 9 edges, 5 vertices, 6 tuples
19.41/7.25	c 01:54:15.500 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26121. 'extension(4, x[11][26]=[0‥4]) :: init: true :: relation: MDD 1038892935, 9 edges, 5 vertices, 6 tuples
19.41/7.25	c 01:54:15.501 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26154. 'extension(4, x[12][19]=[0‥4]) :: init: true :: relation: MDD 1746061516, 9 edges, 5 vertices, 6 tuples
19.41/7.26	c 01:54:15.502 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26157. 'extension(4, 4) :: init: true :: relation: MDD 1746061516, 9 edges, 5 vertices, 6 tuples
19.41/7.26	c 01:54:15.503 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26191. 'extension(4, 4) :: init: true :: relation: MDD 1416549024, 9 edges, 5 vertices, 6 tuples
19.41/7.26	c 01:54:15.504 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26222. 'extension(4, wk[13][1]=[0‥1]) :: init: true :: relation: MDD 1158611509, 5 edges, 3 vertices, 4 tuples
19.41/7.26	c 01:54:15.504 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26223. 'extension(x[11][13]=[0‥4], 4) :: init: true :: relation: MDD 1041552272, 9 edges, 5 vertices, 6 tuples
19.41/7.26	c 01:54:15.504 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26224. 'extension(4, x[13][13]=[0‥4]) :: init: true :: relation: MDD 1041552272, 9 edges, 5 vertices, 6 tuples
19.41/7.26	c 01:54:15.506 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26257. 'extension(4, wk[23][1]=[0‥1]) :: init: true :: relation: MDD 1731365835, 5 edges, 3 vertices, 4 tuples
19.41/7.26	c 01:54:15.507 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26261. 'extension(4, 4) :: init: true :: relation: MDD 1416549024, 9 edges, 5 vertices, 6 tuples
19.41/7.26	c 01:54:15.507 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26292. 'extension(4, wk[2][1]=[0‥1]) :: init: true :: relation: MDD 1582358318, 5 edges, 3 vertices, 4 tuples
19.41/7.26	c 01:54:15.508 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26293. 'extension(x[12][2]=[0‥4], 4) :: init: true :: relation: MDD 556773329, 9 edges, 5 vertices, 6 tuples
19.41/7.26	c 01:54:15.509 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26327. 'extension(4, wk[23][1]=[0‥1]) :: init: true :: relation: MDD 605472344, 5 edges, 3 vertices, 4 tuples
19.41/7.26	c 01:54:15.509 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26328. 'extension(4, x[14][23]=[0‥4]) :: init: true :: relation: MDD 1416549024, 9 edges, 5 vertices, 6 tuples
19.41/7.26	c 01:54:15.509 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26331. 'extension(4, 4) :: init: true :: relation: MDD 1416549024, 9 edges, 5 vertices, 6 tuples
19.41/7.27	c 01:54:15.511 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26362. 'extension(4, x[15][2]=[0‥4]) :: init: true :: relation: MDD 556773329, 9 edges, 5 vertices, 6 tuples
19.41/7.27	c 01:54:15.512 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26365. 'extension(4, 4) :: init: true :: relation: MDD 556773329, 9 edges, 5 vertices, 6 tuples
19.41/7.27	c 01:54:15.513 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26396. 'extension(x[13][6]=[0‥4], 4) :: init: true :: relation: MDD 431300939, 9 edges, 5 vertices, 6 tuples
19.41/7.27	c 01:54:15.514 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26433. 'extension(4, 4) :: init: true :: relation: MDD 431300939, 9 edges, 5 vertices, 6 tuples
19.41/7.27	c 01:54:15.514 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26464. 'extension(x[14][7]=[0‥4], 4) :: init: true :: relation: MDD 322100932, 9 edges, 5 vertices, 6 tuples
19.41/7.27	c 01:54:15.515 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26465. 'extension(4, x[16][7]=[0‥4]) :: init: true :: relation: MDD 322100932, 9 edges, 5 vertices, 6 tuples
19.41/7.27	c 01:54:15.516 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26498. 'extension(x[14][10]=[0‥4], 4) :: init: true :: relation: MDD 1560244891, 9 edges, 5 vertices, 6 tuples
19.41/7.27	c 01:54:15.517 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26499. 'extension(4, x[16][10]=[0‥4]) :: init: true :: relation: MDD 1560244891, 9 edges, 5 vertices, 6 tuples
19.41/7.27	c 01:54:15.519 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26532. 'extension(4, x[17][6]=[0‥4]) :: init: true :: relation: MDD 431300939, 9 edges, 5 vertices, 6 tuples
19.41/7.27	c 01:54:15.519 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26535. 'extension(4, 4) :: init: true :: relation: MDD 431300939, 9 edges, 5 vertices, 6 tuples
19.41/7.27	c 01:54:15.521 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26566. 'extension(x[17][9]=[0‥4], 4) :: init: true :: relation: MDD 683211146, 9 edges, 5 vertices, 6 tuples
19.41/7.27	c 01:54:15.522 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26600. 'extension(4, wk[4][2]=[0‥1]) :: init: true :: relation: MDD 2096511898, 5 edges, 3 vertices, 4 tuples
19.41/7.27	c 01:54:15.522 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26601. 'extension(x[18][4]=[0‥4], 4) :: init: true :: relation: MDD 725873428, 9 edges, 5 vertices, 6 tuples
19.41/7.28	c 01:54:15.523 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26635. 'extension(4, wk[8][2]=[0‥1]) :: init: true :: relation: MDD 1152991394, 5 edges, 3 vertices, 4 tuples
19.41/7.28	c 01:54:15.523 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26636. 'extension(x[18][8]=[0‥4], 4) :: init: true :: relation: MDD 651828130, 9 edges, 5 vertices, 6 tuples
19.41/7.28	c 01:54:15.524 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26670. 'extension(4, wk[9][2]=[0‥1]) :: init: true :: relation: MDD 1073862849, 5 edges, 3 vertices, 4 tuples
19.41/7.28	c 01:54:15.524 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26674. 'extension(4, 4) :: init: true :: relation: MDD 683211146, 9 edges, 5 vertices, 6 tuples
19.41/7.28	c 01:54:15.525 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26705. 'extension(4, wk[4][2]=[0‥1]) :: init: true :: relation: MDD 643434827, 5 edges, 3 vertices, 4 tuples
19.41/7.28	c 01:54:15.525 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26706. 'extension(4, x[21][4]=[0‥4]) :: init: true :: relation: MDD 725873428, 9 edges, 5 vertices, 6 tuples
19.41/7.28	c 01:54:15.526 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26709. 'extension(4, 4) :: init: true :: relation: MDD 725873428, 9 edges, 5 vertices, 6 tuples
19.41/7.28	c 01:54:15.527 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26740. 'extension(4, wk[8][2]=[0‥1]) :: init: true :: relation: MDD 1878871053, 5 edges, 3 vertices, 4 tuples
19.41/7.28	c 01:54:15.527 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26744. 'extension(4, 4) :: init: true :: relation: MDD 651828130, 9 edges, 5 vertices, 6 tuples
19.41/7.28	c 01:54:15.527 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26775. 'extension(4, wk[9][2]=[0‥1]) :: init: true :: relation: MDD 1938374337, 5 edges, 3 vertices, 4 tuples
19.41/7.28	c 01:54:15.528 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26779. 'extension(4, 4) :: init: true :: relation: MDD 683211146, 9 edges, 5 vertices, 6 tuples
19.41/7.28	c 01:54:15.528 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26810. 'extension(4, wk[12][2]=[0‥1]) :: init: true :: relation: MDD 2009900903, 5 edges, 3 vertices, 4 tuples
19.41/7.28	c 01:54:15.528 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26811. 'extension(x[19][12]=[0‥4], 4) :: init: true :: relation: MDD 918584437, 9 edges, 5 vertices, 6 tuples
19.41/7.28	c 01:54:15.529 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26845. 'extension(4, wk[19][2]=[0‥1]) :: init: true :: relation: MDD 569235601, 5 edges, 3 vertices, 4 tuples
19.41/7.28	c 01:54:15.529 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26846. 'extension(x[19][19]=[0‥4], 4) :: init: true :: relation: MDD 1746061516, 9 edges, 5 vertices, 6 tuples
19.41/7.28	c 01:54:15.529 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26847. 'extension(4, x[21][19]=[0‥4]) :: init: true :: relation: MDD 1746061516, 9 edges, 5 vertices, 6 tuples
19.41/7.28	c 01:54:15.532 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26880. 'extension(4, x[22][8]=[0‥4]) :: init: true :: relation: MDD 651828130, 9 edges, 5 vertices, 6 tuples
19.41/7.29	c 01:54:15.532 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26883. 'extension(4, 4) :: init: true :: relation: MDD 651828130, 9 edges, 5 vertices, 6 tuples
19.41/7.29	c 01:54:15.533 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26914. 'extension(4, x[22][9]=[0‥4]) :: init: true :: relation: MDD 683211146, 9 edges, 5 vertices, 6 tuples
19.41/7.29	c 01:54:15.534 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26917. 'extension(4, 4) :: init: true :: relation: MDD 683211146, 9 edges, 5 vertices, 6 tuples
19.41/7.29	c 01:54:15.535 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26948. 'extension(4, x[22][12]=[0‥4]) :: init: true :: relation: MDD 918584437, 9 edges, 5 vertices, 6 tuples
19.41/7.29	c 01:54:15.535 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26951. 'extension(4, 4) :: init: true :: relation: MDD 918584437, 9 edges, 5 vertices, 6 tuples
19.41/7.29	c 01:54:15.536 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26982. 'extension(x[20][18]=[0‥4], 4) :: init: true :: relation: MDD 1978141335, 9 edges, 5 vertices, 6 tuples
19.41/7.29	c 01:54:15.537 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27019. 'extension(4, 4) :: init: true :: relation: MDD 1978141335, 9 edges, 5 vertices, 6 tuples
19.41/7.29	c 01:54:15.538 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27050. 'extension(x[21][25]=[0‥4], 4) :: init: true :: relation: MDD 154923232, 9 edges, 5 vertices, 6 tuples
19.41/7.29	c 01:54:15.538 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27051. 'extension(4, x[23][25]=[0‥4]) :: init: true :: relation: MDD 154923232, 9 edges, 5 vertices, 6 tuples
19.41/7.29	c 01:54:15.540 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27084. 'extension(4, x[24][18]=[0‥4]) :: init: true :: relation: MDD 1978141335, 9 edges, 5 vertices, 6 tuples
19.41/7.29	c 01:54:15.541 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27087. 'extension(4, 4) :: init: true :: relation: MDD 1978141335, 9 edges, 5 vertices, 6 tuples
19.41/7.30	c 01:54:15.542 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27118. 'extension(x[23][0]=[0‥4], 4) :: init: true :: relation: MDD 319618119, 9 edges, 5 vertices, 6 tuples
19.41/7.30	c 01:54:15.543 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27152. 'extension(x[23][9]=[0‥4], 4) :: init: true :: relation: MDD 683211146, 9 edges, 5 vertices, 6 tuples
19.75/7.30	c 01:54:15.543 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27153. 'extension(4, x[25][9]=[0‥4]) :: init: true :: relation: MDD 683211146, 9 edges, 5 vertices, 6 tuples
19.75/7.30	c 01:54:15.548 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27186. 'extension(x[23][24]=[0‥4], 4) :: init: true :: relation: MDD 426123784, 9 edges, 5 vertices, 6 tuples
19.75/7.30	c 01:54:15.550 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27220. 'extension(4, x[26][0]=[0‥4]) :: init: true :: relation: MDD 319618119, 9 edges, 5 vertices, 6 tuples
19.75/7.30	c 01:54:15.550 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27223. 'extension(4, 4) :: init: true :: relation: MDD 319618119, 9 edges, 5 vertices, 6 tuples
19.75/7.30	c 01:54:15.551 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27254. 'extension(x[24][1]=[0‥4], 4) :: init: true :: relation: MDD 2103044456, 9 edges, 5 vertices, 6 tuples
19.75/7.30	c 01:54:15.552 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27255. 'extension(4, x[26][1]=[0‥4]) :: init: true :: relation: MDD 2103044456, 9 edges, 5 vertices, 6 tuples
19.75/7.31	c 01:54:15.553 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27291. 'extension(4, 4) :: init: true :: relation: MDD 426123784, 9 edges, 5 vertices, 6 tuples
19.75/7.32	c 01:54:15.554 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27322. 'extension(x[24][26]=[0‥4], 4) :: init: true :: relation: MDD 1038892935, 9 edges, 5 vertices, 6 tuples
19.75/7.32	c 01:54:15.555 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27356. 'extension(x[24][29]=[0‥4], 4) :: init: true :: relation: MDD 883349979, 9 edges, 5 vertices, 6 tuples
19.75/7.32	c 01:54:15.556 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27390. 'extension(4, wk[24][3]=[0‥1]) :: init: true :: relation: MDD 1461216550, 5 edges, 3 vertices, 4 tuples
19.75/7.32	c 01:54:15.556 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27394. 'extension(4, 4) :: init: true :: relation: MDD 426123784, 9 edges, 5 vertices, 6 tuples
19.75/7.32	c 01:54:15.556 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27425. 'extension(4, wk[26][3]=[0‥1]) :: init: true :: relation: MDD 294817977, 5 edges, 3 vertices, 4 tuples
19.75/7.32	c 01:54:15.557 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27429. 'extension(4, 4) :: init: true :: relation: MDD 1038892935, 9 edges, 5 vertices, 6 tuples
19.75/7.32	c 01:54:15.557 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27460. 'extension(4, wk[29][3]=[0‥1]) :: init: true :: relation: MDD 1734023423, 5 edges, 3 vertices, 4 tuples
19.75/7.32	c 01:54:15.557 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27461. 'extension(4, x[27][29]=[0‥4]) :: init: true :: relation: MDD 883349979, 9 edges, 5 vertices, 6 tuples
19.75/7.32	c 01:54:15.558 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27464. 'extension(4, 4) :: init: true :: relation: MDD 883349979, 9 edges, 5 vertices, 6 tuples
19.75/7.32	c 01:54:15.560 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27495. 'extension(4, wk[11][3]=[0‥1]) :: init: true :: relation: MDD 1617983326, 5 edges, 3 vertices, 4 tuples
19.75/7.32	c 01:54:15.560 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27496. 'extension(x[26][11]=[0‥4], 4) :: init: true :: relation: MDD 1518022811, 9 edges, 5 vertices, 6 tuples
19.75/7.32	c 01:54:15.561 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27530. 'extension(4, wk[24][3]=[0‥1]) :: init: true :: relation: MDD 1727096642, 5 edges, 3 vertices, 4 tuples
19.75/7.32	c 01:54:15.561 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27534. 'extension(4, 4) :: init: true :: relation: MDD 426123784, 9 edges, 5 vertices, 6 tuples
19.75/7.32	c 01:54:15.561 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27565. 'extension(4, wk[26][3]=[0‥1]) :: init: true :: relation: MDD 1657521272, 5 edges, 3 vertices, 4 tuples
19.75/7.32	c 01:54:15.561 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27566. 'extension(4, x[28][26]=[0‥4]) :: init: true :: relation: MDD 1038892935, 9 edges, 5 vertices, 6 tuples
19.75/7.32	c 01:54:15.562 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27569. 'extension(4, 4) :: init: true :: relation: MDD 1038892935, 9 edges, 5 vertices, 6 tuples
19.75/7.32	c 01:54:15.563 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27600. 'extension(4, wk[31][3]=[0‥1]) :: init: true :: relation: MDD 2059701776, 5 edges, 3 vertices, 4 tuples
19.75/7.32	c 01:54:15.563 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27601. 'extension(x[26][31]=[0‥4], 4) :: init: true :: relation: MDD 3804010, 9 edges, 5 vertices, 6 tuples
19.75/7.32	c 01:54:15.564 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27637. 'extension(4, 4) :: init: true :: relation: MDD 1518022811, 9 edges, 5 vertices, 6 tuples
19.75/7.32	c 01:54:15.565 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27668. 'extension(4, x[29][24]=[0‥4]) :: init: true :: relation: MDD 426123784, 9 edges, 5 vertices, 6 tuples
19.75/7.32	c 01:54:15.566 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27671. 'extension(4, 4) :: init: true :: relation: MDD 426123784, 9 edges, 5 vertices, 6 tuples
19.75/7.32	c 01:54:15.567 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27705. 'extension(4, 4) :: init: true :: relation: MDD 3804010, 9 edges, 5 vertices, 6 tuples
19.75/7.32	c 01:54:15.568 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27738. 'extension(4, 4) :: init: true :: relation: MDD 1518022811, 9 edges, 5 vertices, 6 tuples
19.75/7.32	c 01:54:15.568 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27769. 'extension(x[28][21]=[0‥4], 4) :: init: true :: relation: MDD 1747862060, 9 edges, 5 vertices, 6 tuples
19.75/7.32	c 01:54:15.569 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27803. 'extension(4, x[30][31]=[0‥4]) :: init: true :: relation: MDD 3804010, 9 edges, 5 vertices, 6 tuples
19.75/7.32	c 01:54:15.569 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27806. 'extension(4, 4) :: init: true :: relation: MDD 3804010, 9 edges, 5 vertices, 6 tuples
19.75/7.32	c 01:54:15.571 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27836. 'extension(4, x[31][11]=[0‥4]) :: init: true :: relation: MDD 1518022811, 9 edges, 5 vertices, 6 tuples
19.75/7.32	c 01:54:15.571 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27839. 'extension(4, 4) :: init: true :: relation: MDD 1518022811, 9 edges, 5 vertices, 6 tuples
19.75/7.32	c 01:54:15.572 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27873. 'extension(4, 4) :: init: true :: relation: MDD 1747862060, 9 edges, 5 vertices, 6 tuples
19.75/7.33	c 01:54:15.573 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27904. 'extension(x[30][4]=[0‥4], 4) :: init: true :: relation: MDD 725873428, 9 edges, 5 vertices, 6 tuples
19.75/7.33	c 01:54:15.574 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27938. 'extension(x[30][15]=[0‥4], 4) :: init: true :: relation: MDD 1307540790, 9 edges, 5 vertices, 6 tuples
19.75/7.33	c 01:54:15.574 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27939. 'extension(4, x[32][15]=[0‥4]) :: init: true :: relation: MDD 1307540790, 9 edges, 5 vertices, 6 tuples
19.75/7.33	c 01:54:15.575 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27975. 'extension(4, 4) :: init: true :: relation: MDD 1747862060, 9 edges, 5 vertices, 6 tuples
19.75/7.33	c 01:54:15.576 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28006. 'extension(4, x[33][4]=[0‥4]) :: init: true :: relation: MDD 725873428, 9 edges, 5 vertices, 6 tuples
19.75/7.33	c 01:54:15.577 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28009. 'extension(4, 4) :: init: true :: relation: MDD 725873428, 9 edges, 5 vertices, 6 tuples
19.75/7.33	c 01:54:15.578 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28040. 'extension(4, x[33][21]=[0‥4]) :: init: true :: relation: MDD 1747862060, 9 edges, 5 vertices, 6 tuples
19.75/7.33	c 01:54:15.578 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28043. 'extension(4, 4) :: init: true :: relation: MDD 1747862060, 9 edges, 5 vertices, 6 tuples
19.75/7.33	c 01:54:15.579 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28074. 'extension(x[31][28]=[0‥4], 4) :: init: true :: relation: MDD 339734447, 9 edges, 5 vertices, 6 tuples
19.75/7.33	c 01:54:15.580 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28108. 'extension(4, wk[5][4]=[0‥1]) :: init: true :: relation: MDD 48143526, 5 edges, 3 vertices, 4 tuples
19.75/7.33	c 01:54:15.581 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28109. 'extension(x[32][5]=[0‥4], 4) :: init: true :: relation: MDD 1820545559, 9 edges, 5 vertices, 6 tuples
19.75/7.33	c 01:54:15.581 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28110. 'extension(4, x[34][5]=[0‥4]) :: init: true :: relation: MDD 1820545559, 9 edges, 5 vertices, 6 tuples
19.75/7.34	c 01:54:15.583 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28143. 'extension(4, wk[28][4]=[0‥1]) :: init: true :: relation: MDD 791563230, 5 edges, 3 vertices, 4 tuples
19.75/7.34	c 01:54:15.583 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28147. 'extension(4, 4) :: init: true :: relation: MDD 339734447, 9 edges, 5 vertices, 6 tuples
19.75/7.34	c 01:54:15.584 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28178. 'extension(4, wk[3][4]=[0‥1]) :: init: true :: relation: MDD 1612625071, 5 edges, 3 vertices, 4 tuples
19.75/7.34	c 01:54:15.584 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28179. 'extension(x[33][3]=[0‥4], 4) :: init: true :: relation: MDD 1327714567, 9 edges, 5 vertices, 6 tuples
19.75/7.34	c 01:54:15.585 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28213. 'extension(4, wk[7][4]=[0‥1]) :: init: true :: relation: MDD 297137378, 5 edges, 3 vertices, 4 tuples
19.75/7.34	c 01:54:15.585 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28214. 'extension(x[33][7]=[0‥4], 4) :: init: true :: relation: MDD 322100932, 9 edges, 5 vertices, 6 tuples
19.75/7.34	c 01:54:15.585 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28215. 'extension(4, x[35][7]=[0‥4]) :: init: true :: relation: MDD 322100932, 9 edges, 5 vertices, 6 tuples
19.75/7.34	c 01:54:15.587 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28248. 'extension(4, wk[28][4]=[0‥1]) :: init: true :: relation: MDD 1401564942, 5 edges, 3 vertices, 4 tuples
19.75/7.34	c 01:54:15.587 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28252. 'extension(4, 4) :: init: true :: relation: MDD 339734447, 9 edges, 5 vertices, 6 tuples
19.75/7.34	c 01:54:15.587 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28283. 'extension(4, wk[30][4]=[0‥1]) :: init: true :: relation: MDD 93974967, 5 edges, 3 vertices, 4 tuples
19.75/7.34	c 01:54:15.588 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28284. 'extension(x[33][30]=[0‥4], 4) :: init: true :: relation: MDD 1343407473, 9 edges, 5 vertices, 6 tuples
19.75/7.34	c 01:54:15.588 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28285. 'extension(4, x[35][30]=[0‥4]) :: init: true :: relation: MDD 1343407473, 9 edges, 5 vertices, 6 tuples
19.75/7.34	c 01:54:15.590 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28317. 'extension(x[34][0]=[0‥4], 4) :: init: true :: relation: MDD 319618119, 9 edges, 5 vertices, 6 tuples
19.75/7.35	c 01:54:15.591 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28354. 'extension(4, 4) :: init: true :: relation: MDD 1327714567, 9 edges, 5 vertices, 6 tuples
19.75/7.35	c 01:54:15.592 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28385. 'extension(x[34][26]=[0‥4], 4) :: init: true :: relation: MDD 1038892935, 9 edges, 5 vertices, 6 tuples
19.75/7.35	c 01:54:15.592 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28386. 'extension(4, x[36][26]=[0‥4]) :: init: true :: relation: MDD 1038892935, 9 edges, 5 vertices, 6 tuples
19.75/7.35	c 01:54:15.594 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28422. 'extension(4, 4) :: init: true :: relation: MDD 339734447, 9 edges, 5 vertices, 6 tuples
19.75/7.35	c 01:54:15.595 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28456. 'extension(4, 4) :: init: true :: relation: MDD 319618119, 9 edges, 5 vertices, 6 tuples
19.75/7.35	c 01:54:15.595 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28490. 'extension(4, 4) :: init: true :: relation: MDD 1327714567, 9 edges, 5 vertices, 6 tuples
19.75/7.35	c 01:54:15.596 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28521. 'extension(4, x[37][28]=[0‥4]) :: init: true :: relation: MDD 339734447, 9 edges, 5 vertices, 6 tuples
19.75/7.35	c 01:54:15.596 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28524. 'extension(4, 4) :: init: true :: relation: MDD 339734447, 9 edges, 5 vertices, 6 tuples
19.75/7.35	c 01:54:15.598 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28555. 'extension(4, x[38][0]=[0‥4]) :: init: true :: relation: MDD 319618119, 9 edges, 5 vertices, 6 tuples
19.75/7.35	c 01:54:15.599 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28558. 'extension(4, 4) :: init: true :: relation: MDD 319618119, 9 edges, 5 vertices, 6 tuples
19.75/7.35	c 01:54:15.600 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28592. 'extension(4, 4) :: init: true :: relation: MDD 1327714567, 9 edges, 5 vertices, 6 tuples
19.75/7.35	c 01:54:15.601 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28623. 'extension(x[36][18]=[0‥4], 4) :: init: true :: relation: MDD 1978141335, 9 edges, 5 vertices, 6 tuples
19.75/7.35	c 01:54:15.602 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28657. 'extension(x[37][2]=[0‥4], 4) :: init: true :: relation: MDD 556773329, 9 edges, 5 vertices, 6 tuples
19.75/7.35	c 01:54:15.602 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28658. 'extension(4, x[39][2]=[0‥4]) :: init: true :: relation: MDD 556773329, 9 edges, 5 vertices, 6 tuples
19.75/7.36	c 01:54:15.603 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28691. 'extension(4, x[39][3]=[0‥4]) :: init: true :: relation: MDD 1327714567, 9 edges, 5 vertices, 6 tuples
19.75/7.36	c 01:54:15.604 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28694. 'extension(4, 4) :: init: true :: relation: MDD 1327714567, 9 edges, 5 vertices, 6 tuples
19.75/7.36	c 01:54:15.605 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28725. 'extension(4, x[39][18]=[0‥4]) :: init: true :: relation: MDD 1978141335, 9 edges, 5 vertices, 6 tuples
19.75/7.36	c 01:54:15.606 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28728. 'extension(4, 4) :: init: true :: relation: MDD 1978141335, 9 edges, 5 vertices, 6 tuples
19.75/7.36	c 01:54:15.607 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28759. 'extension(x[38][1]=[0‥4], 4) :: init: true :: relation: MDD 2103044456, 9 edges, 5 vertices, 6 tuples
19.75/7.36	c 01:54:15.607 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28760. 'extension(4, x[40][1]=[0‥4]) :: init: true :: relation: MDD 2103044456, 9 edges, 5 vertices, 6 tuples
19.75/7.36	c 01:54:15.609 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28793. 'extension(4, wk[11][5]=[0‥1]) :: init: true :: relation: MDD 1231493271, 5 edges, 3 vertices, 4 tuples
19.75/7.36	c 01:54:15.610 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28794. 'extension(x[39][11]=[0‥4], 4) :: init: true :: relation: MDD 1518022811, 9 edges, 5 vertices, 6 tuples
19.75/7.36	c 01:54:15.610 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28795. 'extension(4, x[41][11]=[0‥4]) :: init: true :: relation: MDD 1518022811, 9 edges, 5 vertices, 6 tuples
19.75/7.36	c 01:54:15.612 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28828. 'extension(4, wk[29][5]=[0‥1]) :: init: true :: relation: MDD 1871838170, 5 edges, 3 vertices, 4 tuples
19.75/7.37	c 01:54:15.612 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28829. 'extension(x[39][29]=[0‥4], 4) :: init: true :: relation: MDD 883349979, 9 edges, 5 vertices, 6 tuples
19.75/7.37	c 01:54:15.613 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28863. 'extension(4, wk[10][5]=[0‥1]) :: init: true :: relation: MDD 1891031939, 5 edges, 3 vertices, 4 tuples
19.75/7.37	c 01:54:15.613 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28864. 'extension(x[40][10]=[0‥4], 4) :: init: true :: relation: MDD 1560244891, 9 edges, 5 vertices, 6 tuples
19.75/7.37	c 01:54:15.614 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28898. 'extension(4, wk[20][5]=[0‥1]) :: init: true :: relation: MDD 52477555, 5 edges, 3 vertices, 4 tuples
19.75/7.37	c 01:54:15.614 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28899. 'extension(x[40][20]=[0‥4], 4) :: init: true :: relation: MDD 121521031, 9 edges, 5 vertices, 6 tuples
19.75/7.37	c 01:54:15.615 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28933. 'extension(4, wk[25][5]=[0‥1]) :: init: true :: relation: MDD 1024478363, 5 edges, 3 vertices, 4 tuples
19.75/7.37	c 01:54:15.615 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28934. 'extension(x[40][25]=[0‥4], 4) :: init: true :: relation: MDD 154923232, 9 edges, 5 vertices, 6 tuples
19.75/7.37	c 01:54:15.616 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28968. 'extension(4, wk[29][5]=[0‥1]) :: init: true :: relation: MDD 1341975886, 5 edges, 3 vertices, 4 tuples
19.75/7.37	c 01:54:15.616 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28972. 'extension(4, 4) :: init: true :: relation: MDD 883349979, 9 edges, 5 vertices, 6 tuples
19.75/7.37	c 01:54:15.617 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29003. 'extension(4, x[43][10]=[0‥4]) :: init: true :: relation: MDD 1560244891, 9 edges, 5 vertices, 6 tuples
19.75/7.37	c 01:54:15.617 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29006. 'extension(4, 4) :: init: true :: relation: MDD 1560244891, 9 edges, 5 vertices, 6 tuples
19.75/7.37	c 01:54:15.619 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29037. 'extension(4, x[43][20]=[0‥4]) :: init: true :: relation: MDD 121521031, 9 edges, 5 vertices, 6 tuples
19.75/7.37	c 01:54:15.619 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29040. 'extension(4, 4) :: init: true :: relation: MDD 121521031, 9 edges, 5 vertices, 6 tuples
19.75/7.37	c 01:54:15.620 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29074. 'extension(4, 4) :: init: true :: relation: MDD 154923232, 9 edges, 5 vertices, 6 tuples
19.75/7.37	c 01:54:15.621 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29105. 'extension(4, x[43][29]=[0‥4]) :: init: true :: relation: MDD 883349979, 9 edges, 5 vertices, 6 tuples
19.75/7.37	c 01:54:15.621 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29108. 'extension(4, 4) :: init: true :: relation: MDD 883349979, 9 edges, 5 vertices, 6 tuples
19.75/7.38	c 01:54:15.623 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29139. 'extension(x[42][6]=[0‥4], 4) :: init: true :: relation: MDD 431300939, 9 edges, 5 vertices, 6 tuples
19.75/7.38	c 01:54:15.624 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29173. 'extension(x[42][16]=[0‥4], 4) :: init: true :: relation: MDD 394645908, 9 edges, 5 vertices, 6 tuples
19.75/7.38	c 01:54:15.624 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29207. 'extension(4, x[44][25]=[0‥4]) :: init: true :: relation: MDD 154923232, 9 edges, 5 vertices, 6 tuples
19.75/7.38	c 01:54:15.625 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29210. 'extension(4, 4) :: init: true :: relation: MDD 154923232, 9 edges, 5 vertices, 6 tuples
19.75/7.38	c 01:54:15.626 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29241. 'extension(4, x[45][6]=[0‥4]) :: init: true :: relation: MDD 431300939, 9 edges, 5 vertices, 6 tuples
19.75/7.38	c 01:54:15.627 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29244. 'extension(4, 4) :: init: true :: relation: MDD 431300939, 9 edges, 5 vertices, 6 tuples
19.75/7.38	c 01:54:15.628 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29275. 'extension(x[43][15]=[0‥4], 4) :: init: true :: relation: MDD 1307540790, 9 edges, 5 vertices, 6 tuples
19.75/7.38	c 01:54:15.629 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29309. 'extension(4, x[45][16]=[0‥4]) :: init: true :: relation: MDD 394645908, 9 edges, 5 vertices, 6 tuples
19.75/7.38	c 01:54:15.629 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29312. 'extension(4, 4) :: init: true :: relation: MDD 394645908, 9 edges, 5 vertices, 6 tuples
19.75/7.38	c 01:54:15.631 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29346. 'extension(4, 4) :: init: true :: relation: MDD 1307540790, 9 edges, 5 vertices, 6 tuples
19.75/7.38	c 01:54:15.632 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29380. 'extension(4, 4) :: init: true :: relation: MDD 1307540790, 9 edges, 5 vertices, 6 tuples
19.75/7.39	c 01:54:15.633 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29411. 'extension(4, wk[15][6]=[0‥1]) :: init: true :: relation: MDD 907858780, 5 edges, 3 vertices, 4 tuples
19.75/7.39	c 01:54:15.633 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29412. 'extension(4, x[48][15]=[0‥4]) :: init: true :: relation: MDD 1307540790, 9 edges, 5 vertices, 6 tuples
19.75/7.39	c 01:54:15.633 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29415. 'extension(4, 4) :: init: true :: relation: MDD 1307540790, 9 edges, 5 vertices, 6 tuples
19.75/7.39	c 01:54:15.635 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29446. 'extension(4, wk[4][6]=[0‥1]) :: init: true :: relation: MDD 902742789, 5 edges, 3 vertices, 4 tuples
19.75/7.39	c 01:54:15.635 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29447. 'extension(x[47][4]=[0‥4], 4) :: init: true :: relation: MDD 725873428, 9 edges, 5 vertices, 6 tuples
19.75/7.39	c 01:54:15.635 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29448. 'extension(4, x[49][4]=[0‥4]) :: init: true :: relation: MDD 725873428, 9 edges, 5 vertices, 6 tuples
19.75/7.39	c 01:54:15.637 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29481. 'extension(4, wk[8][6]=[0‥1]) :: init: true :: relation: MDD 1079161247, 5 edges, 3 vertices, 4 tuples
19.75/7.39	c 01:54:15.638 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29482. 'extension(x[47][8]=[0‥4], 4) :: init: true :: relation: MDD 651828130, 9 edges, 5 vertices, 6 tuples
19.75/7.39	c 01:54:15.638 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29516. 'extension(4, wk[17][6]=[0‥1]) :: init: true :: relation: MDD 1150063356, 5 edges, 3 vertices, 4 tuples
19.75/7.39	c 01:54:15.639 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29517. 'extension(x[47][17]=[0‥4], 4) :: init: true :: relation: MDD 1985362663, 9 edges, 5 vertices, 6 tuples
19.75/7.39	c 01:54:15.640 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29551. 'extension(x[48][2]=[0‥4], 4) :: init: true :: relation: MDD 556773329, 9 edges, 5 vertices, 6 tuples
19.75/7.39	c 01:54:15.640 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29585. 'extension(4, x[50][8]=[0‥4]) :: init: true :: relation: MDD 651828130, 9 edges, 5 vertices, 6 tuples
20.07/7.40	c 01:54:15.641 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29588. 'extension(4, 4) :: init: true :: relation: MDD 651828130, 9 edges, 5 vertices, 6 tuples
20.07/7.40	c 01:54:15.642 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29622. 'extension(4, 4) :: init: true :: relation: MDD 1985362663, 9 edges, 5 vertices, 6 tuples
20.07/7.40	c 01:54:15.643 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29653. 'extension(4, x[51][2]=[0‥4]) :: init: true :: relation: MDD 556773329, 9 edges, 5 vertices, 6 tuples
20.07/7.40	c 01:54:15.644 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29656. 'extension(4, 4) :: init: true :: relation: MDD 556773329, 9 edges, 5 vertices, 6 tuples
20.07/7.40	c 01:54:15.645 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29690. 'extension(4, 4) :: init: true :: relation: MDD 1985362663, 9 edges, 5 vertices, 6 tuples
20.07/7.40	c 01:54:15.646 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29724. 'extension(4, 4) :: init: true :: relation: MDD 1985362663, 9 edges, 5 vertices, 6 tuples
20.07/7.40	c 01:54:15.646 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29754. 'extension(x[51][1]=[0‥4], 4) :: init: true :: relation: MDD 2103044456, 9 edges, 5 vertices, 6 tuples
20.07/7.40	c 01:54:15.647 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29755. 'extension(4, x[53][1]=[0‥4]) :: init: true :: relation: MDD 2103044456, 9 edges, 5 vertices, 6 tuples
20.07/7.40	c 01:54:15.648 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29786. 'extension(x[51][12]=[0‥4], 4) :: init: true :: relation: MDD 918584437, 9 edges, 5 vertices, 6 tuples
20.07/7.40	c 01:54:15.649 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29818. 'extension(4, x[53][17]=[0‥4]) :: init: true :: relation: MDD 1985362663, 9 edges, 5 vertices, 6 tuples
20.07/7.40	c 01:54:15.650 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29821. 'extension(4, 4) :: init: true :: relation: MDD 1985362663, 9 edges, 5 vertices, 6 tuples
20.07/7.40	c 01:54:15.651 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29850. 'extension(x[51][31]=[0‥4], 4) :: init: true :: relation: MDD 3804010, 9 edges, 5 vertices, 6 tuples
20.07/7.40	c 01:54:15.652 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29882. 'extension(x[52][5]=[0‥4], 4) :: init: true :: relation: MDD 1820545559, 9 edges, 5 vertices, 6 tuples
20.07/7.41	c 01:54:15.652 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29883. 'extension(4, x[54][5]=[0‥4]) :: init: true :: relation: MDD 1820545559, 9 edges, 5 vertices, 6 tuples
20.07/7.41	c 01:54:15.654 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29916. 'extension(4, 4) :: init: true :: relation: MDD 918584437, 9 edges, 5 vertices, 6 tuples
20.07/7.41	c 01:54:15.654 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29944. 'extension(x[52][27]=[0‥4], 4) :: init: true :: relation: MDD 1499437334, 9 edges, 5 vertices, 6 tuples
20.07/7.41	c 01:54:15.655 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29975. 'extension(4, x[54][31]=[0‥4]) :: init: true :: relation: MDD 3804010, 9 edges, 5 vertices, 6 tuples
20.07/7.41	c 01:54:15.655 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29978. 'extension(4, 4) :: init: true :: relation: MDD 3804010, 9 edges, 5 vertices, 6 tuples
20.07/7.41	c 01:54:15.657 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30006. 'extension(4, wk[12][7]=[0‥1]) :: init: true :: relation: MDD 1597594849, 5 edges, 3 vertices, 4 tuples
20.07/7.41	c 01:54:15.657 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30007. 'extension(4, x[55][12]=[0‥4]) :: init: true :: relation: MDD 918584437, 9 edges, 5 vertices, 6 tuples
20.07/7.41	c 01:54:15.657 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30009. 'extension(4, 4) :: init: true :: relation: MDD 918584437, 9 edges, 5 vertices, 6 tuples
20.07/7.41	c 01:54:15.658 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30036. 'extension(4, wk[27][7]=[0‥1]) :: init: true :: relation: MDD 145833361, 5 edges, 3 vertices, 4 tuples
20.07/7.41	c 01:54:15.659 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30037. 'extension(4, x[55][27]=[0‥4]) :: init: true :: relation: MDD 1499437334, 9 edges, 5 vertices, 6 tuples
20.07/7.41	c 01:54:15.659 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30039. 'extension(4, 4) :: init: true :: relation: MDD 1499437334, 9 edges, 5 vertices, 6 tuples
20.07/7.42	c 01:54:15.669 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30131. 'extension(x[2][1]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.42	c 01:54:15.669 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30141. 'extension(x[0][27]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.42	c 01:54:15.670 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30145. 'extension(x[1][14]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.42	c 01:54:15.670 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30151. 'extension(x[1][16]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.42	c 01:54:15.670 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30153. 'extension(x[3][16]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.42	c 01:54:15.671 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30171. 'extension(x[2][10]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.42	c 01:54:15.672 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30181. 'extension(x[4][27]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.43	c 01:54:15.672 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30191. 'extension(x[5][10]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.43	c 01:54:15.673 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30205. 'extension(x[3][13]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.43	c 01:54:15.673 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30211. 'extension(x[3][25]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.43	c 01:54:15.673 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30213. 'extension(x[5][25]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.43	c 01:54:15.674 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30227. 'extension(x[3][30]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.43	c 01:54:15.674 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30233. 'extension(wk[7][0]=[0‥1]) :: init: true :: relation: Empty MDD
20.07/7.43	c 01:54:15.675 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30235. 'extension(x[4][7]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.43	c 01:54:15.675 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30241. 'extension(wk[13][0]=[0‥1]) :: init: true :: relation: Empty MDD
20.07/7.43	c 01:54:15.675 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30247. 'extension(wk[14][0]=[0‥1]) :: init: true :: relation: Empty MDD
20.07/7.43	c 01:54:15.675 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30249. 'extension(wk[20][0]=[0‥1]) :: init: true :: relation: Empty MDD
20.07/7.43	c 01:54:15.676 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30251. 'extension(x[4][20]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.43	c 01:54:15.676 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30257. 'extension(wk[21][0]=[0‥1]) :: init: true :: relation: Empty MDD
20.07/7.43	c 01:54:15.676 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30259. 'extension(x[4][21]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.43	c 01:54:15.676 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30261. 'extension(x[6][21]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.43	c 01:54:15.677 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30275. 'extension(wk[30][0]=[0‥1]) :: init: true :: relation: Empty MDD
20.07/7.43	c 01:54:15.678 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30281. 'extension(wk[5][0]=[0‥1]) :: init: true :: relation: Empty MDD
20.07/7.43	c 01:54:15.678 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30283. 'extension(x[5][5]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.43	c 01:54:15.678 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30289. 'extension(wk[7][0]=[0‥1]) :: init: true :: relation: Empty MDD
20.07/7.43	c 01:54:15.678 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30295. 'extension(wk[13][0]=[0‥1]) :: init: true :: relation: Empty MDD
20.07/7.43	c 01:54:15.679 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30297. 'extension(wk[14][0]=[0‥1]) :: init: true :: relation: Empty MDD
20.07/7.43	c 01:54:15.679 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30299. 'extension(x[7][14]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.43	c 01:54:15.679 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30309. 'extension(wk[16][0]=[0‥1]) :: init: true :: relation: Empty MDD
20.07/7.43	c 01:54:15.679 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30311. 'extension(x[5][16]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.43	c 01:54:15.680 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30317. 'extension(wk[20][0]=[0‥1]) :: init: true :: relation: Empty MDD
20.07/7.43	c 01:54:15.680 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30323. 'extension(wk[22][0]=[0‥1]) :: init: true :: relation: Empty MDD
20.07/7.43	c 01:54:15.680 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30325. 'extension(x[5][22]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.43	c 01:54:15.681 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30331. 'extension(wk[30][0]=[0‥1]) :: init: true :: relation: Empty MDD
20.07/7.43	c 01:54:15.681 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30337. 'extension(x[8][7]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.43	c 01:54:15.681 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30347. 'extension(x[8][13]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.43	c 01:54:15.682 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30357. 'extension(x[8][16]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.44	c 01:54:15.682 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30371. 'extension(x[8][20]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.44	c 01:54:15.683 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30385. 'extension(x[8][30]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.44	c 01:54:15.684 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30395. 'extension(x[9][5]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.44	c 01:54:15.684 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30405. 'extension(x[7][19]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.44	c 01:54:15.685 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30415. 'extension(x[8][23]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.44	c 01:54:15.685 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30421. 'extension(x[11][22]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.44	c 01:54:15.686 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30435. 'extension(x[9][26]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.44	c 01:54:15.686 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30437. 'extension(x[11][26]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.44	c 01:54:15.686 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30451. 'extension(x[12][19]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.44	c 01:54:15.687 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30461. 'extension(wk[13][1]=[0‥1]) :: init: true :: relation: Empty MDD
20.07/7.44	c 01:54:15.687 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30463. 'extension(x[11][13]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.44	c 01:54:15.687 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30465. 'extension(x[13][13]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.44	c 01:54:15.688 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30479. 'extension(wk[23][1]=[0‥1]) :: init: true :: relation: Empty MDD
20.07/7.44	c 01:54:15.688 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30481. 'extension(wk[2][1]=[0‥1]) :: init: true :: relation: Empty MDD
20.07/7.44	c 01:54:15.688 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30483. 'extension(x[12][2]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.44	c 01:54:15.689 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30489. 'extension(wk[23][1]=[0‥1]) :: init: true :: relation: Empty MDD
20.07/7.44	c 01:54:15.689 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30491. 'extension(x[14][23]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.44	c 01:54:15.689 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30501. 'extension(x[15][2]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.44	c 01:54:15.690 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30515. 'extension(x[13][6]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.44	c 01:54:15.690 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30525. 'extension(x[14][7]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.44	c 01:54:15.691 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30527. 'extension(x[16][7]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.44	c 01:54:15.691 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30541. 'extension(x[14][10]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.44	c 01:54:15.692 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30543. 'extension(x[16][10]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.45	c 01:54:15.692 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30557. 'extension(x[17][6]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.45	c 01:54:15.693 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30567. 'extension(x[17][9]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.45	c 01:54:15.693 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30573. 'extension(wk[4][2]=[0‥1]) :: init: true :: relation: Empty MDD
20.07/7.45	c 01:54:15.693 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30575. 'extension(x[18][4]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.45	c 01:54:15.694 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30581. 'extension(wk[8][2]=[0‥1]) :: init: true :: relation: Empty MDD
20.07/7.45	c 01:54:15.694 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30583. 'extension(x[18][8]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.45	c 01:54:15.694 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30589. 'extension(wk[9][2]=[0‥1]) :: init: true :: relation: Empty MDD
20.07/7.45	c 01:54:15.695 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30595. 'extension(wk[4][2]=[0‥1]) :: init: true :: relation: Empty MDD
20.07/7.45	c 01:54:15.695 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30597. 'extension(x[21][4]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.45	c 01:54:15.695 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30611. 'extension(wk[8][2]=[0‥1]) :: init: true :: relation: Empty MDD
20.07/7.45	c 01:54:15.696 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30617. 'extension(wk[9][2]=[0‥1]) :: init: true :: relation: Empty MDD
20.07/7.45	c 01:54:15.696 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30619. 'extension(wk[12][2]=[0‥1]) :: init: true :: relation: Empty MDD
20.07/7.45	c 01:54:15.696 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30621. 'extension(x[19][12]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.45	c 01:54:15.697 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30627. 'extension(wk[19][2]=[0‥1]) :: init: true :: relation: Empty MDD
20.07/7.45	c 01:54:15.697 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30629. 'extension(x[19][19]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.45	c 01:54:15.697 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30631. 'extension(x[21][19]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.45	c 01:54:15.698 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30645. 'extension(x[22][8]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.45	c 01:54:15.698 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30655. 'extension(x[22][9]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.45	c 01:54:15.699 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30665. 'extension(x[22][12]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.45	c 01:54:15.699 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30679. 'extension(x[20][18]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.45	c 01:54:15.700 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30689. 'extension(x[21][25]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.45	c 01:54:15.700 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30691. 'extension(x[23][25]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.45	c 01:54:15.700 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30705. 'extension(x[24][18]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.45	c 01:54:15.701 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30715. 'extension(x[23][0]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.45	c 01:54:15.701 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30721. 'extension(x[23][9]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.45	c 01:54:15.701 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30723. 'extension(x[25][9]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.45	c 01:54:15.702 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30737. 'extension(x[23][24]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.46	c 01:54:15.702 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30743. 'extension(x[26][0]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.46	c 01:54:15.703 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30757. 'extension(x[24][1]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.46	c 01:54:15.703 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30759. 'extension(x[26][1]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.46	c 01:54:15.704 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30777. 'extension(x[24][26]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.46	c 01:54:15.704 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30783. 'extension(x[24][29]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.46	c 01:54:15.704 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30789. 'extension(wk[24][3]=[0‥1]) :: init: true :: relation: Empty MDD
20.07/7.46	c 01:54:15.705 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30791. 'extension(wk[26][3]=[0‥1]) :: init: true :: relation: Empty MDD
20.07/7.46	c 01:54:15.705 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30797. 'extension(wk[29][3]=[0‥1]) :: init: true :: relation: Empty MDD
20.07/7.46	c 01:54:15.705 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30799. 'extension(x[27][29]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.46	c 01:54:15.706 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30813. 'extension(wk[11][3]=[0‥1]) :: init: true :: relation: Empty MDD
20.07/7.46	c 01:54:15.706 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30815. 'extension(x[26][11]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.46	c 01:54:15.706 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30821. 'extension(wk[24][3]=[0‥1]) :: init: true :: relation: Empty MDD
20.07/7.46	c 01:54:15.706 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30823. 'extension(wk[26][3]=[0‥1]) :: init: true :: relation: Empty MDD
20.07/7.46	c 01:54:15.706 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30825. 'extension(x[28][26]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.46	c 01:54:15.707 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30835. 'extension(wk[31][3]=[0‥1]) :: init: true :: relation: Empty MDD
20.07/7.46	c 01:54:15.707 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30837. 'extension(x[26][31]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.46	c 01:54:15.707 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30847. 'extension(x[29][24]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.46	c 01:54:15.708 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30861. 'extension(x[28][21]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.46	c 01:54:15.709 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30867. 'extension(x[30][31]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.46	c 01:54:15.709 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30877. 'extension(x[31][11]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.47	c 01:54:15.710 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30891. 'extension(x[30][4]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.47	c 01:54:15.710 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30897. 'extension(x[30][15]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.47	c 01:54:15.710 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30899. 'extension(x[32][15]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.47	c 01:54:15.711 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30913. 'extension(x[33][4]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.47	c 01:54:15.712 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30927. 'extension(x[33][21]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.47	c 01:54:15.712 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30937. 'extension(x[31][28]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.47	c 01:54:15.712 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30943. 'extension(wk[5][4]=[0‥1]) :: init: true :: relation: Empty MDD
20.07/7.47	c 01:54:15.712 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30945. 'extension(x[32][5]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.47	c 01:54:15.713 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30947. 'extension(x[34][5]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.47	c 01:54:15.713 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30961. 'extension(wk[28][4]=[0‥1]) :: init: true :: relation: Empty MDD
20.07/7.47	c 01:54:15.714 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30967. 'extension(wk[3][4]=[0‥1]) :: init: true :: relation: Empty MDD
20.07/7.47	c 01:54:15.714 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30969. 'extension(x[33][3]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.47	c 01:54:15.714 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30975. 'extension(wk[7][4]=[0‥1]) :: init: true :: relation: Empty MDD
20.07/7.47	c 01:54:15.714 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30977. 'extension(x[33][7]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.47	c 01:54:15.714 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30979. 'extension(x[35][7]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.47	c 01:54:15.715 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30993. 'extension(wk[28][4]=[0‥1]) :: init: true :: relation: Empty MDD
20.07/7.47	c 01:54:15.715 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30995. 'extension(wk[30][4]=[0‥1]) :: init: true :: relation: Empty MDD
20.07/7.47	c 01:54:15.715 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30997. 'extension(x[33][30]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.47	c 01:54:15.716 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30999. 'extension(x[35][30]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.47	c 01:54:15.716 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31013. 'extension(x[34][0]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.47	c 01:54:15.717 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31023. 'extension(x[34][26]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.47	c 01:54:15.717 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31025. 'extension(x[36][26]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.47	c 01:54:15.718 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31043. 'extension(x[37][28]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.47	c 01:54:15.718 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31053. 'extension(x[38][0]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.47	c 01:54:15.719 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31063. 'extension(x[36][18]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.47	c 01:54:15.719 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31069. 'extension(x[37][2]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.47	c 01:54:15.719 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31071. 'extension(x[39][2]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.47	c 01:54:15.720 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31085. 'extension(x[39][3]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.47	c 01:54:15.720 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31095. 'extension(x[39][18]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.47	c 01:54:15.721 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31109. 'extension(x[38][1]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.47	c 01:54:15.721 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31111. 'extension(x[40][1]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.47	c 01:54:15.722 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31125. 'extension(wk[11][5]=[0‥1]) :: init: true :: relation: Empty MDD
20.07/7.47	c 01:54:15.722 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31127. 'extension(x[39][11]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.47	c 01:54:15.722 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31129. 'extension(x[41][11]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.48	c 01:54:15.723 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31143. 'extension(wk[29][5]=[0‥1]) :: init: true :: relation: Empty MDD
20.07/7.48	c 01:54:15.723 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31145. 'extension(x[39][29]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.48	c 01:54:15.723 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31151. 'extension(wk[10][5]=[0‥1]) :: init: true :: relation: Empty MDD
20.07/7.48	c 01:54:15.723 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31153. 'extension(x[40][10]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.48	c 01:54:15.724 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31159. 'extension(wk[20][5]=[0‥1]) :: init: true :: relation: Empty MDD
20.07/7.48	c 01:54:15.724 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31161. 'extension(x[40][20]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.48	c 01:54:15.724 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31167. 'extension(wk[25][5]=[0‥1]) :: init: true :: relation: Empty MDD
20.07/7.48	c 01:54:15.724 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31169. 'extension(x[40][25]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.48	c 01:54:15.725 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31175. 'extension(wk[29][5]=[0‥1]) :: init: true :: relation: Empty MDD
20.07/7.48	c 01:54:15.725 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31181. 'extension(x[43][10]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.48	c 01:54:15.726 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31195. 'extension(x[43][20]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.48	c 01:54:15.726 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31213. 'extension(x[43][29]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.48	c 01:54:15.727 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31223. 'extension(x[42][6]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.48	c 01:54:15.727 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31229. 'extension(x[42][16]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.48	c 01:54:15.727 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31235. 'extension(x[44][25]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.48	c 01:54:15.728 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31245. 'extension(x[45][6]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.48	c 01:54:15.729 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31259. 'extension(x[43][15]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.48	c 01:54:15.729 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31265. 'extension(x[45][16]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.48	c 01:54:15.730 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31283. 'extension(wk[15][6]=[0‥1]) :: init: true :: relation: Empty MDD
20.07/7.48	c 01:54:15.730 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31285. 'extension(x[48][15]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.48	c 01:54:15.730 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31295. 'extension(wk[4][6]=[0‥1]) :: init: true :: relation: Empty MDD
20.07/7.48	c 01:54:15.730 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31297. 'extension(x[47][4]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.48	c 01:54:15.731 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31299. 'extension(x[49][4]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.49	c 01:54:15.731 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31313. 'extension(wk[8][6]=[0‥1]) :: init: true :: relation: Empty MDD
20.07/7.49	c 01:54:15.731 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31315. 'extension(x[47][8]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.49	c 01:54:15.732 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31321. 'extension(wk[17][6]=[0‥1]) :: init: true :: relation: Empty MDD
20.07/7.49	c 01:54:15.732 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31323. 'extension(x[47][17]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.49	c 01:54:15.732 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31329. 'extension(x[48][2]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.49	c 01:54:15.733 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31335. 'extension(x[50][8]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.49	c 01:54:15.733 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31353. 'extension(x[51][2]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.49	c 01:54:15.734 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31367. 'extension(x[51][1]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.49	c 01:54:15.734 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31369. 'extension(x[53][1]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.49	c 01:54:15.735 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31383. 'extension(x[51][12]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.49	c 01:54:15.735 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31389. 'extension(x[53][17]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.49	c 01:54:15.736 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31399. 'extension(x[51][31]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.49	c 01:54:15.736 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31405. 'extension(x[52][5]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.49	c 01:54:15.736 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31407. 'extension(x[54][5]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.49	c 01:54:15.737 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31425. 'extension(x[52][27]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.49	c 01:54:15.738 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31431. 'extension(x[54][31]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.49	c 01:54:15.738 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31445. 'extension(wk[12][7]=[0‥1]) :: init: true :: relation: Empty MDD
20.07/7.49	c 01:54:15.738 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31447. 'extension(x[55][12]=[0‥4]) :: init: true :: relation: Empty MDD
20.07/7.49	c 01:54:15.739 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31455. 'extension(wk[27][7]=[0‥1]) :: init: true :: relation: Empty MDD
20.07/7.49	c 01:54:15.739 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31457. 'extension(x[55][27]=[0‥4]) :: init: true :: relation: Empty MDD
2520.08/2453.60	Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
2520.08/2453.60		at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24)
2520.08/2453.60		at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53)
2520.08/2453.60		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:142)
2520.08/2453.60		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:5)
2520.08/2453.60		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126)
2520.08/2453.60		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:8)
2520.08/2453.60		at concrete.heuristic.value.BestCost.select(BestCost.scala:53)
2520.08/2453.60		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:102)
2520.08/2453.60		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:102)
2520.08/2453.60		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.08/2453.60		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:102)
2520.08/2453.60		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:102)
2520.08/2453.60		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.08/2453.60		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:102)
2520.08/2453.60		at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:108)
2520.08/2453.60		at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
2520.08/2453.60		at scala.Option.map(Option.scala:146)
2520.08/2453.60		at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
2520.08/2453.60		at concrete.MAC.mac(MAC.scala:203)
2520.08/2453.60		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.08/2453.60		at scala.util.Try$.apply(Try.scala:209)
2520.08/2453.60		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.08/2453.60		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.08/2453.60		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.08/2453.60		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.08/2453.60		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.08/2453.60		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.08/2453.60		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.08/2453.60		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.08/2453.60		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.08/2453.60		at concrete.MAC.oneRun(MAC.scala:253)
2520.08/2453.60		at concrete.MAC.nextSolution(MAC.scala:272)
2520.08/2453.60		at concrete.MAC.$anonfun$nextSolution$5(MAC.scala:336)
2520.08/2453.60		at concrete.ProblemState.map(ProblemState.scala:221)
2520.08/2453.60		at concrete.ProblemState.map(ProblemState.scala:204)
2520.08/2453.60		at concrete.MAC.nextSolution(MAC.scala:334)
2520.08/2453.60		at concrete.Solver.hasNext(Solver.scala:166)
2520.08/2453.60		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.08/2453.60		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.08/2453.60		at concrete.Solver.foreach(Solver.scala:68)
2520.08/2453.60		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.08/2453.60		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.08/2453.60		at scala.util.Success.map(Try.scala:209)
2520.08/2453.60		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.08/2453.61		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.08/2453.61		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.08/2453.61		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.08/2453.61		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.08/2453.61		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.08/2453.61		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.08/2453.61		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.08/2453.61		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.08/2453.61		at scala.collection.immutable.List.foreach(List.scala:389)
2520.08/2453.61		at scala.App.main(App.scala:76)
2520.08/2453.61		at scala.App.main$(App.scala:74)
2520.08/2453.61		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.08/2453.61		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.08/2453.61	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 (8677 MiB free)
  memory of node 1: 16384 MiB (11425 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292993-1532303648/watcher-4292993-1532303648 -o /tmp/evaluation-result-4292993-1532303648/solver-4292993-1532303648 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532296223-4593 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=530127001 HOME/instance-4292993-1532303648.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=5915, runsolver pid=5912

[startup+0.100125 s]*
/proc/loadavg: 1.42 1.29 1.32 3/208 5972
/proc/meminfo: memFree=20579308/32770624 swapFree=67108860/67108860
[pid=5915] ppid=5912 vsize=9972712 memory=18324 CPUtime=0.09 cores=0,2,4,6
/proc/5915/stat : 5915 (java) S 5912 5915 4562 0 -1 1077944320 4237 13057 0 0 1 0 5 3 20 0 6 0 47927940 10212057088 4581 33554432000 4194304 4196468 140733098644784 140733098627328 140652909076215 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
/proc/5915/statm: 2493178 4581 1930 1 0 2481616 0
[pid=5915/tid=5968] ppid=5912 vsize=9972712 memory=-8889949278721851331 CPUtime=0.09 cores=0,2,4,6
/proc/5915/task/5968/stat : 5968 (java) R 5912 5915 4562 0 -1 4202560 2054 13057 0 0 1 0 5 3 20 0 6 0 47927949 10212057088 4581 33554432000 4194304 4196468 140733098644784 140652880912976 140652890469949 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5969] ppid=5912 vsize=9972712 memory=-7522837583129502606 CPUtime=0.08 cores=0,2,4,6
/proc/5915/task/5969/stat : 5969 (java) S 5912 5915 4562 0 -1 1077944384 1 13057 0 0 0 0 5 3 20 0 6 0 47927949 10212057088 4581 33554432000 4194304 4196468 140733098644784 140652913318672 140652909086421 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5970] ppid=5912 vsize=9972712 memory=140564781581952 CPUtime=0.08 cores=0,2,4,6
/proc/5915/task/5970/stat : 5970 (java) S 5912 5915 4562 0 -1 1077944384 1 13057 0 0 0 0 5 3 20 0 6 0 47927949 10212057088 4581 33554432000 4194304 4196468 140733098644784 140652801592208 140652909086421 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5971] ppid=5912 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5915/task/5971/stat : 5971 (java) S 5912 5915 4562 0 -1 1077944384 1 13057 0 0 0 0 5 3 20 0 6 0 47927949 10212057088 4581 33554432000 4194304 4196468 140733098644784 140652800539664 140652909086421 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5972] ppid=5912 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5915/task/5972/stat : 5972 (java) S 5912 5915 4562 0 -1 1077944384 2 13057 0 0 0 0 5 3 20 0 6 0 47927949 10212057088 4581 33554432000 4194304 4196468 140733098644784 140652799487120 140652909086421 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18324 KiB

[startup+0.210455 s]*
/proc/loadavg: 1.42 1.29 1.32 3/217 5981
/proc/meminfo: memFree=20551652/32770624 swapFree=67108860/67108860
[pid=5915] ppid=5912 vsize=10818904 memory=45840 CPUtime=0.26 cores=0,2,4,6
/proc/5915/stat : 5915 (java) S 5912 5915 4562 0 -1 1077944320 7163 13057 0 0 17 1 5 3 20 0 15 0 47927940 11078557696 11460 33554432000 4194304 4196468 140733098644784 140733098627328 140652909076215 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
/proc/5915/statm: 2704726 11460 2955 1 0 2667149 0
[pid=5915/tid=5968] ppid=5912 vsize=10818904 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/5915/task/5968/stat : 5968 (java) R 5912 5915 4562 0 -1 4202560 3895 13057 0 0 11 0 5 3 20 0 15 0 47927949 11078557696 11658 33554432000 4194304 4196468 140733098644784 140652880895416 140652889351936 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5969] ppid=5912 vsize=10818904 memory=331 CPUtime=0.08 cores=0,2,4,6
/proc/5915/task/5969/stat : 5969 (java) S 5912 5915 4562 0 -1 1077944384 1 13057 0 0 0 0 5 3 20 0 15 0 47927949 11078557696 11658 33554432000 4194304 4196468 140733098644784 140652913318672 140652909086421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5970] ppid=5912 vsize=10818904 memory=140564781588124 CPUtime=0.08 cores=0,2,4,6
/proc/5915/task/5970/stat : 5970 (java) S 5912 5915 4562 0 -1 1077944384 1 13057 0 0 0 0 5 3 20 0 15 0 47927949 11078557696 11658 33554432000 4194304 4196468 140733098644784 140652801592208 140652909086421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5971] ppid=5912 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5915/task/5971/stat : 5971 (java) S 5912 5915 4562 0 -1 1077944384 1 13057 0 0 0 0 5 3 20 0 15 0 47927949 11078557696 11658 33554432000 4194304 4196468 140733098644784 140652800539664 140652909086421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5972] ppid=5912 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5915/task/5972/stat : 5972 (java) S 5912 5915 4562 0 -1 1077944384 2 13057 0 0 0 0 5 3 20 0 15 0 47927949 11078557696 11658 33554432000 4194304 4196468 140733098644784 140652799487120 140652909086421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5973] ppid=5912 vsize=10818904 memory=140564781581952 CPUtime=0.08 cores=0,2,4,6
/proc/5915/task/5973/stat : 5973 (java) S 5912 5915 4562 0 -1 1077944384 2 13057 0 0 0 0 5 3 20 0 15 0 47927951 11078557696 11658 33554432000 4194304 4196468 140733098644784 140652368193520 140652909087362 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5974] ppid=5912 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5915/task/5974/stat : 5974 (java) S 5912 5915 4562 0 -1 1077944384 33 13057 0 0 0 0 5 3 20 0 15 0 47927951 11078557696 11658 33554432000 4194304 4196468 140733098644784 140652367139744 140652909086421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5975] ppid=5912 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5915/task/5975/stat : 5975 (java) S 5912 5915 4562 0 -1 1077944384 1 13057 0 0 0 0 5 3 20 0 15 0 47927951 11078557696 11658 33554432000 4194304 4196468 140733098644784 140651790328816 140652909086421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5976] ppid=5912 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5915/task/5976/stat : 5976 (java) S 5912 5915 4562 0 -1 1077944384 2 13057 0 0 0 0 5 3 20 0 15 0 47927954 11078557696 11658 33554432000 4194304 4196468 140733098644784 140651454785744 140652909094811 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5977] ppid=5912 vsize=10818904 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/5915/task/5977/stat : 5977 (java) S 5912 5915 4562 0 -1 1077944384 542 13057 0 0 1 0 5 3 20 0 15 0 47927954 11078557696 11724 33554432000 4194304 4196468 140733098644784 140652333582832 140652909087362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5978] ppid=5912 vsize=10818904 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/5915/task/5978/stat : 5978 (java) S 5912 5915 4562 0 -1 1077944384 62 13057 0 0 1 0 5 3 20 0 15 0 47927954 11078557696 11724 33554432000 4194304 4196468 140733098644784 140652332530288 140652909087362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5979] ppid=5912 vsize=10818904 memory=140564781581952 CPUtime=0.11 cores=0,2,4,6
/proc/5915/task/5979/stat : 5979 (java) S 5912 5915 4562 0 -1 1077944384 620 13057 0 0 3 0 5 3 20 0 15 0 47927954 11078557696 11724 33554432000 4194304 4196468 140733098644784 140652331477744 140652909087362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5980] ppid=5912 vsize=10818904 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5915/task/5980/stat : 5980 (java) S 5912 5915 4562 0 -1 1077944384 3 13057 0 0 0 0 5 3 20 0 15 0 47927954 11078557696 11724 33554432000 4194304 4196468 140733098644784 140651186351200 140652909086421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5981] ppid=5912 vsize=10818904 memory=140564781581952 CPUtime=0.08 cores=0,2,4,6
/proc/5915/task/5981/stat : 5981 (java) S 5912 5915 4562 0 -1 1077944384 1 13057 0 0 0 0 5 3 20 0 15 0 47927955 11078557696 11724 33554432000 4194304 4196468 140733098644784 140652330424624 140652909087362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 45840 KiB

[startup+0.310118 s]*
/proc/loadavg: 1.42 1.29 1.32 3/217 5981
/proc/meminfo: memFree=20539088/32770624 swapFree=67108860/67108860
[pid=5915] ppid=5912 vsize=10819352 memory=59772 CPUtime=0.38 cores=0,2,4,6
/proc/5915/stat : 5915 (java) S 5912 5915 4562 0 -1 1077944320 10007 13057 0 0 28 2 5 3 20 0 15 0 47927940 11079016448 14943 33554432000 4194304 4196468 140733098644784 140733098627328 140652909076215 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
/proc/5915/statm: 2704838 14943 3074 1 0 2667149 0
[pid=5915/tid=5968] ppid=5912 vsize=10819352 memory=8112282956445269571 CPUtime=0.29 cores=0,2,4,6
/proc/5915/task/5968/stat : 5968 (java) R 5912 5915 4562 0 -1 4202560 6544 13057 0 0 19 2 5 3 20 0 15 0 47927949 11079016448 14985 33554432000 4194304 4196468 140733098644784 140652880865744 140652893156702 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5969] ppid=5912 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5915/task/5969/stat : 5969 (java) S 5912 5915 4562 0 -1 1077944384 1 13057 0 0 0 0 5 3 20 0 15 0 47927949 11079016448 14985 33554432000 4194304 4196468 140733098644784 140652913318672 140652909086421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5970] ppid=5912 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5915/task/5970/stat : 5970 (java) S 5912 5915 4562 0 -1 1077944384 1 13057 0 0 0 0 5 3 20 0 15 0 47927949 11079016448 14985 33554432000 4194304 4196468 140733098644784 140652801592208 140652909086421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5971] ppid=5912 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5915/task/5971/stat : 5971 (java) S 5912 5915 4562 0 -1 1077944384 1 13057 0 0 0 0 5 3 20 0 15 0 47927949 11079016448 14985 33554432000 4194304 4196468 140733098644784 140652800539664 140652909086421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5972] ppid=5912 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5915/task/5972/stat : 5972 (java) S 5912 5915 4562 0 -1 1077944384 2 13057 0 0 0 0 5 3 20 0 15 0 47927949 11079016448 14985 33554432000 4194304 4196468 140733098644784 140652799487120 140652909086421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5973] ppid=5912 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5915/task/5973/stat : 5973 (java) S 5912 5915 4562 0 -1 1077944384 2 13057 0 0 0 0 5 3 20 0 15 0 47927951 11079016448 14985 33554432000 4194304 4196468 140733098644784 140652368193520 140652909087362 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5974] ppid=5912 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5915/task/5974/stat : 5974 (java) S 5912 5915 4562 0 -1 1077944384 33 13057 0 0 0 0 5 3 20 0 15 0 47927951 11079016448 14985 33554432000 4194304 4196468 140733098644784 140652367139744 140652909086421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5975] ppid=5912 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5915/task/5975/stat : 5975 (java) S 5912 5915 4562 0 -1 1077944384 1 13057 0 0 0 0 5 3 20 0 15 0 47927951 11079016448 14985 33554432000 4194304 4196468 140733098644784 140651790328816 140652909086421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5976] ppid=5912 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5915/task/5976/stat : 5976 (java) S 5912 5915 4562 0 -1 1077944384 2 13057 0 0 0 0 5 3 20 0 15 0 47927954 11079016448 14985 33554432000 4194304 4196468 140733098644784 140651454785744 140652909094811 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5977] ppid=5912 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/5915/task/5977/stat : 5977 (java) S 5912 5915 4562 0 -1 1077944384 542 13057 0 0 1 0 5 3 20 0 15 0 47927954 11079016448 14985 33554432000 4194304 4196468 140733098644784 140652333582832 140652909087362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5978] ppid=5912 vsize=10819352 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/5915/task/5978/stat : 5978 (java) S 5912 5915 4562 0 -1 1077944384 63 13057 0 0 1 0 5 3 20 0 15 0 47927954 11079016448 14985 33554432000 4194304 4196468 140733098644784 140652332530288 140652909087362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5979] ppid=5912 vsize=10819352 memory=140564781581952 CPUtime=0.12 cores=0,2,4,6
/proc/5915/task/5979/stat : 5979 (java) S 5912 5915 4562 0 -1 1077944384 630 13057 0 0 4 0 5 3 20 0 15 0 47927954 11079016448 14985 33554432000 4194304 4196468 140733098644784 140652331477744 140652909087362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5980] ppid=5912 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5915/task/5980/stat : 5980 (java) S 5912 5915 4562 0 -1 1077944384 3 13057 0 0 0 0 5 3 20 0 15 0 47927954 11079016448 14985 33554432000 4194304 4196468 140733098644784 140651186351200 140652909086421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5981] ppid=5912 vsize=10819352 memory=140564781581952 CPUtime=0.08 cores=0,2,4,6
/proc/5915/task/5981/stat : 5981 (java) S 5912 5915 4562 0 -1 1077944384 1 13057 0 0 0 0 5 3 20 0 15 0 47927955 11079016448 14985 33554432000 4194304 4196468 140733098644784 140652330424624 140652909087362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 59772 KiB

[startup+0.700705 s]
/proc/loadavg: 1.42 1.29 1.32 3/217 5981
/proc/meminfo: memFree=20528768/32770624 swapFree=67108860/67108860
[pid=5915] ppid=5912 vsize=10819352 memory=91960 CPUtime=1 cores=0,2,4,6
/proc/5915/stat : 5915 (java) S 5912 5915 4562 0 -1 1077944320 16173 13057 0 0 88 4 5 3 20 0 15 0 47927940 11079016448 22990 33554432000 4194304 4196468 140733098644784 140733098627328 140652909076215 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
/proc/5915/statm: 2704838 22990 3237 1 0 2667149 0
[pid=5915/tid=5968] ppid=5912 vsize=10819352 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/5915/task/5968/stat : 5968 (java) R 5912 5915 4562 0 -1 4202560 11653 13057 0 0 56 2 5 3 20 0 15 0 47927949 11079016448 22990 33554432000 4194304 4196468 140733098644784 140652880876968 140652889347750 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5969] ppid=5912 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5915/task/5969/stat : 5969 (java) S 5912 5915 4562 0 -1 1077944384 1 13057 0 0 0 0 5 3 20 0 15 0 47927949 11079016448 22990 33554432000 4194304 4196468 140733098644784 140652913318672 140652909086421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5970] ppid=5912 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5915/task/5970/stat : 5970 (java) S 5912 5915 4562 0 -1 1077944384 1 13057 0 0 0 0 5 3 20 0 15 0 47927949 11079016448 22990 33554432000 4194304 4196468 140733098644784 140652801592208 140652909086421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5971] ppid=5912 vsize=10819352 memory=140564683174672 CPUtime=0.08 cores=0,2,4,6
/proc/5915/task/5971/stat : 5971 (java) S 5912 5915 4562 0 -1 1077944384 1 13057 0 0 0 0 5 3 20 0 15 0 47927949 11079016448 22990 33554432000 4194304 4196468 140733098644784 140652800539664 140652909086421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5972] ppid=5912 vsize=10819352 memory=140565689664084 CPUtime=0.08 cores=0,2,4,6
/proc/5915/task/5972/stat : 5972 (java) S 5912 5915 4562 0 -1 1077944384 2 13057 0 0 0 0 5 3 20 0 15 0 47927949 11079016448 22990 33554432000 4194304 4196468 140733098644784 140652799487120 140652909086421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5973] ppid=5912 vsize=10819352 memory=8368 CPUtime=0.08 cores=0,2,4,6
/proc/5915/task/5973/stat : 5973 (java) S 5912 5915 4562 0 -1 1077944384 6 13057 0 0 0 0 5 3 20 0 15 0 47927951 11079016448 22990 33554432000 4194304 4196468 140733098644784 140652368193520 140652909087362 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5974] ppid=5912 vsize=10819352 memory=7662705889289527641 CPUtime=0.08 cores=0,2,4,6
/proc/5915/task/5974/stat : 5974 (java) S 5912 5915 4562 0 -1 1077944384 33 13057 0 0 0 0 5 3 20 0 15 0 47927951 11079016448 22990 33554432000 4194304 4196468 140733098644784 140652367139744 140652909086421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5975] ppid=5912 vsize=10819352 memory=7885635084775281010 CPUtime=0.08 cores=0,2,4,6
/proc/5915/task/5975/stat : 5975 (java) S 5912 5915 4562 0 -1 1077944384 1 13057 0 0 0 0 5 3 20 0 15 0 47927951 11079016448 22990 33554432000 4194304 4196468 140733098644784 140651790328816 140652909086421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5976] ppid=5912 vsize=10819352 memory=16436 CPUtime=0.08 cores=0,2,4,6
/proc/5915/task/5976/stat : 5976 (java) S 5912 5915 4562 0 -1 1077944384 2 13057 0 0 0 0 5 3 20 0 15 0 47927954 11079016448 22990 33554432000 4194304 4196468 140733098644784 140651454785744 140652909094811 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5977] ppid=5912 vsize=10819352 memory=9800 CPUtime=0.18 cores=0,2,4,6
/proc/5915/task/5977/stat : 5977 (java) S 5912 5915 4562 0 -1 1077944384 1157 13057 0 0 10 0 5 3 20 0 15 0 47927954 11079016448 22990 33554432000 4194304 4196468 140733098644784 140652333582832 140652909087362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5978] ppid=5912 vsize=10819352 memory=4008 CPUtime=0.15 cores=0,2,4,6
/proc/5915/task/5978/stat : 5978 (java) S 5912 5915 4562 0 -1 1077944384 437 13057 0 0 7 0 5 3 20 0 15 0 47927954 11079016448 22990 33554432000 4194304 4196468 140733098644784 140652332530288 140652909087362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5979] ppid=5912 vsize=10819352 memory=1796 CPUtime=0.21 cores=0,2,4,6
/proc/5915/task/5979/stat : 5979 (java) S 5912 5915 4562 0 -1 1077944384 687 13057 0 0 13 0 5 3 20 0 15 0 47927954 11079016448 22990 33554432000 4194304 4196468 140733098644784 140652331477744 140652909087362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5980] ppid=5912 vsize=10819352 memory=644 CPUtime=0.08 cores=0,2,4,6
/proc/5915/task/5980/stat : 5980 (java) S 5912 5915 4562 0 -1 1077944384 3 13057 0 0 0 0 5 3 20 0 15 0 47927954 11079016448 22990 33554432000 4194304 4196468 140733098644784 140651186351200 140652909086421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5981] ppid=5912 vsize=10819352 memory=956 CPUtime=0.08 cores=0,2,4,6
/proc/5915/task/5981/stat : 5981 (java) S 5912 5915 4562 0 -1 1077944384 1 13057 0 0 0 0 5 3 20 0 15 0 47927955 11079016448 22990 33554432000 4194304 4196468 140733098644784 140652330424624 140652909087362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 91960 KiB

[startup+1.50447 s]
/proc/loadavg: 1.42 1.29 1.32 3/217 5981
/proc/meminfo: memFree=20485972/32770624 swapFree=67108860/67108860
[pid=5915] ppid=5912 vsize=10828108 memory=184016 CPUtime=3.11 cores=0,2,4,6
/proc/5915/stat : 5915 (java) S 5912 5915 4562 0 -1 1077944320 22383 13057 0 0 296 7 5 3 20 0 15 0 47927940 11087982592 46004 33554432000 4194304 4196468 140733098644784 140733098627328 140652909076215 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
/proc/5915/statm: 2707027 46004 3450 1 0 2668685 0
[pid=5915/tid=5968] ppid=5912 vsize=10828108 memory=68800 CPUtime=1.46 cores=0,2,4,6
/proc/5915/task/5968/stat : 5968 (java) R 5912 5915 4562 0 -1 4202560 14354 13057 0 0 134 4 5 3 20 0 15 0 47927949 11087982592 46004 33554432000 4194304 4196468 140733098644784 140652880909200 140652894461570 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5969] ppid=5912 vsize=10828108 memory=8112282956445269571 CPUtime=0.08 cores=0,2,4,6
/proc/5915/task/5969/stat : 5969 (java) S 5912 5915 4562 0 -1 1077944384 1 13057 0 0 0 0 5 3 20 0 15 0 47927949 11087982592 46004 33554432000 4194304 4196468 140733098644784 140652913318672 140652909086421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5970] ppid=5912 vsize=10828108 memory=281129366380704 CPUtime=0.08 cores=0,2,4,6
/proc/5915/task/5970/stat : 5970 (java) S 5912 5915 4562 0 -1 1077944384 1 13057 0 0 0 0 5 3 20 0 15 0 47927949 11087982592 46004 33554432000 4194304 4196468 140733098644784 140652801592208 140652909086421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5971] ppid=5912 vsize=10828108 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5915/task/5971/stat : 5971 (java) S 5912 5915 4562 0 -1 1077944384 1 13057 0 0 0 0 5 3 20 0 15 0 47927949 11087982592 46004 33554432000 4194304 4196468 140733098644784 140652800539664 140652909086421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5972] ppid=5912 vsize=10828108 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5915/task/5972/stat : 5972 (java) S 5912 5915 4562 0 -1 1077944384 2 13057 0 0 0 0 5 3 20 0 15 0 47927949 11087982592 46004 33554432000 4194304 4196468 140733098644784 140652799487120 140652909086421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5973] ppid=5912 vsize=10828108 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5915/task/5973/stat : 5973 (java) S 5912 5915 4562 0 -1 1077944384 13 13057 0 0 0 0 5 3 20 0 15 0 47927951 11087982592 46004 33554432000 4194304 4196468 140733098644784 140652368193520 140652909087362 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5974] ppid=5912 vsize=10828108 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5915/task/5974/stat : 5974 (java) S 5912 5915 4562 0 -1 1077944384 33 13057 0 0 0 0 5 3 20 0 15 0 47927951 11087982592 46004 33554432000 4194304 4196468 140733098644784 140652367139744 140652909086421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5975] ppid=5912 vsize=10828108 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5915/task/5975/stat : 5975 (java) S 5912 5915 4562 0 -1 1077944384 1 13057 0 0 0 0 5 3 20 0 15 0 47927951 11087982592 46004 33554432000 4194304 4196468 140733098644784 140651790328816 140652909086421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5976] ppid=5912 vsize=10828108 memory=-2746958450906831424 CPUtime=0.08 cores=0,2,4,6
/proc/5915/task/5976/stat : 5976 (java) S 5912 5915 4562 0 -1 1077944384 2 13057 0 0 0 0 5 3 20 0 15 0 47927954 11087982592 46004 33554432000 4194304 4196468 140733098644784 140651454785744 140652909094811 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5977] ppid=5912 vsize=10828108 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/5915/task/5977/stat : 5977 (java) R 5912 5915 4562 0 -1 4202560 2163 13057 0 0 58 0 5 3 20 0 15 0 47927954 11087982592 46004 33554432000 4194304 4196468 140733098644784 140652333569616 140652909088150 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5978] ppid=5912 vsize=10828108 memory=0 CPUtime=0.6 cores=0,2,4,6
/proc/5915/task/5978/stat : 5978 (java) R 5912 5915 4562 0 -1 4202560 1846 13057 0 0 52 0 5 3 20 0 15 0 47927954 11087982592 46004 33554432000 4194304 4196468 140733098644784 140652332514800 140652909097562 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5979] ppid=5912 vsize=10828108 memory=8112282956445269571 CPUtime=0.57 cores=0,2,4,6
/proc/5915/task/5979/stat : 5979 (java) S 5912 5915 4562 0 -1 1077944384 1774 13057 0 0 49 0 5 3 20 0 15 0 47927954 11087982592 46004 33554432000 4194304 4196468 140733098644784 140652331477744 140652909087362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5980] ppid=5912 vsize=10828108 memory=4638778398332698720 CPUtime=0.08 cores=0,2,4,6
/proc/5915/task/5980/stat : 5980 (java) S 5912 5915 4562 0 -1 1077944384 3 13057 0 0 0 0 5 3 20 0 15 0 47927954 11087982592 46004 33554432000 4194304 4196468 140733098644784 140651186351200 140652909086421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5981] ppid=5912 vsize=10828108 memory=281129366625152 CPUtime=0.08 cores=0,2,4,6
/proc/5915/task/5981/stat : 5981 (java) S 5912 5915 4562 0 -1 1077944384 1 13057 0 0 0 0 5 3 20 0 15 0 47927955 11087982592 46004 33554432000 4194304 4196468 140733098644784 140652330424624 140652909087362 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
Current children cumulated CPU time: 3.11 s
Current children cumulated vsize: 10828108 KiB

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

/proc/5915/task/5968/stat : 5968 (java) R 5912 5915 4562 0 -1 4202560 109152 13057 0 0 229911 51 5 3 20 0 15 0 47927949 11180277760 372728 33554432000 4194304 4196468 140733098644784 140652880910480 140652479316564 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5969] ppid=5912 vsize=10918240 memory=1488380 CPUtime=11.75 cores=0,2,4,6
/proc/5915/task/5969/stat : 5969 (java) S 5912 5915 4562 0 -1 1077944384 30175 13057 0 0 1115 52 5 3 20 0 15 0 47927949 11180277760 372728 33554432000 4194304 4196468 140733098644784 140652913318672 140652909086421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5970] ppid=5912 vsize=10918240 memory=1490912 CPUtime=11.71 cores=0,2,4,6
/proc/5915/task/5970/stat : 5970 (java) S 5912 5915 4562 0 -1 1077944384 19826 13057 0 0 1109 54 5 3 20 0 15 0 47927949 11180277760 372728 33554432000 4194304 4196468 140733098644784 140652801592208 140652909086421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5971] ppid=5912 vsize=10918240 memory=1490912 CPUtime=11.72 cores=0,2,4,6
/proc/5915/task/5971/stat : 5971 (java) S 5912 5915 4562 0 -1 1077944384 32572 13057 0 0 1108 56 5 3 20 0 15 0 47927949 11180277760 372728 33554432000 4194304 4196468 140733098644784 140652800539664 140652909086421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5972] ppid=5912 vsize=10918240 memory=1490912 CPUtime=11.71 cores=0,2,4,6
/proc/5915/task/5972/stat : 5972 (java) S 5912 5915 4562 0 -1 1077944384 32753 13057 0 0 1108 55 5 3 20 0 15 0 47927949 11180277760 372728 33554432000 4194304 4196468 140733098644784 140652799487120 140652909086421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5973] ppid=5912 vsize=10918240 memory=1490912 CPUtime=8.91 cores=0,2,4,6
/proc/5915/task/5973/stat : 5973 (java) S 5912 5915 4562 0 -1 1077944384 23924 13057 0 0 840 43 5 3 20 0 15 0 47927951 11180277760 372728 33554432000 4194304 4196468 140733098644784 140652368193520 140652909087362 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5974] ppid=5912 vsize=10918240 memory=1490912 CPUtime=0.08 cores=0,2,4,6
/proc/5915/task/5974/stat : 5974 (java) S 5912 5915 4562 0 -1 1077944384 56 13057 0 0 0 0 5 3 20 0 15 0 47927951 11180277760 372728 33554432000 4194304 4196468 140733098644784 140652367139808 140652909086421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5975] ppid=5912 vsize=10918240 memory=1490912 CPUtime=0.08 cores=0,2,4,6
/proc/5915/task/5975/stat : 5975 (java) S 5912 5915 4562 0 -1 1077944384 17 13057 0 0 0 0 5 3 20 0 15 0 47927951 11180277760 372728 33554432000 4194304 4196468 140733098644784 140651790328832 140652909086421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5976] ppid=5912 vsize=10918240 memory=4140 CPUtime=0.08 cores=0,2,4,6
/proc/5915/task/5976/stat : 5976 (java) S 5912 5915 4562 0 -1 1077944384 2 13057 0 0 0 0 5 3 20 0 15 0 47927954 11180277760 372728 33554432000 4194304 4196468 140733098644784 140651454785744 140652909094811 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5977] ppid=5912 vsize=10918240 memory=928 CPUtime=12.78 cores=0,2,4,6
/proc/5915/task/5977/stat : 5977 (java) S 5912 5915 4562 0 -1 1077944384 78499 13057 0 0 1262 8 5 3 20 0 15 0 47927954 11180277760 372728 33554432000 4194304 4196468 140733098644784 140652333582832 140652909087362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5978] ppid=5912 vsize=10918240 memory=2240 CPUtime=12.7 cores=0,2,4,6
/proc/5915/task/5978/stat : 5978 (java) S 5912 5915 4562 0 -1 1077944384 87498 13057 0 0 1254 8 5 3 20 0 15 0 47927954 11180277760 372728 33554432000 4194304 4196468 140733098644784 140652332530288 140652909087362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5979] ppid=5912 vsize=10918240 memory=4616 CPUtime=5.06 cores=0,2,4,6
/proc/5915/task/5979/stat : 5979 (java) S 5912 5915 4562 0 -1 1077944384 89527 13057 0 0 487 11 5 3 20 0 15 0 47927954 11180277760 372728 33554432000 4194304 4196468 140733098644784 140652331477744 140652909087362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5980] ppid=5912 vsize=10918240 memory=1428 CPUtime=0.08 cores=0,2,4,6
/proc/5915/task/5980/stat : 5980 (java) S 5912 5915 4562 0 -1 1077944384 3 13057 0 0 0 0 5 3 20 0 15 0 47927954 11180277760 372728 33554432000 4194304 4196468 140733098644784 140651186351200 140652909086421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5981] ppid=5912 vsize=10918240 memory=1200 CPUtime=1.34 cores=0,2,4,6
/proc/5915/task/5981/stat : 5981 (java) S 5912 5915 4562 0 -1 1077944384 1650 13057 0 0 62 64 5 3 20 0 15 0 47927955 11180277760 372728 33554432000 4194304 4196468 140733098644784 140652330424624 140652909087362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
Current children cumulated CPU time: 2386.78 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1490912 KiB

[startup+2382.3 s]
/proc/loadavg: 1.49 1.31 1.30 3/216 6083
/proc/meminfo: memFree=19428912/32770624 swapFree=67108860/67108860
[pid=5915] ppid=5912 vsize=10918240 memory=1490952 CPUtime=2447.7 cores=0,2,4,6
/proc/5915/stat : 5915 (java) S 5912 5915 4562 0 -1 1077944320 509596 13057 0 0 244402 360 5 3 20 0 15 0 47927940 11180277760 372738 33554432000 4194304 4196468 140733098644784 140733098627328 140652909076215 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
/proc/5915/statm: 2729560 372738 3533 1 0 2691213 0
[pid=5915/tid=5968] ppid=5912 vsize=10918240 memory=1490948 CPUtime=2359.13 cores=0,2,4,6
/proc/5915/task/5968/stat : 5968 (java) R 5912 5915 4562 0 -1 4202560 109913 13057 0 0 235853 52 5 3 20 0 15 0 47927949 11180277760 372738 33554432000 4194304 4196468 140733098644784 140652880909936 140652485485050 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5969] ppid=5912 vsize=10918240 memory=840 CPUtime=12.06 cores=0,2,4,6
/proc/5915/task/5969/stat : 5969 (java) S 5912 5915 4562 0 -1 1077944384 30263 13057 0 0 1145 53 5 3 20 0 15 0 47927949 11180277760 372738 33554432000 4194304 4196468 140733098644784 140652913318672 140652909086421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5970] ppid=5912 vsize=10918240 memory=1490948 CPUtime=12 cores=0,2,4,6
/proc/5915/task/5970/stat : 5970 (java) S 5912 5915 4562 0 -1 1077944384 19939 13057 0 0 1137 55 5 3 20 0 15 0 47927949 11180277760 372738 33554432000 4194304 4196468 140733098644784 140652801592208 140652909086421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5971] ppid=5912 vsize=10918240 memory=1490952 CPUtime=12.02 cores=0,2,4,6
/proc/5915/task/5971/stat : 5971 (java) S 5912 5915 4562 0 -1 1077944384 32672 13057 0 0 1137 57 5 3 20 0 15 0 47927949 11180277760 372738 33554432000 4194304 4196468 140733098644784 140652800539664 140652909086421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5972] ppid=5912 vsize=10918240 memory=1490952 CPUtime=12.02 cores=0,2,4,6
/proc/5915/task/5972/stat : 5972 (java) S 5912 5915 4562 0 -1 1077944384 32976 13057 0 0 1138 56 5 3 20 0 15 0 47927949 11180277760 372738 33554432000 4194304 4196468 140733098644784 140652799487120 140652909086421 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5973] ppid=5912 vsize=10918240 memory=1490952 CPUtime=9.15 cores=0,2,4,6
/proc/5915/task/5973/stat : 5973 (java) S 5912 5915 4562 0 -1 1077944384 24350 13057 0 0 862 45 5 3 20 0 15 0 47927951 11180277760 372738 33554432000 4194304 4196468 140733098644784 140652368193520 140652909087362 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5974] ppid=5912 vsize=10918240 memory=1490948 CPUtime=0.08 cores=0,2,4,6
/proc/5915/task/5974/stat : 5974 (java) S 5912 5915 4562 0 -1 1077944384 56 13057 0 0 0 0 5 3 20 0 15 0 47927951 11180277760 372738 33554432000 4194304 4196468 140733098644784 140652367139808 140652909086421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5975] ppid=5912 vsize=10918240 memory=1490936 CPUtime=0.08 cores=0,2,4,6
/proc/5915/task/5975/stat : 5975 (java) S 5912 5915 4562 0 -1 1077944384 17 13057 0 0 0 0 5 3 20 0 15 0 47927951 11180277760 372738 33554432000 4194304 4196468 140733098644784 140651790328832 140652909086421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5976] ppid=5912 vsize=10918240 memory=1490948 CPUtime=0.08 cores=0,2,4,6
/proc/5915/task/5976/stat : 5976 (java) S 5912 5915 4562 0 -1 1077944384 2 13057 0 0 0 0 5 3 20 0 15 0 47927954 11180277760 372738 33554432000 4194304 4196468 140733098644784 140651454785744 140652909094811 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5977] ppid=5912 vsize=10918240 memory=1490948 CPUtime=12.78 cores=0,2,4,6
/proc/5915/task/5977/stat : 5977 (java) S 5912 5915 4562 0 -1 1077944384 78503 13057 0 0 1262 8 5 3 20 0 15 0 47927954 11180277760 372738 33554432000 4194304 4196468 140733098644784 140652333582832 140652909087362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5978] ppid=5912 vsize=10918240 memory=840 CPUtime=12.7 cores=0,2,4,6
/proc/5915/task/5978/stat : 5978 (java) S 5912 5915 4562 0 -1 1077944384 87502 13057 0 0 1254 8 5 3 20 0 15 0 47927954 11180277760 372738 33554432000 4194304 4196468 140733098644784 140652332530288 140652909087362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5979] ppid=5912 vsize=10918240 memory=1796 CPUtime=5.06 cores=0,2,4,6
/proc/5915/task/5979/stat : 5979 (java) S 5912 5915 4562 0 -1 1077944384 89531 13057 0 0 487 11 5 3 20 0 15 0 47927954 11180277760 372738 33554432000 4194304 4196468 140733098644784 140652331477744 140652909087362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5980] ppid=5912 vsize=10918240 memory=1490952 CPUtime=0.08 cores=0,2,4,6
/proc/5915/task/5980/stat : 5980 (java) S 5912 5915 4562 0 -1 1077944384 3 13057 0 0 0 0 5 3 20 0 15 0 47927954 11180277760 372738 33554432000 4194304 4196468 140733098644784 140651186351200 140652909086421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5981] ppid=5912 vsize=10918240 memory=1240 CPUtime=1.37 cores=0,2,4,6
/proc/5915/task/5981/stat : 5981 (java) S 5912 5915 4562 0 -1 1077944384 1681 13057 0 0 64 65 5 3 20 0 15 0 47927955 11180277760 372738 33554432000 4194304 4196468 140733098644784 140652330424624 140652909087362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
Current children cumulated CPU time: 2447.7 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1490952 KiB

[startup+2442.3 s]
/proc/loadavg: 1.63 1.39 1.33 3/216 6212
/proc/meminfo: memFree=19201836/32770624 swapFree=67108860/67108860
[pid=5915] ppid=5912 vsize=10918240 memory=1490984 CPUtime=2508.6 cores=0,2,4,6
/proc/5915/stat : 5915 (java) S 5912 5915 4562 0 -1 1077944320 510741 13057 0 0 250486 366 5 3 20 0 15 0 47927940 11180277760 372746 33554432000 4194304 4196468 140733098644784 140733098627328 140652909076215 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
/proc/5915/statm: 2729560 372746 3533 1 0 2691213 0
[pid=5915/tid=5968] ppid=5912 vsize=10918240 memory=1490952 CPUtime=2418.53 cores=0,2,4,6
/proc/5915/task/5968/stat : 5968 (java) R 5912 5915 4562 0 -1 4202560 110515 13057 0 0 241793 52 5 3 20 0 15 0 47927949 11180277760 372746 33554432000 4194304 4196468 140733098644784 140652880910560 140652494497632 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5969] ppid=5912 vsize=10918240 memory=1490948 CPUtime=12.36 cores=0,2,4,6
/proc/5915/task/5969/stat : 5969 (java) S 5912 5915 4562 0 -1 1077944384 30317 13057 0 0 1174 54 5 3 20 0 15 0 47927949 11180277760 372746 33554432000 4194304 4196468 140733098644784 140652913318672 140652909086421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5970] ppid=5912 vsize=10918240 memory=1490952 CPUtime=12.31 cores=0,2,4,6
/proc/5915/task/5970/stat : 5970 (java) S 5912 5915 4562 0 -1 1077944384 20050 13057 0 0 1167 56 5 3 20 0 15 0 47927949 11180277760 372746 33554432000 4194304 4196468 140733098644784 140652801592208 140652909086421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5971] ppid=5912 vsize=10918240 memory=1490984 CPUtime=12.33 cores=0,2,4,6
/proc/5915/task/5971/stat : 5971 (java) S 5912 5915 4562 0 -1 1077944384 32766 13057 0 0 1167 58 5 3 20 0 15 0 47927949 11180277760 372746 33554432000 4194304 4196468 140733098644784 140652800539664 140652909086421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5972] ppid=5912 vsize=10918240 memory=1490984 CPUtime=12.32 cores=0,2,4,6
/proc/5915/task/5972/stat : 5972 (java) S 5912 5915 4562 0 -1 1077944384 33015 13057 0 0 1167 57 5 3 20 0 15 0 47927949 11180277760 372746 33554432000 4194304 4196468 140733098644784 140652799487120 140652909086421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5973] ppid=5912 vsize=10918240 memory=1490984 CPUtime=9.38 cores=0,2,4,6
/proc/5915/task/5973/stat : 5973 (java) S 5912 5915 4562 0 -1 1077944384 24572 13057 0 0 884 46 5 3 20 0 15 0 47927951 11180277760 372746 33554432000 4194304 4196468 140733098644784 140652368193520 140652909087362 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5974] ppid=5912 vsize=10918240 memory=1490984 CPUtime=0.08 cores=0,2,4,6
/proc/5915/task/5974/stat : 5974 (java) S 5912 5915 4562 0 -1 1077944384 56 13057 0 0 0 0 5 3 20 0 15 0 47927951 11180277760 372746 33554432000 4194304 4196468 140733098644784 140652367139808 140652909086421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5975] ppid=5912 vsize=10918240 memory=1490984 CPUtime=0.08 cores=0,2,4,6
/proc/5915/task/5975/stat : 5975 (java) S 5912 5915 4562 0 -1 1077944384 17 13057 0 0 0 0 5 3 20 0 15 0 47927951 11180277760 372746 33554432000 4194304 4196468 140733098644784 140651790328832 140652909086421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5976] ppid=5912 vsize=10918240 memory=1490984 CPUtime=0.08 cores=0,2,4,6
/proc/5915/task/5976/stat : 5976 (java) S 5912 5915 4562 0 -1 1077944384 2 13057 0 0 0 0 5 3 20 0 15 0 47927954 11180277760 372746 33554432000 4194304 4196468 140733098644784 140651454785744 140652909094811 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5977] ppid=5912 vsize=10918240 memory=1490984 CPUtime=12.78 cores=0,2,4,6
/proc/5915/task/5977/stat : 5977 (java) S 5912 5915 4562 0 -1 1077944384 78505 13057 0 0 1262 8 5 3 20 0 15 0 47927954 11180277760 372746 33554432000 4194304 4196468 140733098644784 140652333582832 140652909087362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5978] ppid=5912 vsize=10918240 memory=1490984 CPUtime=12.7 cores=0,2,4,6
/proc/5915/task/5978/stat : 5978 (java) S 5912 5915 4562 0 -1 1077944384 87504 13057 0 0 1254 8 5 3 20 0 15 0 47927954 11180277760 372746 33554432000 4194304 4196468 140733098644784 140652332530288 140652909087362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5979] ppid=5912 vsize=10918240 memory=1490984 CPUtime=5.06 cores=0,2,4,6
/proc/5915/task/5979/stat : 5979 (java) S 5912 5915 4562 0 -1 1077944384 89533 13057 0 0 487 11 5 3 20 0 15 0 47927954 11180277760 372746 33554432000 4194304 4196468 140733098644784 140652331477744 140652909087362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5980] ppid=5912 vsize=10918240 memory=8112282956445269571 CPUtime=0.08 cores=0,2,4,6
/proc/5915/task/5980/stat : 5980 (java) S 5912 5915 4562 0 -1 1077944384 3 13057 0 0 0 0 5 3 20 0 15 0 47927954 11180277760 372746 33554432000 4194304 4196468 140733098644784 140651186351200 140652909086421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5981] ppid=5912 vsize=10918240 memory=4008 CPUtime=1.41 cores=0,2,4,6
/proc/5915/task/5981/stat : 5981 (java) S 5912 5915 4562 0 -1 1077944384 1698 13057 0 0 66 67 5 3 20 0 15 0 47927955 11180277760 372746 33554432000 4194304 4196468 140733098644784 140652330424624 140652909087362 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
Current children cumulated CPU time: 2508.6 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1490984 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2453.6 s]
/proc/loadavg: 1.54 1.38 1.33 3/216 6212
/proc/meminfo: memFree=19103720/32770624 swapFree=67108860/67108860
[pid=5915] ppid=5912 vsize=10918240 memory=1490996 CPUtime=2520.08 cores=0,2,4,6
/proc/5915/stat : 5915 (java) S 5912 5915 4562 0 -1 1077944320 511031 13057 0 0 251632 368 5 3 20 0 15 0 47927940 11180277760 372749 33554432000 4194304 4196468 140733098644784 140733098627328 140652909076215 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
/proc/5915/statm: 2729560 372749 3533 1 0 2691213 0
[pid=5915/tid=5968] ppid=5912 vsize=10918240 memory=2436 CPUtime=2429.72 cores=0,2,4,6
/proc/5915/task/5968/stat : 5968 (java) R 5912 5915 4562 0 -1 4202560 110660 13057 0 0 242912 52 5 3 20 0 15 0 47927949 11180277760 372749 33554432000 4194304 4196468 140733098644784 140652880910512 140652502577109 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5969] ppid=5912 vsize=10918240 memory=1296 CPUtime=12.43 cores=0,2,4,6
/proc/5915/task/5969/stat : 5969 (java) S 5912 5915 4562 0 -1 1077944384 30377 13057 0 0 1180 55 5 3 20 0 15 0 47927949 11180277760 372749 33554432000 4194304 4196468 140733098644784 140652913318672 140652909086421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5970] ppid=5912 vsize=10918240 memory=8112282956445269571 CPUtime=12.37 cores=0,2,4,6
/proc/5915/task/5970/stat : 5970 (java) S 5912 5915 4562 0 -1 1077944384 20070 13057 0 0 1173 56 5 3 20 0 15 0 47927949 11180277760 372749 33554432000 4194304 4196468 140733098644784 140652801592208 140652909086421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5971] ppid=5912 vsize=10918240 memory=1728 CPUtime=12.39 cores=0,2,4,6
/proc/5915/task/5971/stat : 5971 (java) S 5912 5915 4562 0 -1 1077944384 32774 13057 0 0 1173 58 5 3 20 0 15 0 47927949 11180277760 372749 33554432000 4194304 4196468 140733098644784 140652800539664 140652909086421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5972] ppid=5912 vsize=10918240 memory=1008 CPUtime=12.38 cores=0,2,4,6
/proc/5915/task/5972/stat : 5972 (java) S 5912 5915 4562 0 -1 1077944384 33040 13057 0 0 1173 57 5 3 20 0 15 0 47927949 11180277760 372749 33554432000 4194304 4196468 140733098644784 140652799487120 140652909086421 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5973] ppid=5912 vsize=10918240 memory=5520 CPUtime=9.44 cores=0,2,4,6
/proc/5915/task/5973/stat : 5973 (java) S 5912 5915 4562 0 -1 1077944384 24596 13057 0 0 889 47 5 3 20 0 15 0 47927951 11180277760 372749 33554432000 4194304 4196468 140733098644784 140652368193520 140652909087362 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5974] ppid=5912 vsize=10918240 memory=4616 CPUtime=0.08 cores=0,2,4,6
/proc/5915/task/5974/stat : 5974 (java) S 5912 5915 4562 0 -1 1077944384 56 13057 0 0 0 0 5 3 20 0 15 0 47927951 11180277760 372749 33554432000 4194304 4196468 140733098644784 140652367139808 140652909086421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5975] ppid=5912 vsize=10918240 memory=2812 CPUtime=0.08 cores=0,2,4,6
/proc/5915/task/5975/stat : 5975 (java) S 5912 5915 4562 0 -1 1077944384 17 13057 0 0 0 0 5 3 20 0 15 0 47927951 11180277760 372749 33554432000 4194304 4196468 140733098644784 140651790328832 140652909086421 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5976] ppid=5912 vsize=10918240 memory=1316244 CPUtime=0.08 cores=0,2,4,6
/proc/5915/task/5976/stat : 5976 (java) S 5912 5915 4562 0 -1 1077944384 2 13057 0 0 0 0 5 3 20 0 15 0 47927954 11180277760 372749 33554432000 4194304 4196468 140733098644784 140651454785744 140652909094811 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5977] ppid=5912 vsize=10918240 memory=8112282956445269571 CPUtime=12.78 cores=0,2,4,6
/proc/5915/task/5977/stat : 5977 (java) S 5912 5915 4562 0 -1 1077944384 78507 13057 0 0 1262 8 5 3 20 0 15 0 47927954 11180277760 372749 33554432000 4194304 4196468 140733098644784 140652333582832 140652909087362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5978] ppid=5912 vsize=10918240 memory=0 CPUtime=12.7 cores=0,2,4,6
/proc/5915/task/5978/stat : 5978 (java) S 5912 5915 4562 0 -1 1077944384 87506 13057 0 0 1254 8 5 3 20 0 15 0 47927954 11180277760 372749 33554432000 4194304 4196468 140733098644784 140652332530288 140652909087362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5979] ppid=5912 vsize=10918240 memory=0 CPUtime=5.06 cores=0,2,4,6
/proc/5915/task/5979/stat : 5979 (java) S 5912 5915 4562 0 -1 1077944384 89535 13057 0 0 487 11 5 3 20 0 15 0 47927954 11180277760 372749 33554432000 4194304 4196468 140733098644784 140652331477744 140652909087362 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5980] ppid=5912 vsize=10918240 memory=2241 CPUtime=0.08 cores=0,2,4,6
/proc/5915/task/5980/stat : 5980 (java) S 5912 5915 4562 0 -1 1077944384 3 13057 0 0 0 0 5 3 20 0 15 0 47927954 11180277760 372749 33554432000 4194304 4196468 140733098644784 140651186351200 140652909086421 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
[pid=5915/tid=5981] ppid=5912 vsize=10918240 memory=2244 CPUtime=1.41 cores=0,2,4,6
/proc/5915/task/5981/stat : 5981 (java) S 5912 5915 4562 0 -1 1077944384 1700 13057 0 0 66 67 5 3 20 0 15 0 47927955 11180277760 372749 33554432000 4194304 4196468 140733098644784 140652330424624 140652909087362 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25899008 140733098646127 140733098648924 140733098648924 140733098651599 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1490996 KiB

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

[startup+2453.63 s]
# the end of solver process 5915 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2516.39 s, system=3.72662 s

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

Child status: 143
Real time (s): 2453.63
CPU time (s): 2520.12
CPU user time (s): 2516.39
CPU system time (s): 3.72662
CPU usage (%): 102.71
Max. virtual memory (cumulated for all children) (KiB): 10918240
Max. memory (cumulated for all children) (KiB): 1807624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.39
system time used= 3.72662
maximum resident set size= 1811208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 525466
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 252760
involuntary context switches= 7862


# summary of solver processes directly reported to runsolver:
#   pid: 5915
#   total CPU time (s): 2520.12
#   total CPU user time (s): 2516.39
#   total CPU system time (s): 3.72662

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.0088 second user time and 23.2853 second system time

The end

Launcher Data 

Begin job on node136 at 2018-07-23 01:54:08
IDJOB=4292993
IDBENCH=141056
IDSOLVER=2750
FILE ID=node136/4292993-1532303648
RUNJOBID= node136-1532296223-4593
PBS_JOBID= 21018988
Free space on /tmp= 57084 MiB

SOLVER NAME= Concrete 3.8 2018-06-13
BENCH NAME= XCSP18/NurseRostering/NurseRostering-17_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4292993-1532303648/watcher-4292993-1532303648 -o /tmp/evaluation-result-4292993-1532303648/solver-4292993-1532303648 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532296223-4593 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=530127001 HOME/instance-4292993-1532303648.xml

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

MD5SUM BENCH= e10494f4d2f2bb4c080233ff8f9dca75
RANDOM SEED=530127001

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        20586288 kB
MemAvailable:   30621368 kB
Buffers:          252764 kB
Cached:          9987416 kB
SwapCached:            0 kB
Active:          2555308 kB
Inactive:        9056700 kB
Active(anon):    1375056 kB
Inactive(anon):    16916 kB
Active(file):    1180252 kB
Inactive(file):  9039784 kB
Unevictable:        7336 kB
Mlocked:            7336 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             26948 kB
Writeback:             0 kB
AnonPages:       1462212 kB
Mapped:            49624 kB
Shmem:             17036 kB
Slab:             270620 kB
SReclaimable:     243504 kB
SUnreclaim:        27116 kB
KernelStack:        3824 kB
PageTables:         8048 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2407528 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1228800 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 57060 MiB
End job on node136 at 2018-07-23 02:35:01