Trace number 4304173

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.9.2? (TO) 2520.1 2451.74

General information on the benchmark

NameNurseRostering/
NurseRostering-15_c18.xml
MD5SUM08877e0fafa48cd5ca524d34b6939bef
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark43817
Best CPU time to get the best result obtained on this benchmark2519.82
Satisfiable
(Un)Satisfiability was proved
Number of variables3553
Number of constraints9202
Number of domains26
Minimum domain size1
Maximum domain size46
Distribution of domain sizes[{"size":1,"count":135},{"size":2,"count":760},{"size":3,"count":8},{"size":4,"count":30},{"size":5,"count":14},{"size":7,"count":1890},{"size":8,"count":2},{"size":9,"count":2},{"size":12,"count":2},{"size":13,"count":11},{"size":15,"count":15},{"size":20,"count":10},{"size":22,"count":38},{"size":43,"count":90},{"size":46,"count":546}]
Minimum variable degree2
Maximum variable degree31
Distribution of variable degrees[{"degree":2,"count":1393},{"degree":3,"count":270},{"degree":18,"count":2},{"degree":19,"count":33},{"degree":20,"count":47},{"degree":21,"count":9},{"degree":22,"count":30},{"degree":23,"count":52},{"degree":24,"count":74},{"degree":25,"count":66},{"degree":26,"count":110},{"degree":27,"count":537},{"degree":28,"count":506},{"degree":29,"count":252},{"degree":30,"count":135},{"degree":31,"count":37}]
Minimum constraint arity2
Maximum constraint arity180
Distribution of constraint arities[{"arity":2,"count":3337},{"arity":3,"count":3120},{"arity":4,"count":390},{"arity":6,"count":1340},{"arity":7,"count":405},{"arity":43,"count":315},{"arity":46,"count":294},{"arity":180,"count":1}]
Number of extensional constraints2139
Number of intensional constraints1116
Distribution of constraint types[{"type":"extension","count":2139},{"type":"intension","count":1116},{"type":"regular","count":3592},{"type":"sum","count":90},{"type":"count","count":2264},{"type":"instantiation","count":1}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

0.97/0.74	c Concrete v3.9.2.1532736233296 running
20.37/8.20	c 05:22:53.277 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26570. 'extension(6, x[1][35]=[0‥6]) :: init: true :: relation: MDD 633468398, 14 edges, 5 vertices, 15 tuples
20.37/8.20	c 05:22:53.281 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26571. 'extension(6, x[1][35]=[0‥6]) :: init: true :: relation: MDD 1681875321, 7 edges, 3 vertices, 6 tuples
20.58/8.20	c 05:22:53.287 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26603. 'extension(x[0][19]=[0‥6], 6) :: init: true :: relation: MDD 355900787, 14 edges, 5 vertices, 15 tuples
20.58/8.20	c 05:22:53.288 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26640. 'extension(x[0][32]=[0‥6], 6) :: init: true :: relation: MDD 1570578713, 14 edges, 5 vertices, 15 tuples
20.58/8.21	c 05:22:53.289 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26641. 'extension(6, x[2][32]=[0‥6]) :: init: true :: relation: MDD 1570578713, 14 edges, 5 vertices, 15 tuples
20.58/8.21	c 05:22:53.291 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26677. 'extension(x[0][34]=[0‥6], 6) :: init: true :: relation: MDD 1589370464, 14 edges, 5 vertices, 15 tuples
20.58/8.21	c 05:22:53.292 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26678. 'extension(6, x[2][34]=[0‥6]) :: init: true :: relation: MDD 1589370464, 14 edges, 5 vertices, 15 tuples
20.58/8.21	c 05:22:53.294 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26714. 'extension(x[0][43]=[0‥6], 6) :: init: true :: relation: MDD 768647376, 14 edges, 5 vertices, 15 tuples
20.58/8.21	c 05:22:53.295 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26715. 'extension(6, x[2][43]=[0‥6]) :: init: true :: relation: MDD 768647376, 14 edges, 5 vertices, 15 tuples
20.58/8.21	c 05:22:53.297 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26750. 'extension(x[1][1]=[0‥6], 6) :: init: true :: relation: MDD 1991010480, 14 edges, 5 vertices, 15 tuples
20.58/8.21	c 05:22:53.298 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26789. 'extension(x[1][11]=[0‥6], 6) :: init: true :: relation: MDD 1879644274, 14 edges, 5 vertices, 15 tuples
20.58/8.22	c 05:22:53.299 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26828. 'extension(x[1][12]=[0‥6], 6) :: init: true :: relation: MDD 23568923, 14 edges, 5 vertices, 15 tuples
20.58/8.22	c 05:22:53.300 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26829. 'extension(6, x[3][12]=[0‥6]) :: init: true :: relation: MDD 23568923, 14 edges, 5 vertices, 15 tuples
20.58/8.22	c 05:22:53.302 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26870. 'extension(6, 6) :: init: true :: relation: MDD 355900787, 14 edges, 5 vertices, 15 tuples
20.58/8.22	c 05:22:53.304 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26909. 'extension(6, 6) :: init: true :: relation: MDD 1991010480, 14 edges, 5 vertices, 15 tuples
20.58/8.22	c 05:22:53.305 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26946. 'extension(x[2][8]=[0‥6], 6) :: init: true :: relation: MDD 1522549999, 14 edges, 5 vertices, 15 tuples
20.58/8.22	c 05:22:53.306 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26986. 'extension(6, x[4][11]=[0‥6]) :: init: true :: relation: MDD 1879644274, 14 edges, 5 vertices, 15 tuples
20.58/8.22	c 05:22:53.307 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 26989. 'extension(6, 6) :: init: true :: relation: MDD 1879644274, 14 edges, 5 vertices, 15 tuples
20.58/8.23	c 05:22:53.309 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27026. 'extension(x[2][14]=[0‥6], 6) :: init: true :: relation: MDD 1821310436, 14 edges, 5 vertices, 15 tuples
20.58/8.23	c 05:22:53.309 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27027. 'extension(6, x[4][14]=[0‥6]) :: init: true :: relation: MDD 1821310436, 14 edges, 5 vertices, 15 tuples
20.58/8.23	c 05:22:53.311 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27069. 'extension(6, 6) :: init: true :: relation: MDD 355900787, 14 edges, 5 vertices, 15 tuples
20.58/8.23	c 05:22:53.312 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27106. 'extension(x[2][42]=[0‥6], 6) :: init: true :: relation: MDD 1489251468, 14 edges, 5 vertices, 15 tuples
20.58/8.23	c 05:22:53.313 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27107. 'extension(6, x[4][42]=[0‥6]) :: init: true :: relation: MDD 1489251468, 14 edges, 5 vertices, 15 tuples
20.58/8.23	c 05:22:53.315 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27146. 'extension(6, x[5][1]=[0‥6]) :: init: true :: relation: MDD 1991010480, 14 edges, 5 vertices, 15 tuples
20.58/8.23	c 05:22:53.316 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27149. 'extension(6, 6) :: init: true :: relation: MDD 1991010480, 14 edges, 5 vertices, 15 tuples
20.58/8.23	c 05:22:53.317 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27187. 'extension(6, x[5][8]=[0‥6]) :: init: true :: relation: MDD 1522549999, 14 edges, 5 vertices, 15 tuples
20.58/8.24	c 05:22:53.318 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27190. 'extension(6, 6) :: init: true :: relation: MDD 1522549999, 14 edges, 5 vertices, 15 tuples
20.58/8.24	c 05:22:53.320 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27228. 'extension(6, x[5][19]=[0‥6]) :: init: true :: relation: MDD 355900787, 14 edges, 5 vertices, 15 tuples
20.58/8.24	c 05:22:53.320 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27231. 'extension(6, 6) :: init: true :: relation: MDD 355900787, 14 edges, 5 vertices, 15 tuples
20.58/8.24	c 05:22:53.323 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27269. 'extension(6, wk[0][0]=[0‥1]) :: init: true :: relation: MDD 1514723919, 7 edges, 3 vertices, 6 tuples
20.58/8.24	c 05:22:53.323 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27270. 'extension(x[4][0]=[0‥6], 6) :: init: true :: relation: MDD 1300016164, 14 edges, 5 vertices, 15 tuples
20.58/8.24	c 05:22:53.324 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27271. 'extension(6, x[6][0]=[0‥6]) :: init: true :: relation: MDD 1300016164, 14 edges, 5 vertices, 15 tuples
20.58/8.24	c 05:22:53.326 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27312. 'extension(6, wk[3][0]=[0‥1]) :: init: true :: relation: MDD 11646065, 7 edges, 3 vertices, 6 tuples
20.58/8.24	c 05:22:53.326 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27313. 'extension(x[4][3]=[0‥6], 6) :: init: true :: relation: MDD 1502710927, 14 edges, 5 vertices, 15 tuples
20.58/8.24	c 05:22:53.327 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27355. 'extension(6, wk[7][0]=[0‥1]) :: init: true :: relation: MDD 665448485, 7 edges, 3 vertices, 6 tuples
20.58/8.24	c 05:22:53.328 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27356. 'extension(x[4][7]=[0‥6], 6) :: init: true :: relation: MDD 1382159617, 14 edges, 5 vertices, 15 tuples
20.58/8.25	c 05:22:53.329 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27398. 'extension(6, wk[20][0]=[0‥1]) :: init: true :: relation: MDD 700791887, 7 edges, 3 vertices, 6 tuples
20.58/8.25	c 05:22:53.329 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27399. 'extension(x[4][20]=[0‥6], 6) :: init: true :: relation: MDD 685438214, 14 edges, 5 vertices, 15 tuples
20.58/8.25	c 05:22:53.330 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27441. 'extension(6, wk[30][0]=[0‥1]) :: init: true :: relation: MDD 1940407755, 7 edges, 3 vertices, 6 tuples
20.58/8.26	c 05:22:53.331 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27442. 'extension(x[4][30]=[0‥6], 6) :: init: true :: relation: MDD 700286427, 14 edges, 5 vertices, 15 tuples
20.58/8.26	c 05:22:53.331 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27443. 'extension(6, x[6][30]=[0‥6]) :: init: true :: relation: MDD 700286427, 14 edges, 5 vertices, 15 tuples
20.58/8.26	c 05:22:53.334 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27485. 'extension(6, wk[3][0]=[0‥1]) :: init: true :: relation: MDD 1327169167, 7 edges, 3 vertices, 6 tuples
20.58/8.26	c 05:22:53.334 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27489. 'extension(6, 6) :: init: true :: relation: MDD 1502710927, 14 edges, 5 vertices, 15 tuples
20.58/8.26	c 05:22:53.335 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27528. 'extension(6, wk[7][0]=[0‥1]) :: init: true :: relation: MDD 1630903943, 7 edges, 3 vertices, 6 tuples
20.58/8.26	c 05:22:53.335 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27532. 'extension(6, 6) :: init: true :: relation: MDD 1382159617, 14 edges, 5 vertices, 15 tuples
20.58/8.26	c 05:22:53.336 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27571. 'extension(6, wk[16][0]=[0‥1]) :: init: true :: relation: MDD 568717494, 7 edges, 3 vertices, 6 tuples
20.58/8.26	c 05:22:53.336 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27572. 'extension(x[5][16]=[0‥6], 6) :: init: true :: relation: MDD 88286953, 14 edges, 5 vertices, 15 tuples
20.58/8.26	c 05:22:53.337 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27573. 'extension(6, x[7][16]=[0‥6]) :: init: true :: relation: MDD 88286953, 14 edges, 5 vertices, 15 tuples
20.58/8.26	c 05:22:53.338 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27614. 'extension(6, wk[20][0]=[0‥1]) :: init: true :: relation: MDD 786722925, 7 edges, 3 vertices, 6 tuples
20.58/8.26	c 05:22:53.339 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27618. 'extension(6, 6) :: init: true :: relation: MDD 685438214, 14 edges, 5 vertices, 15 tuples
20.58/8.26	c 05:22:53.339 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27657. 'extension(6, wk[23][0]=[0‥1]) :: init: true :: relation: MDD 759840275, 7 edges, 3 vertices, 6 tuples
20.58/8.26	c 05:22:53.340 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27658. 'extension(x[5][23]=[0‥6], 6) :: init: true :: relation: MDD 1680630881, 14 edges, 5 vertices, 15 tuples
20.58/8.26	c 05:22:53.340 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27659. 'extension(6, x[7][23]=[0‥6]) :: init: true :: relation: MDD 1680630881, 14 edges, 5 vertices, 15 tuples
20.58/8.26	c 05:22:53.342 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27700. 'extension(6, wk[32][0]=[0‥1]) :: init: true :: relation: MDD 5557427, 7 edges, 3 vertices, 6 tuples
20.58/8.26	c 05:22:53.342 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27701. 'extension(x[5][32]=[0‥6], 6) :: init: true :: relation: MDD 1570578713, 14 edges, 5 vertices, 15 tuples
20.58/8.26	c 05:22:53.343 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27745. 'extension(6, wk[36][0]=[0‥1]) :: init: true :: relation: MDD 2125081542, 7 edges, 3 vertices, 6 tuples
20.58/8.26	c 05:22:53.344 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27746. 'extension(x[5][36]=[0‥6], 6) :: init: true :: relation: MDD 1064052579, 14 edges, 5 vertices, 15 tuples
20.58/8.26	c 05:22:53.344 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27747. 'extension(6, x[7][36]=[0‥6]) :: init: true :: relation: MDD 1064052579, 14 edges, 5 vertices, 15 tuples
20.58/8.26	c 05:22:53.347 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27790. 'extension(x[6][2]=[0‥6], 6) :: init: true :: relation: MDD 1735608827, 14 edges, 5 vertices, 15 tuples
20.58/8.26	c 05:22:53.347 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27791. 'extension(6, x[8][2]=[0‥6]) :: init: true :: relation: MDD 1735608827, 14 edges, 5 vertices, 15 tuples
20.58/8.26	c 05:22:53.348 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27835. 'extension(6, 6) :: init: true :: relation: MDD 1502710927, 14 edges, 5 vertices, 15 tuples
20.58/8.26	c 05:22:53.349 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27877. 'extension(6, 6) :: init: true :: relation: MDD 1382159617, 14 edges, 5 vertices, 15 tuples
20.58/8.27	c 05:22:53.349 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27916. 'extension(x[6][18]=[0‥6], 6) :: init: true :: relation: MDD 1180773372, 14 edges, 5 vertices, 15 tuples
20.58/8.27	c 05:22:53.350 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 27961. 'extension(6, 6) :: init: true :: relation: MDD 685438214, 14 edges, 5 vertices, 15 tuples
20.58/8.27	c 05:22:53.351 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28000. 'extension(x[6][25]=[0‥6], 6) :: init: true :: relation: MDD 293757848, 14 edges, 5 vertices, 15 tuples
20.58/8.27	c 05:22:53.351 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28001. 'extension(6, x[8][25]=[0‥6]) :: init: true :: relation: MDD 293757848, 14 edges, 5 vertices, 15 tuples
20.58/8.27	c 05:22:53.353 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28042. 'extension(x[6][26]=[0‥6], 6) :: init: true :: relation: MDD 412416671, 14 edges, 5 vertices, 15 tuples
20.58/8.27	c 05:22:53.354 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28084. 'extension(6, x[8][32]=[0‥6]) :: init: true :: relation: MDD 1570578713, 14 edges, 5 vertices, 15 tuples
20.58/8.27	c 05:22:53.354 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28087. 'extension(6, 6) :: init: true :: relation: MDD 1570578713, 14 edges, 5 vertices, 15 tuples
20.58/8.27	c 05:22:53.356 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28128. 'extension(6, x[9][3]=[0‥6]) :: init: true :: relation: MDD 1502710927, 14 edges, 5 vertices, 15 tuples
20.58/8.27	c 05:22:53.357 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28131. 'extension(6, 6) :: init: true :: relation: MDD 1502710927, 14 edges, 5 vertices, 15 tuples
20.58/8.27	c 05:22:53.358 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28170. 'extension(x[7][5]=[0‥6], 6) :: init: true :: relation: MDD 1236833317, 14 edges, 5 vertices, 15 tuples
20.58/8.28	c 05:22:53.359 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28212. 'extension(6, x[9][7]=[0‥6]) :: init: true :: relation: MDD 1382159617, 14 edges, 5 vertices, 15 tuples
20.58/8.28	c 05:22:53.359 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28215. 'extension(6, 6) :: init: true :: relation: MDD 1382159617, 14 edges, 5 vertices, 15 tuples
20.58/8.28	c 05:22:53.361 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28254. 'extension(x[7][9]=[0‥6], 6) :: init: true :: relation: MDD 283747838, 14 edges, 5 vertices, 15 tuples
20.58/8.28	c 05:22:53.361 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28255. 'extension(6, x[9][9]=[0‥6]) :: init: true :: relation: MDD 283747838, 14 edges, 5 vertices, 15 tuples
20.58/8.28	c 05:22:53.363 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28299. 'extension(6, 6) :: init: true :: relation: MDD 1180773372, 14 edges, 5 vertices, 15 tuples
20.58/8.28	c 05:22:53.364 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28338. 'extension(6, x[9][20]=[0‥6]) :: init: true :: relation: MDD 685438214, 14 edges, 5 vertices, 15 tuples
20.58/8.28	c 05:22:53.364 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28341. 'extension(6, 6) :: init: true :: relation: MDD 685438214, 14 edges, 5 vertices, 15 tuples
20.58/8.28	c 05:22:53.366 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28383. 'extension(6, 6) :: init: true :: relation: MDD 412416671, 14 edges, 5 vertices, 15 tuples
20.58/8.28	c 05:22:53.367 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28425. 'extension(6, 6) :: init: true :: relation: MDD 1236833317, 14 edges, 5 vertices, 15 tuples
20.58/8.28	c 05:22:53.367 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28467. 'extension(6, 6) :: init: true :: relation: MDD 1180773372, 14 edges, 5 vertices, 15 tuples
20.58/8.29	c 05:22:53.368 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28506. 'extension(x[8][23]=[0‥6], 6) :: init: true :: relation: MDD 1680630881, 14 edges, 5 vertices, 15 tuples
20.58/8.29	c 05:22:53.368 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28507. 'extension(6, x[10][23]=[0‥6]) :: init: true :: relation: MDD 1680630881, 14 edges, 5 vertices, 15 tuples
20.58/8.29	c 05:22:53.370 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28548. 'extension(6, x[10][26]=[0‥6]) :: init: true :: relation: MDD 412416671, 14 edges, 5 vertices, 15 tuples
20.58/8.29	c 05:22:53.371 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28551. 'extension(6, 6) :: init: true :: relation: MDD 412416671, 14 edges, 5 vertices, 15 tuples
20.58/8.29	c 05:22:53.371 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28590. 'extension(x[8][40]=[0‥6], 6) :: init: true :: relation: MDD 1210819761, 14 edges, 5 vertices, 15 tuples
20.58/8.29	c 05:22:53.373 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28632. 'extension(x[9][0]=[0‥6], 6) :: init: true :: relation: MDD 1300016164, 14 edges, 5 vertices, 15 tuples
20.58/8.29	c 05:22:53.373 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28633. 'extension(6, x[11][0]=[0‥6]) :: init: true :: relation: MDD 1300016164, 14 edges, 5 vertices, 15 tuples
20.58/8.29	c 05:22:53.375 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28677. 'extension(6, 6) :: init: true :: relation: MDD 1236833317, 14 edges, 5 vertices, 15 tuples
20.58/8.29	c 05:22:53.375 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28716. 'extension(x[9][12]=[0‥6], 6) :: init: true :: relation: MDD 23568923, 14 edges, 5 vertices, 15 tuples
20.58/8.29	c 05:22:53.376 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28758. 'extension(6, x[11][18]=[0‥6]) :: init: true :: relation: MDD 1180773372, 14 edges, 5 vertices, 15 tuples
20.58/8.29	c 05:22:53.376 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28761. 'extension(6, 6) :: init: true :: relation: MDD 1180773372, 14 edges, 5 vertices, 15 tuples
20.58/8.29	c 05:22:53.378 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28800. 'extension(x[9][25]=[0‥6], 6) :: init: true :: relation: MDD 293757848, 14 edges, 5 vertices, 15 tuples
20.58/8.30	c 05:22:53.379 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28845. 'extension(6, 6) :: init: true :: relation: MDD 1210819761, 14 edges, 5 vertices, 15 tuples
20.58/8.30	c 05:22:53.380 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28884. 'extension(6, x[12][5]=[0‥6]) :: init: true :: relation: MDD 1236833317, 14 edges, 5 vertices, 15 tuples
20.58/8.30	c 05:22:53.380 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28887. 'extension(6, 6) :: init: true :: relation: MDD 1236833317, 14 edges, 5 vertices, 15 tuples
20.58/8.30	c 05:22:53.382 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28929. 'extension(6, 6) :: init: true :: relation: MDD 23568923, 14 edges, 5 vertices, 15 tuples
20.58/8.30	c 05:22:53.383 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 28971. 'extension(6, 6) :: init: true :: relation: MDD 293757848, 14 edges, 5 vertices, 15 tuples
20.58/8.30	c 05:22:53.383 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29010. 'extension(x[10][32]=[0‥6], 6) :: init: true :: relation: MDD 1570578713, 14 edges, 5 vertices, 15 tuples
20.58/8.30	c 05:22:53.384 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29011. 'extension(6, x[12][32]=[0‥6]) :: init: true :: relation: MDD 1570578713, 14 edges, 5 vertices, 15 tuples
20.93/8.30	c 05:22:53.386 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29054. 'extension(6, x[12][40]=[0‥6]) :: init: true :: relation: MDD 1210819761, 14 edges, 5 vertices, 15 tuples
20.93/8.30	c 05:22:53.387 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29057. 'extension(6, 6) :: init: true :: relation: MDD 1210819761, 14 edges, 5 vertices, 15 tuples
20.93/8.30	c 05:22:53.388 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29096. 'extension(6, wk[12][1]=[0‥1]) :: init: true :: relation: MDD 1429610243, 7 edges, 3 vertices, 6 tuples
20.93/8.31	c 05:22:53.389 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29097. 'extension(6, x[13][12]=[0‥6]) :: init: true :: relation: MDD 23568923, 14 edges, 5 vertices, 15 tuples
20.93/8.31	c 05:22:53.389 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29100. 'extension(6, 6) :: init: true :: relation: MDD 23568923, 14 edges, 5 vertices, 15 tuples
20.93/8.31	c 05:22:53.390 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29139. 'extension(6, wk[13][1]=[0‥1]) :: init: true :: relation: MDD 1414411897, 7 edges, 3 vertices, 6 tuples
20.93/8.31	c 05:22:53.391 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29140. 'extension(x[11][13]=[0‥6], 6) :: init: true :: relation: MDD 71364493, 14 edges, 5 vertices, 15 tuples
20.93/8.31	c 05:22:53.391 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29182. 'extension(6, wk[17][1]=[0‥1]) :: init: true :: relation: MDD 1402751024, 7 edges, 3 vertices, 6 tuples
20.93/8.31	c 05:22:53.392 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29183. 'extension(x[11][17]=[0‥6], 6) :: init: true :: relation: MDD 974168055, 14 edges, 5 vertices, 15 tuples
20.93/8.31	c 05:22:53.392 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29225. 'extension(6, wk[21][1]=[0‥1]) :: init: true :: relation: MDD 1352294549, 7 edges, 3 vertices, 6 tuples
20.93/8.31	c 05:22:53.393 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29226. 'extension(x[11][21]=[0‥6], 6) :: init: true :: relation: MDD 776919575, 14 edges, 5 vertices, 15 tuples
20.93/8.31	c 05:22:53.393 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29227. 'extension(6, x[13][21]=[0‥6]) :: init: true :: relation: MDD 776919575, 14 edges, 5 vertices, 15 tuples
20.93/8.31	c 05:22:53.394 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29268. 'extension(6, wk[25][1]=[0‥1]) :: init: true :: relation: MDD 1436610577, 7 edges, 3 vertices, 6 tuples
20.93/8.31	c 05:22:53.395 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29269. 'extension(6, x[13][25]=[0‥6]) :: init: true :: relation: MDD 293757848, 14 edges, 5 vertices, 15 tuples
20.93/8.31	c 05:22:53.395 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29272. 'extension(6, 6) :: init: true :: relation: MDD 293757848, 14 edges, 5 vertices, 15 tuples
20.93/8.31	c 05:22:53.397 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29311. 'extension(6, wk[13][1]=[0‥1]) :: init: true :: relation: MDD 588985851, 7 edges, 3 vertices, 6 tuples
20.93/8.31	c 05:22:53.397 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29315. 'extension(6, 6) :: init: true :: relation: MDD 71364493, 14 edges, 5 vertices, 15 tuples
20.93/8.31	c 05:22:53.397 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29354. 'extension(6, wk[17][1]=[0‥1]) :: init: true :: relation: MDD 42684986, 7 edges, 3 vertices, 6 tuples
20.93/8.31	c 05:22:53.398 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29358. 'extension(6, 6) :: init: true :: relation: MDD 974168055, 14 edges, 5 vertices, 15 tuples
20.93/8.31	c 05:22:53.398 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29397. 'extension(6, wk[23][1]=[0‥1]) :: init: true :: relation: MDD 1789791855, 7 edges, 3 vertices, 6 tuples
20.93/8.32	c 05:22:53.399 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29398. 'extension(x[12][23]=[0‥6], 6) :: init: true :: relation: MDD 1680630881, 14 edges, 5 vertices, 15 tuples
20.93/8.32	c 05:22:53.399 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29440. 'extension(6, wk[43][1]=[0‥1]) :: init: true :: relation: MDD 667237426, 7 edges, 3 vertices, 6 tuples
20.93/8.32	c 05:22:53.399 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29441. 'extension(x[12][43]=[0‥6], 6) :: init: true :: relation: MDD 768647376, 14 edges, 5 vertices, 15 tuples
20.93/8.32	c 05:22:53.401 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29482. 'extension(x[13][10]=[0‥6], 6) :: init: true :: relation: MDD 1010040056, 14 edges, 5 vertices, 15 tuples
20.93/8.32	c 05:22:53.401 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29527. 'extension(6, 6) :: init: true :: relation: MDD 71364493, 14 edges, 5 vertices, 15 tuples
20.93/8.32	c 05:22:53.402 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29566. 'extension(6, x[15][17]=[0‥6]) :: init: true :: relation: MDD 974168055, 14 edges, 5 vertices, 15 tuples
20.93/8.32	c 05:22:53.402 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29569. 'extension(6, 6) :: init: true :: relation: MDD 974168055, 14 edges, 5 vertices, 15 tuples
20.93/8.32	c 05:22:53.403 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29608. 'extension(6, x[15][23]=[0‥6]) :: init: true :: relation: MDD 1680630881, 14 edges, 5 vertices, 15 tuples
20.93/8.32	c 05:22:53.404 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29611. 'extension(6, 6) :: init: true :: relation: MDD 1680630881, 14 edges, 5 vertices, 15 tuples
20.93/8.32	c 05:22:53.405 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29650. 'extension(6, x[15][43]=[0‥6]) :: init: true :: relation: MDD 768647376, 14 edges, 5 vertices, 15 tuples
20.93/8.33	c 05:22:53.409 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29653. 'extension(6, 6) :: init: true :: relation: MDD 768647376, 14 edges, 5 vertices, 15 tuples
20.93/8.33	c 05:22:53.410 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29694. 'extension(6, 6) :: init: true :: relation: MDD 1010040056, 14 edges, 5 vertices, 15 tuples
20.93/8.33	c 05:22:53.411 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29733. 'extension(6, x[16][13]=[0‥6]) :: init: true :: relation: MDD 71364493, 14 edges, 5 vertices, 15 tuples
20.93/8.33	c 05:22:53.411 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29736. 'extension(6, 6) :: init: true :: relation: MDD 71364493, 14 edges, 5 vertices, 15 tuples
20.93/8.33	c 05:22:53.413 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29775. 'extension(x[14][21]=[0‥6], 6) :: init: true :: relation: MDD 776919575, 14 edges, 5 vertices, 15 tuples
20.93/8.33	c 05:22:53.413 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29817. 'extension(x[14][33]=[0‥6], 6) :: init: true :: relation: MDD 1318538142, 14 edges, 5 vertices, 15 tuples
20.93/8.33	c 05:22:53.414 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29861. 'extension(x[14][41]=[0‥6], 6) :: init: true :: relation: MDD 1664998412, 14 edges, 5 vertices, 15 tuples
20.93/8.33	c 05:22:53.415 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29903. 'extension(6, x[17][10]=[0‥6]) :: init: true :: relation: MDD 1010040056, 14 edges, 5 vertices, 15 tuples
20.93/8.33	c 05:22:53.415 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29906. 'extension(6, 6) :: init: true :: relation: MDD 1010040056, 14 edges, 5 vertices, 15 tuples
20.93/8.33	c 05:22:53.416 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29945. 'extension(6, x[17][21]=[0‥6]) :: init: true :: relation: MDD 776919575, 14 edges, 5 vertices, 15 tuples
20.93/8.33	c 05:22:53.417 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29948. 'extension(6, 6) :: init: true :: relation: MDD 776919575, 14 edges, 5 vertices, 15 tuples
20.93/8.33	c 05:22:53.418 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29987. 'extension(6, x[17][33]=[0‥6]) :: init: true :: relation: MDD 1318538142, 14 edges, 5 vertices, 15 tuples
20.93/8.33	c 05:22:53.418 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 29990. 'extension(6, 6) :: init: true :: relation: MDD 1318538142, 14 edges, 5 vertices, 15 tuples
20.93/8.34	c 05:22:53.419 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30031. 'extension(6, x[17][41]=[0‥6]) :: init: true :: relation: MDD 1664998412, 14 edges, 5 vertices, 15 tuples
20.93/8.34	c 05:22:53.420 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30034. 'extension(6, 6) :: init: true :: relation: MDD 1664998412, 14 edges, 5 vertices, 15 tuples
20.93/8.34	c 05:22:53.421 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30073. 'extension(x[15][43]=[0‥6], 6) :: init: true :: relation: MDD 768647376, 14 edges, 5 vertices, 15 tuples
20.93/8.34	c 05:22:53.421 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30074. 'extension(6, x[17][43]=[0‥6]) :: init: true :: relation: MDD 768647376, 14 edges, 5 vertices, 15 tuples
20.93/8.34	c 05:22:53.423 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30114. 'extension(x[15][44]=[0‥6], 6) :: init: true :: relation: MDD 558576687, 14 edges, 5 vertices, 15 tuples
20.93/8.34	c 05:22:53.423 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30115. 'extension(6, x[17][44]=[0‥6]) :: init: true :: relation: MDD 558576687, 14 edges, 5 vertices, 15 tuples
20.93/8.34	c 05:22:53.424 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30155. 'extension(x[17][6]=[0‥6], 6) :: init: true :: relation: MDD 1243470467, 14 edges, 5 vertices, 15 tuples
20.93/8.34	c 05:22:53.425 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30197. 'extension(6, wk[6][2]=[0‥1]) :: init: true :: relation: MDD 1357663228, 7 edges, 3 vertices, 6 tuples
20.93/8.34	c 05:22:53.426 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30198. 'extension(6, x[20][6]=[0‥6]) :: init: true :: relation: MDD 1243470467, 14 edges, 5 vertices, 15 tuples
20.93/8.34	c 05:22:53.426 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30201. 'extension(6, 6) :: init: true :: relation: MDD 1243470467, 14 edges, 5 vertices, 15 tuples
20.93/8.34	c 05:22:53.427 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30240. 'extension(6, wk[27][2]=[0‥1]) :: init: true :: relation: MDD 610056415, 7 edges, 3 vertices, 6 tuples
20.93/8.34	c 05:22:53.427 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30241. 'extension(x[18][27]=[0‥6], 6) :: init: true :: relation: MDD 1160278903, 14 edges, 5 vertices, 15 tuples
20.93/8.34	c 05:22:53.428 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30283. 'extension(6, wk[37][2]=[0‥1]) :: init: true :: relation: MDD 874277570, 7 edges, 3 vertices, 6 tuples
20.93/8.34	c 05:22:53.428 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30284. 'extension(x[18][37]=[0‥6], 6) :: init: true :: relation: MDD 709379856, 14 edges, 5 vertices, 15 tuples
20.93/8.34	c 05:22:53.429 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30328. 'extension(6, wk[27][2]=[0‥1]) :: init: true :: relation: MDD 605787935, 7 edges, 3 vertices, 6 tuples
20.93/8.35	c 05:22:53.429 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30329. 'extension(6, x[21][27]=[0‥6]) :: init: true :: relation: MDD 1160278903, 14 edges, 5 vertices, 15 tuples
20.93/8.35	c 05:22:53.430 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30332. 'extension(6, 6) :: init: true :: relation: MDD 1160278903, 14 edges, 5 vertices, 15 tuples
20.93/8.35	c 05:22:53.430 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30371. 'extension(6, wk[29][2]=[0‥1]) :: init: true :: relation: MDD 1794666800, 7 edges, 3 vertices, 6 tuples
20.93/8.35	c 05:22:53.431 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30372. 'extension(x[19][29]=[0‥6], 6) :: init: true :: relation: MDD 1310147631, 14 edges, 5 vertices, 15 tuples
20.93/8.35	c 05:22:53.431 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30414. 'extension(6, wk[31][2]=[0‥1]) :: init: true :: relation: MDD 535361000, 7 edges, 3 vertices, 6 tuples
20.93/8.35	c 05:22:53.431 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30415. 'extension(x[19][31]=[0‥6], 6) :: init: true :: relation: MDD 940077890, 14 edges, 5 vertices, 15 tuples
20.93/8.35	c 05:22:53.432 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30459. 'extension(6, wk[37][2]=[0‥1]) :: init: true :: relation: MDD 2021466012, 7 edges, 3 vertices, 6 tuples
20.93/8.35	c 05:22:53.432 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30463. 'extension(6, 6) :: init: true :: relation: MDD 709379856, 14 edges, 5 vertices, 15 tuples
20.93/8.35	c 05:22:53.433 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30504. 'extension(x[20][9]=[0‥6], 6) :: init: true :: relation: MDD 283747838, 14 edges, 5 vertices, 15 tuples
20.93/8.35	c 05:22:53.434 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30546. 'extension(6, x[22][29]=[0‥6]) :: init: true :: relation: MDD 1310147631, 14 edges, 5 vertices, 15 tuples
20.93/8.35	c 05:22:53.434 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30549. 'extension(6, 6) :: init: true :: relation: MDD 1310147631, 14 edges, 5 vertices, 15 tuples
20.93/8.35	c 05:22:53.435 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30591. 'extension(6, 6) :: init: true :: relation: MDD 940077890, 14 edges, 5 vertices, 15 tuples
20.93/8.35	c 05:22:53.435 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30632. 'extension(x[20][33]=[0‥6], 6) :: init: true :: relation: MDD 1318538142, 14 edges, 5 vertices, 15 tuples
20.93/8.35	c 05:22:53.436 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30633. 'extension(6, x[22][33]=[0‥6]) :: init: true :: relation: MDD 1318538142, 14 edges, 5 vertices, 15 tuples
20.93/8.35	c 05:22:53.437 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30676. 'extension(6, x[22][37]=[0‥6]) :: init: true :: relation: MDD 709379856, 14 edges, 5 vertices, 15 tuples
20.93/8.35	c 05:22:53.438 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30679. 'extension(6, 6) :: init: true :: relation: MDD 709379856, 14 edges, 5 vertices, 15 tuples
20.93/8.35	c 05:22:53.439 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30723. 'extension(6, 6) :: init: true :: relation: MDD 283747838, 14 edges, 5 vertices, 15 tuples
20.93/8.36	c 05:22:53.439 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30765. 'extension(6, 6) :: init: true :: relation: MDD 940077890, 14 edges, 5 vertices, 15 tuples
20.93/8.36	c 05:22:53.440 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30806. 'extension(x[21][44]=[0‥6], 6) :: init: true :: relation: MDD 558576687, 14 edges, 5 vertices, 15 tuples
20.93/8.36	c 05:22:53.441 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30847. 'extension(6, x[24][9]=[0‥6]) :: init: true :: relation: MDD 283747838, 14 edges, 5 vertices, 15 tuples
20.93/8.36	c 05:22:53.441 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30850. 'extension(6, 6) :: init: true :: relation: MDD 283747838, 14 edges, 5 vertices, 15 tuples
20.93/8.36	c 05:22:53.442 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30889. 'extension(x[22][11]=[0‥6], 6) :: init: true :: relation: MDD 1879644274, 14 edges, 5 vertices, 15 tuples
20.93/8.36	c 05:22:53.443 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30931. 'extension(6, x[24][31]=[0‥6]) :: init: true :: relation: MDD 940077890, 14 edges, 5 vertices, 15 tuples
20.93/8.36	c 05:22:53.443 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30934. 'extension(6, 6) :: init: true :: relation: MDD 940077890, 14 edges, 5 vertices, 15 tuples
20.93/8.36	c 05:22:53.445 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30975. 'extension(x[22][42]=[0‥6], 6) :: init: true :: relation: MDD 1489251468, 14 edges, 5 vertices, 15 tuples
20.93/8.36	c 05:22:53.445 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 30976. 'extension(6, x[24][42]=[0‥6]) :: init: true :: relation: MDD 1489251468, 14 edges, 5 vertices, 15 tuples
20.93/8.36	c 05:22:53.446 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31017. 'extension(6, x[24][44]=[0‥6]) :: init: true :: relation: MDD 558576687, 14 edges, 5 vertices, 15 tuples
20.93/8.36	c 05:22:53.446 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31020. 'extension(6, 6) :: init: true :: relation: MDD 558576687, 14 edges, 5 vertices, 15 tuples
20.93/8.36	c 05:22:53.447 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31058. 'extension(6, x[25][11]=[0‥6]) :: init: true :: relation: MDD 1879644274, 14 edges, 5 vertices, 15 tuples
20.93/8.36	c 05:22:53.448 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31061. 'extension(6, 6) :: init: true :: relation: MDD 1879644274, 14 edges, 5 vertices, 15 tuples
20.93/8.37	c 05:22:53.449 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31100. 'extension(x[23][34]=[0‥6], 6) :: init: true :: relation: MDD 1589370464, 14 edges, 5 vertices, 15 tuples
20.93/8.37	c 05:22:53.450 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31147. 'extension(6, 6) :: init: true :: relation: MDD 1589370464, 14 edges, 5 vertices, 15 tuples
20.93/8.37	c 05:22:53.451 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31188. 'extension(x[24][38]=[0‥6], 6) :: init: true :: relation: MDD 718781734, 14 edges, 5 vertices, 15 tuples
20.93/8.37	c 05:22:53.451 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31189. 'extension(6, x[26][38]=[0‥6]) :: init: true :: relation: MDD 718781734, 14 edges, 5 vertices, 15 tuples
20.93/8.37	c 05:22:53.452 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31232. 'extension(6, wk[26][3]=[0‥1]) :: init: true :: relation: MDD 1383675856, 7 edges, 3 vertices, 6 tuples
20.93/8.37	c 05:22:53.453 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31233. 'extension(x[25][26]=[0‥6], 6) :: init: true :: relation: MDD 412416671, 14 edges, 5 vertices, 15 tuples
20.93/8.37	c 05:22:53.453 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31234. 'extension(6, x[27][26]=[0‥6]) :: init: true :: relation: MDD 412416671, 14 edges, 5 vertices, 15 tuples
20.93/8.37	c 05:22:53.454 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31275. 'extension(6, wk[34][3]=[0‥1]) :: init: true :: relation: MDD 1191430552, 7 edges, 3 vertices, 6 tuples
20.93/8.37	c 05:22:53.455 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31276. 'extension(6, x[27][34]=[0‥6]) :: init: true :: relation: MDD 1589370464, 14 edges, 5 vertices, 15 tuples
20.93/8.37	c 05:22:53.455 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31279. 'extension(6, 6) :: init: true :: relation: MDD 1589370464, 14 edges, 5 vertices, 15 tuples
20.93/8.37	c 05:22:53.457 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31320. 'extension(6, wk[37][3]=[0‥1]) :: init: true :: relation: MDD 2087831689, 7 edges, 3 vertices, 6 tuples
20.93/8.37	c 05:22:53.457 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31321. 'extension(x[25][37]=[0‥6], 6) :: init: true :: relation: MDD 709379856, 14 edges, 5 vertices, 15 tuples
20.93/8.37	c 05:22:53.457 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31322. 'extension(6, x[27][37]=[0‥6]) :: init: true :: relation: MDD 709379856, 14 edges, 5 vertices, 15 tuples
20.93/8.38	c 05:22:53.459 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31365. 'extension(6, wk[41][3]=[0‥1]) :: init: true :: relation: MDD 1452493025, 7 edges, 3 vertices, 6 tuples
20.93/8.38	c 05:22:53.459 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31366. 'extension(x[25][41]=[0‥6], 6) :: init: true :: relation: MDD 1664998412, 14 edges, 5 vertices, 15 tuples
20.93/8.38	c 05:22:53.460 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31408. 'extension(6, wk[44][3]=[0‥1]) :: init: true :: relation: MDD 302905744, 7 edges, 3 vertices, 6 tuples
20.93/8.38	c 05:22:53.460 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31409. 'extension(x[25][44]=[0‥6], 6) :: init: true :: relation: MDD 558576687, 14 edges, 5 vertices, 15 tuples
20.93/8.38	c 05:22:53.460 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31410. 'extension(6, x[27][44]=[0‥6]) :: init: true :: relation: MDD 558576687, 14 edges, 5 vertices, 15 tuples
20.93/8.38	c 05:22:53.462 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31450. 'extension(6, wk[16][3]=[0‥1]) :: init: true :: relation: MDD 822958001, 7 edges, 3 vertices, 6 tuples
20.93/8.38	c 05:22:53.462 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31451. 'extension(x[26][16]=[0‥6], 6) :: init: true :: relation: MDD 88286953, 14 edges, 5 vertices, 15 tuples
20.93/8.38	c 05:22:53.463 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31493. 'extension(6, wk[28][3]=[0‥1]) :: init: true :: relation: MDD 1211071216, 7 edges, 3 vertices, 6 tuples
20.93/8.38	c 05:22:53.463 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31494. 'extension(x[26][28]=[0‥6], 6) :: init: true :: relation: MDD 904351240, 14 edges, 5 vertices, 15 tuples
20.93/8.38	c 05:22:53.464 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31536. 'extension(6, wk[29][3]=[0‥1]) :: init: true :: relation: MDD 923911964, 7 edges, 3 vertices, 6 tuples
20.93/8.38	c 05:22:53.464 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31537. 'extension(x[26][29]=[0‥6], 6) :: init: true :: relation: MDD 1310147631, 14 edges, 5 vertices, 15 tuples
20.93/8.38	c 05:22:53.465 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31579. 'extension(6, wk[41][3]=[0‥1]) :: init: true :: relation: MDD 1081836597, 7 edges, 3 vertices, 6 tuples
20.93/8.38	c 05:22:53.465 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31580. 'extension(6, x[28][41]=[0‥6]) :: init: true :: relation: MDD 1664998412, 14 edges, 5 vertices, 15 tuples
20.93/8.38	c 05:22:53.465 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31583. 'extension(6, 6) :: init: true :: relation: MDD 1664998412, 14 edges, 5 vertices, 15 tuples
20.93/8.38	c 05:22:53.467 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31622. 'extension(x[27][14]=[0‥6], 6) :: init: true :: relation: MDD 1821310436, 14 edges, 5 vertices, 15 tuples
20.93/8.38	c 05:22:53.467 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31667. 'extension(6, 6) :: init: true :: relation: MDD 88286953, 14 edges, 5 vertices, 15 tuples
20.93/8.38	c 05:22:53.468 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31706. 'extension(6, x[29][28]=[0‥6]) :: init: true :: relation: MDD 904351240, 14 edges, 5 vertices, 15 tuples
20.93/8.38	c 05:22:53.468 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31709. 'extension(6, 6) :: init: true :: relation: MDD 904351240, 14 edges, 5 vertices, 15 tuples
20.93/8.39	c 05:22:53.469 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31748. 'extension(6, x[29][29]=[0‥6]) :: init: true :: relation: MDD 1310147631, 14 edges, 5 vertices, 15 tuples
20.93/8.39	c 05:22:53.470 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31751. 'extension(6, 6) :: init: true :: relation: MDD 1310147631, 14 edges, 5 vertices, 15 tuples
20.93/8.39	c 05:22:53.471 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31790. 'extension(x[27][38]=[0‥6], 6) :: init: true :: relation: MDD 718781734, 14 edges, 5 vertices, 15 tuples
20.93/8.39	c 05:22:53.472 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31834. 'extension(x[28][4]=[0‥6], 6) :: init: true :: relation: MDD 1907982059, 14 edges, 5 vertices, 15 tuples
20.93/8.39	c 05:22:53.472 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31879. 'extension(6, 6) :: init: true :: relation: MDD 1821310436, 14 edges, 5 vertices, 15 tuples
20.93/8.39	c 05:22:53.473 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31918. 'extension(6, x[30][16]=[0‥6]) :: init: true :: relation: MDD 88286953, 14 edges, 5 vertices, 15 tuples
20.93/8.39	c 05:22:53.473 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31921. 'extension(6, 6) :: init: true :: relation: MDD 88286953, 14 edges, 5 vertices, 15 tuples
20.93/8.39	c 05:22:53.474 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 31960. 'extension(x[28][22]=[0‥6], 6) :: init: true :: relation: MDD 2040477002, 14 edges, 5 vertices, 15 tuples
20.93/8.39	c 05:22:53.475 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32005. 'extension(6, 6) :: init: true :: relation: MDD 718781734, 14 edges, 5 vertices, 15 tuples
20.93/8.39	c 05:22:53.476 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32046. 'extension(x[28][40]=[0‥6], 6) :: init: true :: relation: MDD 1210819761, 14 edges, 5 vertices, 15 tuples
20.93/8.39	c 05:22:53.476 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32047. 'extension(6, x[30][40]=[0‥6]) :: init: true :: relation: MDD 1210819761, 14 edges, 5 vertices, 15 tuples
20.93/8.39	c 05:22:53.478 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32091. 'extension(6, 6) :: init: true :: relation: MDD 1907982059, 14 edges, 5 vertices, 15 tuples
20.93/8.39	c 05:22:53.478 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32130. 'extension(6, x[31][14]=[0‥6]) :: init: true :: relation: MDD 1821310436, 14 edges, 5 vertices, 15 tuples
20.93/8.39	c 05:22:53.479 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32133. 'extension(6, 6) :: init: true :: relation: MDD 1821310436, 14 edges, 5 vertices, 15 tuples
20.93/8.40	c 05:22:53.480 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32175. 'extension(6, 6) :: init: true :: relation: MDD 2040477002, 14 edges, 5 vertices, 15 tuples
20.93/8.40	c 05:22:53.480 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32214. 'extension(x[29][27]=[0‥6], 6) :: init: true :: relation: MDD 1160278903, 14 edges, 5 vertices, 15 tuples
21.16/8.40	c 05:22:53.482 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32256. 'extension(x[29][36]=[0‥6], 6) :: init: true :: relation: MDD 1064052579, 14 edges, 5 vertices, 15 tuples
21.16/8.40	c 05:22:53.482 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32300. 'extension(6, x[31][38]=[0‥6]) :: init: true :: relation: MDD 718781734, 14 edges, 5 vertices, 15 tuples
21.16/8.40	c 05:22:53.483 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32303. 'extension(6, 6) :: init: true :: relation: MDD 718781734, 14 edges, 5 vertices, 15 tuples
21.16/8.40	c 05:22:53.484 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32347. 'extension(6, 6) :: init: true :: relation: MDD 1907982059, 14 edges, 5 vertices, 15 tuples
21.16/8.40	c 05:22:53.485 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32386. 'extension(x[30][8]=[0‥6], 6) :: init: true :: relation: MDD 1522549999, 14 edges, 5 vertices, 15 tuples
21.16/8.40	c 05:22:53.485 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32431. 'extension(6, 6) :: init: true :: relation: MDD 2040477002, 14 edges, 5 vertices, 15 tuples
21.16/8.41	c 05:22:53.486 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32470. 'extension(6, x[32][27]=[0‥6]) :: init: true :: relation: MDD 1160278903, 14 edges, 5 vertices, 15 tuples
21.16/8.41	c 05:22:53.486 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32473. 'extension(6, 6) :: init: true :: relation: MDD 1160278903, 14 edges, 5 vertices, 15 tuples
21.16/8.41	c 05:22:53.487 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32512. 'extension(x[30][28]=[0‥6], 6) :: init: true :: relation: MDD 904351240, 14 edges, 5 vertices, 15 tuples
21.16/8.41	c 05:22:53.488 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32557. 'extension(6, 6) :: init: true :: relation: MDD 1064052579, 14 edges, 5 vertices, 15 tuples
21.16/8.41	c 05:22:53.488 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32598. 'extension(x[30][42]=[0‥6], 6) :: init: true :: relation: MDD 1489251468, 14 edges, 5 vertices, 15 tuples
21.16/8.41	c 05:22:53.489 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32640. 'extension(6, x[33][4]=[0‥6]) :: init: true :: relation: MDD 1907982059, 14 edges, 5 vertices, 15 tuples
21.16/8.41	c 05:22:53.490 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32643. 'extension(6, 6) :: init: true :: relation: MDD 1907982059, 14 edges, 5 vertices, 15 tuples
21.16/8.41	c 05:22:53.491 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32682. 'extension(6, x[33][8]=[0‥6]) :: init: true :: relation: MDD 1522549999, 14 edges, 5 vertices, 15 tuples
21.16/8.41	c 05:22:53.491 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32685. 'extension(6, 6) :: init: true :: relation: MDD 1522549999, 14 edges, 5 vertices, 15 tuples
21.16/8.41	c 05:22:53.493 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32724. 'extension(x[31][15]=[0‥6], 6) :: init: true :: relation: MDD 1172390062, 14 edges, 5 vertices, 15 tuples
21.16/8.41	c 05:22:53.493 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32766. 'extension(x[31][17]=[0‥6], 6) :: init: true :: relation: MDD 974168055, 14 edges, 5 vertices, 15 tuples
21.16/8.41	c 05:22:53.494 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32767. 'extension(6, x[33][17]=[0‥6]) :: init: true :: relation: MDD 974168055, 14 edges, 5 vertices, 15 tuples
21.16/8.42	c 05:22:53.495 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32808. 'extension(6, x[33][22]=[0‥6]) :: init: true :: relation: MDD 2040477002, 14 edges, 5 vertices, 15 tuples
21.16/8.42	c 05:22:53.496 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32811. 'extension(6, 6) :: init: true :: relation: MDD 2040477002, 14 edges, 5 vertices, 15 tuples
21.16/8.42	c 05:22:53.497 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32850. 'extension(6, x[33][28]=[0‥6]) :: init: true :: relation: MDD 904351240, 14 edges, 5 vertices, 15 tuples
21.16/8.42	c 05:22:53.497 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32853. 'extension(6, 6) :: init: true :: relation: MDD 904351240, 14 edges, 5 vertices, 15 tuples
21.16/8.42	c 05:22:53.498 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32892. 'extension(6, x[33][36]=[0‥6]) :: init: true :: relation: MDD 1064052579, 14 edges, 5 vertices, 15 tuples
21.16/8.42	c 05:22:53.499 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32895. 'extension(6, 6) :: init: true :: relation: MDD 1064052579, 14 edges, 5 vertices, 15 tuples
21.16/8.42	c 05:22:53.500 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32936. 'extension(x[31][39]=[0‥6], 6) :: init: true :: relation: MDD 1157276914, 14 edges, 5 vertices, 15 tuples
21.16/8.42	c 05:22:53.501 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32980. 'extension(6, x[33][42]=[0‥6]) :: init: true :: relation: MDD 1489251468, 14 edges, 5 vertices, 15 tuples
21.16/8.42	c 05:22:53.501 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 32983. 'extension(6, 6) :: init: true :: relation: MDD 1489251468, 14 edges, 5 vertices, 15 tuples
21.16/8.42	c 05:22:53.503 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33022. 'extension(6, wk[15][4]=[0‥1]) :: init: true :: relation: MDD 1954507866, 7 edges, 3 vertices, 6 tuples
21.16/8.42	c 05:22:53.503 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33026. 'extension(6, 6) :: init: true :: relation: MDD 1172390062, 14 edges, 5 vertices, 15 tuples
21.16/8.42	c 05:22:53.503 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33065. 'extension(6, wk[24][4]=[0‥1]) :: init: true :: relation: MDD 2027499247, 7 edges, 3 vertices, 6 tuples
21.16/8.42	c 05:22:53.504 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33066. 'extension(x[32][24]=[0‥6], 6) :: init: true :: relation: MDD 279513068, 14 edges, 5 vertices, 15 tuples
21.16/8.42	c 05:22:53.504 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33108. 'extension(6, wk[30][4]=[0‥1]) :: init: true :: relation: MDD 746327606, 7 edges, 3 vertices, 6 tuples
21.16/8.42	c 05:22:53.504 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33109. 'extension(x[32][30]=[0‥6], 6) :: init: true :: relation: MDD 700286427, 14 edges, 5 vertices, 15 tuples
21.16/8.42	c 05:22:53.505 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33153. 'extension(6, wk[39][4]=[0‥1]) :: init: true :: relation: MDD 1903728000, 7 edges, 3 vertices, 6 tuples
21.16/8.42	c 05:22:53.505 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33157. 'extension(6, 6) :: init: true :: relation: MDD 1157276914, 14 edges, 5 vertices, 15 tuples
21.16/8.42	c 05:22:53.506 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33198. 'extension(6, wk[15][4]=[0‥1]) :: init: true :: relation: MDD 1531506932, 7 edges, 3 vertices, 6 tuples
21.16/8.42	c 05:22:53.506 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33202. 'extension(6, 6) :: init: true :: relation: MDD 1172390062, 14 edges, 5 vertices, 15 tuples
21.16/8.42	c 05:22:53.507 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33241. 'extension(6, wk[24][4]=[0‥1]) :: init: true :: relation: MDD 1855297340, 7 edges, 3 vertices, 6 tuples
21.16/8.42	c 05:22:53.507 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33245. 'extension(6, 6) :: init: true :: relation: MDD 279513068, 14 edges, 5 vertices, 15 tuples
21.16/8.42	c 05:22:53.507 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33284. 'extension(6, wk[30][4]=[0‥1]) :: init: true :: relation: MDD 57986233, 7 edges, 3 vertices, 6 tuples
21.16/8.42	c 05:22:53.507 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33285. 'extension(6, x[35][30]=[0‥6]) :: init: true :: relation: MDD 700286427, 14 edges, 5 vertices, 15 tuples
21.16/8.42	c 05:22:53.508 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33288. 'extension(6, 6) :: init: true :: relation: MDD 700286427, 14 edges, 5 vertices, 15 tuples
21.16/8.42	c 05:22:53.509 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33329. 'extension(6, wk[33][4]=[0‥1]) :: init: true :: relation: MDD 300859499, 7 edges, 3 vertices, 6 tuples
21.16/8.43	c 05:22:53.509 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33330. 'extension(x[33][33]=[0‥6], 6) :: init: true :: relation: MDD 1318538142, 14 edges, 5 vertices, 15 tuples
21.16/8.43	c 05:22:53.509 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33331. 'extension(6, x[35][33]=[0‥6]) :: init: true :: relation: MDD 1318538142, 14 edges, 5 vertices, 15 tuples
21.16/8.43	c 05:22:53.511 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33374. 'extension(6, wk[35][4]=[0‥1]) :: init: true :: relation: MDD 1605741888, 7 edges, 3 vertices, 6 tuples
21.16/8.43	c 05:22:53.511 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33375. 'extension(x[33][35]=[0‥6], 6) :: init: true :: relation: MDD 633468398, 14 edges, 5 vertices, 15 tuples
21.16/8.43	c 05:22:53.512 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33419. 'extension(6, wk[39][4]=[0‥1]) :: init: true :: relation: MDD 374740213, 7 edges, 3 vertices, 6 tuples
21.16/8.43	c 05:22:53.512 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33423. 'extension(6, 6) :: init: true :: relation: MDD 1157276914, 14 edges, 5 vertices, 15 tuples
21.16/8.43	c 05:22:53.513 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33464. 'extension(x[34][1]=[0‥6], 6) :: init: true :: relation: MDD 1991010480, 14 edges, 5 vertices, 15 tuples
21.16/8.43	c 05:22:53.513 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33465. 'extension(6, x[36][1]=[0‥6]) :: init: true :: relation: MDD 1991010480, 14 edges, 5 vertices, 15 tuples
21.16/8.43	c 05:22:53.515 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33506. 'extension(6, x[36][15]=[0‥6]) :: init: true :: relation: MDD 1172390062, 14 edges, 5 vertices, 15 tuples
21.16/8.43	c 05:22:53.515 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33509. 'extension(6, 6) :: init: true :: relation: MDD 1172390062, 14 edges, 5 vertices, 15 tuples
21.16/8.43	c 05:22:53.516 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33551. 'extension(6, 6) :: init: true :: relation: MDD 279513068, 14 edges, 5 vertices, 15 tuples
21.16/8.43	c 05:22:53.516 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33593. 'extension(6, 6) :: init: true :: relation: MDD 633468398, 14 edges, 5 vertices, 15 tuples
21.16/8.43	c 05:22:53.517 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33634. 'extension(6, x[36][39]=[0‥6]) :: init: true :: relation: MDD 1157276914, 14 edges, 5 vertices, 15 tuples
21.16/8.44	c 05:22:53.517 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33637. 'extension(6, 6) :: init: true :: relation: MDD 1157276914, 14 edges, 5 vertices, 15 tuples
21.16/8.44	c 05:22:53.519 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33678. 'extension(x[35][6]=[0‥6], 6) :: init: true :: relation: MDD 1243470467, 14 edges, 5 vertices, 15 tuples
21.16/8.44	c 05:22:53.520 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33720. 'extension(6, x[37][24]=[0‥6]) :: init: true :: relation: MDD 279513068, 14 edges, 5 vertices, 15 tuples
21.16/8.44	c 05:22:53.520 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33723. 'extension(6, 6) :: init: true :: relation: MDD 279513068, 14 edges, 5 vertices, 15 tuples
21.16/8.44	c 05:22:53.521 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33762. 'extension(6, x[37][35]=[0‥6]) :: init: true :: relation: MDD 633468398, 14 edges, 5 vertices, 15 tuples
21.16/8.44	c 05:22:53.521 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33765. 'extension(6, 6) :: init: true :: relation: MDD 633468398, 14 edges, 5 vertices, 15 tuples
21.16/8.44	c 05:22:53.523 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33805. 'extension(x[36][0]=[0‥6], 6) :: init: true :: relation: MDD 1300016164, 14 edges, 5 vertices, 15 tuples
21.16/8.44	c 05:22:53.524 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33846. 'extension(6, x[38][6]=[0‥6]) :: init: true :: relation: MDD 1243470467, 14 edges, 5 vertices, 15 tuples
21.16/8.44	c 05:22:53.524 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33849. 'extension(6, 6) :: init: true :: relation: MDD 1243470467, 14 edges, 5 vertices, 15 tuples
21.16/8.44	c 05:22:53.525 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33887. 'extension(6, x[39][0]=[0‥6]) :: init: true :: relation: MDD 1300016164, 14 edges, 5 vertices, 15 tuples
21.16/8.44	c 05:22:53.526 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33890. 'extension(6, 6) :: init: true :: relation: MDD 1300016164, 14 edges, 5 vertices, 15 tuples
21.16/8.44	c 05:22:53.527 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33927. 'extension(x[37][10]=[0‥6], 6) :: init: true :: relation: MDD 1010040056, 14 edges, 5 vertices, 15 tuples
21.16/8.44	c 05:22:53.527 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33928. 'extension(6, x[39][10]=[0‥6]) :: init: true :: relation: MDD 1010040056, 14 edges, 5 vertices, 15 tuples
21.16/8.44	c 05:22:53.529 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33967. 'extension(x[37][30]=[0‥6], 6) :: init: true :: relation: MDD 700286427, 14 edges, 5 vertices, 15 tuples
21.16/8.44	c 05:22:53.529 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 33968. 'extension(6, x[39][30]=[0‥6]) :: init: true :: relation: MDD 700286427, 14 edges, 5 vertices, 15 tuples
21.16/8.45	c 05:22:53.531 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34008. 'extension(x[38][2]=[0‥6], 6) :: init: true :: relation: MDD 1735608827, 14 edges, 5 vertices, 15 tuples
21.16/8.45	c 05:22:53.532 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34047. 'extension(6, wk[2][5]=[0‥1]) :: init: true :: relation: MDD 2086177500, 7 edges, 3 vertices, 6 tuples
21.16/8.45	c 05:22:53.532 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34050. 'extension(6, 6) :: init: true :: relation: MDD 1735608827, 14 edges, 5 vertices, 15 tuples
21.16/8.45	c 05:22:53.532 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34085. 'extension(6, wk[21][5]=[0‥1]) :: init: true :: relation: MDD 995760621, 7 edges, 3 vertices, 6 tuples
21.16/8.45	c 05:22:53.533 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34086. 'extension(x[39][21]=[0‥6], 6) :: init: true :: relation: MDD 776919575, 14 edges, 5 vertices, 15 tuples
21.16/8.45	c 05:22:53.533 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34087. 'extension(6, x[41][21]=[0‥6]) :: init: true :: relation: MDD 776919575, 14 edges, 5 vertices, 15 tuples
21.16/8.45	c 05:22:53.534 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34123. 'extension(6, wk[2][5]=[0‥1]) :: init: true :: relation: MDD 1500020749, 7 edges, 3 vertices, 6 tuples
21.16/8.45	c 05:22:53.535 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34124. 'extension(6, 6) :: init: true :: relation: MDD 1735608827, 14 edges, 5 vertices, 15 tuples
21.16/8.45	c 05:22:53.535 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34125. 'extension(6, 6) :: init: true :: relation: MDD 1635815117, 7 edges, 3 vertices, 6 tuples
21.16/8.47	c 05:22:53.550 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34384. 'extension(x[1][35]=[0‥6]) :: init: true :: relation: Empty MDD
21.16/8.47	c 05:22:53.550 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34386. 'extension(x[1][35]=[0‥6]) :: init: true :: relation: Empty MDD
21.16/8.47	c 05:22:53.551 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34392. 'extension(x[0][19]=[0‥6]) :: init: true :: relation: Empty MDD
21.16/8.47	c 05:22:53.551 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34396. 'extension(x[0][32]=[0‥6]) :: init: true :: relation: Empty MDD
21.16/8.47	c 05:22:53.551 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34398. 'extension(x[2][32]=[0‥6]) :: init: true :: relation: Empty MDD
21.16/8.47	c 05:22:53.552 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34410. 'extension(x[0][34]=[0‥6]) :: init: true :: relation: Empty MDD
21.16/8.47	c 05:22:53.552 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34412. 'extension(x[2][34]=[0‥6]) :: init: true :: relation: Empty MDD
21.16/8.47	c 05:22:53.552 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34424. 'extension(x[0][43]=[0‥6]) :: init: true :: relation: Empty MDD
21.16/8.47	c 05:22:53.552 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34426. 'extension(x[2][43]=[0‥6]) :: init: true :: relation: Empty MDD
21.16/8.47	c 05:22:53.553 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34436. 'extension(x[1][1]=[0‥6]) :: init: true :: relation: Empty MDD
21.16/8.47	c 05:22:53.553 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34442. 'extension(x[1][11]=[0‥6]) :: init: true :: relation: Empty MDD
21.16/8.47	c 05:22:53.554 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34448. 'extension(x[1][12]=[0‥6]) :: init: true :: relation: Empty MDD
21.16/8.47	c 05:22:53.554 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34450. 'extension(x[3][12]=[0‥6]) :: init: true :: relation: Empty MDD
21.16/8.47	c 05:22:53.554 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34472. 'extension(x[2][8]=[0‥6]) :: init: true :: relation: Empty MDD
21.16/8.47	c 05:22:53.555 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34478. 'extension(x[4][11]=[0‥6]) :: init: true :: relation: Empty MDD
21.16/8.47	c 05:22:53.555 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34492. 'extension(x[2][14]=[0‥6]) :: init: true :: relation: Empty MDD
21.16/8.47	c 05:22:53.555 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34494. 'extension(x[4][14]=[0‥6]) :: init: true :: relation: Empty MDD
21.16/8.47	c 05:22:53.556 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34508. 'extension(x[2][42]=[0‥6]) :: init: true :: relation: Empty MDD
21.16/8.47	c 05:22:53.556 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34510. 'extension(x[4][42]=[0‥6]) :: init: true :: relation: Empty MDD
21.16/8.47	c 05:22:53.557 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34524. 'extension(x[5][1]=[0‥6]) :: init: true :: relation: Empty MDD
21.16/8.47	c 05:22:53.557 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34534. 'extension(x[5][8]=[0‥6]) :: init: true :: relation: Empty MDD
21.16/8.47	c 05:22:53.558 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34548. 'extension(x[5][19]=[0‥6]) :: init: true :: relation: Empty MDD
21.16/8.47	c 05:22:53.558 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34558. 'extension(wk[0][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.16/8.47	c 05:22:53.559 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34560. 'extension(x[4][0]=[0‥6]) :: init: true :: relation: Empty MDD
21.16/8.47	c 05:22:53.559 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34562. 'extension(x[6][0]=[0‥6]) :: init: true :: relation: Empty MDD
21.16/8.48	c 05:22:53.559 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34576. 'extension(wk[3][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.16/8.48	c 05:22:53.559 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34578. 'extension(x[4][3]=[0‥6]) :: init: true :: relation: Empty MDD
21.16/8.48	c 05:22:53.560 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34584. 'extension(wk[7][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.16/8.48	c 05:22:53.560 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34586. 'extension(x[4][7]=[0‥6]) :: init: true :: relation: Empty MDD
21.16/8.48	c 05:22:53.560 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34592. 'extension(wk[20][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.16/8.48	c 05:22:53.560 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34594. 'extension(x[4][20]=[0‥6]) :: init: true :: relation: Empty MDD
21.16/8.48	c 05:22:53.561 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34600. 'extension(wk[30][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.16/8.48	c 05:22:53.561 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34602. 'extension(x[4][30]=[0‥6]) :: init: true :: relation: Empty MDD
21.16/8.48	c 05:22:53.561 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34604. 'extension(x[6][30]=[0‥6]) :: init: true :: relation: Empty MDD
21.16/8.48	c 05:22:53.562 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34620. 'extension(wk[3][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.16/8.48	c 05:22:53.562 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34626. 'extension(wk[7][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.16/8.48	c 05:22:53.562 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34632. 'extension(wk[16][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.16/8.48	c 05:22:53.562 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34634. 'extension(x[5][16]=[0‥6]) :: init: true :: relation: Empty MDD
21.16/8.48	c 05:22:53.563 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34636. 'extension(x[7][16]=[0‥6]) :: init: true :: relation: Empty MDD
21.16/8.48	c 05:22:53.563 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34650. 'extension(wk[20][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.16/8.48	c 05:22:53.563 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34656. 'extension(wk[23][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.16/8.48	c 05:22:53.563 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34658. 'extension(x[5][23]=[0‥6]) :: init: true :: relation: Empty MDD
21.16/8.48	c 05:22:53.564 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34660. 'extension(x[7][23]=[0‥6]) :: init: true :: relation: Empty MDD
21.16/8.48	c 05:22:53.564 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34674. 'extension(wk[32][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.16/8.48	c 05:22:53.564 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34676. 'extension(x[5][32]=[0‥6]) :: init: true :: relation: Empty MDD
21.16/8.48	c 05:22:53.565 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34682. 'extension(wk[36][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.16/8.48	c 05:22:53.565 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34684. 'extension(x[5][36]=[0‥6]) :: init: true :: relation: Empty MDD
21.16/8.48	c 05:22:53.565 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34686. 'extension(x[7][36]=[0‥6]) :: init: true :: relation: Empty MDD
21.16/8.48	c 05:22:53.566 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34702. 'extension(x[6][2]=[0‥6]) :: init: true :: relation: Empty MDD
21.16/8.48	c 05:22:53.566 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34704. 'extension(x[8][2]=[0‥6]) :: init: true :: relation: Empty MDD
21.16/8.48	c 05:22:53.566 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34718. 'extension(x[6][18]=[0‥6]) :: init: true :: relation: Empty MDD
21.16/8.48	c 05:22:53.567 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34724. 'extension(x[6][25]=[0‥6]) :: init: true :: relation: Empty MDD
21.16/8.48	c 05:22:53.567 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34726. 'extension(x[8][25]=[0‥6]) :: init: true :: relation: Empty MDD
21.16/8.48	c 05:22:53.567 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34740. 'extension(x[6][26]=[0‥6]) :: init: true :: relation: Empty MDD
21.16/8.48	c 05:22:53.568 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34746. 'extension(x[8][32]=[0‥6]) :: init: true :: relation: Empty MDD
21.16/8.48	c 05:22:53.568 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34762. 'extension(x[9][3]=[0‥6]) :: init: true :: relation: Empty MDD
21.16/8.48	c 05:22:53.569 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34772. 'extension(x[7][5]=[0‥6]) :: init: true :: relation: Empty MDD
21.16/8.49	c 05:22:53.569 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34778. 'extension(x[9][7]=[0‥6]) :: init: true :: relation: Empty MDD
21.16/8.49	c 05:22:53.569 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34788. 'extension(x[7][9]=[0‥6]) :: init: true :: relation: Empty MDD
21.16/8.49	c 05:22:53.570 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34790. 'extension(x[9][9]=[0‥6]) :: init: true :: relation: Empty MDD
21.16/8.49	c 05:22:53.570 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34808. 'extension(x[9][20]=[0‥6]) :: init: true :: relation: Empty MDD
21.16/8.49	c 05:22:53.571 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34826. 'extension(x[8][23]=[0‥6]) :: init: true :: relation: Empty MDD
21.16/8.49	c 05:22:53.571 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34828. 'extension(x[10][23]=[0‥6]) :: init: true :: relation: Empty MDD
21.16/8.49	c 05:22:53.572 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34842. 'extension(x[10][26]=[0‥6]) :: init: true :: relation: Empty MDD
21.16/8.49	c 05:22:53.572 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34852. 'extension(x[8][40]=[0‥6]) :: init: true :: relation: Empty MDD
21.16/8.49	c 05:22:53.572 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34858. 'extension(x[9][0]=[0‥6]) :: init: true :: relation: Empty MDD
21.16/8.49	c 05:22:53.573 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34860. 'extension(x[11][0]=[0‥6]) :: init: true :: relation: Empty MDD
21.16/8.49	c 05:22:53.573 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34874. 'extension(x[9][12]=[0‥6]) :: init: true :: relation: Empty MDD
21.16/8.49	c 05:22:53.573 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34880. 'extension(x[11][18]=[0‥6]) :: init: true :: relation: Empty MDD
21.16/8.49	c 05:22:53.574 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34890. 'extension(x[9][25]=[0‥6]) :: init: true :: relation: Empty MDD
21.16/8.49	c 05:22:53.574 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34900. 'extension(x[12][5]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.50	c 05:22:53.575 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34918. 'extension(x[10][32]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.50	c 05:22:53.575 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34920. 'extension(x[12][32]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.50	c 05:22:53.576 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34936. 'extension(x[12][40]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.50	c 05:22:53.576 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34946. 'extension(wk[12][1]=[0‥1]) :: init: true :: relation: Empty MDD
21.45/8.50	c 05:22:53.576 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34948. 'extension(x[13][12]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.50	c 05:22:53.577 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34958. 'extension(wk[13][1]=[0‥1]) :: init: true :: relation: Empty MDD
21.45/8.50	c 05:22:53.577 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34960. 'extension(x[11][13]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.50	c 05:22:53.577 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34966. 'extension(wk[17][1]=[0‥1]) :: init: true :: relation: Empty MDD
21.45/8.50	c 05:22:53.577 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34968. 'extension(x[11][17]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.50	c 05:22:53.578 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34974. 'extension(wk[21][1]=[0‥1]) :: init: true :: relation: Empty MDD
21.45/8.50	c 05:22:53.578 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34976. 'extension(x[11][21]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.50	c 05:22:53.578 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34978. 'extension(x[13][21]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.50	c 05:22:53.578 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34992. 'extension(wk[25][1]=[0‥1]) :: init: true :: relation: Empty MDD
21.45/8.50	c 05:22:53.579 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 34994. 'extension(x[13][25]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.50	c 05:22:53.579 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35004. 'extension(wk[13][1]=[0‥1]) :: init: true :: relation: Empty MDD
21.45/8.50	c 05:22:53.579 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35010. 'extension(wk[17][1]=[0‥1]) :: init: true :: relation: Empty MDD
21.45/8.50	c 05:22:53.580 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35016. 'extension(wk[23][1]=[0‥1]) :: init: true :: relation: Empty MDD
21.45/8.50	c 05:22:53.580 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35018. 'extension(x[12][23]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.50	c 05:22:53.581 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35024. 'extension(wk[43][1]=[0‥1]) :: init: true :: relation: Empty MDD
21.45/8.50	c 05:22:53.581 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35026. 'extension(x[12][43]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.50	c 05:22:53.581 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35032. 'extension(x[13][10]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.50	c 05:22:53.581 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35038. 'extension(x[15][17]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.50	c 05:22:53.582 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35048. 'extension(x[15][23]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.50	c 05:22:53.582 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35062. 'extension(x[15][43]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.50	c 05:22:53.583 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35074. 'extension(x[16][13]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.50	c 05:22:53.583 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35084. 'extension(x[14][21]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.50	c 05:22:53.583 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35090. 'extension(x[14][33]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.50	c 05:22:53.584 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35096. 'extension(x[14][41]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.50	c 05:22:53.584 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35102. 'extension(x[17][10]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.50	c 05:22:53.584 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35112. 'extension(x[17][21]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.50	c 05:22:53.585 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35126. 'extension(x[17][33]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.50	c 05:22:53.586 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35142. 'extension(x[17][41]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.50	c 05:22:53.586 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35156. 'extension(x[15][43]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.50	c 05:22:53.586 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35158. 'extension(x[17][43]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.50	c 05:22:53.587 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35170. 'extension(x[15][44]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.50	c 05:22:53.587 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35172. 'extension(x[17][44]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.50	c 05:22:53.587 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35184. 'extension(x[17][6]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.50	c 05:22:53.587 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35190. 'extension(wk[6][2]=[0‥1]) :: init: true :: relation: Empty MDD
21.45/8.50	c 05:22:53.588 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35192. 'extension(x[20][6]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.50	c 05:22:53.588 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35206. 'extension(wk[27][2]=[0‥1]) :: init: true :: relation: Empty MDD
21.45/8.50	c 05:22:53.588 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35208. 'extension(x[18][27]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.50	c 05:22:53.589 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35214. 'extension(wk[37][2]=[0‥1]) :: init: true :: relation: Empty MDD
21.45/8.50	c 05:22:53.589 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35216. 'extension(x[18][37]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.51	c 05:22:53.589 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35222. 'extension(wk[27][2]=[0‥1]) :: init: true :: relation: Empty MDD
21.45/8.51	c 05:22:53.589 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35224. 'extension(x[21][27]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.51	c 05:22:53.590 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35238. 'extension(wk[29][2]=[0‥1]) :: init: true :: relation: Empty MDD
21.45/8.51	c 05:22:53.590 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35240. 'extension(x[19][29]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.51	c 05:22:53.590 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35246. 'extension(wk[31][2]=[0‥1]) :: init: true :: relation: Empty MDD
21.45/8.51	c 05:22:53.590 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35248. 'extension(x[19][31]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.51	c 05:22:53.591 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35254. 'extension(wk[37][2]=[0‥1]) :: init: true :: relation: Empty MDD
21.45/8.51	c 05:22:53.591 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35260. 'extension(x[20][9]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.51	c 05:22:53.591 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35266. 'extension(x[22][29]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.51	c 05:22:53.592 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35284. 'extension(x[20][33]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.51	c 05:22:53.592 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35286. 'extension(x[22][33]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.51	c 05:22:53.593 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35302. 'extension(x[22][37]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.51	c 05:22:53.593 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35322. 'extension(x[21][44]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.51	c 05:22:53.594 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35328. 'extension(x[24][9]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.51	c 05:22:53.594 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35338. 'extension(x[22][11]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.51	c 05:22:53.594 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35344. 'extension(x[24][31]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.52	c 05:22:53.595 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35356. 'extension(x[22][42]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.52	c 05:22:53.595 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35358. 'extension(x[24][42]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.52	c 05:22:53.595 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35372. 'extension(x[24][44]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.52	c 05:22:53.596 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35382. 'extension(x[25][11]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.52	c 05:22:53.596 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35396. 'extension(x[23][34]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.52	c 05:22:53.597 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35406. 'extension(x[24][38]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.52	c 05:22:53.597 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35408. 'extension(x[26][38]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.52	c 05:22:53.597 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35422. 'extension(wk[26][3]=[0‥1]) :: init: true :: relation: Empty MDD
21.45/8.52	c 05:22:53.598 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35424. 'extension(x[25][26]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.52	c 05:22:53.598 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35426. 'extension(x[27][26]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.52	c 05:22:53.598 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35440. 'extension(wk[34][3]=[0‥1]) :: init: true :: relation: Empty MDD
21.45/8.52	c 05:22:53.598 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35442. 'extension(x[27][34]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.52	c 05:22:53.599 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35456. 'extension(wk[37][3]=[0‥1]) :: init: true :: relation: Empty MDD
21.45/8.52	c 05:22:53.599 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35458. 'extension(x[25][37]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.52	c 05:22:53.599 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35460. 'extension(x[27][37]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.52	c 05:22:53.600 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35476. 'extension(wk[41][3]=[0‥1]) :: init: true :: relation: Empty MDD
21.45/8.52	c 05:22:53.600 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35478. 'extension(x[25][41]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.52	c 05:22:53.600 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35484. 'extension(wk[44][3]=[0‥1]) :: init: true :: relation: Empty MDD
21.45/8.52	c 05:22:53.600 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35486. 'extension(x[25][44]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.52	c 05:22:53.600 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35488. 'extension(x[27][44]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.52	c 05:22:53.601 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35500. 'extension(wk[16][3]=[0‥1]) :: init: true :: relation: Empty MDD
21.45/8.52	c 05:22:53.601 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35502. 'extension(x[26][16]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.52	c 05:22:53.601 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35508. 'extension(wk[28][3]=[0‥1]) :: init: true :: relation: Empty MDD
21.45/8.52	c 05:22:53.601 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35510. 'extension(x[26][28]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.52	c 05:22:53.602 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35516. 'extension(wk[29][3]=[0‥1]) :: init: true :: relation: Empty MDD
21.45/8.52	c 05:22:53.602 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35518. 'extension(x[26][29]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.52	c 05:22:53.602 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35524. 'extension(wk[41][3]=[0‥1]) :: init: true :: relation: Empty MDD
21.45/8.52	c 05:22:53.602 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35526. 'extension(x[28][41]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.52	c 05:22:53.603 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35540. 'extension(x[27][14]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.52	c 05:22:53.603 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35550. 'extension(x[29][28]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.52	c 05:22:53.604 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35564. 'extension(x[29][29]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.52	c 05:22:53.604 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35578. 'extension(x[27][38]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.52	c 05:22:53.605 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35584. 'extension(x[28][4]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.53	c 05:22:53.605 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35594. 'extension(x[30][16]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.53	c 05:22:53.606 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35604. 'extension(x[28][22]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.53	c 05:22:53.606 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35614. 'extension(x[28][40]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.53	c 05:22:53.606 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35616. 'extension(x[30][40]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.53	c 05:22:53.607 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35634. 'extension(x[31][14]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.53	c 05:22:53.607 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35648. 'extension(x[29][27]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.53	c 05:22:53.607 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35654. 'extension(x[29][36]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.53	c 05:22:53.608 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35660. 'extension(x[31][38]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.53	c 05:22:53.608 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35674. 'extension(x[30][8]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.53	c 05:22:53.609 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35680. 'extension(x[32][27]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.53	c 05:22:53.609 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35694. 'extension(x[30][28]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.53	c 05:22:53.609 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35704. 'extension(x[30][42]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.53	c 05:22:53.610 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35710. 'extension(x[33][4]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.53	c 05:22:53.610 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35720. 'extension(x[33][8]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.53	c 05:22:53.610 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35734. 'extension(x[31][15]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.53	c 05:22:53.611 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35740. 'extension(x[31][17]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.53	c 05:22:53.611 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35742. 'extension(x[33][17]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.53	c 05:22:53.611 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35756. 'extension(x[33][22]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.53	c 05:22:53.612 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35766. 'extension(x[33][28]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.53	c 05:22:53.612 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35780. 'extension(x[33][36]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.53	c 05:22:53.613 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35794. 'extension(x[31][39]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.53	c 05:22:53.613 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35800. 'extension(x[33][42]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.53	c 05:22:53.613 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35814. 'extension(wk[15][4]=[0‥1]) :: init: true :: relation: Empty MDD
21.45/8.53	c 05:22:53.614 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35820. 'extension(wk[24][4]=[0‥1]) :: init: true :: relation: Empty MDD
21.45/8.53	c 05:22:53.614 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35822. 'extension(x[32][24]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.53	c 05:22:53.614 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35828. 'extension(wk[30][4]=[0‥1]) :: init: true :: relation: Empty MDD
21.45/8.53	c 05:22:53.614 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35830. 'extension(x[32][30]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.53	c 05:22:53.614 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35836. 'extension(wk[39][4]=[0‥1]) :: init: true :: relation: Empty MDD
21.45/8.53	c 05:22:53.615 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35842. 'extension(wk[15][4]=[0‥1]) :: init: true :: relation: Empty MDD
21.45/8.53	c 05:22:53.615 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35844. 'extension(wk[24][4]=[0‥1]) :: init: true :: relation: Empty MDD
21.45/8.53	c 05:22:53.615 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35850. 'extension(wk[30][4]=[0‥1]) :: init: true :: relation: Empty MDD
21.45/8.53	c 05:22:53.615 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35852. 'extension(x[35][30]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.54	c 05:22:53.616 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35868. 'extension(wk[33][4]=[0‥1]) :: init: true :: relation: Empty MDD
21.45/8.54	c 05:22:53.617 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35870. 'extension(x[33][33]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.54	c 05:22:53.617 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35872. 'extension(x[35][33]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.54	c 05:22:53.617 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35888. 'extension(wk[35][4]=[0‥1]) :: init: true :: relation: Empty MDD
21.45/8.54	c 05:22:53.617 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35890. 'extension(x[33][35]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.54	c 05:22:53.618 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35896. 'extension(wk[39][4]=[0‥1]) :: init: true :: relation: Empty MDD
21.45/8.54	c 05:22:53.618 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35900. 'extension(x[34][1]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.54	c 05:22:53.618 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35902. 'extension(x[36][1]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.54	c 05:22:53.619 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35916. 'extension(x[36][15]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.54	c 05:22:53.619 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35930. 'extension(x[36][39]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.54	c 05:22:53.620 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35942. 'extension(x[35][6]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.54	c 05:22:53.620 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35948. 'extension(x[37][24]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.54	c 05:22:53.620 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35958. 'extension(x[37][35]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.54	c 05:22:53.621 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35972. 'extension(x[36][0]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.54	c 05:22:53.621 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35978. 'extension(x[38][6]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.54	c 05:22:53.622 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 35992. 'extension(x[39][0]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.54	c 05:22:53.622 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 36006. 'extension(x[37][10]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.54	c 05:22:53.622 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 36008. 'extension(x[39][10]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.54	c 05:22:53.623 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 36022. 'extension(x[37][30]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.54	c 05:22:53.623 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 36024. 'extension(x[39][30]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.54	c 05:22:53.623 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 36040. 'extension(x[38][2]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.54	c 05:22:53.624 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 36046. 'extension(wk[2][5]=[0‥1]) :: init: true :: relation: Empty MDD
21.45/8.54	c 05:22:53.624 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 36052. 'extension(wk[21][5]=[0‥1]) :: init: true :: relation: Empty MDD
21.45/8.54	c 05:22:53.624 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 36054. 'extension(x[39][21]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.54	c 05:22:53.624 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 36056. 'extension(x[41][21]=[0‥6]) :: init: true :: relation: Empty MDD
21.45/8.54	c 05:22:53.625 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 36068. 'extension(wk[2][5]=[0‥1]) :: init: true :: relation: Empty MDD
2520.04/2451.70	Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
2520.04/2451.70		at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24)
2520.04/2451.70		at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53)
2520.04/2451.70		at concrete.BitVectorDomain.$anonfun$filter$1(BitVectorDomain.scala:126)
2520.04/2451.70		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:142)
2520.04/2451.70		at bitvectors.SmallBitVector.filter(SmallBitVector.scala:5)
2520.04/2451.71		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126)
2520.04/2451.71		at concrete.BitVectorDomain.filter(BitVectorDomain.scala:8)
2520.04/2451.71		at concrete.heuristic.value.BestCost.select(BestCost.scala:53)
2520.04/2451.71		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.04/2451.71		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
2520.04/2451.71		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.04/2451.71		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.04/2451.71		at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
2520.04/2451.71		at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.04/2451.71		at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.04/2451.71		at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:109)
2520.04/2451.71		at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
2520.04/2451.71		at scala.Option.map(Option.scala:146)
2520.04/2451.71		at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
2520.04/2451.71		at concrete.MAC.mac(MAC.scala:203)
2520.04/2451.71		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.04/2451.71		at scala.util.Try$.apply(Try.scala:209)
2520.04/2451.71		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.04/2451.71		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.04/2451.71		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.04/2451.71		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.04/2451.71		at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.04/2451.71		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.04/2451.71		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.04/2451.71		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.04/2451.71		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.04/2451.71		at concrete.MAC.oneRun(MAC.scala:253)
2520.04/2451.71		at concrete.MAC.nextSolution(MAC.scala:272)
2520.04/2451.71		at concrete.MAC.$anonfun$nextSolution$5(MAC.scala:336)
2520.04/2451.71		at concrete.ProblemState.map(ProblemState.scala:221)
2520.04/2451.71		at concrete.ProblemState.map(ProblemState.scala:204)
2520.04/2451.71		at concrete.MAC.nextSolution(MAC.scala:334)
2520.04/2451.71		at concrete.Solver.hasNext(Solver.scala:166)
2520.04/2451.71		at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.04/2451.71		at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.04/2451.71		at concrete.Solver.foreach(Solver.scala:68)
2520.04/2451.71		at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.04/2451.71		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.04/2451.71		at scala.util.Success.map(Try.scala:209)
2520.04/2451.71		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.04/2451.71		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.04/2451.71		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.04/2451.71		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.04/2451.71		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.04/2451.71		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.04/2451.71		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.04/2451.71		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.04/2451.71		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.04/2451.71		at scala.collection.immutable.List.foreach(List.scala:389)
2520.04/2451.71		at scala.App.main(App.scala:76)
2520.04/2451.71		at scala.App.main$(App.scala:74)
2520.04/2451.71		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.04/2451.71		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.04/2451.71	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 (6523 MiB free)
  memory of node 1: 16384 MiB (3865 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304173-1534044164/watcher-4304173-1534044164 -o /tmp/evaluation-result-4304173-1534044164/solver-4304173-1534044164 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1534038877-15390 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=126606500 HOME/instance-4304173-1534044164.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=16348, runsolver pid=16345


[startup+0.100191 s]*
/proc/loadavg: 1.31 1.43 1.41 2/207 16405
/proc/meminfo: memFree=10630020/32770624 swapFree=67108496/67108860
[pid=16348] ppid=16345 vsize=10005480 memory=16424 CPUtime=0.08 cores=0,2,4,6
/proc/16348/stat : 16348 (java) S 16345 16348 14233 0 -1 1077944320 4274 13126 0 0 1 0 5 2 20 0 6 0 221979650 10245611520 4106 33554432000 4194304 4196468 140720351757664 140720351740208 140081460461303 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
/proc/16348/statm: 2501370 4106 1930 1 0 2489808 0
[pid=16348/tid=16401] ppid=16345 vsize=10005480 memory=4279135703980081549 CPUtime=0.07 cores=0,2,4,6
/proc/16348/task/16401/stat : 16401 (java) R 16345 16348 14233 0 -1 4202560 2083 13126 0 0 0 0 5 2 20 0 6 0 221979659 10245611520 4106 33554432000 4194304 4196468 140720351757664 140081432298064 140081444541790 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16402] ppid=16345 vsize=10005480 memory=8257237230052613020 CPUtime=0.07 cores=0,2,4,6
/proc/16348/task/16402/stat : 16402 (java) S 16345 16348 14233 0 -1 1077944384 1 13126 0 0 0 0 5 2 20 0 6 0 221979660 10245611520 4106 33554432000 4194304 4196468 140720351757664 140081464703632 140081460471509 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16403] ppid=16345 vsize=10005480 memory=140144701015680 CPUtime=0.07 cores=0,2,4,6
/proc/16348/task/16403/stat : 16403 (java) S 16345 16348 14233 0 -1 1077944384 1 13126 0 0 0 0 5 2 20 0 6 0 221979660 10245611520 4106 33554432000 4194304 4196468 140720351757664 140081000450576 140081460471509 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16404] ppid=16345 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16348/task/16404/stat : 16404 (java) S 16345 16348 14233 0 -1 1077944384 1 13126 0 0 0 0 5 2 20 0 6 0 221979660 10245611520 4106 33554432000 4194304 4196468 140720351757664 140080999397776 140081460471509 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16405] ppid=16345 vsize=10005480 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/16348/task/16405/stat : 16405 (java) S 16345 16348 14233 0 -1 1077944384 2 13126 0 0 0 0 5 2 20 0 6 0 221979660 10245611520 4106 33554432000 4194304 4196468 140720351757664 140080998344976 140081460471509 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16424 KiB

[startup+0.209935 s]*
/proc/loadavg: 1.31 1.43 1.41 3/216 16414
/proc/meminfo: memFree=10609164/32770624 swapFree=67108496/67108860
[pid=16348] ppid=16345 vsize=10982696 memory=43972 CPUtime=0.25 cores=0,2,4,6
/proc/16348/stat : 16348 (java) S 16345 16348 14233 0 -1 1077944320 8340 13126 0 0 16 2 5 2 20 0 15 0 221979650 11246280704 10993 33554432000 4194304 4196468 140720351757664 140720351740208 140081460461303 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
/proc/16348/statm: 2745674 10993 2960 1 0 2708109 0
[pid=16348/tid=16401] ppid=16345 vsize=10982696 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/16348/task/16401/stat : 16401 (java) R 16345 16348 14233 0 -1 4202560 4791 13126 0 0 10 1 5 2 20 0 15 0 221979659 11246280704 10993 33554432000 4194304 4196468 140720351757664 140081432258960 140081443648112 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16402] ppid=16345 vsize=10982696 memory=364 CPUtime=0.07 cores=0,2,4,6
/proc/16348/task/16402/stat : 16402 (java) S 16345 16348 14233 0 -1 1077944384 1 13126 0 0 0 0 5 2 20 0 15 0 221979660 11246280704 10993 33554432000 4194304 4196468 140720351757664 140081464703632 140081460471509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16403] ppid=16345 vsize=10982696 memory=140144701031340 CPUtime=0.07 cores=0,2,4,6
/proc/16348/task/16403/stat : 16403 (java) S 16345 16348 14233 0 -1 1077944384 1 13126 0 0 0 0 5 2 20 0 15 0 221979660 11246280704 10993 33554432000 4194304 4196468 140720351757664 140081000450576 140081460471509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16404] ppid=16345 vsize=10982696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16348/task/16404/stat : 16404 (java) S 16345 16348 14233 0 -1 1077944384 1 13126 0 0 0 0 5 2 20 0 15 0 221979660 11246280704 10993 33554432000 4194304 4196468 140720351757664 140080999397776 140081460471509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16405] ppid=16345 vsize=10982696 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/16348/task/16405/stat : 16405 (java) S 16345 16348 14233 0 -1 1077944384 2 13126 0 0 0 0 5 2 20 0 15 0 221979660 11246280704 10993 33554432000 4194304 4196468 140720351757664 140080998344976 140081460471509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16406] ppid=16345 vsize=10982696 memory=140144701015680 CPUtime=0.07 cores=0,2,4,6
/proc/16348/task/16406/stat : 16406 (java) S 16345 16348 14233 0 -1 1077944384 2 13126 0 0 0 0 5 2 20 0 15 0 221979662 11246280704 10993 33554432000 4194304 4196468 140720351757664 140080886397808 140081460472450 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16407] ppid=16345 vsize=10982696 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/16348/task/16407/stat : 16407 (java) S 16345 16348 14233 0 -1 1077944384 13 13126 0 0 0 0 5 2 20 0 15 0 221979662 11246280704 10993 33554432000 4194304 4196468 140720351757664 140080291243552 140081460471509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16408] ppid=16345 vsize=10982696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16348/task/16408/stat : 16408 (java) S 16345 16348 14233 0 -1 1077944384 1 13126 0 0 0 0 5 2 20 0 15 0 221979662 11246280704 10993 33554432000 4194304 4196468 140720351757664 140080089916784 140081460471509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16409] ppid=16345 vsize=10982696 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16348/task/16409/stat : 16409 (java) S 16345 16348 14233 0 -1 1077944384 3 13126 0 0 0 0 5 2 20 0 15 0 221979665 11246280704 10993 33554432000 4194304 4196468 140720351757664 140079782517072 140081460479899 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16410] ppid=16345 vsize=10982696 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16348/task/16410/stat : 16410 (java) S 16345 16348 14233 0 -1 1077944384 480 13126 0 0 1 0 5 2 20 0 15 0 221979665 11246280704 10993 33554432000 4194304 4196468 140720351757664 140080885344624 140081460472450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16411] ppid=16345 vsize=10982696 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/16348/task/16411/stat : 16411 (java) S 16345 16348 14233 0 -1 1077944384 151 13126 0 0 0 0 5 2 20 0 15 0 221979665 11246280704 10993 33554432000 4194304 4196468 140720351757664 140080884291824 140081460472450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16412] ppid=16345 vsize=10982696 memory=140144701015680 CPUtime=0.1 cores=0,2,4,6
/proc/16348/task/16412/stat : 16412 (java) S 16345 16348 14233 0 -1 1077944384 702 13126 0 0 3 0 5 2 20 0 15 0 221979665 11246280704 10993 33554432000 4194304 4196468 140720351757664 140080883239024 140081460472450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16413] ppid=16345 vsize=10982696 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/16348/task/16413/stat : 16413 (java) S 16345 16348 14233 0 -1 1077944384 3 13126 0 0 0 0 5 2 20 0 15 0 221979665 11246280704 10993 33554432000 4194304 4196468 140720351757664 140079351720160 140081460471509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16414] ppid=16345 vsize=10982696 memory=140144701015680 CPUtime=0.07 cores=0,2,4,6
/proc/16348/task/16414/stat : 16414 (java) S 16345 16348 14233 0 -1 1077944384 1 13126 0 0 0 0 5 2 20 0 15 0 221979666 11246280704 10993 33554432000 4194304 4196468 140720351757664 140080882187440 140081460472450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 43972 KiB

[startup+0.310525 s]*
/proc/loadavg: 1.31 1.43 1.41 3/216 16414
/proc/meminfo: memFree=10598248/32770624 swapFree=67108496/67108860
[pid=16348] ppid=16345 vsize=10983192 memory=55572 CPUtime=0.38 cores=0,2,4,6
/proc/16348/stat : 16348 (java) S 16345 16348 14233 0 -1 1077944320 10388 13126 0 0 28 3 5 2 20 0 15 0 221979650 11246788608 13893 33554432000 4194304 4196468 140720351757664 140720351740208 140081460461303 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
/proc/16348/statm: 2745798 13893 3104 1 0 2708109 0
[pid=16348/tid=16401] ppid=16345 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/16348/task/16401/stat : 16401 (java) R 16345 16348 14233 0 -1 4202560 6805 13126 0 0 19 2 5 2 20 0 15 0 221979659 11246788608 13893 33554432000 4194304 4196468 140720351757664 140081432273312 140081440733163 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16402] ppid=16345 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16348/task/16402/stat : 16402 (java) S 16345 16348 14233 0 -1 1077944384 1 13126 0 0 0 0 5 2 20 0 15 0 221979660 11246788608 13893 33554432000 4194304 4196468 140720351757664 140081464703632 140081460471509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16403] ppid=16345 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16348/task/16403/stat : 16403 (java) S 16345 16348 14233 0 -1 1077944384 1 13126 0 0 0 0 5 2 20 0 15 0 221979660 11246788608 13893 33554432000 4194304 4196468 140720351757664 140081000450576 140081460471509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16404] ppid=16345 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16348/task/16404/stat : 16404 (java) S 16345 16348 14233 0 -1 1077944384 1 13126 0 0 0 0 5 2 20 0 15 0 221979660 11246788608 13893 33554432000 4194304 4196468 140720351757664 140080999397776 140081460471509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16405] ppid=16345 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16348/task/16405/stat : 16405 (java) S 16345 16348 14233 0 -1 1077944384 2 13126 0 0 0 0 5 2 20 0 15 0 221979660 11246788608 13893 33554432000 4194304 4196468 140720351757664 140080998344976 140081460471509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16406] ppid=16345 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16348/task/16406/stat : 16406 (java) S 16345 16348 14233 0 -1 1077944384 2 13126 0 0 0 0 5 2 20 0 15 0 221979662 11246788608 13893 33554432000 4194304 4196468 140720351757664 140080886397808 140081460472450 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16407] ppid=16345 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/16348/task/16407/stat : 16407 (java) S 16345 16348 14233 0 -1 1077944384 13 13126 0 0 0 0 5 2 20 0 15 0 221979662 11246788608 13893 33554432000 4194304 4196468 140720351757664 140080291243552 140081460471509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16408] ppid=16345 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16348/task/16408/stat : 16408 (java) S 16345 16348 14233 0 -1 1077944384 1 13126 0 0 0 0 5 2 20 0 15 0 221979662 11246788608 13893 33554432000 4194304 4196468 140720351757664 140080089916784 140081460471509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16409] ppid=16345 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16348/task/16409/stat : 16409 (java) S 16345 16348 14233 0 -1 1077944384 3 13126 0 0 0 0 5 2 20 0 15 0 221979665 11246788608 13893 33554432000 4194304 4196468 140720351757664 140079782517072 140081460479899 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16410] ppid=16345 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16348/task/16410/stat : 16410 (java) S 16345 16348 14233 0 -1 1077944384 486 13126 0 0 1 0 5 2 20 0 15 0 221979665 11246788608 13893 33554432000 4194304 4196468 140720351757664 140080885344624 140081460472450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16411] ppid=16345 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/16348/task/16411/stat : 16411 (java) S 16345 16348 14233 0 -1 1077944384 152 13126 0 0 1 0 5 2 20 0 15 0 221979665 11246788608 13893 33554432000 4194304 4196468 140720351757664 140080884291824 140081460472450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16412] ppid=16345 vsize=10983192 memory=140144701015680 CPUtime=0.12 cores=0,2,4,6
/proc/16348/task/16412/stat : 16412 (java) S 16345 16348 14233 0 -1 1077944384 729 13126 0 0 5 0 5 2 20 0 15 0 221979665 11246788608 13893 33554432000 4194304 4196468 140720351757664 140080883239024 140081460472450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16413] ppid=16345 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/16348/task/16413/stat : 16413 (java) S 16345 16348 14233 0 -1 1077944384 3 13126 0 0 0 0 5 2 20 0 15 0 221979665 11246788608 13893 33554432000 4194304 4196468 140720351757664 140079351720160 140081460471509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16414] ppid=16345 vsize=10983192 memory=140144701015680 CPUtime=0.07 cores=0,2,4,6
/proc/16348/task/16414/stat : 16414 (java) S 16345 16348 14233 0 -1 1077944384 1 13126 0 0 0 0 5 2 20 0 15 0 221979666 11246788608 13893 33554432000 4194304 4196468 140720351757664 140080882187440 140081460472450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55572 KiB

[startup+0.700738 s]
/proc/loadavg: 1.31 1.43 1.41 3/216 16414
/proc/meminfo: memFree=10586712/32770624 swapFree=67108496/67108860
[pid=16348] ppid=16345 vsize=10983192 memory=88300 CPUtime=0.97 cores=0,2,4,6
/proc/16348/stat : 16348 (java) S 16345 16348 14233 0 -1 1077944320 16732 13126 0 0 86 4 5 2 20 0 15 0 221979650 11246788608 22075 33554432000 4194304 4196468 140720351757664 140720351740208 140081460461303 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
/proc/16348/statm: 2745798 22075 3246 1 0 2708109 0
[pid=16348/tid=16401] ppid=16345 vsize=10983192 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/16348/task/16401/stat : 16401 (java) R 16345 16348 14233 0 -1 4202560 12050 13126 0 0 55 3 5 2 20 0 15 0 221979659 11246788608 22075 33554432000 4194304 4196468 140720351757664 140081432284240 140081444541790 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16402] ppid=16345 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16348/task/16402/stat : 16402 (java) S 16345 16348 14233 0 -1 1077944384 1 13126 0 0 0 0 5 2 20 0 15 0 221979660 11246788608 22075 33554432000 4194304 4196468 140720351757664 140081464703632 140081460471509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16403] ppid=16345 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16348/task/16403/stat : 16403 (java) S 16345 16348 14233 0 -1 1077944384 1 13126 0 0 0 0 5 2 20 0 15 0 221979660 11246788608 22075 33554432000 4194304 4196468 140720351757664 140081000450576 140081460471509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16404] ppid=16345 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16348/task/16404/stat : 16404 (java) S 16345 16348 14233 0 -1 1077944384 1 13126 0 0 0 0 5 2 20 0 15 0 221979660 11246788608 22075 33554432000 4194304 4196468 140720351757664 140080999397776 140081460471509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16405] ppid=16345 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16348/task/16405/stat : 16405 (java) S 16345 16348 14233 0 -1 1077944384 2 13126 0 0 0 0 5 2 20 0 15 0 221979660 11246788608 22075 33554432000 4194304 4196468 140720351757664 140080998344976 140081460471509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16406] ppid=16345 vsize=10983192 memory=5788358431535884119 CPUtime=0.07 cores=0,2,4,6
/proc/16348/task/16406/stat : 16406 (java) S 16345 16348 14233 0 -1 1077944384 5 13126 0 0 0 0 5 2 20 0 15 0 221979662 11246788608 22075 33554432000 4194304 4196468 140720351757664 140080886397808 140081460472450 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16407] ppid=16345 vsize=10983192 memory=32804 CPUtime=0.07 cores=0,2,4,6
/proc/16348/task/16407/stat : 16407 (java) S 16345 16348 14233 0 -1 1077944384 13 13126 0 0 0 0 5 2 20 0 15 0 221979662 11246788608 22075 33554432000 4194304 4196468 140720351757664 140080291243552 140081460471509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16408] ppid=16345 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16348/task/16408/stat : 16408 (java) S 16345 16348 14233 0 -1 1077944384 1 13126 0 0 0 0 5 2 20 0 15 0 221979662 11246788608 22075 33554432000 4194304 4196468 140720351757664 140080089916784 140081460471509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16409] ppid=16345 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16348/task/16409/stat : 16409 (java) S 16345 16348 14233 0 -1 1077944384 3 13126 0 0 0 0 5 2 20 0 15 0 221979665 11246788608 22075 33554432000 4194304 4196468 140720351757664 140079782517072 140081460479899 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16410] ppid=16345 vsize=10983192 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/16348/task/16410/stat : 16410 (java) S 16345 16348 14233 0 -1 1077944384 1185 13126 0 0 10 0 5 2 20 0 15 0 221979665 11246788608 22075 33554432000 4194304 4196468 140720351757664 140080885344624 140081460472450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16411] ppid=16345 vsize=10983192 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/16348/task/16411/stat : 16411 (java) S 16345 16348 14233 0 -1 1077944384 401 13126 0 0 6 0 5 2 20 0 15 0 221979665 11246788608 22075 33554432000 4194304 4196468 140720351757664 140080884291824 140081460472450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16412] ppid=16345 vsize=10983192 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/16348/task/16412/stat : 16412 (java) S 16345 16348 14233 0 -1 1077944384 878 13126 0 0 13 0 5 2 20 0 15 0 221979665 11246788608 22075 33554432000 4194304 4196468 140720351757664 140080883239024 140081460472450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16413] ppid=16345 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16348/task/16413/stat : 16413 (java) S 16345 16348 14233 0 -1 1077944384 3 13126 0 0 0 0 5 2 20 0 15 0 221979665 11246788608 22075 33554432000 4194304 4196468 140720351757664 140079351720160 140081460471509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16414] ppid=16345 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16348/task/16414/stat : 16414 (java) S 16345 16348 14233 0 -1 1077944384 1 13126 0 0 0 0 5 2 20 0 15 0 221979666 11246788608 22075 33554432000 4194304 4196468 140720351757664 140080882187440 140081460472450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88300 KiB

[startup+1.50134 s]
/proc/loadavg: 1.31 1.43 1.41 3/216 16414
/proc/meminfo: memFree=10538704/32770624 swapFree=67108496/67108860
[pid=16348] ppid=16345 vsize=10991948 memory=178036 CPUtime=3.21 cores=0,2,4,6
/proc/16348/stat : 16348 (java) S 16345 16348 14233 0 -1 1077944320 24787 13126 0 0 306 8 5 2 20 0 15 0 221979650 11255754752 44509 33554432000 4194304 4196468 140720351757664 140720351740208 140081460461303 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
/proc/16348/statm: 2747987 44509 3450 1 0 2709645 0
[pid=16348/tid=16401] ppid=16345 vsize=10991948 memory=4951091520830867572 CPUtime=1.45 cores=0,2,4,6
/proc/16348/task/16401/stat : 16401 (java) R 16345 16348 14233 0 -1 4202560 14723 13126 0 0 132 6 5 2 20 0 15 0 221979659 11255754752 44509 33554432000 4194304 4196468 140720351757664 140081432288464 140081033506727 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16402] ppid=16345 vsize=10991948 memory=4134606225630022328 CPUtime=0.07 cores=0,2,4,6
/proc/16348/task/16402/stat : 16402 (java) S 16345 16348 14233 0 -1 1077944384 1 13126 0 0 0 0 5 2 20 0 15 0 221979660 11255754752 44509 33554432000 4194304 4196468 140720351757664 140081464703632 140081460471509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16403] ppid=16345 vsize=10991948 memory=-5153075247926373247 CPUtime=0.07 cores=0,2,4,6
/proc/16348/task/16403/stat : 16403 (java) S 16345 16348 14233 0 -1 1077944384 1 13126 0 0 0 0 5 2 20 0 15 0 221979660 11255754752 44509 33554432000 4194304 4196468 140720351757664 140081000450576 140081460471509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16404] ppid=16345 vsize=10991948 memory=-7739381819806224792 CPUtime=0.07 cores=0,2,4,6
/proc/16348/task/16404/stat : 16404 (java) S 16345 16348 14233 0 -1 1077944384 1 13126 0 0 0 0 5 2 20 0 15 0 221979660 11255754752 44509 33554432000 4194304 4196468 140720351757664 140080999397776 140081460471509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16405] ppid=16345 vsize=10991948 memory=123064 CPUtime=0.07 cores=0,2,4,6
/proc/16348/task/16405/stat : 16405 (java) S 16345 16348 14233 0 -1 1077944384 2 13126 0 0 0 0 5 2 20 0 15 0 221979660 11255754752 44509 33554432000 4194304 4196468 140720351757664 140080998344976 140081460471509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16406] ppid=16345 vsize=10991948 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16348/task/16406/stat : 16406 (java) S 16345 16348 14233 0 -1 1077944384 6 13126 0 0 0 0 5 2 20 0 15 0 221979662 11255754752 44509 33554432000 4194304 4196468 140720351757664 140080886397808 140081460472450 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16407] ppid=16345 vsize=10991948 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16348/task/16407/stat : 16407 (java) S 16345 16348 14233 0 -1 1077944384 13 13126 0 0 0 0 5 2 20 0 15 0 221979662 11255754752 44509 33554432000 4194304 4196468 140720351757664 140080291243552 140081460471509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16408] ppid=16345 vsize=10991948 memory=280289163149600 CPUtime=0.07 cores=0,2,4,6
/proc/16348/task/16408/stat : 16408 (java) S 16345 16348 14233 0 -1 1077944384 1 13126 0 0 0 0 5 2 20 0 15 0 221979662 11255754752 44509 33554432000 4194304 4196468 140720351757664 140080089916784 140081460471509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16409] ppid=16345 vsize=10991948 memory=280289163564544 CPUtime=0.07 cores=0,2,4,6
/proc/16348/task/16409/stat : 16409 (java) S 16345 16348 14233 0 -1 1077944384 3 13126 0 0 0 0 5 2 20 0 15 0 221979665 11255754752 44509 33554432000 4194304 4196468 140720351757664 140079782517072 140081460479899 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16410] ppid=16345 vsize=10991948 memory=140144581584512 CPUtime=0.68 cores=0,2,4,6
/proc/16348/task/16410/stat : 16410 (java) R 16345 16348 14233 0 -1 4202560 3923 13126 0 0 60 1 5 2 20 0 15 0 221979665 11255754752 44509 33554432000 4194304 4196468 140720351757664 140080885330648 140081442005968 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16411] ppid=16345 vsize=10991948 memory=0 CPUtime=0.64 cores=0,2,4,6
/proc/16348/task/16411/stat : 16411 (java) R 16345 16348 14233 0 -1 4202560 1808 13126 0 0 57 0 5 2 20 0 15 0 221979665 11255754752 44509 33554432000 4194304 4196468 140720351757664 140080884281936 140081445571023 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16412] ppid=16345 vsize=10991948 memory=1128 CPUtime=0.61 cores=0,2,4,6
/proc/16348/task/16412/stat : 16412 (java) S 16345 16348 14233 0 -1 1077944384 2113 13126 0 0 54 0 5 2 20 0 15 0 221979665 11255754752 44509 33554432000 4194304 4196468 140720351757664 140080883239024 140081460472450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16413] ppid=16345 vsize=10991948 memory=15188 CPUtime=0.07 cores=0,2,4,6
/proc/16348/task/16413/stat : 16413 (java) S 16345 16348 14233 0 -1 1077944384 3 13126 0 0 0 0 5 2 20 0 15 0 221979665 11255754752 44509 33554432000 4194304 4196468 140720351757664 140079351720160 140081460471509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16414] ppid=16345 vsize=10991948 memory=4000 CPUtime=0.07 cores=0,2,4,6
/proc/16348/task/16414/stat : 16414 (java) S 16345 16348 14233 0 -1 1077944384 1 13126 0 0 0 0 5 2 20 0 15 0 221979666 11255754752 44509 33554432000 4194304 4196468 140720351757664 140080882187440 140081460472450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
Current children cumulated CPU time: 3.21 s
Current children cumulated vsize: 10991948 KiB

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

/proc/16348/task/16401/stat : 16401 (java) R 16345 16348 14233 0 -1 4202560 127234 13126 0 0 235765 61 5 2 20 0 15 0 221979659 11280941056 433710 33554432000 4194304 4196468 140720351757664 140081432295792 140081056264025 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16402] ppid=16345 vsize=11016544 memory=1734840 CPUtime=12.27 cores=0,2,4,6
/proc/16348/task/16402/stat : 16402 (java) S 16345 16348 14233 0 -1 1077944384 42097 13126 0 0 1158 62 5 2 20 0 15 0 221979660 11280941056 433710 33554432000 4194304 4196468 140720351757664 140081464703632 140081460471509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16403] ppid=16345 vsize=11016544 memory=56 CPUtime=12.28 cores=0,2,4,6
/proc/16348/task/16403/stat : 16403 (java) S 16345 16348 14233 0 -1 1077944384 38685 13126 0 0 1162 59 5 2 20 0 15 0 221979660 11280941056 433710 33554432000 4194304 4196468 140720351757664 140081000450576 140081460471509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16404] ppid=16345 vsize=11016544 memory=1734840 CPUtime=12.27 cores=0,2,4,6
/proc/16348/task/16404/stat : 16404 (java) S 16345 16348 14233 0 -1 1077944384 28416 13126 0 0 1156 64 5 2 20 0 15 0 221979660 11280941056 433710 33554432000 4194304 4196468 140720351757664 140080999397776 140081460471509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16405] ppid=16345 vsize=11016544 memory=1734840 CPUtime=12.3 cores=0,2,4,6
/proc/16348/task/16405/stat : 16405 (java) S 16345 16348 14233 0 -1 1077944384 26045 13126 0 0 1166 57 5 2 20 0 15 0 221979660 11280941056 433710 33554432000 4194304 4196468 140720351757664 140080998344976 140081460471509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16406] ppid=16345 vsize=11016544 memory=1734840 CPUtime=9.14 cores=0,2,4,6
/proc/16348/task/16406/stat : 16406 (java) S 16345 16348 14233 0 -1 1077944384 30355 13126 0 0 860 47 5 2 20 0 15 0 221979662 11280941056 433710 33554432000 4194304 4196468 140720351757664 140080886397808 140081460472450 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16407] ppid=16345 vsize=11016544 memory=1734840 CPUtime=0.07 cores=0,2,4,6
/proc/16348/task/16407/stat : 16407 (java) S 16345 16348 14233 0 -1 1077944384 19 13126 0 0 0 0 5 2 20 0 15 0 221979662 11280941056 433710 33554432000 4194304 4196468 140720351757664 140080291243616 140081460471509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16408] ppid=16345 vsize=11016544 memory=1734840 CPUtime=0.07 cores=0,2,4,6
/proc/16348/task/16408/stat : 16408 (java) S 16345 16348 14233 0 -1 1077944384 7 13126 0 0 0 0 5 2 20 0 15 0 221979662 11280941056 433710 33554432000 4194304 4196468 140720351757664 140080089916800 140081460471509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16409] ppid=16345 vsize=11016544 memory=1734840 CPUtime=0.07 cores=0,2,4,6
/proc/16348/task/16409/stat : 16409 (java) S 16345 16348 14233 0 -1 1077944384 3 13126 0 0 0 0 5 2 20 0 15 0 221979665 11280941056 433710 33554432000 4194304 4196468 140720351757664 140079782517072 140081460479899 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16410] ppid=16345 vsize=11016544 memory=1734840 CPUtime=13.58 cores=0,2,4,6
/proc/16348/task/16410/stat : 16410 (java) S 16345 16348 14233 0 -1 1077944384 113388 13126 0 0 1339 12 5 2 20 0 15 0 221979665 11280941056 433710 33554432000 4194304 4196468 140720351757664 140080885344624 140081460472450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16411] ppid=16345 vsize=11016544 memory=3872 CPUtime=13.32 cores=0,2,4,6
/proc/16348/task/16411/stat : 16411 (java) S 16345 16348 14233 0 -1 1077944384 105288 13126 0 0 1313 12 5 2 20 0 15 0 221979665 11280941056 433710 33554432000 4194304 4196468 140720351757664 140080884291824 140081460472450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16412] ppid=16345 vsize=11016544 memory=6791534058613427641 CPUtime=5.3 cores=0,2,4,6
/proc/16348/task/16412/stat : 16412 (java) S 16345 16348 14233 0 -1 1077944384 115582 13126 0 0 509 14 5 2 20 0 15 0 221979665 11280941056 433710 33554432000 4194304 4196468 140720351757664 140080883239024 140081460472450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 52 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16413] ppid=16345 vsize=11016544 memory=6640 CPUtime=0.07 cores=0,2,4,6
/proc/16348/task/16413/stat : 16413 (java) S 16345 16348 14233 0 -1 1077944384 3 13126 0 0 0 0 5 2 20 0 15 0 221979665 11280941056 433710 33554432000 4194304 4196468 140720351757664 140079351720160 140081460471509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16414] ppid=16345 vsize=11016544 memory=1734840 CPUtime=1.28 cores=0,2,4,6
/proc/16348/task/16414/stat : 16414 (java) S 16345 16348 14233 0 -1 1077944384 1828 13126 0 0 65 56 5 2 20 0 15 0 221979666 11280941056 433710 33554432000 4194304 4196468 140720351757664 140080882187440 140081460472450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
Current children cumulated CPU time: 2449.54 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1734840 KiB

[startup+2442.3 s]
/proc/loadavg: 1.49 1.46 1.39 3/216 16774
/proc/meminfo: memFree=8351332/32770624 swapFree=67108496/67108860
[pid=16348] ppid=16345 vsize=11016544 memory=1736908 CPUtime=2510.51 cores=0,2,4,6
/proc/16348/stat : 16348 (java) S 16345 16348 14233 0 -1 1077944320 635506 13126 0 0 250638 406 5 2 20 0 15 0 221979650 11280941056 434227 33554432000 4194304 4196468 140720351757664 140720351740208 140081460461303 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
/proc/16348/statm: 2754136 434227 3537 1 0 2715789 0
[pid=16348/tid=16401] ppid=16345 vsize=11016544 memory=928 CPUtime=2417.7 cores=0,2,4,6
/proc/16348/task/16401/stat : 16401 (java) R 16345 16348 14233 0 -1 4202560 128889 13126 0 0 241701 62 5 2 20 0 15 0 221979659 11280941056 434227 33554432000 4194304 4196468 140720351757664 140081432295696 140081056263730 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16402] ppid=16345 vsize=11016544 memory=1736908 CPUtime=12.59 cores=0,2,4,6
/proc/16348/task/16402/stat : 16402 (java) S 16345 16348 14233 0 -1 1077944384 43036 13126 0 0 1189 63 5 2 20 0 15 0 221979660 11280941056 434227 33554432000 4194304 4196468 140720351757664 140081464703632 140081460471509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16403] ppid=16345 vsize=11016544 memory=1734860 CPUtime=12.61 cores=0,2,4,6
/proc/16348/task/16403/stat : 16403 (java) S 16345 16348 14233 0 -1 1077944384 39443 13126 0 0 1194 60 5 2 20 0 15 0 221979660 11280941056 434227 33554432000 4194304 4196468 140720351757664 140081000450576 140081460471509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16404] ppid=16345 vsize=11016544 memory=1734860 CPUtime=12.6 cores=0,2,4,6
/proc/16348/task/16404/stat : 16404 (java) S 16345 16348 14233 0 -1 1077944384 28487 13126 0 0 1188 65 5 2 20 0 15 0 221979660 11280941056 434227 33554432000 4194304 4196468 140720351757664 140080999397776 140081460471509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16405] ppid=16345 vsize=11016544 memory=1734860 CPUtime=12.63 cores=0,2,4,6
/proc/16348/task/16405/stat : 16405 (java) S 16345 16348 14233 0 -1 1077944384 26263 13126 0 0 1198 58 5 2 20 0 15 0 221979660 11280941056 434227 33554432000 4194304 4196468 140720351757664 140080998344976 140081460471509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16406] ppid=16345 vsize=11016544 memory=1734860 CPUtime=9.38 cores=0,2,4,6
/proc/16348/task/16406/stat : 16406 (java) S 16345 16348 14233 0 -1 1077944384 31022 13126 0 0 883 48 5 2 20 0 15 0 221979662 11280941056 434227 33554432000 4194304 4196468 140720351757664 140080886397808 140081460472450 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16407] ppid=16345 vsize=11016544 memory=1736908 CPUtime=0.07 cores=0,2,4,6
/proc/16348/task/16407/stat : 16407 (java) S 16345 16348 14233 0 -1 1077944384 19 13126 0 0 0 0 5 2 20 0 15 0 221979662 11280941056 434227 33554432000 4194304 4196468 140720351757664 140080291243616 140081460471509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16408] ppid=16345 vsize=11016544 memory=1736908 CPUtime=0.07 cores=0,2,4,6
/proc/16348/task/16408/stat : 16408 (java) S 16345 16348 14233 0 -1 1077944384 7 13126 0 0 0 0 5 2 20 0 15 0 221979662 11280941056 434227 33554432000 4194304 4196468 140720351757664 140080089916800 140081460471509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16409] ppid=16345 vsize=11016544 memory=1736908 CPUtime=0.07 cores=0,2,4,6
/proc/16348/task/16409/stat : 16409 (java) S 16345 16348 14233 0 -1 1077944384 3 13126 0 0 0 0 5 2 20 0 15 0 221979665 11280941056 434227 33554432000 4194304 4196468 140720351757664 140079782517072 140081460479899 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16410] ppid=16345 vsize=11016544 memory=1734860 CPUtime=13.58 cores=0,2,4,6
/proc/16348/task/16410/stat : 16410 (java) S 16345 16348 14233 0 -1 1077944384 113394 13126 0 0 1339 12 5 2 20 0 15 0 221979665 11280941056 434227 33554432000 4194304 4196468 140720351757664 140080885344624 140081460472450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16411] ppid=16345 vsize=11016544 memory=3872 CPUtime=13.32 cores=0,2,4,6
/proc/16348/task/16411/stat : 16411 (java) S 16345 16348 14233 0 -1 1077944384 105292 13126 0 0 1313 12 5 2 20 0 15 0 221979665 11280941056 434227 33554432000 4194304 4196468 140720351757664 140080884291824 140081460472450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16412] ppid=16345 vsize=11016544 memory=60128 CPUtime=5.3 cores=0,2,4,6
/proc/16348/task/16412/stat : 16412 (java) S 16345 16348 14233 0 -1 1077944384 115590 13126 0 0 509 14 5 2 20 0 15 0 221979665 11280941056 434227 33554432000 4194304 4196468 140720351757664 140080883239024 140081460472450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 52 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16413] ppid=16345 vsize=11016544 memory=1736908 CPUtime=0.07 cores=0,2,4,6
/proc/16348/task/16413/stat : 16413 (java) S 16345 16348 14233 0 -1 1077944384 3 13126 0 0 0 0 5 2 20 0 15 0 221979665 11280941056 434227 33554432000 4194304 4196468 140720351757664 140079351720160 140081460471509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16414] ppid=16345 vsize=11016544 memory=1736908 CPUtime=1.32 cores=0,2,4,6
/proc/16348/task/16414/stat : 16414 (java) S 16345 16348 14233 0 -1 1077944384 1870 13126 0 0 67 58 5 2 20 0 15 0 221979666 11280941056 434227 33554432000 4194304 4196468 140720351757664 140080882187440 140081460472450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
Current children cumulated CPU time: 2510.51 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1736908 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2451.7 s]
/proc/loadavg: 1.42 1.45 1.38 3/216 16774
/proc/meminfo: memFree=8342888/32770624 swapFree=67108496/67108860
[pid=16348] ppid=16345 vsize=11016544 memory=1745004 CPUtime=2520.04 cores=0,2,4,6
/proc/16348/stat : 16348 (java) S 16345 16348 14233 0 -1 1077944320 635645 13126 0 0 251590 407 5 2 20 0 15 0 221979650 11280941056 436251 33554432000 4194304 4196468 140720351757664 140720351740208 140081460461303 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
/proc/16348/statm: 2754136 436251 3537 1 0 2715789 0
[pid=16348/tid=16401] ppid=16345 vsize=11016544 memory=1788 CPUtime=2427.01 cores=0,2,4,6
/proc/16348/task/16401/stat : 16401 (java) R 16345 16348 14233 0 -1 4202560 129002 13126 0 0 242632 62 5 2 20 0 15 0 221979659 11280941056 436251 33554432000 4194304 4196468 140720351757664 140081432296496 140081056197893 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16402] ppid=16345 vsize=11016544 memory=1745004 CPUtime=12.64 cores=0,2,4,6
/proc/16348/task/16402/stat : 16402 (java) S 16345 16348 14233 0 -1 1077944384 43043 13126 0 0 1194 63 5 2 20 0 15 0 221979660 11280941056 436251 33554432000 4194304 4196468 140720351757664 140081464703632 140081460471509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16403] ppid=16345 vsize=11016544 memory=1736908 CPUtime=12.66 cores=0,2,4,6
/proc/16348/task/16403/stat : 16403 (java) S 16345 16348 14233 0 -1 1077944384 39446 13126 0 0 1199 60 5 2 20 0 15 0 221979660 11280941056 436251 33554432000 4194304 4196468 140720351757664 140081000450576 140081460471509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16404] ppid=16345 vsize=11016544 memory=1736908 CPUtime=12.65 cores=0,2,4,6
/proc/16348/task/16404/stat : 16404 (java) S 16345 16348 14233 0 -1 1077944384 28491 13126 0 0 1193 65 5 2 20 0 15 0 221979660 11280941056 436251 33554432000 4194304 4196468 140720351757664 140080999397776 140081460471509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16405] ppid=16345 vsize=11016544 memory=1734860 CPUtime=12.67 cores=0,2,4,6
/proc/16348/task/16405/stat : 16405 (java) S 16345 16348 14233 0 -1 1077944384 26270 13126 0 0 1202 58 5 2 20 0 15 0 221979660 11280941056 436251 33554432000 4194304 4196468 140720351757664 140080998344976 140081460471509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16406] ppid=16345 vsize=11016544 memory=1734860 CPUtime=9.42 cores=0,2,4,6
/proc/16348/task/16406/stat : 16406 (java) S 16345 16348 14233 0 -1 1077944384 31027 13126 0 0 886 49 5 2 20 0 15 0 221979662 11280941056 436251 33554432000 4194304 4196468 140720351757664 140080886397808 140081460472450 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16407] ppid=16345 vsize=11016544 memory=1734860 CPUtime=0.07 cores=0,2,4,6
/proc/16348/task/16407/stat : 16407 (java) S 16345 16348 14233 0 -1 1077944384 19 13126 0 0 0 0 5 2 20 0 15 0 221979662 11280941056 436251 33554432000 4194304 4196468 140720351757664 140080291243616 140081460471509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16408] ppid=16345 vsize=11016544 memory=1736908 CPUtime=0.07 cores=0,2,4,6
/proc/16348/task/16408/stat : 16408 (java) S 16345 16348 14233 0 -1 1077944384 7 13126 0 0 0 0 5 2 20 0 15 0 221979662 11280941056 436251 33554432000 4194304 4196468 140720351757664 140080089916800 140081460471509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16409] ppid=16345 vsize=11016544 memory=1745004 CPUtime=0.07 cores=0,2,4,6
/proc/16348/task/16409/stat : 16409 (java) S 16345 16348 14233 0 -1 1077944384 3 13126 0 0 0 0 5 2 20 0 15 0 221979665 11280941056 436251 33554432000 4194304 4196468 140720351757664 140079782517072 140081460479899 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16410] ppid=16345 vsize=11016544 memory=1734860 CPUtime=13.58 cores=0,2,4,6
/proc/16348/task/16410/stat : 16410 (java) S 16345 16348 14233 0 -1 1077944384 113394 13126 0 0 1339 12 5 2 20 0 15 0 221979665 11280941056 436251 33554432000 4194304 4196468 140720351757664 140080885344624 140081460472450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16411] ppid=16345 vsize=11016544 memory=6640 CPUtime=13.32 cores=0,2,4,6
/proc/16348/task/16411/stat : 16411 (java) S 16345 16348 14233 0 -1 1077944384 105292 13126 0 0 1313 12 5 2 20 0 15 0 221979665 11280941056 436251 33554432000 4194304 4196468 140720351757664 140080884291824 140081460472450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16412] ppid=16345 vsize=11016544 memory=5420 CPUtime=5.3 cores=0,2,4,6
/proc/16348/task/16412/stat : 16412 (java) S 16345 16348 14233 0 -1 1077944384 115590 13126 0 0 509 14 5 2 20 0 15 0 221979665 11280941056 436251 33554432000 4194304 4196468 140720351757664 140080883239024 140081460472450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 52 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16413] ppid=16345 vsize=11016544 memory=1736908 CPUtime=0.07 cores=0,2,4,6
/proc/16348/task/16413/stat : 16413 (java) S 16345 16348 14233 0 -1 1077944384 3 13126 0 0 0 0 5 2 20 0 15 0 221979665 11280941056 436251 33554432000 4194304 4196468 140720351757664 140079351720160 140081460471509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16414] ppid=16345 vsize=11016544 memory=1745004 CPUtime=1.32 cores=0,2,4,6
/proc/16348/task/16414/stat : 16414 (java) S 16345 16348 14233 0 -1 1077944384 1870 13126 0 0 67 58 5 2 20 0 15 0 221979666 11280941056 436251 33554432000 4194304 4196468 140720351757664 140080882187440 140081460472450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1745004 KiB

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

[startup+2451.74 s]
# the end of solver process 16348 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2515.97 s, system=4.12524 s

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

[startup+2451.7 s]
/proc/loadavg: 1.42 1.45 1.38 3/216 16774
/proc/meminfo: memFree=8342888/32770624 swapFree=67108496/67108860
[pid=16348] ppid=16345 vsize=11016544 memory=1745004 CPUtime=2520.04 cores=0,2,4,6
/proc/16348/stat : 16348 (java) S 16345 16348 14233 0 -1 1077944320 635645 13126 0 0 251590 407 5 2 20 0 15 0 221979650 11280941056 436251 33554432000 4194304 4196468 140720351757664 140720351740208 140081460461303 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
/proc/16348/statm: 2754136 436251 3537 1 0 2715789 0
[pid=16348/tid=16401] ppid=16345 vsize=11016544 memory=1788 CPUtime=2427.01 cores=0,2,4,6
/proc/16348/task/16401/stat : 16401 (java) R 16345 16348 14233 0 -1 4202560 129002 13126 0 0 242632 62 5 2 20 0 15 0 221979659 11280941056 436251 33554432000 4194304 4196468 140720351757664 140081432296496 140081056197893 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16402] ppid=16345 vsize=11016544 memory=1745004 CPUtime=12.64 cores=0,2,4,6
/proc/16348/task/16402/stat : 16402 (java) S 16345 16348 14233 0 -1 1077944384 43043 13126 0 0 1194 63 5 2 20 0 15 0 221979660 11280941056 436251 33554432000 4194304 4196468 140720351757664 140081464703632 140081460471509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16403] ppid=16345 vsize=11016544 memory=1736908 CPUtime=12.66 cores=0,2,4,6
/proc/16348/task/16403/stat : 16403 (java) S 16345 16348 14233 0 -1 1077944384 39446 13126 0 0 1199 60 5 2 20 0 15 0 221979660 11280941056 436251 33554432000 4194304 4196468 140720351757664 140081000450576 140081460471509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16404] ppid=16345 vsize=11016544 memory=1736908 CPUtime=12.65 cores=0,2,4,6
/proc/16348/task/16404/stat : 16404 (java) S 16345 16348 14233 0 -1 1077944384 28491 13126 0 0 1193 65 5 2 20 0 15 0 221979660 11280941056 436251 33554432000 4194304 4196468 140720351757664 140080999397776 140081460471509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16405] ppid=16345 vsize=11016544 memory=1734860 CPUtime=12.67 cores=0,2,4,6
/proc/16348/task/16405/stat : 16405 (java) S 16345 16348 14233 0 -1 1077944384 26270 13126 0 0 1202 58 5 2 20 0 15 0 221979660 11280941056 436251 33554432000 4194304 4196468 140720351757664 140080998344976 140081460471509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16406] ppid=16345 vsize=11016544 memory=1734860 CPUtime=9.42 cores=0,2,4,6
/proc/16348/task/16406/stat : 16406 (java) S 16345 16348 14233 0 -1 1077944384 31027 13126 0 0 886 49 5 2 20 0 15 0 221979662 11280941056 436251 33554432000 4194304 4196468 140720351757664 140080886397808 140081460472450 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16407] ppid=16345 vsize=11016544 memory=1734860 CPUtime=0.07 cores=0,2,4,6
/proc/16348/task/16407/stat : 16407 (java) S 16345 16348 14233 0 -1 1077944384 19 13126 0 0 0 0 5 2 20 0 15 0 221979662 11280941056 436251 33554432000 4194304 4196468 140720351757664 140080291243616 140081460471509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16408] ppid=16345 vsize=11016544 memory=1736908 CPUtime=0.07 cores=0,2,4,6
/proc/16348/task/16408/stat : 16408 (java) S 16345 16348 14233 0 -1 1077944384 7 13126 0 0 0 0 5 2 20 0 15 0 221979662 11280941056 436251 33554432000 4194304 4196468 140720351757664 140080089916800 140081460471509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16409] ppid=16345 vsize=11016544 memory=1745004 CPUtime=0.07 cores=0,2,4,6
/proc/16348/task/16409/stat : 16409 (java) S 16345 16348 14233 0 -1 1077944384 3 13126 0 0 0 0 5 2 20 0 15 0 221979665 11280941056 436251 33554432000 4194304 4196468 140720351757664 140079782517072 140081460479899 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16410] ppid=16345 vsize=11016544 memory=1734860 CPUtime=13.58 cores=0,2,4,6
/proc/16348/task/16410/stat : 16410 (java) S 16345 16348 14233 0 -1 1077944384 113394 13126 0 0 1339 12 5 2 20 0 15 0 221979665 11280941056 436251 33554432000 4194304 4196468 140720351757664 140080885344624 140081460472450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16411] ppid=16345 vsize=11016544 memory=6640 CPUtime=13.32 cores=0,2,4,6
/proc/16348/task/16411/stat : 16411 (java) S 16345 16348 14233 0 -1 1077944384 105292 13126 0 0 1313 12 5 2 20 0 15 0 221979665 11280941056 436251 33554432000 4194304 4196468 140720351757664 140080884291824 140081460472450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16412] ppid=16345 vsize=11016544 memory=5420 CPUtime=5.3 cores=0,2,4,6
/proc/16348/task/16412/stat : 16412 (java) S 16345 16348 14233 0 -1 1077944384 115590 13126 0 0 509 14 5 2 20 0 15 0 221979665 11280941056 436251 33554432000 4194304 4196468 140720351757664 140080883239024 140081460472450 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 52 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16413] ppid=16345 vsize=11016544 memory=1736908 CPUtime=0.07 cores=0,2,4,6
/proc/16348/task/16413/stat : 16413 (java) S 16345 16348 14233 0 -1 1077944384 3 13126 0 0 0 0 5 2 20 0 15 0 221979665 11280941056 436251 33554432000 4194304 4196468 140720351757664 140079351720160 140081460471509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
[pid=16348/tid=16414] ppid=16345 vsize=11016544 memory=1745004 CPUtime=1.32 cores=0,2,4,6
/proc/16348/task/16414/stat : 16414 (java) S 16345 16348 14233 0 -1 1077944384 1870 13126 0 0 67 58 5 2 20 0 15 0 221979666 11280941056 436251 33554432000 4194304 4196468 140720351757664 140080882187440 140081460472450 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19550208 140720351758957 140720351761756 140720351761756 140720351764431 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1745004 KiB

Child status: 143
Real time (s): 2451.74
CPU time (s): 2520.1
CPU user time (s): 2515.97
CPU system time (s): 4.12524
CPU usage (%): 102.788
Max. virtual memory (cumulated for all children) (KiB): 11017136
Max. memory (cumulated for all children) (KiB): 2002896

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.97
system time used= 4.12524
maximum resident set size= 2004944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 653469
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 247747
involuntary context switches= 6531


# summary of solver processes directly reported to runsolver:
#   pid: 16348
#   total CPU time (s): 2520.1
#   total CPU user time (s): 2515.97
#   total CPU system time (s): 4.12524

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.4258 second user time and 20.1727 second system time

The end

Launcher Data 

Begin job on node149 at 2018-08-12 05:22:44
IDJOB=4304173
IDBENCH=141050
IDSOLVER=2780
FILE ID=node149/4304173-1534044164
RUNJOBID= node149-1534038877-15390
PBS_JOBID= 21036971
Free space on /tmp= 38776 MiB

SOLVER NAME= Concrete 3.9.2
BENCH NAME= XCSP18/NurseRostering/NurseRostering-15_c18.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss64M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4304173-1534044164/watcher-4304173-1534044164 -o /tmp/evaluation-result-4304173-1534044164/solver-4304173-1534044164 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1534038877-15390 --watchdog 2580  bin/xcsp-3-concrete -J-Xss64M -randomseed=126606500 HOME/instance-4304173-1534044164.xml

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

MD5SUM BENCH= 08877e0fafa48cd5ca524d34b6939bef
RANDOM SEED=126606500

node149.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.60
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.60
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.60
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.60
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:        10638024 kB
MemAvailable:   30308372 kB
Buffers:          173888 kB
Cached:         19509672 kB
SwapCached:           28 kB
Active:          9447296 kB
Inactive:       11883120 kB
Active(anon):    1596120 kB
Inactive(anon):   103136 kB
Active(file):    7851176 kB
Inactive(file): 11779984 kB
Unevictable:        7608 kB
Mlocked:            7608 kB
SwapTotal:      67108860 kB
SwapFree:       67108496 kB
Dirty:             26732 kB
Writeback:             0 kB
AnonPages:       1667032 kB
Mapped:            66936 kB
Shmem:             49616 kB
Slab:             496088 kB
SReclaimable:     467648 kB
SUnreclaim:        28440 kB
KernelStack:        3808 kB
PageTables:         8780 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2752432 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1425408 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 38752 MiB
End job on node149 at 2018-08-12 06:03:36