0.98/0.75 c Concrete v3.9.2.1532736233296 running
20.89/7.61 c 21:54:53.100 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26570. 'extension(6, x[1][35]=[0‥6]) :: init: true :: relation: MDD 2079332573, 14 edges, 5 vertices, 15 tuples
20.89/7.61 c 21:54:53.105 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26571. 'extension(6, x[1][35]=[0‥6]) :: init: true :: relation: MDD 848187074, 7 edges, 3 vertices, 6 tuples
20.89/7.61 c 21:54:53.111 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26603. 'extension(x[0][19]=[0‥6], 6) :: init: true :: relation: MDD 685438214, 14 edges, 5 vertices, 15 tuples
20.89/7.62 c 21:54:53.112 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26640. 'extension(x[0][32]=[0‥6], 6) :: init: true :: relation: MDD 2061865206, 14 edges, 5 vertices, 15 tuples
20.89/7.62 c 21:54:53.112 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26641. 'extension(6, x[2][32]=[0‥6]) :: init: true :: relation: MDD 2061865206, 14 edges, 5 vertices, 15 tuples
20.89/7.62 c 21:54:53.114 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26677. 'extension(x[0][34]=[0‥6], 6) :: init: true :: relation: MDD 710589756, 14 edges, 5 vertices, 15 tuples
20.89/7.62 c 21:54:53.115 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26678. 'extension(6, x[2][34]=[0‥6]) :: init: true :: relation: MDD 710589756, 14 edges, 5 vertices, 15 tuples
20.89/7.62 c 21:54:53.117 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26714. 'extension(x[0][43]=[0‥6], 6) :: init: true :: relation: MDD 395752148, 14 edges, 5 vertices, 15 tuples
20.89/7.62 c 21:54:53.118 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26715. 'extension(6, x[2][43]=[0‥6]) :: init: true :: relation: MDD 395752148, 14 edges, 5 vertices, 15 tuples
20.89/7.62 c 21:54:53.120 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26750. 'extension(x[1][1]=[0‥6], 6) :: init: true :: relation: MDD 1735608827, 14 edges, 5 vertices, 15 tuples
20.89/7.63 c 21:54:53.121 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26789. 'extension(x[1][11]=[0‥6], 6) :: init: true :: relation: MDD 23568923, 14 edges, 5 vertices, 15 tuples
20.89/7.63 c 21:54:53.122 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26828. 'extension(x[1][12]=[0‥6], 6) :: init: true :: relation: MDD 71364493, 14 edges, 5 vertices, 15 tuples
20.89/7.63 c 21:54:53.123 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26829. 'extension(6, x[3][12]=[0‥6]) :: init: true :: relation: MDD 71364493, 14 edges, 5 vertices, 15 tuples
20.89/7.63 c 21:54:53.125 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26870. 'extension(6, 6) :: init: true :: relation: MDD 685438214, 14 edges, 5 vertices, 15 tuples
20.89/7.63 c 21:54:53.126 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26909. 'extension(6, 6) :: init: true :: relation: MDD 1735608827, 14 edges, 5 vertices, 15 tuples
20.89/7.64 c 21:54:53.127 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26946. 'extension(x[2][8]=[0‥6], 6) :: init: true :: relation: MDD 283747838, 14 edges, 5 vertices, 15 tuples
20.89/7.64 c 21:54:53.129 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26986. 'extension(6, x[4][11]=[0‥6]) :: init: true :: relation: MDD 23568923, 14 edges, 5 vertices, 15 tuples
20.89/7.64 c 21:54:53.129 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26989. 'extension(6, 6) :: init: true :: relation: MDD 23568923, 14 edges, 5 vertices, 15 tuples
20.89/7.64 c 21:54:53.131 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27026. 'extension(x[2][14]=[0‥6], 6) :: init: true :: relation: MDD 1172390062, 14 edges, 5 vertices, 15 tuples
20.89/7.64 c 21:54:53.131 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27027. 'extension(6, x[4][14]=[0‥6]) :: init: true :: relation: MDD 1172390062, 14 edges, 5 vertices, 15 tuples
20.89/7.64 c 21:54:53.133 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27069. 'extension(6, 6) :: init: true :: relation: MDD 685438214, 14 edges, 5 vertices, 15 tuples
20.89/7.64 c 21:54:53.134 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27106. 'extension(x[2][42]=[0‥6], 6) :: init: true :: relation: MDD 592858578, 14 edges, 5 vertices, 15 tuples
20.89/7.65 c 21:54:53.135 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27107. 'extension(6, x[4][42]=[0‥6]) :: init: true :: relation: MDD 592858578, 14 edges, 5 vertices, 15 tuples
20.89/7.65 c 21:54:53.137 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27146. 'extension(6, x[5][1]=[0‥6]) :: init: true :: relation: MDD 1735608827, 14 edges, 5 vertices, 15 tuples
20.89/7.65 c 21:54:53.138 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27149. 'extension(6, 6) :: init: true :: relation: MDD 1735608827, 14 edges, 5 vertices, 15 tuples
20.89/7.65 c 21:54:53.139 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27187. 'extension(6, x[5][8]=[0‥6]) :: init: true :: relation: MDD 283747838, 14 edges, 5 vertices, 15 tuples
20.89/7.65 c 21:54:53.140 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27190. 'extension(6, 6) :: init: true :: relation: MDD 283747838, 14 edges, 5 vertices, 15 tuples
20.89/7.65 c 21:54:53.141 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27228. 'extension(6, x[5][19]=[0‥6]) :: init: true :: relation: MDD 685438214, 14 edges, 5 vertices, 15 tuples
20.89/7.65 c 21:54:53.142 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27231. 'extension(6, 6) :: init: true :: relation: MDD 685438214, 14 edges, 5 vertices, 15 tuples
20.89/7.65 c 21:54:53.144 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27269. 'extension(6, wk[0][0]=[0‥1]) :: init: true :: relation: MDD 149526537, 7 edges, 3 vertices, 6 tuples
20.89/7.65 c 21:54:53.144 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27270. 'extension(x[4][0]=[0‥6], 6) :: init: true :: relation: MDD 1991010480, 14 edges, 5 vertices, 15 tuples
20.89/7.65 c 21:54:53.145 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27271. 'extension(6, x[6][0]=[0‥6]) :: init: true :: relation: MDD 1991010480, 14 edges, 5 vertices, 15 tuples
20.89/7.65 c 21:54:53.147 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27312. 'extension(6, wk[3][0]=[0‥1]) :: init: true :: relation: MDD 1144653485, 7 edges, 3 vertices, 6 tuples
20.89/7.65 c 21:54:53.147 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27313. 'extension(x[4][3]=[0‥6], 6) :: init: true :: relation: MDD 1907982059, 14 edges, 5 vertices, 15 tuples
20.89/7.65 c 21:54:53.148 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27355. 'extension(6, wk[7][0]=[0‥1]) :: init: true :: relation: MDD 1157856790, 7 edges, 3 vertices, 6 tuples
20.89/7.65 c 21:54:53.148 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27356. 'extension(x[4][7]=[0‥6], 6) :: init: true :: relation: MDD 1522549999, 14 edges, 5 vertices, 15 tuples
20.89/7.65 c 21:54:53.149 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27398. 'extension(6, wk[20][0]=[0‥1]) :: init: true :: relation: MDD 105019819, 7 edges, 3 vertices, 6 tuples
20.89/7.65 c 21:54:53.150 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27399. 'extension(x[4][20]=[0‥6], 6) :: init: true :: relation: MDD 776919575, 14 edges, 5 vertices, 15 tuples
20.89/7.65 c 21:54:53.151 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27441. 'extension(6, wk[30][0]=[0‥1]) :: init: true :: relation: MDD 88094983, 7 edges, 3 vertices, 6 tuples
20.89/7.66 c 21:54:53.151 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27442. 'extension(x[4][30]=[0‥6], 6) :: init: true :: relation: MDD 1545816352, 14 edges, 5 vertices, 15 tuples
20.89/7.66 c 21:54:53.152 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27443. 'extension(6, x[6][30]=[0‥6]) :: init: true :: relation: MDD 1545816352, 14 edges, 5 vertices, 15 tuples
20.89/7.66 c 21:54:53.154 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27485. 'extension(6, wk[3][0]=[0‥1]) :: init: true :: relation: MDD 1965779427, 7 edges, 3 vertices, 6 tuples
20.89/7.66 c 21:54:53.154 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27489. 'extension(6, 6) :: init: true :: relation: MDD 1907982059, 14 edges, 5 vertices, 15 tuples
20.89/7.66 c 21:54:53.155 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27528. 'extension(6, wk[7][0]=[0‥1]) :: init: true :: relation: MDD 1646410010, 7 edges, 3 vertices, 6 tuples
20.89/7.66 c 21:54:53.155 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27532. 'extension(6, 6) :: init: true :: relation: MDD 1522549999, 14 edges, 5 vertices, 15 tuples
20.89/7.66 c 21:54:53.156 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27571. 'extension(6, wk[16][0]=[0‥1]) :: init: true :: relation: MDD 1803976423, 7 edges, 3 vertices, 6 tuples
20.89/7.66 c 21:54:53.157 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27572. 'extension(x[5][16]=[0‥6], 6) :: init: true :: relation: MDD 974168055, 14 edges, 5 vertices, 15 tuples
20.89/7.66 c 21:54:53.157 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27573. 'extension(6, x[7][16]=[0‥6]) :: init: true :: relation: MDD 974168055, 14 edges, 5 vertices, 15 tuples
20.89/7.66 c 21:54:53.159 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27614. 'extension(6, wk[20][0]=[0‥1]) :: init: true :: relation: MDD 1957175487, 7 edges, 3 vertices, 6 tuples
20.89/7.66 c 21:54:53.159 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27618. 'extension(6, 6) :: init: true :: relation: MDD 776919575, 14 edges, 5 vertices, 15 tuples
20.89/7.66 c 21:54:53.161 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27657. 'extension(6, wk[23][0]=[0‥1]) :: init: true :: relation: MDD 1789791855, 7 edges, 3 vertices, 6 tuples
20.89/7.67 c 21:54:53.161 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27658. 'extension(x[5][23]=[0‥6], 6) :: init: true :: relation: MDD 1313359405, 14 edges, 5 vertices, 15 tuples
20.89/7.67 c 21:54:53.161 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27659. 'extension(6, x[7][23]=[0‥6]) :: init: true :: relation: MDD 1313359405, 14 edges, 5 vertices, 15 tuples
20.89/7.67 c 21:54:53.163 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27700. 'extension(6, wk[32][0]=[0‥1]) :: init: true :: relation: MDD 1375111241, 7 edges, 3 vertices, 6 tuples
20.89/7.67 c 21:54:53.163 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27701. 'extension(x[5][32]=[0‥6], 6) :: init: true :: relation: MDD 2061865206, 14 edges, 5 vertices, 15 tuples
20.89/7.67 c 21:54:53.164 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27745. 'extension(6, wk[36][0]=[0‥1]) :: init: true :: relation: MDD 2096690266, 7 edges, 3 vertices, 6 tuples
20.89/7.67 c 21:54:53.165 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27746. 'extension(x[5][36]=[0‥6], 6) :: init: true :: relation: MDD 659545766, 14 edges, 5 vertices, 15 tuples
20.89/7.67 c 21:54:53.165 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27747. 'extension(6, x[7][36]=[0‥6]) :: init: true :: relation: MDD 659545766, 14 edges, 5 vertices, 15 tuples
20.89/7.67 c 21:54:53.167 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27790. 'extension(x[6][2]=[0‥6], 6) :: init: true :: relation: MDD 1502710927, 14 edges, 5 vertices, 15 tuples
20.89/7.67 c 21:54:53.168 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27791. 'extension(6, x[8][2]=[0‥6]) :: init: true :: relation: MDD 1502710927, 14 edges, 5 vertices, 15 tuples
20.89/7.67 c 21:54:53.169 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27835. 'extension(6, 6) :: init: true :: relation: MDD 1907982059, 14 edges, 5 vertices, 15 tuples
20.89/7.67 c 21:54:53.170 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27877. 'extension(6, 6) :: init: true :: relation: MDD 1522549999, 14 edges, 5 vertices, 15 tuples
20.89/7.68 c 21:54:53.170 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27916. 'extension(x[6][18]=[0‥6], 6) :: init: true :: relation: MDD 355900787, 14 edges, 5 vertices, 15 tuples
20.89/7.68 c 21:54:53.171 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27961. 'extension(6, 6) :: init: true :: relation: MDD 776919575, 14 edges, 5 vertices, 15 tuples
20.89/7.68 c 21:54:53.172 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28000. 'extension(x[6][25]=[0‥6], 6) :: init: true :: relation: MDD 934288610, 14 edges, 5 vertices, 15 tuples
20.89/7.68 c 21:54:53.172 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28001. 'extension(6, x[8][25]=[0‥6]) :: init: true :: relation: MDD 934288610, 14 edges, 5 vertices, 15 tuples
20.89/7.68 c 21:54:53.174 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28042. 'extension(x[6][26]=[0‥6], 6) :: init: true :: relation: MDD 648346093, 14 edges, 5 vertices, 15 tuples
20.89/7.68 c 21:54:53.175 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28084. 'extension(6, x[8][32]=[0‥6]) :: init: true :: relation: MDD 2061865206, 14 edges, 5 vertices, 15 tuples
20.89/7.68 c 21:54:53.175 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28087. 'extension(6, 6) :: init: true :: relation: MDD 2061865206, 14 edges, 5 vertices, 15 tuples
20.89/7.68 c 21:54:53.177 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28128. 'extension(6, x[9][3]=[0‥6]) :: init: true :: relation: MDD 1907982059, 14 edges, 5 vertices, 15 tuples
20.89/7.68 c 21:54:53.178 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28131. 'extension(6, 6) :: init: true :: relation: MDD 1907982059, 14 edges, 5 vertices, 15 tuples
20.89/7.68 c 21:54:53.179 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28170. 'extension(x[7][5]=[0‥6], 6) :: init: true :: relation: MDD 1243470467, 14 edges, 5 vertices, 15 tuples
20.89/7.68 c 21:54:53.180 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28212. 'extension(6, x[9][7]=[0‥6]) :: init: true :: relation: MDD 1522549999, 14 edges, 5 vertices, 15 tuples
20.89/7.69 c 21:54:53.181 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28215. 'extension(6, 6) :: init: true :: relation: MDD 1522549999, 14 edges, 5 vertices, 15 tuples
20.89/7.69 c 21:54:53.183 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28254. 'extension(x[7][9]=[0‥6], 6) :: init: true :: relation: MDD 1010040056, 14 edges, 5 vertices, 15 tuples
20.89/7.69 c 21:54:53.184 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28255. 'extension(6, x[9][9]=[0‥6]) :: init: true :: relation: MDD 1010040056, 14 edges, 5 vertices, 15 tuples
20.89/7.69 c 21:54:53.185 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28299. 'extension(6, 6) :: init: true :: relation: MDD 355900787, 14 edges, 5 vertices, 15 tuples
20.89/7.69 c 21:54:53.186 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28338. 'extension(6, x[9][20]=[0‥6]) :: init: true :: relation: MDD 776919575, 14 edges, 5 vertices, 15 tuples
20.89/7.69 c 21:54:53.186 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28341. 'extension(6, 6) :: init: true :: relation: MDD 776919575, 14 edges, 5 vertices, 15 tuples
20.89/7.69 c 21:54:53.188 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28383. 'extension(6, 6) :: init: true :: relation: MDD 648346093, 14 edges, 5 vertices, 15 tuples
20.89/7.69 c 21:54:53.189 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28425. 'extension(6, 6) :: init: true :: relation: MDD 1243470467, 14 edges, 5 vertices, 15 tuples
20.89/7.69 c 21:54:53.189 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28467. 'extension(6, 6) :: init: true :: relation: MDD 355900787, 14 edges, 5 vertices, 15 tuples
20.89/7.69 c 21:54:53.190 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28506. 'extension(x[8][23]=[0‥6], 6) :: init: true :: relation: MDD 1313359405, 14 edges, 5 vertices, 15 tuples
20.89/7.69 c 21:54:53.190 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28507. 'extension(6, x[10][23]=[0‥6]) :: init: true :: relation: MDD 1313359405, 14 edges, 5 vertices, 15 tuples
20.89/7.70 c 21:54:53.192 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28548. 'extension(6, x[10][26]=[0‥6]) :: init: true :: relation: MDD 648346093, 14 edges, 5 vertices, 15 tuples
20.89/7.70 c 21:54:53.192 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28551. 'extension(6, 6) :: init: true :: relation: MDD 648346093, 14 edges, 5 vertices, 15 tuples
20.89/7.70 c 21:54:53.193 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28590. 'extension(x[8][40]=[0‥6], 6) :: init: true :: relation: MDD 353417634, 14 edges, 5 vertices, 15 tuples
21.26/7.71 c 21:54:53.195 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28632. 'extension(x[9][0]=[0‥6], 6) :: init: true :: relation: MDD 1991010480, 14 edges, 5 vertices, 15 tuples
21.26/7.71 c 21:54:53.195 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28633. 'extension(6, x[11][0]=[0‥6]) :: init: true :: relation: MDD 1991010480, 14 edges, 5 vertices, 15 tuples
21.26/7.71 c 21:54:53.196 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28677. 'extension(6, 6) :: init: true :: relation: MDD 1243470467, 14 edges, 5 vertices, 15 tuples
21.26/7.71 c 21:54:53.197 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28716. 'extension(x[9][12]=[0‥6], 6) :: init: true :: relation: MDD 71364493, 14 edges, 5 vertices, 15 tuples
21.26/7.71 c 21:54:53.198 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28758. 'extension(6, x[11][18]=[0‥6]) :: init: true :: relation: MDD 355900787, 14 edges, 5 vertices, 15 tuples
21.26/7.71 c 21:54:53.198 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28761. 'extension(6, 6) :: init: true :: relation: MDD 355900787, 14 edges, 5 vertices, 15 tuples
21.26/7.71 c 21:54:53.200 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28800. 'extension(x[9][25]=[0‥6], 6) :: init: true :: relation: MDD 934288610, 14 edges, 5 vertices, 15 tuples
21.26/7.71 c 21:54:53.201 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28845. 'extension(6, 6) :: init: true :: relation: MDD 353417634, 14 edges, 5 vertices, 15 tuples
21.26/7.71 c 21:54:53.202 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28884. 'extension(6, x[12][5]=[0‥6]) :: init: true :: relation: MDD 1243470467, 14 edges, 5 vertices, 15 tuples
21.26/7.71 c 21:54:53.203 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28887. 'extension(6, 6) :: init: true :: relation: MDD 1243470467, 14 edges, 5 vertices, 15 tuples
21.26/7.71 c 21:54:53.204 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28929. 'extension(6, 6) :: init: true :: relation: MDD 71364493, 14 edges, 5 vertices, 15 tuples
21.26/7.71 c 21:54:53.205 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28971. 'extension(6, 6) :: init: true :: relation: MDD 934288610, 14 edges, 5 vertices, 15 tuples
21.26/7.71 c 21:54:53.206 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29010. 'extension(x[10][32]=[0‥6], 6) :: init: true :: relation: MDD 2061865206, 14 edges, 5 vertices, 15 tuples
21.26/7.71 c 21:54:53.206 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29011. 'extension(6, x[12][32]=[0‥6]) :: init: true :: relation: MDD 2061865206, 14 edges, 5 vertices, 15 tuples
21.26/7.71 c 21:54:53.208 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29054. 'extension(6, x[12][40]=[0‥6]) :: init: true :: relation: MDD 353417634, 14 edges, 5 vertices, 15 tuples
21.26/7.71 c 21:54:53.209 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29057. 'extension(6, 6) :: init: true :: relation: MDD 353417634, 14 edges, 5 vertices, 15 tuples
21.26/7.71 c 21:54:53.211 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29096. 'extension(6, wk[12][1]=[0‥1]) :: init: true :: relation: MDD 1149526768, 7 edges, 3 vertices, 6 tuples
21.26/7.72 c 21:54:53.211 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29097. 'extension(6, x[13][12]=[0‥6]) :: init: true :: relation: MDD 71364493, 14 edges, 5 vertices, 15 tuples
21.26/7.72 c 21:54:53.212 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29100. 'extension(6, 6) :: init: true :: relation: MDD 71364493, 14 edges, 5 vertices, 15 tuples
21.26/7.72 c 21:54:53.213 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29139. 'extension(6, wk[13][1]=[0‥1]) :: init: true :: relation: MDD 58854654, 7 edges, 3 vertices, 6 tuples
21.26/7.72 c 21:54:53.213 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29140. 'extension(x[11][13]=[0‥6], 6) :: init: true :: relation: MDD 1821310436, 14 edges, 5 vertices, 15 tuples
21.26/7.72 c 21:54:53.214 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29182. 'extension(6, wk[17][1]=[0‥1]) :: init: true :: relation: MDD 1674999797, 7 edges, 3 vertices, 6 tuples
21.26/7.72 c 21:54:53.214 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29183. 'extension(x[11][17]=[0‥6], 6) :: init: true :: relation: MDD 1180773372, 14 edges, 5 vertices, 15 tuples
21.26/7.72 c 21:54:53.215 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29225. 'extension(6, wk[21][1]=[0‥1]) :: init: true :: relation: MDD 293669143, 7 edges, 3 vertices, 6 tuples
21.26/7.72 c 21:54:53.216 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29226. 'extension(x[11][21]=[0‥6], 6) :: init: true :: relation: MDD 2040477002, 14 edges, 5 vertices, 15 tuples
21.26/7.72 c 21:54:53.216 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29227. 'extension(6, x[13][21]=[0‥6]) :: init: true :: relation: MDD 2040477002, 14 edges, 5 vertices, 15 tuples
21.26/7.72 c 21:54:53.217 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29268. 'extension(6, wk[25][1]=[0‥1]) :: init: true :: relation: MDD 1578712821, 7 edges, 3 vertices, 6 tuples
21.26/7.72 c 21:54:53.217 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29269. 'extension(6, x[13][25]=[0‥6]) :: init: true :: relation: MDD 934288610, 14 edges, 5 vertices, 15 tuples
21.26/7.72 c 21:54:53.218 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29272. 'extension(6, 6) :: init: true :: relation: MDD 934288610, 14 edges, 5 vertices, 15 tuples
21.26/7.72 c 21:54:53.220 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29311. 'extension(6, wk[13][1]=[0‥1]) :: init: true :: relation: MDD 1590292218, 7 edges, 3 vertices, 6 tuples
21.26/7.72 c 21:54:53.220 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29315. 'extension(6, 6) :: init: true :: relation: MDD 1821310436, 14 edges, 5 vertices, 15 tuples
21.26/7.72 c 21:54:53.221 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29354. 'extension(6, wk[17][1]=[0‥1]) :: init: true :: relation: MDD 697818620, 7 edges, 3 vertices, 6 tuples
21.26/7.73 c 21:54:53.221 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29358. 'extension(6, 6) :: init: true :: relation: MDD 1180773372, 14 edges, 5 vertices, 15 tuples
21.26/7.73 c 21:54:53.222 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29397. 'extension(6, wk[23][1]=[0‥1]) :: init: true :: relation: MDD 937936076, 7 edges, 3 vertices, 6 tuples
21.26/7.73 c 21:54:53.222 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29398. 'extension(x[12][23]=[0‥6], 6) :: init: true :: relation: MDD 1313359405, 14 edges, 5 vertices, 15 tuples
21.26/7.73 c 21:54:53.223 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29440. 'extension(6, wk[43][1]=[0‥1]) :: init: true :: relation: MDD 323653293, 7 edges, 3 vertices, 6 tuples
21.26/7.73 c 21:54:53.223 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29441. 'extension(x[12][43]=[0‥6], 6) :: init: true :: relation: MDD 395752148, 14 edges, 5 vertices, 15 tuples
21.26/7.73 c 21:54:53.224 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29482. 'extension(x[13][10]=[0‥6], 6) :: init: true :: relation: MDD 1879644274, 14 edges, 5 vertices, 15 tuples
21.26/7.73 c 21:54:53.225 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29527. 'extension(6, 6) :: init: true :: relation: MDD 1821310436, 14 edges, 5 vertices, 15 tuples
21.26/7.73 c 21:54:53.226 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29566. 'extension(6, x[15][17]=[0‥6]) :: init: true :: relation: MDD 1180773372, 14 edges, 5 vertices, 15 tuples
21.26/7.73 c 21:54:53.226 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29569. 'extension(6, 6) :: init: true :: relation: MDD 1180773372, 14 edges, 5 vertices, 15 tuples
21.26/7.73 c 21:54:53.228 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29608. 'extension(6, x[15][23]=[0‥6]) :: init: true :: relation: MDD 1313359405, 14 edges, 5 vertices, 15 tuples
21.26/7.73 c 21:54:53.228 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29611. 'extension(6, 6) :: init: true :: relation: MDD 1313359405, 14 edges, 5 vertices, 15 tuples
21.26/7.73 c 21:54:53.229 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29650. 'extension(6, x[15][43]=[0‥6]) :: init: true :: relation: MDD 395752148, 14 edges, 5 vertices, 15 tuples
21.26/7.74 c 21:54:53.233 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29653. 'extension(6, 6) :: init: true :: relation: MDD 395752148, 14 edges, 5 vertices, 15 tuples
21.26/7.74 c 21:54:53.234 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29694. 'extension(6, 6) :: init: true :: relation: MDD 1879644274, 14 edges, 5 vertices, 15 tuples
21.26/7.74 c 21:54:53.235 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29733. 'extension(6, x[16][13]=[0‥6]) :: init: true :: relation: MDD 1821310436, 14 edges, 5 vertices, 15 tuples
21.26/7.74 c 21:54:53.235 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29736. 'extension(6, 6) :: init: true :: relation: MDD 1821310436, 14 edges, 5 vertices, 15 tuples
21.26/7.74 c 21:54:53.237 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29775. 'extension(x[14][21]=[0‥6], 6) :: init: true :: relation: MDD 2040477002, 14 edges, 5 vertices, 15 tuples
21.26/7.74 c 21:54:53.237 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29817. 'extension(x[14][33]=[0‥6], 6) :: init: true :: relation: MDD 1639463154, 14 edges, 5 vertices, 15 tuples
21.26/7.74 c 21:54:53.238 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29861. 'extension(x[14][41]=[0‥6], 6) :: init: true :: relation: MDD 342997389, 14 edges, 5 vertices, 15 tuples
21.26/7.74 c 21:54:53.239 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29903. 'extension(6, x[17][10]=[0‥6]) :: init: true :: relation: MDD 1879644274, 14 edges, 5 vertices, 15 tuples
21.26/7.74 c 21:54:53.240 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29906. 'extension(6, 6) :: init: true :: relation: MDD 1879644274, 14 edges, 5 vertices, 15 tuples
21.26/7.75 c 21:54:53.241 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29945. 'extension(6, x[17][21]=[0‥6]) :: init: true :: relation: MDD 2040477002, 14 edges, 5 vertices, 15 tuples
21.26/7.75 c 21:54:53.241 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29948. 'extension(6, 6) :: init: true :: relation: MDD 2040477002, 14 edges, 5 vertices, 15 tuples
21.26/7.75 c 21:54:53.242 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29987. 'extension(6, x[17][33]=[0‥6]) :: init: true :: relation: MDD 1639463154, 14 edges, 5 vertices, 15 tuples
21.26/7.75 c 21:54:53.243 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29990. 'extension(6, 6) :: init: true :: relation: MDD 1639463154, 14 edges, 5 vertices, 15 tuples
21.26/7.75 c 21:54:53.244 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30031. 'extension(6, x[17][41]=[0‥6]) :: init: true :: relation: MDD 342997389, 14 edges, 5 vertices, 15 tuples
21.26/7.75 c 21:54:53.244 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30034. 'extension(6, 6) :: init: true :: relation: MDD 342997389, 14 edges, 5 vertices, 15 tuples
21.26/7.75 c 21:54:53.245 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30073. 'extension(x[15][43]=[0‥6], 6) :: init: true :: relation: MDD 395752148, 14 edges, 5 vertices, 15 tuples
21.26/7.75 c 21:54:53.245 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30074. 'extension(6, x[17][43]=[0‥6]) :: init: true :: relation: MDD 395752148, 14 edges, 5 vertices, 15 tuples
21.26/7.75 c 21:54:53.247 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30114. 'extension(x[15][44]=[0‥6], 6) :: init: true :: relation: MDD 2131888461, 14 edges, 5 vertices, 15 tuples
21.26/7.75 c 21:54:53.247 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30115. 'extension(6, x[17][44]=[0‥6]) :: init: true :: relation: MDD 2131888461, 14 edges, 5 vertices, 15 tuples
21.26/7.75 c 21:54:53.249 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30155. 'extension(x[17][6]=[0‥6], 6) :: init: true :: relation: MDD 1382159617, 14 edges, 5 vertices, 15 tuples
21.26/7.75 c 21:54:53.250 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30197. 'extension(6, wk[6][2]=[0‥1]) :: init: true :: relation: MDD 394840929, 7 edges, 3 vertices, 6 tuples
21.26/7.75 c 21:54:53.251 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30198. 'extension(6, x[20][6]=[0‥6]) :: init: true :: relation: MDD 1382159617, 14 edges, 5 vertices, 15 tuples
21.26/7.76 c 21:54:53.251 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30201. 'extension(6, 6) :: init: true :: relation: MDD 1382159617, 14 edges, 5 vertices, 15 tuples
21.26/7.76 c 21:54:53.252 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30240. 'extension(6, wk[27][2]=[0‥1]) :: init: true :: relation: MDD 1401212518, 7 edges, 3 vertices, 6 tuples
21.26/7.76 c 21:54:53.252 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30241. 'extension(x[18][27]=[0‥6], 6) :: init: true :: relation: MDD 1890792022, 14 edges, 5 vertices, 15 tuples
21.26/7.76 c 21:54:53.253 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30283. 'extension(6, wk[37][2]=[0‥1]) :: init: true :: relation: MDD 2087831689, 7 edges, 3 vertices, 6 tuples
21.26/7.76 c 21:54:53.253 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30284. 'extension(x[18][37]=[0‥6], 6) :: init: true :: relation: MDD 1073564434, 14 edges, 5 vertices, 15 tuples
21.26/7.76 c 21:54:53.254 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30328. 'extension(6, wk[27][2]=[0‥1]) :: init: true :: relation: MDD 320414325, 7 edges, 3 vertices, 6 tuples
21.26/7.76 c 21:54:53.254 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30329. 'extension(6, x[21][27]=[0‥6]) :: init: true :: relation: MDD 1890792022, 14 edges, 5 vertices, 15 tuples
21.26/7.76 c 21:54:53.255 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30332. 'extension(6, 6) :: init: true :: relation: MDD 1890792022, 14 edges, 5 vertices, 15 tuples
21.26/7.76 c 21:54:53.256 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30371. 'extension(6, wk[29][2]=[0‥1]) :: init: true :: relation: MDD 923911964, 7 edges, 3 vertices, 6 tuples
21.26/7.76 c 21:54:53.256 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30372. 'extension(x[19][29]=[0‥6], 6) :: init: true :: relation: MDD 1659321014, 14 edges, 5 vertices, 15 tuples
21.26/7.76 c 21:54:53.257 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30414. 'extension(6, wk[31][2]=[0‥1]) :: init: true :: relation: MDD 1323828508, 7 edges, 3 vertices, 6 tuples
21.26/7.76 c 21:54:53.257 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30415. 'extension(x[19][31]=[0‥6], 6) :: init: true :: relation: MDD 783402517, 14 edges, 5 vertices, 15 tuples
21.26/7.76 c 21:54:53.258 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30459. 'extension(6, wk[37][2]=[0‥1]) :: init: true :: relation: MDD 1549377783, 7 edges, 3 vertices, 6 tuples
21.26/7.76 c 21:54:53.258 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30463. 'extension(6, 6) :: init: true :: relation: MDD 1073564434, 14 edges, 5 vertices, 15 tuples
21.26/7.76 c 21:54:53.259 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30504. 'extension(x[20][9]=[0‥6], 6) :: init: true :: relation: MDD 1010040056, 14 edges, 5 vertices, 15 tuples
21.26/7.76 c 21:54:53.260 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30546. 'extension(6, x[22][29]=[0‥6]) :: init: true :: relation: MDD 1659321014, 14 edges, 5 vertices, 15 tuples
21.26/7.76 c 21:54:53.260 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30549. 'extension(6, 6) :: init: true :: relation: MDD 1659321014, 14 edges, 5 vertices, 15 tuples
21.26/7.77 c 21:54:53.261 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30591. 'extension(6, 6) :: init: true :: relation: MDD 783402517, 14 edges, 5 vertices, 15 tuples
21.26/7.77 c 21:54:53.262 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30632. 'extension(x[20][33]=[0‥6], 6) :: init: true :: relation: MDD 1639463154, 14 edges, 5 vertices, 15 tuples
21.26/7.77 c 21:54:53.262 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30633. 'extension(6, x[22][33]=[0‥6]) :: init: true :: relation: MDD 1639463154, 14 edges, 5 vertices, 15 tuples
21.26/7.77 c 21:54:53.263 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30676. 'extension(6, x[22][37]=[0‥6]) :: init: true :: relation: MDD 1073564434, 14 edges, 5 vertices, 15 tuples
21.26/7.77 c 21:54:53.264 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30679. 'extension(6, 6) :: init: true :: relation: MDD 1073564434, 14 edges, 5 vertices, 15 tuples
21.26/7.77 c 21:54:53.265 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30723. 'extension(6, 6) :: init: true :: relation: MDD 1010040056, 14 edges, 5 vertices, 15 tuples
21.26/7.77 c 21:54:53.266 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30765. 'extension(6, 6) :: init: true :: relation: MDD 783402517, 14 edges, 5 vertices, 15 tuples
21.26/7.77 c 21:54:53.266 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30806. 'extension(x[21][44]=[0‥6], 6) :: init: true :: relation: MDD 2131888461, 14 edges, 5 vertices, 15 tuples
21.26/7.77 c 21:54:53.268 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30847. 'extension(6, x[24][9]=[0‥6]) :: init: true :: relation: MDD 1010040056, 14 edges, 5 vertices, 15 tuples
21.26/7.77 c 21:54:53.268 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30850. 'extension(6, 6) :: init: true :: relation: MDD 1010040056, 14 edges, 5 vertices, 15 tuples
21.26/7.77 c 21:54:53.270 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30889. 'extension(x[22][11]=[0‥6], 6) :: init: true :: relation: MDD 23568923, 14 edges, 5 vertices, 15 tuples
21.26/7.77 c 21:54:53.270 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30931. 'extension(6, x[24][31]=[0‥6]) :: init: true :: relation: MDD 783402517, 14 edges, 5 vertices, 15 tuples
21.26/7.78 c 21:54:53.271 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30934. 'extension(6, 6) :: init: true :: relation: MDD 783402517, 14 edges, 5 vertices, 15 tuples
21.26/7.78 c 21:54:53.272 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30975. 'extension(x[22][42]=[0‥6], 6) :: init: true :: relation: MDD 592858578, 14 edges, 5 vertices, 15 tuples
21.26/7.78 c 21:54:53.272 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30976. 'extension(6, x[24][42]=[0‥6]) :: init: true :: relation: MDD 592858578, 14 edges, 5 vertices, 15 tuples
21.26/7.78 c 21:54:53.274 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31017. 'extension(6, x[24][44]=[0‥6]) :: init: true :: relation: MDD 2131888461, 14 edges, 5 vertices, 15 tuples
21.26/7.78 c 21:54:53.274 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31020. 'extension(6, 6) :: init: true :: relation: MDD 2131888461, 14 edges, 5 vertices, 15 tuples
21.26/7.78 c 21:54:53.275 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31058. 'extension(6, x[25][11]=[0‥6]) :: init: true :: relation: MDD 23568923, 14 edges, 5 vertices, 15 tuples
21.26/7.78 c 21:54:53.276 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31061. 'extension(6, 6) :: init: true :: relation: MDD 23568923, 14 edges, 5 vertices, 15 tuples
21.26/7.78 c 21:54:53.277 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31100. 'extension(x[23][34]=[0‥6], 6) :: init: true :: relation: MDD 710589756, 14 edges, 5 vertices, 15 tuples
21.26/7.78 c 21:54:53.278 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31147. 'extension(6, 6) :: init: true :: relation: MDD 710589756, 14 edges, 5 vertices, 15 tuples
21.26/7.78 c 21:54:53.279 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31188. 'extension(x[24][38]=[0‥6], 6) :: init: true :: relation: MDD 1773373551, 14 edges, 5 vertices, 15 tuples
21.26/7.78 c 21:54:53.279 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31189. 'extension(6, x[26][38]=[0‥6]) :: init: true :: relation: MDD 1773373551, 14 edges, 5 vertices, 15 tuples
21.26/7.79 c 21:54:53.281 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31232. 'extension(6, wk[26][3]=[0‥1]) :: init: true :: relation: MDD 1057262726, 7 edges, 3 vertices, 6 tuples
21.26/7.79 c 21:54:53.281 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31233. 'extension(x[25][26]=[0‥6], 6) :: init: true :: relation: MDD 648346093, 14 edges, 5 vertices, 15 tuples
21.26/7.79 c 21:54:53.281 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31234. 'extension(6, x[27][26]=[0‥6]) :: init: true :: relation: MDD 648346093, 14 edges, 5 vertices, 15 tuples
21.26/7.79 c 21:54:53.283 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31275. 'extension(6, wk[34][3]=[0‥1]) :: init: true :: relation: MDD 2041435954, 7 edges, 3 vertices, 6 tuples
21.26/7.79 c 21:54:53.283 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31276. 'extension(6, x[27][34]=[0‥6]) :: init: true :: relation: MDD 710589756, 14 edges, 5 vertices, 15 tuples
21.26/7.79 c 21:54:53.284 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31279. 'extension(6, 6) :: init: true :: relation: MDD 710589756, 14 edges, 5 vertices, 15 tuples
21.26/7.79 c 21:54:53.286 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31320. 'extension(6, wk[37][3]=[0‥1]) :: init: true :: relation: MDD 1649706918, 7 edges, 3 vertices, 6 tuples
21.26/7.79 c 21:54:53.286 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31321. 'extension(x[25][37]=[0‥6], 6) :: init: true :: relation: MDD 1073564434, 14 edges, 5 vertices, 15 tuples
21.26/7.79 c 21:54:53.286 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31322. 'extension(6, x[27][37]=[0‥6]) :: init: true :: relation: MDD 1073564434, 14 edges, 5 vertices, 15 tuples
21.26/7.79 c 21:54:53.288 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31365. 'extension(6, wk[41][3]=[0‥1]) :: init: true :: relation: MDD 1303427612, 7 edges, 3 vertices, 6 tuples
21.26/7.79 c 21:54:53.288 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31366. 'extension(x[25][41]=[0‥6], 6) :: init: true :: relation: MDD 342997389, 14 edges, 5 vertices, 15 tuples
21.26/7.79 c 21:54:53.289 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31408. 'extension(6, wk[44][3]=[0‥1]) :: init: true :: relation: MDD 416242770, 7 edges, 3 vertices, 6 tuples
21.26/7.79 c 21:54:53.289 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31409. 'extension(x[25][44]=[0‥6], 6) :: init: true :: relation: MDD 2131888461, 14 edges, 5 vertices, 15 tuples
21.26/7.79 c 21:54:53.289 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31410. 'extension(6, x[27][44]=[0‥6]) :: init: true :: relation: MDD 2131888461, 14 edges, 5 vertices, 15 tuples
21.26/7.79 c 21:54:53.291 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31450. 'extension(6, wk[16][3]=[0‥1]) :: init: true :: relation: MDD 1603213074, 7 edges, 3 vertices, 6 tuples
21.26/7.80 c 21:54:53.291 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31451. 'extension(x[26][16]=[0‥6], 6) :: init: true :: relation: MDD 974168055, 14 edges, 5 vertices, 15 tuples
21.56/7.80 c 21:54:53.292 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31493. 'extension(6, wk[28][3]=[0‥1]) :: init: true :: relation: MDD 2131191535, 7 edges, 3 vertices, 6 tuples
21.56/7.80 c 21:54:53.293 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31494. 'extension(x[26][28]=[0‥6], 6) :: init: true :: relation: MDD 1677319673, 14 edges, 5 vertices, 15 tuples
21.56/7.80 c 21:54:53.293 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31536. 'extension(6, wk[29][3]=[0‥1]) :: init: true :: relation: MDD 155224151, 7 edges, 3 vertices, 6 tuples
21.56/7.80 c 21:54:53.293 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31537. 'extension(x[26][29]=[0‥6], 6) :: init: true :: relation: MDD 1659321014, 14 edges, 5 vertices, 15 tuples
21.56/7.80 c 21:54:53.294 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31579. 'extension(6, wk[41][3]=[0‥1]) :: init: true :: relation: MDD 22515625, 7 edges, 3 vertices, 6 tuples
21.56/7.80 c 21:54:53.294 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31580. 'extension(6, x[28][41]=[0‥6]) :: init: true :: relation: MDD 342997389, 14 edges, 5 vertices, 15 tuples
21.56/7.80 c 21:54:53.295 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31583. 'extension(6, 6) :: init: true :: relation: MDD 342997389, 14 edges, 5 vertices, 15 tuples
21.56/7.80 c 21:54:53.296 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31622. 'extension(x[27][14]=[0‥6], 6) :: init: true :: relation: MDD 1172390062, 14 edges, 5 vertices, 15 tuples
21.56/7.80 c 21:54:53.297 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31667. 'extension(6, 6) :: init: true :: relation: MDD 974168055, 14 edges, 5 vertices, 15 tuples
21.56/7.80 c 21:54:53.298 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31706. 'extension(6, x[29][28]=[0‥6]) :: init: true :: relation: MDD 1677319673, 14 edges, 5 vertices, 15 tuples
21.56/7.80 c 21:54:53.298 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31709. 'extension(6, 6) :: init: true :: relation: MDD 1677319673, 14 edges, 5 vertices, 15 tuples
21.56/7.80 c 21:54:53.299 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31748. 'extension(6, x[29][29]=[0‥6]) :: init: true :: relation: MDD 1659321014, 14 edges, 5 vertices, 15 tuples
21.56/7.80 c 21:54:53.299 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31751. 'extension(6, 6) :: init: true :: relation: MDD 1659321014, 14 edges, 5 vertices, 15 tuples
21.56/7.80 c 21:54:53.301 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31790. 'extension(x[27][38]=[0‥6], 6) :: init: true :: relation: MDD 1773373551, 14 edges, 5 vertices, 15 tuples
21.56/7.81 c 21:54:53.302 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31834. 'extension(x[28][4]=[0‥6], 6) :: init: true :: relation: MDD 1236833317, 14 edges, 5 vertices, 15 tuples
21.56/7.81 c 21:54:53.303 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31879. 'extension(6, 6) :: init: true :: relation: MDD 1172390062, 14 edges, 5 vertices, 15 tuples
21.56/7.81 c 21:54:53.303 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31918. 'extension(6, x[30][16]=[0‥6]) :: init: true :: relation: MDD 974168055, 14 edges, 5 vertices, 15 tuples
21.56/7.81 c 21:54:53.304 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31921. 'extension(6, 6) :: init: true :: relation: MDD 974168055, 14 edges, 5 vertices, 15 tuples
21.56/7.81 c 21:54:53.305 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31960. 'extension(x[28][22]=[0‥6], 6) :: init: true :: relation: MDD 2062667890, 14 edges, 5 vertices, 15 tuples
21.56/7.81 c 21:54:53.306 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32005. 'extension(6, 6) :: init: true :: relation: MDD 1773373551, 14 edges, 5 vertices, 15 tuples
21.56/7.81 c 21:54:53.306 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32046. 'extension(x[28][40]=[0‥6], 6) :: init: true :: relation: MDD 353417634, 14 edges, 5 vertices, 15 tuples
21.56/7.81 c 21:54:53.306 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32047. 'extension(6, x[30][40]=[0‥6]) :: init: true :: relation: MDD 353417634, 14 edges, 5 vertices, 15 tuples
21.56/7.81 c 21:54:53.308 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32091. 'extension(6, 6) :: init: true :: relation: MDD 1236833317, 14 edges, 5 vertices, 15 tuples
21.56/7.81 c 21:54:53.309 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32130. 'extension(6, x[31][14]=[0‥6]) :: init: true :: relation: MDD 1172390062, 14 edges, 5 vertices, 15 tuples
21.56/7.81 c 21:54:53.310 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32133. 'extension(6, 6) :: init: true :: relation: MDD 1172390062, 14 edges, 5 vertices, 15 tuples
21.56/7.81 c 21:54:53.311 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32175. 'extension(6, 6) :: init: true :: relation: MDD 2062667890, 14 edges, 5 vertices, 15 tuples
21.56/7.82 c 21:54:53.311 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32214. 'extension(x[29][27]=[0‥6], 6) :: init: true :: relation: MDD 1890792022, 14 edges, 5 vertices, 15 tuples
21.56/7.82 c 21:54:53.312 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32256. 'extension(x[29][36]=[0‥6], 6) :: init: true :: relation: MDD 659545766, 14 edges, 5 vertices, 15 tuples
21.56/7.82 c 21:54:53.313 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32300. 'extension(6, x[31][38]=[0‥6]) :: init: true :: relation: MDD 1773373551, 14 edges, 5 vertices, 15 tuples
21.56/7.82 c 21:54:53.313 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32303. 'extension(6, 6) :: init: true :: relation: MDD 1773373551, 14 edges, 5 vertices, 15 tuples
21.56/7.82 c 21:54:53.315 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32347. 'extension(6, 6) :: init: true :: relation: MDD 1236833317, 14 edges, 5 vertices, 15 tuples
21.56/7.82 c 21:54:53.315 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32386. 'extension(x[30][8]=[0‥6], 6) :: init: true :: relation: MDD 283747838, 14 edges, 5 vertices, 15 tuples
21.56/7.82 c 21:54:53.316 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32431. 'extension(6, 6) :: init: true :: relation: MDD 2062667890, 14 edges, 5 vertices, 15 tuples
21.56/7.82 c 21:54:53.316 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32470. 'extension(6, x[32][27]=[0‥6]) :: init: true :: relation: MDD 1890792022, 14 edges, 5 vertices, 15 tuples
21.56/7.82 c 21:54:53.316 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32473. 'extension(6, 6) :: init: true :: relation: MDD 1890792022, 14 edges, 5 vertices, 15 tuples
21.56/7.82 c 21:54:53.318 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32512. 'extension(x[30][28]=[0‥6], 6) :: init: true :: relation: MDD 1677319673, 14 edges, 5 vertices, 15 tuples
21.56/7.82 c 21:54:53.319 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32557. 'extension(6, 6) :: init: true :: relation: MDD 659545766, 14 edges, 5 vertices, 15 tuples
21.56/7.82 c 21:54:53.319 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32598. 'extension(x[30][42]=[0‥6], 6) :: init: true :: relation: MDD 592858578, 14 edges, 5 vertices, 15 tuples
21.56/7.82 c 21:54:53.320 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32640. 'extension(6, x[33][4]=[0‥6]) :: init: true :: relation: MDD 1236833317, 14 edges, 5 vertices, 15 tuples
21.56/7.82 c 21:54:53.321 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32643. 'extension(6, 6) :: init: true :: relation: MDD 1236833317, 14 edges, 5 vertices, 15 tuples
21.56/7.83 c 21:54:53.322 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32682. 'extension(6, x[33][8]=[0‥6]) :: init: true :: relation: MDD 283747838, 14 edges, 5 vertices, 15 tuples
21.56/7.83 c 21:54:53.323 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32685. 'extension(6, 6) :: init: true :: relation: MDD 283747838, 14 edges, 5 vertices, 15 tuples
21.56/7.83 c 21:54:53.324 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32724. 'extension(x[31][15]=[0‥6], 6) :: init: true :: relation: MDD 88286953, 14 edges, 5 vertices, 15 tuples
21.56/7.83 c 21:54:53.325 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32766. 'extension(x[31][17]=[0‥6], 6) :: init: true :: relation: MDD 1180773372, 14 edges, 5 vertices, 15 tuples
21.56/7.83 c 21:54:53.325 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32767. 'extension(6, x[33][17]=[0‥6]) :: init: true :: relation: MDD 1180773372, 14 edges, 5 vertices, 15 tuples
21.56/7.83 c 21:54:53.327 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32808. 'extension(6, x[33][22]=[0‥6]) :: init: true :: relation: MDD 2062667890, 14 edges, 5 vertices, 15 tuples
21.56/7.83 c 21:54:53.328 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32811. 'extension(6, 6) :: init: true :: relation: MDD 2062667890, 14 edges, 5 vertices, 15 tuples
21.56/7.83 c 21:54:53.329 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32850. 'extension(6, x[33][28]=[0‥6]) :: init: true :: relation: MDD 1677319673, 14 edges, 5 vertices, 15 tuples
21.56/7.83 c 21:54:53.329 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32853. 'extension(6, 6) :: init: true :: relation: MDD 1677319673, 14 edges, 5 vertices, 15 tuples
21.56/7.83 c 21:54:53.331 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32892. 'extension(6, x[33][36]=[0‥6]) :: init: true :: relation: MDD 659545766, 14 edges, 5 vertices, 15 tuples
21.56/7.84 c 21:54:53.331 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32895. 'extension(6, 6) :: init: true :: relation: MDD 659545766, 14 edges, 5 vertices, 15 tuples
21.56/7.84 c 21:54:53.332 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32936. 'extension(x[31][39]=[0‥6], 6) :: init: true :: relation: MDD 303491903, 14 edges, 5 vertices, 15 tuples
21.56/7.84 c 21:54:53.333 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32980. 'extension(6, x[33][42]=[0‥6]) :: init: true :: relation: MDD 592858578, 14 edges, 5 vertices, 15 tuples
21.56/7.84 c 21:54:53.334 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32983. 'extension(6, 6) :: init: true :: relation: MDD 592858578, 14 edges, 5 vertices, 15 tuples
21.56/7.84 c 21:54:53.335 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33022. 'extension(6, wk[15][4]=[0‥1]) :: init: true :: relation: MDD 1543272907, 7 edges, 3 vertices, 6 tuples
21.56/7.84 c 21:54:53.336 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33026. 'extension(6, 6) :: init: true :: relation: MDD 88286953, 14 edges, 5 vertices, 15 tuples
21.56/7.84 c 21:54:53.336 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33065. 'extension(6, wk[24][4]=[0‥1]) :: init: true :: relation: MDD 1901272535, 7 edges, 3 vertices, 6 tuples
21.56/7.84 c 21:54:53.336 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33066. 'extension(x[32][24]=[0‥6], 6) :: init: true :: relation: MDD 1438764761, 14 edges, 5 vertices, 15 tuples
21.56/7.84 c 21:54:53.337 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33108. 'extension(6, wk[30][4]=[0‥1]) :: init: true :: relation: MDD 716216643, 7 edges, 3 vertices, 6 tuples
21.56/7.84 c 21:54:53.337 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33109. 'extension(x[32][30]=[0‥6], 6) :: init: true :: relation: MDD 1545816352, 14 edges, 5 vertices, 15 tuples
21.56/7.84 c 21:54:53.338 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33153. 'extension(6, wk[39][4]=[0‥1]) :: init: true :: relation: MDD 1527317172, 7 edges, 3 vertices, 6 tuples
21.56/7.84 c 21:54:53.338 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33157. 'extension(6, 6) :: init: true :: relation: MDD 303491903, 14 edges, 5 vertices, 15 tuples
21.56/7.84 c 21:54:53.339 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33198. 'extension(6, wk[15][4]=[0‥1]) :: init: true :: relation: MDD 1002380301, 7 edges, 3 vertices, 6 tuples
21.56/7.84 c 21:54:53.339 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33202. 'extension(6, 6) :: init: true :: relation: MDD 88286953, 14 edges, 5 vertices, 15 tuples
21.56/7.84 c 21:54:53.340 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33241. 'extension(6, wk[24][4]=[0‥1]) :: init: true :: relation: MDD 1649096004, 7 edges, 3 vertices, 6 tuples
21.56/7.84 c 21:54:53.340 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33245. 'extension(6, 6) :: init: true :: relation: MDD 1438764761, 14 edges, 5 vertices, 15 tuples
21.56/7.84 c 21:54:53.340 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33284. 'extension(6, wk[30][4]=[0‥1]) :: init: true :: relation: MDD 1483008191, 7 edges, 3 vertices, 6 tuples
21.56/7.84 c 21:54:53.341 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33285. 'extension(6, x[35][30]=[0‥6]) :: init: true :: relation: MDD 1545816352, 14 edges, 5 vertices, 15 tuples
21.56/7.84 c 21:54:53.341 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33288. 'extension(6, 6) :: init: true :: relation: MDD 1545816352, 14 edges, 5 vertices, 15 tuples
21.56/7.85 c 21:54:53.342 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33329. 'extension(6, wk[33][4]=[0‥1]) :: init: true :: relation: MDD 430798309, 7 edges, 3 vertices, 6 tuples
21.56/7.85 c 21:54:53.342 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33330. 'extension(x[33][33]=[0‥6], 6) :: init: true :: relation: MDD 1639463154, 14 edges, 5 vertices, 15 tuples
21.56/7.85 c 21:54:53.342 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33331. 'extension(6, x[35][33]=[0‥6]) :: init: true :: relation: MDD 1639463154, 14 edges, 5 vertices, 15 tuples
21.56/7.85 c 21:54:53.344 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33374. 'extension(6, wk[35][4]=[0‥1]) :: init: true :: relation: MDD 588580141, 7 edges, 3 vertices, 6 tuples
21.56/7.85 c 21:54:53.345 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33375. 'extension(x[33][35]=[0‥6], 6) :: init: true :: relation: MDD 2079332573, 14 edges, 5 vertices, 15 tuples
21.56/7.85 c 21:54:53.345 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33419. 'extension(6, wk[39][4]=[0‥1]) :: init: true :: relation: MDD 788830525, 7 edges, 3 vertices, 6 tuples
21.56/7.85 c 21:54:53.346 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33423. 'extension(6, 6) :: init: true :: relation: MDD 303491903, 14 edges, 5 vertices, 15 tuples
21.56/7.85 c 21:54:53.346 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33464. 'extension(x[34][1]=[0‥6], 6) :: init: true :: relation: MDD 1735608827, 14 edges, 5 vertices, 15 tuples
21.56/7.85 c 21:54:53.347 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33465. 'extension(6, x[36][1]=[0‥6]) :: init: true :: relation: MDD 1735608827, 14 edges, 5 vertices, 15 tuples
21.56/7.85 c 21:54:53.348 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33506. 'extension(6, x[36][15]=[0‥6]) :: init: true :: relation: MDD 88286953, 14 edges, 5 vertices, 15 tuples
21.56/7.85 c 21:54:53.349 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33509. 'extension(6, 6) :: init: true :: relation: MDD 88286953, 14 edges, 5 vertices, 15 tuples
21.56/7.85 c 21:54:53.350 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33551. 'extension(6, 6) :: init: true :: relation: MDD 1438764761, 14 edges, 5 vertices, 15 tuples
21.56/7.85 c 21:54:53.350 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33593. 'extension(6, 6) :: init: true :: relation: MDD 2079332573, 14 edges, 5 vertices, 15 tuples
21.56/7.86 c 21:54:53.351 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33634. 'extension(6, x[36][39]=[0‥6]) :: init: true :: relation: MDD 303491903, 14 edges, 5 vertices, 15 tuples
21.56/7.86 c 21:54:53.352 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33637. 'extension(6, 6) :: init: true :: relation: MDD 303491903, 14 edges, 5 vertices, 15 tuples
21.56/7.86 c 21:54:53.354 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33678. 'extension(x[35][6]=[0‥6], 6) :: init: true :: relation: MDD 1382159617, 14 edges, 5 vertices, 15 tuples
21.56/7.86 c 21:54:53.354 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33720. 'extension(6, x[37][24]=[0‥6]) :: init: true :: relation: MDD 1438764761, 14 edges, 5 vertices, 15 tuples
21.56/7.86 c 21:54:53.355 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33723. 'extension(6, 6) :: init: true :: relation: MDD 1438764761, 14 edges, 5 vertices, 15 tuples
21.56/7.86 c 21:54:53.356 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33762. 'extension(6, x[37][35]=[0‥6]) :: init: true :: relation: MDD 2079332573, 14 edges, 5 vertices, 15 tuples
21.56/7.86 c 21:54:53.356 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33765. 'extension(6, 6) :: init: true :: relation: MDD 2079332573, 14 edges, 5 vertices, 15 tuples
21.56/7.86 c 21:54:53.358 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33805. 'extension(x[36][0]=[0‥6], 6) :: init: true :: relation: MDD 1991010480, 14 edges, 5 vertices, 15 tuples
21.56/7.86 c 21:54:53.359 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33846. 'extension(6, x[38][6]=[0‥6]) :: init: true :: relation: MDD 1382159617, 14 edges, 5 vertices, 15 tuples
21.56/7.86 c 21:54:53.359 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33849. 'extension(6, 6) :: init: true :: relation: MDD 1382159617, 14 edges, 5 vertices, 15 tuples
21.56/7.86 c 21:54:53.361 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33887. 'extension(6, x[39][0]=[0‥6]) :: init: true :: relation: MDD 1991010480, 14 edges, 5 vertices, 15 tuples
21.56/7.87 c 21:54:53.361 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33890. 'extension(6, 6) :: init: true :: relation: MDD 1991010480, 14 edges, 5 vertices, 15 tuples
21.56/7.87 c 21:54:53.362 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33927. 'extension(x[37][10]=[0‥6], 6) :: init: true :: relation: MDD 1879644274, 14 edges, 5 vertices, 15 tuples
21.56/7.87 c 21:54:53.363 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33928. 'extension(6, x[39][10]=[0‥6]) :: init: true :: relation: MDD 1879644274, 14 edges, 5 vertices, 15 tuples
21.56/7.87 c 21:54:53.364 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33967. 'extension(x[37][30]=[0‥6], 6) :: init: true :: relation: MDD 1545816352, 14 edges, 5 vertices, 15 tuples
21.56/7.87 c 21:54:53.364 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33968. 'extension(6, x[39][30]=[0‥6]) :: init: true :: relation: MDD 1545816352, 14 edges, 5 vertices, 15 tuples
21.56/7.87 c 21:54:53.367 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34008. 'extension(x[38][2]=[0‥6], 6) :: init: true :: relation: MDD 1502710927, 14 edges, 5 vertices, 15 tuples
21.56/7.87 c 21:54:53.368 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34047. 'extension(6, wk[2][5]=[0‥1]) :: init: true :: relation: MDD 11646065, 7 edges, 3 vertices, 6 tuples
21.56/7.87 c 21:54:53.368 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34050. 'extension(6, 6) :: init: true :: relation: MDD 1502710927, 14 edges, 5 vertices, 15 tuples
21.56/7.87 c 21:54:53.369 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34085. 'extension(6, wk[21][5]=[0‥1]) :: init: true :: relation: MDD 858934277, 7 edges, 3 vertices, 6 tuples
21.56/7.87 c 21:54:53.369 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34086. 'extension(x[39][21]=[0‥6], 6) :: init: true :: relation: MDD 2040477002, 14 edges, 5 vertices, 15 tuples
21.56/7.87 c 21:54:53.369 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34087. 'extension(6, x[41][21]=[0‥6]) :: init: true :: relation: MDD 2040477002, 14 edges, 5 vertices, 15 tuples
21.56/7.87 c 21:54:53.371 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34123. 'extension(6, wk[2][5]=[0‥1]) :: init: true :: relation: MDD 1327169167, 7 edges, 3 vertices, 6 tuples
21.56/7.88 c 21:54:53.371 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34124. 'extension(6, 6) :: init: true :: relation: MDD 1502710927, 14 edges, 5 vertices, 15 tuples
21.56/7.88 c 21:54:53.371 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34125. 'extension(6, 6) :: init: true :: relation: MDD 2011857007, 7 edges, 3 vertices, 6 tuples
21.88/7.91 c 21:54:53.411 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34384. 'extension(x[1][35]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.92 c 21:54:53.411 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34386. 'extension(x[1][35]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.92 c 21:54:53.412 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34392. 'extension(x[0][19]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.92 c 21:54:53.412 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34396. 'extension(x[0][32]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.92 c 21:54:53.413 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34398. 'extension(x[2][32]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.93 c 21:54:53.413 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34410. 'extension(x[0][34]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.93 c 21:54:53.413 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34412. 'extension(x[2][34]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.93 c 21:54:53.414 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34424. 'extension(x[0][43]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.93 c 21:54:53.414 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34426. 'extension(x[2][43]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.93 c 21:54:53.415 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34436. 'extension(x[1][1]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.93 c 21:54:53.415 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34442. 'extension(x[1][11]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.93 c 21:54:53.415 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34448. 'extension(x[1][12]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.93 c 21:54:53.415 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34450. 'extension(x[3][12]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.93 c 21:54:53.416 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34472. 'extension(x[2][8]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.93 c 21:54:53.417 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34478. 'extension(x[4][11]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.93 c 21:54:53.417 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34492. 'extension(x[2][14]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.93 c 21:54:53.417 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34494. 'extension(x[4][14]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.93 c 21:54:53.418 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34508. 'extension(x[2][42]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.93 c 21:54:53.418 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34510. 'extension(x[4][42]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.93 c 21:54:53.419 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34524. 'extension(x[5][1]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.93 c 21:54:53.419 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34534. 'extension(x[5][8]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.93 c 21:54:53.420 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34548. 'extension(x[5][19]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.93 c 21:54:53.420 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34558. 'extension(wk[0][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.88/7.93 c 21:54:53.420 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34560. 'extension(x[4][0]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.93 c 21:54:53.420 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34562. 'extension(x[6][0]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.93 c 21:54:53.421 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34576. 'extension(wk[3][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.88/7.93 c 21:54:53.421 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34578. 'extension(x[4][3]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.93 c 21:54:53.421 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34584. 'extension(wk[7][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.88/7.93 c 21:54:53.422 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34586. 'extension(x[4][7]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.93 c 21:54:53.422 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34592. 'extension(wk[20][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.88/7.93 c 21:54:53.422 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34594. 'extension(x[4][20]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.93 c 21:54:53.422 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34600. 'extension(wk[30][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.88/7.93 c 21:54:53.423 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34602. 'extension(x[4][30]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.93 c 21:54:53.423 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34604. 'extension(x[6][30]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.93 c 21:54:53.423 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34620. 'extension(wk[3][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.88/7.93 c 21:54:53.424 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34626. 'extension(wk[7][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.88/7.93 c 21:54:53.424 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34632. 'extension(wk[16][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.88/7.93 c 21:54:53.424 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34634. 'extension(x[5][16]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.93 c 21:54:53.424 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34636. 'extension(x[7][16]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.93 c 21:54:53.425 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34650. 'extension(wk[20][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.88/7.93 c 21:54:53.425 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34656. 'extension(wk[23][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.88/7.93 c 21:54:53.425 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34658. 'extension(x[5][23]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.93 c 21:54:53.426 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34660. 'extension(x[7][23]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.93 c 21:54:53.426 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34674. 'extension(wk[32][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.88/7.93 c 21:54:53.426 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34676. 'extension(x[5][32]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.93 c 21:54:53.427 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34682. 'extension(wk[36][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.88/7.93 c 21:54:53.427 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34684. 'extension(x[5][36]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.94 c 21:54:53.427 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34686. 'extension(x[7][36]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.94 c 21:54:53.428 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34702. 'extension(x[6][2]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.94 c 21:54:53.428 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34704. 'extension(x[8][2]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.94 c 21:54:53.428 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34718. 'extension(x[6][18]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.94 c 21:54:53.429 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34724. 'extension(x[6][25]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.94 c 21:54:53.429 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34726. 'extension(x[8][25]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.94 c 21:54:53.429 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34740. 'extension(x[6][26]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.94 c 21:54:53.430 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34746. 'extension(x[8][32]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.94 c 21:54:53.430 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34762. 'extension(x[9][3]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.94 c 21:54:53.431 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34772. 'extension(x[7][5]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.94 c 21:54:53.431 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34778. 'extension(x[9][7]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.94 c 21:54:53.432 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34788. 'extension(x[7][9]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.94 c 21:54:53.432 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34790. 'extension(x[9][9]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.94 c 21:54:53.432 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34808. 'extension(x[9][20]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.94 c 21:54:53.433 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34826. 'extension(x[8][23]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.94 c 21:54:53.433 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34828. 'extension(x[10][23]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.94 c 21:54:53.434 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34842. 'extension(x[10][26]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.94 c 21:54:53.434 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34852. 'extension(x[8][40]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.94 c 21:54:53.434 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34858. 'extension(x[9][0]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.94 c 21:54:53.435 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34860. 'extension(x[11][0]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.94 c 21:54:53.435 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34874. 'extension(x[9][12]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.94 c 21:54:53.436 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34880. 'extension(x[11][18]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.94 c 21:54:53.436 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34890. 'extension(x[9][25]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.94 c 21:54:53.437 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34900. 'extension(x[12][5]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.94 c 21:54:53.437 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34918. 'extension(x[10][32]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.94 c 21:54:53.438 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34920. 'extension(x[12][32]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.94 c 21:54:53.438 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34936. 'extension(x[12][40]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.94 c 21:54:53.439 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34946. 'extension(wk[12][1]=[0‥1]) :: init: true :: relation: Empty MDD
21.88/7.94 c 21:54:53.439 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34948. 'extension(x[13][12]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.94 c 21:54:53.440 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34958. 'extension(wk[13][1]=[0‥1]) :: init: true :: relation: Empty MDD
21.88/7.94 c 21:54:53.440 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34960. 'extension(x[11][13]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.95 c 21:54:53.440 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34966. 'extension(wk[17][1]=[0‥1]) :: init: true :: relation: Empty MDD
21.88/7.95 c 21:54:53.440 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34968. 'extension(x[11][17]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.95 c 21:54:53.441 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34974. 'extension(wk[21][1]=[0‥1]) :: init: true :: relation: Empty MDD
21.88/7.95 c 21:54:53.441 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34976. 'extension(x[11][21]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.95 c 21:54:53.441 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34978. 'extension(x[13][21]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.95 c 21:54:53.441 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34992. 'extension(wk[25][1]=[0‥1]) :: init: true :: relation: Empty MDD
21.88/7.95 c 21:54:53.442 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34994. 'extension(x[13][25]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.95 c 21:54:53.442 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35004. 'extension(wk[13][1]=[0‥1]) :: init: true :: relation: Empty MDD
21.88/7.95 c 21:54:53.442 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35010. 'extension(wk[17][1]=[0‥1]) :: init: true :: relation: Empty MDD
21.88/7.95 c 21:54:53.442 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35016. 'extension(wk[23][1]=[0‥1]) :: init: true :: relation: Empty MDD
21.88/7.95 c 21:54:53.443 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35018. 'extension(x[12][23]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.95 c 21:54:53.443 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35024. 'extension(wk[43][1]=[0‥1]) :: init: true :: relation: Empty MDD
21.88/7.95 c 21:54:53.443 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35026. 'extension(x[12][43]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.95 c 21:54:53.443 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35032. 'extension(x[13][10]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.95 c 21:54:53.444 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35038. 'extension(x[15][17]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.95 c 21:54:53.444 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35048. 'extension(x[15][23]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.95 c 21:54:53.445 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35062. 'extension(x[15][43]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.95 c 21:54:53.445 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35074. 'extension(x[16][13]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.95 c 21:54:53.445 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35084. 'extension(x[14][21]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.95 c 21:54:53.446 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35090. 'extension(x[14][33]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.95 c 21:54:53.446 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35096. 'extension(x[14][41]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.95 c 21:54:53.446 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35102. 'extension(x[17][10]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.95 c 21:54:53.447 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35112. 'extension(x[17][21]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.95 c 21:54:53.447 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35126. 'extension(x[17][33]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.96 c 21:54:53.448 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35142. 'extension(x[17][41]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.96 c 21:54:53.448 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35156. 'extension(x[15][43]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.96 c 21:54:53.449 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35158. 'extension(x[17][43]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.96 c 21:54:53.449 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35170. 'extension(x[15][44]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.96 c 21:54:53.449 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35172. 'extension(x[17][44]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.96 c 21:54:53.450 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35184. 'extension(x[17][6]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.96 c 21:54:53.450 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35190. 'extension(wk[6][2]=[0‥1]) :: init: true :: relation: Empty MDD
21.88/7.96 c 21:54:53.450 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35192. 'extension(x[20][6]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.96 c 21:54:53.451 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35206. 'extension(wk[27][2]=[0‥1]) :: init: true :: relation: Empty MDD
21.88/7.96 c 21:54:53.451 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35208. 'extension(x[18][27]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.96 c 21:54:53.451 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35214. 'extension(wk[37][2]=[0‥1]) :: init: true :: relation: Empty MDD
21.88/7.96 c 21:54:53.451 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35216. 'extension(x[18][37]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.96 c 21:54:53.452 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35222. 'extension(wk[27][2]=[0‥1]) :: init: true :: relation: Empty MDD
21.88/7.96 c 21:54:53.452 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35224. 'extension(x[21][27]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.96 c 21:54:53.452 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35238. 'extension(wk[29][2]=[0‥1]) :: init: true :: relation: Empty MDD
21.88/7.96 c 21:54:53.452 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35240. 'extension(x[19][29]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.96 c 21:54:53.453 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35246. 'extension(wk[31][2]=[0‥1]) :: init: true :: relation: Empty MDD
21.88/7.96 c 21:54:53.453 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35248. 'extension(x[19][31]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.96 c 21:54:53.453 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35254. 'extension(wk[37][2]=[0‥1]) :: init: true :: relation: Empty MDD
21.88/7.96 c 21:54:53.454 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35260. 'extension(x[20][9]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.96 c 21:54:53.454 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35266. 'extension(x[22][29]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.96 c 21:54:53.454 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35284. 'extension(x[20][33]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.96 c 21:54:53.455 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35286. 'extension(x[22][33]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.96 c 21:54:53.455 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35302. 'extension(x[22][37]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.96 c 21:54:53.456 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35322. 'extension(x[21][44]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.96 c 21:54:53.456 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35328. 'extension(x[24][9]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.96 c 21:54:53.457 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35338. 'extension(x[22][11]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.96 c 21:54:53.457 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35344. 'extension(x[24][31]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.96 c 21:54:53.458 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35356. 'extension(x[22][42]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.96 c 21:54:53.458 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35358. 'extension(x[24][42]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.96 c 21:54:53.458 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35372. 'extension(x[24][44]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.96 c 21:54:53.459 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35382. 'extension(x[25][11]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.96 c 21:54:53.459 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35396. 'extension(x[23][34]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.96 c 21:54:53.460 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35406. 'extension(x[24][38]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.96 c 21:54:53.460 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35408. 'extension(x[26][38]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.96 c 21:54:53.460 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35422. 'extension(wk[26][3]=[0‥1]) :: init: true :: relation: Empty MDD
21.88/7.96 c 21:54:53.461 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35424. 'extension(x[25][26]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.96 c 21:54:53.461 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35426. 'extension(x[27][26]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.97 c 21:54:53.461 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35440. 'extension(wk[34][3]=[0‥1]) :: init: true :: relation: Empty MDD
21.88/7.97 c 21:54:53.461 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35442. 'extension(x[27][34]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.97 c 21:54:53.462 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35456. 'extension(wk[37][3]=[0‥1]) :: init: true :: relation: Empty MDD
21.88/7.97 c 21:54:53.462 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35458. 'extension(x[25][37]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.97 c 21:54:53.462 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35460. 'extension(x[27][37]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.97 c 21:54:53.463 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35476. 'extension(wk[41][3]=[0‥1]) :: init: true :: relation: Empty MDD
21.88/7.97 c 21:54:53.463 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35478. 'extension(x[25][41]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.97 c 21:54:53.463 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35484. 'extension(wk[44][3]=[0‥1]) :: init: true :: relation: Empty MDD
21.88/7.97 c 21:54:53.464 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35486. 'extension(x[25][44]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.97 c 21:54:53.464 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35488. 'extension(x[27][44]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.97 c 21:54:53.464 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35500. 'extension(wk[16][3]=[0‥1]) :: init: true :: relation: Empty MDD
21.88/7.97 c 21:54:53.464 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35502. 'extension(x[26][16]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.97 c 21:54:53.465 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35508. 'extension(wk[28][3]=[0‥1]) :: init: true :: relation: Empty MDD
21.88/7.97 c 21:54:53.465 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35510. 'extension(x[26][28]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.97 c 21:54:53.465 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35516. 'extension(wk[29][3]=[0‥1]) :: init: true :: relation: Empty MDD
21.88/7.97 c 21:54:53.465 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35518. 'extension(x[26][29]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.97 c 21:54:53.465 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35524. 'extension(wk[41][3]=[0‥1]) :: init: true :: relation: Empty MDD
21.88/7.97 c 21:54:53.466 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35526. 'extension(x[28][41]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.97 c 21:54:53.466 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35540. 'extension(x[27][14]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.97 c 21:54:53.467 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35550. 'extension(x[29][28]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.97 c 21:54:53.467 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35564. 'extension(x[29][29]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.97 c 21:54:53.468 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35578. 'extension(x[27][38]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.97 c 21:54:53.468 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35584. 'extension(x[28][4]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.97 c 21:54:53.468 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35594. 'extension(x[30][16]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.97 c 21:54:53.469 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35604. 'extension(x[28][22]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.97 c 21:54:53.469 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35614. 'extension(x[28][40]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.97 c 21:54:53.469 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35616. 'extension(x[30][40]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.98 c 21:54:53.470 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35634. 'extension(x[31][14]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.98 c 21:54:53.470 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35648. 'extension(x[29][27]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.98 c 21:54:53.471 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35654. 'extension(x[29][36]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.98 c 21:54:53.471 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35660. 'extension(x[31][38]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.98 c 21:54:53.472 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35674. 'extension(x[30][8]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.98 c 21:54:53.472 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35680. 'extension(x[32][27]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.98 c 21:54:53.472 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35694. 'extension(x[30][28]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.98 c 21:54:53.473 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35704. 'extension(x[30][42]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.98 c 21:54:53.473 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35710. 'extension(x[33][4]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.98 c 21:54:53.474 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35720. 'extension(x[33][8]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.98 c 21:54:53.474 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35734. 'extension(x[31][15]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.98 c 21:54:53.474 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35740. 'extension(x[31][17]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.98 c 21:54:53.474 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35742. 'extension(x[33][17]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.98 c 21:54:53.475 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35756. 'extension(x[33][22]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.98 c 21:54:53.475 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35766. 'extension(x[33][28]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.98 c 21:54:53.476 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35780. 'extension(x[33][36]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.98 c 21:54:53.476 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35794. 'extension(x[31][39]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.98 c 21:54:53.477 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35800. 'extension(x[33][42]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.98 c 21:54:53.477 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35814. 'extension(wk[15][4]=[0‥1]) :: init: true :: relation: Empty MDD
21.88/7.98 c 21:54:53.477 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35820. 'extension(wk[24][4]=[0‥1]) :: init: true :: relation: Empty MDD
21.88/7.98 c 21:54:53.478 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35822. 'extension(x[32][24]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.98 c 21:54:53.478 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35828. 'extension(wk[30][4]=[0‥1]) :: init: true :: relation: Empty MDD
21.88/7.98 c 21:54:53.478 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35830. 'extension(x[32][30]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.98 c 21:54:53.478 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35836. 'extension(wk[39][4]=[0‥1]) :: init: true :: relation: Empty MDD
21.88/7.98 c 21:54:53.479 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35842. 'extension(wk[15][4]=[0‥1]) :: init: true :: relation: Empty MDD
21.88/7.98 c 21:54:53.479 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35844. 'extension(wk[24][4]=[0‥1]) :: init: true :: relation: Empty MDD
21.88/7.98 c 21:54:53.479 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35850. 'extension(wk[30][4]=[0‥1]) :: init: true :: relation: Empty MDD
21.88/7.98 c 21:54:53.479 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35852. 'extension(x[35][30]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.98 c 21:54:53.480 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35868. 'extension(wk[33][4]=[0‥1]) :: init: true :: relation: Empty MDD
21.88/7.98 c 21:54:53.480 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35870. 'extension(x[33][33]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.98 c 21:54:53.480 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35872. 'extension(x[35][33]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.99 c 21:54:53.481 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35888. 'extension(wk[35][4]=[0‥1]) :: init: true :: relation: Empty MDD
21.88/7.99 c 21:54:53.481 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35890. 'extension(x[33][35]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.99 c 21:54:53.482 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35896. 'extension(wk[39][4]=[0‥1]) :: init: true :: relation: Empty MDD
21.88/7.99 c 21:54:53.482 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35900. 'extension(x[34][1]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.99 c 21:54:53.482 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35902. 'extension(x[36][1]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.99 c 21:54:53.482 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35916. 'extension(x[36][15]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.99 c 21:54:53.483 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35930. 'extension(x[36][39]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.99 c 21:54:53.484 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35942. 'extension(x[35][6]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.99 c 21:54:53.484 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35948. 'extension(x[37][24]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.99 c 21:54:53.484 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35958. 'extension(x[37][35]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.99 c 21:54:53.485 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35972. 'extension(x[36][0]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.99 c 21:54:53.485 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35978. 'extension(x[38][6]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.99 c 21:54:53.486 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35992. 'extension(x[39][0]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.99 c 21:54:53.486 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 36006. 'extension(x[37][10]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.99 c 21:54:53.486 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 36008. 'extension(x[39][10]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.99 c 21:54:53.487 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 36022. 'extension(x[37][30]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.99 c 21:54:53.487 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 36024. 'extension(x[39][30]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.99 c 21:54:53.487 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 36040. 'extension(x[38][2]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.99 c 21:54:53.488 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 36046. 'extension(wk[2][5]=[0‥1]) :: init: true :: relation: Empty MDD
21.88/7.99 c 21:54:53.488 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 36052. 'extension(wk[21][5]=[0‥1]) :: init: true :: relation: Empty MDD
21.88/7.99 c 21:54:53.488 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 36054. 'extension(x[39][21]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.99 c 21:54:53.488 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 36056. 'extension(x[41][21]=[0‥6]) :: init: true :: relation: Empty MDD
21.88/7.99 c 21:54:53.489 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 36068. 'extension(wk[2][5]=[0‥1]) :: init: true :: relation: Empty MDD
252.02/221.71 Exception in thread "main" java.util.concurrent.TimeoutException
252.02/221.71 at concrete.MAC.mac(MAC.scala:188)
252.02/221.71 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
252.02/221.71 at scala.util.Try$.apply(Try.scala:209)
252.02/221.71 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.02/221.71 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.02/221.71 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.02/221.71 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.02/221.71 at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
252.02/221.71 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.02/221.71 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.02/221.71 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.02/221.71 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.02/221.71 at concrete.MAC.oneRun(MAC.scala:253)
252.02/221.71 at concrete.MAC.nextSolution(MAC.scala:272)
252.02/221.71 at concrete.MAC.$anonfun$nextSolution$5(MAC.scala:336)
252.02/221.71 at concrete.ProblemState.map(ProblemState.scala:221)
252.02/221.71 at concrete.ProblemState.map(ProblemState.scala:204)
252.02/221.71 at concrete.MAC.nextSolution(MAC.scala:334)
252.02/221.71 at concrete.Solver.hasNext(Solver.scala:166)
252.02/221.71 at scala.collection.Iterator.foreach(Iterator.scala:944)
252.02/221.71 at scala.collection.Iterator.foreach$(Iterator.scala:944)
252.02/221.71 at concrete.Solver.foreach(Solver.scala:68)
252.02/221.71 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
252.02/221.71 at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.02/221.71 at scala.util.Success.map(Try.scala:209)
252.02/221.71 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
252.02/221.71 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
252.02/221.71 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
252.02/221.71 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
252.02/221.71 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
252.02/221.71 at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.02/221.71 at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.02/221.71 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.02/221.71 at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.02/221.71 at scala.collection.immutable.List.foreach(List.scala:389)
252.02/221.71 at scala.App.main(App.scala:76)
252.02/221.71 at scala.App.main$(App.scala:74)
252.02/221.71 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
252.02/221.71 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.02/221.72 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 (8313 MiB free)
memory of node 1: 16384 MiB (14040 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302784-1532894085/watcher-4302784-1532894085 -o /tmp/evaluation-result-4302784-1532894085/solver-4302784-1532894085 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532892979-13580 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1408863799 -superng HOME/instance-4302784-1532894085.xml
running on 4 cores: 0,2,4,6
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=15011, runsolver pid=15008
Current StackSize limit: 8192 KiB
[startup+0.100088 s]*
/proc/loadavg: 1.85 1.75 1.87 3/206 15068
/proc/meminfo: memFree=22883820/32770624 swapFree=67108404/67108860
[pid=15011] ppid=15008 vsize=10005480 memory=16812 CPUtime=0.08 cores=0,2,4,6
/proc/15011/stat : 15011 (java) S 15008 15011 12222 0 -1 1077944320 4376 13187 0 0 1 0 5 2 20 0 6 0 106971645 10245611520 4203 33554432000 4194304 4196468 140732074258304 140732074240848 139837009624823 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
/proc/15011/statm: 2501370 4203 1935 1 0 2489808 0
[pid=15011/tid=15064] ppid=15008 vsize=10005480 memory=4279135703946462605 CPUtime=0.08 cores=0,2,4,6
/proc/15011/task/15064/stat : 15064 (java) R 15008 15011 12222 0 -1 4202560 2184 13187 0 0 1 0 5 2 20 0 6 0 106971654 10245611520 4715 33554432000 4194304 4196468 140732074258304 139836981461584 139836991018554 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15065] ppid=15008 vsize=10005480 memory=8257237230052613020 CPUtime=0.07 cores=0,2,4,6
/proc/15011/task/15065/stat : 15065 (java) S 15008 15011 12222 0 -1 1077944384 1 13187 0 0 0 0 5 2 20 0 6 0 106971655 10245611520 4715 33554432000 4194304 4196468 140732074258304 139837013867280 139837009635029 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15066] ppid=15008 vsize=10005480 memory=140083476575872 CPUtime=0.07 cores=0,2,4,6
/proc/15011/task/15066/stat : 15066 (java) S 15008 15011 12222 0 -1 1077944384 1 13187 0 0 0 0 5 2 20 0 6 0 106971655 10245611520 4715 33554432000 4194304 4196468 140732074258304 139836895132560 139837009635029 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15067] ppid=15008 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15011/task/15067/stat : 15067 (java) S 15008 15011 12222 0 -1 1077944384 1 13187 0 0 0 0 5 2 20 0 6 0 106971655 10245611520 4715 33554432000 4194304 4196468 140732074258304 139836894080016 139837009635029 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15068] ppid=15008 vsize=10005480 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/15011/task/15068/stat : 15068 (java) S 15008 15011 12222 0 -1 1077944384 2 13187 0 0 0 0 5 2 20 0 6 0 106971655 10245611520 4715 33554432000 4194304 4196468 140732074258304 139836893027472 139837009635029 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16812 KiB
[startup+0.209872 s]*
/proc/loadavg: 1.85 1.75 1.87 3/215 15077
/proc/meminfo: memFree=22860892/32770624 swapFree=67108404/67108860
[pid=15011] ppid=15008 vsize=10982744 memory=44708 CPUtime=0.25 cores=0,2,4,6
/proc/15011/stat : 15011 (java) S 15008 15011 12222 0 -1 1077944320 7909 13187 0 0 17 1 5 2 20 0 15 0 106971645 11246329856 11177 33554432000 4194304 4196468 140732074258304 140732074240848 139837009624823 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
/proc/15011/statm: 2745686 11177 2954 1 0 2708109 0
[pid=15011/tid=15064] ppid=15008 vsize=10982744 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/15011/task/15064/stat : 15064 (java) R 15008 15011 12222 0 -1 4202560 4474 13187 0 0 11 1 5 2 20 0 15 0 106971654 11246329856 11177 33554432000 4194304 4196468 140732074258304 139836981448120 139837009646749 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15065] ppid=15008 vsize=10982744 memory=345 CPUtime=0.07 cores=0,2,4,6
/proc/15011/task/15065/stat : 15065 (java) S 15008 15011 12222 0 -1 1077944384 1 13187 0 0 0 0 5 2 20 0 15 0 106971655 11246329856 11177 33554432000 4194304 4196468 140732074258304 139837013867280 139837009635029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15066] ppid=15008 vsize=10982744 memory=3546783284012791456 CPUtime=0.07 cores=0,2,4,6
/proc/15011/task/15066/stat : 15066 (java) S 15008 15011 12222 0 -1 1077944384 1 13187 0 0 0 0 5 2 20 0 15 0 106971655 11246329856 11177 33554432000 4194304 4196468 140732074258304 139836895132560 139837009635029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15067] ppid=15008 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15011/task/15067/stat : 15067 (java) S 15008 15011 12222 0 -1 1077944384 1 13187 0 0 0 0 5 2 20 0 15 0 106971655 11246329856 11177 33554432000 4194304 4196468 140732074258304 139836894080016 139837009635029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15068] ppid=15008 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/15011/task/15068/stat : 15068 (java) S 15008 15011 12222 0 -1 1077944384 2 13187 0 0 0 0 5 2 20 0 15 0 106971655 11246329856 11177 33554432000 4194304 4196468 140732074258304 139836893027472 139837009635029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15069] ppid=15008 vsize=10982744 memory=140083476575872 CPUtime=0.07 cores=0,2,4,6
/proc/15011/task/15069/stat : 15069 (java) S 15008 15011 12222 0 -1 1077944384 2 13187 0 0 0 0 5 2 20 0 15 0 106971656 11246329856 11177 33554432000 4194304 4196468 140732074258304 139836502759408 139837009635970 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15070] ppid=15008 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/15011/task/15070/stat : 15070 (java) S 15008 15011 12222 0 -1 1077944384 13 13187 0 0 0 0 5 2 20 0 15 0 106971657 11246329856 11177 33554432000 4194304 4196468 140732074258304 139835760173984 139837009635029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15071] ppid=15008 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15011/task/15071/stat : 15071 (java) S 15008 15011 12222 0 -1 1077944384 1 13187 0 0 0 0 5 2 20 0 15 0 106971657 11246329856 11177 33554432000 4194304 4196468 140732074258304 139835612324848 139837009635029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15072] ppid=15008 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15011/task/15072/stat : 15072 (java) S 15008 15011 12222 0 -1 1077944384 3 13187 0 0 0 0 5 2 20 0 15 0 106971660 11246329856 11177 33554432000 4194304 4196468 140732074258304 139835304925392 139837009643419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15073] ppid=15008 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15011/task/15073/stat : 15073 (java) S 15008 15011 12222 0 -1 1077944384 432 13187 0 0 0 0 5 2 20 0 15 0 106971660 11246329856 11177 33554432000 4194304 4196468 140732074258304 139836501707248 139837009635970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15074] ppid=15008 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15011/task/15074/stat : 15074 (java) S 15008 15011 12222 0 -1 1077944384 192 13187 0 0 1 0 5 2 20 0 15 0 106971660 11246329856 11177 33554432000 4194304 4196468 140732074258304 139836500654704 139837009635970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15075] ppid=15008 vsize=10982744 memory=140083476575872 CPUtime=0.1 cores=0,2,4,6
/proc/15011/task/15075/stat : 15075 (java) S 15008 15011 12222 0 -1 1077944384 604 13187 0 0 3 0 5 2 20 0 15 0 106971660 11246329856 11177 33554432000 4194304 4196468 140732074258304 139836499602160 139837009635970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15076] ppid=15008 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/15011/task/15076/stat : 15076 (java) S 15008 15011 12222 0 -1 1077944384 3 13187 0 0 0 0 5 2 20 0 15 0 106971660 11246329856 11177 33554432000 4194304 4196468 140732074258304 139834874129504 139837009635029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15077] ppid=15008 vsize=10982744 memory=140083476575872 CPUtime=0.07 cores=0,2,4,6
/proc/15011/task/15077/stat : 15077 (java) S 15008 15011 12222 0 -1 1077944384 1 13187 0 0 0 0 5 2 20 0 15 0 106971660 11246329856 11177 33554432000 4194304 4196468 140732074258304 139836498549040 139837009635970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 44708 KiB
[startup+0.310184 s]*
/proc/loadavg: 1.85 1.75 1.87 3/215 15077
/proc/meminfo: memFree=22849440/32770624 swapFree=67108404/67108860
[pid=15011] ppid=15008 vsize=10983192 memory=55420 CPUtime=0.37 cores=0,2,4,6
/proc/15011/stat : 15011 (java) S 15008 15011 12222 0 -1 1077944320 10418 13187 0 0 28 2 5 2 20 0 15 0 106971645 11246788608 13855 33554432000 4194304 4196468 140732074258304 140732074240848 139837009624823 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
/proc/15011/statm: 2745798 13855 3073 1 0 2708109 0
[pid=15011/tid=15064] ppid=15008 vsize=10983192 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/15011/task/15064/stat : 15064 (java) R 15008 15011 12222 0 -1 4202560 6958 13187 0 0 20 1 5 2 20 0 15 0 106971654 11246788608 13855 33554432000 4194304 4196468 140732074258304 139836981436832 139837009646749 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15065] ppid=15008 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15011/task/15065/stat : 15065 (java) S 15008 15011 12222 0 -1 1077944384 1 13187 0 0 0 0 5 2 20 0 15 0 106971655 11246788608 13855 33554432000 4194304 4196468 140732074258304 139837013867280 139837009635029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15066] ppid=15008 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15011/task/15066/stat : 15066 (java) S 15008 15011 12222 0 -1 1077944384 1 13187 0 0 0 0 5 2 20 0 15 0 106971655 11246788608 13855 33554432000 4194304 4196468 140732074258304 139836895132560 139837009635029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15067] ppid=15008 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15011/task/15067/stat : 15067 (java) S 15008 15011 12222 0 -1 1077944384 1 13187 0 0 0 0 5 2 20 0 15 0 106971655 11246788608 13855 33554432000 4194304 4196468 140732074258304 139836894080016 139837009635029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15068] ppid=15008 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15011/task/15068/stat : 15068 (java) S 15008 15011 12222 0 -1 1077944384 2 13187 0 0 0 0 5 2 20 0 15 0 106971655 11246788608 13855 33554432000 4194304 4196468 140732074258304 139836893027472 139837009635029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15069] ppid=15008 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15011/task/15069/stat : 15069 (java) S 15008 15011 12222 0 -1 1077944384 2 13187 0 0 0 0 5 2 20 0 15 0 106971656 11246788608 13855 33554432000 4194304 4196468 140732074258304 139836502759408 139837009635970 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15070] ppid=15008 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/15011/task/15070/stat : 15070 (java) S 15008 15011 12222 0 -1 1077944384 13 13187 0 0 0 0 5 2 20 0 15 0 106971657 11246788608 13855 33554432000 4194304 4196468 140732074258304 139835760173984 139837009635029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15071] ppid=15008 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15011/task/15071/stat : 15071 (java) S 15008 15011 12222 0 -1 1077944384 1 13187 0 0 0 0 5 2 20 0 15 0 106971657 11246788608 13855 33554432000 4194304 4196468 140732074258304 139835612324848 139837009635029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15072] ppid=15008 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15011/task/15072/stat : 15072 (java) S 15008 15011 12222 0 -1 1077944384 3 13187 0 0 0 0 5 2 20 0 15 0 106971660 11246788608 13855 33554432000 4194304 4196468 140732074258304 139835304925392 139837009643419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15073] ppid=15008 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/15011/task/15073/stat : 15073 (java) S 15008 15011 12222 0 -1 1077944384 434 13187 0 0 1 0 5 2 20 0 15 0 106971660 11246788608 13855 33554432000 4194304 4196468 140732074258304 139836501707248 139837009635970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15074] ppid=15008 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/15011/task/15074/stat : 15074 (java) S 15008 15011 12222 0 -1 1077944384 192 13187 0 0 1 0 5 2 20 0 15 0 106971660 11246788608 13855 33554432000 4194304 4196468 140732074258304 139836500654704 139837009635970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15075] ppid=15008 vsize=10983192 memory=140083476575872 CPUtime=0.12 cores=0,2,4,6
/proc/15011/task/15075/stat : 15075 (java) S 15008 15011 12222 0 -1 1077944384 610 13187 0 0 5 0 5 2 20 0 15 0 106971660 11246788608 13855 33554432000 4194304 4196468 140732074258304 139836499602160 139837009635970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15076] ppid=15008 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/15011/task/15076/stat : 15076 (java) S 15008 15011 12222 0 -1 1077944384 3 13187 0 0 0 0 5 2 20 0 15 0 106971660 11246788608 13855 33554432000 4194304 4196468 140732074258304 139834874129504 139837009635029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15077] ppid=15008 vsize=10983192 memory=140083476575872 CPUtime=0.07 cores=0,2,4,6
/proc/15011/task/15077/stat : 15077 (java) S 15008 15011 12222 0 -1 1077944384 1 13187 0 0 0 0 5 2 20 0 15 0 106971660 11246788608 13855 33554432000 4194304 4196468 140732074258304 139836498549040 139837009635970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55420 KiB
[startup+0.700712 s]
/proc/loadavg: 1.85 1.75 1.87 3/215 15077
/proc/meminfo: memFree=22837904/32770624 swapFree=67108404/67108860
[pid=15011] ppid=15008 vsize=10983192 memory=88456 CPUtime=0.98 cores=0,2,4,6
/proc/15011/stat : 15011 (java) S 15008 15011 12222 0 -1 1077944320 16771 13187 0 0 87 4 5 2 20 0 15 0 106971645 11246788608 22114 33554432000 4194304 4196468 140732074258304 140732074240848 139837009624823 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
/proc/15011/statm: 2745798 22114 3247 1 0 2708109 0
[pid=15011/tid=15064] ppid=15008 vsize=10983192 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/15011/task/15064/stat : 15064 (java) R 15008 15011 12222 0 -1 4202560 12220 13187 0 0 56 3 5 2 20 0 15 0 106971654 11246788608 22114 33554432000 4194304 4196468 140732074258304 139836981434552 139836995304989 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15065] ppid=15008 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15011/task/15065/stat : 15065 (java) S 15008 15011 12222 0 -1 1077944384 1 13187 0 0 0 0 5 2 20 0 15 0 106971655 11246788608 22114 33554432000 4194304 4196468 140732074258304 139837013867280 139837009635029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15066] ppid=15008 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15011/task/15066/stat : 15066 (java) S 15008 15011 12222 0 -1 1077944384 1 13187 0 0 0 0 5 2 20 0 15 0 106971655 11246788608 22114 33554432000 4194304 4196468 140732074258304 139836895132560 139837009635029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15067] ppid=15008 vsize=10983192 memory=487 CPUtime=0.07 cores=0,2,4,6
/proc/15011/task/15067/stat : 15067 (java) S 15008 15011 12222 0 -1 1077944384 1 13187 0 0 0 0 5 2 20 0 15 0 106971655 11246788608 22114 33554432000 4194304 4196468 140732074258304 139836894080016 139837009635029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15068] ppid=15008 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15011/task/15068/stat : 15068 (java) S 15008 15011 12222 0 -1 1077944384 2 13187 0 0 0 0 5 2 20 0 15 0 106971655 11246788608 22114 33554432000 4194304 4196468 140732074258304 139836893027472 139837009635029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15069] ppid=15008 vsize=10983192 memory=7229512537422845014 CPUtime=0.07 cores=0,2,4,6
/proc/15011/task/15069/stat : 15069 (java) S 15008 15011 12222 0 -1 1077944384 6 13187 0 0 0 0 5 2 20 0 15 0 106971656 11246788608 22114 33554432000 4194304 4196468 140732074258304 139836502759408 139837009635970 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15070] ppid=15008 vsize=10983192 memory=32804 CPUtime=0.07 cores=0,2,4,6
/proc/15011/task/15070/stat : 15070 (java) S 15008 15011 12222 0 -1 1077944384 13 13187 0 0 0 0 5 2 20 0 15 0 106971657 11246788608 22114 33554432000 4194304 4196468 140732074258304 139835760173984 139837009635029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15071] ppid=15008 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15011/task/15071/stat : 15071 (java) S 15008 15011 12222 0 -1 1077944384 1 13187 0 0 0 0 5 2 20 0 15 0 106971657 11246788608 22114 33554432000 4194304 4196468 140732074258304 139835612324848 139837009635029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15072] ppid=15008 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15011/task/15072/stat : 15072 (java) S 15008 15011 12222 0 -1 1077944384 3 13187 0 0 0 0 5 2 20 0 15 0 106971660 11246788608 22114 33554432000 4194304 4196468 140732074258304 139835304925392 139837009643419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15073] ppid=15008 vsize=10983192 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/15011/task/15073/stat : 15073 (java) S 15008 15011 12222 0 -1 1077944384 1093 13187 0 0 10 0 5 2 20 0 15 0 106971660 11246788608 22114 33554432000 4194304 4196468 140732074258304 139836501707248 139837009635970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15074] ppid=15008 vsize=10983192 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/15011/task/15074/stat : 15074 (java) S 15008 15011 12222 0 -1 1077944384 535 13187 0 0 6 0 5 2 20 0 15 0 106971660 11246788608 22114 33554432000 4194304 4196468 140732074258304 139836500654704 139837009635970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15075] ppid=15008 vsize=10983192 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/15011/task/15075/stat : 15075 (java) S 15008 15011 12222 0 -1 1077944384 695 13187 0 0 13 0 5 2 20 0 15 0 106971660 11246788608 22114 33554432000 4194304 4196468 140732074258304 139836499602160 139837009635970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15076] ppid=15008 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15011/task/15076/stat : 15076 (java) S 15008 15011 12222 0 -1 1077944384 3 13187 0 0 0 0 5 2 20 0 15 0 106971660 11246788608 22114 33554432000 4194304 4196468 140732074258304 139834874129504 139837009635029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15077] ppid=15008 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15011/task/15077/stat : 15077 (java) S 15008 15011 12222 0 -1 1077944384 1 13187 0 0 0 0 5 2 20 0 15 0 106971660 11246788608 22114 33554432000 4194304 4196468 140732074258304 139836498549040 139837009635970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88456 KiB
[startup+1.50137 s]
/proc/loadavg: 1.85 1.75 1.87 3/215 15077
/proc/meminfo: memFree=22793868/32770624 swapFree=67108404/67108860
[pid=15011] ppid=15008 vsize=10991948 memory=177068 CPUtime=3.16 cores=0,2,4,6
/proc/15011/stat : 15011 (java) S 15008 15011 12222 0 -1 1077944320 25014 13187 0 0 302 7 5 2 20 0 15 0 106971645 11255754752 44267 33554432000 4194304 4196468 140732074258304 140732074240848 139837009624823 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
/proc/15011/statm: 2747987 44267 3450 1 0 2709645 0
[pid=15011/tid=15064] ppid=15008 vsize=10991948 memory=4951091520830867572 CPUtime=1.45 cores=0,2,4,6
/proc/15011/task/15064/stat : 15064 (java) R 15008 15011 12222 0 -1 4202560 15079 13187 0 0 134 4 5 2 20 0 15 0 106971654 11255754752 44267 33554432000 4194304 4196468 140732074258304 139836981452192 139836573146531 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15065] ppid=15008 vsize=10991948 memory=4134606225630022328 CPUtime=0.07 cores=0,2,4,6
/proc/15011/task/15065/stat : 15065 (java) S 15008 15011 12222 0 -1 1077944384 1 13187 0 0 0 0 5 2 20 0 15 0 106971655 11255754752 44267 33554432000 4194304 4196468 140732074258304 139837013867280 139837009635029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15066] ppid=15008 vsize=10991948 memory=-5153075247754943381 CPUtime=0.07 cores=0,2,4,6
/proc/15011/task/15066/stat : 15066 (java) S 15008 15011 12222 0 -1 1077944384 1 13187 0 0 0 0 5 2 20 0 15 0 106971655 11255754752 44267 33554432000 4194304 4196468 140732074258304 139836895132560 139837009635029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15067] ppid=15008 vsize=10991948 memory=-7307754284703919509 CPUtime=0.07 cores=0,2,4,6
/proc/15011/task/15067/stat : 15067 (java) S 15008 15011 12222 0 -1 1077944384 1 13187 0 0 0 0 5 2 20 0 15 0 106971655 11255754752 44267 33554432000 4194304 4196468 140732074258304 139836894080016 139837009635029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15068] ppid=15008 vsize=10991948 memory=121844 CPUtime=0.07 cores=0,2,4,6
/proc/15011/task/15068/stat : 15068 (java) S 15008 15011 12222 0 -1 1077944384 2 13187 0 0 0 0 5 2 20 0 15 0 106971655 11255754752 44267 33554432000 4194304 4196468 140732074258304 139836893027472 139837009635029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15069] ppid=15008 vsize=10991948 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15011/task/15069/stat : 15069 (java) S 15008 15011 12222 0 -1 1077944384 14 13187 0 0 0 0 5 2 20 0 15 0 106971656 11255754752 44267 33554432000 4194304 4196468 140732074258304 139836502759408 139837009635970 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15070] ppid=15008 vsize=10991948 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15011/task/15070/stat : 15070 (java) S 15008 15011 12222 0 -1 1077944384 13 13187 0 0 0 0 5 2 20 0 15 0 106971657 11255754752 44267 33554432000 4194304 4196468 140732074258304 139835760173984 139837009635029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15071] ppid=15008 vsize=10991948 memory=280166756581664 CPUtime=0.07 cores=0,2,4,6
/proc/15011/task/15071/stat : 15071 (java) S 15008 15011 12222 0 -1 1077944384 1 13187 0 0 0 0 5 2 20 0 15 0 106971657 11255754752 44267 33554432000 4194304 4196468 140732074258304 139835612324848 139837009635029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15072] ppid=15008 vsize=10991948 memory=280166756996608 CPUtime=0.07 cores=0,2,4,6
/proc/15011/task/15072/stat : 15072 (java) S 15008 15011 12222 0 -1 1077944384 3 13187 0 0 0 0 5 2 20 0 15 0 106971660 11255754752 44267 33554432000 4194304 4196468 140732074258304 139835304925392 139837009643419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15073] ppid=15008 vsize=10991948 memory=140083378300544 CPUtime=0.68 cores=0,2,4,6
/proc/15011/task/15073/stat : 15073 (java) R 15008 15011 12222 0 -1 4202560 3055 13187 0 0 60 1 5 2 20 0 15 0 106971660 11255754752 44267 33554432000 4194304 4196468 140732074258304 139836501693272 139836994525101 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15074] ppid=15008 vsize=10991948 memory=0 CPUtime=0.64 cores=0,2,4,6
/proc/15011/task/15074/stat : 15074 (java) R 15008 15011 12222 0 -1 4202560 2492 13187 0 0 57 0 5 2 20 0 15 0 106971660 11255754752 44267 33554432000 4194304 4196468 140732074258304 139836500635720 139836987515904 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15075] ppid=15008 vsize=10991948 memory=1200 CPUtime=0.56 cores=0,2,4,6
/proc/15011/task/15075/stat : 15075 (java) S 15008 15011 12222 0 -1 1077944384 2152 13187 0 0 49 0 5 2 20 0 15 0 106971660 11255754752 44267 33554432000 4194304 4196468 140732074258304 139836499602160 139837009635970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15076] ppid=15008 vsize=10991948 memory=15876 CPUtime=0.07 cores=0,2,4,6
/proc/15011/task/15076/stat : 15076 (java) S 15008 15011 12222 0 -1 1077944384 3 13187 0 0 0 0 5 2 20 0 15 0 106971660 11255754752 44267 33554432000 4194304 4196468 140732074258304 139834874129504 139837009635029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15077] ppid=15008 vsize=10991948 memory=4044 CPUtime=0.07 cores=0,2,4,6
/proc/15011/task/15077/stat : 15077 (java) S 15008 15011 12222 0 -1 1077944384 1 13187 0 0 0 0 5 2 20 0 15 0 106971660 11255754752 44267 33554432000 4194304 4196468 140732074258304 139836498549040 139837009635970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
Current children cumulated CPU time: 3.16 s
Current children cumulated vsize: 10991948 KiB
################
# More data... #
################
/proc/15011/task/15064/stat : 15064 (java) R 15008 15011 12222 0 -1 4202560 63847 13187 0 0 10094 25 5 2 20 0 15 0 106971654 11348049920 455702 33554432000 4194304 4196468 140732074258304 139836981459032 139836586054506 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15065] ppid=15008 vsize=11082080 memory=1822808 CPUtime=0.82 cores=0,2,4,6
/proc/15011/task/15065/stat : 15065 (java) S 15008 15011 12222 0 -1 1077944384 2360 13187 0 0 57 18 5 2 20 0 15 0 106971655 11348049920 455702 33554432000 4194304 4196468 140732074258304 139837013867280 139837009635029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15066] ppid=15008 vsize=11082080 memory=1076300 CPUtime=0.83 cores=0,2,4,6
/proc/15011/task/15066/stat : 15066 (java) S 15008 15011 12222 0 -1 1077944384 866 13187 0 0 60 16 5 2 20 0 15 0 106971655 11348049920 455702 33554432000 4194304 4196468 140732074258304 139836895132560 139837009635029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15067] ppid=15008 vsize=11082080 memory=496 CPUtime=0.82 cores=0,2,4,6
/proc/15011/task/15067/stat : 15067 (java) S 15008 15011 12222 0 -1 1077944384 2163 13187 0 0 57 18 5 2 20 0 15 0 106971655 11348049920 455702 33554432000 4194304 4196468 140732074258304 139836894080016 139837009635029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15068] ppid=15008 vsize=11082080 memory=1822808 CPUtime=0.83 cores=0,2,4,6
/proc/15011/task/15068/stat : 15068 (java) S 15008 15011 12222 0 -1 1077944384 2692 13187 0 0 59 17 5 2 20 0 15 0 106971655 11348049920 455702 33554432000 4194304 4196468 140732074258304 139836893027472 139837009635029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15069] ppid=15008 vsize=11082080 memory=280166757112096 CPUtime=0.19 cores=0,2,4,6
/proc/15011/task/15069/stat : 15069 (java) S 15008 15011 12222 0 -1 1077944384 5779 13187 0 0 11 1 5 2 20 0 15 0 106971656 11348049920 455702 33554432000 4194304 4196468 140732074258304 139836502759408 139837009635970 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15070] ppid=15008 vsize=11082080 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/15011/task/15070/stat : 15070 (java) S 15008 15011 12222 0 -1 1077944384 19 13187 0 0 0 0 5 2 20 0 15 0 106971657 11348049920 455702 33554432000 4194304 4196468 140732074258304 139835760174048 139837009635029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15071] ppid=15008 vsize=11082080 memory=4785954429024298545 CPUtime=0.07 cores=0,2,4,6
/proc/15011/task/15071/stat : 15071 (java) S 15008 15011 12222 0 -1 1077944384 8 13187 0 0 0 0 5 2 20 0 15 0 106971657 11348049920 455702 33554432000 4194304 4196468 140732074258304 139835612324864 139837009635029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15072] ppid=15008 vsize=11082080 memory=1822808 CPUtime=0.07 cores=0,2,4,6
/proc/15011/task/15072/stat : 15072 (java) S 15008 15011 12222 0 -1 1077944384 3 13187 0 0 0 0 5 2 20 0 15 0 106971660 11348049920 455702 33554432000 4194304 4196468 140732074258304 139835304925392 139837009643419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15073] ppid=15008 vsize=11082080 memory=1822808 CPUtime=12.07 cores=0,2,4,6
/proc/15011/task/15073/stat : 15073 (java) S 15008 15011 12222 0 -1 1077944384 25964 13187 0 0 1196 4 5 2 20 0 15 0 106971660 11348049920 455702 33554432000 4194304 4196468 140732074258304 139836501707248 139837009635970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15074] ppid=15008 vsize=11082080 memory=1275 CPUtime=11.23 cores=0,2,4,6
/proc/15011/task/15074/stat : 15074 (java) S 15008 15011 12222 0 -1 1077944384 20855 13187 0 0 1112 4 5 2 20 0 15 0 106971660 11348049920 455702 33554432000 4194304 4196468 140732074258304 139836500654704 139837009635970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15075] ppid=15008 vsize=11082080 memory=76 CPUtime=3.7 cores=0,2,4,6
/proc/15011/task/15075/stat : 15075 (java) S 15008 15011 12222 0 -1 1077944384 21920 13187 0 0 358 5 5 2 20 0 15 0 106971660 11348049920 455702 33554432000 4194304 4196468 140732074258304 139836499602160 139837009635970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15076] ppid=15008 vsize=11082080 memory=1819776 CPUtime=0.07 cores=0,2,4,6
/proc/15011/task/15076/stat : 15076 (java) S 15008 15011 12222 0 -1 1077944384 3 13187 0 0 0 0 5 2 20 0 15 0 106971660 11348049920 455702 33554432000 4194304 4196468 140732074258304 139834874129504 139837009635029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15077] ppid=15008 vsize=11082080 memory=1819776 CPUtime=0.11 cores=0,2,4,6
/proc/15011/task/15077/stat : 15077 (java) S 15008 15011 12222 0 -1 1077944384 556 13187 0 0 2 2 5 2 20 0 15 0 106971660 11348049920 455702 33554432000 4194304 4196468 140732074258304 139836498549040 139837009635970 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
Current children cumulated CPU time: 131.35 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1822808 KiB
[startup+162.301 s]
/proc/loadavg: 1.88 1.78 1.86 3/215 15209
/proc/meminfo: memFree=20590944/32770624 swapFree=67108404/67108860
[pid=15011] ppid=15008 vsize=11082080 memory=1648100 CPUtime=192.12 cores=0,2,4,6
/proc/15011/stat : 15011 (java) S 15008 15011 12222 0 -1 1077944320 168745 13187 0 0 19086 119 5 2 20 0 15 0 106971645 11348049920 412025 33554432000 4194304 4196468 140732074258304 140732074240848 139837009624823 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
/proc/15011/statm: 2770520 412025 3542 1 0 2732173 0
[pid=15011/tid=15064] ppid=15008 vsize=11082080 memory=1662976 CPUtime=161.2 cores=0,2,4,6
/proc/15011/task/15064/stat : 15064 (java) R 15008 15011 12222 0 -1 4202560 66984 13187 0 0 16087 26 5 2 20 0 15 0 106971654 11348049920 412025 33554432000 4194304 4196468 140732074258304 139836981460128 139836588018560 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15065] ppid=15008 vsize=11082080 memory=1666052 CPUtime=0.85 cores=0,2,4,6
/proc/15011/task/15065/stat : 15065 (java) S 15008 15011 12222 0 -1 1077944384 2985 13187 0 0 60 18 5 2 20 0 15 0 106971655 11348049920 412025 33554432000 4194304 4196468 140732074258304 139837013867280 139837009635029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15066] ppid=15008 vsize=11082080 memory=1684008 CPUtime=0.87 cores=0,2,4,6
/proc/15011/task/15066/stat : 15066 (java) S 15008 15011 12222 0 -1 1077944384 988 13187 0 0 63 17 5 2 20 0 15 0 106971655 11348049920 412025 33554432000 4194304 4196468 140732074258304 139836895132560 139837009635029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15067] ppid=15008 vsize=11082080 memory=1708812 CPUtime=0.85 cores=0,2,4,6
/proc/15011/task/15067/stat : 15067 (java) S 15008 15011 12222 0 -1 1077944384 3299 13187 0 0 60 18 5 2 20 0 15 0 106971655 11348049920 412025 33554432000 4194304 4196468 140732074258304 139836894080016 139837009635029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15068] ppid=15008 vsize=11082080 memory=1708300 CPUtime=0.87 cores=0,2,4,6
/proc/15011/task/15068/stat : 15068 (java) S 15008 15011 12222 0 -1 1077944384 2884 13187 0 0 62 18 5 2 20 0 15 0 106971655 11348049920 412025 33554432000 4194304 4196468 140732074258304 139836893027472 139837009635029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15069] ppid=15008 vsize=11082080 memory=1684008 CPUtime=0.21 cores=0,2,4,6
/proc/15011/task/15069/stat : 15069 (java) S 15008 15011 12222 0 -1 1077944384 6074 13187 0 0 13 1 5 2 20 0 15 0 106971656 11348049920 412025 33554432000 4194304 4196468 140732074258304 139836502759408 139837009635970 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15070] ppid=15008 vsize=11082080 memory=1662976 CPUtime=0.07 cores=0,2,4,6
/proc/15011/task/15070/stat : 15070 (java) S 15008 15011 12222 0 -1 1077944384 19 13187 0 0 0 0 5 2 20 0 15 0 106971657 11348049920 412025 33554432000 4194304 4196468 140732074258304 139835760174048 139837009635029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15071] ppid=15008 vsize=11082080 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15011/task/15071/stat : 15071 (java) S 15008 15011 12222 0 -1 1077944384 8 13187 0 0 0 0 5 2 20 0 15 0 106971657 11348049920 412025 33554432000 4194304 4196468 140732074258304 139835612324864 139837009635029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15072] ppid=15008 vsize=11082080 memory=1648100 CPUtime=0.07 cores=0,2,4,6
/proc/15011/task/15072/stat : 15072 (java) S 15008 15011 12222 0 -1 1077944384 3 13187 0 0 0 0 5 2 20 0 15 0 106971660 11348049920 412025 33554432000 4194304 4196468 140732074258304 139835304925392 139837009643419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15073] ppid=15008 vsize=11082080 memory=2209 CPUtime=12.36 cores=0,2,4,6
/proc/15011/task/15073/stat : 15073 (java) S 15008 15011 12222 0 -1 1077944384 30731 13187 0 0 1224 5 5 2 20 0 15 0 106971660 11348049920 412025 33554432000 4194304 4196468 140732074258304 139836501707248 139837009635970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15074] ppid=15008 vsize=11082080 memory=78 CPUtime=11.53 cores=0,2,4,6
/proc/15011/task/15074/stat : 15074 (java) S 15008 15011 12222 0 -1 1077944384 24954 13187 0 0 1142 4 5 2 20 0 15 0 106971660 11348049920 412025 33554432000 4194304 4196468 140732074258304 139836500654704 139837009635970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15075] ppid=15008 vsize=11082080 memory=1648100 CPUtime=3.77 cores=0,2,4,6
/proc/15011/task/15075/stat : 15075 (java) S 15008 15011 12222 0 -1 1077944384 27011 13187 0 0 364 6 5 2 20 0 15 0 106971660 11348049920 412025 33554432000 4194304 4196468 140732074258304 139836499602160 139837009635970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15076] ppid=15008 vsize=11082080 memory=1648100 CPUtime=0.07 cores=0,2,4,6
/proc/15011/task/15076/stat : 15076 (java) S 15008 15011 12222 0 -1 1077944384 3 13187 0 0 0 0 5 2 20 0 15 0 106971660 11348049920 412025 33554432000 4194304 4196468 140732074258304 139834874129504 139837009635029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15077] ppid=15008 vsize=11082080 memory=1648100 CPUtime=0.14 cores=0,2,4,6
/proc/15011/task/15077/stat : 15077 (java) S 15008 15011 12222 0 -1 1077944384 606 13187 0 0 4 3 5 2 20 0 15 0 106971660 11348049920 412025 33554432000 4194304 4196468 140732074258304 139836498549040 139837009635970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
Current children cumulated CPU time: 192.12 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1648100 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+221.701 s]
/proc/loadavg: 1.92 1.81 1.87 3/215 15211
/proc/meminfo: memFree=20578268/32770624 swapFree=67108404/67108860
[pid=15011] ppid=15008 vsize=11082080 memory=1525484 CPUtime=252.02 cores=0,2,4,6
/proc/15011/stat : 15011 (java) S 15008 15011 12222 0 -1 1077944320 181069 13187 0 0 25072 123 5 2 20 0 15 0 106971645 11348049920 381371 33554432000 4194304 4196468 140732074258304 140732074240848 139837009624823 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
/proc/15011/statm: 2770520 381371 3542 1 0 2732173 0
[pid=15011/tid=15064] ppid=15008 vsize=11082080 memory=1531128 CPUtime=220.51 cores=0,2,4,6
/proc/15011/task/15064/stat : 15064 (java) R 15008 15011 12222 0 -1 4202560 68492 13187 0 0 22017 27 5 2 20 0 15 0 106971654 11348049920 381371 33554432000 4194304 4196468 140732074258304 139836981459360 139836595686087 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15065] ppid=15008 vsize=11082080 memory=1534716 CPUtime=0.9 cores=0,2,4,6
/proc/15011/task/15065/stat : 15065 (java) S 15008 15011 12222 0 -1 1077944384 3088 13187 0 0 65 18 5 2 20 0 15 0 106971655 11348049920 381371 33554432000 4194304 4196468 140732074258304 139837013867280 139837009635029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15066] ppid=15008 vsize=11082080 memory=1548568 CPUtime=0.92 cores=0,2,4,6
/proc/15011/task/15066/stat : 15066 (java) S 15008 15011 12222 0 -1 1077944384 1649 13187 0 0 68 17 5 2 20 0 15 0 106971655 11348049920 381371 33554432000 4194304 4196468 140732074258304 139836895132560 139837009635029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15067] ppid=15008 vsize=11082080 memory=1554212 CPUtime=0.91 cores=0,2,4,6
/proc/15011/task/15067/stat : 15067 (java) S 15008 15011 12222 0 -1 1077944384 4580 13187 0 0 65 19 5 2 20 0 15 0 106971655 11348049920 381371 33554432000 4194304 4196468 140732074258304 139836894080016 139837009635029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15068] ppid=15008 vsize=11082080 memory=1528048 CPUtime=0.92 cores=0,2,4,6
/proc/15011/task/15068/stat : 15068 (java) S 15008 15011 12222 0 -1 1077944384 2950 13187 0 0 67 18 5 2 20 0 15 0 106971655 11348049920 381371 33554432000 4194304 4196468 140732074258304 139836893027472 139837009635029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15069] ppid=15008 vsize=11082080 memory=1560368 CPUtime=0.24 cores=0,2,4,6
/proc/15011/task/15069/stat : 15069 (java) S 15008 15011 12222 0 -1 1077944384 6372 13187 0 0 15 2 5 2 20 0 15 0 106971656 11348049920 381371 33554432000 4194304 4196468 140732074258304 139836502759408 139837009635970 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15070] ppid=15008 vsize=11082080 memory=1528048 CPUtime=0.07 cores=0,2,4,6
/proc/15011/task/15070/stat : 15070 (java) S 15008 15011 12222 0 -1 1077944384 19 13187 0 0 0 0 5 2 20 0 15 0 106971657 11348049920 381371 33554432000 4194304 4196468 140732074258304 139835760174048 139837009635029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15071] ppid=15008 vsize=11082080 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15011/task/15071/stat : 15071 (java) S 15008 15011 12222 0 -1 1077944384 8 13187 0 0 0 0 5 2 20 0 15 0 106971657 11348049920 381371 33554432000 4194304 4196468 140732074258304 139835612324864 139837009635029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15072] ppid=15008 vsize=11082080 memory=8572 CPUtime=0.07 cores=0,2,4,6
/proc/15011/task/15072/stat : 15072 (java) S 15008 15011 12222 0 -1 1077944384 3 13187 0 0 0 0 5 2 20 0 15 0 106971660 11348049920 381371 33554432000 4194304 4196468 140732074258304 139835304925392 139837009643419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15073] ppid=15008 vsize=11082080 memory=1408 CPUtime=12.48 cores=0,2,4,6
/proc/15011/task/15073/stat : 15073 (java) S 15008 15011 12222 0 -1 1077944384 32526 13187 0 0 1236 5 5 2 20 0 15 0 106971660 11348049920 381371 33554432000 4194304 4196468 140732074258304 139836501707248 139837009635970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15074] ppid=15008 vsize=11082080 memory=6791534058613427641 CPUtime=11.67 cores=0,2,4,6
/proc/15011/task/15074/stat : 15074 (java) S 15008 15011 12222 0 -1 1077944384 28614 13187 0 0 1155 5 5 2 20 0 15 0 106971660 11348049920 381371 33554432000 4194304 4196468 140732074258304 139836500654704 139837009635970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15075] ppid=15008 vsize=11082080 memory=1440 CPUtime=3.83 cores=0,2,4,6
/proc/15011/task/15075/stat : 15075 (java) S 15008 15011 12222 0 -1 1077944384 29856 13187 0 0 370 6 5 2 20 0 15 0 106971660 11348049920 381371 33554432000 4194304 4196468 140732074258304 139836499602160 139837009635970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15076] ppid=15008 vsize=11082080 memory=1543440 CPUtime=0.07 cores=0,2,4,6
/proc/15011/task/15076/stat : 15076 (java) S 15008 15011 12222 0 -1 1077944384 3 13187 0 0 0 0 5 2 20 0 15 0 106971660 11348049920 381371 33554432000 4194304 4196468 140732074258304 139834874129504 139837009635029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15077] ppid=15008 vsize=11082080 memory=1543440 CPUtime=0.17 cores=0,2,4,6
/proc/15011/task/15077/stat : 15077 (java) S 15008 15011 12222 0 -1 1077944384 713 13187 0 0 6 4 5 2 20 0 15 0 106971660 11348049920 381371 33554432000 4194304 4196468 140732074258304 139836498549040 139837009635970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
Current children cumulated CPU time: 252.02 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1525484 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+221.743 s]
# the end of solver process 15011 was just reported to runsolver
# cumulated CPU time of all completed processes: user=250.807 s, system=1.27988 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+221.701 s]
/proc/loadavg: 1.92 1.81 1.87 3/215 15211
/proc/meminfo: memFree=20578268/32770624 swapFree=67108404/67108860
[pid=15011] ppid=15008 vsize=11082080 memory=1525484 CPUtime=252.02 cores=0,2,4,6
/proc/15011/stat : 15011 (java) S 15008 15011 12222 0 -1 1077944320 181069 13187 0 0 25072 123 5 2 20 0 15 0 106971645 11348049920 381371 33554432000 4194304 4196468 140732074258304 140732074240848 139837009624823 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
/proc/15011/statm: 2770520 381371 3542 1 0 2732173 0
[pid=15011/tid=15064] ppid=15008 vsize=11082080 memory=1531128 CPUtime=220.51 cores=0,2,4,6
/proc/15011/task/15064/stat : 15064 (java) R 15008 15011 12222 0 -1 4202560 68492 13187 0 0 22017 27 5 2 20 0 15 0 106971654 11348049920 381371 33554432000 4194304 4196468 140732074258304 139836981459360 139836595686087 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15065] ppid=15008 vsize=11082080 memory=1534716 CPUtime=0.9 cores=0,2,4,6
/proc/15011/task/15065/stat : 15065 (java) S 15008 15011 12222 0 -1 1077944384 3088 13187 0 0 65 18 5 2 20 0 15 0 106971655 11348049920 381371 33554432000 4194304 4196468 140732074258304 139837013867280 139837009635029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15066] ppid=15008 vsize=11082080 memory=1548568 CPUtime=0.92 cores=0,2,4,6
/proc/15011/task/15066/stat : 15066 (java) S 15008 15011 12222 0 -1 1077944384 1649 13187 0 0 68 17 5 2 20 0 15 0 106971655 11348049920 381371 33554432000 4194304 4196468 140732074258304 139836895132560 139837009635029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15067] ppid=15008 vsize=11082080 memory=1554212 CPUtime=0.91 cores=0,2,4,6
/proc/15011/task/15067/stat : 15067 (java) S 15008 15011 12222 0 -1 1077944384 4580 13187 0 0 65 19 5 2 20 0 15 0 106971655 11348049920 381371 33554432000 4194304 4196468 140732074258304 139836894080016 139837009635029 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15068] ppid=15008 vsize=11082080 memory=1528048 CPUtime=0.92 cores=0,2,4,6
/proc/15011/task/15068/stat : 15068 (java) S 15008 15011 12222 0 -1 1077944384 2950 13187 0 0 67 18 5 2 20 0 15 0 106971655 11348049920 381371 33554432000 4194304 4196468 140732074258304 139836893027472 139837009635029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15069] ppid=15008 vsize=11082080 memory=1560368 CPUtime=0.24 cores=0,2,4,6
/proc/15011/task/15069/stat : 15069 (java) S 15008 15011 12222 0 -1 1077944384 6372 13187 0 0 15 2 5 2 20 0 15 0 106971656 11348049920 381371 33554432000 4194304 4196468 140732074258304 139836502759408 139837009635970 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15070] ppid=15008 vsize=11082080 memory=1528048 CPUtime=0.07 cores=0,2,4,6
/proc/15011/task/15070/stat : 15070 (java) S 15008 15011 12222 0 -1 1077944384 19 13187 0 0 0 0 5 2 20 0 15 0 106971657 11348049920 381371 33554432000 4194304 4196468 140732074258304 139835760174048 139837009635029 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15071] ppid=15008 vsize=11082080 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15011/task/15071/stat : 15071 (java) S 15008 15011 12222 0 -1 1077944384 8 13187 0 0 0 0 5 2 20 0 15 0 106971657 11348049920 381371 33554432000 4194304 4196468 140732074258304 139835612324864 139837009635029 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15072] ppid=15008 vsize=11082080 memory=8572 CPUtime=0.07 cores=0,2,4,6
/proc/15011/task/15072/stat : 15072 (java) S 15008 15011 12222 0 -1 1077944384 3 13187 0 0 0 0 5 2 20 0 15 0 106971660 11348049920 381371 33554432000 4194304 4196468 140732074258304 139835304925392 139837009643419 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15073] ppid=15008 vsize=11082080 memory=1408 CPUtime=12.48 cores=0,2,4,6
/proc/15011/task/15073/stat : 15073 (java) S 15008 15011 12222 0 -1 1077944384 32526 13187 0 0 1236 5 5 2 20 0 15 0 106971660 11348049920 381371 33554432000 4194304 4196468 140732074258304 139836501707248 139837009635970 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15074] ppid=15008 vsize=11082080 memory=6791534058613427641 CPUtime=11.67 cores=0,2,4,6
/proc/15011/task/15074/stat : 15074 (java) S 15008 15011 12222 0 -1 1077944384 28614 13187 0 0 1155 5 5 2 20 0 15 0 106971660 11348049920 381371 33554432000 4194304 4196468 140732074258304 139836500654704 139837009635970 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15075] ppid=15008 vsize=11082080 memory=1440 CPUtime=3.83 cores=0,2,4,6
/proc/15011/task/15075/stat : 15075 (java) S 15008 15011 12222 0 -1 1077944384 29856 13187 0 0 370 6 5 2 20 0 15 0 106971660 11348049920 381371 33554432000 4194304 4196468 140732074258304 139836499602160 139837009635970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15076] ppid=15008 vsize=11082080 memory=1543440 CPUtime=0.07 cores=0,2,4,6
/proc/15011/task/15076/stat : 15076 (java) S 15008 15011 12222 0 -1 1077944384 3 13187 0 0 0 0 5 2 20 0 15 0 106971660 11348049920 381371 33554432000 4194304 4196468 140732074258304 139834874129504 139837009635029 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
[pid=15011/tid=15077] ppid=15008 vsize=11082080 memory=1543440 CPUtime=0.17 cores=0,2,4,6
/proc/15011/task/15077/stat : 15077 (java) S 15008 15011 12222 0 -1 1077944384 713 13187 0 0 6 4 5 2 20 0 15 0 106971660 11348049920 381371 33554432000 4194304 4196468 140732074258304 139836498549040 139837009635970 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 16011264 140732074261096 140732074263905 140732074263905 140732074266575 0
Current children cumulated CPU time: 252.02 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1525484 KiB
Child status: 143
Real time (s): 221.743
CPU time (s): 252.087
CPU user time (s): 250.807
CPU system time (s): 1.27988
CPU usage (%): 113.684
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 1823316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.807
system time used= 1.27988
maximum resident set size= 1824856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 195265
page faults= 0
swaps= 0
block input operations= 0
block output operations= 504
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18383
involuntary context switches= 563
# summary of solver processes directly reported to runsolver:
# pid: 15011
# total CPU time (s): 252.087
# total CPU user time (s): 250.807
# total CPU system time (s): 1.27988
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.40968 second user time and 2.02769 second system time
The end