0.97/0.76 c Concrete v3.9.2.1532736233296 running
20.70/7.66 c 21:55:41.620 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26570. 'extension(6, x[1][35]=[0‥6]) :: init: true :: relation: MDD 633468398, 14 edges, 5 vertices, 15 tuples
20.70/7.66 c 21:55:41.624 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26571. 'extension(6, x[1][35]=[0‥6]) :: init: true :: relation: MDD 1681875321, 7 edges, 3 vertices, 6 tuples
20.70/7.67 c 21:55:41.630 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26603. 'extension(x[0][19]=[0‥6], 6) :: init: true :: relation: MDD 1746468168, 14 edges, 5 vertices, 15 tuples
20.70/7.67 c 21:55:41.631 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26640. 'extension(x[0][32]=[0‥6], 6) :: init: true :: relation: MDD 1570578713, 14 edges, 5 vertices, 15 tuples
20.70/7.67 c 21:55:41.631 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26641. 'extension(6, x[2][32]=[0‥6]) :: init: true :: relation: MDD 1570578713, 14 edges, 5 vertices, 15 tuples
20.70/7.67 c 21:55:41.634 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26677. 'extension(x[0][34]=[0‥6], 6) :: init: true :: relation: MDD 1589370464, 14 edges, 5 vertices, 15 tuples
20.70/7.68 c 21:55:41.634 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26678. 'extension(6, x[2][34]=[0‥6]) :: init: true :: relation: MDD 1589370464, 14 edges, 5 vertices, 15 tuples
20.70/7.68 c 21:55:41.636 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26714. 'extension(x[0][43]=[0‥6], 6) :: init: true :: relation: MDD 768647376, 14 edges, 5 vertices, 15 tuples
20.70/7.68 c 21:55:41.637 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26715. 'extension(6, x[2][43]=[0‥6]) :: init: true :: relation: MDD 768647376, 14 edges, 5 vertices, 15 tuples
20.70/7.68 c 21:55:41.639 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26750. 'extension(x[1][1]=[0‥6], 6) :: init: true :: relation: MDD 1670479841, 14 edges, 5 vertices, 15 tuples
20.70/7.68 c 21:55:41.640 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26789. 'extension(x[1][11]=[0‥6], 6) :: init: true :: relation: MDD 496627227, 14 edges, 5 vertices, 15 tuples
20.70/7.68 c 21:55:41.642 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26828. 'extension(x[1][12]=[0‥6], 6) :: init: true :: relation: MDD 775300103, 14 edges, 5 vertices, 15 tuples
20.70/7.68 c 21:55:41.642 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26829. 'extension(6, x[3][12]=[0‥6]) :: init: true :: relation: MDD 775300103, 14 edges, 5 vertices, 15 tuples
20.70/7.68 c 21:55:41.644 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26870. 'extension(6, 6) :: init: true :: relation: MDD 1746468168, 14 edges, 5 vertices, 15 tuples
20.70/7.68 c 21:55:41.645 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26909. 'extension(6, 6) :: init: true :: relation: MDD 1670479841, 14 edges, 5 vertices, 15 tuples
20.70/7.69 c 21:55:41.646 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26946. 'extension(x[2][8]=[0‥6], 6) :: init: true :: relation: MDD 340097685, 14 edges, 5 vertices, 15 tuples
20.70/7.69 c 21:55:41.647 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26986. 'extension(6, x[4][11]=[0‥6]) :: init: true :: relation: MDD 496627227, 14 edges, 5 vertices, 15 tuples
20.70/7.69 c 21:55:41.648 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26989. 'extension(6, 6) :: init: true :: relation: MDD 496627227, 14 edges, 5 vertices, 15 tuples
20.70/7.69 c 21:55:41.650 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27026. 'extension(x[2][14]=[0‥6], 6) :: init: true :: relation: MDD 991363637, 14 edges, 5 vertices, 15 tuples
20.70/7.69 c 21:55:41.650 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27027. 'extension(6, x[4][14]=[0‥6]) :: init: true :: relation: MDD 991363637, 14 edges, 5 vertices, 15 tuples
20.70/7.69 c 21:55:41.652 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27069. 'extension(6, 6) :: init: true :: relation: MDD 1746468168, 14 edges, 5 vertices, 15 tuples
20.70/7.69 c 21:55:41.653 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27106. 'extension(x[2][42]=[0‥6], 6) :: init: true :: relation: MDD 1489251468, 14 edges, 5 vertices, 15 tuples
20.70/7.69 c 21:55:41.653 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27107. 'extension(6, x[4][42]=[0‥6]) :: init: true :: relation: MDD 1489251468, 14 edges, 5 vertices, 15 tuples
20.70/7.69 c 21:55:41.655 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27146. 'extension(6, x[5][1]=[0‥6]) :: init: true :: relation: MDD 1670479841, 14 edges, 5 vertices, 15 tuples
20.70/7.69 c 21:55:41.656 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27149. 'extension(6, 6) :: init: true :: relation: MDD 1670479841, 14 edges, 5 vertices, 15 tuples
20.70/7.69 c 21:55:41.657 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27187. 'extension(6, x[5][8]=[0‥6]) :: init: true :: relation: MDD 340097685, 14 edges, 5 vertices, 15 tuples
20.99/7.70 c 21:55:41.658 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27190. 'extension(6, 6) :: init: true :: relation: MDD 340097685, 14 edges, 5 vertices, 15 tuples
20.99/7.70 c 21:55:41.659 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27228. 'extension(6, x[5][19]=[0‥6]) :: init: true :: relation: MDD 1746468168, 14 edges, 5 vertices, 15 tuples
20.99/7.70 c 21:55:41.660 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27231. 'extension(6, 6) :: init: true :: relation: MDD 1746468168, 14 edges, 5 vertices, 15 tuples
20.99/7.70 c 21:55:41.662 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27269. 'extension(6, wk[0][0]=[0‥1]) :: init: true :: relation: MDD 1680139795, 7 edges, 3 vertices, 6 tuples
20.99/7.70 c 21:55:41.662 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27270. 'extension(x[4][0]=[0‥6], 6) :: init: true :: relation: MDD 121463477, 14 edges, 5 vertices, 15 tuples
20.99/7.70 c 21:55:41.663 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27271. 'extension(6, x[6][0]=[0‥6]) :: init: true :: relation: MDD 121463477, 14 edges, 5 vertices, 15 tuples
20.99/7.70 c 21:55:41.665 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27312. 'extension(6, wk[3][0]=[0‥1]) :: init: true :: relation: MDD 1327169167, 7 edges, 3 vertices, 6 tuples
20.99/7.70 c 21:55:41.665 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27313. 'extension(x[4][3]=[0‥6], 6) :: init: true :: relation: MDD 29838617, 14 edges, 5 vertices, 15 tuples
20.99/7.70 c 21:55:41.667 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27355. 'extension(6, wk[7][0]=[0‥1]) :: init: true :: relation: MDD 1630903943, 7 edges, 3 vertices, 6 tuples
20.99/7.70 c 21:55:41.667 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27356. 'extension(x[4][7]=[0‥6], 6) :: init: true :: relation: MDD 374145466, 14 edges, 5 vertices, 15 tuples
20.99/7.71 c 21:55:41.668 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27398. 'extension(6, wk[20][0]=[0‥1]) :: init: true :: relation: MDD 786722925, 7 edges, 3 vertices, 6 tuples
20.99/7.71 c 21:55:41.668 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27399. 'extension(x[4][20]=[0‥6], 6) :: init: true :: relation: MDD 1765745171, 14 edges, 5 vertices, 15 tuples
20.99/7.71 c 21:55:41.669 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27441. 'extension(6, wk[30][0]=[0‥1]) :: init: true :: relation: MDD 131837504, 7 edges, 3 vertices, 6 tuples
20.99/7.71 c 21:55:41.670 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27442. 'extension(x[4][30]=[0‥6], 6) :: init: true :: relation: MDD 700286427, 14 edges, 5 vertices, 15 tuples
20.99/7.71 c 21:55:41.670 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27443. 'extension(6, x[6][30]=[0‥6]) :: init: true :: relation: MDD 700286427, 14 edges, 5 vertices, 15 tuples
20.99/7.71 c 21:55:41.672 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27485. 'extension(6, wk[3][0]=[0‥1]) :: init: true :: relation: MDD 1144653485, 7 edges, 3 vertices, 6 tuples
20.99/7.71 c 21:55:41.673 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27489. 'extension(6, 6) :: init: true :: relation: MDD 29838617, 14 edges, 5 vertices, 15 tuples
20.99/7.71 c 21:55:41.673 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27528. 'extension(6, wk[7][0]=[0‥1]) :: init: true :: relation: MDD 1157856790, 7 edges, 3 vertices, 6 tuples
20.99/7.71 c 21:55:41.674 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27532. 'extension(6, 6) :: init: true :: relation: MDD 374145466, 14 edges, 5 vertices, 15 tuples
20.99/7.71 c 21:55:41.674 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27571. 'extension(6, wk[16][0]=[0‥1]) :: init: true :: relation: MDD 1233246555, 7 edges, 3 vertices, 6 tuples
20.99/7.71 c 21:55:41.675 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27572. 'extension(x[5][16]=[0‥6], 6) :: init: true :: relation: MDD 725884502, 14 edges, 5 vertices, 15 tuples
20.99/7.71 c 21:55:41.675 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27573. 'extension(6, x[7][16]=[0‥6]) :: init: true :: relation: MDD 725884502, 14 edges, 5 vertices, 15 tuples
20.99/7.71 c 21:55:41.677 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27614. 'extension(6, wk[20][0]=[0‥1]) :: init: true :: relation: MDD 105019819, 7 edges, 3 vertices, 6 tuples
20.99/7.73 c 21:55:41.677 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27618. 'extension(6, 6) :: init: true :: relation: MDD 1765745171, 14 edges, 5 vertices, 15 tuples
20.99/7.73 c 21:55:41.678 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27657. 'extension(6, wk[23][0]=[0‥1]) :: init: true :: relation: MDD 227030447, 7 edges, 3 vertices, 6 tuples
20.99/7.73 c 21:55:41.678 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27658. 'extension(x[5][23]=[0‥6], 6) :: init: true :: relation: MDD 1680630881, 14 edges, 5 vertices, 15 tuples
20.99/7.73 c 21:55:41.679 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27659. 'extension(6, x[7][23]=[0‥6]) :: init: true :: relation: MDD 1680630881, 14 edges, 5 vertices, 15 tuples
20.99/7.73 c 21:55:41.680 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27700. 'extension(6, wk[32][0]=[0‥1]) :: init: true :: relation: MDD 1646207916, 7 edges, 3 vertices, 6 tuples
20.99/7.73 c 21:55:41.680 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27701. 'extension(x[5][32]=[0‥6], 6) :: init: true :: relation: MDD 1570578713, 14 edges, 5 vertices, 15 tuples
20.99/7.73 c 21:55:41.681 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27745. 'extension(6, wk[36][0]=[0‥1]) :: init: true :: relation: MDD 1300359226, 7 edges, 3 vertices, 6 tuples
20.99/7.73 c 21:55:41.682 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27746. 'extension(x[5][36]=[0‥6], 6) :: init: true :: relation: MDD 1064052579, 14 edges, 5 vertices, 15 tuples
20.99/7.73 c 21:55:41.682 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27747. 'extension(6, x[7][36]=[0‥6]) :: init: true :: relation: MDD 1064052579, 14 edges, 5 vertices, 15 tuples
20.99/7.73 c 21:55:41.684 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27790. 'extension(x[6][2]=[0‥6], 6) :: init: true :: relation: MDD 744541767, 14 edges, 5 vertices, 15 tuples
20.99/7.73 c 21:55:41.685 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27791. 'extension(6, x[8][2]=[0‥6]) :: init: true :: relation: MDD 744541767, 14 edges, 5 vertices, 15 tuples
20.99/7.73 c 21:55:41.686 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27835. 'extension(6, 6) :: init: true :: relation: MDD 29838617, 14 edges, 5 vertices, 15 tuples
20.99/7.73 c 21:55:41.686 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27877. 'extension(6, 6) :: init: true :: relation: MDD 374145466, 14 edges, 5 vertices, 15 tuples
20.99/7.73 c 21:55:41.687 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27916. 'extension(x[6][18]=[0‥6], 6) :: init: true :: relation: MDD 627677863, 14 edges, 5 vertices, 15 tuples
20.99/7.73 c 21:55:41.688 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27961. 'extension(6, 6) :: init: true :: relation: MDD 1765745171, 14 edges, 5 vertices, 15 tuples
20.99/7.73 c 21:55:41.688 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28000. 'extension(x[6][25]=[0‥6], 6) :: init: true :: relation: MDD 293757848, 14 edges, 5 vertices, 15 tuples
20.99/7.73 c 21:55:41.689 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28001. 'extension(6, x[8][25]=[0‥6]) :: init: true :: relation: MDD 293757848, 14 edges, 5 vertices, 15 tuples
20.99/7.73 c 21:55:41.690 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28042. 'extension(x[6][26]=[0‥6], 6) :: init: true :: relation: MDD 412416671, 14 edges, 5 vertices, 15 tuples
20.99/7.73 c 21:55:41.691 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28084. 'extension(6, x[8][32]=[0‥6]) :: init: true :: relation: MDD 1570578713, 14 edges, 5 vertices, 15 tuples
20.99/7.73 c 21:55:41.692 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28087. 'extension(6, 6) :: init: true :: relation: MDD 1570578713, 14 edges, 5 vertices, 15 tuples
20.99/7.73 c 21:55:41.693 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28128. 'extension(6, x[9][3]=[0‥6]) :: init: true :: relation: MDD 29838617, 14 edges, 5 vertices, 15 tuples
20.99/7.73 c 21:55:41.694 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28131. 'extension(6, 6) :: init: true :: relation: MDD 29838617, 14 edges, 5 vertices, 15 tuples
20.99/7.73 c 21:55:41.695 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28170. 'extension(x[7][5]=[0‥6], 6) :: init: true :: relation: MDD 1397088232, 14 edges, 5 vertices, 15 tuples
20.99/7.73 c 21:55:41.696 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28212. 'extension(6, x[9][7]=[0‥6]) :: init: true :: relation: MDD 374145466, 14 edges, 5 vertices, 15 tuples
20.99/7.74 c 21:55:41.696 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28215. 'extension(6, 6) :: init: true :: relation: MDD 374145466, 14 edges, 5 vertices, 15 tuples
20.99/7.74 c 21:55:41.698 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28254. 'extension(x[7][9]=[0‥6], 6) :: init: true :: relation: MDD 448581721, 14 edges, 5 vertices, 15 tuples
20.99/7.74 c 21:55:41.698 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28255. 'extension(6, x[9][9]=[0‥6]) :: init: true :: relation: MDD 448581721, 14 edges, 5 vertices, 15 tuples
20.99/7.74 c 21:55:41.700 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28299. 'extension(6, 6) :: init: true :: relation: MDD 627677863, 14 edges, 5 vertices, 15 tuples
20.99/7.74 c 21:55:41.700 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28338. 'extension(6, x[9][20]=[0‥6]) :: init: true :: relation: MDD 1765745171, 14 edges, 5 vertices, 15 tuples
20.99/7.74 c 21:55:41.701 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28341. 'extension(6, 6) :: init: true :: relation: MDD 1765745171, 14 edges, 5 vertices, 15 tuples
20.99/7.74 c 21:55:41.702 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28383. 'extension(6, 6) :: init: true :: relation: MDD 412416671, 14 edges, 5 vertices, 15 tuples
20.99/7.74 c 21:55:41.703 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28425. 'extension(6, 6) :: init: true :: relation: MDD 1397088232, 14 edges, 5 vertices, 15 tuples
20.99/7.74 c 21:55:41.704 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28467. 'extension(6, 6) :: init: true :: relation: MDD 627677863, 14 edges, 5 vertices, 15 tuples
20.99/7.74 c 21:55:41.704 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28506. 'extension(x[8][23]=[0‥6], 6) :: init: true :: relation: MDD 1680630881, 14 edges, 5 vertices, 15 tuples
20.99/7.75 c 21:55:41.704 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28507. 'extension(6, x[10][23]=[0‥6]) :: init: true :: relation: MDD 1680630881, 14 edges, 5 vertices, 15 tuples
20.99/7.75 c 21:55:41.706 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28548. 'extension(6, x[10][26]=[0‥6]) :: init: true :: relation: MDD 412416671, 14 edges, 5 vertices, 15 tuples
20.99/7.75 c 21:55:41.706 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28551. 'extension(6, 6) :: init: true :: relation: MDD 412416671, 14 edges, 5 vertices, 15 tuples
20.99/7.75 c 21:55:41.707 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28590. 'extension(x[8][40]=[0‥6], 6) :: init: true :: relation: MDD 1210819761, 14 edges, 5 vertices, 15 tuples
20.99/7.75 c 21:55:41.708 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28632. 'extension(x[9][0]=[0‥6], 6) :: init: true :: relation: MDD 121463477, 14 edges, 5 vertices, 15 tuples
20.99/7.75 c 21:55:41.709 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28633. 'extension(6, x[11][0]=[0‥6]) :: init: true :: relation: MDD 121463477, 14 edges, 5 vertices, 15 tuples
20.99/7.75 c 21:55:41.710 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28677. 'extension(6, 6) :: init: true :: relation: MDD 1397088232, 14 edges, 5 vertices, 15 tuples
20.99/7.75 c 21:55:41.711 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28716. 'extension(x[9][12]=[0‥6], 6) :: init: true :: relation: MDD 775300103, 14 edges, 5 vertices, 15 tuples
20.99/7.75 c 21:55:41.711 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28758. 'extension(6, x[11][18]=[0‥6]) :: init: true :: relation: MDD 627677863, 14 edges, 5 vertices, 15 tuples
20.99/7.76 c 21:55:41.712 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28761. 'extension(6, 6) :: init: true :: relation: MDD 627677863, 14 edges, 5 vertices, 15 tuples
20.99/7.76 c 21:55:41.713 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28800. 'extension(x[9][25]=[0‥6], 6) :: init: true :: relation: MDD 293757848, 14 edges, 5 vertices, 15 tuples
20.99/7.76 c 21:55:41.714 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28845. 'extension(6, 6) :: init: true :: relation: MDD 1210819761, 14 edges, 5 vertices, 15 tuples
20.99/7.76 c 21:55:41.715 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28884. 'extension(6, x[12][5]=[0‥6]) :: init: true :: relation: MDD 1397088232, 14 edges, 5 vertices, 15 tuples
20.99/7.76 c 21:55:41.716 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28887. 'extension(6, 6) :: init: true :: relation: MDD 1397088232, 14 edges, 5 vertices, 15 tuples
20.99/7.76 c 21:55:41.717 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28929. 'extension(6, 6) :: init: true :: relation: MDD 775300103, 14 edges, 5 vertices, 15 tuples
20.99/7.76 c 21:55:41.717 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28971. 'extension(6, 6) :: init: true :: relation: MDD 293757848, 14 edges, 5 vertices, 15 tuples
20.99/7.76 c 21:55:41.718 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29010. 'extension(x[10][32]=[0‥6], 6) :: init: true :: relation: MDD 1570578713, 14 edges, 5 vertices, 15 tuples
20.99/7.76 c 21:55:41.718 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29011. 'extension(6, x[12][32]=[0‥6]) :: init: true :: relation: MDD 1570578713, 14 edges, 5 vertices, 15 tuples
20.99/7.76 c 21:55:41.720 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29054. 'extension(6, x[12][40]=[0‥6]) :: init: true :: relation: MDD 1210819761, 14 edges, 5 vertices, 15 tuples
20.99/7.76 c 21:55:41.721 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29057. 'extension(6, 6) :: init: true :: relation: MDD 1210819761, 14 edges, 5 vertices, 15 tuples
20.99/7.76 c 21:55:41.723 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29096. 'extension(6, wk[12][1]=[0‥1]) :: init: true :: relation: MDD 328140385, 7 edges, 3 vertices, 6 tuples
20.99/7.76 c 21:55:41.723 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29097. 'extension(6, x[13][12]=[0‥6]) :: init: true :: relation: MDD 775300103, 14 edges, 5 vertices, 15 tuples
20.99/7.76 c 21:55:41.723 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29100. 'extension(6, 6) :: init: true :: relation: MDD 775300103, 14 edges, 5 vertices, 15 tuples
20.99/7.76 c 21:55:41.725 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29139. 'extension(6, wk[13][1]=[0‥1]) :: init: true :: relation: MDD 588985851, 7 edges, 3 vertices, 6 tuples
20.99/7.77 c 21:55:41.725 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29140. 'extension(x[11][13]=[0‥6], 6) :: init: true :: relation: MDD 150135782, 14 edges, 5 vertices, 15 tuples
20.99/7.77 c 21:55:41.726 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29182. 'extension(6, wk[17][1]=[0‥1]) :: init: true :: relation: MDD 42684986, 7 edges, 3 vertices, 6 tuples
20.99/7.77 c 21:55:41.726 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29183. 'extension(x[11][17]=[0‥6], 6) :: init: true :: relation: MDD 438793128, 14 edges, 5 vertices, 15 tuples
20.99/7.77 c 21:55:41.726 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29225. 'extension(6, wk[21][1]=[0‥1]) :: init: true :: relation: MDD 123458189, 7 edges, 3 vertices, 6 tuples
20.99/7.77 c 21:55:41.727 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29226. 'extension(x[11][21]=[0‥6], 6) :: init: true :: relation: MDD 1810873106, 14 edges, 5 vertices, 15 tuples
20.99/7.77 c 21:55:41.727 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29227. 'extension(6, x[13][21]=[0‥6]) :: init: true :: relation: MDD 1810873106, 14 edges, 5 vertices, 15 tuples
20.99/7.77 c 21:55:41.728 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29268. 'extension(6, wk[25][1]=[0‥1]) :: init: true :: relation: MDD 957559364, 7 edges, 3 vertices, 6 tuples
20.99/7.77 c 21:55:41.729 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29269. 'extension(6, x[13][25]=[0‥6]) :: init: true :: relation: MDD 293757848, 14 edges, 5 vertices, 15 tuples
20.99/7.77 c 21:55:41.729 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29272. 'extension(6, 6) :: init: true :: relation: MDD 293757848, 14 edges, 5 vertices, 15 tuples
20.99/7.77 c 21:55:41.731 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29311. 'extension(6, wk[13][1]=[0‥1]) :: init: true :: relation: MDD 58854654, 7 edges, 3 vertices, 6 tuples
20.99/7.77 c 21:55:41.731 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29315. 'extension(6, 6) :: init: true :: relation: MDD 150135782, 14 edges, 5 vertices, 15 tuples
20.99/7.77 c 21:55:41.731 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29354. 'extension(6, wk[17][1]=[0‥1]) :: init: true :: relation: MDD 1674999797, 7 edges, 3 vertices, 6 tuples
20.99/7.77 c 21:55:41.732 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29358. 'extension(6, 6) :: init: true :: relation: MDD 438793128, 14 edges, 5 vertices, 15 tuples
20.99/7.77 c 21:55:41.732 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29397. 'extension(6, wk[23][1]=[0‥1]) :: init: true :: relation: MDD 2073961917, 7 edges, 3 vertices, 6 tuples
20.99/7.77 c 21:55:41.732 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29398. 'extension(x[12][23]=[0‥6], 6) :: init: true :: relation: MDD 1680630881, 14 edges, 5 vertices, 15 tuples
20.99/7.77 c 21:55:41.733 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29440. 'extension(6, wk[43][1]=[0‥1]) :: init: true :: relation: MDD 1795135446, 7 edges, 3 vertices, 6 tuples
20.99/7.77 c 21:55:41.733 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29441. 'extension(x[12][43]=[0‥6], 6) :: init: true :: relation: MDD 768647376, 14 edges, 5 vertices, 15 tuples
20.99/7.77 c 21:55:41.735 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29482. 'extension(x[13][10]=[0‥6], 6) :: init: true :: relation: MDD 1903137985, 14 edges, 5 vertices, 15 tuples
20.99/7.77 c 21:55:41.735 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29527. 'extension(6, 6) :: init: true :: relation: MDD 150135782, 14 edges, 5 vertices, 15 tuples
20.99/7.77 c 21:55:41.736 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29566. 'extension(6, x[15][17]=[0‥6]) :: init: true :: relation: MDD 438793128, 14 edges, 5 vertices, 15 tuples
20.99/7.78 c 21:55:41.736 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29569. 'extension(6, 6) :: init: true :: relation: MDD 438793128, 14 edges, 5 vertices, 15 tuples
20.99/7.78 c 21:55:41.737 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29608. 'extension(6, x[15][23]=[0‥6]) :: init: true :: relation: MDD 1680630881, 14 edges, 5 vertices, 15 tuples
20.99/7.78 c 21:55:41.738 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29611. 'extension(6, 6) :: init: true :: relation: MDD 1680630881, 14 edges, 5 vertices, 15 tuples
20.99/7.78 c 21:55:41.739 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29650. 'extension(6, x[15][43]=[0‥6]) :: init: true :: relation: MDD 768647376, 14 edges, 5 vertices, 15 tuples
20.99/7.78 c 21:55:41.743 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29653. 'extension(6, 6) :: init: true :: relation: MDD 768647376, 14 edges, 5 vertices, 15 tuples
20.99/7.78 c 21:55:41.744 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29694. 'extension(6, 6) :: init: true :: relation: MDD 1903137985, 14 edges, 5 vertices, 15 tuples
20.99/7.78 c 21:55:41.745 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29733. 'extension(6, x[16][13]=[0‥6]) :: init: true :: relation: MDD 150135782, 14 edges, 5 vertices, 15 tuples
20.99/7.78 c 21:55:41.745 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29736. 'extension(6, 6) :: init: true :: relation: MDD 150135782, 14 edges, 5 vertices, 15 tuples
20.99/7.78 c 21:55:41.747 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29775. 'extension(x[14][21]=[0‥6], 6) :: init: true :: relation: MDD 1810873106, 14 edges, 5 vertices, 15 tuples
20.99/7.79 c 21:55:41.748 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29817. 'extension(x[14][33]=[0‥6], 6) :: init: true :: relation: MDD 1318538142, 14 edges, 5 vertices, 15 tuples
20.99/7.79 c 21:55:41.748 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29861. 'extension(x[14][41]=[0‥6], 6) :: init: true :: relation: MDD 1664998412, 14 edges, 5 vertices, 15 tuples
20.99/7.79 c 21:55:41.749 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29903. 'extension(6, x[17][10]=[0‥6]) :: init: true :: relation: MDD 1903137985, 14 edges, 5 vertices, 15 tuples
20.99/7.79 c 21:55:41.750 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29906. 'extension(6, 6) :: init: true :: relation: MDD 1903137985, 14 edges, 5 vertices, 15 tuples
20.99/7.79 c 21:55:41.751 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29945. 'extension(6, x[17][21]=[0‥6]) :: init: true :: relation: MDD 1810873106, 14 edges, 5 vertices, 15 tuples
20.99/7.79 c 21:55:41.751 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29948. 'extension(6, 6) :: init: true :: relation: MDD 1810873106, 14 edges, 5 vertices, 15 tuples
20.99/7.79 c 21:55:41.752 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29987. 'extension(6, x[17][33]=[0‥6]) :: init: true :: relation: MDD 1318538142, 14 edges, 5 vertices, 15 tuples
20.99/7.79 c 21:55:41.752 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29990. 'extension(6, 6) :: init: true :: relation: MDD 1318538142, 14 edges, 5 vertices, 15 tuples
20.99/7.80 c 21:55:41.753 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30031. 'extension(6, x[17][41]=[0‥6]) :: init: true :: relation: MDD 1664998412, 14 edges, 5 vertices, 15 tuples
20.99/7.80 c 21:55:41.754 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30034. 'extension(6, 6) :: init: true :: relation: MDD 1664998412, 14 edges, 5 vertices, 15 tuples
20.99/7.80 c 21:55:41.755 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30073. 'extension(x[15][43]=[0‥6], 6) :: init: true :: relation: MDD 768647376, 14 edges, 5 vertices, 15 tuples
20.99/7.80 c 21:55:41.755 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30074. 'extension(6, x[17][43]=[0‥6]) :: init: true :: relation: MDD 768647376, 14 edges, 5 vertices, 15 tuples
20.99/7.80 c 21:55:41.756 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30114. 'extension(x[15][44]=[0‥6], 6) :: init: true :: relation: MDD 558576687, 14 edges, 5 vertices, 15 tuples
20.99/7.80 c 21:55:41.757 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30115. 'extension(6, x[17][44]=[0‥6]) :: init: true :: relation: MDD 558576687, 14 edges, 5 vertices, 15 tuples
20.99/7.80 c 21:55:41.758 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30155. 'extension(x[17][6]=[0‥6], 6) :: init: true :: relation: MDD 2050328083, 14 edges, 5 vertices, 15 tuples
21.32/7.80 c 21:55:41.759 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30197. 'extension(6, wk[6][2]=[0‥1]) :: init: true :: relation: MDD 677007331, 7 edges, 3 vertices, 6 tuples
21.32/7.80 c 21:55:41.760 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30198. 'extension(6, x[20][6]=[0‥6]) :: init: true :: relation: MDD 2050328083, 14 edges, 5 vertices, 15 tuples
21.32/7.80 c 21:55:41.760 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30201. 'extension(6, 6) :: init: true :: relation: MDD 2050328083, 14 edges, 5 vertices, 15 tuples
21.32/7.80 c 21:55:41.761 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30240. 'extension(6, wk[27][2]=[0‥1]) :: init: true :: relation: MDD 605787935, 7 edges, 3 vertices, 6 tuples
21.32/7.80 c 21:55:41.761 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30241. 'extension(x[18][27]=[0‥6], 6) :: init: true :: relation: MDD 1160278903, 14 edges, 5 vertices, 15 tuples
21.32/7.80 c 21:55:41.762 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30283. 'extension(6, wk[37][2]=[0‥1]) :: init: true :: relation: MDD 2021466012, 7 edges, 3 vertices, 6 tuples
21.32/7.80 c 21:55:41.762 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30284. 'extension(x[18][37]=[0‥6], 6) :: init: true :: relation: MDD 709379856, 14 edges, 5 vertices, 15 tuples
21.32/7.80 c 21:55:41.764 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30328. 'extension(6, wk[27][2]=[0‥1]) :: init: true :: relation: MDD 1401212518, 7 edges, 3 vertices, 6 tuples
21.32/7.81 c 21:55:41.764 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30329. 'extension(6, x[21][27]=[0‥6]) :: init: true :: relation: MDD 1160278903, 14 edges, 5 vertices, 15 tuples
21.32/7.81 c 21:55:41.765 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30332. 'extension(6, 6) :: init: true :: relation: MDD 1160278903, 14 edges, 5 vertices, 15 tuples
21.32/7.81 c 21:55:41.766 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30371. 'extension(6, wk[29][2]=[0‥1]) :: init: true :: relation: MDD 1925489578, 7 edges, 3 vertices, 6 tuples
21.32/7.81 c 21:55:41.766 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30372. 'extension(x[19][29]=[0‥6], 6) :: init: true :: relation: MDD 1310147631, 14 edges, 5 vertices, 15 tuples
21.32/7.81 c 21:55:41.767 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30414. 'extension(6, wk[31][2]=[0‥1]) :: init: true :: relation: MDD 1849546190, 7 edges, 3 vertices, 6 tuples
21.32/7.81 c 21:55:41.767 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30415. 'extension(x[19][31]=[0‥6], 6) :: init: true :: relation: MDD 940077890, 14 edges, 5 vertices, 15 tuples
21.32/7.81 c 21:55:41.768 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30459. 'extension(6, wk[37][2]=[0‥1]) :: init: true :: relation: MDD 2087831689, 7 edges, 3 vertices, 6 tuples
21.32/7.81 c 21:55:41.768 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30463. 'extension(6, 6) :: init: true :: relation: MDD 709379856, 14 edges, 5 vertices, 15 tuples
21.32/7.81 c 21:55:41.769 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30504. 'extension(x[20][9]=[0‥6], 6) :: init: true :: relation: MDD 448581721, 14 edges, 5 vertices, 15 tuples
21.32/7.81 c 21:55:41.769 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30546. 'extension(6, x[22][29]=[0‥6]) :: init: true :: relation: MDD 1310147631, 14 edges, 5 vertices, 15 tuples
21.32/7.81 c 21:55:41.770 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30549. 'extension(6, 6) :: init: true :: relation: MDD 1310147631, 14 edges, 5 vertices, 15 tuples
21.32/7.82 c 21:55:41.771 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30591. 'extension(6, 6) :: init: true :: relation: MDD 940077890, 14 edges, 5 vertices, 15 tuples
21.32/7.82 c 21:55:41.771 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30632. 'extension(x[20][33]=[0‥6], 6) :: init: true :: relation: MDD 1318538142, 14 edges, 5 vertices, 15 tuples
21.32/7.82 c 21:55:41.772 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30633. 'extension(6, x[22][33]=[0‥6]) :: init: true :: relation: MDD 1318538142, 14 edges, 5 vertices, 15 tuples
21.32/7.82 c 21:55:41.773 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30676. 'extension(6, x[22][37]=[0‥6]) :: init: true :: relation: MDD 709379856, 14 edges, 5 vertices, 15 tuples
21.32/7.82 c 21:55:41.773 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30679. 'extension(6, 6) :: init: true :: relation: MDD 709379856, 14 edges, 5 vertices, 15 tuples
21.32/7.82 c 21:55:41.775 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30723. 'extension(6, 6) :: init: true :: relation: MDD 448581721, 14 edges, 5 vertices, 15 tuples
21.32/7.82 c 21:55:41.776 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30765. 'extension(6, 6) :: init: true :: relation: MDD 940077890, 14 edges, 5 vertices, 15 tuples
21.32/7.82 c 21:55:41.776 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30806. 'extension(x[21][44]=[0‥6], 6) :: init: true :: relation: MDD 558576687, 14 edges, 5 vertices, 15 tuples
21.32/7.82 c 21:55:41.777 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30847. 'extension(6, x[24][9]=[0‥6]) :: init: true :: relation: MDD 448581721, 14 edges, 5 vertices, 15 tuples
21.32/7.82 c 21:55:41.777 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30850. 'extension(6, 6) :: init: true :: relation: MDD 448581721, 14 edges, 5 vertices, 15 tuples
21.32/7.82 c 21:55:41.779 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30889. 'extension(x[22][11]=[0‥6], 6) :: init: true :: relation: MDD 496627227, 14 edges, 5 vertices, 15 tuples
21.32/7.82 c 21:55:41.779 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30931. 'extension(6, x[24][31]=[0‥6]) :: init: true :: relation: MDD 940077890, 14 edges, 5 vertices, 15 tuples
21.32/7.82 c 21:55:41.780 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30934. 'extension(6, 6) :: init: true :: relation: MDD 940077890, 14 edges, 5 vertices, 15 tuples
21.32/7.82 c 21:55:41.781 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30975. 'extension(x[22][42]=[0‥6], 6) :: init: true :: relation: MDD 1489251468, 14 edges, 5 vertices, 15 tuples
21.32/7.82 c 21:55:41.781 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30976. 'extension(6, x[24][42]=[0‥6]) :: init: true :: relation: MDD 1489251468, 14 edges, 5 vertices, 15 tuples
21.32/7.82 c 21:55:41.782 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31017. 'extension(6, x[24][44]=[0‥6]) :: init: true :: relation: MDD 558576687, 14 edges, 5 vertices, 15 tuples
21.32/7.82 c 21:55:41.783 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31020. 'extension(6, 6) :: init: true :: relation: MDD 558576687, 14 edges, 5 vertices, 15 tuples
21.32/7.82 c 21:55:41.784 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31058. 'extension(6, x[25][11]=[0‥6]) :: init: true :: relation: MDD 496627227, 14 edges, 5 vertices, 15 tuples
21.32/7.83 c 21:55:41.785 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31061. 'extension(6, 6) :: init: true :: relation: MDD 496627227, 14 edges, 5 vertices, 15 tuples
21.32/7.83 c 21:55:41.786 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31100. 'extension(x[23][34]=[0‥6], 6) :: init: true :: relation: MDD 1589370464, 14 edges, 5 vertices, 15 tuples
21.32/7.83 c 21:55:41.787 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31147. 'extension(6, 6) :: init: true :: relation: MDD 1589370464, 14 edges, 5 vertices, 15 tuples
21.32/7.83 c 21:55:41.787 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31188. 'extension(x[24][38]=[0‥6], 6) :: init: true :: relation: MDD 718781734, 14 edges, 5 vertices, 15 tuples
21.32/7.83 c 21:55:41.788 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31189. 'extension(6, x[26][38]=[0‥6]) :: init: true :: relation: MDD 718781734, 14 edges, 5 vertices, 15 tuples
21.32/7.83 c 21:55:41.789 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31232. 'extension(6, wk[26][3]=[0‥1]) :: init: true :: relation: MDD 1814730197, 7 edges, 3 vertices, 6 tuples
21.32/7.83 c 21:55:41.789 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31233. 'extension(x[25][26]=[0‥6], 6) :: init: true :: relation: MDD 412416671, 14 edges, 5 vertices, 15 tuples
21.32/7.83 c 21:55:41.790 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31234. 'extension(6, x[27][26]=[0‥6]) :: init: true :: relation: MDD 412416671, 14 edges, 5 vertices, 15 tuples
21.32/7.83 c 21:55:41.792 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31275. 'extension(6, wk[34][3]=[0‥1]) :: init: true :: relation: MDD 1837581973, 7 edges, 3 vertices, 6 tuples
21.32/7.83 c 21:55:41.792 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31276. 'extension(6, x[27][34]=[0‥6]) :: init: true :: relation: MDD 1589370464, 14 edges, 5 vertices, 15 tuples
21.32/7.83 c 21:55:41.793 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31279. 'extension(6, 6) :: init: true :: relation: MDD 1589370464, 14 edges, 5 vertices, 15 tuples
21.32/7.83 c 21:55:41.794 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31320. 'extension(6, wk[37][3]=[0‥1]) :: init: true :: relation: MDD 1549377783, 7 edges, 3 vertices, 6 tuples
21.32/7.83 c 21:55:41.794 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31321. 'extension(x[25][37]=[0‥6], 6) :: init: true :: relation: MDD 709379856, 14 edges, 5 vertices, 15 tuples
21.32/7.83 c 21:55:41.794 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31322. 'extension(6, x[27][37]=[0‥6]) :: init: true :: relation: MDD 709379856, 14 edges, 5 vertices, 15 tuples
21.32/7.83 c 21:55:41.796 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31365. 'extension(6, wk[41][3]=[0‥1]) :: init: true :: relation: MDD 1081836597, 7 edges, 3 vertices, 6 tuples
21.32/7.83 c 21:55:41.796 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31366. 'extension(x[25][41]=[0‥6], 6) :: init: true :: relation: MDD 1664998412, 14 edges, 5 vertices, 15 tuples
21.32/7.83 c 21:55:41.797 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31408. 'extension(6, wk[44][3]=[0‥1]) :: init: true :: relation: MDD 673992096, 7 edges, 3 vertices, 6 tuples
21.32/7.83 c 21:55:41.797 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31409. 'extension(x[25][44]=[0‥6], 6) :: init: true :: relation: MDD 558576687, 14 edges, 5 vertices, 15 tuples
21.32/7.83 c 21:55:41.797 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31410. 'extension(6, x[27][44]=[0‥6]) :: init: true :: relation: MDD 558576687, 14 edges, 5 vertices, 15 tuples
21.32/7.84 c 21:55:41.799 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31450. 'extension(6, wk[16][3]=[0‥1]) :: init: true :: relation: MDD 419416684, 7 edges, 3 vertices, 6 tuples
21.32/7.84 c 21:55:41.799 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31451. 'extension(x[26][16]=[0‥6], 6) :: init: true :: relation: MDD 725884502, 14 edges, 5 vertices, 15 tuples
21.32/7.84 c 21:55:41.800 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31493. 'extension(6, wk[28][3]=[0‥1]) :: init: true :: relation: MDD 622497998, 7 edges, 3 vertices, 6 tuples
21.32/7.84 c 21:55:41.800 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31494. 'extension(x[26][28]=[0‥6], 6) :: init: true :: relation: MDD 904351240, 14 edges, 5 vertices, 15 tuples
21.32/7.84 c 21:55:41.801 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31536. 'extension(6, wk[29][3]=[0‥1]) :: init: true :: relation: MDD 1684898059, 7 edges, 3 vertices, 6 tuples
21.32/7.84 c 21:55:41.801 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31537. 'extension(x[26][29]=[0‥6], 6) :: init: true :: relation: MDD 1310147631, 14 edges, 5 vertices, 15 tuples
21.32/7.84 c 21:55:41.802 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31579. 'extension(6, wk[41][3]=[0‥1]) :: init: true :: relation: MDD 1303427612, 7 edges, 3 vertices, 6 tuples
21.32/7.84 c 21:55:41.802 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31580. 'extension(6, x[28][41]=[0‥6]) :: init: true :: relation: MDD 1664998412, 14 edges, 5 vertices, 15 tuples
21.32/7.84 c 21:55:41.802 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31583. 'extension(6, 6) :: init: true :: relation: MDD 1664998412, 14 edges, 5 vertices, 15 tuples
21.32/7.84 c 21:55:41.804 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31622. 'extension(x[27][14]=[0‥6], 6) :: init: true :: relation: MDD 991363637, 14 edges, 5 vertices, 15 tuples
21.32/7.84 c 21:55:41.804 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31667. 'extension(6, 6) :: init: true :: relation: MDD 725884502, 14 edges, 5 vertices, 15 tuples
21.32/7.84 c 21:55:41.805 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31706. 'extension(6, x[29][28]=[0‥6]) :: init: true :: relation: MDD 904351240, 14 edges, 5 vertices, 15 tuples
21.32/7.84 c 21:55:41.805 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31709. 'extension(6, 6) :: init: true :: relation: MDD 904351240, 14 edges, 5 vertices, 15 tuples
21.32/7.84 c 21:55:41.806 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31748. 'extension(6, x[29][29]=[0‥6]) :: init: true :: relation: MDD 1310147631, 14 edges, 5 vertices, 15 tuples
21.32/7.84 c 21:55:41.806 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31751. 'extension(6, 6) :: init: true :: relation: MDD 1310147631, 14 edges, 5 vertices, 15 tuples
21.32/7.84 c 21:55:41.807 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31790. 'extension(x[27][38]=[0‥6], 6) :: init: true :: relation: MDD 718781734, 14 edges, 5 vertices, 15 tuples
21.32/7.85 c 21:55:41.809 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31834. 'extension(x[28][4]=[0‥6], 6) :: init: true :: relation: MDD 476234749, 14 edges, 5 vertices, 15 tuples
21.32/7.85 c 21:55:41.809 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31879. 'extension(6, 6) :: init: true :: relation: MDD 991363637, 14 edges, 5 vertices, 15 tuples
21.32/7.85 c 21:55:41.810 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31918. 'extension(6, x[30][16]=[0‥6]) :: init: true :: relation: MDD 725884502, 14 edges, 5 vertices, 15 tuples
21.32/7.85 c 21:55:41.810 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31921. 'extension(6, 6) :: init: true :: relation: MDD 725884502, 14 edges, 5 vertices, 15 tuples
21.32/7.85 c 21:55:41.811 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31960. 'extension(x[28][22]=[0‥6], 6) :: init: true :: relation: MDD 362463583, 14 edges, 5 vertices, 15 tuples
21.32/7.85 c 21:55:41.812 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32005. 'extension(6, 6) :: init: true :: relation: MDD 718781734, 14 edges, 5 vertices, 15 tuples
21.32/7.85 c 21:55:41.812 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32046. 'extension(x[28][40]=[0‥6], 6) :: init: true :: relation: MDD 1210819761, 14 edges, 5 vertices, 15 tuples
21.32/7.85 c 21:55:41.812 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32047. 'extension(6, x[30][40]=[0‥6]) :: init: true :: relation: MDD 1210819761, 14 edges, 5 vertices, 15 tuples
21.32/7.85 c 21:55:41.814 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32091. 'extension(6, 6) :: init: true :: relation: MDD 476234749, 14 edges, 5 vertices, 15 tuples
21.32/7.85 c 21:55:41.815 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32130. 'extension(6, x[31][14]=[0‥6]) :: init: true :: relation: MDD 991363637, 14 edges, 5 vertices, 15 tuples
21.32/7.85 c 21:55:41.815 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32133. 'extension(6, 6) :: init: true :: relation: MDD 991363637, 14 edges, 5 vertices, 15 tuples
21.32/7.85 c 21:55:41.816 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32175. 'extension(6, 6) :: init: true :: relation: MDD 362463583, 14 edges, 5 vertices, 15 tuples
21.32/7.85 c 21:55:41.817 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32214. 'extension(x[29][27]=[0‥6], 6) :: init: true :: relation: MDD 1160278903, 14 edges, 5 vertices, 15 tuples
21.32/7.86 c 21:55:41.818 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32256. 'extension(x[29][36]=[0‥6], 6) :: init: true :: relation: MDD 1064052579, 14 edges, 5 vertices, 15 tuples
21.32/7.86 c 21:55:41.818 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32300. 'extension(6, x[31][38]=[0‥6]) :: init: true :: relation: MDD 718781734, 14 edges, 5 vertices, 15 tuples
21.32/7.86 c 21:55:41.819 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32303. 'extension(6, 6) :: init: true :: relation: MDD 718781734, 14 edges, 5 vertices, 15 tuples
21.32/7.86 c 21:55:41.820 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32347. 'extension(6, 6) :: init: true :: relation: MDD 476234749, 14 edges, 5 vertices, 15 tuples
21.32/7.86 c 21:55:41.821 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32386. 'extension(x[30][8]=[0‥6], 6) :: init: true :: relation: MDD 340097685, 14 edges, 5 vertices, 15 tuples
21.32/7.86 c 21:55:41.821 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32431. 'extension(6, 6) :: init: true :: relation: MDD 362463583, 14 edges, 5 vertices, 15 tuples
21.32/7.86 c 21:55:41.821 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32470. 'extension(6, x[32][27]=[0‥6]) :: init: true :: relation: MDD 1160278903, 14 edges, 5 vertices, 15 tuples
21.32/7.86 c 21:55:41.822 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32473. 'extension(6, 6) :: init: true :: relation: MDD 1160278903, 14 edges, 5 vertices, 15 tuples
21.32/7.86 c 21:55:41.823 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32512. 'extension(x[30][28]=[0‥6], 6) :: init: true :: relation: MDD 904351240, 14 edges, 5 vertices, 15 tuples
21.32/7.86 c 21:55:41.824 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32557. 'extension(6, 6) :: init: true :: relation: MDD 1064052579, 14 edges, 5 vertices, 15 tuples
21.32/7.86 c 21:55:41.824 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32598. 'extension(x[30][42]=[0‥6], 6) :: init: true :: relation: MDD 1489251468, 14 edges, 5 vertices, 15 tuples
21.32/7.86 c 21:55:41.825 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32640. 'extension(6, x[33][4]=[0‥6]) :: init: true :: relation: MDD 476234749, 14 edges, 5 vertices, 15 tuples
21.32/7.86 c 21:55:41.826 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32643. 'extension(6, 6) :: init: true :: relation: MDD 476234749, 14 edges, 5 vertices, 15 tuples
21.32/7.87 c 21:55:41.827 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32682. 'extension(6, x[33][8]=[0‥6]) :: init: true :: relation: MDD 340097685, 14 edges, 5 vertices, 15 tuples
21.32/7.87 c 21:55:41.827 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32685. 'extension(6, 6) :: init: true :: relation: MDD 340097685, 14 edges, 5 vertices, 15 tuples
21.32/7.87 c 21:55:41.828 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32724. 'extension(x[31][15]=[0‥6], 6) :: init: true :: relation: MDD 1263015120, 14 edges, 5 vertices, 15 tuples
21.32/7.87 c 21:55:41.829 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32766. 'extension(x[31][17]=[0‥6], 6) :: init: true :: relation: MDD 438793128, 14 edges, 5 vertices, 15 tuples
21.32/7.87 c 21:55:41.829 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32767. 'extension(6, x[33][17]=[0‥6]) :: init: true :: relation: MDD 438793128, 14 edges, 5 vertices, 15 tuples
21.32/7.87 c 21:55:41.831 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32808. 'extension(6, x[33][22]=[0‥6]) :: init: true :: relation: MDD 362463583, 14 edges, 5 vertices, 15 tuples
21.32/7.88 c 21:55:41.832 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32811. 'extension(6, 6) :: init: true :: relation: MDD 362463583, 14 edges, 5 vertices, 15 tuples
21.32/7.88 c 21:55:41.833 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32850. 'extension(6, x[33][28]=[0‥6]) :: init: true :: relation: MDD 904351240, 14 edges, 5 vertices, 15 tuples
21.32/7.88 c 21:55:41.833 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32853. 'extension(6, 6) :: init: true :: relation: MDD 904351240, 14 edges, 5 vertices, 15 tuples
21.32/7.88 c 21:55:41.834 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32892. 'extension(6, x[33][36]=[0‥6]) :: init: true :: relation: MDD 1064052579, 14 edges, 5 vertices, 15 tuples
21.32/7.88 c 21:55:41.835 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32895. 'extension(6, 6) :: init: true :: relation: MDD 1064052579, 14 edges, 5 vertices, 15 tuples
21.32/7.88 c 21:55:41.836 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32936. 'extension(x[31][39]=[0‥6], 6) :: init: true :: relation: MDD 1157276914, 14 edges, 5 vertices, 15 tuples
21.32/7.88 c 21:55:41.837 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32980. 'extension(6, x[33][42]=[0‥6]) :: init: true :: relation: MDD 1489251468, 14 edges, 5 vertices, 15 tuples
21.32/7.88 c 21:55:41.837 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32983. 'extension(6, 6) :: init: true :: relation: MDD 1489251468, 14 edges, 5 vertices, 15 tuples
21.32/7.88 c 21:55:41.839 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33022. 'extension(6, wk[15][4]=[0‥1]) :: init: true :: relation: MDD 1531506932, 7 edges, 3 vertices, 6 tuples
21.32/7.88 c 21:55:41.839 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33026. 'extension(6, 6) :: init: true :: relation: MDD 1263015120, 14 edges, 5 vertices, 15 tuples
21.32/7.88 c 21:55:41.840 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33065. 'extension(6, wk[24][4]=[0‥1]) :: init: true :: relation: MDD 1855297340, 7 edges, 3 vertices, 6 tuples
21.32/7.88 c 21:55:41.840 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33066. 'extension(x[32][24]=[0‥6], 6) :: init: true :: relation: MDD 279513068, 14 edges, 5 vertices, 15 tuples
21.32/7.88 c 21:55:41.840 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33108. 'extension(6, wk[30][4]=[0‥1]) :: init: true :: relation: MDD 57986233, 7 edges, 3 vertices, 6 tuples
21.32/7.88 c 21:55:41.840 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33109. 'extension(x[32][30]=[0‥6], 6) :: init: true :: relation: MDD 700286427, 14 edges, 5 vertices, 15 tuples
21.32/7.88 c 21:55:41.841 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33153. 'extension(6, wk[39][4]=[0‥1]) :: init: true :: relation: MDD 374740213, 7 edges, 3 vertices, 6 tuples
21.32/7.88 c 21:55:41.841 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33157. 'extension(6, 6) :: init: true :: relation: MDD 1157276914, 14 edges, 5 vertices, 15 tuples
21.32/7.88 c 21:55:41.842 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33198. 'extension(6, wk[15][4]=[0‥1]) :: init: true :: relation: MDD 1543272907, 7 edges, 3 vertices, 6 tuples
21.32/7.88 c 21:55:41.842 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33202. 'extension(6, 6) :: init: true :: relation: MDD 1263015120, 14 edges, 5 vertices, 15 tuples
21.32/7.88 c 21:55:41.843 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33241. 'extension(6, wk[24][4]=[0‥1]) :: init: true :: relation: MDD 1901272535, 7 edges, 3 vertices, 6 tuples
21.32/7.89 c 21:55:41.843 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33245. 'extension(6, 6) :: init: true :: relation: MDD 279513068, 14 edges, 5 vertices, 15 tuples
21.32/7.89 c 21:55:41.843 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33284. 'extension(6, wk[30][4]=[0‥1]) :: init: true :: relation: MDD 716216643, 7 edges, 3 vertices, 6 tuples
21.32/7.89 c 21:55:41.844 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33285. 'extension(6, x[35][30]=[0‥6]) :: init: true :: relation: MDD 700286427, 14 edges, 5 vertices, 15 tuples
21.32/7.89 c 21:55:41.844 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33288. 'extension(6, 6) :: init: true :: relation: MDD 700286427, 14 edges, 5 vertices, 15 tuples
21.32/7.89 c 21:55:41.845 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33329. 'extension(6, wk[33][4]=[0‥1]) :: init: true :: relation: MDD 39642165, 7 edges, 3 vertices, 6 tuples
21.32/7.89 c 21:55:41.845 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33330. 'extension(x[33][33]=[0‥6], 6) :: init: true :: relation: MDD 1318538142, 14 edges, 5 vertices, 15 tuples
21.32/7.89 c 21:55:41.845 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33331. 'extension(6, x[35][33]=[0‥6]) :: init: true :: relation: MDD 1318538142, 14 edges, 5 vertices, 15 tuples
21.32/7.89 c 21:55:41.847 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33374. 'extension(6, wk[35][4]=[0‥1]) :: init: true :: relation: MDD 1663891411, 7 edges, 3 vertices, 6 tuples
21.32/7.89 c 21:55:41.847 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33375. 'extension(x[33][35]=[0‥6], 6) :: init: true :: relation: MDD 633468398, 14 edges, 5 vertices, 15 tuples
21.32/7.89 c 21:55:41.848 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33419. 'extension(6, wk[39][4]=[0‥1]) :: init: true :: relation: MDD 1527317172, 7 edges, 3 vertices, 6 tuples
21.32/7.89 c 21:55:41.848 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33423. 'extension(6, 6) :: init: true :: relation: MDD 1157276914, 14 edges, 5 vertices, 15 tuples
21.32/7.89 c 21:55:41.849 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33464. 'extension(x[34][1]=[0‥6], 6) :: init: true :: relation: MDD 1670479841, 14 edges, 5 vertices, 15 tuples
21.32/7.89 c 21:55:41.849 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33465. 'extension(6, x[36][1]=[0‥6]) :: init: true :: relation: MDD 1670479841, 14 edges, 5 vertices, 15 tuples
21.32/7.89 c 21:55:41.851 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33506. 'extension(6, x[36][15]=[0‥6]) :: init: true :: relation: MDD 1263015120, 14 edges, 5 vertices, 15 tuples
21.32/7.89 c 21:55:41.851 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33509. 'extension(6, 6) :: init: true :: relation: MDD 1263015120, 14 edges, 5 vertices, 15 tuples
21.32/7.89 c 21:55:41.852 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33551. 'extension(6, 6) :: init: true :: relation: MDD 279513068, 14 edges, 5 vertices, 15 tuples
21.32/7.89 c 21:55:41.852 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33593. 'extension(6, 6) :: init: true :: relation: MDD 633468398, 14 edges, 5 vertices, 15 tuples
21.32/7.89 c 21:55:41.853 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33634. 'extension(6, x[36][39]=[0‥6]) :: init: true :: relation: MDD 1157276914, 14 edges, 5 vertices, 15 tuples
21.32/7.89 c 21:55:41.853 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33637. 'extension(6, 6) :: init: true :: relation: MDD 1157276914, 14 edges, 5 vertices, 15 tuples
21.32/7.89 c 21:55:41.855 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33678. 'extension(x[35][6]=[0‥6], 6) :: init: true :: relation: MDD 2050328083, 14 edges, 5 vertices, 15 tuples
21.32/7.89 c 21:55:41.856 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33720. 'extension(6, x[37][24]=[0‥6]) :: init: true :: relation: MDD 279513068, 14 edges, 5 vertices, 15 tuples
21.32/7.89 c 21:55:41.856 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33723. 'extension(6, 6) :: init: true :: relation: MDD 279513068, 14 edges, 5 vertices, 15 tuples
21.32/7.89 c 21:55:41.857 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33762. 'extension(6, x[37][35]=[0‥6]) :: init: true :: relation: MDD 633468398, 14 edges, 5 vertices, 15 tuples
21.32/7.90 c 21:55:41.858 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33765. 'extension(6, 6) :: init: true :: relation: MDD 633468398, 14 edges, 5 vertices, 15 tuples
21.63/7.90 c 21:55:41.859 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33805. 'extension(x[36][0]=[0‥6], 6) :: init: true :: relation: MDD 121463477, 14 edges, 5 vertices, 15 tuples
21.63/7.90 c 21:55:41.860 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33846. 'extension(6, x[38][6]=[0‥6]) :: init: true :: relation: MDD 2050328083, 14 edges, 5 vertices, 15 tuples
21.63/7.90 c 21:55:41.860 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33849. 'extension(6, 6) :: init: true :: relation: MDD 2050328083, 14 edges, 5 vertices, 15 tuples
21.63/7.90 c 21:55:41.862 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33887. 'extension(6, x[39][0]=[0‥6]) :: init: true :: relation: MDD 121463477, 14 edges, 5 vertices, 15 tuples
21.63/7.90 c 21:55:41.862 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33890. 'extension(6, 6) :: init: true :: relation: MDD 121463477, 14 edges, 5 vertices, 15 tuples
21.63/7.90 c 21:55:41.863 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33927. 'extension(x[37][10]=[0‥6], 6) :: init: true :: relation: MDD 1903137985, 14 edges, 5 vertices, 15 tuples
21.63/7.90 c 21:55:41.863 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33928. 'extension(6, x[39][10]=[0‥6]) :: init: true :: relation: MDD 1903137985, 14 edges, 5 vertices, 15 tuples
21.63/7.90 c 21:55:41.865 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33967. 'extension(x[37][30]=[0‥6], 6) :: init: true :: relation: MDD 700286427, 14 edges, 5 vertices, 15 tuples
21.63/7.90 c 21:55:41.865 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33968. 'extension(6, x[39][30]=[0‥6]) :: init: true :: relation: MDD 700286427, 14 edges, 5 vertices, 15 tuples
21.63/7.90 c 21:55:41.867 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34008. 'extension(x[38][2]=[0‥6], 6) :: init: true :: relation: MDD 744541767, 14 edges, 5 vertices, 15 tuples
21.63/7.91 c 21:55:41.868 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34047. 'extension(6, wk[2][5]=[0‥1]) :: init: true :: relation: MDD 1500020749, 7 edges, 3 vertices, 6 tuples
21.63/7.91 c 21:55:41.868 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34050. 'extension(6, 6) :: init: true :: relation: MDD 744541767, 14 edges, 5 vertices, 15 tuples
21.63/7.91 c 21:55:41.868 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34085. 'extension(6, wk[21][5]=[0‥1]) :: init: true :: relation: MDD 1805402813, 7 edges, 3 vertices, 6 tuples
21.63/7.91 c 21:55:41.869 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34086. 'extension(x[39][21]=[0‥6], 6) :: init: true :: relation: MDD 1810873106, 14 edges, 5 vertices, 15 tuples
21.63/7.91 c 21:55:41.869 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34087. 'extension(6, x[41][21]=[0‥6]) :: init: true :: relation: MDD 1810873106, 14 edges, 5 vertices, 15 tuples
21.63/7.91 c 21:55:41.870 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34123. 'extension(6, wk[2][5]=[0‥1]) :: init: true :: relation: MDD 11646065, 7 edges, 3 vertices, 6 tuples
21.63/7.91 c 21:55:41.870 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34124. 'extension(6, 6) :: init: true :: relation: MDD 744541767, 14 edges, 5 vertices, 15 tuples
21.63/7.91 c 21:55:41.871 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34125. 'extension(6, 6) :: init: true :: relation: MDD 1635815117, 7 edges, 3 vertices, 6 tuples
21.63/7.92 c 21:55:41.886 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34384. 'extension(x[1][35]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.92 c 21:55:41.886 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34386. 'extension(x[1][35]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.92 c 21:55:41.887 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34392. 'extension(x[0][19]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.93 c 21:55:41.887 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34396. 'extension(x[0][32]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.93 c 21:55:41.887 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34398. 'extension(x[2][32]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.93 c 21:55:41.888 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34410. 'extension(x[0][34]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.93 c 21:55:41.888 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34412. 'extension(x[2][34]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.93 c 21:55:41.889 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34424. 'extension(x[0][43]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.93 c 21:55:41.889 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34426. 'extension(x[2][43]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.93 c 21:55:41.889 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34436. 'extension(x[1][1]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.93 c 21:55:41.890 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34442. 'extension(x[1][11]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.93 c 21:55:41.890 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34448. 'extension(x[1][12]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.93 c 21:55:41.890 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34450. 'extension(x[3][12]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.93 c 21:55:41.891 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34472. 'extension(x[2][8]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.93 c 21:55:41.891 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34478. 'extension(x[4][11]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.93 c 21:55:41.892 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34492. 'extension(x[2][14]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.93 c 21:55:41.892 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34494. 'extension(x[4][14]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.93 c 21:55:41.892 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34508. 'extension(x[2][42]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.93 c 21:55:41.893 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34510. 'extension(x[4][42]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.93 c 21:55:41.893 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34524. 'extension(x[5][1]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.93 c 21:55:41.894 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34534. 'extension(x[5][8]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.93 c 21:55:41.894 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34548. 'extension(x[5][19]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.93 c 21:55:41.894 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34558. 'extension(wk[0][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.63/7.93 c 21:55:41.895 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34560. 'extension(x[4][0]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.93 c 21:55:41.895 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34562. 'extension(x[6][0]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.93 c 21:55:41.895 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34576. 'extension(wk[3][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.63/7.93 c 21:55:41.895 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34578. 'extension(x[4][3]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.93 c 21:55:41.896 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34584. 'extension(wk[7][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.63/7.93 c 21:55:41.896 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34586. 'extension(x[4][7]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.93 c 21:55:41.896 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34592. 'extension(wk[20][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.63/7.93 c 21:55:41.896 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34594. 'extension(x[4][20]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.95 c 21:55:41.897 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34600. 'extension(wk[30][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.63/7.95 c 21:55:41.897 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34602. 'extension(x[4][30]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.95 c 21:55:41.897 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34604. 'extension(x[6][30]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.95 c 21:55:41.898 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34620. 'extension(wk[3][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.63/7.95 c 21:55:41.898 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34626. 'extension(wk[7][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.63/7.95 c 21:55:41.899 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34632. 'extension(wk[16][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.63/7.95 c 21:55:41.899 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34634. 'extension(x[5][16]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.95 c 21:55:41.899 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34636. 'extension(x[7][16]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.95 c 21:55:41.900 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34650. 'extension(wk[20][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.63/7.95 c 21:55:41.900 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34656. 'extension(wk[23][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.63/7.95 c 21:55:41.900 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34658. 'extension(x[5][23]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.95 c 21:55:41.900 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34660. 'extension(x[7][23]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.95 c 21:55:41.901 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34674. 'extension(wk[32][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.63/7.95 c 21:55:41.901 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34676. 'extension(x[5][32]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.95 c 21:55:41.901 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34682. 'extension(wk[36][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.63/7.95 c 21:55:41.901 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34684. 'extension(x[5][36]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.95 c 21:55:41.901 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34686. 'extension(x[7][36]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.95 c 21:55:41.902 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34702. 'extension(x[6][2]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.95 c 21:55:41.902 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34704. 'extension(x[8][2]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.95 c 21:55:41.903 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34718. 'extension(x[6][18]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.95 c 21:55:41.903 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34724. 'extension(x[6][25]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.95 c 21:55:41.903 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34726. 'extension(x[8][25]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.95 c 21:55:41.903 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34740. 'extension(x[6][26]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.95 c 21:55:41.904 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34746. 'extension(x[8][32]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.95 c 21:55:41.904 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34762. 'extension(x[9][3]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.95 c 21:55:41.905 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34772. 'extension(x[7][5]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.95 c 21:55:41.905 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34778. 'extension(x[9][7]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.95 c 21:55:41.906 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34788. 'extension(x[7][9]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.95 c 21:55:41.906 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34790. 'extension(x[9][9]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.95 c 21:55:41.906 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34808. 'extension(x[9][20]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.95 c 21:55:41.907 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34826. 'extension(x[8][23]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.95 c 21:55:41.907 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34828. 'extension(x[10][23]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.95 c 21:55:41.908 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34842. 'extension(x[10][26]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.95 c 21:55:41.908 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34852. 'extension(x[8][40]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.95 c 21:55:41.909 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34858. 'extension(x[9][0]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.95 c 21:55:41.909 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34860. 'extension(x[11][0]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.95 c 21:55:41.909 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34874. 'extension(x[9][12]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.95 c 21:55:41.910 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34880. 'extension(x[11][18]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.95 c 21:55:41.910 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34890. 'extension(x[9][25]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.95 c 21:55:41.910 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34900. 'extension(x[12][5]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.95 c 21:55:41.911 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34918. 'extension(x[10][32]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.95 c 21:55:41.911 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34920. 'extension(x[12][32]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.95 c 21:55:41.912 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34936. 'extension(x[12][40]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.95 c 21:55:41.912 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34946. 'extension(wk[12][1]=[0‥1]) :: init: true :: relation: Empty MDD
21.63/7.95 c 21:55:41.912 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34948. 'extension(x[13][12]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.95 c 21:55:41.913 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34958. 'extension(wk[13][1]=[0‥1]) :: init: true :: relation: Empty MDD
21.63/7.95 c 21:55:41.913 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34960. 'extension(x[11][13]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.95 c 21:55:41.913 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34966. 'extension(wk[17][1]=[0‥1]) :: init: true :: relation: Empty MDD
21.63/7.95 c 21:55:41.913 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34968. 'extension(x[11][17]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.95 c 21:55:41.914 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34974. 'extension(wk[21][1]=[0‥1]) :: init: true :: relation: Empty MDD
21.63/7.95 c 21:55:41.914 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34976. 'extension(x[11][21]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.95 c 21:55:41.914 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34978. 'extension(x[13][21]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.95 c 21:55:41.915 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34992. 'extension(wk[25][1]=[0‥1]) :: init: true :: relation: Empty MDD
21.63/7.95 c 21:55:41.915 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34994. 'extension(x[13][25]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.95 c 21:55:41.915 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35004. 'extension(wk[13][1]=[0‥1]) :: init: true :: relation: Empty MDD
21.63/7.95 c 21:55:41.915 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35010. 'extension(wk[17][1]=[0‥1]) :: init: true :: relation: Empty MDD
21.63/7.95 c 21:55:41.916 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35016. 'extension(wk[23][1]=[0‥1]) :: init: true :: relation: Empty MDD
21.63/7.95 c 21:55:41.916 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35018. 'extension(x[12][23]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.95 c 21:55:41.916 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35024. 'extension(wk[43][1]=[0‥1]) :: init: true :: relation: Empty MDD
21.63/7.95 c 21:55:41.916 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35026. 'extension(x[12][43]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.95 c 21:55:41.917 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35032. 'extension(x[13][10]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.95 c 21:55:41.917 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35038. 'extension(x[15][17]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.95 c 21:55:41.917 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35048. 'extension(x[15][23]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.96 c 21:55:41.918 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35062. 'extension(x[15][43]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.96 c 21:55:41.918 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35074. 'extension(x[16][13]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.96 c 21:55:41.918 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35084. 'extension(x[14][21]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.96 c 21:55:41.919 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35090. 'extension(x[14][33]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.96 c 21:55:41.919 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35096. 'extension(x[14][41]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.96 c 21:55:41.919 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35102. 'extension(x[17][10]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.96 c 21:55:41.920 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35112. 'extension(x[17][21]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.96 c 21:55:41.920 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35126. 'extension(x[17][33]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.96 c 21:55:41.921 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35142. 'extension(x[17][41]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.96 c 21:55:41.921 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35156. 'extension(x[15][43]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.96 c 21:55:41.921 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35158. 'extension(x[17][43]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.96 c 21:55:41.922 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35170. 'extension(x[15][44]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.96 c 21:55:41.922 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35172. 'extension(x[17][44]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.96 c 21:55:41.922 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35184. 'extension(x[17][6]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.96 c 21:55:41.923 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35190. 'extension(wk[6][2]=[0‥1]) :: init: true :: relation: Empty MDD
21.63/7.96 c 21:55:41.923 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35192. 'extension(x[20][6]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.96 c 21:55:41.923 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35206. 'extension(wk[27][2]=[0‥1]) :: init: true :: relation: Empty MDD
21.63/7.96 c 21:55:41.924 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35208. 'extension(x[18][27]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.96 c 21:55:41.924 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35214. 'extension(wk[37][2]=[0‥1]) :: init: true :: relation: Empty MDD
21.63/7.96 c 21:55:41.924 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35216. 'extension(x[18][37]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.96 c 21:55:41.924 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35222. 'extension(wk[27][2]=[0‥1]) :: init: true :: relation: Empty MDD
21.63/7.96 c 21:55:41.924 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35224. 'extension(x[21][27]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.96 c 21:55:41.925 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35238. 'extension(wk[29][2]=[0‥1]) :: init: true :: relation: Empty MDD
21.63/7.96 c 21:55:41.925 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35240. 'extension(x[19][29]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.97 c 21:55:41.925 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35246. 'extension(wk[31][2]=[0‥1]) :: init: true :: relation: Empty MDD
21.63/7.97 c 21:55:41.926 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35248. 'extension(x[19][31]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.97 c 21:55:41.926 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35254. 'extension(wk[37][2]=[0‥1]) :: init: true :: relation: Empty MDD
21.63/7.97 c 21:55:41.926 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35260. 'extension(x[20][9]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.97 c 21:55:41.927 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35266. 'extension(x[22][29]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.97 c 21:55:41.927 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35284. 'extension(x[20][33]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.97 c 21:55:41.927 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35286. 'extension(x[22][33]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.97 c 21:55:41.928 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35302. 'extension(x[22][37]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.97 c 21:55:41.928 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35322. 'extension(x[21][44]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.97 c 21:55:41.929 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35328. 'extension(x[24][9]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.97 c 21:55:41.929 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35338. 'extension(x[22][11]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.97 c 21:55:41.929 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35344. 'extension(x[24][31]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.97 c 21:55:41.930 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35356. 'extension(x[22][42]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.97 c 21:55:41.930 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35358. 'extension(x[24][42]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.97 c 21:55:41.930 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35372. 'extension(x[24][44]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.97 c 21:55:41.931 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35382. 'extension(x[25][11]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.97 c 21:55:41.931 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35396. 'extension(x[23][34]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.97 c 21:55:41.932 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35406. 'extension(x[24][38]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.97 c 21:55:41.932 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35408. 'extension(x[26][38]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.97 c 21:55:41.932 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35422. 'extension(wk[26][3]=[0‥1]) :: init: true :: relation: Empty MDD
21.63/7.97 c 21:55:41.933 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35424. 'extension(x[25][26]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.97 c 21:55:41.933 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35426. 'extension(x[27][26]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.97 c 21:55:41.933 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35440. 'extension(wk[34][3]=[0‥1]) :: init: true :: relation: Empty MDD
21.63/7.97 c 21:55:41.933 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35442. 'extension(x[27][34]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.97 c 21:55:41.934 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35456. 'extension(wk[37][3]=[0‥1]) :: init: true :: relation: Empty MDD
21.63/7.97 c 21:55:41.934 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35458. 'extension(x[25][37]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.97 c 21:55:41.934 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35460. 'extension(x[27][37]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.97 c 21:55:41.935 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35476. 'extension(wk[41][3]=[0‥1]) :: init: true :: relation: Empty MDD
21.63/7.97 c 21:55:41.935 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35478. 'extension(x[25][41]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.98 c 21:55:41.935 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35484. 'extension(wk[44][3]=[0‥1]) :: init: true :: relation: Empty MDD
21.63/7.98 c 21:55:41.935 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35486. 'extension(x[25][44]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.98 c 21:55:41.935 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35488. 'extension(x[27][44]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.98 c 21:55:41.936 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35500. 'extension(wk[16][3]=[0‥1]) :: init: true :: relation: Empty MDD
21.63/7.98 c 21:55:41.936 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35502. 'extension(x[26][16]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.98 c 21:55:41.936 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35508. 'extension(wk[28][3]=[0‥1]) :: init: true :: relation: Empty MDD
21.63/7.98 c 21:55:41.936 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35510. 'extension(x[26][28]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.98 c 21:55:41.937 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35516. 'extension(wk[29][3]=[0‥1]) :: init: true :: relation: Empty MDD
21.63/7.98 c 21:55:41.937 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35518. 'extension(x[26][29]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.98 c 21:55:41.937 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35524. 'extension(wk[41][3]=[0‥1]) :: init: true :: relation: Empty MDD
21.63/7.98 c 21:55:41.937 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35526. 'extension(x[28][41]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.98 c 21:55:41.938 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35540. 'extension(x[27][14]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.98 c 21:55:41.938 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35550. 'extension(x[29][28]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.98 c 21:55:41.938 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35564. 'extension(x[29][29]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.98 c 21:55:41.939 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35578. 'extension(x[27][38]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.98 c 21:55:41.939 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35584. 'extension(x[28][4]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.98 c 21:55:41.940 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35594. 'extension(x[30][16]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.98 c 21:55:41.940 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35604. 'extension(x[28][22]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.98 c 21:55:41.941 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35614. 'extension(x[28][40]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.98 c 21:55:41.941 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35616. 'extension(x[30][40]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.98 c 21:55:41.941 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35634. 'extension(x[31][14]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.98 c 21:55:41.942 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35648. 'extension(x[29][27]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.98 c 21:55:41.942 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35654. 'extension(x[29][36]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.98 c 21:55:41.942 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35660. 'extension(x[31][38]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.98 c 21:55:41.943 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35674. 'extension(x[30][8]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.98 c 21:55:41.943 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35680. 'extension(x[32][27]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.98 c 21:55:41.943 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35694. 'extension(x[30][28]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.98 c 21:55:41.944 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35704. 'extension(x[30][42]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.98 c 21:55:41.944 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35710. 'extension(x[33][4]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.98 c 21:55:41.944 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35720. 'extension(x[33][8]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.98 c 21:55:41.945 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35734. 'extension(x[31][15]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.98 c 21:55:41.945 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35740. 'extension(x[31][17]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.98 c 21:55:41.945 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35742. 'extension(x[33][17]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.98 c 21:55:41.946 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35756. 'extension(x[33][22]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.98 c 21:55:41.946 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35766. 'extension(x[33][28]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.98 c 21:55:41.947 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35780. 'extension(x[33][36]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.98 c 21:55:41.947 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35794. 'extension(x[31][39]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.98 c 21:55:41.947 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35800. 'extension(x[33][42]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.99 c 21:55:41.948 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35814. 'extension(wk[15][4]=[0‥1]) :: init: true :: relation: Empty MDD
21.63/7.99 c 21:55:41.948 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35820. 'extension(wk[24][4]=[0‥1]) :: init: true :: relation: Empty MDD
21.63/7.99 c 21:55:41.948 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35822. 'extension(x[32][24]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.99 c 21:55:41.948 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35828. 'extension(wk[30][4]=[0‥1]) :: init: true :: relation: Empty MDD
21.63/7.99 c 21:55:41.949 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35830. 'extension(x[32][30]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.99 c 21:55:41.949 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35836. 'extension(wk[39][4]=[0‥1]) :: init: true :: relation: Empty MDD
21.63/7.99 c 21:55:41.949 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35842. 'extension(wk[15][4]=[0‥1]) :: init: true :: relation: Empty MDD
21.63/7.99 c 21:55:41.949 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35844. 'extension(wk[24][4]=[0‥1]) :: init: true :: relation: Empty MDD
21.63/7.99 c 21:55:41.949 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35850. 'extension(wk[30][4]=[0‥1]) :: init: true :: relation: Empty MDD
21.63/7.99 c 21:55:41.950 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35852. 'extension(x[35][30]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.99 c 21:55:41.950 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35868. 'extension(wk[33][4]=[0‥1]) :: init: true :: relation: Empty MDD
21.63/7.99 c 21:55:41.950 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35870. 'extension(x[33][33]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/7.99 c 21:55:41.951 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35872. 'extension(x[35][33]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/8.00 c 21:55:41.951 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35888. 'extension(wk[35][4]=[0‥1]) :: init: true :: relation: Empty MDD
21.63/8.00 c 21:55:41.951 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35890. 'extension(x[33][35]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/8.00 c 21:55:41.952 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35896. 'extension(wk[39][4]=[0‥1]) :: init: true :: relation: Empty MDD
21.63/8.00 c 21:55:41.952 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35900. 'extension(x[34][1]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/8.00 c 21:55:41.952 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35902. 'extension(x[36][1]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/8.00 c 21:55:41.952 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35916. 'extension(x[36][15]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/8.00 c 21:55:41.953 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35930. 'extension(x[36][39]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/8.00 c 21:55:41.953 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35942. 'extension(x[35][6]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/8.00 c 21:55:41.953 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35948. 'extension(x[37][24]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/8.00 c 21:55:41.954 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35958. 'extension(x[37][35]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/8.00 c 21:55:41.955 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35972. 'extension(x[36][0]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/8.00 c 21:55:41.955 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35978. 'extension(x[38][6]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/8.00 c 21:55:41.955 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35992. 'extension(x[39][0]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/8.00 c 21:55:41.956 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 36006. 'extension(x[37][10]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/8.00 c 21:55:41.956 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 36008. 'extension(x[39][10]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/8.00 c 21:55:41.956 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 36022. 'extension(x[37][30]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/8.00 c 21:55:41.956 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 36024. 'extension(x[39][30]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/8.00 c 21:55:41.957 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 36040. 'extension(x[38][2]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/8.00 c 21:55:41.957 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 36046. 'extension(wk[2][5]=[0‥1]) :: init: true :: relation: Empty MDD
21.63/8.00 c 21:55:41.957 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 36052. 'extension(wk[21][5]=[0‥1]) :: init: true :: relation: Empty MDD
21.63/8.00 c 21:55:41.957 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 36054. 'extension(x[39][21]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/8.00 c 21:55:41.958 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 36056. 'extension(x[41][21]=[0‥6]) :: init: true :: relation: Empty MDD
21.63/8.00 c 21:55:41.958 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 36068. 'extension(wk[2][5]=[0‥1]) :: init: true :: relation: Empty MDD
252.06/225.01 Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
252.06/225.01 at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24)
252.06/225.01 at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53)
252.06/225.01 at concrete.BitVectorDomain.$anonfun$filter$1(BitVectorDomain.scala:126)
252.06/225.01 at bitvectors.SmallBitVector.filter(SmallBitVector.scala:142)
252.06/225.01 at bitvectors.SmallBitVector.filter(SmallBitVector.scala:5)
252.06/225.01 at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126)
252.06/225.01 at concrete.BitVectorDomain.filter(BitVectorDomain.scala:8)
252.06/225.01 at concrete.heuristic.value.BestCost.select(BestCost.scala:53)
252.06/225.01 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
252.06/225.01 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
252.06/225.01 at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
252.06/225.01 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
252.06/225.01 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
252.06/225.01 at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
252.06/225.01 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
252.06/225.01 at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:109)
252.06/225.01 at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
252.06/225.01 at scala.Option.map(Option.scala:146)
252.06/225.01 at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
252.06/225.01 at concrete.MAC.mac(MAC.scala:203)
252.06/225.01 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
252.06/225.01 at scala.util.Try$.apply(Try.scala:209)
252.06/225.01 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.06/225.01 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.06/225.01 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.06/225.01 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.06/225.01 at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
252.06/225.01 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.06/225.01 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.06/225.01 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.06/225.01 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.06/225.01 at concrete.MAC.oneRun(MAC.scala:253)
252.06/225.01 at concrete.MAC.nextSolution(MAC.scala:272)
252.06/225.01 at concrete.MAC.$anonfun$nextSolution$5(MAC.scala:336)
252.06/225.01 at concrete.ProblemState.map(ProblemState.scala:221)
252.06/225.01 at concrete.ProblemState.map(ProblemState.scala:204)
252.06/225.01 at concrete.MAC.nextSolution(MAC.scala:334)
252.06/225.01 at concrete.Solver.hasNext(Solver.scala:166)
252.06/225.01 at scala.collection.Iterator.foreach(Iterator.scala:944)
252.06/225.01 at scala.collection.Iterator.foreach$(Iterator.scala:944)
252.06/225.01 at concrete.Solver.foreach(Solver.scala:68)
252.06/225.01 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
252.06/225.01 at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.06/225.01 at scala.util.Success.map(Try.scala:209)
252.06/225.01 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
252.06/225.01 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
252.06/225.01 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
252.06/225.01 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
252.06/225.01 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
252.06/225.01 at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.06/225.01 at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.06/225.01 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.06/225.01 at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.06/225.01 at scala.collection.immutable.List.foreach(List.scala:389)
252.06/225.01 at scala.App.main(App.scala:76)
252.06/225.01 at scala.App.main$(App.scala:74)
252.06/225.01 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
252.06/225.01 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.06/225.03 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 (14339 MiB free)
memory of node 1: 16384 MiB (13239 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302434-1532894133/watcher-4302434-1532894133 -o /tmp/evaluation-result-4302434-1532894133/solver-4302434-1532894133 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532894133-1621 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1545695682 HOME/instance-4302434-1532894133.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=1648, runsolver pid=1643
Current StackSize limit: 8192 KiB
[startup+0.100632 s]*
/proc/loadavg: 1.33 1.42 1.41 4/209 1737
/proc/meminfo: memFree=28216816/32770624 swapFree=67108860/67108860
[pid=1648] ppid=1643 vsize=113256 memory=1612 CPUtime=0.08 cores=1,3,5,7
/proc/1648/stat : 1648 (bash) R 1643 1648 22004 0 -1 4202496 1000 13200 1 0 0 0 5 3 20 0 1 0 106976534 115974144 403 33554432000 4194304 5098028 140724587714320 140724587710152 139868037024741 0 0 4100 65536 0 0 0 17 1 0 0 1 0 0 7196144 7232144 33566720 140724587717808 140724587717933 140724587717933 140724587720686 0
/proc/1648/statm: 28314 403 319 221 0 119 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 113256 KiB
Current children cumulated memory: 1612 KiB
[startup+0.220283 s]*
/proc/loadavg: 1.33 1.42 1.41 4/217 1783
/proc/meminfo: memFree=28180628/32770624 swapFree=67108860/67108860
[pid=1648] ppid=1643 vsize=10982744 memory=41512 CPUtime=0.25 cores=1,3,5,7
/proc/1648/stat : 1648 (java) S 1643 1648 22004 0 -1 1077944320 6549 13200 1 0 15 2 5 3 20 0 15 0 106976534 11246329856 10352 33554432000 4194304 4196468 140736695009920 140736694992464 139960112697079 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
/proc/1648/statm: 2745686 10352 2950 1 0 2708109 0
[pid=1648/tid=1756] ppid=1643 vsize=10982744 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/1648/task/1756/stat : 1756 (java) R 1643 1648 22004 0 -1 4202560 3112 13200 0 0 9 1 5 3 20 0 15 0 106976545 11246329856 10378 33554432000 4194304 4196468 140736695009920 139960084487072 139960094260678 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1758] ppid=1643 vsize=10982744 memory=365 CPUtime=0.08 cores=1,3,5,7
/proc/1648/task/1758/stat : 1758 (java) S 1643 1648 22004 0 -1 1077944384 1 13200 0 0 0 0 5 3 20 0 15 0 106976546 11246329856 10378 33554432000 4194304 4196468 140736695009920 139960116939920 139960112707285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1759] ppid=1643 vsize=10982744 memory=140658357910499 CPUtime=0.08 cores=1,3,5,7
/proc/1648/task/1759/stat : 1759 (java) S 1643 1648 22004 0 -1 1077944384 1 13200 0 0 0 0 5 3 20 0 15 0 106976546 11246329856 10378 33554432000 4194304 4196468 140736695009920 139959971658768 139960112707285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1761] ppid=1643 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1648/task/1761/stat : 1761 (java) S 1643 1648 22004 0 -1 1077944384 1 13200 0 0 0 0 5 3 20 0 15 0 106976546 11246329856 10378 33554432000 4194304 4196468 140736695009920 139959970605968 139960112707285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1763] ppid=1643 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/1648/task/1763/stat : 1763 (java) S 1643 1648 22004 0 -1 1077944384 2 13200 0 0 0 0 5 3 20 0 15 0 106976546 11246329856 10378 33554432000 4194304 4196468 140736695009920 139959969553168 139960112707285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1766] ppid=1643 vsize=10982744 memory=140658357290624 CPUtime=0.08 cores=1,3,5,7
/proc/1648/task/1766/stat : 1766 (java) S 1643 1648 22004 0 -1 1077944384 2 13200 0 0 0 0 5 3 20 0 15 0 106976548 11246329856 10378 33554432000 4194304 4196468 140736695009920 139959538219376 139960112708226 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1768] ppid=1643 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/1648/task/1768/stat : 1768 (java) S 1643 1648 22004 0 -1 1077944384 13 13200 0 0 0 0 5 3 20 0 15 0 106976548 11246329856 10378 33554432000 4194304 4196468 140736695009920 139958958416928 139960112707285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1770] ppid=1643 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1648/task/1770/stat : 1770 (java) S 1643 1648 22004 0 -1 1077944384 1 13200 0 0 0 0 5 3 20 0 15 0 106976548 11246329856 10378 33554432000 4194304 4196468 140736695009920 139958757090160 139960112707285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1772] ppid=1643 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1648/task/1772/stat : 1772 (java) S 1643 1648 22004 0 -1 1077944384 3 13200 0 0 0 0 5 3 20 0 15 0 106976551 11246329856 10378 33554432000 4194304 4196468 140736695009920 139958449690448 139960112715675 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1773] ppid=1643 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1648/task/1773/stat : 1773 (java) S 1643 1648 22004 0 -1 1077944384 431 13200 0 0 0 0 5 3 20 0 15 0 106976551 11246329856 10378 33554432000 4194304 4196468 140736695009920 139959537167216 139960112708226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1774] ppid=1643 vsize=10982744 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/1648/task/1774/stat : 1774 (java) S 1643 1648 22004 0 -1 1077944384 186 13200 0 0 1 0 5 3 20 0 15 0 106976551 11246329856 10378 33554432000 4194304 4196468 140736695009920 139959536114416 139960112708226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1775] ppid=1643 vsize=10982744 memory=140658357290624 CPUtime=0.11 cores=1,3,5,7
/proc/1648/task/1775/stat : 1775 (java) S 1643 1648 22004 0 -1 1077944384 607 13200 0 0 3 0 5 3 20 0 15 0 106976551 11246329856 10378 33554432000 4194304 4196468 140736695009920 139959535061616 139960112708226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1780] ppid=1643 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/1648/task/1780/stat : 1780 (java) S 1643 1648 22004 0 -1 1077944384 3 13200 0 0 0 0 5 3 20 0 15 0 106976551 11246329856 10378 33554432000 4194304 4196468 140736695009920 139958018894560 139960112707285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1782] ppid=1643 vsize=10982744 memory=140658357290624 CPUtime=0.08 cores=1,3,5,7
/proc/1648/task/1782/stat : 1782 (java) S 1643 1648 22004 0 -1 1077944384 1 13200 0 0 0 0 5 3 20 0 15 0 106976551 11246329856 10378 33554432000 4194304 4196468 140736695009920 139959534009008 139960112708226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 41512 KiB
[startup+0.310141 s]*
/proc/loadavg: 1.33 1.42 1.41 1/217 1783
/proc/meminfo: memFree=28158924/32770624 swapFree=67108860/67108860
[pid=1648] ppid=1643 vsize=10983192 memory=52640 CPUtime=0.36 cores=1,3,5,7
/proc/1648/stat : 1648 (java) S 1643 1648 22004 0 -1 1077944320 9707 13200 1 0 25 3 5 3 20 0 15 0 106976534 11246788608 13160 33554432000 4194304 4196468 140736695009920 140736694992464 139960112697079 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
/proc/1648/statm: 2745798 13160 3069 1 0 2708109 0
[pid=1648/tid=1756] ppid=1643 vsize=10983192 memory=6935054825532540783 CPUtime=0.27 cores=1,3,5,7
/proc/1648/task/1756/stat : 1756 (java) R 1643 1648 22004 0 -1 4202560 6258 13200 0 0 17 2 5 3 20 0 15 0 106976545 11246788608 13672 33554432000 4194304 4196468 140736695009920 139960084509088 139960096777566 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1758] ppid=1643 vsize=10983192 memory=4126316290023845779 CPUtime=0.08 cores=1,3,5,7
/proc/1648/task/1758/stat : 1758 (java) S 1643 1648 22004 0 -1 1077944384 1 13200 0 0 0 0 5 3 20 0 15 0 106976546 11246788608 13672 33554432000 4194304 4196468 140736695009920 139960116939920 139960112707285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1759] ppid=1643 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1648/task/1759/stat : 1759 (java) S 1643 1648 22004 0 -1 1077944384 1 13200 0 0 0 0 5 3 20 0 15 0 106976546 11246788608 13672 33554432000 4194304 4196468 140736695009920 139959971658768 139960112707285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1761] ppid=1643 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1648/task/1761/stat : 1761 (java) S 1643 1648 22004 0 -1 1077944384 1 13200 0 0 0 0 5 3 20 0 15 0 106976546 11246788608 13672 33554432000 4194304 4196468 140736695009920 139959970605968 139960112707285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1763] ppid=1643 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1648/task/1763/stat : 1763 (java) S 1643 1648 22004 0 -1 1077944384 2 13200 0 0 0 0 5 3 20 0 15 0 106976546 11246788608 13672 33554432000 4194304 4196468 140736695009920 139959969553168 139960112707285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1766] ppid=1643 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1648/task/1766/stat : 1766 (java) S 1643 1648 22004 0 -1 1077944384 2 13200 0 0 0 0 5 3 20 0 15 0 106976548 11246788608 13672 33554432000 4194304 4196468 140736695009920 139959538219376 139960112708226 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1768] ppid=1643 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1648/task/1768/stat : 1768 (java) S 1643 1648 22004 0 -1 1077944384 13 13200 0 0 0 0 5 3 20 0 15 0 106976548 11246788608 13672 33554432000 4194304 4196468 140736695009920 139958958416928 139960112707285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1770] ppid=1643 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1648/task/1770/stat : 1770 (java) S 1643 1648 22004 0 -1 1077944384 1 13200 0 0 0 0 5 3 20 0 15 0 106976548 11246788608 13672 33554432000 4194304 4196468 140736695009920 139958757090160 139960112707285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1772] ppid=1643 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1648/task/1772/stat : 1772 (java) S 1643 1648 22004 0 -1 1077944384 3 13200 0 0 0 0 5 3 20 0 15 0 106976551 11246788608 13672 33554432000 4194304 4196468 140736695009920 139958449690448 139960112715675 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1773] ppid=1643 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/1648/task/1773/stat : 1773 (java) S 1643 1648 22004 0 -1 1077944384 434 13200 0 0 1 0 5 3 20 0 15 0 106976551 11246788608 13672 33554432000 4194304 4196468 140736695009920 139959537167216 139960112708226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1774] ppid=1643 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/1648/task/1774/stat : 1774 (java) S 1643 1648 22004 0 -1 1077944384 189 13200 0 0 1 0 5 3 20 0 15 0 106976551 11246788608 13672 33554432000 4194304 4196468 140736695009920 139959536114416 139960112708226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1775] ppid=1643 vsize=10983192 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/1648/task/1775/stat : 1775 (java) S 1643 1648 22004 0 -1 1077944384 613 13200 0 0 4 0 5 3 20 0 15 0 106976551 11246788608 13672 33554432000 4194304 4196468 140736695009920 139959535061616 139960112708226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1780] ppid=1643 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1648/task/1780/stat : 1780 (java) S 1643 1648 22004 0 -1 1077944384 3 13200 0 0 0 0 5 3 20 0 15 0 106976551 11246788608 13672 33554432000 4194304 4196468 140736695009920 139958018894560 139960112707285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1782] ppid=1643 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1648/task/1782/stat : 1782 (java) S 1643 1648 22004 0 -1 1077944384 1 13200 0 0 0 0 5 3 20 0 15 0 106976551 11246788608 13672 33554432000 4194304 4196468 140736695009920 139959534009008 139960112708226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
Current children cumulated CPU time: 0.36 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 52640 KiB
[startup+0.700711 s]
/proc/loadavg: 1.33 1.42 1.41 3/217 1783
/proc/meminfo: memFree=28132484/32770624 swapFree=67108860/67108860
[pid=1648] ppid=1643 vsize=10983192 memory=89268 CPUtime=0.97 cores=1,3,5,7
/proc/1648/stat : 1648 (java) S 1643 1648 22004 0 -1 1077944320 16345 13200 1 0 84 5 5 3 20 0 15 0 106976534 11246788608 22317 33554432000 4194304 4196468 140736695009920 140736694992464 139960112697079 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
/proc/1648/statm: 2745798 22317 3247 1 0 2708109 0
[pid=1648/tid=1756] ppid=1643 vsize=10983192 memory=281316466113648 CPUtime=0.65 cores=1,3,5,7
/proc/1648/task/1756/stat : 1756 (java) R 1643 1648 22004 0 -1 4202560 11772 13200 0 0 54 3 5 3 20 0 15 0 106976545 11246788608 22317 33554432000 4194304 4196468 140736695009920 139960084524960 139960096777566 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1758] ppid=1643 vsize=10983192 memory=281316466113828 CPUtime=0.08 cores=1,3,5,7
/proc/1648/task/1758/stat : 1758 (java) S 1643 1648 22004 0 -1 1077944384 1 13200 0 0 0 0 5 3 20 0 15 0 106976546 11246788608 22317 33554432000 4194304 4196468 140736695009920 139960116939920 139960112707285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1759] ppid=1643 vsize=10983192 memory=281316466114160 CPUtime=0.08 cores=1,3,5,7
/proc/1648/task/1759/stat : 1759 (java) S 1643 1648 22004 0 -1 1077944384 1 13200 0 0 0 0 5 3 20 0 15 0 106976546 11246788608 22317 33554432000 4194304 4196468 140736695009920 139959971658768 139960112707285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1761] ppid=1643 vsize=10983192 memory=57 CPUtime=0.08 cores=1,3,5,7
/proc/1648/task/1761/stat : 1761 (java) S 1643 1648 22004 0 -1 1077944384 1 13200 0 0 0 0 5 3 20 0 15 0 106976546 11246788608 22317 33554432000 4194304 4196468 140736695009920 139959970605968 139960112707285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1763] ppid=1643 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1648/task/1763/stat : 1763 (java) S 1643 1648 22004 0 -1 1077944384 2 13200 0 0 0 0 5 3 20 0 15 0 106976546 11246788608 22317 33554432000 4194304 4196468 140736695009920 139959969553168 139960112707285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1766] ppid=1643 vsize=10983192 memory=6935649255760946240 CPUtime=0.08 cores=1,3,5,7
/proc/1648/task/1766/stat : 1766 (java) S 1643 1648 22004 0 -1 1077944384 5 13200 0 0 0 0 5 3 20 0 15 0 106976548 11246788608 22317 33554432000 4194304 4196468 140736695009920 139959538219376 139960112708226 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1768] ppid=1643 vsize=10983192 memory=7380106142448641904 CPUtime=0.08 cores=1,3,5,7
/proc/1648/task/1768/stat : 1768 (java) S 1643 1648 22004 0 -1 1077944384 13 13200 0 0 0 0 5 3 20 0 15 0 106976548 11246788608 22317 33554432000 4194304 4196468 140736695009920 139958958416928 139960112707285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1770] ppid=1643 vsize=10983192 memory=4639622875086606416 CPUtime=0.08 cores=1,3,5,7
/proc/1648/task/1770/stat : 1770 (java) S 1643 1648 22004 0 -1 1077944384 1 13200 0 0 0 0 5 3 20 0 15 0 106976548 11246788608 22317 33554432000 4194304 4196468 140736695009920 139958757090160 139960112707285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1772] ppid=1643 vsize=10983192 memory=-8412654355427596915 CPUtime=0.08 cores=1,3,5,7
/proc/1648/task/1772/stat : 1772 (java) S 1643 1648 22004 0 -1 1077944384 3 13200 0 0 0 0 5 3 20 0 15 0 106976551 11246788608 22317 33554432000 4194304 4196468 140736695009920 139958449690448 139960112715675 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1773] ppid=1643 vsize=10983192 memory=8326441112149131695 CPUtime=0.17 cores=1,3,5,7
/proc/1648/task/1773/stat : 1773 (java) S 1643 1648 22004 0 -1 1077944384 1093 13200 0 0 9 0 5 3 20 0 15 0 106976551 11246788608 22317 33554432000 4194304 4196468 140736695009920 139959537167216 139960112708226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1774] ppid=1643 vsize=10983192 memory=-7739291840220455296 CPUtime=0.14 cores=1,3,5,7
/proc/1648/task/1774/stat : 1774 (java) S 1643 1648 22004 0 -1 1077944384 594 13200 0 0 6 0 5 3 20 0 15 0 106976551 11246788608 22317 33554432000 4194304 4196468 140736695009920 139959536114416 139960112708226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1775] ppid=1643 vsize=10983192 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/1648/task/1775/stat : 1775 (java) S 1643 1648 22004 0 -1 1077944384 665 13200 0 0 13 0 5 3 20 0 15 0 106976551 11246788608 22317 33554432000 4194304 4196468 140736695009920 139959535061616 139960112708226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1780] ppid=1643 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1648/task/1780/stat : 1780 (java) S 1643 1648 22004 0 -1 1077944384 3 13200 0 0 0 0 5 3 20 0 15 0 106976551 11246788608 22317 33554432000 4194304 4196468 140736695009920 139958018894560 139960112707285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1782] ppid=1643 vsize=10983192 memory=4028 CPUtime=0.08 cores=1,3,5,7
/proc/1648/task/1782/stat : 1782 (java) S 1643 1648 22004 0 -1 1077944384 1 13200 0 0 0 0 5 3 20 0 15 0 106976551 11246788608 22317 33554432000 4194304 4196468 140736695009920 139959534009008 139960112708226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
Current children cumulated CPU time: 0.97 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 89268 KiB
[startup+1.50133 s]
/proc/loadavg: 1.33 1.42 1.41 6/217 1783
/proc/meminfo: memFree=28046552/32770624 swapFree=67108860/67108860
[pid=1648] ppid=1643 vsize=10991948 memory=176232 CPUtime=3.12 cores=1,3,5,7
/proc/1648/stat : 1648 (java) S 1643 1648 22004 0 -1 1077944320 24663 13200 1 0 296 8 5 3 20 0 15 0 106976534 11255754752 44058 33554432000 4194304 4196468 140736695009920 140736694992464 139960112697079 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
/proc/1648/statm: 2747987 44058 3449 1 0 2709645 0
[pid=1648/tid=1756] ppid=1643 vsize=10991948 memory=281316465984560 CPUtime=1.44 cores=1,3,5,7
/proc/1648/task/1756/stat : 1756 (java) R 1643 1648 22004 0 -1 4202560 14663 13200 0 0 131 5 5 3 20 0 15 0 106976545 11255754752 44058 33554432000 4194304 4196468 140736695009920 139960084524224 139960112709014 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1758] ppid=1643 vsize=10991948 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1648/task/1758/stat : 1758 (java) S 1643 1648 22004 0 -1 1077944384 1 13200 0 0 0 0 5 3 20 0 15 0 106976546 11255754752 44058 33554432000 4194304 4196468 140736695009920 139960116939920 139960112707285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1759] ppid=1643 vsize=10991948 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1648/task/1759/stat : 1759 (java) S 1643 1648 22004 0 -1 1077944384 1 13200 0 0 0 0 5 3 20 0 15 0 106976546 11255754752 44058 33554432000 4194304 4196468 140736695009920 139959971658768 139960112707285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1761] ppid=1643 vsize=10991948 memory=281316466170048 CPUtime=0.08 cores=1,3,5,7
/proc/1648/task/1761/stat : 1761 (java) S 1643 1648 22004 0 -1 1077944384 1 13200 0 0 0 0 5 3 20 0 15 0 106976546 11255754752 44058 33554432000 4194304 4196468 140736695009920 139959970605968 139960112707285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1763] ppid=1643 vsize=10991948 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1648/task/1763/stat : 1763 (java) S 1643 1648 22004 0 -1 1077944384 2 13200 0 0 0 0 5 3 20 0 15 0 106976546 11255754752 44058 33554432000 4194304 4196468 140736695009920 139959969553168 139960112707285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1766] ppid=1643 vsize=10991948 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1648/task/1766/stat : 1766 (java) S 1643 1648 22004 0 -1 1077944384 13 13200 0 0 0 0 5 3 20 0 15 0 106976548 11255754752 44058 33554432000 4194304 4196468 140736695009920 139959538219376 139960112708226 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1768] ppid=1643 vsize=10991948 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1648/task/1768/stat : 1768 (java) S 1643 1648 22004 0 -1 1077944384 13 13200 0 0 0 0 5 3 20 0 15 0 106976548 11255754752 44058 33554432000 4194304 4196468 140736695009920 139958958416928 139960112707285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1770] ppid=1643 vsize=10991948 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1648/task/1770/stat : 1770 (java) S 1643 1648 22004 0 -1 1077944384 1 13200 0 0 0 0 5 3 20 0 15 0 106976548 11255754752 44058 33554432000 4194304 4196468 140736695009920 139958757090160 139960112707285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1772] ppid=1643 vsize=10991948 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1648/task/1772/stat : 1772 (java) S 1643 1648 22004 0 -1 1077944384 3 13200 0 0 0 0 5 3 20 0 15 0 106976551 11255754752 44058 33554432000 4194304 4196468 140736695009920 139958449690448 139960112715675 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1773] ppid=1643 vsize=10991948 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/1648/task/1773/stat : 1773 (java) R 1643 1648 22004 0 -1 4202560 3611 13200 0 0 58 1 5 3 20 0 15 0 106976551 11255754752 44058 33554432000 4194304 4196468 140736695009920 139959537153096 139960097619000 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1774] ppid=1643 vsize=10991948 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/1648/task/1774/stat : 1774 (java) R 1643 1648 22004 0 -1 4202560 2313 13200 0 0 57 0 5 3 20 0 15 0 106976551 11255754752 44058 33554432000 4194304 4196468 140736695009920 139959536098480 139960091940894 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1775] ppid=1643 vsize=10991948 memory=0 CPUtime=0.57 cores=1,3,5,7
/proc/1648/task/1775/stat : 1775 (java) S 1643 1648 22004 0 -1 1077944384 1845 13200 0 0 49 0 5 3 20 0 15 0 106976551 11255754752 44058 33554432000 4194304 4196468 140736695009920 139959535061616 139960112708226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1780] ppid=1643 vsize=10991948 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1648/task/1780/stat : 1780 (java) S 1643 1648 22004 0 -1 1077944384 3 13200 0 0 0 0 5 3 20 0 15 0 106976551 11255754752 44058 33554432000 4194304 4196468 140736695009920 139958018894560 139960112707285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1782] ppid=1643 vsize=10991948 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1648/task/1782/stat : 1782 (java) S 1643 1648 22004 0 -1 1077944384 1 13200 0 0 0 0 5 3 20 0 15 0 106976551 11255754752 44058 33554432000 4194304 4196468 140736695009920 139959534009008 139960112708226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
Current children cumulated CPU time: 3.12 s
Current children cumulated vsize: 10991948 KiB
Current children cumulated memory: 176232 KiB
[startup+3.11118 s]
/proc/loadavg: 1.33 1.42 1.41 6/217 1783
/proc/meminfo: memFree=27726164/32770624 swapFree=67108860/67108860
[pid=1648] ppid=1643 vsize=11006304 memory=292416 CPUtime=6.76 cores=1,3,5,7
/proc/1648/stat : 1648 (java) S 1643 1648 22004 0 -1 1077944320 42343 13200 1 0 654 14 5 3 20 0 15 0 106976534 11270455296 73104 33554432000 4194304 4196468 140736695009920 140736694992464 139960112697079 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
/proc/1648/statm: 2751576 73104 3495 1 0 2713229 0
[pid=1648/tid=1756] ppid=1643 vsize=11006304 memory=274688 CPUtime=2.98 cores=1,3,5,7
/proc/1648/task/1756/stat : 1756 (java) R 1643 1648 22004 0 -1 4202560 25529 13200 0 0 283 7 5 3 20 0 15 0 106976545 11270455296 73104 33554432000 4194304 4196468 140736695009920 139960084528352 139960095872797 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
################
# More data... #
################
/proc/1648/task/1756/stat : 1756 (java) R 1643 1648 22004 0 -1 4202560 60585 13200 0 0 10093 30 5 3 20 0 15 0 106976545 11280941056 492802 33554432000 4194304 4196468 140736695009920 139960084531048 139959671150257 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1758] ppid=1643 vsize=11016544 memory=1971208 CPUtime=0.8 cores=1,3,5,7
/proc/1648/task/1758/stat : 1758 (java) S 1643 1648 22004 0 -1 1077944384 1300 13200 0 0 55 17 5 3 20 0 15 0 106976546 11280941056 492802 33554432000 4194304 4196468 140736695009920 139960116939920 139960112707285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1759] ppid=1643 vsize=11016544 memory=1971208 CPUtime=0.79 cores=1,3,5,7
/proc/1648/task/1759/stat : 1759 (java) S 1643 1648 22004 0 -1 1077944384 2630 13200 0 0 56 15 5 3 20 0 15 0 106976546 11280941056 492802 33554432000 4194304 4196468 140736695009920 139959971658768 139960112707285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1761] ppid=1643 vsize=11016544 memory=281316466331104 CPUtime=0.79 cores=1,3,5,7
/proc/1648/task/1761/stat : 1761 (java) S 1643 1648 22004 0 -1 1077944384 2433 13200 0 0 56 15 5 3 20 0 15 0 106976546 11280941056 492802 33554432000 4194304 4196468 140736695009920 139959970605968 139960112707285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1763] ppid=1643 vsize=11016544 memory=281316465779424 CPUtime=0.81 cores=1,3,5,7
/proc/1648/task/1763/stat : 1763 (java) S 1643 1648 22004 0 -1 1077944384 1071 13200 0 0 58 15 5 3 20 0 15 0 106976546 11280941056 492802 33554432000 4194304 4196468 140736695009920 139959969553168 139960112707285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1766] ppid=1643 vsize=11016544 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/1648/task/1766/stat : 1766 (java) S 1643 1648 22004 0 -1 1077944384 3346 13200 0 0 11 1 5 3 20 0 15 0 106976548 11280941056 492802 33554432000 4194304 4196468 140736695009920 139959538219376 139960112708226 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1768] ppid=1643 vsize=11016544 memory=4028 CPUtime=0.08 cores=1,3,5,7
/proc/1648/task/1768/stat : 1768 (java) S 1643 1648 22004 0 -1 1077944384 18 13200 0 0 0 0 5 3 20 0 15 0 106976548 11280941056 492802 33554432000 4194304 4196468 140736695009920 139958958416992 139960112707285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1770] ppid=1643 vsize=11016544 memory=30440 CPUtime=0.08 cores=1,3,5,7
/proc/1648/task/1770/stat : 1770 (java) S 1643 1648 22004 0 -1 1077944384 8 13200 0 0 0 0 5 3 20 0 15 0 106976548 11280941056 492802 33554432000 4194304 4196468 140736695009920 139958757090176 139960112707285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1772] ppid=1643 vsize=11016544 memory=4465 CPUtime=0.08 cores=1,3,5,7
/proc/1648/task/1772/stat : 1772 (java) S 1643 1648 22004 0 -1 1077944384 3 13200 0 0 0 0 5 3 20 0 15 0 106976551 11280941056 492802 33554432000 4194304 4196468 140736695009920 139958449690448 139960112715675 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1773] ppid=1643 vsize=11016544 memory=4420 CPUtime=10.19 cores=1,3,5,7
/proc/1648/task/1773/stat : 1773 (java) S 1643 1648 22004 0 -1 1077944384 25704 13200 0 0 1007 4 5 3 20 0 15 0 106976551 11280941056 492802 33554432000 4194304 4196468 140736695009920 139959537167216 139960112708226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1774] ppid=1643 vsize=11016544 memory=1972312 CPUtime=9.98 cores=1,3,5,7
/proc/1648/task/1774/stat : 1774 (java) S 1643 1648 22004 0 -1 1077944384 23927 13200 0 0 986 4 5 3 20 0 15 0 106976551 11280941056 492802 33554432000 4194304 4196468 140736695009920 139959536114416 139960112708226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1775] ppid=1643 vsize=11016544 memory=281316467108672 CPUtime=3.5 cores=1,3,5,7
/proc/1648/task/1775/stat : 1775 (java) S 1643 1648 22004 0 -1 1077944384 23614 13200 0 0 337 5 5 3 20 0 15 0 106976551 11280941056 492802 33554432000 4194304 4196468 140736695009920 139959535061616 139960112708226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1780] ppid=1643 vsize=11016544 memory=281316466360680 CPUtime=0.08 cores=1,3,5,7
/proc/1648/task/1780/stat : 1780 (java) S 1643 1648 22004 0 -1 1077944384 3 13200 0 0 0 0 5 3 20 0 15 0 106976551 11280941056 492802 33554432000 4194304 4196468 140736695009920 139958018894560 139960112707285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1782] ppid=1643 vsize=11016544 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/1648/task/1782/stat : 1782 (java) S 1643 1648 22004 0 -1 1077944384 2146 13200 0 0 2 2 5 3 20 0 15 0 106976551 11280941056 492802 33554432000 4194304 4196468 140736695009920 139959534009008 139960112708226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
Current children cumulated CPU time: 127.88 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1971208 KiB
[startup+162.301 s]
/proc/loadavg: 1.44 1.55 1.48 3/217 1786
/proc/meminfo: memFree=25070668/32770624 swapFree=67108860/67108860
[pid=1648] ppid=1643 vsize=11016544 memory=1772116 CPUtime=188.6 cores=1,3,5,7
/proc/1648/stat : 1648 (java) S 1643 1648 22004 0 -1 1077944320 163762 13200 1 0 18736 116 5 3 20 0 15 0 106976534 11280941056 443029 33554432000 4194304 4196468 140736695009920 140736694992464 139960112697079 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
/proc/1648/statm: 2754136 443029 3538 1 0 2715789 0
[pid=1648/tid=1756] ppid=1643 vsize=11016544 memory=1200 CPUtime=161.25 cores=1,3,5,7
/proc/1648/task/1756/stat : 1756 (java) R 1643 1648 22004 0 -1 4202560 63330 13200 0 0 16087 30 5 3 20 0 15 0 106976545 11280941056 443029 33554432000 4194304 4196468 140736695009920 139960084531408 139959671059417 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1758] ppid=1643 vsize=11016544 memory=1783404 CPUtime=0.82 cores=1,3,5,7
/proc/1648/task/1758/stat : 1758 (java) S 1643 1648 22004 0 -1 1077944384 2435 13200 0 0 57 17 5 3 20 0 15 0 106976546 11280941056 443029 33554432000 4194304 4196468 140736695009920 139960116939920 139960112707285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1759] ppid=1643 vsize=11016544 memory=1783404 CPUtime=0.81 cores=1,3,5,7
/proc/1648/task/1759/stat : 1759 (java) S 1643 1648 22004 0 -1 1077944384 3292 13200 0 0 58 15 5 3 20 0 15 0 106976546 11280941056 443029 33554432000 4194304 4196468 140736695009920 139959971658768 139960112707285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1761] ppid=1643 vsize=11016544 memory=1796228 CPUtime=0.81 cores=1,3,5,7
/proc/1648/task/1761/stat : 1761 (java) S 1643 1648 22004 0 -1 1077944384 2468 13200 0 0 58 15 5 3 20 0 15 0 106976546 11280941056 443029 33554432000 4194304 4196468 140736695009920 139959970605968 139960112707285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1763] ppid=1643 vsize=11016544 memory=1796228 CPUtime=0.83 cores=1,3,5,7
/proc/1648/task/1763/stat : 1763 (java) S 1643 1648 22004 0 -1 1077944384 1254 13200 0 0 60 15 5 3 20 0 15 0 106976546 11280941056 443029 33554432000 4194304 4196468 140736695009920 139959969553168 139960112707285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1766] ppid=1643 vsize=11016544 memory=1783404 CPUtime=0.22 cores=1,3,5,7
/proc/1648/task/1766/stat : 1766 (java) S 1643 1648 22004 0 -1 1077944384 3653 13200 0 0 13 1 5 3 20 0 15 0 106976548 11280941056 443029 33554432000 4194304 4196468 140736695009920 139959538219376 139960112708226 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1768] ppid=1643 vsize=11016544 memory=1783404 CPUtime=0.08 cores=1,3,5,7
/proc/1648/task/1768/stat : 1768 (java) S 1643 1648 22004 0 -1 1077944384 18 13200 0 0 0 0 5 3 20 0 15 0 106976548 11280941056 443029 33554432000 4194304 4196468 140736695009920 139958958416992 139960112707285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1770] ppid=1643 vsize=11016544 memory=1772116 CPUtime=0.08 cores=1,3,5,7
/proc/1648/task/1770/stat : 1770 (java) S 1643 1648 22004 0 -1 1077944384 8 13200 0 0 0 0 5 3 20 0 15 0 106976548 11280941056 443029 33554432000 4194304 4196468 140736695009920 139958757090176 139960112707285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1772] ppid=1643 vsize=11016544 memory=1959364 CPUtime=0.08 cores=1,3,5,7
/proc/1648/task/1772/stat : 1772 (java) S 1643 1648 22004 0 -1 1077944384 3 13200 0 0 0 0 5 3 20 0 15 0 106976551 11280941056 443029 33554432000 4194304 4196468 140736695009920 139958449690448 139960112715675 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1773] ppid=1643 vsize=11016544 memory=1772116 CPUtime=10.46 cores=1,3,5,7
/proc/1648/task/1773/stat : 1773 (java) S 1643 1648 22004 0 -1 1077944384 29908 13200 0 0 1033 5 5 3 20 0 15 0 106976551 11280941056 443029 33554432000 4194304 4196468 140736695009920 139959537167216 139960112708226 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1774] ppid=1643 vsize=11016544 memory=3848 CPUtime=10.23 cores=1,3,5,7
/proc/1648/task/1774/stat : 1774 (java) S 1643 1648 22004 0 -1 1077944384 26286 13200 0 0 1011 4 5 3 20 0 15 0 106976551 11280941056 443029 33554432000 4194304 4196468 140736695009920 139959536114416 139960112708226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1775] ppid=1643 vsize=11016544 memory=6935054825532540783 CPUtime=3.62 cores=1,3,5,7
/proc/1648/task/1775/stat : 1775 (java) S 1643 1648 22004 0 -1 1077944384 26721 13200 0 0 348 6 5 3 20 0 15 0 106976551 11280941056 443029 33554432000 4194304 4196468 140736695009920 139959535061616 139960112708226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1780] ppid=1643 vsize=11016544 memory=1783404 CPUtime=0.08 cores=1,3,5,7
/proc/1648/task/1780/stat : 1780 (java) S 1643 1648 22004 0 -1 1077944384 3 13200 0 0 0 0 5 3 20 0 15 0 106976551 11280941056 443029 33554432000 4194304 4196468 140736695009920 139958018894560 139960112707285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1782] ppid=1643 vsize=11016544 memory=1783404 CPUtime=0.15 cores=1,3,5,7
/proc/1648/task/1782/stat : 1782 (java) S 1643 1648 22004 0 -1 1077944384 2190 13200 0 0 3 4 5 3 20 0 15 0 106976551 11280941056 443029 33554432000 4194304 4196468 140736695009920 139959534009008 139960112708226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
Current children cumulated CPU time: 188.6 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1772116 KiB
[startup+222.301 s]
/proc/loadavg: 1.32 1.51 1.47 3/217 1787
/proc/meminfo: memFree=25185844/32770624 swapFree=67108860/67108860
[pid=1648] ppid=1643 vsize=11016544 memory=1709048 CPUtime=249.31 cores=1,3,5,7
/proc/1648/stat : 1648 (java) S 1643 1648 22004 0 -1 1077944320 179861 13200 1 0 24803 120 5 3 20 0 15 0 106976534 11280941056 427262 33554432000 4194304 4196468 140736695009920 140736694992464 139960112697079 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
/proc/1648/statm: 2754136 427262 3538 1 0 2715789 0
[pid=1648/tid=1756] ppid=1643 vsize=11016544 memory=1709048 CPUtime=221.12 cores=1,3,5,7
/proc/1648/task/1756/stat : 1756 (java) R 1643 1648 22004 0 -1 4202560 65523 13200 0 0 22073 31 5 3 20 0 15 0 106976545 11280941056 427262 33554432000 4194304 4196468 140736695009920 139960084532368 139959671150210 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1758] ppid=1643 vsize=11016544 memory=1709048 CPUtime=0.89 cores=1,3,5,7
/proc/1648/task/1758/stat : 1758 (java) S 1643 1648 22004 0 -1 1077944384 4213 13200 0 0 63 18 5 3 20 0 15 0 106976546 11280941056 427262 33554432000 4194304 4196468 140736695009920 139960116939920 139960112707285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1759] ppid=1643 vsize=11016544 memory=1709048 CPUtime=0.89 cores=1,3,5,7
/proc/1648/task/1759/stat : 1759 (java) S 1643 1648 22004 0 -1 1077944384 4505 13200 0 0 65 16 5 3 20 0 15 0 106976546 11280941056 427262 33554432000 4194304 4196468 140736695009920 139959971658768 139960112707285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1761] ppid=1643 vsize=11016544 memory=1709048 CPUtime=0.88 cores=1,3,5,7
/proc/1648/task/1761/stat : 1761 (java) S 1643 1648 22004 0 -1 1077944384 2628 13200 0 0 64 16 5 3 20 0 15 0 106976546 11280941056 427262 33554432000 4194304 4196468 140736695009920 139959970605968 139960112707285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1763] ppid=1643 vsize=11016544 memory=0 CPUtime=0.91 cores=1,3,5,7
/proc/1648/task/1763/stat : 1763 (java) S 1643 1648 22004 0 -1 1077944384 1411 13200 0 0 67 16 5 3 20 0 15 0 106976546 11280941056 427262 33554432000 4194304 4196468 140736695009920 139959969553168 139960112707285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1766] ppid=1643 vsize=11016544 memory=1709048 CPUtime=0.28 cores=1,3,5,7
/proc/1648/task/1766/stat : 1766 (java) S 1643 1648 22004 0 -1 1077944384 4012 13200 0 0 18 2 5 3 20 0 15 0 106976548 11280941056 427262 33554432000 4194304 4196468 140736695009920 139959538219376 139960112708226 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1768] ppid=1643 vsize=11016544 memory=1709048 CPUtime=0.08 cores=1,3,5,7
/proc/1648/task/1768/stat : 1768 (java) S 1643 1648 22004 0 -1 1077944384 18 13200 0 0 0 0 5 3 20 0 15 0 106976548 11280941056 427262 33554432000 4194304 4196468 140736695009920 139958958416992 139960112707285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1770] ppid=1643 vsize=11016544 memory=7596845125906687339 CPUtime=0.08 cores=1,3,5,7
/proc/1648/task/1770/stat : 1770 (java) S 1643 1648 22004 0 -1 1077944384 8 13200 0 0 0 0 5 3 20 0 15 0 106976548 11280941056 427262 33554432000 4194304 4196468 140736695009920 139958757090176 139960112707285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1772] ppid=1643 vsize=11016544 memory=1709048 CPUtime=0.08 cores=1,3,5,7
/proc/1648/task/1772/stat : 1772 (java) S 1643 1648 22004 0 -1 1077944384 3 13200 0 0 0 0 5 3 20 0 15 0 106976551 11280941056 427262 33554432000 4194304 4196468 140736695009920 139958449690448 139960112715675 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1773] ppid=1643 vsize=11016544 memory=1709048 CPUtime=10.65 cores=1,3,5,7
/proc/1648/task/1773/stat : 1773 (java) S 1643 1648 22004 0 -1 1077944384 33836 13200 0 0 1052 5 5 3 20 0 15 0 106976551 11280941056 427262 33554432000 4194304 4196468 140736695009920 139959537167216 139960112708226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1774] ppid=1643 vsize=11016544 memory=1709048 CPUtime=10.44 cores=1,3,5,7
/proc/1648/task/1774/stat : 1774 (java) S 1643 1648 22004 0 -1 1077944384 29374 13200 0 0 1032 4 5 3 20 0 15 0 106976551 11280941056 427262 33554432000 4194304 4196468 140736695009920 139959536114416 139960112708226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1775] ppid=1643 vsize=11016544 memory=288230596050944315 CPUtime=3.7 cores=1,3,5,7
/proc/1648/task/1775/stat : 1775 (java) S 1643 1648 22004 0 -1 1077944384 29829 13200 0 0 356 6 5 3 20 0 15 0 106976551 11280941056 427262 33554432000 4194304 4196468 140736695009920 139959535061616 139960112708226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1780] ppid=1643 vsize=11016544 memory=1709048 CPUtime=0.08 cores=1,3,5,7
/proc/1648/task/1780/stat : 1780 (java) S 1643 1648 22004 0 -1 1077944384 3 13200 0 0 0 0 5 3 20 0 15 0 106976551 11280941056 427262 33554432000 4194304 4196468 140736695009920 139958018894560 139960112707285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1782] ppid=1643 vsize=11016544 memory=1709048 CPUtime=0.18 cores=1,3,5,7
/proc/1648/task/1782/stat : 1782 (java) S 1643 1648 22004 0 -1 1077944384 2305 13200 0 0 5 5 5 3 20 0 15 0 106976551 11280941056 427262 33554432000 4194304 4196468 140736695009920 139959534009008 139960112708226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
Current children cumulated CPU time: 249.31 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1709048 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+225.001 s]*
/proc/loadavg: 1.37 1.52 1.47 3/217 1787
/proc/meminfo: memFree=25185820/32770624 swapFree=67108860/67108860
[pid=1648] ppid=1643 vsize=11016544 memory=1709048 CPUtime=252.06 cores=1,3,5,7
/proc/1648/stat : 1648 (java) S 1643 1648 22004 0 -1 1077944320 180068 13200 1 0 25078 120 5 3 20 0 15 0 106976534 11280941056 427262 33554432000 4194304 4196468 140736695009920 140736694992464 139960112697079 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
/proc/1648/statm: 2754136 427262 3538 1 0 2715789 0
[pid=1648/tid=1756] ppid=1643 vsize=11016544 memory=6935054825532540783 CPUtime=223.81 cores=1,3,5,7
/proc/1648/task/1756/stat : 1756 (java) R 1643 1648 22004 0 -1 4202560 65531 13200 0 0 22342 31 5 3 20 0 15 0 106976545 11280941056 427262 33554432000 4194304 4196468 140736695009920 139960084531504 139959656462064 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1758] ppid=1643 vsize=11016544 memory=4126316290023845779 CPUtime=0.9 cores=1,3,5,7
/proc/1648/task/1758/stat : 1758 (java) S 1643 1648 22004 0 -1 1077944384 4213 13200 0 0 64 18 5 3 20 0 15 0 106976546 11280941056 427262 33554432000 4194304 4196468 140736695009920 139960116939920 139960112707285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1759] ppid=1643 vsize=11016544 memory=140658357289633 CPUtime=0.89 cores=1,3,5,7
/proc/1648/task/1759/stat : 1759 (java) S 1643 1648 22004 0 -1 1077944384 4511 13200 0 0 65 16 5 3 20 0 15 0 106976546 11280941056 427262 33554432000 4194304 4196468 140736695009920 139959971658768 139960112707285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1761] ppid=1643 vsize=11016544 memory=7306879720424499058 CPUtime=0.89 cores=1,3,5,7
/proc/1648/task/1761/stat : 1761 (java) S 1643 1648 22004 0 -1 1077944384 2628 13200 0 0 65 16 5 3 20 0 15 0 106976546 11280941056 427262 33554432000 4194304 4196468 140736695009920 139959970605968 139960112707285 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1763] ppid=1643 vsize=11016544 memory=8514701219781441950 CPUtime=0.92 cores=1,3,5,7
/proc/1648/task/1763/stat : 1763 (java) S 1643 1648 22004 0 -1 1077944384 1413 13200 0 0 68 16 5 3 20 0 15 0 106976546 11280941056 427262 33554432000 4194304 4196468 140736695009920 139959969553168 139960112707285 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1766] ppid=1643 vsize=11016544 memory=-8634980985311628903 CPUtime=0.29 cores=1,3,5,7
/proc/1648/task/1766/stat : 1766 (java) S 1643 1648 22004 0 -1 1077944384 4017 13200 0 0 19 2 5 3 20 0 15 0 106976548 11280941056 427262 33554432000 4194304 4196468 140736695009920 139959538219376 139960112708226 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1768] ppid=1643 vsize=11016544 memory=7100839878645619564 CPUtime=0.08 cores=1,3,5,7
/proc/1648/task/1768/stat : 1768 (java) S 1643 1648 22004 0 -1 1077944384 18 13200 0 0 0 0 5 3 20 0 15 0 106976548 11280941056 427262 33554432000 4194304 4196468 140736695009920 139958958416992 139960112707285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1770] ppid=1643 vsize=11016544 memory=7897517683652307531 CPUtime=0.08 cores=1,3,5,7
/proc/1648/task/1770/stat : 1770 (java) S 1643 1648 22004 0 -1 1077944384 8 13200 0 0 0 0 5 3 20 0 15 0 106976548 11280941056 427262 33554432000 4194304 4196468 140736695009920 139958757090176 139960112707285 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1772] ppid=1643 vsize=11016544 memory=8514726395715349656 CPUtime=0.08 cores=1,3,5,7
/proc/1648/task/1772/stat : 1772 (java) S 1643 1648 22004 0 -1 1077944384 3 13200 0 0 0 0 5 3 20 0 15 0 106976551 11280941056 427262 33554432000 4194304 4196468 140736695009920 139958449690448 139960112715675 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1773] ppid=1643 vsize=11016544 memory=3047711553320166262 CPUtime=10.66 cores=1,3,5,7
/proc/1648/task/1773/stat : 1773 (java) S 1643 1648 22004 0 -1 1077944384 33890 13200 0 0 1053 5 5 3 20 0 15 0 106976551 11280941056 427262 33554432000 4194304 4196468 140736695009920 139959537167216 139960112708226 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1774] ppid=1643 vsize=11016544 memory=8514701219730523551 CPUtime=10.45 cores=1,3,5,7
/proc/1648/task/1774/stat : 1774 (java) S 1643 1648 22004 0 -1 1077944384 29422 13200 0 0 1033 4 5 3 20 0 15 0 106976551 11280941056 427262 33554432000 4194304 4196468 140736695009920 139959536114416 139960112708226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1775] ppid=1643 vsize=11016544 memory=7737298927041930346 CPUtime=3.71 cores=1,3,5,7
/proc/1648/task/1775/stat : 1775 (java) S 1643 1648 22004 0 -1 1077944384 29913 13200 0 0 357 6 5 3 20 0 15 0 106976551 11280941056 427262 33554432000 4194304 4196468 140736695009920 139959535061616 139960112708226 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1780] ppid=1643 vsize=11016544 memory=7953471752324538707 CPUtime=0.08 cores=1,3,5,7
/proc/1648/task/1780/stat : 1780 (java) S 1643 1648 22004 0 -1 1077944384 3 13200 0 0 0 0 5 3 20 0 15 0 106976551 11280941056 427262 33554432000 4194304 4196468 140736695009920 139958018894560 139960112707285 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
[pid=1648/tid=1782] ppid=1643 vsize=11016544 memory=4639950512826379884 CPUtime=0.18 cores=1,3,5,7
/proc/1648/task/1782/stat : 1782 (java) S 1643 1648 22004 0 -1 1077944384 2305 13200 0 0 5 5 5 3 20 0 15 0 106976551 11280941056 427262 33554432000 4194304 4196468 140736695009920 139959534009008 139960112708226 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9179136 140736695016049 140736695018849 140736695018849 140736695021519 0
Current children cumulated CPU time: 252.06 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1709048 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+225.051 s]
# the end of solver process 1648 was just reported to runsolver
# cumulated CPU time of all completed processes: user=250.859 s, system=1.25835 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 225.051
CPU time (s): 252.117
CPU user time (s): 250.859
CPU system time (s): 1.25835
CPU usage (%): 112.027
Max. virtual memory (cumulated for all children) (KiB): 11016544
Max. memory (cumulated for all children) (KiB): 1972312
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.859
system time used= 1.25835
maximum resident set size= 1974360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 193957
page faults= 1
swaps= 0
block input operations= 40
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18895
involuntary context switches= 341
# summary of solver processes directly reported to runsolver:
# pid: 1648
# total CPU time (s): 252.117
# total CPU user time (s): 250.859
# total CPU system time (s): 1.25835
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.59923 second user time and 1.97238 second system time
The end