0.98/0.76 c Concrete v3.9.2.1532736233296 running
20.32/7.64 c 05:19:31.181 [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.32/7.64 c 05:19:31.185 [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.32/7.64 c 05:19:31.191 [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.32/7.64 c 05:19:31.192 [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.32/7.65 c 05:19:31.193 [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.32/7.65 c 05:19:31.196 [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.32/7.65 c 05:19:31.196 [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.32/7.65 c 05:19:31.198 [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.32/7.65 c 05:19:31.199 [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.32/7.66 c 05:19:31.201 [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.32/7.66 c 05:19:31.202 [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.32/7.66 c 05:19:31.204 [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.32/7.66 c 05:19:31.204 [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.32/7.66 c 05:19:31.206 [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.32/7.66 c 05:19:31.208 [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.32/7.66 c 05:19:31.209 [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.32/7.66 c 05:19:31.210 [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.32/7.66 c 05:19:31.210 [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.32/7.66 c 05:19:31.212 [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.32/7.66 c 05:19:31.212 [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.32/7.67 c 05:19:31.214 [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.32/7.67 c 05:19:31.215 [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.32/7.67 c 05:19:31.215 [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.32/7.67 c 05:19:31.218 [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.32/7.68 c 05:19:31.218 [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.32/7.68 c 05:19:31.220 [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.32/7.68 c 05:19:31.220 [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.32/7.68 c 05:19:31.222 [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.32/7.68 c 05:19:31.222 [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.32/7.68 c 05:19:31.225 [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.32/7.68 c 05:19:31.225 [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.32/7.69 c 05:19:31.226 [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.32/7.69 c 05:19:31.228 [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.32/7.69 c 05:19:31.228 [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.32/7.69 c 05:19:31.229 [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.32/7.69 c 05:19:31.229 [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.32/7.69 c 05:19:31.230 [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.32/7.69 c 05:19:31.231 [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.32/7.69 c 05:19:31.231 [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.32/7.69 c 05:19:31.232 [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.32/7.69 c 05:19:31.232 [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.32/7.69 c 05:19:31.235 [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.32/7.69 c 05:19:31.235 [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.32/7.69 c 05:19:31.236 [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.32/7.69 c 05:19:31.236 [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.32/7.69 c 05:19:31.237 [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.32/7.69 c 05:19:31.238 [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.32/7.69 c 05:19:31.238 [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.32/7.69 c 05:19:31.240 [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.32/7.69 c 05:19:31.240 [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.32/7.69 c 05:19:31.241 [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.32/7.69 c 05:19:31.241 [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.32/7.69 c 05:19:31.242 [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.32/7.70 c 05:19:31.244 [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.32/7.70 c 05:19:31.244 [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.61/7.70 c 05:19:31.245 [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.61/7.70 c 05:19:31.245 [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.61/7.70 c 05:19:31.246 [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.61/7.70 c 05:19:31.248 [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.61/7.70 c 05:19:31.249 [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.61/7.70 c 05:19:31.250 [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.61/7.70 c 05:19:31.250 [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.61/7.70 c 05:19:31.251 [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.61/7.71 c 05:19:31.252 [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.61/7.71 c 05:19:31.252 [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.61/7.71 c 05:19:31.253 [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.61/7.71 c 05:19:31.254 [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.61/7.71 c 05:19:31.255 [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.61/7.71 c 05:19:31.256 [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.61/7.71 c 05:19:31.257 [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.61/7.71 c 05:19:31.258 [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.61/7.71 c 05:19:31.260 [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.61/7.71 c 05:19:31.260 [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.61/7.72 c 05:19:31.261 [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.61/7.72 c 05:19:31.263 [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.61/7.72 c 05:19:31.263 [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.61/7.72 c 05:19:31.265 [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.61/7.72 c 05:19:31.266 [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.61/7.72 c 05:19:31.266 [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.61/7.72 c 05:19:31.268 [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.61/7.73 c 05:19:31.269 [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.61/7.73 c 05:19:31.270 [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.61/7.73 c 05:19:31.271 [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.61/7.73 c 05:19:31.271 [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.61/7.73 c 05:19:31.272 [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.61/7.73 c 05:19:31.273 [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.61/7.73 c 05:19:31.274 [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
20.61/7.73 c 05:19:31.275 [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
20.61/7.73 c 05:19:31.276 [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
20.61/7.73 c 05:19:31.277 [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
20.61/7.74 c 05:19:31.278 [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
20.61/7.74 c 05:19:31.279 [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
20.61/7.74 c 05:19:31.279 [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
20.61/7.74 c 05:19:31.281 [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
20.61/7.74 c 05:19:31.282 [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
20.61/7.74 c 05:19:31.283 [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
20.61/7.74 c 05:19:31.283 [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
20.61/7.74 c 05:19:31.285 [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
20.61/7.74 c 05:19:31.286 [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
20.61/7.74 c 05:19:31.287 [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
20.61/7.74 c 05:19:31.287 [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
20.61/7.74 c 05:19:31.289 [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
20.61/7.74 c 05:19:31.290 [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
20.61/7.74 c 05:19:31.291 [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
20.61/7.75 c 05:19:31.291 [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
20.61/7.75 c 05:19:31.292 [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
20.61/7.75 c 05:19:31.293 [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
20.61/7.75 c 05:19:31.293 [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
20.61/7.75 c 05:19:31.295 [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
20.61/7.75 c 05:19:31.295 [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
20.61/7.75 c 05:19:31.296 [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
20.61/7.75 c 05:19:31.296 [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
20.61/7.75 c 05:19:31.296 [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
20.61/7.75 c 05:19:31.298 [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
20.61/7.75 c 05:19:31.298 [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
20.61/7.75 c 05:19:31.298 [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
20.61/7.75 c 05:19:31.300 [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
20.61/7.75 c 05:19:31.300 [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
20.61/7.75 c 05:19:31.301 [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
20.61/7.75 c 05:19:31.301 [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
20.61/7.75 c 05:19:31.302 [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
20.61/7.76 c 05:19:31.302 [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
20.61/7.76 c 05:19:31.302 [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
20.61/7.76 c 05:19:31.303 [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
20.61/7.76 c 05:19:31.304 [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
20.61/7.76 c 05:19:31.305 [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
20.61/7.76 c 05:19:31.305 [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
20.61/7.76 c 05:19:31.306 [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
20.61/7.76 c 05:19:31.307 [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
20.61/7.76 c 05:19:31.307 [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
20.61/7.76 c 05:19:31.309 [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
20.61/7.76 c 05:19:31.313 [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
20.61/7.77 c 05:19:31.314 [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
20.61/7.77 c 05:19:31.315 [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
20.61/7.77 c 05:19:31.315 [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
20.61/7.77 c 05:19:31.317 [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
20.61/7.77 c 05:19:31.318 [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
20.61/7.77 c 05:19:31.318 [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
20.61/7.77 c 05:19:31.319 [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
20.61/7.78 c 05:19:31.320 [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
20.61/7.78 c 05:19:31.321 [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
20.61/7.78 c 05:19:31.321 [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
20.61/7.78 c 05:19:31.322 [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
20.61/7.78 c 05:19:31.323 [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
20.61/7.78 c 05:19:31.324 [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
20.61/7.78 c 05:19:31.325 [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
20.61/7.78 c 05:19:31.326 [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
20.61/7.78 c 05:19:31.326 [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
20.61/7.78 c 05:19:31.327 [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
20.61/7.78 c 05:19:31.328 [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
20.61/7.78 c 05:19:31.329 [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
20.61/7.78 c 05:19:31.331 [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
20.61/7.78 c 05:19:31.331 [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
20.61/7.78 c 05:19:31.331 [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
20.61/7.78 c 05:19:31.332 [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
20.61/7.78 c 05:19:31.332 [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
20.61/7.78 c 05:19:31.333 [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
20.61/7.78 c 05:19:31.333 [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
20.61/7.79 c 05:19:31.334 [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
20.61/7.79 c 05:19:31.334 [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
20.61/7.79 c 05:19:31.335 [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
20.61/7.79 c 05:19:31.336 [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
20.61/7.79 c 05:19:31.336 [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
20.61/7.79 c 05:19:31.336 [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
20.61/7.79 c 05:19:31.337 [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
20.61/7.79 c 05:19:31.338 [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
20.61/7.79 c 05:19:31.338 [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
20.61/7.79 c 05:19:31.339 [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
20.61/7.79 c 05:19:31.339 [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
20.61/7.79 c 05:19:31.340 [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
20.61/7.79 c 05:19:31.340 [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
20.61/7.79 c 05:19:31.341 [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
20.61/7.79 c 05:19:31.341 [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
20.61/7.79 c 05:19:31.343 [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
20.61/7.79 c 05:19:31.343 [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
20.61/7.80 c 05:19:31.345 [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
20.91/7.80 c 05:19:31.345 [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
20.91/7.80 c 05:19:31.346 [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
20.91/7.80 c 05:19:31.347 [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
20.91/7.80 c 05:19:31.347 [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
20.91/7.80 c 05:19:31.348 [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
20.91/7.80 c 05:19:31.349 [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
20.91/7.80 c 05:19:31.349 [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
20.91/7.80 c 05:19:31.351 [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
20.91/7.80 c 05:19:31.351 [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
20.91/7.80 c 05:19:31.353 [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
20.91/7.80 c 05:19:31.353 [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
20.91/7.81 c 05:19:31.354 [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
20.91/7.81 c 05:19:31.354 [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
20.91/7.81 c 05:19:31.356 [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
20.91/7.81 c 05:19:31.357 [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
20.91/7.81 c 05:19:31.358 [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
20.91/7.81 c 05:19:31.358 [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
20.91/7.81 c 05:19:31.360 [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
20.91/7.81 c 05:19:31.360 [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
20.91/7.81 c 05:19:31.360 [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
20.91/7.81 c 05:19:31.362 [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
20.91/7.81 c 05:19:31.362 [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
20.91/7.82 c 05:19:31.363 [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
20.91/7.82 c 05:19:31.364 [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
20.91/7.82 c 05:19:31.365 [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
20.91/7.82 c 05:19:31.365 [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
20.91/7.82 c 05:19:31.367 [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
20.91/7.82 c 05:19:31.367 [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
20.91/7.82 c 05:19:31.367 [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
20.91/7.82 c 05:19:31.368 [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
20.91/7.82 c 05:19:31.368 [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
20.91/7.82 c 05:19:31.370 [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
20.91/7.82 c 05:19:31.370 [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
20.91/7.82 c 05:19:31.371 [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
20.91/7.83 c 05:19:31.371 [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
20.91/7.83 c 05:19:31.372 [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
20.91/7.83 c 05:19:31.372 [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
20.91/7.83 c 05:19:31.373 [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
20.91/7.83 c 05:19:31.373 [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
20.91/7.83 c 05:19:31.373 [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
20.91/7.83 c 05:19:31.375 [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
20.91/7.83 c 05:19:31.375 [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
20.91/7.83 c 05:19:31.376 [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
20.91/7.83 c 05:19:31.376 [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
20.91/7.83 c 05:19:31.377 [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
20.91/7.83 c 05:19:31.378 [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
20.91/7.83 c 05:19:31.379 [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
20.91/7.84 c 05:19:31.380 [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
20.91/7.84 c 05:19:31.381 [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
20.91/7.84 c 05:19:31.381 [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
20.91/7.84 c 05:19:31.382 [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
20.91/7.84 c 05:19:31.383 [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
20.91/7.84 c 05:19:31.384 [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
20.91/7.84 c 05:19:31.384 [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
20.91/7.84 c 05:19:31.384 [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
20.91/7.84 c 05:19:31.387 [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
20.91/7.84 c 05:19:31.387 [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
20.91/7.84 c 05:19:31.388 [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
20.91/7.84 c 05:19:31.389 [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
20.91/7.84 c 05:19:31.389 [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
20.91/7.84 c 05:19:31.390 [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
20.91/7.84 c 05:19:31.390 [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
20.91/7.84 c 05:19:31.391 [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
20.91/7.84 c 05:19:31.393 [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
20.91/7.85 c 05:19:31.393 [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
20.91/7.85 c 05:19:31.394 [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
20.91/7.85 c 05:19:31.394 [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
20.91/7.85 c 05:19:31.395 [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
20.91/7.85 c 05:19:31.396 [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
20.91/7.85 c 05:19:31.397 [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
20.91/7.85 c 05:19:31.398 [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
20.91/7.85 c 05:19:31.399 [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
20.91/7.85 c 05:19:31.399 [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
20.91/7.85 c 05:19:31.401 [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
20.91/7.85 c 05:19:31.401 [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
20.91/7.85 c 05:19:31.402 [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
20.91/7.85 c 05:19:31.403 [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
20.91/7.86 c 05:19:31.403 [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
20.91/7.86 c 05:19:31.405 [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
20.91/7.86 c 05:19:31.406 [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
20.91/7.86 c 05:19:31.407 [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
20.91/7.86 c 05:19:31.408 [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
20.91/7.86 c 05:19:31.409 [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
20.91/7.86 c 05:19:31.409 [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
20.91/7.86 c 05:19:31.411 [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
20.91/7.86 c 05:19:31.412 [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
20.91/7.86 c 05:19:31.412 [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
20.91/7.87 c 05:19:31.414 [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
20.91/7.87 c 05:19:31.414 [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
20.91/7.87 c 05:19:31.414 [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
20.91/7.87 c 05:19:31.415 [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
20.91/7.87 c 05:19:31.415 [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
20.91/7.87 c 05:19:31.415 [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
20.91/7.87 c 05:19:31.416 [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
20.91/7.87 c 05:19:31.416 [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
20.91/7.87 c 05:19:31.417 [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
20.91/7.87 c 05:19:31.417 [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
20.91/7.87 c 05:19:31.417 [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
20.91/7.87 c 05:19:31.418 [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
20.91/7.87 c 05:19:31.418 [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
20.91/7.87 c 05:19:31.419 [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
20.91/7.87 c 05:19:31.419 [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
20.91/7.87 c 05:19:31.420 [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
20.91/7.87 c 05:19:31.420 [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
20.91/7.87 c 05:19:31.420 [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
20.91/7.87 c 05:19:31.422 [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
20.91/7.87 c 05:19:31.422 [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
20.91/7.87 c 05:19:31.423 [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
20.91/7.88 c 05:19:31.423 [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
20.91/7.88 c 05:19:31.424 [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
20.91/7.88 c 05:19:31.424 [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
20.91/7.88 c 05:19:31.426 [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
20.91/7.88 c 05:19:31.427 [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
20.91/7.88 c 05:19:31.428 [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
20.91/7.88 c 05:19:31.428 [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
20.91/7.88 c 05:19:31.428 [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
20.91/7.88 c 05:19:31.429 [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
20.91/7.88 c 05:19:31.431 [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
20.91/7.88 c 05:19:31.432 [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
20.91/7.88 c 05:19:31.432 [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
20.91/7.88 c 05:19:31.433 [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
20.91/7.89 c 05:19:31.433 [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
20.91/7.89 c 05:19:31.435 [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
20.91/7.89 c 05:19:31.436 [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
20.91/7.89 c 05:19:31.436 [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
20.91/7.89 c 05:19:31.438 [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
20.91/7.89 c 05:19:31.438 [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
20.91/7.89 c 05:19:31.440 [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
20.91/7.89 c 05:19:31.440 [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
20.91/7.89 c 05:19:31.441 [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
20.91/7.89 c 05:19:31.442 [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
20.91/7.90 c 05:19:31.444 [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
20.91/7.90 c 05:19:31.445 [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.19/7.90 c 05:19:31.445 [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.19/7.90 c 05:19:31.446 [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.19/7.90 c 05:19:31.446 [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.19/7.90 c 05:19:31.446 [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.19/7.90 c 05:19:31.448 [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.19/7.90 c 05:19:31.448 [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.19/7.91 c 05:19:31.463 [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.19/7.93 c 05:19:31.479 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34384. 'extension(x[1][35]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.93 c 05:19:31.480 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34386. 'extension(x[1][35]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.93 c 05:19:31.480 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34392. 'extension(x[0][19]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.93 c 05:19:31.480 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34396. 'extension(x[0][32]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.93 c 05:19:31.480 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34398. 'extension(x[2][32]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.93 c 05:19:31.481 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34410. 'extension(x[0][34]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.93 c 05:19:31.481 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34412. 'extension(x[2][34]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.93 c 05:19:31.482 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34424. 'extension(x[0][43]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.93 c 05:19:31.482 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34426. 'extension(x[2][43]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.93 c 05:19:31.482 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34436. 'extension(x[1][1]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.93 c 05:19:31.483 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34442. 'extension(x[1][11]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.93 c 05:19:31.483 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34448. 'extension(x[1][12]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.93 c 05:19:31.483 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34450. 'extension(x[3][12]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.94 c 05:19:31.484 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34472. 'extension(x[2][8]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.94 c 05:19:31.484 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34478. 'extension(x[4][11]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.94 c 05:19:31.485 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34492. 'extension(x[2][14]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.94 c 05:19:31.485 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34494. 'extension(x[4][14]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.94 c 05:19:31.485 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34508. 'extension(x[2][42]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.94 c 05:19:31.486 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34510. 'extension(x[4][42]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.94 c 05:19:31.486 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34524. 'extension(x[5][1]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.94 c 05:19:31.487 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34534. 'extension(x[5][8]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.94 c 05:19:31.487 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34548. 'extension(x[5][19]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.94 c 05:19:31.488 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34558. 'extension(wk[0][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.19/7.94 c 05:19:31.488 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34560. 'extension(x[4][0]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.94 c 05:19:31.488 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34562. 'extension(x[6][0]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.94 c 05:19:31.488 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34576. 'extension(wk[3][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.19/7.94 c 05:19:31.489 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34578. 'extension(x[4][3]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.94 c 05:19:31.489 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34584. 'extension(wk[7][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.19/7.94 c 05:19:31.489 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34586. 'extension(x[4][7]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.94 c 05:19:31.489 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34592. 'extension(wk[20][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.19/7.94 c 05:19:31.489 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34594. 'extension(x[4][20]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.94 c 05:19:31.490 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34600. 'extension(wk[30][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.19/7.94 c 05:19:31.490 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34602. 'extension(x[4][30]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.94 c 05:19:31.490 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34604. 'extension(x[6][30]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.94 c 05:19:31.491 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34620. 'extension(wk[3][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.19/7.94 c 05:19:31.491 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34626. 'extension(wk[7][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.19/7.94 c 05:19:31.491 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34632. 'extension(wk[16][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.19/7.95 c 05:19:31.492 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34634. 'extension(x[5][16]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.95 c 05:19:31.492 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34636. 'extension(x[7][16]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.95 c 05:19:31.492 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34650. 'extension(wk[20][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.19/7.95 c 05:19:31.493 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34656. 'extension(wk[23][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.19/7.95 c 05:19:31.493 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34658. 'extension(x[5][23]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.95 c 05:19:31.493 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34660. 'extension(x[7][23]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.95 c 05:19:31.494 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34674. 'extension(wk[32][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.19/7.95 c 05:19:31.494 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34676. 'extension(x[5][32]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.95 c 05:19:31.494 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34682. 'extension(wk[36][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.19/7.95 c 05:19:31.494 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34684. 'extension(x[5][36]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.95 c 05:19:31.494 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34686. 'extension(x[7][36]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.95 c 05:19:31.495 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34702. 'extension(x[6][2]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.95 c 05:19:31.495 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34704. 'extension(x[8][2]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.95 c 05:19:31.496 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34718. 'extension(x[6][18]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.95 c 05:19:31.496 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34724. 'extension(x[6][25]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.95 c 05:19:31.496 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34726. 'extension(x[8][25]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.95 c 05:19:31.497 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34740. 'extension(x[6][26]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.95 c 05:19:31.497 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34746. 'extension(x[8][32]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.95 c 05:19:31.498 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34762. 'extension(x[9][3]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.95 c 05:19:31.498 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34772. 'extension(x[7][5]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.95 c 05:19:31.498 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34778. 'extension(x[9][7]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.95 c 05:19:31.499 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34788. 'extension(x[7][9]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.95 c 05:19:31.499 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34790. 'extension(x[9][9]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.95 c 05:19:31.500 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34808. 'extension(x[9][20]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.95 c 05:19:31.500 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34826. 'extension(x[8][23]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.95 c 05:19:31.500 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34828. 'extension(x[10][23]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.95 c 05:19:31.501 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34842. 'extension(x[10][26]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.95 c 05:19:31.501 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34852. 'extension(x[8][40]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.95 c 05:19:31.502 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34858. 'extension(x[9][0]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.95 c 05:19:31.502 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34860. 'extension(x[11][0]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.95 c 05:19:31.502 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34874. 'extension(x[9][12]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.96 c 05:19:31.503 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34880. 'extension(x[11][18]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.96 c 05:19:31.503 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34890. 'extension(x[9][25]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.96 c 05:19:31.504 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34900. 'extension(x[12][5]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.96 c 05:19:31.504 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34918. 'extension(x[10][32]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.96 c 05:19:31.504 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34920. 'extension(x[12][32]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.96 c 05:19:31.505 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34936. 'extension(x[12][40]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.96 c 05:19:31.506 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34946. 'extension(wk[12][1]=[0‥1]) :: init: true :: relation: Empty MDD
21.19/7.96 c 05:19:31.506 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34948. 'extension(x[13][12]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.96 c 05:19:31.506 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34958. 'extension(wk[13][1]=[0‥1]) :: init: true :: relation: Empty MDD
21.19/7.96 c 05:19:31.506 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34960. 'extension(x[11][13]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.96 c 05:19:31.506 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34966. 'extension(wk[17][1]=[0‥1]) :: init: true :: relation: Empty MDD
21.19/7.96 c 05:19:31.507 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34968. 'extension(x[11][17]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.96 c 05:19:31.507 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34974. 'extension(wk[21][1]=[0‥1]) :: init: true :: relation: Empty MDD
21.19/7.96 c 05:19:31.507 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34976. 'extension(x[11][21]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.96 c 05:19:31.507 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34978. 'extension(x[13][21]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.96 c 05:19:31.508 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34992. 'extension(wk[25][1]=[0‥1]) :: init: true :: relation: Empty MDD
21.19/7.96 c 05:19:31.508 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34994. 'extension(x[13][25]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.96 c 05:19:31.508 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35004. 'extension(wk[13][1]=[0‥1]) :: init: true :: relation: Empty MDD
21.19/7.96 c 05:19:31.509 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35010. 'extension(wk[17][1]=[0‥1]) :: init: true :: relation: Empty MDD
21.19/7.96 c 05:19:31.509 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35016. 'extension(wk[23][1]=[0‥1]) :: init: true :: relation: Empty MDD
21.19/7.96 c 05:19:31.509 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35018. 'extension(x[12][23]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.96 c 05:19:31.509 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35024. 'extension(wk[43][1]=[0‥1]) :: init: true :: relation: Empty MDD
21.19/7.96 c 05:19:31.509 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35026. 'extension(x[12][43]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.96 c 05:19:31.510 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35032. 'extension(x[13][10]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.96 c 05:19:31.510 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35038. 'extension(x[15][17]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.96 c 05:19:31.510 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35048. 'extension(x[15][23]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.96 c 05:19:31.511 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35062. 'extension(x[15][43]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.96 c 05:19:31.511 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35074. 'extension(x[16][13]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.96 c 05:19:31.512 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35084. 'extension(x[14][21]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.96 c 05:19:31.512 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35090. 'extension(x[14][33]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.96 c 05:19:31.512 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35096. 'extension(x[14][41]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.96 c 05:19:31.512 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35102. 'extension(x[17][10]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.96 c 05:19:31.513 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35112. 'extension(x[17][21]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.97 c 05:19:31.513 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35126. 'extension(x[17][33]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.97 c 05:19:31.514 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35142. 'extension(x[17][41]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.97 c 05:19:31.515 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35156. 'extension(x[15][43]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.97 c 05:19:31.515 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35158. 'extension(x[17][43]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.97 c 05:19:31.515 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35170. 'extension(x[15][44]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.97 c 05:19:31.515 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35172. 'extension(x[17][44]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.97 c 05:19:31.516 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35184. 'extension(x[17][6]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.97 c 05:19:31.516 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35190. 'extension(wk[6][2]=[0‥1]) :: init: true :: relation: Empty MDD
21.19/7.97 c 05:19:31.516 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35192. 'extension(x[20][6]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.97 c 05:19:31.517 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35206. 'extension(wk[27][2]=[0‥1]) :: init: true :: relation: Empty MDD
21.19/7.97 c 05:19:31.517 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35208. 'extension(x[18][27]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.97 c 05:19:31.517 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35214. 'extension(wk[37][2]=[0‥1]) :: init: true :: relation: Empty MDD
21.19/7.97 c 05:19:31.517 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35216. 'extension(x[18][37]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.98 c 05:19:31.518 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35222. 'extension(wk[27][2]=[0‥1]) :: init: true :: relation: Empty MDD
21.19/7.98 c 05:19:31.518 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35224. 'extension(x[21][27]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.98 c 05:19:31.518 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35238. 'extension(wk[29][2]=[0‥1]) :: init: true :: relation: Empty MDD
21.19/7.98 c 05:19:31.519 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35240. 'extension(x[19][29]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.98 c 05:19:31.519 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35246. 'extension(wk[31][2]=[0‥1]) :: init: true :: relation: Empty MDD
21.19/7.98 c 05:19:31.519 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35248. 'extension(x[19][31]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.98 c 05:19:31.519 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35254. 'extension(wk[37][2]=[0‥1]) :: init: true :: relation: Empty MDD
21.19/7.98 c 05:19:31.520 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35260. 'extension(x[20][9]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.98 c 05:19:31.520 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35266. 'extension(x[22][29]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.98 c 05:19:31.520 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35284. 'extension(x[20][33]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.98 c 05:19:31.521 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35286. 'extension(x[22][33]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.98 c 05:19:31.521 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35302. 'extension(x[22][37]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.98 c 05:19:31.522 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35322. 'extension(x[21][44]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.98 c 05:19:31.522 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35328. 'extension(x[24][9]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.98 c 05:19:31.523 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35338. 'extension(x[22][11]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.98 c 05:19:31.523 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35344. 'extension(x[24][31]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.98 c 05:19:31.523 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35356. 'extension(x[22][42]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.98 c 05:19:31.523 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35358. 'extension(x[24][42]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.98 c 05:19:31.524 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35372. 'extension(x[24][44]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.98 c 05:19:31.524 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35382. 'extension(x[25][11]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.98 c 05:19:31.525 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35396. 'extension(x[23][34]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.98 c 05:19:31.525 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35406. 'extension(x[24][38]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.98 c 05:19:31.525 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35408. 'extension(x[26][38]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.98 c 05:19:31.526 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35422. 'extension(wk[26][3]=[0‥1]) :: init: true :: relation: Empty MDD
21.19/7.98 c 05:19:31.526 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35424. 'extension(x[25][26]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.98 c 05:19:31.526 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35426. 'extension(x[27][26]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.98 c 05:19:31.527 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35440. 'extension(wk[34][3]=[0‥1]) :: init: true :: relation: Empty MDD
21.19/7.98 c 05:19:31.527 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35442. 'extension(x[27][34]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.98 c 05:19:31.527 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35456. 'extension(wk[37][3]=[0‥1]) :: init: true :: relation: Empty MDD
21.19/7.98 c 05:19:31.528 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35458. 'extension(x[25][37]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.98 c 05:19:31.528 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35460. 'extension(x[27][37]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.98 c 05:19:31.528 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35476. 'extension(wk[41][3]=[0‥1]) :: init: true :: relation: Empty MDD
21.19/7.99 c 05:19:31.529 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35478. 'extension(x[25][41]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.99 c 05:19:31.529 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35484. 'extension(wk[44][3]=[0‥1]) :: init: true :: relation: Empty MDD
21.19/7.99 c 05:19:31.529 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35486. 'extension(x[25][44]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.99 c 05:19:31.529 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35488. 'extension(x[27][44]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.99 c 05:19:31.530 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35500. 'extension(wk[16][3]=[0‥1]) :: init: true :: relation: Empty MDD
21.19/7.99 c 05:19:31.530 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35502. 'extension(x[26][16]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.99 c 05:19:31.530 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35508. 'extension(wk[28][3]=[0‥1]) :: init: true :: relation: Empty MDD
21.19/7.99 c 05:19:31.530 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35510. 'extension(x[26][28]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.99 c 05:19:31.530 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35516. 'extension(wk[29][3]=[0‥1]) :: init: true :: relation: Empty MDD
21.19/7.99 c 05:19:31.531 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35518. 'extension(x[26][29]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.99 c 05:19:31.531 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35524. 'extension(wk[41][3]=[0‥1]) :: init: true :: relation: Empty MDD
21.19/7.99 c 05:19:31.531 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35526. 'extension(x[28][41]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.99 c 05:19:31.531 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35540. 'extension(x[27][14]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.99 c 05:19:31.532 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35550. 'extension(x[29][28]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.99 c 05:19:31.532 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35564. 'extension(x[29][29]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.99 c 05:19:31.533 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35578. 'extension(x[27][38]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.99 c 05:19:31.533 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35584. 'extension(x[28][4]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.99 c 05:19:31.534 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35594. 'extension(x[30][16]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.99 c 05:19:31.534 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35604. 'extension(x[28][22]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.99 c 05:19:31.534 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35614. 'extension(x[28][40]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.99 c 05:19:31.534 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35616. 'extension(x[30][40]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.99 c 05:19:31.535 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35634. 'extension(x[31][14]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.99 c 05:19:31.536 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35648. 'extension(x[29][27]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.99 c 05:19:31.536 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35654. 'extension(x[29][36]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.99 c 05:19:31.536 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35660. 'extension(x[31][38]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.99 c 05:19:31.537 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35674. 'extension(x[30][8]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.99 c 05:19:31.537 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35680. 'extension(x[32][27]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.99 c 05:19:31.538 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35694. 'extension(x[30][28]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.99 c 05:19:31.538 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35704. 'extension(x[30][42]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.99 c 05:19:31.538 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35710. 'extension(x[33][4]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.99 c 05:19:31.539 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35720. 'extension(x[33][8]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.99 c 05:19:31.539 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35734. 'extension(x[31][15]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.99 c 05:19:31.539 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35740. 'extension(x[31][17]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.99 c 05:19:31.540 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35742. 'extension(x[33][17]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.99 c 05:19:31.540 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35756. 'extension(x[33][22]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.99 c 05:19:31.541 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35766. 'extension(x[33][28]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.99 c 05:19:31.541 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35780. 'extension(x[33][36]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.99 c 05:19:31.542 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35794. 'extension(x[31][39]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.99 c 05:19:31.542 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35800. 'extension(x[33][42]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.99 c 05:19:31.542 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35814. 'extension(wk[15][4]=[0‥1]) :: init: true :: relation: Empty MDD
21.19/7.99 c 05:19:31.543 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35820. 'extension(wk[24][4]=[0‥1]) :: init: true :: relation: Empty MDD
21.19/7.99 c 05:19:31.543 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35822. 'extension(x[32][24]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/7.99 c 05:19:31.543 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35828. 'extension(wk[30][4]=[0‥1]) :: init: true :: relation: Empty MDD
21.19/7.99 c 05:19:31.543 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35830. 'extension(x[32][30]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/8.00 c 05:19:31.543 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35836. 'extension(wk[39][4]=[0‥1]) :: init: true :: relation: Empty MDD
21.19/8.00 c 05:19:31.544 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35842. 'extension(wk[15][4]=[0‥1]) :: init: true :: relation: Empty MDD
21.19/8.00 c 05:19:31.544 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35844. 'extension(wk[24][4]=[0‥1]) :: init: true :: relation: Empty MDD
21.19/8.00 c 05:19:31.544 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35850. 'extension(wk[30][4]=[0‥1]) :: init: true :: relation: Empty MDD
21.19/8.00 c 05:19:31.544 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35852. 'extension(x[35][30]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/8.00 c 05:19:31.545 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35868. 'extension(wk[33][4]=[0‥1]) :: init: true :: relation: Empty MDD
21.19/8.00 c 05:19:31.545 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35870. 'extension(x[33][33]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/8.00 c 05:19:31.545 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35872. 'extension(x[35][33]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/8.00 c 05:19:31.546 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35888. 'extension(wk[35][4]=[0‥1]) :: init: true :: relation: Empty MDD
21.19/8.00 c 05:19:31.546 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35890. 'extension(x[33][35]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/8.00 c 05:19:31.547 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35896. 'extension(wk[39][4]=[0‥1]) :: init: true :: relation: Empty MDD
21.19/8.00 c 05:19:31.547 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35900. 'extension(x[34][1]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/8.00 c 05:19:31.547 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35902. 'extension(x[36][1]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/8.00 c 05:19:31.547 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35916. 'extension(x[36][15]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/8.00 c 05:19:31.548 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35930. 'extension(x[36][39]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/8.00 c 05:19:31.548 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35942. 'extension(x[35][6]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/8.00 c 05:19:31.549 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35948. 'extension(x[37][24]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/8.00 c 05:19:31.549 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35958. 'extension(x[37][35]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/8.00 c 05:19:31.550 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35972. 'extension(x[36][0]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/8.00 c 05:19:31.550 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35978. 'extension(x[38][6]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/8.00 c 05:19:31.551 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 35992. 'extension(x[39][0]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/8.00 c 05:19:31.551 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 36006. 'extension(x[37][10]=[0‥6]) :: init: true :: relation: Empty MDD
21.19/8.00 c 05:19:31.551 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 36008. 'extension(x[39][10]=[0‥6]) :: init: true :: relation: Empty MDD
21.55/8.01 c 05:19:31.552 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 36022. 'extension(x[37][30]=[0‥6]) :: init: true :: relation: Empty MDD
21.55/8.01 c 05:19:31.552 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 36024. 'extension(x[39][30]=[0‥6]) :: init: true :: relation: Empty MDD
21.55/8.01 c 05:19:31.552 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 36040. 'extension(x[38][2]=[0‥6]) :: init: true :: relation: Empty MDD
21.55/8.01 c 05:19:31.553 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 36046. 'extension(wk[2][5]=[0‥1]) :: init: true :: relation: Empty MDD
21.55/8.01 c 05:19:31.553 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 36052. 'extension(wk[21][5]=[0‥1]) :: init: true :: relation: Empty MDD
21.55/8.01 c 05:19:31.553 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 36054. 'extension(x[39][21]=[0‥6]) :: init: true :: relation: Empty MDD
21.55/8.01 c 05:19:31.553 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 36056. 'extension(x[41][21]=[0‥6]) :: init: true :: relation: Empty MDD
21.55/8.01 c 05:19:31.554 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 36068. 'extension(wk[2][5]=[0‥1]) :: init: true :: relation: Empty MDD
2520.05/2453.11 Exception in thread "main" java.util.concurrent.TimeoutException
2520.05/2453.11 at concrete.MAC.mac(MAC.scala:188)
2520.05/2453.11 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.05/2453.11 at scala.util.Try$.apply(Try.scala:209)
2520.05/2453.11 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.05/2453.11 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.05/2453.11 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.05/2453.11 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.05/2453.11 at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.05/2453.11 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.05/2453.11 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.05/2453.11 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.05/2453.11 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.05/2453.11 at concrete.MAC.oneRun(MAC.scala:253)
2520.05/2453.11 at concrete.MAC.nextSolution(MAC.scala:272)
2520.05/2453.11 at concrete.MAC.$anonfun$nextSolution$5(MAC.scala:336)
2520.05/2453.11 at concrete.ProblemState.map(ProblemState.scala:221)
2520.05/2453.11 at concrete.ProblemState.map(ProblemState.scala:204)
2520.05/2453.11 at concrete.MAC.nextSolution(MAC.scala:334)
2520.05/2453.11 at concrete.Solver.hasNext(Solver.scala:166)
2520.05/2453.11 at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.05/2453.11 at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.05/2453.11 at concrete.Solver.foreach(Solver.scala:68)
2520.05/2453.12 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.05/2453.12 at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.05/2453.12 at scala.util.Success.map(Try.scala:209)
2520.05/2453.12 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.05/2453.12 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.05/2453.12 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.05/2453.12 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.05/2453.12 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.05/2453.12 at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.05/2453.12 at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.05/2453.12 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.05/2453.12 at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.05/2453.12 at scala.collection.immutable.List.foreach(List.scala:389)
2520.05/2453.12 at scala.App.main(App.scala:76)
2520.05/2453.12 at scala.App.main$(App.scala:74)
2520.05/2453.12 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.05/2453.12 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.05/2453.12 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 (1285 MiB free)
memory of node 1: 16384 MiB (91 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304174-1534043963/watcher-4304174-1534043963 -o /tmp/evaluation-result-4304174-1534043963/solver-4304174-1534043963 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1534038993-15971 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1483155998 -superng HOME/instance-4304174-1534043963.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=16778, runsolver pid=16775
[startup+0.100211 s]*
/proc/loadavg: 1.44 1.53 1.51 4/203 16827
/proc/meminfo: memFree=1408104/32770624 swapFree=67058720/67108860
[pid=16778] ppid=16775 vsize=425712 memory=5616 CPUtime=0.08 cores=0,2,4,6
/proc/16778/stat : 16778 (java) S 16775 16778 15060 0 -1 1077944320 2561 13302 0 1 0 0 5 3 20 0 2 0 221959487 435929088 1404 33554432000 4194304 4196468 140730588245616 140730588228160 139874109542135 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
/proc/16778/statm: 106428 1404 1064 1 0 95339 0
[pid=16778/tid=16831] ppid=16775 vsize=425712 memory=3054156605368796044 CPUtime=0.08 cores=0,2,4,6
/proc/16778/task/16831/stat : 16831 (java) S 16775 16778 15060 0 -1 1077944384 405 13302 0 1 0 0 5 3 20 0 2 0 221959497 435929088 1916 33554432000 4194304 4196468 140730588245616 139874081384864 139874109553282 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 425712 KiB
Current children cumulated memory: 5616 KiB
[startup+0.212348 s]*
/proc/loadavg: 1.44 1.53 1.51 4/215 16844
/proc/meminfo: memFree=1381292/32770624 swapFree=67058720/67108860
[pid=16778] ppid=16775 vsize=10982744 memory=40660 CPUtime=0.25 cores=0,2,4,6
/proc/16778/stat : 16778 (java) S 16775 16778 15060 0 -1 1077944320 6869 13302 0 1 15 2 5 3 20 0 15 0 221959487 11246329856 10165 33554432000 4194304 4196468 140730588245616 140730588228160 139874109542135 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
/proc/16778/statm: 2745686 10165 2943 1 0 2708109 0
[pid=16778/tid=16831] ppid=16775 vsize=10982744 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/16778/task/16831/stat : 16831 (java) R 16775 16778 15060 0 -1 4202560 3431 13302 0 1 9 1 5 3 20 0 15 0 221959497 11246329856 10189 33554432000 4194304 4196468 140730588245616 139874081347216 139874093622622 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16832] ppid=16775 vsize=10982744 memory=365 CPUtime=0.08 cores=0,2,4,6
/proc/16778/task/16832/stat : 16832 (java) S 16775 16778 15060 0 -1 1077944384 1 13302 0 1 0 0 5 3 20 0 15 0 221959498 11246329856 10189 33554432000 4194304 4196468 140730588245616 139874113784720 139874109552341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16833] ppid=16775 vsize=10982744 memory=3762960231407404704 CPUtime=0.08 cores=0,2,4,6
/proc/16778/task/16833/stat : 16833 (java) S 16775 16778 15060 0 -1 1077944384 1 13302 0 1 0 0 5 3 20 0 15 0 221959498 11246329856 10189 33554432000 4194304 4196468 140730588245616 139873649351440 139874109552341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16834] ppid=16775 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16778/task/16834/stat : 16834 (java) S 16775 16778 15060 0 -1 1077944384 1 13302 0 1 0 0 5 3 20 0 15 0 221959498 11246329856 10189 33554432000 4194304 4196468 140730588245616 139873648299152 139874109552341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16835] ppid=16775 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/16778/task/16835/stat : 16835 (java) S 16775 16778 15060 0 -1 1077944384 2 13302 0 1 0 0 5 3 20 0 15 0 221959498 11246329856 10189 33554432000 4194304 4196468 140730588245616 139873647246352 139874109552341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16836] ppid=16775 vsize=10982744 memory=139842120959616 CPUtime=0.08 cores=0,2,4,6
/proc/16778/task/16836/stat : 16836 (java) S 16775 16778 15060 0 -1 1077944384 2 13302 0 1 0 0 5 3 20 0 15 0 221959500 11246329856 10189 33554432000 4194304 4196468 140730588245616 139873602668656 139874109553282 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16837] ppid=16775 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/16778/task/16837/stat : 16837 (java) S 16775 16778 15060 0 -1 1077944384 13 13302 0 1 0 0 5 3 20 0 15 0 221959500 11246329856 10189 33554432000 4194304 4196468 140730588245616 139872924853024 139874109552341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16838] ppid=16775 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16778/task/16838/stat : 16838 (java) S 16775 16778 15060 0 -1 1077944384 1 13302 0 1 0 0 5 3 20 0 15 0 221959500 11246329856 10189 33554432000 4194304 4196468 140730588245616 139872723526768 139874109552341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16839] ppid=16775 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16778/task/16839/stat : 16839 (java) S 16775 16778 15060 0 -1 1077944384 3 13302 0 1 0 0 5 3 20 0 15 0 221959503 11246329856 10189 33554432000 4194304 4196468 140730588245616 139872416127056 139874109560731 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16840] ppid=16775 vsize=10982744 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/16778/task/16840/stat : 16840 (java) S 16775 16778 15060 0 -1 1077944384 482 13302 0 1 1 0 5 3 20 0 15 0 221959503 11246329856 10189 33554432000 4194304 4196468 140730588245616 139873601616496 139874109553282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16841] ppid=16775 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/16778/task/16841/stat : 16841 (java) S 16775 16778 15060 0 -1 1077944384 124 13302 0 1 0 0 5 3 20 0 15 0 221959503 11246329856 10189 33554432000 4194304 4196468 140730588245616 139873600563696 139874109553282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16842] ppid=16775 vsize=10982744 memory=139842120959616 CPUtime=0.11 cores=0,2,4,6
/proc/16778/task/16842/stat : 16842 (java) S 16775 16778 15060 0 -1 1077944384 614 13302 0 1 3 0 5 3 20 0 15 0 221959503 11246329856 10189 33554432000 4194304 4196468 140730588245616 139873599511408 139874109553282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16843] ppid=16775 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/16778/task/16843/stat : 16843 (java) S 16775 16778 15060 0 -1 1077944384 3 13302 0 1 0 0 5 3 20 0 15 0 221959503 11246329856 10189 33554432000 4194304 4196468 140730588245616 139871985331168 139874109552341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16844] ppid=16775 vsize=10982744 memory=139842120959616 CPUtime=0.08 cores=0,2,4,6
/proc/16778/task/16844/stat : 16844 (java) S 16775 16778 15060 0 -1 1077944384 1 13302 0 1 0 0 5 3 20 0 15 0 221959503 11246329856 10189 33554432000 4194304 4196468 140730588245616 139873598458288 139874109553282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 40660 KiB
[startup+0.310204 s]*
/proc/loadavg: 1.44 1.53 1.51 3/215 16844
/proc/meminfo: memFree=1370192/32770624 swapFree=67058720/67108860
[pid=16778] ppid=16775 vsize=10983192 memory=53948 CPUtime=0.37 cores=0,2,4,6
/proc/16778/stat : 16778 (java) S 16775 16778 15060 0 -1 1077944320 10037 13302 0 1 26 3 5 3 20 0 15 0 221959487 11246788608 13487 33554432000 4194304 4196468 140730588245616 140730588228160 139874109542135 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
/proc/16778/statm: 2745798 13487 3062 1 0 2708109 0
[pid=16778/tid=16831] ppid=16775 vsize=10983192 memory=0 CPUtime=0.27 cores=0,2,4,6
/proc/16778/task/16831/stat : 16831 (java) R 16775 16778 15060 0 -1 4202560 6584 13302 0 1 17 2 5 3 20 0 15 0 221959497 11246788608 13487 33554432000 4194304 4196468 140730588245616 139874081354144 139874091105710 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16832] ppid=16775 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16778/task/16832/stat : 16832 (java) S 16775 16778 15060 0 -1 1077944384 1 13302 0 1 0 0 5 3 20 0 15 0 221959498 11246788608 13487 33554432000 4194304 4196468 140730588245616 139874113784720 139874109552341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16833] ppid=16775 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16778/task/16833/stat : 16833 (java) S 16775 16778 15060 0 -1 1077944384 1 13302 0 1 0 0 5 3 20 0 15 0 221959498 11246788608 13487 33554432000 4194304 4196468 140730588245616 139873649351440 139874109552341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16834] ppid=16775 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16778/task/16834/stat : 16834 (java) S 16775 16778 15060 0 -1 1077944384 1 13302 0 1 0 0 5 3 20 0 15 0 221959498 11246788608 13487 33554432000 4194304 4196468 140730588245616 139873648299152 139874109552341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16835] ppid=16775 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/16778/task/16835/stat : 16835 (java) S 16775 16778 15060 0 -1 1077944384 2 13302 0 1 0 0 5 3 20 0 15 0 221959498 11246788608 13487 33554432000 4194304 4196468 140730588245616 139873647246352 139874109552341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16836] ppid=16775 vsize=10983192 memory=139842120959616 CPUtime=0.08 cores=0,2,4,6
/proc/16778/task/16836/stat : 16836 (java) S 16775 16778 15060 0 -1 1077944384 2 13302 0 1 0 0 5 3 20 0 15 0 221959500 11246788608 13487 33554432000 4194304 4196468 140730588245616 139873602668656 139874109553282 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16837] ppid=16775 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/16778/task/16837/stat : 16837 (java) S 16775 16778 15060 0 -1 1077944384 13 13302 0 1 0 0 5 3 20 0 15 0 221959500 11246788608 13487 33554432000 4194304 4196468 140730588245616 139872924853024 139874109552341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16838] ppid=16775 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16778/task/16838/stat : 16838 (java) S 16775 16778 15060 0 -1 1077944384 1 13302 0 1 0 0 5 3 20 0 15 0 221959500 11246788608 13487 33554432000 4194304 4196468 140730588245616 139872723526768 139874109552341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16839] ppid=16775 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16778/task/16839/stat : 16839 (java) S 16775 16778 15060 0 -1 1077944384 3 13302 0 1 0 0 5 3 20 0 15 0 221959503 11246788608 13487 33554432000 4194304 4196468 140730588245616 139872416127056 139874109560731 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16840] ppid=16775 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/16778/task/16840/stat : 16840 (java) S 16775 16778 15060 0 -1 1077944384 484 13302 0 1 1 0 5 3 20 0 15 0 221959503 11246788608 13487 33554432000 4194304 4196468 140730588245616 139873601616496 139874109553282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16841] ppid=16775 vsize=10983192 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/16778/task/16841/stat : 16841 (java) S 16775 16778 15060 0 -1 1077944384 127 13302 0 1 1 0 5 3 20 0 15 0 221959503 11246788608 13487 33554432000 4194304 4196468 140730588245616 139873600563696 139874109553282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16842] ppid=16775 vsize=10983192 memory=139842120959616 CPUtime=0.13 cores=0,2,4,6
/proc/16778/task/16842/stat : 16842 (java) S 16775 16778 15060 0 -1 1077944384 620 13302 0 1 5 0 5 3 20 0 15 0 221959503 11246788608 13487 33554432000 4194304 4196468 140730588245616 139873599511408 139874109553282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16843] ppid=16775 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/16778/task/16843/stat : 16843 (java) S 16775 16778 15060 0 -1 1077944384 3 13302 0 1 0 0 5 3 20 0 15 0 221959503 11246788608 13487 33554432000 4194304 4196468 140730588245616 139871985331168 139874109552341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16844] ppid=16775 vsize=10983192 memory=139842120959616 CPUtime=0.08 cores=0,2,4,6
/proc/16778/task/16844/stat : 16844 (java) S 16775 16778 15060 0 -1 1077944384 1 13302 0 1 0 0 5 3 20 0 15 0 221959503 11246788608 13487 33554432000 4194304 4196468 140730588245616 139873598458288 139874109553282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 53948 KiB
[startup+0.700783 s]
/proc/loadavg: 1.44 1.53 1.51 3/215 16844
/proc/meminfo: memFree=1357012/32770624 swapFree=67058720/67108860
[pid=16778] ppid=16775 vsize=10983192 memory=88432 CPUtime=0.98 cores=0,2,4,6
/proc/16778/stat : 16778 (java) S 16775 16778 15060 0 -1 1077944320 16727 13302 0 1 85 5 5 3 20 0 15 0 221959487 11246788608 22108 33554432000 4194304 4196468 140730588245616 140730588228160 139874109542135 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
/proc/16778/statm: 2745798 22108 3238 1 0 2708109 0
[pid=16778/tid=16831] ppid=16775 vsize=10983192 memory=1796 CPUtime=0.65 cores=0,2,4,6
/proc/16778/task/16831/stat : 16831 (java) R 16775 16778 15060 0 -1 4202560 12155 13302 0 1 54 3 5 3 20 0 15 0 221959497 11246788608 22108 33554432000 4194304 4196468 140730588245616 139874081370016 139874089817457 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16832] ppid=16775 vsize=10983192 memory=912 CPUtime=0.08 cores=0,2,4,6
/proc/16778/task/16832/stat : 16832 (java) S 16775 16778 15060 0 -1 1077944384 1 13302 0 1 0 0 5 3 20 0 15 0 221959498 11246788608 22108 33554432000 4194304 4196468 140730588245616 139874113784720 139874109552341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16833] ppid=16775 vsize=10983192 memory=3848 CPUtime=0.08 cores=0,2,4,6
/proc/16778/task/16833/stat : 16833 (java) S 16775 16778 15060 0 -1 1077944384 1 13302 0 1 0 0 5 3 20 0 15 0 221959498 11246788608 22108 33554432000 4194304 4196468 140730588245616 139873649351440 139874109552341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16834] ppid=16775 vsize=10983192 memory=2608 CPUtime=0.08 cores=0,2,4,6
/proc/16778/task/16834/stat : 16834 (java) S 16775 16778 15060 0 -1 1077944384 1 13302 0 1 0 0 5 3 20 0 15 0 221959498 11246788608 22108 33554432000 4194304 4196468 140730588245616 139873648299152 139874109552341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16835] ppid=16775 vsize=10983192 memory=2836 CPUtime=0.08 cores=0,2,4,6
/proc/16778/task/16835/stat : 16835 (java) S 16775 16778 15060 0 -1 1077944384 2 13302 0 1 0 0 5 3 20 0 15 0 221959498 11246788608 22108 33554432000 4194304 4196468 140730588245616 139873647246352 139874109552341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16836] ppid=16775 vsize=10983192 memory=4100 CPUtime=0.08 cores=0,2,4,6
/proc/16778/task/16836/stat : 16836 (java) S 16775 16778 15060 0 -1 1077944384 5 13302 0 1 0 0 5 3 20 0 15 0 221959500 11246788608 22108 33554432000 4194304 4196468 140730588245616 139873602668656 139874109553282 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16837] ppid=16775 vsize=10983192 memory=1408 CPUtime=0.08 cores=0,2,4,6
/proc/16778/task/16837/stat : 16837 (java) S 16775 16778 15060 0 -1 1077944384 13 13302 0 1 0 0 5 3 20 0 15 0 221959500 11246788608 22108 33554432000 4194304 4196468 140730588245616 139872924853024 139874109552341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16838] ppid=16775 vsize=10983192 memory=3296 CPUtime=0.08 cores=0,2,4,6
/proc/16778/task/16838/stat : 16838 (java) S 16775 16778 15060 0 -1 1077944384 1 13302 0 1 0 0 5 3 20 0 15 0 221959500 11246788608 22108 33554432000 4194304 4196468 140730588245616 139872723526768 139874109552341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16839] ppid=16775 vsize=10983192 memory=3236376 CPUtime=0.08 cores=0,2,4,6
/proc/16778/task/16839/stat : 16839 (java) S 16775 16778 15060 0 -1 1077944384 3 13302 0 1 0 0 5 3 20 0 15 0 221959503 11246788608 22108 33554432000 4194304 4196468 140730588245616 139872416127056 139874109560731 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16840] ppid=16775 vsize=10983192 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/16778/task/16840/stat : 16840 (java) S 16775 16778 15060 0 -1 1077944384 835 13302 0 1 7 0 5 3 20 0 15 0 221959503 11246788608 22108 33554432000 4194304 4196468 140730588245616 139873601616496 139874109553282 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16841] ppid=16775 vsize=10983192 memory=22244 CPUtime=0.17 cores=0,2,4,6
/proc/16778/task/16841/stat : 16841 (java) S 16775 16778 15060 0 -1 1077944384 824 13302 0 1 9 0 5 3 20 0 15 0 221959503 11246788608 22108 33554432000 4194304 4196468 140730588245616 139873600563696 139874109553282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16842] ppid=16775 vsize=10983192 memory=6656426216303648864 CPUtime=0.21 cores=0,2,4,6
/proc/16778/task/16842/stat : 16842 (java) S 16775 16778 15060 0 -1 1077944384 688 13302 0 1 13 0 5 3 20 0 15 0 221959503 11246788608 22108 33554432000 4194304 4196468 140730588245616 139873599511408 139874109553282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16843] ppid=16775 vsize=10983192 memory=6408091206851 CPUtime=0.08 cores=0,2,4,6
/proc/16778/task/16843/stat : 16843 (java) S 16775 16778 15060 0 -1 1077944384 3 13302 0 1 0 0 5 3 20 0 15 0 221959503 11246788608 22108 33554432000 4194304 4196468 140730588245616 139871985331168 139874109552341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16844] ppid=16775 vsize=10983192 memory=288230596050944315 CPUtime=0.08 cores=0,2,4,6
/proc/16778/task/16844/stat : 16844 (java) S 16775 16778 15060 0 -1 1077944384 1 13302 0 1 0 0 5 3 20 0 15 0 221959503 11246788608 22108 33554432000 4194304 4196468 140730588245616 139873598458288 139874109553282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88432 KiB
[startup+1.50093 s]
/proc/loadavg: 1.44 1.53 1.51 3/215 16844
/proc/meminfo: memFree=1313588/32770624 swapFree=67058720/67108860
[pid=16778] ppid=16775 vsize=10991948 memory=170960 CPUtime=3.18 cores=0,2,4,6
/proc/16778/stat : 16778 (java) S 16775 16778 15060 0 -1 1077944320 24031 13302 0 1 302 8 5 3 20 0 15 0 221959487 11255754752 42740 33554432000 4194304 4196468 140730588245616 140730588228160 139874109542135 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
/proc/16778/statm: 2747987 42740 3455 1 0 2709645 0
[pid=16778/tid=16831] ppid=16775 vsize=10991948 memory=0 CPUtime=1.45 cores=0,2,4,6
/proc/16778/task/16831/stat : 16831 (java) R 16775 16778 15060 0 -1 4202560 15165 13302 0 1 131 6 5 3 20 0 15 0 221959497 11255754752 42740 33554432000 4194304 4196468 140730588245616 139874081369296 139873683770311 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16832] ppid=16775 vsize=10991948 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16778/task/16832/stat : 16832 (java) S 16775 16778 15060 0 -1 1077944384 1 13302 0 1 0 0 5 3 20 0 15 0 221959498 11255754752 42740 33554432000 4194304 4196468 140730588245616 139874113784720 139874109552341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16833] ppid=16775 vsize=10991948 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16778/task/16833/stat : 16833 (java) S 16775 16778 15060 0 -1 1077944384 1 13302 0 1 0 0 5 3 20 0 15 0 221959498 11255754752 42740 33554432000 4194304 4196468 140730588245616 139873649351440 139874109552341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16834] ppid=16775 vsize=10991948 memory=2241 CPUtime=0.08 cores=0,2,4,6
/proc/16778/task/16834/stat : 16834 (java) S 16775 16778 15060 0 -1 1077944384 1 13302 0 1 0 0 5 3 20 0 15 0 221959498 11255754752 42740 33554432000 4194304 4196468 140730588245616 139873648299152 139874109552341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16835] ppid=16775 vsize=10991948 memory=2244 CPUtime=0.08 cores=0,2,4,6
/proc/16778/task/16835/stat : 16835 (java) S 16775 16778 15060 0 -1 1077944384 2 13302 0 1 0 0 5 3 20 0 15 0 221959498 11255754752 42740 33554432000 4194304 4196468 140730588245616 139873647246352 139874109552341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16836] ppid=16775 vsize=10991948 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16778/task/16836/stat : 16836 (java) S 16775 16778 15060 0 -1 1077944384 13 13302 0 1 0 0 5 3 20 0 15 0 221959500 11255754752 42740 33554432000 4194304 4196468 140730588245616 139873602668656 139874109553282 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16837] ppid=16775 vsize=10991948 memory=6655300316396806240 CPUtime=0.08 cores=0,2,4,6
/proc/16778/task/16837/stat : 16837 (java) S 16775 16778 15060 0 -1 1077944384 13 13302 0 1 0 0 5 3 20 0 15 0 221959500 11255754752 42740 33554432000 4194304 4196468 140730588245616 139872924853024 139874109552341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16838] ppid=16775 vsize=10991948 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16778/task/16838/stat : 16838 (java) S 16775 16778 15060 0 -1 1077944384 1 13302 0 1 0 0 5 3 20 0 15 0 221959500 11255754752 42740 33554432000 4194304 4196468 140730588245616 139872723526768 139874109552341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16839] ppid=16775 vsize=10991948 memory=6944652177228980320 CPUtime=0.08 cores=0,2,4,6
/proc/16778/task/16839/stat : 16839 (java) S 16775 16778 15060 0 -1 1077944384 3 13302 0 1 0 0 5 3 20 0 15 0 221959503 11255754752 42740 33554432000 4194304 4196468 140730588245616 139872416127056 139874109560731 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16840] ppid=16775 vsize=10991948 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/16778/task/16840/stat : 16840 (java) R 16775 16778 15060 0 -1 4202560 2471 13302 0 1 58 0 5 3 20 0 15 0 221959503 11255754752 42740 33554432000 4194304 4196468 140730588245616 139873601608984 139874093822765 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16841] ppid=16775 vsize=10991948 memory=664970774370811547 CPUtime=0.67 cores=0,2,4,6
/proc/16778/task/16841/stat : 16841 (java) R 16775 16778 15060 0 -1 4202560 2266 13302 0 1 59 0 5 3 20 0 15 0 221959503 11255754752 42740 33554432000 4194304 4196468 140730588245616 139873600553248 139874090718044 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16842] ppid=16775 vsize=10991948 memory=0 CPUtime=0.6 cores=0,2,4,6
/proc/16778/task/16842/stat : 16842 (java) S 16775 16778 15060 0 -1 1077944384 1896 13302 0 1 52 0 5 3 20 0 15 0 221959503 11255754752 42740 33554432000 4194304 4196468 140730588245616 139873599511408 139874109553282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16843] ppid=16775 vsize=10991948 memory=14018773256590 CPUtime=0.08 cores=0,2,4,6
/proc/16778/task/16843/stat : 16843 (java) S 16775 16778 15060 0 -1 1077944384 3 13302 0 1 0 0 5 3 20 0 15 0 221959503 11255754752 42740 33554432000 4194304 4196468 140730588245616 139871985331168 139874109552341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16844] ppid=16775 vsize=10991948 memory=279681827864696 CPUtime=0.08 cores=0,2,4,6
/proc/16778/task/16844/stat : 16844 (java) S 16775 16778 15060 0 -1 1077944384 1 13302 0 1 0 0 5 3 20 0 15 0 221959503 11255754752 42740 33554432000 4194304 4196468 140730588245616 139873598458288 139874109553282 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
Current children cumulated CPU time: 3.18 s
Current children cumulated vsize: 10991948 KiB
Current children cumulated memory: 170960 KiB
[startup+3.11029 s]
/proc/loadavg: 1.44 1.53 1.51 5/215 16844
/proc/meminfo: memFree=1123888/32770624 swapFree=67058720/67108860
[pid=16778] ppid=16775 vsize=11006304 memory=289064 CPUtime=6.87 cores=0,2,4,6
/proc/16778/stat : 16778 (java) S 16775 16778 15060 0 -1 1077944320 42169 13302 0 1 665 14 5 3 20 0 15 0 221959487 11270455296 72266 33554432000 4194304 4196468 140730588245616 140730588228160 139874109542135 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
/proc/16778/statm: 2751576 72266 3498 1 0 2713229 0
################
# More data... #
################
/proc/16778/task/16831/stat : 16831 (java) R 16775 16778 15060 0 -1 4202560 413108 13302 0 1 236053 107 5 3 20 0 15 0 221959497 11348049920 390616 33554432000 4194304 4196468 140730588245616 139874081377248 139873695897377 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16832] ppid=16775 vsize=11082080 memory=1562464 CPUtime=10.76 cores=0,2,4,6
/proc/16778/task/16832/stat : 16832 (java) S 16775 16778 15060 0 -1 1077944384 35925 13302 0 1 1011 57 5 3 20 0 15 0 221959498 11348049920 390616 33554432000 4194304 4196468 140730588245616 139874113784720 139874109552341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16833] ppid=16775 vsize=11082080 memory=1562464 CPUtime=10.78 cores=0,2,4,6
/proc/16778/task/16833/stat : 16833 (java) S 16775 16778 15060 0 -1 1077944384 37124 13302 0 1 1017 53 5 3 20 0 15 0 221959498 11348049920 390616 33554432000 4194304 4196468 140730588245616 139873649351440 139874109552341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16834] ppid=16775 vsize=11082080 memory=1565028 CPUtime=10.75 cores=0,2,4,6
/proc/16778/task/16834/stat : 16834 (java) S 16775 16778 15060 0 -1 1077944384 33059 13302 0 1 1014 53 5 3 20 0 15 0 221959498 11348049920 390616 33554432000 4194304 4196468 140730588245616 139873648299152 139874109552341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16835] ppid=16775 vsize=11082080 memory=1564004 CPUtime=10.72 cores=0,2,4,6
/proc/16778/task/16835/stat : 16835 (java) S 16775 16778 15060 0 -1 1077944384 42943 13302 0 1 1012 52 5 3 20 0 15 0 221959498 11348049920 390616 33554432000 4194304 4196468 140730588245616 139873647246352 139874109552341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16836] ppid=16775 vsize=11082080 memory=1562464 CPUtime=7.16 cores=0,2,4,6
/proc/16778/task/16836/stat : 16836 (java) S 16775 16778 15060 0 -1 1077944384 19424 13302 0 1 669 39 5 3 20 0 15 0 221959500 11348049920 390616 33554432000 4194304 4196468 140730588245616 139873602668656 139874109553282 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16837] ppid=16775 vsize=11082080 memory=1562464 CPUtime=0.08 cores=0,2,4,6
/proc/16778/task/16837/stat : 16837 (java) S 16775 16778 15060 0 -1 1077944384 19 13302 0 1 0 0 5 3 20 0 15 0 221959500 11348049920 390616 33554432000 4194304 4196468 140730588245616 139872924853088 139874109552341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16838] ppid=16775 vsize=11082080 memory=1562464 CPUtime=0.08 cores=0,2,4,6
/proc/16778/task/16838/stat : 16838 (java) S 16775 16778 15060 0 -1 1077944384 10 13302 0 1 0 0 5 3 20 0 15 0 221959500 11348049920 390616 33554432000 4194304 4196468 140730588245616 139872723526784 139874109552341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16839] ppid=16775 vsize=11082080 memory=1562464 CPUtime=0.08 cores=0,2,4,6
/proc/16778/task/16839/stat : 16839 (java) S 16775 16778 15060 0 -1 1077944384 3 13302 0 1 0 0 5 3 20 0 15 0 221959503 11348049920 390616 33554432000 4194304 4196468 140730588245616 139872416127056 139874109560731 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16840] ppid=16775 vsize=11082080 memory=1562464 CPUtime=15.01 cores=0,2,4,6
/proc/16778/task/16840/stat : 16840 (java) S 16775 16778 15060 0 -1 1077944384 121803 13302 0 1 1482 11 5 3 20 0 15 0 221959503 11348049920 390616 33554432000 4194304 4196468 140730588245616 139873601616496 139874109553282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16841] ppid=16775 vsize=11082080 memory=1562464 CPUtime=15.16 cores=0,2,4,6
/proc/16778/task/16841/stat : 16841 (java) S 16775 16778 15060 0 -1 1077944384 102256 13302 0 1 1496 12 5 3 20 0 15 0 221959503 11348049920 390616 33554432000 4194304 4196468 140730588245616 139873600563696 139874109553282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16842] ppid=16775 vsize=11082080 memory=1562464 CPUtime=5.55 cores=0,2,4,6
/proc/16778/task/16842/stat : 16842 (java) S 16775 16778 15060 0 -1 1077944384 118199 13302 0 1 535 12 5 3 20 0 15 0 221959503 11348049920 390616 33554432000 4194304 4196468 140730588245616 139873599511408 139874109553282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16843] ppid=16775 vsize=11082080 memory=1562464 CPUtime=0.08 cores=0,2,4,6
/proc/16778/task/16843/stat : 16843 (java) S 16775 16778 15060 0 -1 1077944384 3 13302 0 1 0 0 5 3 20 0 15 0 221959503 11348049920 390616 33554432000 4194304 4196468 140730588245616 139871985331168 139874109552341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16844] ppid=16775 vsize=11082080 memory=804 CPUtime=1.46 cores=0,2,4,6
/proc/16778/task/16844/stat : 16844 (java) S 16775 16778 15060 0 -1 1077944384 2216 13302 0 1 69 69 5 3 20 0 15 0 221959503 11348049920 390616 33554432000 4194304 4196468 140730588245616 139873598458288 139874109553282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
Current children cumulated CPU time: 2448.4 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1562464 KiB
[startup+2442.3 s]
/proc/loadavg: 1.75 1.40 1.38 3/215 17058
/proc/meminfo: memFree=2440116/32770624 swapFree=67058720/67108860
[pid=16778] ppid=16775 vsize=11082080 memory=1564512 CPUtime=2509.11 cores=0,2,4,6
/proc/16778/stat : 16778 (java) S 16775 16778 15060 0 -1 1077944320 929484 13302 0 1 250476 427 5 3 20 0 15 0 221959487 11348049920 391128 33554432000 4194304 4196468 140730588245616 140730588228160 139874109542135 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
/proc/16778/statm: 2770520 391128 3543 1 0 2732173 0
[pid=16778/tid=16831] ppid=16775 vsize=11082080 memory=1564512 CPUtime=2421.17 cores=0,2,4,6
/proc/16778/task/16831/stat : 16831 (java) S 16775 16778 15060 0 -1 1077944384 413745 13302 0 1 242001 108 5 3 20 0 15 0 221959497 11348049920 391128 33554432000 4194304 4196468 140730588245616 139874081376816 139874109552341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16832] ppid=16775 vsize=11082080 memory=1564512 CPUtime=11.01 cores=0,2,4,6
/proc/16778/task/16832/stat : 16832 (java) R 16775 16778 15060 0 -1 4202560 36001 13302 0 1 1036 57 5 3 20 0 15 0 221959498 11348049920 391128 33554432000 4194304 4196468 140730588245616 139874113784720 139874094583894 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16833] ppid=16775 vsize=11082080 memory=1562464 CPUtime=11.03 cores=0,2,4,6
/proc/16778/task/16833/stat : 16833 (java) R 16775 16778 15060 0 -1 4202560 37190 13302 0 1 1042 53 5 3 20 0 15 0 221959498 11348049920 391128 33554432000 4194304 4196468 140730588245616 139873649351440 139874102170343 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16834] ppid=16775 vsize=11082080 memory=1564512 CPUtime=11 cores=0,2,4,6
/proc/16778/task/16834/stat : 16834 (java) R 16775 16778 15060 0 -1 4202560 33129 13302 0 1 1038 54 5 3 20 0 15 0 221959498 11348049920 391128 33554432000 4194304 4196468 140730588245616 139873648299272 139874102170343 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16835] ppid=16775 vsize=11082080 memory=1564512 CPUtime=10.97 cores=0,2,4,6
/proc/16778/task/16835/stat : 16835 (java) R 16775 16778 15060 0 -1 4202560 43047 13302 0 1 1036 53 5 3 20 0 15 0 221959498 11348049920 391128 33554432000 4194304 4196468 140730588245616 139873647246352 139874102170343 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16836] ppid=16775 vsize=11082080 memory=1564512 CPUtime=7.33 cores=0,2,4,6
/proc/16778/task/16836/stat : 16836 (java) S 16775 16778 15060 0 -1 1077944384 19655 13302 0 1 685 40 5 3 20 0 15 0 221959500 11348049920 391128 33554432000 4194304 4196468 140730588245616 139873602667168 139874109552341 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16837] ppid=16775 vsize=11082080 memory=1564512 CPUtime=0.08 cores=0,2,4,6
/proc/16778/task/16837/stat : 16837 (java) S 16775 16778 15060 0 -1 1077944384 19 13302 0 1 0 0 5 3 20 0 15 0 221959500 11348049920 391128 33554432000 4194304 4196468 140730588245616 139872924853088 139874109552341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16838] ppid=16775 vsize=11082080 memory=1564512 CPUtime=0.08 cores=0,2,4,6
/proc/16778/task/16838/stat : 16838 (java) S 16775 16778 15060 0 -1 1077944384 10 13302 0 1 0 0 5 3 20 0 15 0 221959500 11348049920 391128 33554432000 4194304 4196468 140730588245616 139872723526784 139874109552341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16839] ppid=16775 vsize=11082080 memory=1564512 CPUtime=0.08 cores=0,2,4,6
/proc/16778/task/16839/stat : 16839 (java) S 16775 16778 15060 0 -1 1077944384 3 13302 0 1 0 0 5 3 20 0 15 0 221959503 11348049920 391128 33554432000 4194304 4196468 140730588245616 139872416127056 139874109560731 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16840] ppid=16775 vsize=11082080 memory=1564512 CPUtime=15.02 cores=0,2,4,6
/proc/16778/task/16840/stat : 16840 (java) S 16775 16778 15060 0 -1 1077944384 121805 13302 0 1 1482 12 5 3 20 0 15 0 221959503 11348049920 391128 33554432000 4194304 4196468 140730588245616 139873601616496 139874109553282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16841] ppid=16775 vsize=11082080 memory=1564512 CPUtime=15.16 cores=0,2,4,6
/proc/16778/task/16841/stat : 16841 (java) S 16775 16778 15060 0 -1 1077944384 102258 13302 0 1 1496 12 5 3 20 0 15 0 221959503 11348049920 391128 33554432000 4194304 4196468 140730588245616 139873600563696 139874109553282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16842] ppid=16775 vsize=11082080 memory=7904 CPUtime=5.55 cores=0,2,4,6
/proc/16778/task/16842/stat : 16842 (java) S 16775 16778 15060 0 -1 1077944384 118201 13302 0 1 535 12 5 3 20 0 15 0 221959503 11348049920 391128 33554432000 4194304 4196468 140730588245616 139873599511408 139874109553282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16843] ppid=16775 vsize=11082080 memory=1564512 CPUtime=0.08 cores=0,2,4,6
/proc/16778/task/16843/stat : 16843 (java) S 16775 16778 15060 0 -1 1077944384 3 13302 0 1 0 0 5 3 20 0 15 0 221959503 11348049920 391128 33554432000 4194304 4196468 140730588245616 139871985331168 139874109552341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16844] ppid=16775 vsize=11082080 memory=1564512 CPUtime=1.49 cores=0,2,4,6
/proc/16778/task/16844/stat : 16844 (java) S 16775 16778 15060 0 -1 1077944384 2224 13302 0 1 71 70 5 3 20 0 15 0 221959503 11348049920 391128 33554432000 4194304 4196468 140730588245616 139873598458288 139874109553282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
Current children cumulated CPU time: 2509.11 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1564512 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2453.11 s]
/proc/loadavg: 1.71 1.40 1.38 3/215 17058
/proc/meminfo: memFree=2445396/32770624 swapFree=67058720/67108860
[pid=16778] ppid=16775 vsize=11082080 memory=1564512 CPUtime=2520.05 cores=0,2,4,6
/proc/16778/stat : 16778 (java) S 16775 16778 15060 0 -1 1077944320 929807 13302 0 1 251569 428 5 3 20 0 15 0 221959487 11348049920 391128 33554432000 4194304 4196468 140730588245616 140730588228160 139874109542135 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
/proc/16778/statm: 2770520 391128 3543 1 0 2732173 0
[pid=16778/tid=16831] ppid=16775 vsize=11082080 memory=1564512 CPUtime=2431.89 cores=0,2,4,6
/proc/16778/task/16831/stat : 16831 (java) R 16775 16778 15060 0 -1 4202560 413889 13302 0 1 243073 108 5 3 20 0 15 0 221959497 11348049920 391128 33554432000 4194304 4196468 140730588245616 139874081376336 139873701104999 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16832] ppid=16775 vsize=11082080 memory=1564512 CPUtime=11.05 cores=0,2,4,6
/proc/16778/task/16832/stat : 16832 (java) S 16775 16778 15060 0 -1 1077944384 36052 13302 0 1 1040 57 5 3 20 0 15 0 221959498 11348049920 391128 33554432000 4194304 4196468 140730588245616 139874113784720 139874109552341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16833] ppid=16775 vsize=11082080 memory=1564512 CPUtime=11.08 cores=0,2,4,6
/proc/16778/task/16833/stat : 16833 (java) S 16775 16778 15060 0 -1 1077944384 37210 13302 0 1 1046 54 5 3 20 0 15 0 221959498 11348049920 391128 33554432000 4194304 4196468 140730588245616 139873649351440 139874109552341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16834] ppid=16775 vsize=11082080 memory=1564512 CPUtime=11.05 cores=0,2,4,6
/proc/16778/task/16834/stat : 16834 (java) S 16775 16778 15060 0 -1 1077944384 33182 13302 0 1 1043 54 5 3 20 0 15 0 221959498 11348049920 391128 33554432000 4194304 4196468 140730588245616 139873648299152 139874109552341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16835] ppid=16775 vsize=11082080 memory=1562464 CPUtime=11.02 cores=0,2,4,6
/proc/16778/task/16835/stat : 16835 (java) S 16775 16778 15060 0 -1 1077944384 43074 13302 0 1 1041 53 5 3 20 0 15 0 221959498 11348049920 391128 33554432000 4194304 4196468 140730588245616 139873647246352 139874109552341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16836] ppid=16775 vsize=11082080 memory=1564512 CPUtime=7.36 cores=0,2,4,6
/proc/16778/task/16836/stat : 16836 (java) S 16775 16778 15060 0 -1 1077944384 19683 13302 0 1 688 40 5 3 20 0 15 0 221959500 11348049920 391128 33554432000 4194304 4196468 140730588245616 139873602668656 139874109553282 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16837] ppid=16775 vsize=11082080 memory=1564512 CPUtime=0.08 cores=0,2,4,6
/proc/16778/task/16837/stat : 16837 (java) S 16775 16778 15060 0 -1 1077944384 19 13302 0 1 0 0 5 3 20 0 15 0 221959500 11348049920 391128 33554432000 4194304 4196468 140730588245616 139872924853088 139874109552341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16838] ppid=16775 vsize=11082080 memory=1564512 CPUtime=0.08 cores=0,2,4,6
/proc/16778/task/16838/stat : 16838 (java) S 16775 16778 15060 0 -1 1077944384 10 13302 0 1 0 0 5 3 20 0 15 0 221959500 11348049920 391128 33554432000 4194304 4196468 140730588245616 139872723526784 139874109552341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16839] ppid=16775 vsize=11082080 memory=1564512 CPUtime=0.08 cores=0,2,4,6
/proc/16778/task/16839/stat : 16839 (java) S 16775 16778 15060 0 -1 1077944384 3 13302 0 1 0 0 5 3 20 0 15 0 221959503 11348049920 391128 33554432000 4194304 4196468 140730588245616 139872416127056 139874109560731 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16840] ppid=16775 vsize=11082080 memory=1564512 CPUtime=15.02 cores=0,2,4,6
/proc/16778/task/16840/stat : 16840 (java) S 16775 16778 15060 0 -1 1077944384 121805 13302 0 1 1482 12 5 3 20 0 15 0 221959503 11348049920 391128 33554432000 4194304 4196468 140730588245616 139873601616496 139874109553282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16841] ppid=16775 vsize=11082080 memory=1564512 CPUtime=15.16 cores=0,2,4,6
/proc/16778/task/16841/stat : 16841 (java) S 16775 16778 15060 0 -1 1077944384 102258 13302 0 1 1496 12 5 3 20 0 15 0 221959503 11348049920 391128 33554432000 4194304 4196468 140730588245616 139873600563696 139874109553282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16842] ppid=16775 vsize=11082080 memory=1564512 CPUtime=5.55 cores=0,2,4,6
/proc/16778/task/16842/stat : 16842 (java) S 16775 16778 15060 0 -1 1077944384 118201 13302 0 1 535 12 5 3 20 0 15 0 221959503 11348049920 391128 33554432000 4194304 4196468 140730588245616 139873599511408 139874109553282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16843] ppid=16775 vsize=11082080 memory=1564512 CPUtime=0.08 cores=0,2,4,6
/proc/16778/task/16843/stat : 16843 (java) S 16775 16778 15060 0 -1 1077944384 3 13302 0 1 0 0 5 3 20 0 15 0 221959503 11348049920 391128 33554432000 4194304 4196468 140730588245616 139871985331168 139874109552341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16844] ppid=16775 vsize=11082080 memory=1564512 CPUtime=1.5 cores=0,2,4,6
/proc/16778/task/16844/stat : 16844 (java) S 16775 16778 15060 0 -1 1077944384 2224 13302 0 1 72 70 5 3 20 0 15 0 221959503 11348049920 391128 33554432000 4194304 4196468 140730588245616 139873598458288 139874109553282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1564512 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2453.14 s]
# the end of solver process 16778 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.77 s, system=4.32563 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2453.11 s]
/proc/loadavg: 1.71 1.40 1.38 3/215 17058
/proc/meminfo: memFree=2445396/32770624 swapFree=67058720/67108860
[pid=16778] ppid=16775 vsize=11082080 memory=1564512 CPUtime=2520.05 cores=0,2,4,6
/proc/16778/stat : 16778 (java) S 16775 16778 15060 0 -1 1077944320 929807 13302 0 1 251569 428 5 3 20 0 15 0 221959487 11348049920 391128 33554432000 4194304 4196468 140730588245616 140730588228160 139874109542135 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
/proc/16778/statm: 2770520 391128 3543 1 0 2732173 0
[pid=16778/tid=16831] ppid=16775 vsize=11082080 memory=1564512 CPUtime=2431.89 cores=0,2,4,6
/proc/16778/task/16831/stat : 16831 (java) R 16775 16778 15060 0 -1 4202560 413889 13302 0 1 243073 108 5 3 20 0 15 0 221959497 11348049920 391128 33554432000 4194304 4196468 140730588245616 139874081376336 139873701104999 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16832] ppid=16775 vsize=11082080 memory=1564512 CPUtime=11.05 cores=0,2,4,6
/proc/16778/task/16832/stat : 16832 (java) S 16775 16778 15060 0 -1 1077944384 36052 13302 0 1 1040 57 5 3 20 0 15 0 221959498 11348049920 391128 33554432000 4194304 4196468 140730588245616 139874113784720 139874109552341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16833] ppid=16775 vsize=11082080 memory=1564512 CPUtime=11.08 cores=0,2,4,6
/proc/16778/task/16833/stat : 16833 (java) S 16775 16778 15060 0 -1 1077944384 37210 13302 0 1 1046 54 5 3 20 0 15 0 221959498 11348049920 391128 33554432000 4194304 4196468 140730588245616 139873649351440 139874109552341 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16834] ppid=16775 vsize=11082080 memory=1564512 CPUtime=11.05 cores=0,2,4,6
/proc/16778/task/16834/stat : 16834 (java) S 16775 16778 15060 0 -1 1077944384 33182 13302 0 1 1043 54 5 3 20 0 15 0 221959498 11348049920 391128 33554432000 4194304 4196468 140730588245616 139873648299152 139874109552341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16835] ppid=16775 vsize=11082080 memory=1562464 CPUtime=11.02 cores=0,2,4,6
/proc/16778/task/16835/stat : 16835 (java) S 16775 16778 15060 0 -1 1077944384 43074 13302 0 1 1041 53 5 3 20 0 15 0 221959498 11348049920 391128 33554432000 4194304 4196468 140730588245616 139873647246352 139874109552341 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16836] ppid=16775 vsize=11082080 memory=1564512 CPUtime=7.36 cores=0,2,4,6
/proc/16778/task/16836/stat : 16836 (java) S 16775 16778 15060 0 -1 1077944384 19683 13302 0 1 688 40 5 3 20 0 15 0 221959500 11348049920 391128 33554432000 4194304 4196468 140730588245616 139873602668656 139874109553282 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16837] ppid=16775 vsize=11082080 memory=1564512 CPUtime=0.08 cores=0,2,4,6
/proc/16778/task/16837/stat : 16837 (java) S 16775 16778 15060 0 -1 1077944384 19 13302 0 1 0 0 5 3 20 0 15 0 221959500 11348049920 391128 33554432000 4194304 4196468 140730588245616 139872924853088 139874109552341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16838] ppid=16775 vsize=11082080 memory=1564512 CPUtime=0.08 cores=0,2,4,6
/proc/16778/task/16838/stat : 16838 (java) S 16775 16778 15060 0 -1 1077944384 10 13302 0 1 0 0 5 3 20 0 15 0 221959500 11348049920 391128 33554432000 4194304 4196468 140730588245616 139872723526784 139874109552341 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16839] ppid=16775 vsize=11082080 memory=1564512 CPUtime=0.08 cores=0,2,4,6
/proc/16778/task/16839/stat : 16839 (java) S 16775 16778 15060 0 -1 1077944384 3 13302 0 1 0 0 5 3 20 0 15 0 221959503 11348049920 391128 33554432000 4194304 4196468 140730588245616 139872416127056 139874109560731 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16840] ppid=16775 vsize=11082080 memory=1564512 CPUtime=15.02 cores=0,2,4,6
/proc/16778/task/16840/stat : 16840 (java) S 16775 16778 15060 0 -1 1077944384 121805 13302 0 1 1482 12 5 3 20 0 15 0 221959503 11348049920 391128 33554432000 4194304 4196468 140730588245616 139873601616496 139874109553282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16841] ppid=16775 vsize=11082080 memory=1564512 CPUtime=15.16 cores=0,2,4,6
/proc/16778/task/16841/stat : 16841 (java) S 16775 16778 15060 0 -1 1077944384 102258 13302 0 1 1496 12 5 3 20 0 15 0 221959503 11348049920 391128 33554432000 4194304 4196468 140730588245616 139873600563696 139874109553282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16842] ppid=16775 vsize=11082080 memory=1564512 CPUtime=5.55 cores=0,2,4,6
/proc/16778/task/16842/stat : 16842 (java) S 16775 16778 15060 0 -1 1077944384 118201 13302 0 1 535 12 5 3 20 0 15 0 221959503 11348049920 391128 33554432000 4194304 4196468 140730588245616 139873599511408 139874109553282 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16843] ppid=16775 vsize=11082080 memory=1564512 CPUtime=0.08 cores=0,2,4,6
/proc/16778/task/16843/stat : 16843 (java) S 16775 16778 15060 0 -1 1077944384 3 13302 0 1 0 0 5 3 20 0 15 0 221959503 11348049920 391128 33554432000 4194304 4196468 140730588245616 139871985331168 139874109552341 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
[pid=16778/tid=16844] ppid=16775 vsize=11082080 memory=1564512 CPUtime=1.5 cores=0,2,4,6
/proc/16778/task/16844/stat : 16844 (java) S 16775 16778 15060 0 -1 1077944384 2224 13302 0 1 72 70 5 3 20 0 15 0 221959503 11348049920 391128 33554432000 4194304 4196468 140730588245616 139873598458288 139874109553282 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12541952 140730588252771 140730588255580 140730588255580 140730588258255 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 11082080 KiB
Current children cumulated memory: 1564512 KiB
Child status: 143
Real time (s): 2453.14
CPU time (s): 2520.09
CPU user time (s): 2515.77
CPU system time (s): 4.32563
CPU usage (%): 102.729
Max. virtual memory (cumulated for all children) (KiB): 11082080
Max. memory (cumulated for all children) (KiB): 2028144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.77
system time used= 4.32564
maximum resident set size= 2028744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 944639
page faults= 1
swaps= 0
block input operations= 40
block output operations= 3224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 212472
involuntary context switches= 7933
# summary of solver processes directly reported to runsolver:
# pid: 16778
# total CPU time (s): 2520.09
# total CPU user time (s): 2515.77
# total CPU system time (s): 4.32563
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.2931 second user time and 24.9562 second system time
The end