0.98/0.74 c Concrete v3.9.2.1532736233296 running
24.62/9.39 c 04:50:35.311 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 45911. 'extension(x[0][14]=[0‥5], 5) :: init: true :: relation: MDD 1452209410, 12 edges, 5 vertices, 9 tuples
24.62/9.40 c 04:50:35.318 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 45947. 'extension(5, 5) :: init: true :: relation: MDD 1281248250, 12 edges, 5 vertices, 9 tuples
24.89/9.40 c 04:50:35.319 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 45948. 'extension(5, 5) :: init: true :: relation: MDD 1338446903, 6 edges, 3 vertices, 5 tuples
24.89/9.40 c 04:50:35.320 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 45977. 'extension(x[0][35]=[0‥5], 5) :: init: true :: relation: MDD 365016387, 12 edges, 5 vertices, 9 tuples
24.89/9.40 c 04:50:35.321 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46013. 'extension(5, 5) :: init: true :: relation: MDD 1452209410, 12 edges, 5 vertices, 9 tuples
24.89/9.40 c 04:50:35.322 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46048. 'extension(5, 5) :: init: true :: relation: MDD 1281248250, 12 edges, 5 vertices, 9 tuples
24.89/9.40 c 04:50:35.323 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46083. 'extension(5, 5) :: init: true :: relation: MDD 365016387, 12 edges, 5 vertices, 9 tuples
24.89/9.40 c 04:50:35.324 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46118. 'extension(5, 5) :: init: true :: relation: MDD 1452209410, 12 edges, 5 vertices, 9 tuples
24.89/9.41 c 04:50:35.325 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46154. 'extension(5, 5) :: init: true :: relation: MDD 1281248250, 12 edges, 5 vertices, 9 tuples
24.89/9.41 c 04:50:35.326 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46187. 'extension(x[2][19]=[0‥5], 5) :: init: true :: relation: MDD 1247632184, 12 edges, 5 vertices, 9 tuples
24.89/9.41 c 04:50:35.327 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46223. 'extension(x[2][31]=[0‥5], 5) :: init: true :: relation: MDD 1833703608, 12 edges, 5 vertices, 9 tuples
24.89/9.41 c 04:50:35.329 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46263. 'extension(5, 5) :: init: true :: relation: MDD 365016387, 12 edges, 5 vertices, 9 tuples
24.89/9.41 c 04:50:35.330 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46299. 'extension(5, 5) :: init: true :: relation: MDD 1452209410, 12 edges, 5 vertices, 9 tuples
24.89/9.41 c 04:50:35.330 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46333. 'extension(5, x[5][18]=[0‥5]) :: init: true :: relation: MDD 1281248250, 12 edges, 5 vertices, 9 tuples
24.89/9.41 c 04:50:35.331 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46336. 'extension(5, 5) :: init: true :: relation: MDD 1281248250, 12 edges, 5 vertices, 9 tuples
24.89/9.41 c 04:50:35.333 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46373. 'extension(5, 5) :: init: true :: relation: MDD 1247632184, 12 edges, 5 vertices, 9 tuples
24.89/9.41 c 04:50:35.334 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46410. 'extension(5, 5) :: init: true :: relation: MDD 1833703608, 12 edges, 5 vertices, 9 tuples
24.89/9.41 c 04:50:35.335 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46445. 'extension(5, x[5][35]=[0‥5]) :: init: true :: relation: MDD 365016387, 12 edges, 5 vertices, 9 tuples
24.89/9.41 c 04:50:35.336 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46448. 'extension(5, 5) :: init: true :: relation: MDD 365016387, 12 edges, 5 vertices, 9 tuples
24.89/9.41 c 04:50:35.337 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46482. 'extension(5, wk[14][0]=[0‥1]) :: init: true :: relation: MDD 382992974, 6 edges, 3 vertices, 5 tuples
24.89/9.41 c 04:50:35.338 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46483. 'extension(5, x[6][14]=[0‥5]) :: init: true :: relation: MDD 1452209410, 12 edges, 5 vertices, 9 tuples
24.89/9.42 c 04:50:35.339 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46486. 'extension(5, 5) :: init: true :: relation: MDD 1452209410, 12 edges, 5 vertices, 9 tuples
24.89/9.42 c 04:50:35.340 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46521. 'extension(5, wk[19][0]=[0‥1]) :: init: true :: relation: MDD 1814943883, 6 edges, 3 vertices, 5 tuples
24.89/9.42 c 04:50:35.340 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46525. 'extension(5, 5) :: init: true :: relation: MDD 1247632184, 12 edges, 5 vertices, 9 tuples
24.89/9.42 c 04:50:35.341 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46560. 'extension(5, wk[31][0]=[0‥1]) :: init: true :: relation: MDD 1836824012, 6 edges, 3 vertices, 5 tuples
24.89/9.42 c 04:50:35.341 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46564. 'extension(5, 5) :: init: true :: relation: MDD 1833703608, 12 edges, 5 vertices, 9 tuples
24.89/9.42 c 04:50:35.342 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46599. 'extension(5, wk[10][0]=[0‥1]) :: init: true :: relation: MDD 1502502072, 6 edges, 3 vertices, 5 tuples
24.89/9.42 c 04:50:35.343 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46600. 'extension(x[5][10]=[0‥5], 5) :: init: true :: relation: MDD 1553141699, 12 edges, 5 vertices, 9 tuples
24.89/9.42 c 04:50:35.344 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46638. 'extension(5, wk[19][0]=[0‥1]) :: init: true :: relation: MDD 1018262491, 6 edges, 3 vertices, 5 tuples
24.89/9.42 c 04:50:35.345 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46639. 'extension(5, x[7][19]=[0‥5]) :: init: true :: relation: MDD 1247632184, 12 edges, 5 vertices, 9 tuples
24.89/9.42 c 04:50:35.345 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46642. 'extension(5, 5) :: init: true :: relation: MDD 1247632184, 12 edges, 5 vertices, 9 tuples
24.89/9.43 c 04:50:35.347 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46677. 'extension(5, wk[31][0]=[0‥1]) :: init: true :: relation: MDD 956958624, 6 edges, 3 vertices, 5 tuples
24.89/9.43 c 04:50:35.347 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46681. 'extension(5, 5) :: init: true :: relation: MDD 1833703608, 12 edges, 5 vertices, 9 tuples
24.89/9.43 c 04:50:35.348 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46716. 'extension(5, wk[33][0]=[0‥1]) :: init: true :: relation: MDD 974386787, 6 edges, 3 vertices, 5 tuples
24.89/9.43 c 04:50:35.348 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46717. 'extension(x[5][33]=[0‥5], 5) :: init: true :: relation: MDD 477745299, 12 edges, 5 vertices, 9 tuples
24.89/9.43 c 04:50:35.349 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46758. 'extension(5, 5) :: init: true :: relation: MDD 1553141699, 12 edges, 5 vertices, 9 tuples
24.89/9.43 c 04:50:35.350 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46793. 'extension(x[6][11]=[0‥5], 5) :: init: true :: relation: MDD 1626241617, 12 edges, 5 vertices, 9 tuples
24.89/9.43 c 04:50:35.351 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46794. 'extension(5, x[8][11]=[0‥5]) :: init: true :: relation: MDD 1626241617, 12 edges, 5 vertices, 9 tuples
24.89/9.43 c 04:50:35.353 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46831. 'extension(x[6][12]=[0‥5], 5) :: init: true :: relation: MDD 95884778, 12 edges, 5 vertices, 9 tuples
24.89/9.44 c 04:50:35.354 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46869. 'extension(5, x[8][31]=[0‥5]) :: init: true :: relation: MDD 1833703608, 12 edges, 5 vertices, 9 tuples
24.89/9.44 c 04:50:35.355 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46872. 'extension(5, 5) :: init: true :: relation: MDD 1833703608, 12 edges, 5 vertices, 9 tuples
24.89/9.44 c 04:50:35.356 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46910. 'extension(5, 5) :: init: true :: relation: MDD 477745299, 12 edges, 5 vertices, 9 tuples
24.89/9.44 c 04:50:35.358 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46948. 'extension(5, 5) :: init: true :: relation: MDD 1553141699, 12 edges, 5 vertices, 9 tuples
24.89/9.44 c 04:50:35.358 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46986. 'extension(5, 5) :: init: true :: relation: MDD 95884778, 12 edges, 5 vertices, 9 tuples
24.89/9.44 c 04:50:35.359 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47024. 'extension(5, 5) :: init: true :: relation: MDD 477745299, 12 edges, 5 vertices, 9 tuples
24.89/9.44 c 04:50:35.360 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47059. 'extension(5, x[10][10]=[0‥5]) :: init: true :: relation: MDD 1553141699, 12 edges, 5 vertices, 9 tuples
24.89/9.44 c 04:50:35.361 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47062. 'extension(5, 5) :: init: true :: relation: MDD 1553141699, 12 edges, 5 vertices, 9 tuples
24.89/9.44 c 04:50:35.361 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47100. 'extension(5, 5) :: init: true :: relation: MDD 95884778, 12 edges, 5 vertices, 9 tuples
24.89/9.44 c 04:50:35.362 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47138. 'extension(5, 5) :: init: true :: relation: MDD 477745299, 12 edges, 5 vertices, 9 tuples
24.89/9.44 c 04:50:35.363 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47173. 'extension(x[9][3]=[0‥5], 5) :: init: true :: relation: MDD 1705145694, 12 edges, 5 vertices, 9 tuples
24.89/9.44 c 04:50:35.364 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47214. 'extension(5, 5) :: init: true :: relation: MDD 95884778, 12 edges, 5 vertices, 9 tuples
24.89/9.45 c 04:50:35.364 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47249. 'extension(x[9][30]=[0‥5], 5) :: init: true :: relation: MDD 1071793776, 12 edges, 5 vertices, 9 tuples
24.89/9.45 c 04:50:35.365 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47287. 'extension(5, x[11][33]=[0‥5]) :: init: true :: relation: MDD 477745299, 12 edges, 5 vertices, 9 tuples
24.89/9.45 c 04:50:35.366 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47290. 'extension(5, 5) :: init: true :: relation: MDD 477745299, 12 edges, 5 vertices, 9 tuples
24.89/9.45 c 04:50:35.367 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47328. 'extension(5, 5) :: init: true :: relation: MDD 1705145694, 12 edges, 5 vertices, 9 tuples
24.89/9.45 c 04:50:35.368 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47363. 'extension(5, x[12][12]=[0‥5]) :: init: true :: relation: MDD 95884778, 12 edges, 5 vertices, 9 tuples
24.89/9.45 c 04:50:35.368 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47366. 'extension(5, 5) :: init: true :: relation: MDD 95884778, 12 edges, 5 vertices, 9 tuples
24.89/9.45 c 04:50:35.370 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47401. 'extension(x[10][18]=[0‥5], 5) :: init: true :: relation: MDD 1281248250, 12 edges, 5 vertices, 9 tuples
24.89/9.45 c 04:50:35.371 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47442. 'extension(5, 5) :: init: true :: relation: MDD 1071793776, 12 edges, 5 vertices, 9 tuples
24.89/9.45 c 04:50:35.372 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47477. 'extension(5, wk[1][1]=[0‥1]) :: init: true :: relation: MDD 481577519, 6 edges, 3 vertices, 5 tuples
24.89/9.45 c 04:50:35.372 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47478. 'extension(x[11][1]=[0‥5], 5) :: init: true :: relation: MDD 445326005, 12 edges, 5 vertices, 9 tuples
24.89/9.45 c 04:50:35.372 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47479. 'extension(5, x[13][1]=[0‥5]) :: init: true :: relation: MDD 445326005, 12 edges, 5 vertices, 9 tuples
24.89/9.45 c 04:50:35.374 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47516. 'extension(5, wk[3][1]=[0‥1]) :: init: true :: relation: MDD 2087202342, 6 edges, 3 vertices, 5 tuples
24.89/9.45 c 04:50:35.374 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47520. 'extension(5, 5) :: init: true :: relation: MDD 1705145694, 12 edges, 5 vertices, 9 tuples
24.89/9.45 c 04:50:35.375 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47555. 'extension(5, wk[8][1]=[0‥1]) :: init: true :: relation: MDD 1178728044, 6 edges, 3 vertices, 5 tuples
24.89/9.45 c 04:50:35.375 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47556. 'extension(x[11][8]=[0‥5], 5) :: init: true :: relation: MDD 82211311, 12 edges, 5 vertices, 9 tuples
24.89/9.45 c 04:50:35.375 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47557. 'extension(5, x[13][8]=[0‥5]) :: init: true :: relation: MDD 82211311, 12 edges, 5 vertices, 9 tuples
24.89/9.45 c 04:50:35.377 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47594. 'extension(5, wk[18][1]=[0‥1]) :: init: true :: relation: MDD 1016138445, 6 edges, 3 vertices, 5 tuples
24.89/9.45 c 04:50:35.377 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47595. 'extension(5, x[13][18]=[0‥5]) :: init: true :: relation: MDD 1281248250, 12 edges, 5 vertices, 9 tuples
24.89/9.46 c 04:50:35.378 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47598. 'extension(5, 5) :: init: true :: relation: MDD 1281248250, 12 edges, 5 vertices, 9 tuples
24.89/9.46 c 04:50:35.379 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47633. 'extension(5, wk[30][1]=[0‥1]) :: init: true :: relation: MDD 921500150, 6 edges, 3 vertices, 5 tuples
24.89/9.46 c 04:50:35.379 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47637. 'extension(5, 5) :: init: true :: relation: MDD 1071793776, 12 edges, 5 vertices, 9 tuples
24.89/9.46 c 04:50:35.380 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47672. 'extension(5, wk[3][1]=[0‥1]) :: init: true :: relation: MDD 873447850, 6 edges, 3 vertices, 5 tuples
24.89/9.46 c 04:50:35.380 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47676. 'extension(5, 5) :: init: true :: relation: MDD 1705145694, 12 edges, 5 vertices, 9 tuples
24.89/9.46 c 04:50:35.380 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47711. 'extension(5, wk[14][1]=[0‥1]) :: init: true :: relation: MDD 1273258213, 6 edges, 3 vertices, 5 tuples
24.89/9.46 c 04:50:35.381 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47712. 'extension(x[12][14]=[0‥5], 5) :: init: true :: relation: MDD 1452209410, 12 edges, 5 vertices, 9 tuples
24.89/9.46 c 04:50:35.381 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47750. 'extension(5, wk[30][1]=[0‥1]) :: init: true :: relation: MDD 62759408, 6 edges, 3 vertices, 5 tuples
24.89/9.46 c 04:50:35.382 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47751. 'extension(5, x[14][30]=[0‥5]) :: init: true :: relation: MDD 1071793776, 12 edges, 5 vertices, 9 tuples
24.89/9.46 c 04:50:35.383 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47754. 'extension(5, 5) :: init: true :: relation: MDD 1071793776, 12 edges, 5 vertices, 9 tuples
24.89/9.46 c 04:50:35.384 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47792. 'extension(5, 5) :: init: true :: relation: MDD 1705145694, 12 edges, 5 vertices, 9 tuples
24.89/9.46 c 04:50:35.384 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47827. 'extension(5, x[15][14]=[0‥5]) :: init: true :: relation: MDD 1452209410, 12 edges, 5 vertices, 9 tuples
24.89/9.46 c 04:50:35.385 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47830. 'extension(5, 5) :: init: true :: relation: MDD 1452209410, 12 edges, 5 vertices, 9 tuples
24.89/9.46 c 04:50:35.386 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47865. 'extension(x[14][2]=[0‥5], 5) :: init: true :: relation: MDD 1746617043, 12 edges, 5 vertices, 9 tuples
24.89/9.47 c 04:50:35.387 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47903. 'extension(5, x[16][3]=[0‥5]) :: init: true :: relation: MDD 1705145694, 12 edges, 5 vertices, 9 tuples
24.89/9.47 c 04:50:35.387 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47906. 'extension(5, 5) :: init: true :: relation: MDD 1705145694, 12 edges, 5 vertices, 9 tuples
24.89/9.47 c 04:50:35.388 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47944. 'extension(5, 5) :: init: true :: relation: MDD 1746617043, 12 edges, 5 vertices, 9 tuples
24.89/9.47 c 04:50:35.389 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47979. 'extension(x[15][21]=[0‥5], 5) :: init: true :: relation: MDD 64797628, 12 edges, 5 vertices, 9 tuples
24.89/9.47 c 04:50:35.390 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48017. 'extension(x[15][25]=[0‥5], 5) :: init: true :: relation: MDD 403032668, 12 edges, 5 vertices, 9 tuples
24.89/9.47 c 04:50:35.391 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48055. 'extension(5, x[18][2]=[0‥5]) :: init: true :: relation: MDD 1746617043, 12 edges, 5 vertices, 9 tuples
24.89/9.47 c 04:50:35.391 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48058. 'extension(5, 5) :: init: true :: relation: MDD 1746617043, 12 edges, 5 vertices, 9 tuples
24.89/9.47 c 04:50:35.392 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48093. 'extension(x[16][19]=[0‥5], 5) :: init: true :: relation: MDD 1247632184, 12 edges, 5 vertices, 9 tuples
24.89/9.47 c 04:50:35.393 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48134. 'extension(5, 5) :: init: true :: relation: MDD 64797628, 12 edges, 5 vertices, 9 tuples
24.89/9.47 c 04:50:35.393 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48169. 'extension(5, x[18][25]=[0‥5]) :: init: true :: relation: MDD 403032668, 12 edges, 5 vertices, 9 tuples
24.89/9.47 c 04:50:35.394 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48172. 'extension(5, 5) :: init: true :: relation: MDD 403032668, 12 edges, 5 vertices, 9 tuples
24.89/9.47 c 04:50:35.395 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48207. 'extension(x[16][36]=[0‥5], 5) :: init: true :: relation: MDD 1647028001, 12 edges, 5 vertices, 9 tuples
24.89/9.47 c 04:50:35.395 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48208. 'extension(5, x[18][36]=[0‥5]) :: init: true :: relation: MDD 1647028001, 12 edges, 5 vertices, 9 tuples
24.89/9.47 c 04:50:35.396 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48248. 'extension(5, 5) :: init: true :: relation: MDD 1247632184, 12 edges, 5 vertices, 9 tuples
24.89/9.48 c 04:50:35.397 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48286. 'extension(5, 5) :: init: true :: relation: MDD 64797628, 12 edges, 5 vertices, 9 tuples
24.89/9.48 c 04:50:35.398 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48321. 'extension(5, wk[19][2]=[0‥1]) :: init: true :: relation: MDD 1212897825, 6 edges, 3 vertices, 5 tuples
24.89/9.48 c 04:50:35.398 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48322. 'extension(5, x[20][19]=[0‥5]) :: init: true :: relation: MDD 1247632184, 12 edges, 5 vertices, 9 tuples
24.89/9.48 c 04:50:35.398 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48325. 'extension(5, 5) :: init: true :: relation: MDD 1247632184, 12 edges, 5 vertices, 9 tuples
24.89/9.48 c 04:50:35.399 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48360. 'extension(5, wk[20][2]=[0‥1]) :: init: true :: relation: MDD 1083413945, 6 edges, 3 vertices, 5 tuples
24.89/9.48 c 04:50:35.399 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48361. 'extension(x[18][20]=[0‥5], 5) :: init: true :: relation: MDD 1876619012, 12 edges, 5 vertices, 9 tuples
24.89/9.48 c 04:50:35.400 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48399. 'extension(5, wk[21][2]=[0‥1]) :: init: true :: relation: MDD 1553874177, 6 edges, 3 vertices, 5 tuples
24.89/9.48 c 04:50:35.400 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48403. 'extension(5, 5) :: init: true :: relation: MDD 64797628, 12 edges, 5 vertices, 9 tuples
24.89/9.48 c 04:50:35.401 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48438. 'extension(5, wk[34][2]=[0‥1]) :: init: true :: relation: MDD 287096026, 6 edges, 3 vertices, 5 tuples
24.89/9.48 c 04:50:35.401 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48439. 'extension(x[18][34]=[0‥5], 5) :: init: true :: relation: MDD 871895680, 12 edges, 5 vertices, 9 tuples
24.89/9.48 c 04:50:35.402 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48440. 'extension(5, x[20][34]=[0‥5]) :: init: true :: relation: MDD 871895680, 12 edges, 5 vertices, 9 tuples
24.89/9.48 c 04:50:35.403 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48477. 'extension(5, wk[20][2]=[0‥1]) :: init: true :: relation: MDD 1722316058, 6 edges, 3 vertices, 5 tuples
24.89/9.48 c 04:50:35.403 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48481. 'extension(5, 5) :: init: true :: relation: MDD 1876619012, 12 edges, 5 vertices, 9 tuples
24.89/9.48 c 04:50:35.404 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48516. 'extension(5, wk[21][2]=[0‥1]) :: init: true :: relation: MDD 77780590, 6 edges, 3 vertices, 5 tuples
24.89/9.48 c 04:50:35.404 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48517. 'extension(5, x[21][21]=[0‥5]) :: init: true :: relation: MDD 64797628, 12 edges, 5 vertices, 9 tuples
24.89/9.48 c 04:50:35.404 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48520. 'extension(5, 5) :: init: true :: relation: MDD 64797628, 12 edges, 5 vertices, 9 tuples
24.89/9.48 c 04:50:35.405 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48555. 'extension(5, wk[32][2]=[0‥1]) :: init: true :: relation: MDD 1514901029, 6 edges, 3 vertices, 5 tuples
24.89/9.48 c 04:50:35.405 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48556. 'extension(x[19][32]=[0‥5], 5) :: init: true :: relation: MDD 1453959093, 12 edges, 5 vertices, 9 tuples
24.89/9.48 c 04:50:35.406 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48594. 'extension(5, wk[33][2]=[0‥1]) :: init: true :: relation: MDD 2080635344, 6 edges, 3 vertices, 5 tuples
24.89/9.48 c 04:50:35.406 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48595. 'extension(x[19][33]=[0‥5], 5) :: init: true :: relation: MDD 477745299, 12 edges, 5 vertices, 9 tuples
24.89/9.48 c 04:50:35.406 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48596. 'extension(5, x[21][33]=[0‥5]) :: init: true :: relation: MDD 477745299, 12 edges, 5 vertices, 9 tuples
24.89/9.48 c 04:50:35.408 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48633. 'extension(x[20][0]=[0‥5], 5) :: init: true :: relation: MDD 428310651, 12 edges, 5 vertices, 9 tuples
24.89/9.49 c 04:50:35.409 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48671. 'extension(x[20][14]=[0‥5], 5) :: init: true :: relation: MDD 1452209410, 12 edges, 5 vertices, 9 tuples
24.89/9.49 c 04:50:35.409 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48672. 'extension(5, x[22][14]=[0‥5]) :: init: true :: relation: MDD 1452209410, 12 edges, 5 vertices, 9 tuples
24.89/9.49 c 04:50:35.411 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48709. 'extension(5, x[22][20]=[0‥5]) :: init: true :: relation: MDD 1876619012, 12 edges, 5 vertices, 9 tuples
24.89/9.49 c 04:50:35.412 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48712. 'extension(5, 5) :: init: true :: relation: MDD 1876619012, 12 edges, 5 vertices, 9 tuples
24.89/9.49 c 04:50:35.412 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48747. 'extension(x[20][28]=[0‥5], 5) :: init: true :: relation: MDD 1366000849, 12 edges, 5 vertices, 9 tuples
24.89/9.49 c 04:50:35.413 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48788. 'extension(5, 5) :: init: true :: relation: MDD 1453959093, 12 edges, 5 vertices, 9 tuples
24.89/9.49 c 04:50:35.414 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48826. 'extension(5, 5) :: init: true :: relation: MDD 428310651, 12 edges, 5 vertices, 9 tuples
24.89/9.49 c 04:50:35.414 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48861. 'extension(x[21][16]=[0‥5], 5) :: init: true :: relation: MDD 479668966, 12 edges, 5 vertices, 9 tuples
24.89/9.49 c 04:50:35.415 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48899. 'extension(x[21][22]=[0‥5], 5) :: init: true :: relation: MDD 2116006444, 12 edges, 5 vertices, 9 tuples
24.89/9.49 c 04:50:35.416 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48937. 'extension(x[21][23]=[0‥5], 5) :: init: true :: relation: MDD 764179103, 12 edges, 5 vertices, 9 tuples
24.89/9.49 c 04:50:35.417 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48975. 'extension(5, x[23][28]=[0‥5]) :: init: true :: relation: MDD 1366000849, 12 edges, 5 vertices, 9 tuples
24.89/9.49 c 04:50:35.417 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48978. 'extension(5, 5) :: init: true :: relation: MDD 1366000849, 12 edges, 5 vertices, 9 tuples
24.89/9.50 c 04:50:35.421 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49016. 'extension(5, 5) :: init: true :: relation: MDD 1453959093, 12 edges, 5 vertices, 9 tuples
24.89/9.50 c 04:50:35.423 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49051. 'extension(5, x[24][0]=[0‥5]) :: init: true :: relation: MDD 428310651, 12 edges, 5 vertices, 9 tuples
25.25/9.51 c 04:50:35.423 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49054. 'extension(5, 5) :: init: true :: relation: MDD 428310651, 12 edges, 5 vertices, 9 tuples
25.25/9.51 c 04:50:35.424 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49092. 'extension(5, 5) :: init: true :: relation: MDD 479668966, 12 edges, 5 vertices, 9 tuples
25.25/9.51 c 04:50:35.425 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49127. 'extension(5, x[24][22]=[0‥5]) :: init: true :: relation: MDD 2116006444, 12 edges, 5 vertices, 9 tuples
25.25/9.51 c 04:50:35.425 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49130. 'extension(5, 5) :: init: true :: relation: MDD 2116006444, 12 edges, 5 vertices, 9 tuples
25.25/9.51 c 04:50:35.426 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49168. 'extension(5, 5) :: init: true :: relation: MDD 764179103, 12 edges, 5 vertices, 9 tuples
25.25/9.51 c 04:50:35.426 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49206. 'extension(5, 5) :: init: true :: relation: MDD 1453959093, 12 edges, 5 vertices, 9 tuples
25.25/9.51 c 04:50:35.427 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49241. 'extension(x[23][13]=[0‥5], 5) :: init: true :: relation: MDD 621874105, 12 edges, 5 vertices, 9 tuples
25.25/9.51 c 04:50:35.428 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49279. 'extension(x[23][15]=[0‥5], 5) :: init: true :: relation: MDD 525474921, 12 edges, 5 vertices, 9 tuples
25.25/9.51 c 04:50:35.428 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49317. 'extension(5, x[25][16]=[0‥5]) :: init: true :: relation: MDD 479668966, 12 edges, 5 vertices, 9 tuples
25.25/9.51 c 04:50:35.429 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49320. 'extension(5, 5) :: init: true :: relation: MDD 479668966, 12 edges, 5 vertices, 9 tuples
25.25/9.51 c 04:50:35.429 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49355. 'extension(5, x[25][23]=[0‥5]) :: init: true :: relation: MDD 764179103, 12 edges, 5 vertices, 9 tuples
25.25/9.51 c 04:50:35.430 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49358. 'extension(5, 5) :: init: true :: relation: MDD 764179103, 12 edges, 5 vertices, 9 tuples
25.25/9.51 c 04:50:35.430 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49396. 'extension(5, 5) :: init: true :: relation: MDD 1453959093, 12 edges, 5 vertices, 9 tuples
25.25/9.51 c 04:50:35.431 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49434. 'extension(5, 5) :: init: true :: relation: MDD 621874105, 12 edges, 5 vertices, 9 tuples
25.25/9.51 c 04:50:35.431 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49472. 'extension(5, 5) :: init: true :: relation: MDD 525474921, 12 edges, 5 vertices, 9 tuples
25.25/9.51 c 04:50:35.432 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49507. 'extension(x[24][21]=[0‥5], 5) :: init: true :: relation: MDD 64797628, 12 edges, 5 vertices, 9 tuples
25.25/9.51 c 04:50:35.433 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49545. 'extension(x[24][27]=[0‥5], 5) :: init: true :: relation: MDD 635934462, 12 edges, 5 vertices, 9 tuples
25.25/9.51 c 04:50:35.433 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49586. 'extension(5, 5) :: init: true :: relation: MDD 1453959093, 12 edges, 5 vertices, 9 tuples
25.25/9.51 c 04:50:35.434 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49621. 'extension(5, wk[5][3]=[0‥1]) :: init: true :: relation: MDD 361948480, 6 edges, 3 vertices, 5 tuples
25.25/9.51 c 04:50:35.434 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49622. 'extension(x[25][5]=[0‥5], 5) :: init: true :: relation: MDD 1737926771, 12 edges, 5 vertices, 9 tuples
25.25/9.52 c 04:50:35.435 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49660. 'extension(5, wk[13][3]=[0‥1]) :: init: true :: relation: MDD 64761620, 6 edges, 3 vertices, 5 tuples
25.25/9.52 c 04:50:35.435 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49664. 'extension(5, 5) :: init: true :: relation: MDD 621874105, 12 edges, 5 vertices, 9 tuples
25.25/9.52 c 04:50:35.436 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49699. 'extension(5, wk[15][3]=[0‥1]) :: init: true :: relation: MDD 1813769162, 6 edges, 3 vertices, 5 tuples
25.25/9.52 c 04:50:35.436 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49703. 'extension(5, 5) :: init: true :: relation: MDD 525474921, 12 edges, 5 vertices, 9 tuples
25.25/9.52 c 04:50:35.436 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49738. 'extension(5, wk[21][3]=[0‥1]) :: init: true :: relation: MDD 688176214, 6 edges, 3 vertices, 5 tuples
25.25/9.52 c 04:50:35.436 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49739. 'extension(5, x[27][21]=[0‥5]) :: init: true :: relation: MDD 64797628, 12 edges, 5 vertices, 9 tuples
25.25/9.52 c 04:50:35.437 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49742. 'extension(5, 5) :: init: true :: relation: MDD 64797628, 12 edges, 5 vertices, 9 tuples
25.25/9.52 c 04:50:35.437 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49777. 'extension(5, wk[27][3]=[0‥1]) :: init: true :: relation: MDD 1170952967, 6 edges, 3 vertices, 5 tuples
25.25/9.52 c 04:50:35.438 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49781. 'extension(5, 5) :: init: true :: relation: MDD 635934462, 12 edges, 5 vertices, 9 tuples
25.25/9.52 c 04:50:35.438 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49816. 'extension(5, wk[32][3]=[0‥1]) :: init: true :: relation: MDD 1519407613, 6 edges, 3 vertices, 5 tuples
25.25/9.52 c 04:50:35.438 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49820. 'extension(5, 5) :: init: true :: relation: MDD 1453959093, 12 edges, 5 vertices, 9 tuples
25.25/9.52 c 04:50:35.439 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49855. 'extension(5, wk[1][3]=[0‥1]) :: init: true :: relation: MDD 1634697653, 6 edges, 3 vertices, 5 tuples
25.25/9.52 c 04:50:35.439 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49856. 'extension(x[26][1]=[0‥5], 5) :: init: true :: relation: MDD 445326005, 12 edges, 5 vertices, 9 tuples
25.25/9.52 c 04:50:35.440 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49894. 'extension(5, wk[5][3]=[0‥1]) :: init: true :: relation: MDD 1145680499, 6 edges, 3 vertices, 5 tuples
25.25/9.52 c 04:50:35.440 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49898. 'extension(5, 5) :: init: true :: relation: MDD 1737926771, 12 edges, 5 vertices, 9 tuples
25.25/9.52 c 04:50:35.440 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49933. 'extension(5, wk[13][3]=[0‥1]) :: init: true :: relation: MDD 1462028250, 6 edges, 3 vertices, 5 tuples
25.25/9.52 c 04:50:35.440 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49937. 'extension(5, 5) :: init: true :: relation: MDD 621874105, 12 edges, 5 vertices, 9 tuples
25.25/9.52 c 04:50:35.441 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49972. 'extension(5, wk[15][3]=[0‥1]) :: init: true :: relation: MDD 650520717, 6 edges, 3 vertices, 5 tuples
25.25/9.52 c 04:50:35.441 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49976. 'extension(5, 5) :: init: true :: relation: MDD 525474921, 12 edges, 5 vertices, 9 tuples
25.25/9.52 c 04:50:35.441 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50011. 'extension(5, wk[23][3]=[0‥1]) :: init: true :: relation: MDD 1307655632, 6 edges, 3 vertices, 5 tuples
25.25/9.52 c 04:50:35.441 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50012. 'extension(x[26][23]=[0‥5], 5) :: init: true :: relation: MDD 764179103, 12 edges, 5 vertices, 9 tuples
25.25/9.52 c 04:50:35.442 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50050. 'extension(5, wk[27][3]=[0‥1]) :: init: true :: relation: MDD 1353454153, 6 edges, 3 vertices, 5 tuples
25.25/9.52 c 04:50:35.442 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50054. 'extension(5, 5) :: init: true :: relation: MDD 635934462, 12 edges, 5 vertices, 9 tuples
25.25/9.52 c 04:50:35.443 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50089. 'extension(5, wk[32][3]=[0‥1]) :: init: true :: relation: MDD 1881716172, 6 edges, 3 vertices, 5 tuples
25.25/9.52 c 04:50:35.443 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50090. 'extension(5, x[28][32]=[0‥5]) :: init: true :: relation: MDD 1453959093, 12 edges, 5 vertices, 9 tuples
25.25/9.52 c 04:50:35.443 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50093. 'extension(5, 5) :: init: true :: relation: MDD 1453959093, 12 edges, 5 vertices, 9 tuples
25.25/9.52 c 04:50:35.445 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50128. 'extension(5, x[29][1]=[0‥5]) :: init: true :: relation: MDD 445326005, 12 edges, 5 vertices, 9 tuples
25.25/9.52 c 04:50:35.446 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50131. 'extension(5, 5) :: init: true :: relation: MDD 445326005, 12 edges, 5 vertices, 9 tuples
25.25/9.52 c 04:50:35.447 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50169. 'extension(5, 5) :: init: true :: relation: MDD 1737926771, 12 edges, 5 vertices, 9 tuples
25.25/9.52 c 04:50:35.447 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50207. 'extension(5, 5) :: init: true :: relation: MDD 621874105, 12 edges, 5 vertices, 9 tuples
25.25/9.52 c 04:50:35.447 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50245. 'extension(5, 5) :: init: true :: relation: MDD 525474921, 12 edges, 5 vertices, 9 tuples
25.25/9.53 c 04:50:35.448 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50280. 'extension(5, x[29][23]=[0‥5]) :: init: true :: relation: MDD 764179103, 12 edges, 5 vertices, 9 tuples
25.25/9.53 c 04:50:35.448 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50283. 'extension(5, 5) :: init: true :: relation: MDD 764179103, 12 edges, 5 vertices, 9 tuples
25.25/9.53 c 04:50:35.449 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50321. 'extension(5, 5) :: init: true :: relation: MDD 635934462, 12 edges, 5 vertices, 9 tuples
25.25/9.53 c 04:50:35.449 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50356. 'extension(x[27][33]=[0‥5], 5) :: init: true :: relation: MDD 477745299, 12 edges, 5 vertices, 9 tuples
25.25/9.53 c 04:50:35.449 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50357. 'extension(5, x[29][33]=[0‥5]) :: init: true :: relation: MDD 477745299, 12 edges, 5 vertices, 9 tuples
25.25/9.53 c 04:50:35.451 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50397. 'extension(5, 5) :: init: true :: relation: MDD 1737926771, 12 edges, 5 vertices, 9 tuples
25.25/9.53 c 04:50:35.451 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50432. 'extension(5, x[30][13]=[0‥5]) :: init: true :: relation: MDD 621874105, 12 edges, 5 vertices, 9 tuples
25.25/9.53 c 04:50:35.452 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50435. 'extension(5, 5) :: init: true :: relation: MDD 621874105, 12 edges, 5 vertices, 9 tuples
25.25/9.53 c 04:50:35.453 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50470. 'extension(5, x[30][15]=[0‥5]) :: init: true :: relation: MDD 525474921, 12 edges, 5 vertices, 9 tuples
25.25/9.53 c 04:50:35.453 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50473. 'extension(5, 5) :: init: true :: relation: MDD 525474921, 12 edges, 5 vertices, 9 tuples
25.25/9.53 c 04:50:35.454 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50508. 'extension(x[28][19]=[0‥5], 5) :: init: true :: relation: MDD 1247632184, 12 edges, 5 vertices, 9 tuples
25.25/9.54 c 04:50:35.454 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50509. 'extension(5, x[30][19]=[0‥5]) :: init: true :: relation: MDD 1247632184, 12 edges, 5 vertices, 9 tuples
25.25/9.54 c 04:50:35.456 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50546. 'extension(x[28][21]=[0‥5], 5) :: init: true :: relation: MDD 64797628, 12 edges, 5 vertices, 9 tuples
25.25/9.54 c 04:50:35.456 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50547. 'extension(5, x[30][21]=[0‥5]) :: init: true :: relation: MDD 64797628, 12 edges, 5 vertices, 9 tuples
25.25/9.54 c 04:50:35.457 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50587. 'extension(5, 5) :: init: true :: relation: MDD 635934462, 12 edges, 5 vertices, 9 tuples
25.25/9.54 c 04:50:35.458 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50622. 'extension(x[28][38]=[0‥5], 5) :: init: true :: relation: MDD 224280405, 12 edges, 5 vertices, 9 tuples
25.25/9.54 c 04:50:35.458 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50623. 'extension(5, x[30][38]=[0‥5]) :: init: true :: relation: MDD 224280405, 12 edges, 5 vertices, 9 tuples
25.25/9.54 c 04:50:35.459 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50663. 'extension(5, 5) :: init: true :: relation: MDD 1737926771, 12 edges, 5 vertices, 9 tuples
25.25/9.54 c 04:50:35.460 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50698. 'extension(x[29][9]=[0‥5], 5) :: init: true :: relation: MDD 564059141, 12 edges, 5 vertices, 9 tuples
25.25/9.54 c 04:50:35.460 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50736. 'extension(x[29][22]=[0‥5], 5) :: init: true :: relation: MDD 2116006444, 12 edges, 5 vertices, 9 tuples
25.25/9.54 c 04:50:35.461 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50774. 'extension(5, x[31][27]=[0‥5]) :: init: true :: relation: MDD 635934462, 12 edges, 5 vertices, 9 tuples
25.25/9.54 c 04:50:35.461 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50777. 'extension(5, 5) :: init: true :: relation: MDD 635934462, 12 edges, 5 vertices, 9 tuples
25.25/9.54 c 04:50:35.462 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50812. 'extension(x[30][4]=[0‥5], 5) :: init: true :: relation: MDD 1569607592, 12 edges, 5 vertices, 9 tuples
25.25/9.54 c 04:50:35.463 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50853. 'extension(5, 5) :: init: true :: relation: MDD 1737926771, 12 edges, 5 vertices, 9 tuples
25.25/9.54 c 04:50:35.463 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50891. 'extension(5, 5) :: init: true :: relation: MDD 564059141, 12 edges, 5 vertices, 9 tuples
25.25/9.54 c 04:50:35.464 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50926. 'extension(5, x[32][22]=[0‥5]) :: init: true :: relation: MDD 2116006444, 12 edges, 5 vertices, 9 tuples
25.25/9.54 c 04:50:35.464 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50929. 'extension(5, 5) :: init: true :: relation: MDD 2116006444, 12 edges, 5 vertices, 9 tuples
25.25/9.54 c 04:50:35.465 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50964. 'extension(x[30][34]=[0‥5], 5) :: init: true :: relation: MDD 871895680, 12 edges, 5 vertices, 9 tuples
25.25/9.54 c 04:50:35.465 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51005. 'extension(5, 5) :: init: true :: relation: MDD 1569607592, 12 edges, 5 vertices, 9 tuples
25.25/9.54 c 04:50:35.466 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51043. 'extension(5, 5) :: init: true :: relation: MDD 1737926771, 12 edges, 5 vertices, 9 tuples
25.25/9.54 c 04:50:35.466 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51081. 'extension(5, 5) :: init: true :: relation: MDD 564059141, 12 edges, 5 vertices, 9 tuples
25.25/9.54 c 04:50:35.466 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51116. 'extension(x[31][16]=[0‥5], 5) :: init: true :: relation: MDD 479668966, 12 edges, 5 vertices, 9 tuples
25.25/9.54 c 04:50:35.467 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51157. 'extension(5, 5) :: init: true :: relation: MDD 871895680, 12 edges, 5 vertices, 9 tuples
25.25/9.54 c 04:50:35.468 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51192. 'extension(5, wk[0][4]=[0‥1]) :: init: true :: relation: MDD 685428529, 6 edges, 3 vertices, 5 tuples
25.25/9.54 c 04:50:35.468 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51193. 'extension(x[32][0]=[0‥5], 5) :: init: true :: relation: MDD 428310651, 12 edges, 5 vertices, 9 tuples
25.25/9.55 c 04:50:35.468 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51194. 'extension(5, x[34][0]=[0‥5]) :: init: true :: relation: MDD 428310651, 12 edges, 5 vertices, 9 tuples
25.25/9.55 c 04:50:35.469 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51231. 'extension(5, wk[4][4]=[0‥1]) :: init: true :: relation: MDD 788075428, 6 edges, 3 vertices, 5 tuples
25.25/9.55 c 04:50:35.470 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51235. 'extension(5, 5) :: init: true :: relation: MDD 1569607592, 12 edges, 5 vertices, 9 tuples
25.25/9.55 c 04:50:35.470 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51270. 'extension(5, wk[5][4]=[0‥1]) :: init: true :: relation: MDD 496751062, 6 edges, 3 vertices, 5 tuples
25.25/9.55 c 04:50:35.470 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51271. 'extension(5, x[34][5]=[0‥5]) :: init: true :: relation: MDD 1737926771, 12 edges, 5 vertices, 9 tuples
25.25/9.55 c 04:50:35.471 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51274. 'extension(5, 5) :: init: true :: relation: MDD 1737926771, 12 edges, 5 vertices, 9 tuples
25.25/9.55 c 04:50:35.472 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51309. 'extension(5, wk[9][4]=[0‥1]) :: init: true :: relation: MDD 131316947, 6 edges, 3 vertices, 5 tuples
25.25/9.55 c 04:50:35.472 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51310. 'extension(5, x[34][9]=[0‥5]) :: init: true :: relation: MDD 564059141, 12 edges, 5 vertices, 9 tuples
25.25/9.55 c 04:50:35.472 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51313. 'extension(5, 5) :: init: true :: relation: MDD 564059141, 12 edges, 5 vertices, 9 tuples
25.25/9.55 c 04:50:35.473 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51348. 'extension(5, wk[16][4]=[0‥1]) :: init: true :: relation: MDD 1875372072, 6 edges, 3 vertices, 5 tuples
25.25/9.55 c 04:50:35.473 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51352. 'extension(5, 5) :: init: true :: relation: MDD 479668966, 12 edges, 5 vertices, 9 tuples
25.25/9.55 c 04:50:35.473 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51387. 'extension(5, wk[24][4]=[0‥1]) :: init: true :: relation: MDD 395436593, 6 edges, 3 vertices, 5 tuples
25.25/9.55 c 04:50:35.473 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51388. 'extension(x[32][24]=[0‥5], 5) :: init: true :: relation: MDD 715943847, 12 edges, 5 vertices, 9 tuples
25.25/9.55 c 04:50:35.474 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51426. 'extension(5, wk[34][4]=[0‥1]) :: init: true :: relation: MDD 1315078366, 6 edges, 3 vertices, 5 tuples
25.25/9.55 c 04:50:35.474 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51430. 'extension(5, 5) :: init: true :: relation: MDD 871895680, 12 edges, 5 vertices, 9 tuples
25.25/9.55 c 04:50:35.475 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51465. 'extension(5, wk[1][4]=[0‥1]) :: init: true :: relation: MDD 1579775434, 6 edges, 3 vertices, 5 tuples
25.25/9.55 c 04:50:35.475 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51466. 'extension(x[33][1]=[0‥5], 5) :: init: true :: relation: MDD 445326005, 12 edges, 5 vertices, 9 tuples
25.25/9.55 c 04:50:35.475 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51467. 'extension(5, x[35][1]=[0‥5]) :: init: true :: relation: MDD 445326005, 12 edges, 5 vertices, 9 tuples
25.25/9.55 c 04:50:35.477 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51504. 'extension(5, wk[4][4]=[0‥1]) :: init: true :: relation: MDD 341829803, 6 edges, 3 vertices, 5 tuples
25.25/9.55 c 04:50:35.477 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51505. 'extension(5, x[35][4]=[0‥5]) :: init: true :: relation: MDD 1569607592, 12 edges, 5 vertices, 9 tuples
25.25/9.55 c 04:50:35.477 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51508. 'extension(5, 5) :: init: true :: relation: MDD 1569607592, 12 edges, 5 vertices, 9 tuples
25.25/9.55 c 04:50:35.478 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51543. 'extension(5, wk[16][4]=[0‥1]) :: init: true :: relation: MDD 753027610, 6 edges, 3 vertices, 5 tuples
25.25/9.55 c 04:50:35.478 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51547. 'extension(5, 5) :: init: true :: relation: MDD 479668966, 12 edges, 5 vertices, 9 tuples
25.25/9.55 c 04:50:35.478 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51582. 'extension(5, wk[24][4]=[0‥1]) :: init: true :: relation: MDD 1580600379, 6 edges, 3 vertices, 5 tuples
25.25/9.55 c 04:50:35.478 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51586. 'extension(5, 5) :: init: true :: relation: MDD 715943847, 12 edges, 5 vertices, 9 tuples
25.25/9.56 c 04:50:35.479 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51621. 'extension(5, wk[34][4]=[0‥1]) :: init: true :: relation: MDD 1244025760, 6 edges, 3 vertices, 5 tuples
25.25/9.56 c 04:50:35.479 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51625. 'extension(5, 5) :: init: true :: relation: MDD 871895680, 12 edges, 5 vertices, 9 tuples
25.25/9.56 c 04:50:35.480 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51660. 'extension(x[34][3]=[0‥5], 5) :: init: true :: relation: MDD 1705145694, 12 edges, 5 vertices, 9 tuples
25.25/9.56 c 04:50:35.480 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51661. 'extension(5, x[36][3]=[0‥5]) :: init: true :: relation: MDD 1705145694, 12 edges, 5 vertices, 9 tuples
25.25/9.56 c 04:50:35.481 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51698. 'extension(x[34][8]=[0‥5], 5) :: init: true :: relation: MDD 82211311, 12 edges, 5 vertices, 9 tuples
25.25/9.57 c 04:50:35.481 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51699. 'extension(5, x[36][8]=[0‥5]) :: init: true :: relation: MDD 82211311, 12 edges, 5 vertices, 9 tuples
25.25/9.57 c 04:50:35.482 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51736. 'extension(5, x[36][16]=[0‥5]) :: init: true :: relation: MDD 479668966, 12 edges, 5 vertices, 9 tuples
25.25/9.57 c 04:50:35.483 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51739. 'extension(5, 5) :: init: true :: relation: MDD 479668966, 12 edges, 5 vertices, 9 tuples
25.25/9.57 c 04:50:35.483 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51774. 'extension(5, x[36][24]=[0‥5]) :: init: true :: relation: MDD 715943847, 12 edges, 5 vertices, 9 tuples
25.25/9.57 c 04:50:35.484 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51777. 'extension(5, 5) :: init: true :: relation: MDD 715943847, 12 edges, 5 vertices, 9 tuples
25.25/9.57 c 04:50:35.484 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51815. 'extension(5, 5) :: init: true :: relation: MDD 871895680, 12 edges, 5 vertices, 9 tuples
25.25/9.57 c 04:50:35.485 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51850. 'extension(5, x[37][34]=[0‥5]) :: init: true :: relation: MDD 871895680, 12 edges, 5 vertices, 9 tuples
25.25/9.57 c 04:50:35.486 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51853. 'extension(5, 5) :: init: true :: relation: MDD 871895680, 12 edges, 5 vertices, 9 tuples
25.25/9.57 c 04:50:35.486 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51888. 'extension(x[35][37]=[0‥5], 5) :: init: true :: relation: MDD 1932618250, 12 edges, 5 vertices, 9 tuples
25.25/9.57 c 04:50:35.486 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51889. 'extension(5, x[37][37]=[0‥5]) :: init: true :: relation: MDD 1932618250, 12 edges, 5 vertices, 9 tuples
25.25/9.57 c 04:50:35.488 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51926. 'extension(x[38][7]=[0‥5], 5) :: init: true :: relation: MDD 234107628, 12 edges, 5 vertices, 9 tuples
25.25/9.57 c 04:50:35.488 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51964. 'extension(x[38][8]=[0‥5], 5) :: init: true :: relation: MDD 82211311, 12 edges, 5 vertices, 9 tuples
25.25/9.57 c 04:50:35.489 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52002. 'extension(x[38][29]=[0‥5], 5) :: init: true :: relation: MDD 820729289, 12 edges, 5 vertices, 9 tuples
25.25/9.57 c 04:50:35.490 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52040. 'extension(5, wk[1][5]=[0‥1]) :: init: true :: relation: MDD 2068191651, 6 edges, 3 vertices, 5 tuples
25.25/9.57 c 04:50:35.490 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52041. 'extension(x[39][1]=[0‥5], 5) :: init: true :: relation: MDD 445326005, 12 edges, 5 vertices, 9 tuples
25.25/9.57 c 04:50:35.490 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52042. 'extension(5, x[41][1]=[0‥5]) :: init: true :: relation: MDD 445326005, 12 edges, 5 vertices, 9 tuples
25.25/9.57 c 04:50:35.491 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52079. 'extension(5, wk[7][5]=[0‥1]) :: init: true :: relation: MDD 1605702850, 6 edges, 3 vertices, 5 tuples
25.25/9.57 c 04:50:35.491 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52080. 'extension(5, x[41][7]=[0‥5]) :: init: true :: relation: MDD 234107628, 12 edges, 5 vertices, 9 tuples
25.25/9.57 c 04:50:35.492 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52083. 'extension(5, 5) :: init: true :: relation: MDD 234107628, 12 edges, 5 vertices, 9 tuples
25.25/9.57 c 04:50:35.493 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52118. 'extension(5, wk[8][5]=[0‥1]) :: init: true :: relation: MDD 56859396, 6 edges, 3 vertices, 5 tuples
25.25/9.57 c 04:50:35.493 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52122. 'extension(5, 5) :: init: true :: relation: MDD 82211311, 12 edges, 5 vertices, 9 tuples
25.25/9.57 c 04:50:35.493 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52157. 'extension(5, wk[12][5]=[0‥1]) :: init: true :: relation: MDD 642942956, 6 edges, 3 vertices, 5 tuples
25.25/9.57 c 04:50:35.494 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52158. 'extension(x[39][12]=[0‥5], 5) :: init: true :: relation: MDD 95884778, 12 edges, 5 vertices, 9 tuples
25.25/9.57 c 04:50:35.494 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52196. 'extension(5, wk[17][5]=[0‥1]) :: init: true :: relation: MDD 1980895595, 6 edges, 3 vertices, 5 tuples
25.25/9.57 c 04:50:35.494 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52197. 'extension(x[39][17]=[0‥5], 5) :: init: true :: relation: MDD 1813184924, 12 edges, 5 vertices, 9 tuples
25.25/9.57 c 04:50:35.494 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52198. 'extension(5, x[41][17]=[0‥5]) :: init: true :: relation: MDD 1813184924, 12 edges, 5 vertices, 9 tuples
25.25/9.57 c 04:50:35.495 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52235. 'extension(5, wk[29][5]=[0‥1]) :: init: true :: relation: MDD 2032247677, 6 edges, 3 vertices, 5 tuples
25.25/9.57 c 04:50:35.496 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52239. 'extension(5, 5) :: init: true :: relation: MDD 820729289, 12 edges, 5 vertices, 9 tuples
25.25/9.57 c 04:50:35.496 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52274. 'extension(5, wk[8][5]=[0‥1]) :: init: true :: relation: MDD 748807322, 6 edges, 3 vertices, 5 tuples
25.25/9.57 c 04:50:35.496 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52278. 'extension(5, 5) :: init: true :: relation: MDD 82211311, 12 edges, 5 vertices, 9 tuples
25.25/9.57 c 04:50:35.497 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52313. 'extension(5, wk[12][5]=[0‥1]) :: init: true :: relation: MDD 1913714009, 6 edges, 3 vertices, 5 tuples
25.25/9.57 c 04:50:35.497 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52317. 'extension(5, 5) :: init: true :: relation: MDD 95884778, 12 edges, 5 vertices, 9 tuples
25.25/9.57 c 04:50:35.497 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52352. 'extension(5, wk[20][5]=[0‥1]) :: init: true :: relation: MDD 1728845596, 6 edges, 3 vertices, 5 tuples
25.25/9.57 c 04:50:35.497 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52353. 'extension(x[40][20]=[0‥5], 5) :: init: true :: relation: MDD 1876619012, 12 edges, 5 vertices, 9 tuples
25.25/9.57 c 04:50:35.498 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52391. 'extension(5, wk[29][5]=[0‥1]) :: init: true :: relation: MDD 1664659426, 6 edges, 3 vertices, 5 tuples
25.25/9.57 c 04:50:35.498 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52395. 'extension(5, 5) :: init: true :: relation: MDD 820729289, 12 edges, 5 vertices, 9 tuples
25.25/9.58 c 04:50:35.499 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52430. 'extension(x[41][4]=[0‥5], 5) :: init: true :: relation: MDD 1569607592, 12 edges, 5 vertices, 9 tuples
25.25/9.58 c 04:50:35.499 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52471. 'extension(5, 5) :: init: true :: relation: MDD 82211311, 12 edges, 5 vertices, 9 tuples
25.25/9.58 c 04:50:35.500 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52506. 'extension(5, x[43][12]=[0‥5]) :: init: true :: relation: MDD 95884778, 12 edges, 5 vertices, 9 tuples
25.25/9.58 c 04:50:35.500 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52509. 'extension(5, 5) :: init: true :: relation: MDD 95884778, 12 edges, 5 vertices, 9 tuples
25.25/9.58 c 04:50:35.501 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52547. 'extension(5, 5) :: init: true :: relation: MDD 1876619012, 12 edges, 5 vertices, 9 tuples
25.25/9.58 c 04:50:35.502 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52585. 'extension(5, 5) :: init: true :: relation: MDD 820729289, 12 edges, 5 vertices, 9 tuples
25.25/9.58 c 04:50:35.502 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52623. 'extension(5, 5) :: init: true :: relation: MDD 1569607592, 12 edges, 5 vertices, 9 tuples
25.25/9.58 c 04:50:35.503 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52658. 'extension(5, x[44][8]=[0‥5]) :: init: true :: relation: MDD 82211311, 12 edges, 5 vertices, 9 tuples
25.25/9.58 c 04:50:35.503 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52661. 'extension(5, 5) :: init: true :: relation: MDD 82211311, 12 edges, 5 vertices, 9 tuples
25.25/9.58 c 04:50:35.503 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52696. 'extension(5, x[44][20]=[0‥5]) :: init: true :: relation: MDD 1876619012, 12 edges, 5 vertices, 9 tuples
25.25/9.58 c 04:50:35.504 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52699. 'extension(5, 5) :: init: true :: relation: MDD 1876619012, 12 edges, 5 vertices, 9 tuples
25.25/9.58 c 04:50:35.504 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52737. 'extension(5, 5) :: init: true :: relation: MDD 820729289, 12 edges, 5 vertices, 9 tuples
25.25/9.58 c 04:50:35.505 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52772. 'extension(5, x[45][4]=[0‥5]) :: init: true :: relation: MDD 1569607592, 12 edges, 5 vertices, 9 tuples
25.25/9.58 c 04:50:35.505 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52775. 'extension(5, 5) :: init: true :: relation: MDD 1569607592, 12 edges, 5 vertices, 9 tuples
25.25/9.58 c 04:50:35.506 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52813. 'extension(5, 5) :: init: true :: relation: MDD 820729289, 12 edges, 5 vertices, 9 tuples
25.25/9.58 c 04:50:35.506 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52851. 'extension(5, 5) :: init: true :: relation: MDD 820729289, 12 edges, 5 vertices, 9 tuples
25.25/9.58 c 04:50:35.507 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52886. 'extension(x[45][6]=[0‥5], 5) :: init: true :: relation: MDD 1683791631, 12 edges, 5 vertices, 9 tuples
25.25/9.58 c 04:50:35.507 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52924. 'extension(5, x[47][29]=[0‥5]) :: init: true :: relation: MDD 820729289, 12 edges, 5 vertices, 9 tuples
25.25/9.58 c 04:50:35.508 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52927. 'extension(5, 5) :: init: true :: relation: MDD 820729289, 12 edges, 5 vertices, 9 tuples
25.25/9.59 c 04:50:35.509 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52962. 'extension(5, wk[6][6]=[0‥1]) :: init: true :: relation: MDD 1931691665, 6 edges, 3 vertices, 5 tuples
25.25/9.59 c 04:50:35.509 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52966. 'extension(5, 5) :: init: true :: relation: MDD 1683791631, 12 edges, 5 vertices, 9 tuples
25.25/9.59 c 04:50:35.510 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53001. 'extension(5, wk[22][6]=[0‥1]) :: init: true :: relation: MDD 1866632814, 6 edges, 3 vertices, 5 tuples
25.25/9.59 c 04:50:35.510 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53002. 'extension(x[46][22]=[0‥5], 5) :: init: true :: relation: MDD 2116006444, 12 edges, 5 vertices, 9 tuples
25.25/9.59 c 04:50:35.510 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53040. 'extension(5, wk[26][6]=[0‥1]) :: init: true :: relation: MDD 655326029, 6 edges, 3 vertices, 5 tuples
25.25/9.59 c 04:50:35.511 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53041. 'extension(x[46][26]=[0‥5], 5) :: init: true :: relation: MDD 1019695044, 12 edges, 5 vertices, 9 tuples
25.25/9.59 c 04:50:35.511 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53079. 'extension(5, wk[6][6]=[0‥1]) :: init: true :: relation: MDD 655068202, 6 edges, 3 vertices, 5 tuples
25.25/9.59 c 04:50:35.511 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53083. 'extension(5, 5) :: init: true :: relation: MDD 1683791631, 12 edges, 5 vertices, 9 tuples
25.25/9.59 c 04:50:35.512 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53118. 'extension(5, wk[22][6]=[0‥1]) :: init: true :: relation: MDD 776691105, 6 edges, 3 vertices, 5 tuples
25.25/9.59 c 04:50:35.512 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53119. 'extension(5, x[49][22]=[0‥5]) :: init: true :: relation: MDD 2116006444, 12 edges, 5 vertices, 9 tuples
25.25/9.59 c 04:50:35.512 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53122. 'extension(5, 5) :: init: true :: relation: MDD 2116006444, 12 edges, 5 vertices, 9 tuples
25.25/9.59 c 04:50:35.513 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53157. 'extension(5, wk[26][6]=[0‥1]) :: init: true :: relation: MDD 179622586, 6 edges, 3 vertices, 5 tuples
25.25/9.59 c 04:50:35.513 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53158. 'extension(5, x[49][26]=[0‥5]) :: init: true :: relation: MDD 1019695044, 12 edges, 5 vertices, 9 tuples
25.25/9.59 c 04:50:35.514 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53161. 'extension(5, 5) :: init: true :: relation: MDD 1019695044, 12 edges, 5 vertices, 9 tuples
25.25/9.59 c 04:50:35.514 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53196. 'extension(5, wk[30][6]=[0‥1]) :: init: true :: relation: MDD 474094351, 6 edges, 3 vertices, 5 tuples
25.25/9.59 c 04:50:35.514 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53197. 'extension(x[47][30]=[0‥5], 5) :: init: true :: relation: MDD 1071793776, 12 edges, 5 vertices, 9 tuples
25.25/9.59 c 04:50:35.516 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53235. 'extension(x[48][2]=[0‥5], 5) :: init: true :: relation: MDD 1746617043, 12 edges, 5 vertices, 9 tuples
25.25/9.59 c 04:50:35.516 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53273. 'extension(5, x[50][6]=[0‥5]) :: init: true :: relation: MDD 1683791631, 12 edges, 5 vertices, 9 tuples
25.25/9.59 c 04:50:35.517 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53276. 'extension(5, 5) :: init: true :: relation: MDD 1683791631, 12 edges, 5 vertices, 9 tuples
25.25/9.59 c 04:50:35.517 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53311. 'extension(x[48][17]=[0‥5], 5) :: init: true :: relation: MDD 1813184924, 12 edges, 5 vertices, 9 tuples
25.25/9.59 c 04:50:35.517 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53312. 'extension(5, x[50][17]=[0‥5]) :: init: true :: relation: MDD 1813184924, 12 edges, 5 vertices, 9 tuples
25.55/9.60 c 04:50:35.518 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53349. 'extension(x[48][28]=[0‥5], 5) :: init: true :: relation: MDD 1366000849, 12 edges, 5 vertices, 9 tuples
25.55/9.60 c 04:50:35.519 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53390. 'extension(5, 5) :: init: true :: relation: MDD 1071793776, 12 edges, 5 vertices, 9 tuples
25.55/9.60 c 04:50:35.520 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53425. 'extension(5, x[51][2]=[0‥5]) :: init: true :: relation: MDD 1746617043, 12 edges, 5 vertices, 9 tuples
25.55/9.60 c 04:50:35.520 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53428. 'extension(5, 5) :: init: true :: relation: MDD 1746617043, 12 edges, 5 vertices, 9 tuples
25.55/9.60 c 04:50:35.521 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53466. 'extension(5, 5) :: init: true :: relation: MDD 1366000849, 12 edges, 5 vertices, 9 tuples
25.55/9.60 c 04:50:35.521 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53504. 'extension(5, 5) :: init: true :: relation: MDD 1071793776, 12 edges, 5 vertices, 9 tuples
25.55/9.60 c 04:50:35.521 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53539. 'extension(x[49][37]=[0‥5], 5) :: init: true :: relation: MDD 1932618250, 12 edges, 5 vertices, 9 tuples
25.55/9.60 c 04:50:35.522 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53577. 'extension(x[50][23]=[0‥5], 5) :: init: true :: relation: MDD 764179103, 12 edges, 5 vertices, 9 tuples
25.55/9.60 c 04:50:35.523 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53618. 'extension(5, 5) :: init: true :: relation: MDD 1366000849, 12 edges, 5 vertices, 9 tuples
25.55/9.60 c 04:50:35.523 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53653. 'extension(5, x[52][30]=[0‥5]) :: init: true :: relation: MDD 1071793776, 12 edges, 5 vertices, 9 tuples
25.55/9.60 c 04:50:35.524 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53656. 'extension(5, 5) :: init: true :: relation: MDD 1071793776, 12 edges, 5 vertices, 9 tuples
25.55/9.60 c 04:50:35.525 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53694. 'extension(5, 5) :: init: true :: relation: MDD 1932618250, 12 edges, 5 vertices, 9 tuples
25.55/9.60 c 04:50:35.525 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53729. 'extension(x[51][4]=[0‥5], 5) :: init: true :: relation: MDD 1569607592, 12 edges, 5 vertices, 9 tuples
25.55/9.60 c 04:50:35.526 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53730. 'extension(5, x[53][4]=[0‥5]) :: init: true :: relation: MDD 1569607592, 12 edges, 5 vertices, 9 tuples
25.55/9.60 c 04:50:35.527 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53767. 'extension(x[51][6]=[0‥5], 5) :: init: true :: relation: MDD 1683791631, 12 edges, 5 vertices, 9 tuples
25.55/9.60 c 04:50:35.528 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53805. 'extension(x[51][17]=[0‥5], 5) :: init: true :: relation: MDD 1813184924, 12 edges, 5 vertices, 9 tuples
25.55/9.60 c 04:50:35.528 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53843. 'extension(5, x[53][23]=[0‥5]) :: init: true :: relation: MDD 764179103, 12 edges, 5 vertices, 9 tuples
25.55/9.61 c 04:50:35.529 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53846. 'extension(5, 5) :: init: true :: relation: MDD 764179103, 12 edges, 5 vertices, 9 tuples
25.55/9.61 c 04:50:35.529 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53881. 'extension(x[51][24]=[0‥5], 5) :: init: true :: relation: MDD 715943847, 12 edges, 5 vertices, 9 tuples
25.55/9.61 c 04:50:35.530 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53882. 'extension(5, x[53][24]=[0‥5]) :: init: true :: relation: MDD 715943847, 12 edges, 5 vertices, 9 tuples
25.55/9.61 c 04:50:35.531 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53919. 'extension(x[51][25]=[0‥5], 5) :: init: true :: relation: MDD 403032668, 12 edges, 5 vertices, 9 tuples
25.55/9.61 c 04:50:35.531 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53957. 'extension(5, x[53][28]=[0‥5]) :: init: true :: relation: MDD 1366000849, 12 edges, 5 vertices, 9 tuples
25.55/9.61 c 04:50:35.532 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53960. 'extension(5, 5) :: init: true :: relation: MDD 1366000849, 12 edges, 5 vertices, 9 tuples
25.55/9.61 c 04:50:35.532 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53995. 'extension(x[51][31]=[0‥5], 5) :: init: true :: relation: MDD 1833703608, 12 edges, 5 vertices, 9 tuples
25.55/9.61 c 04:50:35.533 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54036. 'extension(5, 5) :: init: true :: relation: MDD 1932618250, 12 edges, 5 vertices, 9 tuples
25.55/9.61 c 04:50:35.533 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54071. 'extension(x[51][38]=[0‥5], 5) :: init: true :: relation: MDD 224280405, 12 edges, 5 vertices, 9 tuples
25.55/9.61 c 04:50:35.534 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54112. 'extension(5, 5) :: init: true :: relation: MDD 1683791631, 12 edges, 5 vertices, 9 tuples
25.55/9.61 c 04:50:35.534 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54150. 'extension(5, 5) :: init: true :: relation: MDD 1813184924, 12 edges, 5 vertices, 9 tuples
25.55/9.61 c 04:50:35.535 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54185. 'extension(5, x[54][25]=[0‥5]) :: init: true :: relation: MDD 403032668, 12 edges, 5 vertices, 9 tuples
25.55/9.61 c 04:50:35.535 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54188. 'extension(5, 5) :: init: true :: relation: MDD 403032668, 12 edges, 5 vertices, 9 tuples
25.55/9.61 c 04:50:35.536 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54226. 'extension(5, 5) :: init: true :: relation: MDD 1833703608, 12 edges, 5 vertices, 9 tuples
25.55/9.61 c 04:50:35.536 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54264. 'extension(5, 5) :: init: true :: relation: MDD 1932618250, 12 edges, 5 vertices, 9 tuples
25.55/9.61 c 04:50:35.537 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54302. 'extension(5, 5) :: init: true :: relation: MDD 224280405, 12 edges, 5 vertices, 9 tuples
25.55/9.61 c 04:50:35.537 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54337. 'extension(5, wk[6][7]=[0‥1]) :: init: true :: relation: MDD 316863915, 6 edges, 3 vertices, 5 tuples
25.55/9.61 c 04:50:35.537 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54341. 'extension(5, 5) :: init: true :: relation: MDD 1683791631, 12 edges, 5 vertices, 9 tuples
25.55/9.61 c 04:50:35.538 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54376. 'extension(5, wk[7][7]=[0‥1]) :: init: true :: relation: MDD 1981943537, 6 edges, 3 vertices, 5 tuples
25.55/9.61 c 04:50:35.538 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54377. 'extension(x[53][7]=[0‥5], 5) :: init: true :: relation: MDD 234107628, 12 edges, 5 vertices, 9 tuples
25.55/9.62 c 04:50:35.539 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54415. 'extension(5, wk[17][7]=[0‥1]) :: init: true :: relation: MDD 148232830, 6 edges, 3 vertices, 5 tuples
25.55/9.62 c 04:50:35.539 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54419. 'extension(5, 5) :: init: true :: relation: MDD 1813184924, 12 edges, 5 vertices, 9 tuples
25.55/9.62 c 04:50:35.539 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54454. 'extension(5, wk[31][7]=[0‥1]) :: init: true :: relation: MDD 1030952115, 6 edges, 3 vertices, 5 tuples
25.55/9.62 c 04:50:35.539 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54455. 'extension(5, x[55][31]=[0‥5]) :: init: true :: relation: MDD 1833703608, 12 edges, 5 vertices, 9 tuples
25.55/9.64 c 04:50:35.540 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54458. 'extension(5, 5) :: init: true :: relation: MDD 1833703608, 12 edges, 5 vertices, 9 tuples
25.55/9.64 c 04:50:35.565 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54493. 'extension(5, wk[35][7]=[0‥1]) :: init: true :: relation: MDD 538271150, 6 edges, 3 vertices, 5 tuples
25.55/9.64 c 04:50:35.565 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54494. 'extension(x[53][35]=[0‥5], 5) :: init: true :: relation: MDD 365016387, 12 edges, 5 vertices, 9 tuples
25.55/9.64 c 04:50:35.565 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54495. 'extension(5, x[55][35]=[0‥5]) :: init: true :: relation: MDD 365016387, 12 edges, 5 vertices, 9 tuples
25.55/9.64 c 04:50:35.566 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54532. 'extension(5, wk[37][7]=[0‥1]) :: init: true :: relation: MDD 1406666986, 6 edges, 3 vertices, 5 tuples
25.55/9.64 c 04:50:35.566 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54536. 'extension(5, 5) :: init: true :: relation: MDD 1932618250, 12 edges, 5 vertices, 9 tuples
25.55/9.64 c 04:50:35.567 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54571. 'extension(5, wk[38][7]=[0‥1]) :: init: true :: relation: MDD 875053581, 6 edges, 3 vertices, 5 tuples
25.55/9.64 c 04:50:35.567 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54572. 'extension(5, x[55][38]=[0‥5]) :: init: true :: relation: MDD 224280405, 12 edges, 5 vertices, 9 tuples
25.55/9.64 c 04:50:35.567 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54575. 'extension(5, 5) :: init: true :: relation: MDD 224280405, 12 edges, 5 vertices, 9 tuples
25.55/9.64 c 04:50:35.568 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54610. 'extension(5, wk[6][7]=[0‥1]) :: init: true :: relation: MDD 904927065, 6 edges, 3 vertices, 5 tuples
25.55/9.64 c 04:50:35.568 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54611. 'extension(5, x[56][6]=[0‥5]) :: init: true :: relation: MDD 1683791631, 12 edges, 5 vertices, 9 tuples
25.55/9.64 c 04:50:35.568 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54614. 'extension(5, 5) :: init: true :: relation: MDD 1683791631, 12 edges, 5 vertices, 9 tuples
25.55/9.65 c 04:50:35.569 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54649. 'extension(5, wk[7][7]=[0‥1]) :: init: true :: relation: MDD 693026321, 6 edges, 3 vertices, 5 tuples
25.55/9.65 c 04:50:35.569 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54653. 'extension(5, 5) :: init: true :: relation: MDD 234107628, 12 edges, 5 vertices, 9 tuples
25.55/9.65 c 04:50:35.570 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54688. 'extension(5, wk[17][7]=[0‥1]) :: init: true :: relation: MDD 384766304, 6 edges, 3 vertices, 5 tuples
25.55/9.65 c 04:50:35.570 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54692. 'extension(5, 5) :: init: true :: relation: MDD 1813184924, 12 edges, 5 vertices, 9 tuples
25.55/9.65 c 04:50:35.570 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54727. 'extension(5, wk[24][7]=[0‥1]) :: init: true :: relation: MDD 1516501617, 6 edges, 3 vertices, 5 tuples
25.55/9.65 c 04:50:35.570 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54728. 'extension(x[54][24]=[0‥5], 5) :: init: true :: relation: MDD 715943847, 12 edges, 5 vertices, 9 tuples
25.55/9.65 c 04:50:35.571 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54766. 'extension(5, wk[37][7]=[0‥1]) :: init: true :: relation: MDD 1602237569, 6 edges, 3 vertices, 5 tuples
25.55/9.65 c 04:50:35.571 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54770. 'extension(5, 5) :: init: true :: relation: MDD 1932618250, 12 edges, 5 vertices, 9 tuples
25.55/9.65 c 04:50:35.571 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54808. 'extension(5, 5) :: init: true :: relation: MDD 234107628, 12 edges, 5 vertices, 9 tuples
25.55/9.65 c 04:50:35.572 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54843. 'extension(x[55][8]=[0‥5], 5) :: init: true :: relation: MDD 82211311, 12 edges, 5 vertices, 9 tuples
25.55/9.65 c 04:50:35.572 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54844. 'extension(5, x[57][8]=[0‥5]) :: init: true :: relation: MDD 82211311, 12 edges, 5 vertices, 9 tuples
25.55/9.65 c 04:50:35.573 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54884. 'extension(5, 5) :: init: true :: relation: MDD 1813184924, 12 edges, 5 vertices, 9 tuples
25.55/9.65 c 04:50:35.574 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54919. 'extension(5, x[57][24]=[0‥5]) :: init: true :: relation: MDD 715943847, 12 edges, 5 vertices, 9 tuples
25.55/9.65 c 04:50:35.574 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54922. 'extension(5, 5) :: init: true :: relation: MDD 715943847, 12 edges, 5 vertices, 9 tuples
25.55/9.65 c 04:50:35.575 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54957. 'extension(x[55][36]=[0‥5], 5) :: init: true :: relation: MDD 1647028001, 12 edges, 5 vertices, 9 tuples
25.55/9.65 c 04:50:35.575 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54995. 'extension(5, x[57][37]=[0‥5]) :: init: true :: relation: MDD 1932618250, 12 edges, 5 vertices, 9 tuples
25.55/9.65 c 04:50:35.575 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54998. 'extension(5, 5) :: init: true :: relation: MDD 1932618250, 12 edges, 5 vertices, 9 tuples
25.55/9.65 c 04:50:35.576 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55033. 'extension(x[56][2]=[0‥5], 5) :: init: true :: relation: MDD 1746617043, 12 edges, 5 vertices, 9 tuples
25.55/9.65 c 04:50:35.577 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55071. 'extension(5, x[58][7]=[0‥5]) :: init: true :: relation: MDD 234107628, 12 edges, 5 vertices, 9 tuples
25.55/9.65 c 04:50:35.577 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55074. 'extension(5, 5) :: init: true :: relation: MDD 234107628, 12 edges, 5 vertices, 9 tuples
25.55/9.65 c 04:50:35.578 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55109. 'extension(5, x[58][17]=[0‥5]) :: init: true :: relation: MDD 1813184924, 12 edges, 5 vertices, 9 tuples
25.55/9.65 c 04:50:35.578 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55112. 'extension(5, 5) :: init: true :: relation: MDD 1813184924, 12 edges, 5 vertices, 9 tuples
25.55/9.66 c 04:50:35.579 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55147. 'extension(x[56][33]=[0‥5], 5) :: init: true :: relation: MDD 477745299, 12 edges, 5 vertices, 9 tuples
25.55/9.66 c 04:50:35.579 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55148. 'extension(5, x[58][33]=[0‥5]) :: init: true :: relation: MDD 477745299, 12 edges, 5 vertices, 9 tuples
25.55/9.66 c 04:50:35.580 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55185. 'extension(x[56][35]=[0‥5], 5) :: init: true :: relation: MDD 365016387, 12 edges, 5 vertices, 9 tuples
25.55/9.66 c 04:50:35.581 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55186. 'extension(5, x[58][35]=[0‥5]) :: init: true :: relation: MDD 365016387, 12 edges, 5 vertices, 9 tuples
25.55/9.66 c 04:50:35.582 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55226. 'extension(5, 5) :: init: true :: relation: MDD 1647028001, 12 edges, 5 vertices, 9 tuples
25.55/9.66 c 04:50:35.582 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55261. 'extension(5, x[59][2]=[0‥5]) :: init: true :: relation: MDD 1746617043, 12 edges, 5 vertices, 9 tuples
25.55/9.66 c 04:50:35.582 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55264. 'extension(5, 5) :: init: true :: relation: MDD 1746617043, 12 edges, 5 vertices, 9 tuples
25.55/9.66 c 04:50:35.583 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55299. 'extension(x[57][9]=[0‥5], 5) :: init: true :: relation: MDD 564059141, 12 edges, 5 vertices, 9 tuples
25.55/9.66 c 04:50:35.584 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55337. 'extension(x[57][16]=[0‥5], 5) :: init: true :: relation: MDD 479668966, 12 edges, 5 vertices, 9 tuples
25.55/9.66 c 04:50:35.584 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55338. 'extension(5, x[59][16]=[0‥5]) :: init: true :: relation: MDD 479668966, 12 edges, 5 vertices, 9 tuples
25.55/9.66 c 04:50:35.585 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55375. 'extension(x[57][18]=[0‥5], 5) :: init: true :: relation: MDD 1281248250, 12 edges, 5 vertices, 9 tuples
25.55/9.66 c 04:50:35.585 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55376. 'extension(5, x[59][18]=[0‥5]) :: init: true :: relation: MDD 1281248250, 12 edges, 5 vertices, 9 tuples
25.55/9.66 c 04:50:35.586 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55416. 'extension(5, 5) :: init: true :: relation: MDD 1647028001, 12 edges, 5 vertices, 9 tuples
25.55/9.66 c 04:50:35.587 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55451. 'extension(x[57][38]=[0‥5], 5) :: init: true :: relation: MDD 224280405, 12 edges, 5 vertices, 9 tuples
25.55/9.66 c 04:50:35.588 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55492. 'extension(5, 5) :: init: true :: relation: MDD 564059141, 12 edges, 5 vertices, 9 tuples
25.55/9.66 c 04:50:35.588 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55527. 'extension(x[58][25]=[0‥5], 5) :: init: true :: relation: MDD 403032668, 12 edges, 5 vertices, 9 tuples
25.55/9.66 c 04:50:35.588 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55528. 'extension(5, x[60][25]=[0‥5]) :: init: true :: relation: MDD 403032668, 12 edges, 5 vertices, 9 tuples
25.55/9.67 c 04:50:35.589 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55565. 'extension(x[58][27]=[0‥5], 5) :: init: true :: relation: MDD 635934462, 12 edges, 5 vertices, 9 tuples
25.55/9.67 c 04:50:35.590 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55606. 'extension(5, 5) :: init: true :: relation: MDD 1647028001, 12 edges, 5 vertices, 9 tuples
25.55/9.67 c 04:50:35.590 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55644. 'extension(5, 5) :: init: true :: relation: MDD 224280405, 12 edges, 5 vertices, 9 tuples
25.55/9.67 c 04:50:35.590 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55679. 'extension(x[58][39]=[0‥5], 5) :: init: true :: relation: MDD 827530509, 12 edges, 5 vertices, 9 tuples
25.55/9.67 c 04:50:35.591 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55720. 'extension(5, 5) :: init: true :: relation: MDD 564059141, 12 edges, 5 vertices, 9 tuples
25.55/9.67 c 04:50:35.591 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55755. 'extension(5, x[61][27]=[0‥5]) :: init: true :: relation: MDD 635934462, 12 edges, 5 vertices, 9 tuples
25.55/9.67 c 04:50:35.592 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55758. 'extension(5, 5) :: init: true :: relation: MDD 635934462, 12 edges, 5 vertices, 9 tuples
25.55/9.67 c 04:50:35.593 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55793. 'extension(5, x[61][36]=[0‥5]) :: init: true :: relation: MDD 1647028001, 12 edges, 5 vertices, 9 tuples
25.55/9.67 c 04:50:35.593 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55796. 'extension(5, 5) :: init: true :: relation: MDD 1647028001, 12 edges, 5 vertices, 9 tuples
25.55/9.67 c 04:50:35.593 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55834. 'extension(5, 5) :: init: true :: relation: MDD 224280405, 12 edges, 5 vertices, 9 tuples
25.55/9.67 c 04:50:35.594 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55872. 'extension(5, 5) :: init: true :: relation: MDD 827530509, 12 edges, 5 vertices, 9 tuples
25.55/9.67 c 04:50:35.594 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55907. 'extension(5, wk[9][8]=[0‥1]) :: init: true :: relation: MDD 1846347146, 6 edges, 3 vertices, 5 tuples
25.55/9.67 c 04:50:35.595 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55908. 'extension(5, x[62][9]=[0‥5]) :: init: true :: relation: MDD 564059141, 12 edges, 5 vertices, 9 tuples
25.55/9.67 c 04:50:35.595 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55911. 'extension(5, 5) :: init: true :: relation: MDD 564059141, 12 edges, 5 vertices, 9 tuples
25.55/9.67 c 04:50:35.596 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55946. 'extension(5, wk[38][8]=[0‥1]) :: init: true :: relation: MDD 1084936573, 6 edges, 3 vertices, 5 tuples
25.55/9.67 c 04:50:35.596 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55947. 'extension(5, x[62][38]=[0‥5]) :: init: true :: relation: MDD 224280405, 12 edges, 5 vertices, 9 tuples
25.55/9.67 c 04:50:35.596 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55950. 'extension(5, 5) :: init: true :: relation: MDD 224280405, 12 edges, 5 vertices, 9 tuples
25.55/9.67 c 04:50:35.597 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55985. 'extension(5, wk[39][8]=[0‥1]) :: init: true :: relation: MDD 1390015339, 6 edges, 3 vertices, 5 tuples
25.55/9.67 c 04:50:35.597 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55989. 'extension(5, 5) :: init: true :: relation: MDD 827530509, 12 edges, 5 vertices, 9 tuples
25.55/9.67 c 04:50:35.598 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56024. 'extension(5, wk[39][8]=[0‥1]) :: init: true :: relation: MDD 391903689, 6 edges, 3 vertices, 5 tuples
25.55/9.67 c 04:50:35.598 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56028. 'extension(5, 5) :: init: true :: relation: MDD 827530509, 12 edges, 5 vertices, 9 tuples
25.55/9.67 c 04:50:35.598 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56063. 'extension(x[62][1]=[0‥5], 5) :: init: true :: relation: MDD 445326005, 12 edges, 5 vertices, 9 tuples
25.55/9.68 c 04:50:35.599 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56101. 'extension(x[62][11]=[0‥5], 5) :: init: true :: relation: MDD 1626241617, 12 edges, 5 vertices, 9 tuples
25.55/9.68 c 04:50:35.599 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56139. 'extension(x[62][15]=[0‥5], 5) :: init: true :: relation: MDD 525474921, 12 edges, 5 vertices, 9 tuples
25.55/9.68 c 04:50:35.600 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56177. 'extension(x[62][24]=[0‥5], 5) :: init: true :: relation: MDD 715943847, 12 edges, 5 vertices, 9 tuples
25.55/9.68 c 04:50:35.600 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56218. 'extension(5, 5) :: init: true :: relation: MDD 827530509, 12 edges, 5 vertices, 9 tuples
25.55/9.68 c 04:50:35.601 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56256. 'extension(5, 5) :: init: true :: relation: MDD 445326005, 12 edges, 5 vertices, 9 tuples
25.55/9.68 c 04:50:35.601 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56294. 'extension(5, 5) :: init: true :: relation: MDD 1626241617, 12 edges, 5 vertices, 9 tuples
25.55/9.68 c 04:50:35.601 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56329. 'extension(5, x[65][15]=[0‥5]) :: init: true :: relation: MDD 525474921, 12 edges, 5 vertices, 9 tuples
25.55/9.68 c 04:50:35.602 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56332. 'extension(5, 5) :: init: true :: relation: MDD 525474921, 12 edges, 5 vertices, 9 tuples
25.55/9.69 c 04:50:35.603 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56367. 'extension(5, x[65][24]=[0‥5]) :: init: true :: relation: MDD 715943847, 12 edges, 5 vertices, 9 tuples
25.55/9.69 c 04:50:35.603 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56370. 'extension(5, 5) :: init: true :: relation: MDD 715943847, 12 edges, 5 vertices, 9 tuples
25.55/9.69 c 04:50:35.604 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56408. 'extension(5, 5) :: init: true :: relation: MDD 827530509, 12 edges, 5 vertices, 9 tuples
25.55/9.69 c 04:50:35.604 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56443. 'extension(5, x[66][1]=[0‥5]) :: init: true :: relation: MDD 445326005, 12 edges, 5 vertices, 9 tuples
25.55/9.69 c 04:50:35.605 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56446. 'extension(5, 5) :: init: true :: relation: MDD 445326005, 12 edges, 5 vertices, 9 tuples
25.55/9.69 c 04:50:35.606 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56481. 'extension(x[64][7]=[0‥5], 5) :: init: true :: relation: MDD 234107628, 12 edges, 5 vertices, 9 tuples
25.55/9.69 c 04:50:35.606 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56482. 'extension(5, x[66][7]=[0‥5]) :: init: true :: relation: MDD 234107628, 12 edges, 5 vertices, 9 tuples
25.55/9.69 c 04:50:35.607 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56519. 'extension(5, x[66][11]=[0‥5]) :: init: true :: relation: MDD 1626241617, 12 edges, 5 vertices, 9 tuples
25.55/9.69 c 04:50:35.607 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56522. 'extension(5, 5) :: init: true :: relation: MDD 1626241617, 12 edges, 5 vertices, 9 tuples
25.55/9.69 c 04:50:35.608 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56560. 'extension(5, 5) :: init: true :: relation: MDD 827530509, 12 edges, 5 vertices, 9 tuples
25.55/9.69 c 04:50:35.608 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56595. 'extension(x[65][13]=[0‥5], 5) :: init: true :: relation: MDD 621874105, 12 edges, 5 vertices, 9 tuples
25.55/9.69 c 04:50:35.609 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56633. 'extension(5, x[67][39]=[0‥5]) :: init: true :: relation: MDD 827530509, 12 edges, 5 vertices, 9 tuples
25.55/9.69 c 04:50:35.609 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56636. 'extension(5, 5) :: init: true :: relation: MDD 827530509, 12 edges, 5 vertices, 9 tuples
25.55/9.69 c 04:50:35.610 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56671. 'extension(x[66][2]=[0‥5], 5) :: init: true :: relation: MDD 1746617043, 12 edges, 5 vertices, 9 tuples
25.55/9.69 c 04:50:35.610 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56672. 'extension(5, x[68][2]=[0‥5]) :: init: true :: relation: MDD 1746617043, 12 edges, 5 vertices, 9 tuples
25.55/9.69 c 04:50:35.611 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56709. 'extension(5, x[68][13]=[0‥5]) :: init: true :: relation: MDD 621874105, 12 edges, 5 vertices, 9 tuples
25.55/9.69 c 04:50:35.612 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56712. 'extension(5, 5) :: init: true :: relation: MDD 621874105, 12 edges, 5 vertices, 9 tuples
25.55/9.69 c 04:50:35.613 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56747. 'extension(x[66][35]=[0‥5], 5) :: init: true :: relation: MDD 365016387, 12 edges, 5 vertices, 9 tuples
25.55/9.69 c 04:50:35.613 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56785. 'extension(5, wk[35][9]=[0‥1]) :: init: true :: relation: MDD 193208949, 6 edges, 3 vertices, 5 tuples
25.55/9.69 c 04:50:35.614 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56786. 'extension(5, x[69][35]=[0‥5]) :: init: true :: relation: MDD 365016387, 12 edges, 5 vertices, 9 tuples
25.55/9.69 c 04:50:35.614 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56789. 'extension(5, 5) :: init: true :: relation: MDD 365016387, 12 edges, 5 vertices, 9 tuples
25.55/9.69 c 04:50:35.615 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56824. 'extension(x[70][11]=[0‥5], 5) :: init: true :: relation: MDD 1626241617, 12 edges, 5 vertices, 9 tuples
25.55/9.69 c 04:50:35.616 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56865. 'extension(5, 5) :: init: true :: relation: MDD 1626241617, 12 edges, 5 vertices, 9 tuples
25.55/9.69 c 04:50:35.616 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56900. 'extension(x[71][26]=[0‥5], 5) :: init: true :: relation: MDD 1019695044, 12 edges, 5 vertices, 9 tuples
25.55/9.69 c 04:50:35.617 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56901. 'extension(5, x[73][26]=[0‥5]) :: init: true :: relation: MDD 1019695044, 12 edges, 5 vertices, 9 tuples
25.55/9.69 c 04:50:35.618 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56938. 'extension(x[72][0]=[0‥5], 5) :: init: true :: relation: MDD 428310651, 12 edges, 5 vertices, 9 tuples
25.55/9.69 c 04:50:35.618 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56976. 'extension(x[72][10]=[0‥5], 5) :: init: true :: relation: MDD 1553141699, 12 edges, 5 vertices, 9 tuples
25.55/9.70 c 04:50:35.619 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57017. 'extension(5, 5) :: init: true :: relation: MDD 1626241617, 12 edges, 5 vertices, 9 tuples
25.55/9.70 c 04:50:35.619 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57052. 'extension(x[72][20]=[0‥5], 5) :: init: true :: relation: MDD 1876619012, 12 edges, 5 vertices, 9 tuples
25.55/9.70 c 04:50:35.620 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57093. 'extension(5, 5) :: init: true :: relation: MDD 428310651, 12 edges, 5 vertices, 9 tuples
25.55/9.70 c 04:50:35.620 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57131. 'extension(5, 5) :: init: true :: relation: MDD 1553141699, 12 edges, 5 vertices, 9 tuples
25.55/9.70 c 04:50:35.620 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57166. 'extension(5, x[75][11]=[0‥5]) :: init: true :: relation: MDD 1626241617, 12 edges, 5 vertices, 9 tuples
25.55/9.70 c 04:50:35.621 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57169. 'extension(5, 5) :: init: true :: relation: MDD 1626241617, 12 edges, 5 vertices, 9 tuples
25.55/9.70 c 04:50:35.621 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57204. 'extension(5, x[75][20]=[0‥5]) :: init: true :: relation: MDD 1876619012, 12 edges, 5 vertices, 9 tuples
25.55/9.70 c 04:50:35.622 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57207. 'extension(5, 5) :: init: true :: relation: MDD 1876619012, 12 edges, 5 vertices, 9 tuples
25.55/9.70 c 04:50:35.623 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57242. 'extension(5, wk[0][10]=[0‥1]) :: init: true :: relation: MDD 1180245656, 6 edges, 3 vertices, 5 tuples
25.55/9.70 c 04:50:35.623 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57246. 'extension(5, 5) :: init: true :: relation: MDD 428310651, 12 edges, 5 vertices, 9 tuples
25.55/9.70 c 04:50:35.623 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57281. 'extension(5, wk[10][10]=[0‥1]) :: init: true :: relation: MDD 2130054146, 6 edges, 3 vertices, 5 tuples
25.55/9.70 c 04:50:35.623 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57285. 'extension(5, 5) :: init: true :: relation: MDD 1553141699, 12 edges, 5 vertices, 9 tuples
25.55/9.70 c 04:50:35.624 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57320. 'extension(5, wk[0][10]=[0‥1]) :: init: true :: relation: MDD 554723402, 6 edges, 3 vertices, 5 tuples
25.55/9.70 c 04:50:35.624 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57321. 'extension(5, x[77][0]=[0‥5]) :: init: true :: relation: MDD 428310651, 12 edges, 5 vertices, 9 tuples
25.55/9.70 c 04:50:35.624 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57324. 'extension(5, 5) :: init: true :: relation: MDD 428310651, 12 edges, 5 vertices, 9 tuples
25.55/9.70 c 04:50:35.625 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57359. 'extension(5, wk[10][10]=[0‥1]) :: init: true :: relation: MDD 1829377218, 6 edges, 3 vertices, 5 tuples
25.55/9.70 c 04:50:35.625 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57360. 'extension(5, x[77][10]=[0‥5]) :: init: true :: relation: MDD 1553141699, 12 edges, 5 vertices, 9 tuples
25.55/9.70 c 04:50:35.626 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57363. 'extension(5, 5) :: init: true :: relation: MDD 1553141699, 12 edges, 5 vertices, 9 tuples
25.55/9.70 c 04:50:35.626 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57398. 'extension(5, wk[26][10]=[0‥1]) :: init: true :: relation: MDD 1325322464, 6 edges, 3 vertices, 5 tuples
25.55/9.70 c 04:50:35.627 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57399. 'extension(x[75][26]=[0‥5], 5) :: init: true :: relation: MDD 1019695044, 12 edges, 5 vertices, 9 tuples
25.55/9.70 c 04:50:35.627 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57440. 'extension(5, 5) :: init: true :: relation: MDD 1019695044, 12 edges, 5 vertices, 9 tuples
25.87/9.70 c 04:50:35.628 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57478. 'extension(5, 5) :: init: true :: relation: MDD 1019695044, 12 edges, 5 vertices, 9 tuples
25.87/9.71 c 04:50:35.628 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57513. 'extension(x[77][28]=[0‥5], 5) :: init: true :: relation: MDD 1366000849, 12 edges, 5 vertices, 9 tuples
25.87/9.71 c 04:50:35.628 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57551. 'extension(x[77][34]=[0‥5], 5) :: init: true :: relation: MDD 871895680, 12 edges, 5 vertices, 9 tuples
25.87/9.71 c 04:50:35.629 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57552. 'extension(5, x[79][34]=[0‥5]) :: init: true :: relation: MDD 871895680, 12 edges, 5 vertices, 9 tuples
25.87/9.71 c 04:50:35.630 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57589. 'extension(x[78][7]=[0‥5], 5) :: init: true :: relation: MDD 234107628, 12 edges, 5 vertices, 9 tuples
25.87/9.71 c 04:50:35.630 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57590. 'extension(5, x[80][7]=[0‥5]) :: init: true :: relation: MDD 234107628, 12 edges, 5 vertices, 9 tuples
25.87/9.71 c 04:50:35.632 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57626. 'extension(x[78][25]=[0‥5], 5) :: init: true :: relation: MDD 403032668, 12 edges, 5 vertices, 9 tuples
25.87/9.71 c 04:50:35.632 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57666. 'extension(5, 5) :: init: true :: relation: MDD 1019695044, 12 edges, 5 vertices, 9 tuples
25.87/9.71 c 04:50:35.632 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57700. 'extension(5, x[80][28]=[0‥5]) :: init: true :: relation: MDD 1366000849, 12 edges, 5 vertices, 9 tuples
25.87/9.71 c 04:50:35.633 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57703. 'extension(5, 5) :: init: true :: relation: MDD 1366000849, 12 edges, 5 vertices, 9 tuples
25.87/9.71 c 04:50:35.634 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57737. 'extension(x[79][3]=[0‥5], 5) :: init: true :: relation: MDD 1705145694, 12 edges, 5 vertices, 9 tuples
25.87/9.71 c 04:50:35.634 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57738. 'extension(5, x[81][3]=[0‥5]) :: init: true :: relation: MDD 1705145694, 12 edges, 5 vertices, 9 tuples
25.87/9.71 c 04:50:35.635 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57773. 'extension(x[79][22]=[0‥5], 5) :: init: true :: relation: MDD 2116006444, 12 edges, 5 vertices, 9 tuples
25.87/9.71 c 04:50:35.635 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57812. 'extension(5, 5) :: init: true :: relation: MDD 403032668, 12 edges, 5 vertices, 9 tuples
25.87/9.71 c 04:50:35.636 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57845. 'extension(5, x[81][26]=[0‥5]) :: init: true :: relation: MDD 1019695044, 12 edges, 5 vertices, 9 tuples
25.87/9.71 c 04:50:35.636 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57848. 'extension(5, 5) :: init: true :: relation: MDD 1019695044, 12 edges, 5 vertices, 9 tuples
25.87/9.71 c 04:50:35.637 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57881. 'extension(5, x[82][22]=[0‥5]) :: init: true :: relation: MDD 2116006444, 12 edges, 5 vertices, 9 tuples
25.87/9.71 c 04:50:35.638 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57884. 'extension(5, 5) :: init: true :: relation: MDD 2116006444, 12 edges, 5 vertices, 9 tuples
25.87/9.72 c 04:50:35.639 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57916. 'extension(5, x[82][25]=[0‥5]) :: init: true :: relation: MDD 403032668, 12 edges, 5 vertices, 9 tuples
25.87/9.72 c 04:50:35.639 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57919. 'extension(5, 5) :: init: true :: relation: MDD 403032668, 12 edges, 5 vertices, 9 tuples
25.87/9.72 c 04:50:35.640 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57951. 'extension(5, wk[36][11]=[0‥1]) :: init: true :: relation: MDD 841581683, 6 edges, 3 vertices, 5 tuples
25.87/9.72 c 04:50:35.640 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57952. 'extension(x[81][36]=[0‥5], 5) :: init: true :: relation: MDD 1647028001, 12 edges, 5 vertices, 9 tuples
25.87/9.72 c 04:50:35.641 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57985. 'extension(5, wk[23][11]=[0‥1]) :: init: true :: relation: MDD 1918393987, 6 edges, 3 vertices, 5 tuples
25.87/9.72 c 04:50:35.641 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57986. 'extension(x[82][23]=[0‥5], 5) :: init: true :: relation: MDD 764179103, 12 edges, 5 vertices, 9 tuples
25.87/9.72 c 04:50:35.641 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57987. 'extension(5, x[82][23]=[0‥5]) :: init: true :: relation: MDD 1474657733, 6 edges, 3 vertices, 5 tuples
25.87/9.72 c 04:50:35.642 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58015. 'extension(5, wk[36][11]=[0‥1]) :: init: true :: relation: MDD 1567317309, 6 edges, 3 vertices, 5 tuples
25.87/9.72 c 04:50:35.642 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58016. 'extension(5, 5) :: init: true :: relation: MDD 1647028001, 12 edges, 5 vertices, 9 tuples
25.87/9.72 c 04:50:35.642 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58017. 'extension(5, 5) :: init: true :: relation: MDD 118566821, 6 edges, 3 vertices, 5 tuples
25.87/9.73 c 04:50:35.650 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58126. 'extension(x[0][14]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.73 c 04:50:35.651 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58130. 'extension(x[0][35]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.73 c 04:50:35.652 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58142. 'extension(x[2][19]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.73 c 04:50:35.653 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58148. 'extension(x[2][31]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.73 c 04:50:35.653 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58154. 'extension(x[5][18]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.73 c 04:50:35.654 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58172. 'extension(x[5][35]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.73 c 04:50:35.654 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58182. 'extension(wk[14][0]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.73 c 04:50:35.654 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58184. 'extension(x[6][14]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.73 c 04:50:35.655 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58194. 'extension(wk[19][0]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.73 c 04:50:35.655 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58196. 'extension(wk[31][0]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.73 c 04:50:35.655 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58200. 'extension(wk[10][0]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.73 c 04:50:35.655 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58202. 'extension(x[5][10]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.73 c 04:50:35.656 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58208. 'extension(wk[19][0]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.73 c 04:50:35.656 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58210. 'extension(x[7][19]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.73 c 04:50:35.656 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58220. 'extension(wk[31][0]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.73 c 04:50:35.656 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58222. 'extension(wk[33][0]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.73 c 04:50:35.656 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58224. 'extension(x[5][33]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.73 c 04:50:35.657 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58234. 'extension(x[6][11]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.73 c 04:50:35.657 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58236. 'extension(x[8][11]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.73 c 04:50:35.658 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58250. 'extension(x[6][12]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.74 c 04:50:35.658 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58256. 'extension(x[8][31]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.74 c 04:50:35.658 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58278. 'extension(x[10][10]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.74 c 04:50:35.659 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58288. 'extension(x[9][3]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.74 c 04:50:35.659 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58294. 'extension(x[9][30]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.74 c 04:50:35.659 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58300. 'extension(x[11][33]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.74 c 04:50:35.660 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58316. 'extension(x[12][12]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.74 c 04:50:35.660 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58326. 'extension(x[10][18]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.74 c 04:50:35.660 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58336. 'extension(wk[1][1]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.74 c 04:50:35.660 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58338. 'extension(x[11][1]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.74 c 04:50:35.661 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58340. 'extension(x[13][1]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.74 c 04:50:35.661 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58354. 'extension(wk[3][1]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.74 c 04:50:35.661 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58356. 'extension(wk[8][1]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.74 c 04:50:35.661 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58358. 'extension(x[11][8]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.74 c 04:50:35.661 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58360. 'extension(x[13][8]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.74 c 04:50:35.662 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58374. 'extension(wk[18][1]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.74 c 04:50:35.662 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58376. 'extension(x[13][18]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.74 c 04:50:35.662 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58390. 'extension(wk[30][1]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.74 c 04:50:35.662 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58394. 'extension(wk[3][1]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.74 c 04:50:35.663 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58396. 'extension(wk[14][1]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.74 c 04:50:35.663 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58398. 'extension(x[12][14]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.74 c 04:50:35.663 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58404. 'extension(wk[30][1]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.74 c 04:50:35.663 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58406. 'extension(x[14][30]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.74 c 04:50:35.663 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58418. 'extension(x[15][14]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.74 c 04:50:35.664 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58432. 'extension(x[14][2]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.74 c 04:50:35.664 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58438. 'extension(x[16][3]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.74 c 04:50:35.664 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58452. 'extension(x[15][21]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.74 c 04:50:35.665 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58458. 'extension(x[15][25]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.74 c 04:50:35.665 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58464. 'extension(x[18][2]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.74 c 04:50:35.665 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58474. 'extension(x[16][19]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.74 c 04:50:35.666 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58484. 'extension(x[18][25]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.74 c 04:50:35.666 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58498. 'extension(x[16][36]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.74 c 04:50:35.666 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58500. 'extension(x[18][36]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.74 c 04:50:35.667 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58518. 'extension(wk[19][2]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.74 c 04:50:35.667 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58520. 'extension(x[20][19]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.74 c 04:50:35.667 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58530. 'extension(wk[20][2]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.75 c 04:50:35.667 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58532. 'extension(x[18][20]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.75 c 04:50:35.667 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58538. 'extension(wk[21][2]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.75 c 04:50:35.667 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58540. 'extension(wk[34][2]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.75 c 04:50:35.668 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58542. 'extension(x[18][34]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.75 c 04:50:35.668 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58544. 'extension(x[20][34]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.75 c 04:50:35.668 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58558. 'extension(wk[20][2]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.75 c 04:50:35.668 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58564. 'extension(wk[21][2]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.75 c 04:50:35.669 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58566. 'extension(x[21][21]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.75 c 04:50:35.669 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58576. 'extension(wk[32][2]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.75 c 04:50:35.669 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58578. 'extension(x[19][32]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.75 c 04:50:35.669 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58584. 'extension(wk[33][2]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.75 c 04:50:35.669 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58586. 'extension(x[19][33]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.75 c 04:50:35.670 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58588. 'extension(x[21][33]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.75 c 04:50:35.670 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58604. 'extension(x[20][0]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.75 c 04:50:35.670 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58610. 'extension(x[20][14]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.75 c 04:50:35.670 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58612. 'extension(x[22][14]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.75 c 04:50:35.671 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58626. 'extension(x[22][20]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.75 c 04:50:35.671 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58636. 'extension(x[20][28]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.75 c 04:50:35.672 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58650. 'extension(x[21][16]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.75 c 04:50:35.672 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58656. 'extension(x[21][22]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.75 c 04:50:35.672 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58662. 'extension(x[21][23]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.75 c 04:50:35.672 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58668. 'extension(x[23][28]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.75 c 04:50:35.673 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58684. 'extension(x[24][0]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.75 c 04:50:35.673 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58698. 'extension(x[24][22]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.75 c 04:50:35.674 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58716. 'extension(x[23][13]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.75 c 04:50:35.674 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58722. 'extension(x[23][15]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.75 c 04:50:35.674 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58728. 'extension(x[25][16]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.75 c 04:50:35.675 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58738. 'extension(x[25][23]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.75 c 04:50:35.675 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58756. 'extension(x[24][21]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.75 c 04:50:35.675 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58762. 'extension(x[24][27]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.75 c 04:50:35.675 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58768. 'extension(wk[5][3]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.75 c 04:50:35.676 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58770. 'extension(x[25][5]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.75 c 04:50:35.676 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58776. 'extension(wk[13][3]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.75 c 04:50:35.676 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58778. 'extension(wk[15][3]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.75 c 04:50:35.676 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58780. 'extension(wk[21][3]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.75 c 04:50:35.676 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58782. 'extension(x[27][21]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.75 c 04:50:35.677 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58796. 'extension(wk[27][3]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.75 c 04:50:35.677 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58802. 'extension(wk[32][3]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.75 c 04:50:35.677 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58804. 'extension(wk[1][3]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.75 c 04:50:35.677 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58806. 'extension(x[26][1]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.75 c 04:50:35.677 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58812. 'extension(wk[5][3]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.75 c 04:50:35.677 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58818. 'extension(wk[13][3]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.75 c 04:50:35.678 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58820. 'extension(wk[15][3]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.75 c 04:50:35.678 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58822. 'extension(wk[23][3]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.75 c 04:50:35.678 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58824. 'extension(x[26][23]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.75 c 04:50:35.678 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58830. 'extension(wk[27][3]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.75 c 04:50:35.678 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58832. 'extension(wk[32][3]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.75 c 04:50:35.678 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58834. 'extension(x[28][32]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.76 c 04:50:35.679 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58846. 'extension(x[29][1]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.76 c 04:50:35.679 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58860. 'extension(x[29][23]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.76 c 04:50:35.679 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58874. 'extension(x[27][33]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.76 c 04:50:35.680 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58876. 'extension(x[29][33]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.76 c 04:50:35.680 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58892. 'extension(x[30][13]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.76 c 04:50:35.680 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58902. 'extension(x[30][15]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.76 c 04:50:35.681 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58912. 'extension(x[28][19]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.76 c 04:50:35.681 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58914. 'extension(x[30][19]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.76 c 04:50:35.681 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58928. 'extension(x[28][21]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.76 c 04:50:35.681 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58930. 'extension(x[30][21]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.76 c 04:50:35.682 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58944. 'extension(x[28][38]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.76 c 04:50:35.682 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58946. 'extension(x[30][38]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.76 c 04:50:35.682 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58960. 'extension(x[29][9]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.77 c 04:50:35.683 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58966. 'extension(x[29][22]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.77 c 04:50:35.683 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58972. 'extension(x[31][27]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.77 c 04:50:35.683 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58982. 'extension(x[30][4]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.77 c 04:50:35.684 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58992. 'extension(x[32][22]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.77 c 04:50:35.684 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59006. 'extension(x[30][34]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.77 c 04:50:35.684 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59016. 'extension(x[31][16]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.77 c 04:50:35.685 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59026. 'extension(wk[0][4]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.77 c 04:50:35.685 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59028. 'extension(x[32][0]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.77 c 04:50:35.685 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59030. 'extension(x[34][0]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.77 c 04:50:35.685 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59044. 'extension(wk[4][4]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.77 c 04:50:35.685 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59046. 'extension(wk[5][4]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.77 c 04:50:35.686 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59048. 'extension(x[34][5]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.77 c 04:50:35.686 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59058. 'extension(wk[9][4]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.77 c 04:50:35.686 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59060. 'extension(x[34][9]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.77 c 04:50:35.686 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59070. 'extension(wk[16][4]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.77 c 04:50:35.686 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59076. 'extension(wk[24][4]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.77 c 04:50:35.687 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59078. 'extension(x[32][24]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.77 c 04:50:35.687 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59084. 'extension(wk[34][4]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.77 c 04:50:35.687 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59086. 'extension(wk[1][4]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.77 c 04:50:35.687 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59088. 'extension(x[33][1]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.77 c 04:50:35.687 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59090. 'extension(x[35][1]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.77 c 04:50:35.688 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59104. 'extension(wk[4][4]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.77 c 04:50:35.688 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59106. 'extension(x[35][4]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.77 c 04:50:35.688 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59116. 'extension(wk[16][4]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.77 c 04:50:35.688 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59118. 'extension(wk[24][4]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.77 c 04:50:35.688 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59124. 'extension(wk[34][4]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.77 c 04:50:35.688 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59126. 'extension(x[34][3]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.77 c 04:50:35.689 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59128. 'extension(x[36][3]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.77 c 04:50:35.689 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59142. 'extension(x[34][8]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.77 c 04:50:35.689 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59144. 'extension(x[36][8]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.77 c 04:50:35.689 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59158. 'extension(x[36][16]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.77 c 04:50:35.690 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59168. 'extension(x[36][24]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.77 c 04:50:35.690 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59178. 'extension(x[37][34]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.77 c 04:50:35.690 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59188. 'extension(x[35][37]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.77 c 04:50:35.690 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59190. 'extension(x[37][37]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.77 c 04:50:35.691 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59204. 'extension(x[38][7]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.77 c 04:50:35.691 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59210. 'extension(x[38][8]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.77 c 04:50:35.691 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59216. 'extension(x[38][29]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.77 c 04:50:35.692 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59222. 'extension(wk[1][5]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.77 c 04:50:35.692 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59224. 'extension(x[39][1]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.77 c 04:50:35.692 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59226. 'extension(x[41][1]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.77 c 04:50:35.692 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59240. 'extension(wk[7][5]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.77 c 04:50:35.692 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59242. 'extension(x[41][7]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.77 c 04:50:35.693 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59256. 'extension(wk[8][5]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.77 c 04:50:35.693 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59262. 'extension(wk[12][5]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.77 c 04:50:35.693 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59264. 'extension(x[39][12]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.77 c 04:50:35.693 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59270. 'extension(wk[17][5]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.77 c 04:50:35.693 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59272. 'extension(x[39][17]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.77 c 04:50:35.694 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59274. 'extension(x[41][17]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.77 c 04:50:35.694 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59288. 'extension(wk[29][5]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.77 c 04:50:35.694 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59294. 'extension(wk[8][5]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.77 c 04:50:35.694 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59296. 'extension(wk[12][5]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.77 c 04:50:35.694 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59302. 'extension(wk[20][5]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.77 c 04:50:35.695 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59304. 'extension(x[40][20]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.77 c 04:50:35.695 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59310. 'extension(wk[29][5]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.77 c 04:50:35.695 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59312. 'extension(x[41][4]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.77 c 04:50:35.695 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59318. 'extension(x[43][12]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.77 c 04:50:35.696 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59336. 'extension(x[44][8]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.77 c 04:50:35.696 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59346. 'extension(x[44][20]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.77 c 04:50:35.696 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59356. 'extension(x[45][4]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.77 c 04:50:35.696 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59366. 'extension(x[45][6]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.77 c 04:50:35.697 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59372. 'extension(x[47][29]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.77 c 04:50:35.697 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59382. 'extension(wk[6][6]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.77 c 04:50:35.697 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59388. 'extension(wk[22][6]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.77 c 04:50:35.697 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59390. 'extension(x[46][22]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.77 c 04:50:35.698 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59396. 'extension(wk[26][6]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.77 c 04:50:35.698 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59398. 'extension(x[46][26]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.78 c 04:50:35.698 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59404. 'extension(wk[6][6]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.78 c 04:50:35.698 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59406. 'extension(wk[22][6]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.78 c 04:50:35.698 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59408. 'extension(x[49][22]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.78 c 04:50:35.699 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59422. 'extension(wk[26][6]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.78 c 04:50:35.699 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59424. 'extension(x[49][26]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.78 c 04:50:35.699 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59438. 'extension(wk[30][6]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.78 c 04:50:35.699 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59440. 'extension(x[47][30]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.78 c 04:50:35.699 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59446. 'extension(x[48][2]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.78 c 04:50:35.700 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59452. 'extension(x[50][6]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.78 c 04:50:35.700 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59462. 'extension(x[48][17]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.78 c 04:50:35.700 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59464. 'extension(x[50][17]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.78 c 04:50:35.701 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59478. 'extension(x[48][28]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.78 c 04:50:35.701 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59488. 'extension(x[51][2]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.78 c 04:50:35.701 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59508. 'extension(x[49][37]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.78 c 04:50:35.702 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59514. 'extension(x[50][23]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.78 c 04:50:35.702 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59520. 'extension(x[52][30]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.78 c 04:50:35.702 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59536. 'extension(x[51][4]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.78 c 04:50:35.703 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59538. 'extension(x[53][4]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.78 c 04:50:35.703 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59552. 'extension(x[51][6]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.78 c 04:50:35.703 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59558. 'extension(x[51][17]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.78 c 04:50:35.703 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59564. 'extension(x[53][23]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.78 c 04:50:35.704 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59578. 'extension(x[51][24]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.78 c 04:50:35.704 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59580. 'extension(x[53][24]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.78 c 04:50:35.704 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59594. 'extension(x[51][25]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.78 c 04:50:35.705 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59600. 'extension(x[53][28]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.78 c 04:50:35.705 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59610. 'extension(x[51][31]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.78 c 04:50:35.705 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59616. 'extension(x[51][38]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.78 c 04:50:35.705 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59630. 'extension(x[54][25]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.78 c 04:50:35.706 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59652. 'extension(wk[6][7]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.78 c 04:50:35.706 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59654. 'extension(wk[7][7]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.78 c 04:50:35.706 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59656. 'extension(x[53][7]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.78 c 04:50:35.706 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59662. 'extension(wk[17][7]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.79 c 04:50:35.707 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59664. 'extension(wk[31][7]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.79 c 04:50:35.707 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59666. 'extension(x[55][31]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.79 c 04:50:35.707 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59680. 'extension(wk[35][7]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.79 c 04:50:35.707 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59682. 'extension(x[53][35]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.79 c 04:50:35.707 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59684. 'extension(x[55][35]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.79 c 04:50:35.708 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59698. 'extension(wk[37][7]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.79 c 04:50:35.708 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59700. 'extension(wk[38][7]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.79 c 04:50:35.708 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59702. 'extension(x[55][38]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.79 c 04:50:35.708 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59712. 'extension(wk[6][7]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.79 c 04:50:35.708 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59714. 'extension(x[56][6]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.79 c 04:50:35.709 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59724. 'extension(wk[7][7]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.79 c 04:50:35.709 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59730. 'extension(wk[17][7]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.79 c 04:50:35.709 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59732. 'extension(wk[24][7]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.79 c 04:50:35.709 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59734. 'extension(x[54][24]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.79 c 04:50:35.709 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59740. 'extension(wk[37][7]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.79 c 04:50:35.709 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59742. 'extension(x[55][8]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.79 c 04:50:35.709 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59744. 'extension(x[57][8]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.80 c 04:50:35.710 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59758. 'extension(x[57][24]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.80 c 04:50:35.710 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59772. 'extension(x[55][36]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.80 c 04:50:35.710 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59778. 'extension(x[57][37]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.80 c 04:50:35.711 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59788. 'extension(x[56][2]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.80 c 04:50:35.711 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59794. 'extension(x[58][7]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.80 c 04:50:35.711 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59804. 'extension(x[58][17]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.80 c 04:50:35.711 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59814. 'extension(x[56][33]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.80 c 04:50:35.712 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59816. 'extension(x[58][33]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.80 c 04:50:35.712 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59832. 'extension(x[56][35]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.80 c 04:50:35.712 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59834. 'extension(x[58][35]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.80 c 04:50:35.713 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59852. 'extension(x[59][2]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.80 c 04:50:35.713 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59866. 'extension(x[57][9]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.80 c 04:50:35.713 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59872. 'extension(x[57][16]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.80 c 04:50:35.713 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59874. 'extension(x[59][16]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.80 c 04:50:35.714 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59888. 'extension(x[57][18]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.80 c 04:50:35.714 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59890. 'extension(x[59][18]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.80 c 04:50:35.714 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59904. 'extension(x[57][38]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.80 c 04:50:35.715 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59914. 'extension(x[58][25]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.80 c 04:50:35.715 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59916. 'extension(x[60][25]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.80 c 04:50:35.715 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59930. 'extension(x[58][27]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.80 c 04:50:35.715 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59940. 'extension(x[58][39]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.80 c 04:50:35.716 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59946. 'extension(x[61][27]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.80 c 04:50:35.716 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59960. 'extension(x[61][36]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.80 c 04:50:35.716 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59974. 'extension(wk[9][8]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.80 c 04:50:35.716 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59976. 'extension(x[62][9]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.80 c 04:50:35.717 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59986. 'extension(wk[38][8]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.80 c 04:50:35.717 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59988. 'extension(x[62][38]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.80 c 04:50:35.717 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59998. 'extension(wk[39][8]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.80 c 04:50:35.717 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60000. 'extension(wk[39][8]=[0‥1]) :: init: true :: relation: Empty MDD
25.87/9.80 c 04:50:35.717 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60002. 'extension(x[62][1]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.80 c 04:50:35.718 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60008. 'extension(x[62][11]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.80 c 04:50:35.718 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60014. 'extension(x[62][15]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.80 c 04:50:35.718 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60020. 'extension(x[62][24]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.80 c 04:50:35.718 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60034. 'extension(x[65][15]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.80 c 04:50:35.719 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60048. 'extension(x[65][24]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.80 c 04:50:35.719 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60062. 'extension(x[66][1]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.80 c 04:50:35.719 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60072. 'extension(x[64][7]=[0‥5]) :: init: true :: relation: Empty MDD
25.87/9.80 c 04:50:35.719 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60074. 'extension(x[66][7]=[0‥5]) :: init: true :: relation: Empty MDD
26.19/9.81 c 04:50:35.720 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60088. 'extension(x[66][11]=[0‥5]) :: init: true :: relation: Empty MDD
26.19/9.81 c 04:50:35.720 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60098. 'extension(x[65][13]=[0‥5]) :: init: true :: relation: Empty MDD
26.19/9.81 c 04:50:35.721 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60104. 'extension(x[67][39]=[0‥5]) :: init: true :: relation: Empty MDD
26.19/9.81 c 04:50:35.721 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60114. 'extension(x[66][2]=[0‥5]) :: init: true :: relation: Empty MDD
26.19/9.81 c 04:50:35.721 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60116. 'extension(x[68][2]=[0‥5]) :: init: true :: relation: Empty MDD
26.19/9.81 c 04:50:35.721 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60130. 'extension(x[68][13]=[0‥5]) :: init: true :: relation: Empty MDD
26.19/9.81 c 04:50:35.722 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60144. 'extension(x[66][35]=[0‥5]) :: init: true :: relation: Empty MDD
26.19/9.81 c 04:50:35.722 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60150. 'extension(wk[35][9]=[0‥1]) :: init: true :: relation: Empty MDD
26.19/9.81 c 04:50:35.722 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60152. 'extension(x[69][35]=[0‥5]) :: init: true :: relation: Empty MDD
26.19/9.81 c 04:50:35.722 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60166. 'extension(x[70][11]=[0‥5]) :: init: true :: relation: Empty MDD
26.19/9.81 c 04:50:35.723 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60176. 'extension(x[71][26]=[0‥5]) :: init: true :: relation: Empty MDD
26.19/9.81 c 04:50:35.723 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60178. 'extension(x[73][26]=[0‥5]) :: init: true :: relation: Empty MDD
26.19/9.81 c 04:50:35.723 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60192. 'extension(x[72][0]=[0‥5]) :: init: true :: relation: Empty MDD
26.19/9.81 c 04:50:35.724 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60198. 'extension(x[72][10]=[0‥5]) :: init: true :: relation: Empty MDD
26.19/9.81 c 04:50:35.724 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60204. 'extension(x[72][20]=[0‥5]) :: init: true :: relation: Empty MDD
26.19/9.81 c 04:50:35.724 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60218. 'extension(x[75][11]=[0‥5]) :: init: true :: relation: Empty MDD
26.19/9.81 c 04:50:35.724 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60228. 'extension(x[75][20]=[0‥5]) :: init: true :: relation: Empty MDD
26.19/9.81 c 04:50:35.725 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60242. 'extension(wk[0][10]=[0‥1]) :: init: true :: relation: Empty MDD
26.19/9.81 c 04:50:35.725 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60244. 'extension(wk[10][10]=[0‥1]) :: init: true :: relation: Empty MDD
26.19/9.81 c 04:50:35.725 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60246. 'extension(wk[0][10]=[0‥1]) :: init: true :: relation: Empty MDD
26.19/9.81 c 04:50:35.725 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60248. 'extension(x[77][0]=[0‥5]) :: init: true :: relation: Empty MDD
26.19/9.81 c 04:50:35.725 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60258. 'extension(wk[10][10]=[0‥1]) :: init: true :: relation: Empty MDD
26.19/9.81 c 04:50:35.726 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60260. 'extension(x[77][10]=[0‥5]) :: init: true :: relation: Empty MDD
26.19/9.81 c 04:50:35.726 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60270. 'extension(wk[26][10]=[0‥1]) :: init: true :: relation: Empty MDD
26.19/9.81 c 04:50:35.726 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60272. 'extension(x[75][26]=[0‥5]) :: init: true :: relation: Empty MDD
26.19/9.81 c 04:50:35.726 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60282. 'extension(x[77][28]=[0‥5]) :: init: true :: relation: Empty MDD
26.19/9.81 c 04:50:35.726 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60288. 'extension(x[77][34]=[0‥5]) :: init: true :: relation: Empty MDD
26.19/9.81 c 04:50:35.727 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60290. 'extension(x[79][34]=[0‥5]) :: init: true :: relation: Empty MDD
26.19/9.81 c 04:50:35.727 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60304. 'extension(x[78][7]=[0‥5]) :: init: true :: relation: Empty MDD
26.19/9.81 c 04:50:35.727 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60306. 'extension(x[80][7]=[0‥5]) :: init: true :: relation: Empty MDD
26.19/9.81 c 04:50:35.728 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60320. 'extension(x[78][25]=[0‥5]) :: init: true :: relation: Empty MDD
26.19/9.81 c 04:50:35.728 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60326. 'extension(x[80][28]=[0‥5]) :: init: true :: relation: Empty MDD
26.19/9.81 c 04:50:35.728 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60340. 'extension(x[79][3]=[0‥5]) :: init: true :: relation: Empty MDD
26.19/9.81 c 04:50:35.728 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60342. 'extension(x[81][3]=[0‥5]) :: init: true :: relation: Empty MDD
26.19/9.81 c 04:50:35.729 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60356. 'extension(x[79][22]=[0‥5]) :: init: true :: relation: Empty MDD
26.19/9.81 c 04:50:35.729 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60366. 'extension(x[81][26]=[0‥5]) :: init: true :: relation: Empty MDD
26.19/9.81 c 04:50:35.729 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60376. 'extension(x[82][22]=[0‥5]) :: init: true :: relation: Empty MDD
26.19/9.81 c 04:50:35.730 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60390. 'extension(x[82][25]=[0‥5]) :: init: true :: relation: Empty MDD
26.19/9.81 c 04:50:35.730 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60400. 'extension(wk[36][11]=[0‥1]) :: init: true :: relation: Empty MDD
26.19/9.81 c 04:50:35.730 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60402. 'extension(x[81][36]=[0‥5]) :: init: true :: relation: Empty MDD
26.19/9.81 c 04:50:35.730 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60408. 'extension(wk[23][11]=[0‥1]) :: init: true :: relation: Empty MDD
26.19/9.81 c 04:50:35.730 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60410. 'extension(x[82][23]=[0‥5]) :: init: true :: relation: Empty MDD
26.19/9.81 c 04:50:35.730 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60412. 'extension(x[82][23]=[0‥5]) :: init: true :: relation: Empty MDD
26.19/9.81 c 04:50:35.731 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60418. 'extension(wk[36][11]=[0‥1]) :: init: true :: relation: Empty MDD
2520.02/2439.40 Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
2520.02/2439.40 at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24)
2520.02/2439.40 at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53)
2520.02/2439.40 at bitvectors.SmallBitVector.filter(SmallBitVector.scala:142)
2520.02/2439.40 at bitvectors.SmallBitVector.filter(SmallBitVector.scala:5)
2520.02/2439.40 at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126)
2520.02/2439.41 at concrete.BitVectorDomain.filter(BitVectorDomain.scala:8)
2520.02/2439.41 at concrete.heuristic.value.BestCost.select(BestCost.scala:53)
2520.02/2439.41 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.02/2439.41 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
2520.02/2439.41 at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.02/2439.41 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.02/2439.41 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
2520.02/2439.41 at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.02/2439.41 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.02/2439.41 at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:109)
2520.02/2439.41 at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
2520.02/2439.41 at scala.Option.map(Option.scala:146)
2520.02/2439.41 at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
2520.02/2439.41 at concrete.MAC.mac(MAC.scala:203)
2520.02/2439.41 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.02/2439.41 at scala.util.Try$.apply(Try.scala:209)
2520.02/2439.41 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.02/2439.41 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.02/2439.41 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.02/2439.41 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.02/2439.41 at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.02/2439.41 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.02/2439.41 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.02/2439.41 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.02/2439.41 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.02/2439.41 at concrete.MAC.oneRun(MAC.scala:253)
2520.02/2439.41 at concrete.MAC.nextSolution(MAC.scala:272)
2520.02/2439.41 at concrete.MAC.$anonfun$nextSolution$5(MAC.scala:336)
2520.02/2439.41 at concrete.ProblemState.map(ProblemState.scala:221)
2520.02/2439.41 at concrete.ProblemState.map(ProblemState.scala:204)
2520.02/2439.41 at concrete.MAC.nextSolution(MAC.scala:334)
2520.02/2439.41 at concrete.Solver.hasNext(Solver.scala:166)
2520.02/2439.41 at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.02/2439.41 at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.02/2439.41 at concrete.Solver.foreach(Solver.scala:68)
2520.02/2439.41 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.02/2439.41 at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.02/2439.41 at scala.util.Success.map(Try.scala:209)
2520.02/2439.41 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.02/2439.41 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.02/2439.41 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.02/2439.41 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.02/2439.41 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.02/2439.41 at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.02/2439.41 at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.02/2439.41 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.02/2439.41 at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.02/2439.41 at scala.collection.immutable.List.foreach(List.scala:389)
2520.02/2439.41 at scala.App.main(App.scala:76)
2520.02/2439.41 at scala.App.main$(App.scala:74)
2520.02/2439.41 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.02/2439.41 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.02/2439.42 s UNKNOWN