0.97/0.73 c Concrete v3.8.1528841891564 running
20.30/7.59 c 01:15:32.547 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26570. 'extension(6, x[1][35]=[0‥6]) :: init: true :: relation: MDD 710589756, 14 edges, 5 vertices, 15 tuples
20.30/7.59 c 01:15:32.551 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26571. 'extension(6, x[1][35]=[0‥6]) :: init: true :: relation: MDD 661970164, 7 edges, 3 vertices, 6 tuples
20.30/7.60 c 01:15:32.557 [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/7.60 c 01:15:32.558 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26640. 'extension(x[0][32]=[0‥6], 6) :: init: true :: relation: MDD 783402517, 14 edges, 5 vertices, 15 tuples
20.58/7.60 c 01:15:32.559 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26641. 'extension(6, x[2][32]=[0‥6]) :: init: true :: relation: MDD 783402517, 14 edges, 5 vertices, 15 tuples
20.58/7.60 c 01:15:32.561 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26677. 'extension(x[0][34]=[0‥6], 6) :: init: true :: relation: MDD 1639463154, 14 edges, 5 vertices, 15 tuples
20.58/7.60 c 01:15:32.562 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26678. 'extension(6, x[2][34]=[0‥6]) :: init: true :: relation: MDD 1639463154, 14 edges, 5 vertices, 15 tuples
20.58/7.60 c 01:15:32.565 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26714. 'extension(x[0][43]=[0‥6], 6) :: init: true :: relation: MDD 592858578, 14 edges, 5 vertices, 15 tuples
20.58/7.60 c 01:15:32.565 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26715. 'extension(6, x[2][43]=[0‥6]) :: init: true :: relation: MDD 592858578, 14 edges, 5 vertices, 15 tuples
20.58/7.61 c 01:15:32.567 [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/7.61 c 01:15:32.569 [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/7.61 c 01:15:32.570 [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/7.61 c 01:15:32.571 [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/7.61 c 01:15:32.573 [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/7.61 c 01:15:32.574 [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/7.62 c 01:15:32.575 [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/7.62 c 01:15:32.576 [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/7.62 c 01:15:32.577 [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/7.62 c 01:15:32.579 [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/7.62 c 01:15:32.579 [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/7.62 c 01:15:32.581 [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/7.62 c 01:15:32.582 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27106. 'extension(x[2][42]=[0‥6], 6) :: init: true :: relation: MDD 342997389, 14 edges, 5 vertices, 15 tuples
20.58/7.62 c 01:15:32.582 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27107. 'extension(6, x[4][42]=[0‥6]) :: init: true :: relation: MDD 342997389, 14 edges, 5 vertices, 15 tuples
20.58/7.62 c 01:15:32.585 [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/7.62 c 01:15:32.585 [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/7.62 c 01:15:32.587 [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/7.63 c 01:15:32.587 [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/7.63 c 01:15:32.589 [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/7.63 c 01:15:32.589 [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/7.63 c 01:15:32.591 [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/7.63 c 01:15:32.592 [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/7.63 c 01:15:32.592 [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/7.63 c 01:15:32.594 [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/7.63 c 01:15:32.594 [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/7.63 c 01:15:32.596 [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/7.63 c 01:15:32.596 [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/7.64 c 01:15:32.597 [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/7.64 c 01:15:32.598 [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/7.64 c 01:15:32.598 [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/7.64 c 01:15:32.599 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27442. 'extension(x[4][30]=[0‥6], 6) :: init: true :: relation: MDD 1659321014, 14 edges, 5 vertices, 15 tuples
20.58/7.64 c 01:15:32.599 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27443. 'extension(6, x[6][30]=[0‥6]) :: init: true :: relation: MDD 1659321014, 14 edges, 5 vertices, 15 tuples
20.58/7.64 c 01:15:32.602 [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/7.64 c 01:15:32.602 [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/7.64 c 01:15:32.603 [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/7.64 c 01:15:32.603 [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/7.64 c 01:15:32.604 [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/7.65 c 01:15:32.604 [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/7.65 c 01:15:32.604 [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/7.65 c 01:15:32.606 [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/7.65 c 01:15:32.606 [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/7.65 c 01:15:32.607 [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/7.65 c 01:15:32.608 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27658. 'extension(x[5][23]=[0‥6], 6) :: init: true :: relation: MDD 2062667890, 14 edges, 5 vertices, 15 tuples
20.58/7.65 c 01:15:32.608 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27659. 'extension(6, x[7][23]=[0‥6]) :: init: true :: relation: MDD 2062667890, 14 edges, 5 vertices, 15 tuples
20.58/7.65 c 01:15:32.609 [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/7.65 c 01:15:32.610 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27701. 'extension(x[5][32]=[0‥6], 6) :: init: true :: relation: MDD 783402517, 14 edges, 5 vertices, 15 tuples
20.58/7.65 c 01:15:32.611 [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/7.65 c 01:15:32.611 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27746. 'extension(x[5][36]=[0‥6], 6) :: init: true :: relation: MDD 2079332573, 14 edges, 5 vertices, 15 tuples
20.58/7.65 c 01:15:32.612 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27747. 'extension(6, x[7][36]=[0‥6]) :: init: true :: relation: MDD 2079332573, 14 edges, 5 vertices, 15 tuples
20.58/7.65 c 01:15:32.614 [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/7.65 c 01:15:32.615 [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/7.65 c 01:15:32.616 [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/7.65 c 01:15:32.616 [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/7.66 c 01:15:32.617 [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/7.66 c 01:15:32.618 [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/7.66 c 01:15:32.618 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28000. 'extension(x[6][25]=[0‥6], 6) :: init: true :: relation: MDD 1438764761, 14 edges, 5 vertices, 15 tuples
20.58/7.66 c 01:15:32.619 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28001. 'extension(6, x[8][25]=[0‥6]) :: init: true :: relation: MDD 1438764761, 14 edges, 5 vertices, 15 tuples
20.58/7.66 c 01:15:32.620 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28042. 'extension(x[6][26]=[0‥6], 6) :: init: true :: relation: MDD 934288610, 14 edges, 5 vertices, 15 tuples
20.58/7.66 c 01:15:32.621 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28084. 'extension(6, x[8][32]=[0‥6]) :: init: true :: relation: MDD 783402517, 14 edges, 5 vertices, 15 tuples
20.58/7.66 c 01:15:32.622 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28087. 'extension(6, 6) :: init: true :: relation: MDD 783402517, 14 edges, 5 vertices, 15 tuples
20.58/7.66 c 01:15:32.624 [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/7.66 c 01:15:32.625 [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/7.66 c 01:15:32.626 [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/7.66 c 01:15:32.627 [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/7.67 c 01:15:32.627 [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/7.67 c 01:15:32.629 [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/7.67 c 01:15:32.629 [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/7.67 c 01:15:32.631 [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/7.67 c 01:15:32.631 [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/7.67 c 01:15:32.632 [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/7.67 c 01:15:32.633 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28383. 'extension(6, 6) :: init: true :: relation: MDD 934288610, 14 edges, 5 vertices, 15 tuples
20.58/7.67 c 01:15:32.635 [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/7.67 c 01:15:32.635 [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/7.67 c 01:15:32.636 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28506. 'extension(x[8][23]=[0‥6], 6) :: init: true :: relation: MDD 2062667890, 14 edges, 5 vertices, 15 tuples
20.58/7.68 c 01:15:32.636 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28507. 'extension(6, x[10][23]=[0‥6]) :: init: true :: relation: MDD 2062667890, 14 edges, 5 vertices, 15 tuples
20.58/7.68 c 01:15:32.637 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28548. 'extension(6, x[10][26]=[0‥6]) :: init: true :: relation: MDD 934288610, 14 edges, 5 vertices, 15 tuples
20.58/7.68 c 01:15:32.638 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28551. 'extension(6, 6) :: init: true :: relation: MDD 934288610, 14 edges, 5 vertices, 15 tuples
20.58/7.68 c 01:15:32.639 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28590. 'extension(x[8][40]=[0‥6], 6) :: init: true :: relation: MDD 303491903, 14 edges, 5 vertices, 15 tuples
20.58/7.68 c 01:15:32.640 [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/7.68 c 01:15:32.640 [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/7.68 c 01:15:32.642 [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/7.68 c 01:15:32.642 [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/7.69 c 01:15:32.643 [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/7.69 c 01:15:32.644 [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/7.69 c 01:15:32.645 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28800. 'extension(x[9][25]=[0‥6], 6) :: init: true :: relation: MDD 1438764761, 14 edges, 5 vertices, 15 tuples
20.58/7.69 c 01:15:32.646 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28845. 'extension(6, 6) :: init: true :: relation: MDD 303491903, 14 edges, 5 vertices, 15 tuples
20.58/7.69 c 01:15:32.647 [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/7.69 c 01:15:32.648 [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/7.69 c 01:15:32.649 [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/7.69 c 01:15:32.650 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28971. 'extension(6, 6) :: init: true :: relation: MDD 1438764761, 14 edges, 5 vertices, 15 tuples
20.58/7.69 c 01:15:32.650 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29010. 'extension(x[10][32]=[0‥6], 6) :: init: true :: relation: MDD 783402517, 14 edges, 5 vertices, 15 tuples
20.58/7.69 c 01:15:32.651 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29011. 'extension(6, x[12][32]=[0‥6]) :: init: true :: relation: MDD 783402517, 14 edges, 5 vertices, 15 tuples
20.58/7.69 c 01:15:32.653 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29054. 'extension(6, x[12][40]=[0‥6]) :: init: true :: relation: MDD 303491903, 14 edges, 5 vertices, 15 tuples
20.58/7.69 c 01:15:32.653 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29057. 'extension(6, 6) :: init: true :: relation: MDD 303491903, 14 edges, 5 vertices, 15 tuples
20.58/7.69 c 01:15:32.655 [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.58/7.70 c 01:15:32.656 [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.58/7.70 c 01:15:32.656 [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.58/7.70 c 01:15:32.657 [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.92/7.70 c 01:15:32.658 [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.92/7.70 c 01:15:32.658 [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.92/7.70 c 01:15:32.659 [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.92/7.70 c 01:15:32.659 [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.92/7.70 c 01:15:32.660 [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.92/7.70 c 01:15:32.660 [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.92/7.70 c 01:15:32.661 [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.92/7.70 c 01:15:32.661 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29269. 'extension(6, x[13][25]=[0‥6]) :: init: true :: relation: MDD 1438764761, 14 edges, 5 vertices, 15 tuples
20.92/7.70 c 01:15:32.662 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29272. 'extension(6, 6) :: init: true :: relation: MDD 1438764761, 14 edges, 5 vertices, 15 tuples
20.92/7.70 c 01:15:32.663 [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.92/7.70 c 01:15:32.664 [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.92/7.70 c 01:15:32.665 [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.92/7.70 c 01:15:32.665 [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.92/7.70 c 01:15:32.665 [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.92/7.70 c 01:15:32.666 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29398. 'extension(x[12][23]=[0‥6], 6) :: init: true :: relation: MDD 2062667890, 14 edges, 5 vertices, 15 tuples
20.92/7.70 c 01:15:32.667 [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.92/7.71 c 01:15:32.667 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29441. 'extension(x[12][43]=[0‥6], 6) :: init: true :: relation: MDD 592858578, 14 edges, 5 vertices, 15 tuples
20.92/7.71 c 01:15:32.668 [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.92/7.71 c 01:15:32.669 [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.92/7.71 c 01:15:32.669 [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.92/7.71 c 01:15:32.670 [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.92/7.71 c 01:15:32.671 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29608. 'extension(6, x[15][23]=[0‥6]) :: init: true :: relation: MDD 2062667890, 14 edges, 5 vertices, 15 tuples
20.92/7.71 c 01:15:32.671 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29611. 'extension(6, 6) :: init: true :: relation: MDD 2062667890, 14 edges, 5 vertices, 15 tuples
20.92/7.71 c 01:15:32.673 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29650. 'extension(6, x[15][43]=[0‥6]) :: init: true :: relation: MDD 592858578, 14 edges, 5 vertices, 15 tuples
20.92/7.72 c 01:15:32.677 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29653. 'extension(6, 6) :: init: true :: relation: MDD 592858578, 14 edges, 5 vertices, 15 tuples
20.92/7.72 c 01:15:32.678 [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.92/7.72 c 01:15:32.679 [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.92/7.72 c 01:15:32.679 [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.92/7.73 c 01:15:32.681 [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.92/7.73 c 01:15:32.682 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29817. 'extension(x[14][33]=[0‥6], 6) :: init: true :: relation: MDD 2061865206, 14 edges, 5 vertices, 15 tuples
20.92/7.73 c 01:15:32.683 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29861. 'extension(x[14][41]=[0‥6], 6) :: init: true :: relation: MDD 353417634, 14 edges, 5 vertices, 15 tuples
20.92/7.73 c 01:15:32.684 [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.92/7.73 c 01:15:32.684 [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.92/7.73 c 01:15:32.685 [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.92/7.73 c 01:15:32.685 [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.92/7.73 c 01:15:32.686 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29987. 'extension(6, x[17][33]=[0‥6]) :: init: true :: relation: MDD 2061865206, 14 edges, 5 vertices, 15 tuples
20.92/7.73 c 01:15:32.687 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29990. 'extension(6, 6) :: init: true :: relation: MDD 2061865206, 14 edges, 5 vertices, 15 tuples
20.92/7.73 c 01:15:32.688 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30031. 'extension(6, x[17][41]=[0‥6]) :: init: true :: relation: MDD 353417634, 14 edges, 5 vertices, 15 tuples
20.92/7.73 c 01:15:32.689 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30034. 'extension(6, 6) :: init: true :: relation: MDD 353417634, 14 edges, 5 vertices, 15 tuples
20.92/7.73 c 01:15:32.690 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30073. 'extension(x[15][43]=[0‥6], 6) :: init: true :: relation: MDD 592858578, 14 edges, 5 vertices, 15 tuples
20.92/7.74 c 01:15:32.690 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30074. 'extension(6, x[17][43]=[0‥6]) :: init: true :: relation: MDD 592858578, 14 edges, 5 vertices, 15 tuples
20.92/7.74 c 01:15:32.692 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30114. 'extension(x[15][44]=[0‥6], 6) :: init: true :: relation: MDD 395752148, 14 edges, 5 vertices, 15 tuples
20.92/7.74 c 01:15:32.692 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30115. 'extension(6, x[17][44]=[0‥6]) :: init: true :: relation: MDD 395752148, 14 edges, 5 vertices, 15 tuples
20.92/7.74 c 01:15:32.694 [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.92/7.74 c 01:15:32.694 [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.92/7.74 c 01:15:32.695 [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.92/7.74 c 01:15:32.695 [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.92/7.74 c 01:15:32.696 [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.92/7.74 c 01:15:32.696 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30241. 'extension(x[18][27]=[0‥6], 6) :: init: true :: relation: MDD 648346093, 14 edges, 5 vertices, 15 tuples
20.92/7.74 c 01:15:32.697 [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.92/7.74 c 01:15:32.697 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30284. 'extension(x[18][37]=[0‥6], 6) :: init: true :: relation: MDD 659545766, 14 edges, 5 vertices, 15 tuples
20.92/7.74 c 01:15:32.698 [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.92/7.74 c 01:15:32.698 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30329. 'extension(6, x[21][27]=[0‥6]) :: init: true :: relation: MDD 648346093, 14 edges, 5 vertices, 15 tuples
20.92/7.74 c 01:15:32.699 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30332. 'extension(6, 6) :: init: true :: relation: MDD 648346093, 14 edges, 5 vertices, 15 tuples
20.92/7.74 c 01:15:32.700 [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.92/7.74 c 01:15:32.700 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30372. 'extension(x[19][29]=[0‥6], 6) :: init: true :: relation: MDD 1677319673, 14 edges, 5 vertices, 15 tuples
20.92/7.74 c 01:15:32.701 [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.92/7.74 c 01:15:32.701 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30415. 'extension(x[19][31]=[0‥6], 6) :: init: true :: relation: MDD 1545816352, 14 edges, 5 vertices, 15 tuples
20.92/7.74 c 01:15:32.701 [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.92/7.74 c 01:15:32.702 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30463. 'extension(6, 6) :: init: true :: relation: MDD 659545766, 14 edges, 5 vertices, 15 tuples
20.92/7.74 c 01:15:32.703 [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.92/7.74 c 01:15:32.703 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30546. 'extension(6, x[22][29]=[0‥6]) :: init: true :: relation: MDD 1677319673, 14 edges, 5 vertices, 15 tuples
20.92/7.74 c 01:15:32.704 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30549. 'extension(6, 6) :: init: true :: relation: MDD 1677319673, 14 edges, 5 vertices, 15 tuples
20.92/7.74 c 01:15:32.704 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30591. 'extension(6, 6) :: init: true :: relation: MDD 1545816352, 14 edges, 5 vertices, 15 tuples
20.92/7.74 c 01:15:32.705 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30632. 'extension(x[20][33]=[0‥6], 6) :: init: true :: relation: MDD 2061865206, 14 edges, 5 vertices, 15 tuples
20.92/7.74 c 01:15:32.705 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30633. 'extension(6, x[22][33]=[0‥6]) :: init: true :: relation: MDD 2061865206, 14 edges, 5 vertices, 15 tuples
20.92/7.75 c 01:15:32.707 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30676. 'extension(6, x[22][37]=[0‥6]) :: init: true :: relation: MDD 659545766, 14 edges, 5 vertices, 15 tuples
20.92/7.75 c 01:15:32.707 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30679. 'extension(6, 6) :: init: true :: relation: MDD 659545766, 14 edges, 5 vertices, 15 tuples
20.92/7.75 c 01:15:32.709 [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.92/7.75 c 01:15:32.709 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30765. 'extension(6, 6) :: init: true :: relation: MDD 1545816352, 14 edges, 5 vertices, 15 tuples
20.92/7.75 c 01:15:32.710 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30806. 'extension(x[21][44]=[0‥6], 6) :: init: true :: relation: MDD 395752148, 14 edges, 5 vertices, 15 tuples
20.92/7.75 c 01:15:32.711 [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.92/7.75 c 01:15:32.711 [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.92/7.75 c 01:15:32.712 [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.92/7.75 c 01:15:32.713 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30931. 'extension(6, x[24][31]=[0‥6]) :: init: true :: relation: MDD 1545816352, 14 edges, 5 vertices, 15 tuples
20.92/7.75 c 01:15:32.713 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30934. 'extension(6, 6) :: init: true :: relation: MDD 1545816352, 14 edges, 5 vertices, 15 tuples
20.92/7.75 c 01:15:32.715 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30975. 'extension(x[22][42]=[0‥6], 6) :: init: true :: relation: MDD 342997389, 14 edges, 5 vertices, 15 tuples
20.92/7.75 c 01:15:32.715 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30976. 'extension(6, x[24][42]=[0‥6]) :: init: true :: relation: MDD 342997389, 14 edges, 5 vertices, 15 tuples
20.92/7.75 c 01:15:32.716 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31017. 'extension(6, x[24][44]=[0‥6]) :: init: true :: relation: MDD 395752148, 14 edges, 5 vertices, 15 tuples
20.92/7.76 c 01:15:32.717 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31020. 'extension(6, 6) :: init: true :: relation: MDD 395752148, 14 edges, 5 vertices, 15 tuples
20.92/7.76 c 01:15:32.718 [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.92/7.76 c 01:15:32.719 [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.92/7.76 c 01:15:32.720 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31100. 'extension(x[23][34]=[0‥6], 6) :: init: true :: relation: MDD 1639463154, 14 edges, 5 vertices, 15 tuples
20.92/7.76 c 01:15:32.721 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31147. 'extension(6, 6) :: init: true :: relation: MDD 1639463154, 14 edges, 5 vertices, 15 tuples
20.92/7.76 c 01:15:32.721 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31188. 'extension(x[24][38]=[0‥6], 6) :: init: true :: relation: MDD 1073564434, 14 edges, 5 vertices, 15 tuples
20.92/7.76 c 01:15:32.722 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31189. 'extension(6, x[26][38]=[0‥6]) :: init: true :: relation: MDD 1073564434, 14 edges, 5 vertices, 15 tuples
20.92/7.76 c 01:15:32.723 [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.92/7.76 c 01:15:32.723 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31233. 'extension(x[25][26]=[0‥6], 6) :: init: true :: relation: MDD 934288610, 14 edges, 5 vertices, 15 tuples
20.92/7.76 c 01:15:32.724 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31234. 'extension(6, x[27][26]=[0‥6]) :: init: true :: relation: MDD 934288610, 14 edges, 5 vertices, 15 tuples
20.92/7.76 c 01:15:32.725 [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.92/7.76 c 01:15:32.726 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31276. 'extension(6, x[27][34]=[0‥6]) :: init: true :: relation: MDD 1639463154, 14 edges, 5 vertices, 15 tuples
20.92/7.76 c 01:15:32.726 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31279. 'extension(6, 6) :: init: true :: relation: MDD 1639463154, 14 edges, 5 vertices, 15 tuples
20.92/7.77 c 01:15:32.727 [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.92/7.77 c 01:15:32.728 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31321. 'extension(x[25][37]=[0‥6], 6) :: init: true :: relation: MDD 659545766, 14 edges, 5 vertices, 15 tuples
20.92/7.77 c 01:15:32.728 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31322. 'extension(6, x[27][37]=[0‥6]) :: init: true :: relation: MDD 659545766, 14 edges, 5 vertices, 15 tuples
20.92/7.77 c 01:15:32.730 [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.92/7.77 c 01:15:32.730 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31366. 'extension(x[25][41]=[0‥6], 6) :: init: true :: relation: MDD 353417634, 14 edges, 5 vertices, 15 tuples
20.92/7.77 c 01:15:32.730 [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.92/7.77 c 01:15:32.731 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31409. 'extension(x[25][44]=[0‥6], 6) :: init: true :: relation: MDD 395752148, 14 edges, 5 vertices, 15 tuples
20.92/7.77 c 01:15:32.731 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31410. 'extension(6, x[27][44]=[0‥6]) :: init: true :: relation: MDD 395752148, 14 edges, 5 vertices, 15 tuples
20.92/7.77 c 01:15:32.733 [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.92/7.77 c 01:15:32.733 [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.92/7.77 c 01:15:32.734 [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.92/7.77 c 01:15:32.734 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31494. 'extension(x[26][28]=[0‥6], 6) :: init: true :: relation: MDD 1890792022, 14 edges, 5 vertices, 15 tuples
20.92/7.77 c 01:15:32.734 [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.92/7.77 c 01:15:32.735 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31537. 'extension(x[26][29]=[0‥6], 6) :: init: true :: relation: MDD 1677319673, 14 edges, 5 vertices, 15 tuples
20.92/7.77 c 01:15:32.735 [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.92/7.77 c 01:15:32.735 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31580. 'extension(6, x[28][41]=[0‥6]) :: init: true :: relation: MDD 353417634, 14 edges, 5 vertices, 15 tuples
20.92/7.77 c 01:15:32.736 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31583. 'extension(6, 6) :: init: true :: relation: MDD 353417634, 14 edges, 5 vertices, 15 tuples
20.92/7.78 c 01:15:32.737 [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.92/7.78 c 01:15:32.738 [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.92/7.78 c 01:15:32.739 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31706. 'extension(6, x[29][28]=[0‥6]) :: init: true :: relation: MDD 1890792022, 14 edges, 5 vertices, 15 tuples
20.92/7.78 c 01:15:32.739 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31709. 'extension(6, 6) :: init: true :: relation: MDD 1890792022, 14 edges, 5 vertices, 15 tuples
20.92/7.78 c 01:15:32.740 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31748. 'extension(6, x[29][29]=[0‥6]) :: init: true :: relation: MDD 1677319673, 14 edges, 5 vertices, 15 tuples
20.92/7.78 c 01:15:32.740 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31751. 'extension(6, 6) :: init: true :: relation: MDD 1677319673, 14 edges, 5 vertices, 15 tuples
20.92/7.78 c 01:15:32.741 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31790. 'extension(x[27][38]=[0‥6], 6) :: init: true :: relation: MDD 1073564434, 14 edges, 5 vertices, 15 tuples
20.92/7.78 c 01:15:32.742 [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.92/7.78 c 01:15:32.743 [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.92/7.78 c 01:15:32.743 [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.92/7.78 c 01:15:32.744 [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.92/7.78 c 01:15:32.745 [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.92/7.78 c 01:15:32.745 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32005. 'extension(6, 6) :: init: true :: relation: MDD 1073564434, 14 edges, 5 vertices, 15 tuples
20.92/7.78 c 01:15:32.746 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32046. 'extension(x[28][40]=[0‥6], 6) :: init: true :: relation: MDD 303491903, 14 edges, 5 vertices, 15 tuples
20.92/7.78 c 01:15:32.746 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32047. 'extension(6, x[30][40]=[0‥6]) :: init: true :: relation: MDD 303491903, 14 edges, 5 vertices, 15 tuples
20.92/7.79 c 01:15:32.748 [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.92/7.79 c 01:15:32.748 [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.92/7.79 c 01:15:32.749 [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.92/7.79 c 01:15:32.750 [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.92/7.79 c 01:15:32.751 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32214. 'extension(x[29][27]=[0‥6], 6) :: init: true :: relation: MDD 648346093, 14 edges, 5 vertices, 15 tuples
20.92/7.79 c 01:15:32.751 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32256. 'extension(x[29][36]=[0‥6], 6) :: init: true :: relation: MDD 2079332573, 14 edges, 5 vertices, 15 tuples
20.92/7.79 c 01:15:32.752 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32300. 'extension(6, x[31][38]=[0‥6]) :: init: true :: relation: MDD 1073564434, 14 edges, 5 vertices, 15 tuples
20.92/7.79 c 01:15:32.752 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32303. 'extension(6, 6) :: init: true :: relation: MDD 1073564434, 14 edges, 5 vertices, 15 tuples
20.92/7.79 c 01:15:32.754 [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
20.92/7.79 c 01:15:32.754 [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
20.92/7.79 c 01:15:32.755 [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
20.92/7.79 c 01:15:32.755 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32470. 'extension(6, x[32][27]=[0‥6]) :: init: true :: relation: MDD 648346093, 14 edges, 5 vertices, 15 tuples
20.92/7.79 c 01:15:32.756 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32473. 'extension(6, 6) :: init: true :: relation: MDD 648346093, 14 edges, 5 vertices, 15 tuples
20.92/7.80 c 01:15:32.757 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32512. 'extension(x[30][28]=[0‥6], 6) :: init: true :: relation: MDD 1890792022, 14 edges, 5 vertices, 15 tuples
20.92/7.80 c 01:15:32.758 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32557. 'extension(6, 6) :: init: true :: relation: MDD 2079332573, 14 edges, 5 vertices, 15 tuples
20.92/7.80 c 01:15:32.758 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32598. 'extension(x[30][42]=[0‥6], 6) :: init: true :: relation: MDD 342997389, 14 edges, 5 vertices, 15 tuples
20.92/7.80 c 01:15:32.759 [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
20.92/7.80 c 01:15:32.760 [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.20/7.80 c 01:15:32.761 [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.20/7.80 c 01:15:32.761 [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.20/7.80 c 01:15:32.762 [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.20/7.80 c 01:15:32.763 [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.20/7.81 c 01:15:32.763 [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.20/7.81 c 01:15:32.765 [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.20/7.81 c 01:15:32.765 [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.20/7.81 c 01:15:32.766 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32850. 'extension(6, x[33][28]=[0‥6]) :: init: true :: relation: MDD 1890792022, 14 edges, 5 vertices, 15 tuples
21.20/7.81 c 01:15:32.767 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32853. 'extension(6, 6) :: init: true :: relation: MDD 1890792022, 14 edges, 5 vertices, 15 tuples
21.20/7.81 c 01:15:32.768 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32892. 'extension(6, x[33][36]=[0‥6]) :: init: true :: relation: MDD 2079332573, 14 edges, 5 vertices, 15 tuples
21.20/7.81 c 01:15:32.769 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32895. 'extension(6, 6) :: init: true :: relation: MDD 2079332573, 14 edges, 5 vertices, 15 tuples
21.20/7.81 c 01:15:32.770 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32936. 'extension(x[31][39]=[0‥6], 6) :: init: true :: relation: MDD 1773373551, 14 edges, 5 vertices, 15 tuples
21.20/7.81 c 01:15:32.770 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32980. 'extension(6, x[33][42]=[0‥6]) :: init: true :: relation: MDD 342997389, 14 edges, 5 vertices, 15 tuples
21.20/7.81 c 01:15:32.771 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32983. 'extension(6, 6) :: init: true :: relation: MDD 342997389, 14 edges, 5 vertices, 15 tuples
21.20/7.81 c 01:15:32.773 [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.20/7.81 c 01:15:32.773 [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.20/7.81 c 01:15:32.773 [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.20/7.81 c 01:15:32.774 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33066. 'extension(x[32][24]=[0‥6], 6) :: init: true :: relation: MDD 1313359405, 14 edges, 5 vertices, 15 tuples
21.20/7.81 c 01:15:32.774 [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.20/7.81 c 01:15:32.774 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33109. 'extension(x[32][30]=[0‥6], 6) :: init: true :: relation: MDD 1659321014, 14 edges, 5 vertices, 15 tuples
21.20/7.81 c 01:15:32.775 [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.20/7.81 c 01:15:32.775 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33157. 'extension(6, 6) :: init: true :: relation: MDD 1773373551, 14 edges, 5 vertices, 15 tuples
21.20/7.81 c 01:15:32.776 [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.20/7.81 c 01:15:32.776 [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.20/7.81 c 01:15:32.776 [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.20/7.81 c 01:15:32.777 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33245. 'extension(6, 6) :: init: true :: relation: MDD 1313359405, 14 edges, 5 vertices, 15 tuples
21.20/7.82 c 01:15:32.777 [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.20/7.82 c 01:15:32.777 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33285. 'extension(6, x[35][30]=[0‥6]) :: init: true :: relation: MDD 1659321014, 14 edges, 5 vertices, 15 tuples
21.20/7.82 c 01:15:32.778 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33288. 'extension(6, 6) :: init: true :: relation: MDD 1659321014, 14 edges, 5 vertices, 15 tuples
21.20/7.82 c 01:15:32.779 [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.20/7.82 c 01:15:32.779 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33330. 'extension(x[33][33]=[0‥6], 6) :: init: true :: relation: MDD 2061865206, 14 edges, 5 vertices, 15 tuples
21.20/7.82 c 01:15:32.779 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33331. 'extension(6, x[35][33]=[0‥6]) :: init: true :: relation: MDD 2061865206, 14 edges, 5 vertices, 15 tuples
21.20/7.82 c 01:15:32.781 [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.20/7.82 c 01:15:32.782 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33375. 'extension(x[33][35]=[0‥6], 6) :: init: true :: relation: MDD 710589756, 14 edges, 5 vertices, 15 tuples
21.20/7.82 c 01:15:32.783 [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.20/7.82 c 01:15:32.783 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33423. 'extension(6, 6) :: init: true :: relation: MDD 1773373551, 14 edges, 5 vertices, 15 tuples
21.20/7.82 c 01:15:32.783 [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.20/7.82 c 01:15:32.784 [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.20/7.83 c 01:15:32.785 [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.20/7.83 c 01:15:32.786 [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.20/7.83 c 01:15:32.787 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33551. 'extension(6, 6) :: init: true :: relation: MDD 1313359405, 14 edges, 5 vertices, 15 tuples
21.20/7.83 c 01:15:32.787 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33593. 'extension(6, 6) :: init: true :: relation: MDD 710589756, 14 edges, 5 vertices, 15 tuples
21.20/7.83 c 01:15:32.788 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33634. 'extension(6, x[36][39]=[0‥6]) :: init: true :: relation: MDD 1773373551, 14 edges, 5 vertices, 15 tuples
21.20/7.83 c 01:15:32.788 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33637. 'extension(6, 6) :: init: true :: relation: MDD 1773373551, 14 edges, 5 vertices, 15 tuples
21.20/7.83 c 01:15:32.790 [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.20/7.83 c 01:15:32.791 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33720. 'extension(6, x[37][24]=[0‥6]) :: init: true :: relation: MDD 1313359405, 14 edges, 5 vertices, 15 tuples
21.20/7.83 c 01:15:32.791 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33723. 'extension(6, 6) :: init: true :: relation: MDD 1313359405, 14 edges, 5 vertices, 15 tuples
21.20/7.83 c 01:15:32.792 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33762. 'extension(6, x[37][35]=[0‥6]) :: init: true :: relation: MDD 710589756, 14 edges, 5 vertices, 15 tuples
21.20/7.83 c 01:15:32.793 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33765. 'extension(6, 6) :: init: true :: relation: MDD 710589756, 14 edges, 5 vertices, 15 tuples
21.20/7.83 c 01:15:32.794 [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.20/7.85 c 01:15:32.810 [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.20/7.85 c 01:15:32.810 [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.20/7.85 c 01:15:32.812 [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.20/7.85 c 01:15:32.812 [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.20/7.85 c 01:15:32.813 [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.20/7.85 c 01:15:32.813 [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.20/7.85 c 01:15:32.815 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33967. 'extension(x[37][30]=[0‥6], 6) :: init: true :: relation: MDD 1659321014, 14 edges, 5 vertices, 15 tuples
21.20/7.85 c 01:15:32.815 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33968. 'extension(6, x[39][30]=[0‥6]) :: init: true :: relation: MDD 1659321014, 14 edges, 5 vertices, 15 tuples
21.20/7.86 c 01:15:32.817 [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.20/7.86 c 01:15:32.818 [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.20/7.86 c 01:15:32.818 [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.20/7.86 c 01:15:32.818 [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.20/7.86 c 01:15:32.819 [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.20/7.86 c 01:15:32.819 [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.20/7.86 c 01:15:32.820 [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.20/7.86 c 01:15:32.820 [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.20/7.86 c 01:15:32.820 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34125. 'extension(6, 6) :: init: true :: relation: MDD 1041571359, 7 edges, 3 vertices, 6 tuples
21.20/7.87 c 01:15:32.836 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34384. 'extension(x[1][35]=[0‥6]) :: init: true :: relation: Empty MDD
21.20/7.87 c 01:15:32.836 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34386. 'extension(x[1][35]=[0‥6]) :: init: true :: relation: Empty MDD
21.20/7.87 c 01:15:32.836 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34392. 'extension(x[0][19]=[0‥6]) :: init: true :: relation: Empty MDD
21.20/7.88 c 01:15:32.837 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34396. 'extension(x[0][32]=[0‥6]) :: init: true :: relation: Empty MDD
21.20/7.88 c 01:15:32.837 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34398. 'extension(x[2][32]=[0‥6]) :: init: true :: relation: Empty MDD
21.20/7.88 c 01:15:32.837 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34410. 'extension(x[0][34]=[0‥6]) :: init: true :: relation: Empty MDD
21.20/7.88 c 01:15:32.837 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34412. 'extension(x[2][34]=[0‥6]) :: init: true :: relation: Empty MDD
21.20/7.88 c 01:15:32.838 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34424. 'extension(x[0][43]=[0‥6]) :: init: true :: relation: Empty MDD
21.20/7.88 c 01:15:32.838 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34426. 'extension(x[2][43]=[0‥6]) :: init: true :: relation: Empty MDD
21.20/7.88 c 01:15:32.839 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34436. 'extension(x[1][1]=[0‥6]) :: init: true :: relation: Empty MDD
21.20/7.88 c 01:15:32.839 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34442. 'extension(x[1][11]=[0‥6]) :: init: true :: relation: Empty MDD
21.20/7.88 c 01:15:32.839 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34448. 'extension(x[1][12]=[0‥6]) :: init: true :: relation: Empty MDD
21.20/7.88 c 01:15:32.839 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34450. 'extension(x[3][12]=[0‥6]) :: init: true :: relation: Empty MDD
21.20/7.88 c 01:15:32.840 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34472. 'extension(x[2][8]=[0‥6]) :: init: true :: relation: Empty MDD
21.20/7.88 c 01:15:32.841 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34478. 'extension(x[4][11]=[0‥6]) :: init: true :: relation: Empty MDD
21.20/7.88 c 01:15:32.841 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34492. 'extension(x[2][14]=[0‥6]) :: init: true :: relation: Empty MDD
21.20/7.88 c 01:15:32.841 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34494. 'extension(x[4][14]=[0‥6]) :: init: true :: relation: Empty MDD
21.20/7.88 c 01:15:32.842 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34508. 'extension(x[2][42]=[0‥6]) :: init: true :: relation: Empty MDD
21.20/7.88 c 01:15:32.842 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34510. 'extension(x[4][42]=[0‥6]) :: init: true :: relation: Empty MDD
21.20/7.88 c 01:15:32.843 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34524. 'extension(x[5][1]=[0‥6]) :: init: true :: relation: Empty MDD
21.20/7.88 c 01:15:32.843 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34534. 'extension(x[5][8]=[0‥6]) :: init: true :: relation: Empty MDD
21.20/7.88 c 01:15:32.843 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34548. 'extension(x[5][19]=[0‥6]) :: init: true :: relation: Empty MDD
21.20/7.88 c 01:15:32.844 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34558. 'extension(wk[0][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.20/7.88 c 01:15:32.844 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34560. 'extension(x[4][0]=[0‥6]) :: init: true :: relation: Empty MDD
21.20/7.88 c 01:15:32.844 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34562. 'extension(x[6][0]=[0‥6]) :: init: true :: relation: Empty MDD
21.20/7.88 c 01:15:32.845 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34576. 'extension(wk[3][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.20/7.88 c 01:15:32.845 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34578. 'extension(x[4][3]=[0‥6]) :: init: true :: relation: Empty MDD
21.20/7.88 c 01:15:32.845 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34584. 'extension(wk[7][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.20/7.88 c 01:15:32.845 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34586. 'extension(x[4][7]=[0‥6]) :: init: true :: relation: Empty MDD
21.20/7.88 c 01:15:32.846 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34592. 'extension(wk[20][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.20/7.88 c 01:15:32.846 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34594. 'extension(x[4][20]=[0‥6]) :: init: true :: relation: Empty MDD
21.20/7.88 c 01:15:32.846 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34600. 'extension(wk[30][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.20/7.88 c 01:15:32.846 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34602. 'extension(x[4][30]=[0‥6]) :: init: true :: relation: Empty MDD
21.20/7.88 c 01:15:32.846 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34604. 'extension(x[6][30]=[0‥6]) :: init: true :: relation: Empty MDD
21.20/7.89 c 01:15:32.847 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34620. 'extension(wk[3][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.20/7.89 c 01:15:32.847 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34626. 'extension(wk[7][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.20/7.89 c 01:15:32.848 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34632. 'extension(wk[16][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.20/7.89 c 01:15:32.848 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34634. 'extension(x[5][16]=[0‥6]) :: init: true :: relation: Empty MDD
21.20/7.89 c 01:15:32.848 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34636. 'extension(x[7][16]=[0‥6]) :: init: true :: relation: Empty MDD
21.20/7.89 c 01:15:32.849 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34650. 'extension(wk[20][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.20/7.89 c 01:15:32.849 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34656. 'extension(wk[23][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.20/7.89 c 01:15:32.849 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34658. 'extension(x[5][23]=[0‥6]) :: init: true :: relation: Empty MDD
21.20/7.89 c 01:15:32.849 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34660. 'extension(x[7][23]=[0‥6]) :: init: true :: relation: Empty MDD
21.20/7.89 c 01:15:32.850 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34674. 'extension(wk[32][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.20/7.89 c 01:15:32.850 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34676. 'extension(x[5][32]=[0‥6]) :: init: true :: relation: Empty MDD
21.20/7.89 c 01:15:32.850 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34682. 'extension(wk[36][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.20/7.89 c 01:15:32.850 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34684. 'extension(x[5][36]=[0‥6]) :: init: true :: relation: Empty MDD
21.20/7.89 c 01:15:32.851 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34686. 'extension(x[7][36]=[0‥6]) :: init: true :: relation: Empty MDD
21.20/7.89 c 01:15:32.851 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34702. 'extension(x[6][2]=[0‥6]) :: init: true :: relation: Empty MDD
21.20/7.89 c 01:15:32.851 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34704. 'extension(x[8][2]=[0‥6]) :: init: true :: relation: Empty MDD
21.20/7.89 c 01:15:32.852 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34718. 'extension(x[6][18]=[0‥6]) :: init: true :: relation: Empty MDD
21.20/7.89 c 01:15:32.852 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34724. 'extension(x[6][25]=[0‥6]) :: init: true :: relation: Empty MDD
21.20/7.89 c 01:15:32.852 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34726. 'extension(x[8][25]=[0‥6]) :: init: true :: relation: Empty MDD
21.20/7.89 c 01:15:32.853 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34740. 'extension(x[6][26]=[0‥6]) :: init: true :: relation: Empty MDD
21.20/7.89 c 01:15:32.853 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34746. 'extension(x[8][32]=[0‥6]) :: init: true :: relation: Empty MDD
21.20/7.89 c 01:15:32.854 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34762. 'extension(x[9][3]=[0‥6]) :: init: true :: relation: Empty MDD
21.20/7.89 c 01:15:32.854 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34772. 'extension(x[7][5]=[0‥6]) :: init: true :: relation: Empty MDD
21.20/7.89 c 01:15:32.855 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34778. 'extension(x[9][7]=[0‥6]) :: init: true :: relation: Empty MDD
21.20/7.89 c 01:15:32.855 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34788. 'extension(x[7][9]=[0‥6]) :: init: true :: relation: Empty MDD
21.20/7.89 c 01:15:32.855 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34790. 'extension(x[9][9]=[0‥6]) :: init: true :: relation: Empty MDD
21.20/7.89 c 01:15:32.856 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34808. 'extension(x[9][20]=[0‥6]) :: init: true :: relation: Empty MDD
21.20/7.89 c 01:15:32.857 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34826. 'extension(x[8][23]=[0‥6]) :: init: true :: relation: Empty MDD
21.20/7.89 c 01:15:32.857 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34828. 'extension(x[10][23]=[0‥6]) :: init: true :: relation: Empty MDD
21.20/7.90 c 01:15:32.857 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34842. 'extension(x[10][26]=[0‥6]) :: init: true :: relation: Empty MDD
21.20/7.90 c 01:15:32.858 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34852. 'extension(x[8][40]=[0‥6]) :: init: true :: relation: Empty MDD
21.20/7.90 c 01:15:32.858 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34858. 'extension(x[9][0]=[0‥6]) :: init: true :: relation: Empty MDD
21.20/7.90 c 01:15:32.858 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34860. 'extension(x[11][0]=[0‥6]) :: init: true :: relation: Empty MDD
21.20/7.90 c 01:15:32.859 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34874. 'extension(x[9][12]=[0‥6]) :: init: true :: relation: Empty MDD
21.20/7.90 c 01:15:32.859 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34880. 'extension(x[11][18]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.90 c 01:15:32.859 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34890. 'extension(x[9][25]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.90 c 01:15:32.860 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34900. 'extension(x[12][5]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.90 c 01:15:32.861 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34918. 'extension(x[10][32]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.90 c 01:15:32.861 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34920. 'extension(x[12][32]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.90 c 01:15:32.861 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34936. 'extension(x[12][40]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.90 c 01:15:32.862 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34946. 'extension(wk[12][1]=[0‥1]) :: init: true :: relation: Empty MDD
21.51/7.90 c 01:15:32.862 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34948. 'extension(x[13][12]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.90 c 01:15:32.862 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34958. 'extension(wk[13][1]=[0‥1]) :: init: true :: relation: Empty MDD
21.51/7.90 c 01:15:32.862 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34960. 'extension(x[11][13]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.90 c 01:15:32.863 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34966. 'extension(wk[17][1]=[0‥1]) :: init: true :: relation: Empty MDD
21.51/7.90 c 01:15:32.863 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34968. 'extension(x[11][17]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.90 c 01:15:32.863 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34974. 'extension(wk[21][1]=[0‥1]) :: init: true :: relation: Empty MDD
21.51/7.90 c 01:15:32.863 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34976. 'extension(x[11][21]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.90 c 01:15:32.863 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34978. 'extension(x[13][21]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.90 c 01:15:32.864 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34992. 'extension(wk[25][1]=[0‥1]) :: init: true :: relation: Empty MDD
21.51/7.90 c 01:15:32.864 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34994. 'extension(x[13][25]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.90 c 01:15:32.864 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35004. 'extension(wk[13][1]=[0‥1]) :: init: true :: relation: Empty MDD
21.51/7.90 c 01:15:32.865 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35010. 'extension(wk[17][1]=[0‥1]) :: init: true :: relation: Empty MDD
21.51/7.90 c 01:15:32.865 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35016. 'extension(wk[23][1]=[0‥1]) :: init: true :: relation: Empty MDD
21.51/7.90 c 01:15:32.865 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35018. 'extension(x[12][23]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.90 c 01:15:32.865 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35024. 'extension(wk[43][1]=[0‥1]) :: init: true :: relation: Empty MDD
21.51/7.90 c 01:15:32.865 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35026. 'extension(x[12][43]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.90 c 01:15:32.866 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35032. 'extension(x[13][10]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.90 c 01:15:32.866 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35038. 'extension(x[15][17]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.90 c 01:15:32.866 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35048. 'extension(x[15][23]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.90 c 01:15:32.867 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35062. 'extension(x[15][43]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.91 c 01:15:32.867 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35074. 'extension(x[16][13]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.91 c 01:15:32.868 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35084. 'extension(x[14][21]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.91 c 01:15:32.868 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35090. 'extension(x[14][33]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.91 c 01:15:32.868 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35096. 'extension(x[14][41]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.91 c 01:15:32.868 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35102. 'extension(x[17][10]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.91 c 01:15:32.869 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35112. 'extension(x[17][21]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.91 c 01:15:32.869 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35126. 'extension(x[17][33]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.91 c 01:15:32.870 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35142. 'extension(x[17][41]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.91 c 01:15:32.870 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35156. 'extension(x[15][43]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.91 c 01:15:32.870 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35158. 'extension(x[17][43]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.91 c 01:15:32.871 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35170. 'extension(x[15][44]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.91 c 01:15:32.871 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35172. 'extension(x[17][44]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.91 c 01:15:32.871 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35184. 'extension(x[17][6]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.91 c 01:15:32.872 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35190. 'extension(wk[6][2]=[0‥1]) :: init: true :: relation: Empty MDD
21.51/7.91 c 01:15:32.872 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35192. 'extension(x[20][6]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.91 c 01:15:32.872 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35206. 'extension(wk[27][2]=[0‥1]) :: init: true :: relation: Empty MDD
21.51/7.91 c 01:15:32.872 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35208. 'extension(x[18][27]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.91 c 01:15:32.873 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35214. 'extension(wk[37][2]=[0‥1]) :: init: true :: relation: Empty MDD
21.51/7.91 c 01:15:32.873 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35216. 'extension(x[18][37]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.91 c 01:15:32.873 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35222. 'extension(wk[27][2]=[0‥1]) :: init: true :: relation: Empty MDD
21.51/7.91 c 01:15:32.873 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35224. 'extension(x[21][27]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.91 c 01:15:32.874 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35238. 'extension(wk[29][2]=[0‥1]) :: init: true :: relation: Empty MDD
21.51/7.91 c 01:15:32.874 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35240. 'extension(x[19][29]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.91 c 01:15:32.874 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35246. 'extension(wk[31][2]=[0‥1]) :: init: true :: relation: Empty MDD
21.51/7.91 c 01:15:32.874 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35248. 'extension(x[19][31]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.91 c 01:15:32.875 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35254. 'extension(wk[37][2]=[0‥1]) :: init: true :: relation: Empty MDD
21.51/7.91 c 01:15:32.875 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35260. 'extension(x[20][9]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.91 c 01:15:32.875 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35266. 'extension(x[22][29]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.91 c 01:15:32.876 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35284. 'extension(x[20][33]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.91 c 01:15:32.876 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35286. 'extension(x[22][33]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.91 c 01:15:32.877 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35302. 'extension(x[22][37]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.92 c 01:15:32.877 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35322. 'extension(x[21][44]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.92 c 01:15:32.877 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35328. 'extension(x[24][9]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.92 c 01:15:32.878 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35338. 'extension(x[22][11]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.92 c 01:15:32.878 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35344. 'extension(x[24][31]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.92 c 01:15:32.879 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35356. 'extension(x[22][42]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.92 c 01:15:32.879 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35358. 'extension(x[24][42]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.92 c 01:15:32.879 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35372. 'extension(x[24][44]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.93 c 01:15:32.880 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35382. 'extension(x[25][11]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.93 c 01:15:32.880 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35396. 'extension(x[23][34]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.93 c 01:15:32.881 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35406. 'extension(x[24][38]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.93 c 01:15:32.881 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35408. 'extension(x[26][38]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.93 c 01:15:32.881 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35422. 'extension(wk[26][3]=[0‥1]) :: init: true :: relation: Empty MDD
21.51/7.93 c 01:15:32.881 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35424. 'extension(x[25][26]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.93 c 01:15:32.881 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35426. 'extension(x[27][26]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.93 c 01:15:32.882 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35440. 'extension(wk[34][3]=[0‥1]) :: init: true :: relation: Empty MDD
21.51/7.93 c 01:15:32.882 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35442. 'extension(x[27][34]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.93 c 01:15:32.883 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35456. 'extension(wk[37][3]=[0‥1]) :: init: true :: relation: Empty MDD
21.51/7.93 c 01:15:32.883 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35458. 'extension(x[25][37]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.93 c 01:15:32.883 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35460. 'extension(x[27][37]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.93 c 01:15:32.883 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35476. 'extension(wk[41][3]=[0‥1]) :: init: true :: relation: Empty MDD
21.51/7.93 c 01:15:32.884 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35478. 'extension(x[25][41]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.93 c 01:15:32.884 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35484. 'extension(wk[44][3]=[0‥1]) :: init: true :: relation: Empty MDD
21.51/7.93 c 01:15:32.884 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35486. 'extension(x[25][44]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.93 c 01:15:32.884 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35488. 'extension(x[27][44]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.93 c 01:15:32.885 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35500. 'extension(wk[16][3]=[0‥1]) :: init: true :: relation: Empty MDD
21.51/7.93 c 01:15:32.885 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35502. 'extension(x[26][16]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.93 c 01:15:32.885 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35508. 'extension(wk[28][3]=[0‥1]) :: init: true :: relation: Empty MDD
21.51/7.93 c 01:15:32.885 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35510. 'extension(x[26][28]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.93 c 01:15:32.885 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35516. 'extension(wk[29][3]=[0‥1]) :: init: true :: relation: Empty MDD
21.51/7.93 c 01:15:32.886 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35518. 'extension(x[26][29]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.93 c 01:15:32.886 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35524. 'extension(wk[41][3]=[0‥1]) :: init: true :: relation: Empty MDD
21.51/7.93 c 01:15:32.886 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35526. 'extension(x[28][41]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.93 c 01:15:32.886 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35540. 'extension(x[27][14]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.93 c 01:15:32.887 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35550. 'extension(x[29][28]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.93 c 01:15:32.887 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35564. 'extension(x[29][29]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.93 c 01:15:32.888 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35578. 'extension(x[27][38]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.93 c 01:15:32.888 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35584. 'extension(x[28][4]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.93 c 01:15:32.889 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35594. 'extension(x[30][16]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.93 c 01:15:32.889 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35604. 'extension(x[28][22]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.93 c 01:15:32.889 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35614. 'extension(x[28][40]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.93 c 01:15:32.890 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35616. 'extension(x[30][40]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.93 c 01:15:32.890 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35634. 'extension(x[31][14]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.93 c 01:15:32.891 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35648. 'extension(x[29][27]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.93 c 01:15:32.891 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35654. 'extension(x[29][36]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.93 c 01:15:32.891 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35660. 'extension(x[31][38]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.93 c 01:15:32.892 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35674. 'extension(x[30][8]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.93 c 01:15:32.892 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35680. 'extension(x[32][27]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.93 c 01:15:32.893 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35694. 'extension(x[30][28]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.93 c 01:15:32.893 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35704. 'extension(x[30][42]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.93 c 01:15:32.893 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35710. 'extension(x[33][4]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.93 c 01:15:32.893 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35720. 'extension(x[33][8]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.93 c 01:15:32.894 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35734. 'extension(x[31][15]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.93 c 01:15:32.894 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35740. 'extension(x[31][17]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.93 c 01:15:32.894 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35742. 'extension(x[33][17]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.93 c 01:15:32.895 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35756. 'extension(x[33][22]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.93 c 01:15:32.895 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35766. 'extension(x[33][28]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.93 c 01:15:32.896 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35780. 'extension(x[33][36]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.93 c 01:15:32.896 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35794. 'extension(x[31][39]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.93 c 01:15:32.896 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35800. 'extension(x[33][42]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.93 c 01:15:32.897 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35814. 'extension(wk[15][4]=[0‥1]) :: init: true :: relation: Empty MDD
21.51/7.94 c 01:15:32.897 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35820. 'extension(wk[24][4]=[0‥1]) :: init: true :: relation: Empty MDD
21.51/7.94 c 01:15:32.897 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35822. 'extension(x[32][24]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.94 c 01:15:32.897 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35828. 'extension(wk[30][4]=[0‥1]) :: init: true :: relation: Empty MDD
21.51/7.94 c 01:15:32.898 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35830. 'extension(x[32][30]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.94 c 01:15:32.898 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35836. 'extension(wk[39][4]=[0‥1]) :: init: true :: relation: Empty MDD
21.51/7.94 c 01:15:32.898 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35842. 'extension(wk[15][4]=[0‥1]) :: init: true :: relation: Empty MDD
21.51/7.94 c 01:15:32.898 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35844. 'extension(wk[24][4]=[0‥1]) :: init: true :: relation: Empty MDD
21.51/7.94 c 01:15:32.898 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35850. 'extension(wk[30][4]=[0‥1]) :: init: true :: relation: Empty MDD
21.51/7.94 c 01:15:32.899 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35852. 'extension(x[35][30]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.94 c 01:15:32.899 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35868. 'extension(wk[33][4]=[0‥1]) :: init: true :: relation: Empty MDD
21.51/7.94 c 01:15:32.900 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35870. 'extension(x[33][33]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.94 c 01:15:32.900 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35872. 'extension(x[35][33]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.94 c 01:15:32.900 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35888. 'extension(wk[35][4]=[0‥1]) :: init: true :: relation: Empty MDD
21.51/7.94 c 01:15:32.900 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35890. 'extension(x[33][35]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.94 c 01:15:32.901 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35896. 'extension(wk[39][4]=[0‥1]) :: init: true :: relation: Empty MDD
21.51/7.94 c 01:15:32.901 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35900. 'extension(x[34][1]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.94 c 01:15:32.901 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35902. 'extension(x[36][1]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.95 c 01:15:32.902 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35916. 'extension(x[36][15]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.95 c 01:15:32.902 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35930. 'extension(x[36][39]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.95 c 01:15:32.903 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35942. 'extension(x[35][6]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.95 c 01:15:32.903 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35948. 'extension(x[37][24]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.95 c 01:15:32.903 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35958. 'extension(x[37][35]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.95 c 01:15:32.904 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35972. 'extension(x[36][0]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.95 c 01:15:32.904 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35978. 'extension(x[38][6]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.95 c 01:15:32.904 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35992. 'extension(x[39][0]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.95 c 01:15:32.905 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 36006. 'extension(x[37][10]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.95 c 01:15:32.905 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 36008. 'extension(x[39][10]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.95 c 01:15:32.905 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 36022. 'extension(x[37][30]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.95 c 01:15:32.906 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 36024. 'extension(x[39][30]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.95 c 01:15:32.906 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 36040. 'extension(x[38][2]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.95 c 01:15:32.906 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 36046. 'extension(wk[2][5]=[0‥1]) :: init: true :: relation: Empty MDD
21.51/7.95 c 01:15:32.907 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 36052. 'extension(wk[21][5]=[0‥1]) :: init: true :: relation: Empty MDD
21.51/7.95 c 01:15:32.907 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 36054. 'extension(x[39][21]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.95 c 01:15:32.907 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 36056. 'extension(x[41][21]=[0‥6]) :: init: true :: relation: Empty MDD
21.51/7.95 c 01:15:32.907 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 36068. 'extension(wk[2][5]=[0‥1]) :: init: true :: relation: Empty MDD
2520.00/2456.31 Exception in thread "main" java.util.concurrent.TimeoutException
2520.00/2456.31 at concrete.MAC.mac(MAC.scala:188)
2520.00/2456.31 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.00/2456.31 at scala.util.Try$.apply(Try.scala:209)
2520.00/2456.31 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.00/2456.31 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.00/2456.31 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.00/2456.31 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.00/2456.31 at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.00/2456.31 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.00/2456.31 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.00/2456.31 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.00/2456.31 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.00/2456.31 at concrete.MAC.oneRun(MAC.scala:253)
2520.00/2456.31 at concrete.MAC.nextSolution(MAC.scala:272)
2520.00/2456.31 at concrete.MAC.$anonfun$nextSolution$5(MAC.scala:336)
2520.00/2456.31 at concrete.ProblemState.map(ProblemState.scala:221)
2520.00/2456.31 at concrete.ProblemState.map(ProblemState.scala:204)
2520.00/2456.31 at concrete.MAC.nextSolution(MAC.scala:334)
2520.00/2456.31 at concrete.Solver.hasNext(Solver.scala:166)
2520.00/2456.31 at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.00/2456.31 at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.00/2456.31 at concrete.Solver.foreach(Solver.scala:68)
2520.00/2456.31 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.00/2456.31 at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.00/2456.31 at scala.util.Success.map(Try.scala:209)
2520.00/2456.31 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.00/2456.31 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.00/2456.31 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.00/2456.31 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.00/2456.31 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.00/2456.31 at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.00/2456.31 at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.00/2456.31 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.00/2456.31 at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.00/2456.31 at scala.collection.immutable.List.foreach(List.scala:389)
2520.00/2456.31 at scala.App.main(App.scala:76)
2520.00/2456.31 at scala.App.main$(App.scala:74)
2520.00/2456.31 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.00/2456.31 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.00/2456.31 s UNKNOWN
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 (6823 MiB free)
memory of node 1: 16384 MiB (14044 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292970-1532301324/watcher-4292970-1532301324 -o /tmp/evaluation-result-4292970-1532301324/solver-4292970-1532301324 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532297041-4850 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=610230471 -superng HOME/instance-4292970-1532301324.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=5756, runsolver pid=5753
Current StackSize limit: 8192 KiB
[startup+0.100123 s]*
/proc/loadavg: 1.51 1.38 1.34 3/206 5813
/proc/meminfo: memFree=21360572/32770624 swapFree=67108860/67108860
[pid=5756] ppid=5753 vsize=9972712 memory=17336 CPUtime=0.09 cores=1,3,5,7
/proc/5756/stat : 5756 (java) S 5753 5756 4818 0 -1 1077944320 4455 13153 0 0 1 1 5 2 20 0 6 0 47695710 10212057088 4334 33554432000 4194304 4196468 140725465489072 140725465471616 140316812746487 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
/proc/5756/statm: 2493178 4334 1956 1 0 2481616 0
[pid=5756/tid=5809] ppid=5753 vsize=9988792 memory=-8817892784195551169 CPUtime=0.08 cores=1,3,5,7
/proc/5756/task/5809/stat : 5809 (java) R 5753 5756 4818 0 -1 4202560 2319 13153 0 0 1 0 5 2 20 0 6 0 47695719 10228523008 4334 33554432000 4194304 4196468 140725465489072 140316784583248 140316798259197 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5810] ppid=5753 vsize=9988792 memory=8257237230052613020 CPUtime=0.07 cores=1,3,5,7
/proc/5756/task/5810/stat : 5810 (java) S 5753 5756 4818 0 -1 1077944384 1 13153 0 0 0 0 5 2 20 0 6 0 47695720 10228523008 4334 33554432000 4194304 4196468 140725465489072 140316816988816 140316812756693 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5811] ppid=5753 vsize=9988792 memory=140293612910208 CPUtime=0.07 cores=1,3,5,7
/proc/5756/task/5811/stat : 5811 (java) S 5753 5756 4818 0 -1 1077944384 2 13153 0 0 0 0 5 2 20 0 6 0 47695720 10228523008 4334 33554432000 4194304 4196468 140725465489072 140316386388496 140316812756693 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5812] ppid=5753 vsize=9988792 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5756/task/5812/stat : 5812 (java) S 5753 5756 4818 0 -1 1077944384 2 13153 0 0 0 0 5 2 20 0 6 0 47695720 10228523008 4334 33554432000 4194304 4196468 140725465489072 140316385335696 140316812756693 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5813] ppid=5753 vsize=9989820 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5756/task/5813/stat : 5813 (java) S 5753 5756 4818 0 -1 1077944384 2 13153 0 0 0 0 5 2 20 0 6 0 47695720 10229575680 4400 33554432000 4194304 4196468 140725465489072 140316384282896 140316812756693 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5814] ppid=5753 vsize=9989820 memory=140293612910208 CPUtime=0.07 cores=1,3,5,7
/proc/5756/task/5814/stat : 5814 (java) R 5753 5756 4818 0 -1 4202560 0 13153 0 0 0 0 5 2 20 0 7 0 47695721 10229575680 4400 33554432000 4194304 4196468 140725465489072 140316784583248 140316805486337 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17336 KiB
[startup+0.209746 s]*
/proc/loadavg: 1.51 1.38 1.34 3/215 5822
/proc/meminfo: memFree=21337388/32770624 swapFree=67108860/67108860
[pid=5756] ppid=5753 vsize=10818856 memory=44588 CPUtime=0.25 cores=1,3,5,7
/proc/5756/stat : 5756 (java) S 5753 5756 4818 0 -1 1077944320 9009 13153 0 0 16 2 5 2 20 0 15 0 47695710 11078508544 11147 33554432000 4194304 4196468 140725465489072 140725465471616 140316812746487 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
/proc/5756/statm: 2704714 11147 2960 1 0 2667149 0
[pid=5756/tid=5809] ppid=5753 vsize=10818856 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/5756/task/5809/stat : 5809 (java) R 5753 5756 4818 0 -1 4202560 5709 13153 0 0 10 1 5 2 20 0 15 0 47695719 11078508544 11213 33554432000 4194304 4196468 140725465489072 140316784544144 140316796826974 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5810] ppid=5753 vsize=10818856 memory=342 CPUtime=0.07 cores=1,3,5,7
/proc/5756/task/5810/stat : 5810 (java) S 5753 5756 4818 0 -1 1077944384 1 13153 0 0 0 0 5 2 20 0 15 0 47695720 11078508544 11213 33554432000 4194304 4196468 140725465489072 140316816988816 140316812756693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5811] ppid=5753 vsize=10818856 memory=140293612919517 CPUtime=0.07 cores=1,3,5,7
/proc/5756/task/5811/stat : 5811 (java) S 5753 5756 4818 0 -1 1077944384 2 13153 0 0 0 0 5 2 20 0 15 0 47695720 11078508544 11213 33554432000 4194304 4196468 140725465489072 140316386388496 140316812756693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5812] ppid=5753 vsize=10818856 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5756/task/5812/stat : 5812 (java) S 5753 5756 4818 0 -1 1077944384 2 13153 0 0 0 0 5 2 20 0 15 0 47695720 11078508544 11213 33554432000 4194304 4196468 140725465489072 140316385335696 140316812756693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5813] ppid=5753 vsize=10818856 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5756/task/5813/stat : 5813 (java) S 5753 5756 4818 0 -1 1077944384 2 13153 0 0 0 0 5 2 20 0 15 0 47695720 11078508544 11213 33554432000 4194304 4196468 140725465489072 140316384282896 140316812756693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5814] ppid=5753 vsize=10818856 memory=140293612910208 CPUtime=0.07 cores=1,3,5,7
/proc/5756/task/5814/stat : 5814 (java) S 5753 5756 4818 0 -1 1077944384 2 13153 0 0 0 0 5 2 20 0 15 0 47695721 11078508544 11213 33554432000 4194304 4196468 140725465489072 140316272151408 140316812757634 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5815] ppid=5753 vsize=10818856 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5756/task/5815/stat : 5815 (java) S 5753 5756 4818 0 -1 1077944384 13 13153 0 0 0 0 5 2 20 0 15 0 47695722 11078508544 11213 33554432000 4194304 4196468 140725465489072 140316178900512 140316812756693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5816] ppid=5753 vsize=10818856 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5756/task/5816/stat : 5816 (java) S 5753 5756 4818 0 -1 1077944384 1 13153 0 0 0 0 5 2 20 0 15 0 47695722 11078508544 11213 33554432000 4194304 4196468 140725465489072 140315574920560 140316812756693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5817] ppid=5753 vsize=10818856 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5756/task/5817/stat : 5817 (java) S 5753 5756 4818 0 -1 1077944384 3 13153 0 0 0 0 5 2 20 0 15 0 47695725 11078508544 11213 33554432000 4194304 4196468 140725465489072 140315334629712 140316812765083 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5818] ppid=5753 vsize=10818856 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5756/task/5818/stat : 5818 (java) S 5753 5756 4818 0 -1 1077944384 488 13153 0 0 1 0 5 2 20 0 15 0 47695725 11078508544 11213 33554432000 4194304 4196468 140725465489072 140316271098224 140316812757634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5819] ppid=5753 vsize=10818856 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/5756/task/5819/stat : 5819 (java) S 5753 5756 4818 0 -1 1077944384 89 13153 0 0 1 0 5 2 20 0 15 0 47695725 11078508544 11213 33554432000 4194304 4196468 140725465489072 140316270045424 140316812757634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5820] ppid=5753 vsize=10818856 memory=140293612910208 CPUtime=0.1 cores=1,3,5,7
/proc/5756/task/5820/stat : 5820 (java) S 5753 5756 4818 0 -1 1077944384 553 13153 0 0 3 0 5 2 20 0 15 0 47695725 11078508544 11213 33554432000 4194304 4196468 140725465489072 140316268992624 140316812757634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5821] ppid=5753 vsize=10818856 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5756/task/5821/stat : 5821 (java) S 5753 5756 4818 0 -1 1077944384 3 13153 0 0 0 0 5 2 20 0 15 0 47695725 11078508544 11213 33554432000 4194304 4196468 140725465489072 140315301071072 140316812756693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5822] ppid=5753 vsize=10818856 memory=140293612910208 CPUtime=0.07 cores=1,3,5,7
/proc/5756/task/5822/stat : 5822 (java) S 5753 5756 4818 0 -1 1077944384 1 13153 0 0 0 0 5 2 20 0 15 0 47695725 11078508544 11213 33554432000 4194304 4196468 140725465489072 140316267941040 140316812757634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818856 KiB
Current children cumulated memory: 44588 KiB
[startup+0.310144 s]*
/proc/loadavg: 1.51 1.38 1.34 3/215 5822
/proc/meminfo: memFree=21326720/32770624 swapFree=67108860/67108860
[pid=5756] ppid=5753 vsize=10819352 memory=54072 CPUtime=0.38 cores=1,3,5,7
/proc/5756/stat : 5756 (java) S 5753 5756 4818 0 -1 1077944320 10587 13153 0 0 29 2 5 2 20 0 15 0 47695710 11079016448 13518 33554432000 4194304 4196468 140725465489072 140725465471616 140316812746487 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
/proc/5756/statm: 2704838 13518 3091 1 0 2667149 0
[pid=5756/tid=5809] ppid=5753 vsize=10819352 memory=8112282956445269571 CPUtime=0.29 cores=1,3,5,7
/proc/5756/task/5809/stat : 5809 (java) R 5753 5756 4818 0 -1 4202560 7231 13153 0 0 20 2 5 2 20 0 15 0 47695719 11079016448 13518 33554432000 4194304 4196468 140725465489072 140316784558496 140316798442264 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5810] ppid=5753 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5756/task/5810/stat : 5810 (java) S 5753 5756 4818 0 -1 1077944384 1 13153 0 0 0 0 5 2 20 0 15 0 47695720 11079016448 13518 33554432000 4194304 4196468 140725465489072 140316816988816 140316812756693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5811] ppid=5753 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5756/task/5811/stat : 5811 (java) S 5753 5756 4818 0 -1 1077944384 2 13153 0 0 0 0 5 2 20 0 15 0 47695720 11079016448 13518 33554432000 4194304 4196468 140725465489072 140316386388496 140316812756693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5812] ppid=5753 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5756/task/5812/stat : 5812 (java) S 5753 5756 4818 0 -1 1077944384 2 13153 0 0 0 0 5 2 20 0 15 0 47695720 11079016448 13518 33554432000 4194304 4196468 140725465489072 140316385335696 140316812756693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5813] ppid=5753 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5756/task/5813/stat : 5813 (java) S 5753 5756 4818 0 -1 1077944384 2 13153 0 0 0 0 5 2 20 0 15 0 47695720 11079016448 13518 33554432000 4194304 4196468 140725465489072 140316384282896 140316812756693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5814] ppid=5753 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5756/task/5814/stat : 5814 (java) S 5753 5756 4818 0 -1 1077944384 2 13153 0 0 0 0 5 2 20 0 15 0 47695721 11079016448 13518 33554432000 4194304 4196468 140725465489072 140316272151408 140316812757634 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5815] ppid=5753 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5756/task/5815/stat : 5815 (java) S 5753 5756 4818 0 -1 1077944384 13 13153 0 0 0 0 5 2 20 0 15 0 47695722 11079016448 13518 33554432000 4194304 4196468 140725465489072 140316178900512 140316812756693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5816] ppid=5753 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5756/task/5816/stat : 5816 (java) S 5753 5756 4818 0 -1 1077944384 1 13153 0 0 0 0 5 2 20 0 15 0 47695722 11079016448 13518 33554432000 4194304 4196468 140725465489072 140315574920560 140316812756693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5817] ppid=5753 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5756/task/5817/stat : 5817 (java) S 5753 5756 4818 0 -1 1077944384 3 13153 0 0 0 0 5 2 20 0 15 0 47695725 11079016448 13518 33554432000 4194304 4196468 140725465489072 140315334629712 140316812765083 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5818] ppid=5753 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5756/task/5818/stat : 5818 (java) S 5753 5756 4818 0 -1 1077944384 488 13153 0 0 1 0 5 2 20 0 15 0 47695725 11079016448 13518 33554432000 4194304 4196468 140725465489072 140316271098224 140316812757634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5819] ppid=5753 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/5756/task/5819/stat : 5819 (java) S 5753 5756 4818 0 -1 1077944384 90 13153 0 0 1 0 5 2 20 0 15 0 47695725 11079016448 13518 33554432000 4194304 4196468 140725465489072 140316270045424 140316812757634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5820] ppid=5753 vsize=10819352 memory=140293612910208 CPUtime=0.12 cores=1,3,5,7
/proc/5756/task/5820/stat : 5820 (java) S 5753 5756 4818 0 -1 1077944384 561 13153 0 0 5 0 5 2 20 0 15 0 47695725 11079016448 13518 33554432000 4194304 4196468 140725465489072 140316268992624 140316812757634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5821] ppid=5753 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/5756/task/5821/stat : 5821 (java) S 5753 5756 4818 0 -1 1077944384 3 13153 0 0 0 0 5 2 20 0 15 0 47695725 11079016448 13518 33554432000 4194304 4196468 140725465489072 140315301071072 140316812756693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5822] ppid=5753 vsize=10819352 memory=140293612910208 CPUtime=0.07 cores=1,3,5,7
/proc/5756/task/5822/stat : 5822 (java) S 5753 5756 4818 0 -1 1077944384 1 13153 0 0 0 0 5 2 20 0 15 0 47695725 11079016448 13518 33554432000 4194304 4196468 140725465489072 140316267941040 140316812757634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 54072 KiB
[startup+0.700729 s]
/proc/loadavg: 1.51 1.38 1.34 3/215 5822
/proc/meminfo: memFree=21317788/32770624 swapFree=67108860/67108860
[pid=5756] ppid=5753 vsize=10819352 memory=86832 CPUtime=0.97 cores=1,3,5,7
/proc/5756/stat : 5756 (java) S 5753 5756 4818 0 -1 1077944320 16825 13153 0 0 86 4 5 2 20 0 15 0 47695710 11079016448 21708 33554432000 4194304 4196468 140725465489072 140725465471616 140316812746487 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
/proc/5756/statm: 2704838 21708 3239 1 0 2667149 0
[pid=5756/tid=5809] ppid=5753 vsize=10819352 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/5756/task/5809/stat : 5809 (java) R 5753 5756 4818 0 -1 4202560 12542 13153 0 0 56 3 5 2 20 0 15 0 47695719 11079016448 21708 33554432000 4194304 4196468 140725465489072 140316784567312 140316794310016 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5810] ppid=5753 vsize=10819352 memory=55 CPUtime=0.07 cores=1,3,5,7
/proc/5756/task/5810/stat : 5810 (java) S 5753 5756 4818 0 -1 1077944384 1 13153 0 0 0 0 5 2 20 0 15 0 47695720 11079016448 21708 33554432000 4194304 4196468 140725465489072 140316816988816 140316812756693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5811] ppid=5753 vsize=10819352 memory=1 CPUtime=0.07 cores=1,3,5,7
/proc/5756/task/5811/stat : 5811 (java) S 5753 5756 4818 0 -1 1077944384 2 13153 0 0 0 0 5 2 20 0 15 0 47695720 11079016448 21708 33554432000 4194304 4196468 140725465489072 140316386388496 140316812756693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5812] ppid=5753 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5756/task/5812/stat : 5812 (java) S 5753 5756 4818 0 -1 1077944384 2 13153 0 0 0 0 5 2 20 0 15 0 47695720 11079016448 21708 33554432000 4194304 4196468 140725465489072 140316385335696 140316812756693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5813] ppid=5753 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5756/task/5813/stat : 5813 (java) S 5753 5756 4818 0 -1 1077944384 2 13153 0 0 0 0 5 2 20 0 15 0 47695720 11079016448 21708 33554432000 4194304 4196468 140725465489072 140316384282896 140316812756693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5814] ppid=5753 vsize=10819352 memory=140295106724423 CPUtime=0.07 cores=1,3,5,7
/proc/5756/task/5814/stat : 5814 (java) S 5753 5756 4818 0 -1 1077944384 5 13153 0 0 0 0 5 2 20 0 15 0 47695721 11079016448 21708 33554432000 4194304 4196468 140725465489072 140316272151408 140316812757634 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5815] ppid=5753 vsize=10819352 memory=140295106724443 CPUtime=0.07 cores=1,3,5,7
/proc/5756/task/5815/stat : 5815 (java) S 5753 5756 4818 0 -1 1077944384 13 13153 0 0 0 0 5 2 20 0 15 0 47695722 11079016448 21708 33554432000 4194304 4196468 140725465489072 140316178900512 140316812756693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5816] ppid=5753 vsize=10819352 memory=140295106724444 CPUtime=0.07 cores=1,3,5,7
/proc/5756/task/5816/stat : 5816 (java) S 5753 5756 4818 0 -1 1077944384 1 13153 0 0 0 0 5 2 20 0 15 0 47695722 11079016448 21708 33554432000 4194304 4196468 140725465489072 140315574920560 140316812756693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5817] ppid=5753 vsize=10819352 memory=140295106724448 CPUtime=0.07 cores=1,3,5,7
/proc/5756/task/5817/stat : 5817 (java) S 5753 5756 4818 0 -1 1077944384 3 13153 0 0 0 0 5 2 20 0 15 0 47695725 11079016448 21708 33554432000 4194304 4196468 140725465489072 140315334629712 140316812765083 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5818] ppid=5753 vsize=10819352 memory=140295106724457 CPUtime=0.16 cores=1,3,5,7
/proc/5756/task/5818/stat : 5818 (java) S 5753 5756 4818 0 -1 1077944384 1103 13153 0 0 9 0 5 2 20 0 15 0 47695725 11079016448 21708 33554432000 4194304 4196468 140725465489072 140316271098224 140316812757634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5819] ppid=5753 vsize=10819352 memory=140295106724460 CPUtime=0.14 cores=1,3,5,7
/proc/5756/task/5819/stat : 5819 (java) S 5753 5756 4818 0 -1 1077944384 342 13153 0 0 7 0 5 2 20 0 15 0 47695725 11079016448 21708 33554432000 4194304 4196468 140725465489072 140316270045424 140316812757634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5820] ppid=5753 vsize=10819352 memory=142880677036686 CPUtime=0.19 cores=1,3,5,7
/proc/5756/task/5820/stat : 5820 (java) S 5753 5756 4818 0 -1 1077944384 618 13153 0 0 12 0 5 2 20 0 15 0 47695725 11079016448 21708 33554432000 4194304 4196468 140725465489072 140316268992624 140316812757634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5821] ppid=5753 vsize=10819352 memory=18464 CPUtime=0.07 cores=1,3,5,7
/proc/5756/task/5821/stat : 5821 (java) S 5753 5756 4818 0 -1 1077944384 3 13153 0 0 0 0 5 2 20 0 15 0 47695725 11079016448 21708 33554432000 4194304 4196468 140725465489072 140315301071072 140316812756693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5822] ppid=5753 vsize=10819352 memory=10420 CPUtime=0.07 cores=1,3,5,7
/proc/5756/task/5822/stat : 5822 (java) S 5753 5756 4818 0 -1 1077944384 1 13153 0 0 0 0 5 2 20 0 15 0 47695725 11079016448 21708 33554432000 4194304 4196468 140725465489072 140316267941040 140316812757634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86832 KiB
[startup+1.50106 s]
/proc/loadavg: 1.51 1.38 1.34 6/215 5822
/proc/meminfo: memFree=21271324/32770624 swapFree=67108860/67108860
[pid=5756] ppid=5753 vsize=10828108 memory=175700 CPUtime=3.1 cores=1,3,5,7
/proc/5756/stat : 5756 (java) S 5753 5756 4818 0 -1 1077944320 23688 13153 0 0 295 8 5 2 20 0 15 0 47695710 11087982592 43925 33554432000 4194304 4196468 140725465489072 140725465471616 140316812746487 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
/proc/5756/statm: 2707027 43925 3455 1 0 2668685 0
[pid=5756/tid=5809] ppid=5753 vsize=10828108 memory=10799 CPUtime=1.44 cores=1,3,5,7
/proc/5756/task/5809/stat : 5809 (java) R 5753 5756 4818 0 -1 4202560 15398 13153 0 0 132 5 5 2 20 0 15 0 47695719 11087982592 43925 33554432000 4194304 4196468 140725465489072 140316784581608 140316795174742 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5810] ppid=5753 vsize=10828108 memory=25313 CPUtime=0.07 cores=1,3,5,7
/proc/5756/task/5810/stat : 5810 (java) S 5753 5756 4818 0 -1 1077944384 1 13153 0 0 0 0 5 2 20 0 15 0 47695720 11087982592 43925 33554432000 4194304 4196468 140725465489072 140316816988816 140316812756693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5811] ppid=5753 vsize=10828108 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5756/task/5811/stat : 5811 (java) S 5753 5756 4818 0 -1 1077944384 2 13153 0 0 0 0 5 2 20 0 15 0 47695720 11087982592 43925 33554432000 4194304 4196468 140725465489072 140316386388496 140316812756693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5812] ppid=5753 vsize=10828108 memory=321013415751723303 CPUtime=0.07 cores=1,3,5,7
/proc/5756/task/5812/stat : 5812 (java) S 5753 5756 4818 0 -1 1077944384 2 13153 0 0 0 0 5 2 20 0 15 0 47695720 11087982592 43925 33554432000 4194304 4196468 140725465489072 140316385335696 140316812756693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5813] ppid=5753 vsize=10828108 memory=288293281199310633 CPUtime=0.07 cores=1,3,5,7
/proc/5756/task/5813/stat : 5813 (java) S 5753 5756 4818 0 -1 1077944384 2 13153 0 0 0 0 5 2 20 0 15 0 47695720 11087982592 43925 33554432000 4194304 4196468 140725465489072 140316384282896 140316812756693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5814] ppid=5753 vsize=10828108 memory=6656426216303648864 CPUtime=0.07 cores=1,3,5,7
/proc/5756/task/5814/stat : 5814 (java) S 5753 5756 4818 0 -1 1077944384 6 13153 0 0 0 0 5 2 20 0 15 0 47695721 11087982592 43925 33554432000 4194304 4196468 140725465489072 140316272151408 140316812757634 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5815] ppid=5753 vsize=10828108 memory=6944656575208382560 CPUtime=0.07 cores=1,3,5,7
/proc/5756/task/5815/stat : 5815 (java) S 5753 5756 4818 0 -1 1077944384 13 13153 0 0 0 0 5 2 20 0 15 0 47695722 11087982592 43925 33554432000 4194304 4196468 140725465489072 140316178900512 140316812756693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5816] ppid=5753 vsize=10828108 memory=-2672971631320983069 CPUtime=0.07 cores=1,3,5,7
/proc/5756/task/5816/stat : 5816 (java) S 5753 5756 4818 0 -1 1077944384 1 13153 0 0 0 0 5 2 20 0 15 0 47695722 11087982592 43925 33554432000 4194304 4196468 140725465489072 140315574920560 140316812756693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5817] ppid=5753 vsize=10828108 memory=-7606742920825102191 CPUtime=0.07 cores=1,3,5,7
/proc/5756/task/5817/stat : 5817 (java) S 5753 5756 4818 0 -1 1077944384 3 13153 0 0 0 0 5 2 20 0 15 0 47695725 11087982592 43925 33554432000 4194304 4196468 140725465489072 140315334629712 140316812765083 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5818] ppid=5753 vsize=10828108 memory=-3472574944341025154 CPUtime=0.62 cores=1,3,5,7
/proc/5756/task/5818/stat : 5818 (java) R 5753 5756 4818 0 -1 4202560 3156 13153 0 0 55 0 5 2 20 0 15 0 47695725 11087982592 43925 33554432000 4194304 4196468 140725465489072 140316271079240 140316797871877 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5819] ppid=5753 vsize=10828108 memory=0 CPUtime=0.63 cores=1,3,5,7
/proc/5756/task/5819/stat : 5819 (java) R 5753 5756 4818 0 -1 4202560 1244 13153 0 0 56 0 5 2 20 0 15 0 47695725 11087982592 43925 33554432000 4194304 4196468 140725465489072 140316270031520 140316796232763 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5820] ppid=5753 vsize=10828108 memory=-2892745056951965031 CPUtime=0.57 cores=1,3,5,7
/proc/5756/task/5820/stat : 5820 (java) S 5753 5756 4818 0 -1 1077944384 1669 13153 0 0 50 0 5 2 20 0 15 0 47695725 11087982592 43925 33554432000 4194304 4196468 140725465489072 140316268992624 140316812757634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5821] ppid=5753 vsize=10828108 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5756/task/5821/stat : 5821 (java) S 5753 5756 4818 0 -1 1077944384 3 13153 0 0 0 0 5 2 20 0 15 0 47695725 11087982592 43925 33554432000 4194304 4196468 140725465489072 140315301071072 140316812756693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5822] ppid=5753 vsize=10828108 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/5756/task/5822/stat : 5822 (java) S 5753 5756 4818 0 -1 1077944384 1 13153 0 0 0 0 5 2 20 0 15 0 47695725 11087982592 43925 33554432000 4194304 4196468 140725465489072 140316267941040 140316812757634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
################
# More data... #
################
/proc/5756/task/5809/stat : 5809 (java) R 5753 5756 4818 0 -1 4202560 254608 13153 0 0 237170 57 5 2 20 0 15 0 47695719 11180277760 1029709 33554432000 4194304 4196468 140725465489072 140316784580928 140316416423934 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5810] ppid=5753 vsize=10918240 memory=4118836 CPUtime=9.25 cores=1,3,5,7
/proc/5756/task/5810/stat : 5810 (java) S 5753 5756 4818 0 -1 1077944384 41370 13153 0 0 837 81 5 2 20 0 15 0 47695720 11180277760 1029709 33554432000 4194304 4196468 140725465489072 140316816988816 140316812756693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5811] ppid=5753 vsize=10918240 memory=4118836 CPUtime=9.19 cores=1,3,5,7
/proc/5756/task/5811/stat : 5811 (java) S 5753 5756 4818 0 -1 1077944384 48248 13153 0 0 833 79 5 2 20 0 15 0 47695720 11180277760 1029709 33554432000 4194304 4196468 140725465489072 140316386388496 140316812756693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5812] ppid=5753 vsize=10918240 memory=55 CPUtime=9.25 cores=1,3,5,7
/proc/5756/task/5812/stat : 5812 (java) S 5753 5756 4818 0 -1 1077944384 43281 13153 0 0 837 81 5 2 20 0 15 0 47695720 11180277760 1029709 33554432000 4194304 4196468 140725465489072 140316385335696 140316812756693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5813] ppid=5753 vsize=10918240 memory=4118836 CPUtime=9.22 cores=1,3,5,7
/proc/5756/task/5813/stat : 5813 (java) S 5753 5756 4818 0 -1 1077944384 46300 13153 0 0 835 80 5 2 20 0 15 0 47695720 11180277760 1029709 33554432000 4194304 4196468 140725465489072 140316384282896 140316812756693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5814] ppid=5753 vsize=10918240 memory=4118836 CPUtime=0.57 cores=1,3,5,7
/proc/5756/task/5814/stat : 5814 (java) S 5753 5756 4818 0 -1 1077944384 39881 13153 0 0 42 8 5 2 20 0 15 0 47695721 11180277760 1029709 33554432000 4194304 4196468 140725465489072 140316272151408 140316812757634 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5815] ppid=5753 vsize=10918240 memory=644 CPUtime=0.07 cores=1,3,5,7
/proc/5756/task/5815/stat : 5815 (java) S 5753 5756 4818 0 -1 1077944384 20 13153 0 0 0 0 5 2 20 0 15 0 47695722 11180277760 1029709 33554432000 4194304 4196468 140725465489072 140316178900576 140316812756693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5816] ppid=5753 vsize=10918240 memory=1792 CPUtime=0.07 cores=1,3,5,7
/proc/5756/task/5816/stat : 5816 (java) S 5753 5756 4818 0 -1 1077944384 16 13153 0 0 0 0 5 2 20 0 15 0 47695722 11180277760 1029709 33554432000 4194304 4196468 140725465489072 140315574920576 140316812756693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5817] ppid=5753 vsize=10918240 memory=4118836 CPUtime=0.07 cores=1,3,5,7
/proc/5756/task/5817/stat : 5817 (java) S 5753 5756 4818 0 -1 1077944384 3 13153 0 0 0 0 5 2 20 0 15 0 47695725 11180277760 1029709 33554432000 4194304 4196468 140725465489072 140315334629712 140316812765083 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5818] ppid=5753 vsize=10918240 memory=4118836 CPUtime=15.02 cores=1,3,5,7
/proc/5756/task/5818/stat : 5818 (java) S 5753 5756 4818 0 -1 1077944384 95901 13153 0 0 1486 9 5 2 20 0 15 0 47695725 11180277760 1029709 33554432000 4194304 4196468 140725465489072 140316271098224 140316812757634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5819] ppid=5753 vsize=10918240 memory=4118836 CPUtime=15.03 cores=1,3,5,7
/proc/5756/task/5819/stat : 5819 (java) S 5753 5756 4818 0 -1 1077944384 93007 13153 0 0 1488 8 5 2 20 0 15 0 47695725 11180277760 1029709 33554432000 4194304 4196468 140725465489072 140316270045424 140316812757634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5820] ppid=5753 vsize=10918240 memory=4136 CPUtime=5.26 cores=1,3,5,7
/proc/5756/task/5820/stat : 5820 (java) S 5753 5756 4818 0 -1 1077944384 98861 13153 0 0 508 11 5 2 20 0 15 0 47695725 11180277760 1029709 33554432000 4194304 4196468 140725465489072 140316268992624 140316812757634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5821] ppid=5753 vsize=10918240 memory=4136 CPUtime=0.07 cores=1,3,5,7
/proc/5756/task/5821/stat : 5821 (java) S 5753 5756 4818 0 -1 1077944384 3 13153 0 0 0 0 5 2 20 0 15 0 47695725 11180277760 1029709 33554432000 4194304 4196468 140725465489072 140315301071072 140316812756693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5822] ppid=5753 vsize=10918240 memory=15956 CPUtime=1.28 cores=1,3,5,7
/proc/5756/task/5822/stat : 5822 (java) S 5753 5756 4818 0 -1 1077944384 2984 13153 0 0 55 66 5 2 20 0 15 0 47695725 11180277760 1029709 33554432000 4194304 4196468 140725465489072 140316267941040 140316812757634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
Current children cumulated CPU time: 2445.89 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 4118836 KiB
[startup+2442.3 s]
/proc/loadavg: 1.38 1.48 1.57 3/215 6025
/proc/meminfo: memFree=17421704/32770624 swapFree=67108860/67108860
[pid=5756] ppid=5753 vsize=10918240 memory=4118968 CPUtime=2505.98 cores=1,3,5,7
/proc/5756/stat : 5756 (java) S 5753 5756 4818 0 -1 1077944320 778282 13153 0 0 250119 472 5 2 20 0 15 0 47695710 11180277760 1029742 33554432000 4194304 4196468 140725465489072 140725465471616 140316812746487 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
/proc/5756/statm: 2729560 1029742 3541 1 0 2691213 0
[pid=5756/tid=5809] ppid=5753 vsize=10918240 memory=4118960 CPUtime=2432.31 cores=1,3,5,7
/proc/5756/task/5809/stat : 5809 (java) R 5753 5756 4818 0 -1 4202560 260108 13153 0 0 243166 58 5 2 20 0 15 0 47695719 11180277760 1029742 33554432000 4194304 4196468 140725465489072 140316784581728 140316417246152 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5810] ppid=5753 vsize=10918240 memory=4118836 CPUtime=9.27 cores=1,3,5,7
/proc/5756/task/5810/stat : 5810 (java) S 5753 5756 4818 0 -1 1077944384 42441 13153 0 0 839 81 5 2 20 0 15 0 47695720 11180277760 1029742 33554432000 4194304 4196468 140725465489072 140316816988816 140316812756693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5811] ppid=5753 vsize=10918240 memory=4118836 CPUtime=9.21 cores=1,3,5,7
/proc/5756/task/5811/stat : 5811 (java) S 5753 5756 4818 0 -1 1077944384 49415 13153 0 0 835 79 5 2 20 0 15 0 47695720 11180277760 1029742 33554432000 4194304 4196468 140725465489072 140316386388496 140316812756693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5812] ppid=5753 vsize=10918240 memory=4118960 CPUtime=9.27 cores=1,3,5,7
/proc/5756/task/5812/stat : 5812 (java) S 5753 5756 4818 0 -1 1077944384 44122 13153 0 0 839 81 5 2 20 0 15 0 47695720 11180277760 1029742 33554432000 4194304 4196468 140725465489072 140316385335696 140316812756693 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5813] ppid=5753 vsize=10918240 memory=4118960 CPUtime=9.24 cores=1,3,5,7
/proc/5756/task/5813/stat : 5813 (java) S 5753 5756 4818 0 -1 1077944384 48985 13153 0 0 837 80 5 2 20 0 15 0 47695720 11180277760 1029742 33554432000 4194304 4196468 140725465489072 140316384282896 140316812756693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5814] ppid=5753 vsize=10918240 memory=4118960 CPUtime=0.58 cores=1,3,5,7
/proc/5756/task/5814/stat : 5814 (java) S 5753 5756 4818 0 -1 1077944384 40188 13153 0 0 43 8 5 2 20 0 15 0 47695721 11180277760 1029742 33554432000 4194304 4196468 140725465489072 140316272151408 140316812757634 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5815] ppid=5753 vsize=10918240 memory=4118960 CPUtime=0.07 cores=1,3,5,7
/proc/5756/task/5815/stat : 5815 (java) S 5753 5756 4818 0 -1 1077944384 20 13153 0 0 0 0 5 2 20 0 15 0 47695722 11180277760 1029742 33554432000 4194304 4196468 140725465489072 140316178900576 140316812756693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5816] ppid=5753 vsize=10918240 memory=4118968 CPUtime=0.07 cores=1,3,5,7
/proc/5756/task/5816/stat : 5816 (java) S 5753 5756 4818 0 -1 1077944384 16 13153 0 0 0 0 5 2 20 0 15 0 47695722 11180277760 1029742 33554432000 4194304 4196468 140725465489072 140315574920576 140316812756693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5817] ppid=5753 vsize=10918240 memory=4118960 CPUtime=0.07 cores=1,3,5,7
/proc/5756/task/5817/stat : 5817 (java) S 5753 5756 4818 0 -1 1077944384 3 13153 0 0 0 0 5 2 20 0 15 0 47695725 11180277760 1029742 33554432000 4194304 4196468 140725465489072 140315334629712 140316812765083 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5818] ppid=5753 vsize=10918240 memory=1232 CPUtime=15.02 cores=1,3,5,7
/proc/5756/task/5818/stat : 5818 (java) S 5753 5756 4818 0 -1 1077944384 95910 13153 0 0 1486 9 5 2 20 0 15 0 47695725 11180277760 1029742 33554432000 4194304 4196468 140725465489072 140316271098224 140316812757634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5819] ppid=5753 vsize=10918240 memory=956 CPUtime=15.03 cores=1,3,5,7
/proc/5756/task/5819/stat : 5819 (java) S 5753 5756 4818 0 -1 1077944384 93010 13153 0 0 1488 8 5 2 20 0 15 0 47695725 11180277760 1029742 33554432000 4194304 4196468 140725465489072 140316270045424 140316812757634 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5820] ppid=5753 vsize=10918240 memory=4118960 CPUtime=5.26 cores=1,3,5,7
/proc/5756/task/5820/stat : 5820 (java) S 5753 5756 4818 0 -1 1077944384 98865 13153 0 0 508 11 5 2 20 0 15 0 47695725 11180277760 1029742 33554432000 4194304 4196468 140725465489072 140316268992624 140316812757634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5821] ppid=5753 vsize=10918240 memory=4118960 CPUtime=0.07 cores=1,3,5,7
/proc/5756/task/5821/stat : 5821 (java) S 5753 5756 4818 0 -1 1077944384 3 13153 0 0 0 0 5 2 20 0 15 0 47695725 11180277760 1029742 33554432000 4194304 4196468 140725465489072 140315301071072 140316812756693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5822] ppid=5753 vsize=10918240 memory=4118960 CPUtime=1.31 cores=1,3,5,7
/proc/5756/task/5822/stat : 5822 (java) S 5753 5756 4818 0 -1 1077944384 3009 13153 0 0 56 68 5 2 20 0 15 0 47695725 11180277760 1029742 33554432000 4194304 4196468 140725465489072 140316267941040 140316812757634 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
Current children cumulated CPU time: 2505.98 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 4118968 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2456.3 s]
/proc/loadavg: 1.38 1.47 1.57 3/215 6026
/proc/meminfo: memFree=17421372/32770624 swapFree=67108860/67108860
[pid=5756] ppid=5753 vsize=10918240 memory=4118968 CPUtime=2520 cores=1,3,5,7
/proc/5756/stat : 5756 (java) S 5753 5756 4818 0 -1 1077944320 781148 13153 0 0 251521 472 5 2 20 0 15 0 47695710 11180277760 1029742 33554432000 4194304 4196468 140725465489072 140725465471616 140316812746487 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
/proc/5756/statm: 2729560 1029742 3541 1 0 2691213 0
[pid=5756/tid=5809] ppid=5753 vsize=10918240 memory=4118968 CPUtime=2446.31 cores=1,3,5,7
/proc/5756/task/5809/stat : 5809 (java) R 5753 5756 4818 0 -1 4202560 261025 13153 0 0 244566 58 5 2 20 0 15 0 47695719 11180277760 1029742 33554432000 4194304 4196468 140725465489072 140316784581728 140316422464113 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5810] ppid=5753 vsize=10918240 memory=4118836 CPUtime=9.27 cores=1,3,5,7
/proc/5756/task/5810/stat : 5810 (java) S 5753 5756 4818 0 -1 1077944384 42469 13153 0 0 839 81 5 2 20 0 15 0 47695720 11180277760 1029742 33554432000 4194304 4196468 140725465489072 140316816988816 140316812756693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5811] ppid=5753 vsize=10918240 memory=4118836 CPUtime=9.22 cores=1,3,5,7
/proc/5756/task/5811/stat : 5811 (java) S 5753 5756 4818 0 -1 1077944384 49415 13153 0 0 836 79 5 2 20 0 15 0 47695720 11180277760 1029742 33554432000 4194304 4196468 140725465489072 140316386388496 140316812756693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5812] ppid=5753 vsize=10918240 memory=4118968 CPUtime=9.27 cores=1,3,5,7
/proc/5756/task/5812/stat : 5812 (java) S 5753 5756 4818 0 -1 1077944384 44149 13153 0 0 839 81 5 2 20 0 15 0 47695720 11180277760 1029742 33554432000 4194304 4196468 140725465489072 140316385335696 140316812756693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5813] ppid=5753 vsize=10918240 memory=4118968 CPUtime=9.25 cores=1,3,5,7
/proc/5756/task/5813/stat : 5813 (java) S 5753 5756 4818 0 -1 1077944384 48993 13153 0 0 838 80 5 2 20 0 15 0 47695720 11180277760 1029742 33554432000 4194304 4196468 140725465489072 140316384282896 140316812756693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5814] ppid=5753 vsize=10918240 memory=4118968 CPUtime=0.58 cores=1,3,5,7
/proc/5756/task/5814/stat : 5814 (java) S 5753 5756 4818 0 -1 1077944384 40188 13153 0 0 43 8 5 2 20 0 15 0 47695721 11180277760 1029742 33554432000 4194304 4196468 140725465489072 140316272151408 140316812757634 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5815] ppid=5753 vsize=10918240 memory=4118968 CPUtime=0.07 cores=1,3,5,7
/proc/5756/task/5815/stat : 5815 (java) S 5753 5756 4818 0 -1 1077944384 20 13153 0 0 0 0 5 2 20 0 15 0 47695722 11180277760 1029742 33554432000 4194304 4196468 140725465489072 140316178900576 140316812756693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5816] ppid=5753 vsize=10918240 memory=4118968 CPUtime=0.07 cores=1,3,5,7
/proc/5756/task/5816/stat : 5816 (java) S 5753 5756 4818 0 -1 1077944384 16 13153 0 0 0 0 5 2 20 0 15 0 47695722 11180277760 1029742 33554432000 4194304 4196468 140725465489072 140315574920576 140316812756693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5817] ppid=5753 vsize=10918240 memory=4118968 CPUtime=0.07 cores=1,3,5,7
/proc/5756/task/5817/stat : 5817 (java) S 5753 5756 4818 0 -1 1077944384 3 13153 0 0 0 0 5 2 20 0 15 0 47695725 11180277760 1029742 33554432000 4194304 4196468 140725465489072 140315334629712 140316812765083 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5818] ppid=5753 vsize=10918240 memory=15956 CPUtime=15.02 cores=1,3,5,7
/proc/5756/task/5818/stat : 5818 (java) S 5753 5756 4818 0 -1 1077944384 95910 13153 0 0 1486 9 5 2 20 0 15 0 47695725 11180277760 1029742 33554432000 4194304 4196468 140725465489072 140316271098224 140316812757634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5819] ppid=5753 vsize=10918240 memory=4118968 CPUtime=15.04 cores=1,3,5,7
/proc/5756/task/5819/stat : 5819 (java) S 5753 5756 4818 0 -1 1077944384 94882 13153 0 0 1488 9 5 2 20 0 15 0 47695725 11180277760 1029742 33554432000 4194304 4196468 140725465489072 140316270045424 140316812757634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5820] ppid=5753 vsize=10918240 memory=4118960 CPUtime=5.26 cores=1,3,5,7
/proc/5756/task/5820/stat : 5820 (java) S 5753 5756 4818 0 -1 1077944384 98865 13153 0 0 508 11 5 2 20 0 15 0 47695725 11180277760 1029742 33554432000 4194304 4196468 140725465489072 140316268992624 140316812757634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5821] ppid=5753 vsize=10918240 memory=4118968 CPUtime=0.07 cores=1,3,5,7
/proc/5756/task/5821/stat : 5821 (java) S 5753 5756 4818 0 -1 1077944384 3 13153 0 0 0 0 5 2 20 0 15 0 47695725 11180277760 1029742 33554432000 4194304 4196468 140725465489072 140315301071072 140316812756693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5822] ppid=5753 vsize=10918240 memory=4118968 CPUtime=1.33 cores=1,3,5,7
/proc/5756/task/5822/stat : 5822 (java) S 5753 5756 4818 0 -1 1077944384 3023 13153 0 0 57 69 5 2 20 0 15 0 47695725 11180277760 1029742 33554432000 4194304 4196468 140725465489072 140316267941040 140316812757634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 4118968 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2456.35 s]
# the end of solver process 5756 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.28 s, system=4.7877 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2456.3 s]
/proc/loadavg: 1.38 1.47 1.57 3/215 6026
/proc/meminfo: memFree=17421372/32770624 swapFree=67108860/67108860
[pid=5756] ppid=5753 vsize=10918240 memory=4118968 CPUtime=2520 cores=1,3,5,7
/proc/5756/stat : 5756 (java) S 5753 5756 4818 0 -1 1077944320 781148 13153 0 0 251521 472 5 2 20 0 15 0 47695710 11180277760 1029742 33554432000 4194304 4196468 140725465489072 140725465471616 140316812746487 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
/proc/5756/statm: 2729560 1029742 3541 1 0 2691213 0
[pid=5756/tid=5809] ppid=5753 vsize=10918240 memory=4118968 CPUtime=2446.31 cores=1,3,5,7
/proc/5756/task/5809/stat : 5809 (java) R 5753 5756 4818 0 -1 4202560 261025 13153 0 0 244566 58 5 2 20 0 15 0 47695719 11180277760 1029742 33554432000 4194304 4196468 140725465489072 140316784581728 140316422464113 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5810] ppid=5753 vsize=10918240 memory=4118836 CPUtime=9.27 cores=1,3,5,7
/proc/5756/task/5810/stat : 5810 (java) S 5753 5756 4818 0 -1 1077944384 42469 13153 0 0 839 81 5 2 20 0 15 0 47695720 11180277760 1029742 33554432000 4194304 4196468 140725465489072 140316816988816 140316812756693 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5811] ppid=5753 vsize=10918240 memory=4118836 CPUtime=9.22 cores=1,3,5,7
/proc/5756/task/5811/stat : 5811 (java) S 5753 5756 4818 0 -1 1077944384 49415 13153 0 0 836 79 5 2 20 0 15 0 47695720 11180277760 1029742 33554432000 4194304 4196468 140725465489072 140316386388496 140316812756693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5812] ppid=5753 vsize=10918240 memory=4118968 CPUtime=9.27 cores=1,3,5,7
/proc/5756/task/5812/stat : 5812 (java) S 5753 5756 4818 0 -1 1077944384 44149 13153 0 0 839 81 5 2 20 0 15 0 47695720 11180277760 1029742 33554432000 4194304 4196468 140725465489072 140316385335696 140316812756693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5813] ppid=5753 vsize=10918240 memory=4118968 CPUtime=9.25 cores=1,3,5,7
/proc/5756/task/5813/stat : 5813 (java) S 5753 5756 4818 0 -1 1077944384 48993 13153 0 0 838 80 5 2 20 0 15 0 47695720 11180277760 1029742 33554432000 4194304 4196468 140725465489072 140316384282896 140316812756693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5814] ppid=5753 vsize=10918240 memory=4118968 CPUtime=0.58 cores=1,3,5,7
/proc/5756/task/5814/stat : 5814 (java) S 5753 5756 4818 0 -1 1077944384 40188 13153 0 0 43 8 5 2 20 0 15 0 47695721 11180277760 1029742 33554432000 4194304 4196468 140725465489072 140316272151408 140316812757634 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5815] ppid=5753 vsize=10918240 memory=4118968 CPUtime=0.07 cores=1,3,5,7
/proc/5756/task/5815/stat : 5815 (java) S 5753 5756 4818 0 -1 1077944384 20 13153 0 0 0 0 5 2 20 0 15 0 47695722 11180277760 1029742 33554432000 4194304 4196468 140725465489072 140316178900576 140316812756693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5816] ppid=5753 vsize=10918240 memory=4118968 CPUtime=0.07 cores=1,3,5,7
/proc/5756/task/5816/stat : 5816 (java) S 5753 5756 4818 0 -1 1077944384 16 13153 0 0 0 0 5 2 20 0 15 0 47695722 11180277760 1029742 33554432000 4194304 4196468 140725465489072 140315574920576 140316812756693 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5817] ppid=5753 vsize=10918240 memory=4118968 CPUtime=0.07 cores=1,3,5,7
/proc/5756/task/5817/stat : 5817 (java) S 5753 5756 4818 0 -1 1077944384 3 13153 0 0 0 0 5 2 20 0 15 0 47695725 11180277760 1029742 33554432000 4194304 4196468 140725465489072 140315334629712 140316812765083 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5818] ppid=5753 vsize=10918240 memory=15956 CPUtime=15.02 cores=1,3,5,7
/proc/5756/task/5818/stat : 5818 (java) S 5753 5756 4818 0 -1 1077944384 95910 13153 0 0 1486 9 5 2 20 0 15 0 47695725 11180277760 1029742 33554432000 4194304 4196468 140725465489072 140316271098224 140316812757634 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5819] ppid=5753 vsize=10918240 memory=4118968 CPUtime=15.04 cores=1,3,5,7
/proc/5756/task/5819/stat : 5819 (java) S 5753 5756 4818 0 -1 1077944384 94882 13153 0 0 1488 9 5 2 20 0 15 0 47695725 11180277760 1029742 33554432000 4194304 4196468 140725465489072 140316270045424 140316812757634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5820] ppid=5753 vsize=10918240 memory=4118960 CPUtime=5.26 cores=1,3,5,7
/proc/5756/task/5820/stat : 5820 (java) S 5753 5756 4818 0 -1 1077944384 98865 13153 0 0 508 11 5 2 20 0 15 0 47695725 11180277760 1029742 33554432000 4194304 4196468 140725465489072 140316268992624 140316812757634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5821] ppid=5753 vsize=10918240 memory=4118968 CPUtime=0.07 cores=1,3,5,7
/proc/5756/task/5821/stat : 5821 (java) S 5753 5756 4818 0 -1 1077944384 3 13153 0 0 0 0 5 2 20 0 15 0 47695725 11180277760 1029742 33554432000 4194304 4196468 140725465489072 140315301071072 140316812756693 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
[pid=5756/tid=5822] ppid=5753 vsize=10918240 memory=4118968 CPUtime=1.33 cores=1,3,5,7
/proc/5756/task/5822/stat : 5822 (java) S 5753 5756 4818 0 -1 1077944384 3023 13153 0 0 57 69 5 2 20 0 15 0 47695725 11180277760 1029742 33554432000 4194304 4196468 140725465489072 140316267941040 140316812757634 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7307264 140725465491628 140725465494876 140725465494876 140725465497551 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 4118968 KiB
Child status: 143
Real time (s): 2456.35
CPU time (s): 2520.07
CPU user time (s): 2515.28
CPU system time (s): 4.7877
CPU usage (%): 102.594
Max. virtual memory (cumulated for all children) (KiB): 10918240
Max. memory (cumulated for all children) (KiB): 4119860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.28
system time used= 4.7877
maximum resident set size= 4123212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 796778
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3256
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 74883
involuntary context switches= 1465
# summary of solver processes directly reported to runsolver:
# pid: 5756
# total CPU time (s): 2520.07
# total CPU user time (s): 2515.28
# total CPU system time (s): 4.7877
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.3966 second user time and 22.9977 second system time
The end