0.99/0.74 c Concrete v3.9.2.1532736233296 running
24.93/9.43 c 04:55:35.840 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 45911. 'extension(x[0][14]=[0‥5], 5) :: init: true :: relation: MDD 95884778, 12 edges, 5 vertices, 9 tuples
24.93/9.44 c 04:55:35.847 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 45947. 'extension(5, 5) :: init: true :: relation: MDD 479668966, 12 edges, 5 vertices, 9 tuples
24.93/9.44 c 04:55:35.848 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 45948. 'extension(5, 5) :: init: true :: relation: MDD 1401898481, 6 edges, 3 vertices, 5 tuples
24.93/9.44 c 04:55:35.849 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 45977. 'extension(x[0][35]=[0‥5], 5) :: init: true :: relation: MDD 477745299, 12 edges, 5 vertices, 9 tuples
24.93/9.44 c 04:55:35.850 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46013. 'extension(5, 5) :: init: true :: relation: MDD 95884778, 12 edges, 5 vertices, 9 tuples
24.93/9.45 c 04:55:35.852 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46048. 'extension(5, 5) :: init: true :: relation: MDD 479668966, 12 edges, 5 vertices, 9 tuples
24.93/9.45 c 04:55:35.852 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46083. 'extension(5, 5) :: init: true :: relation: MDD 477745299, 12 edges, 5 vertices, 9 tuples
24.93/9.45 c 04:55:35.854 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46118. 'extension(5, 5) :: init: true :: relation: MDD 95884778, 12 edges, 5 vertices, 9 tuples
24.93/9.45 c 04:55:35.854 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46154. 'extension(5, 5) :: init: true :: relation: MDD 479668966, 12 edges, 5 vertices, 9 tuples
24.93/9.45 c 04:55:35.855 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46187. 'extension(x[2][19]=[0‥5], 5) :: init: true :: relation: MDD 1813184924, 12 edges, 5 vertices, 9 tuples
24.93/9.46 c 04:55:35.857 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46223. 'extension(x[2][31]=[0‥5], 5) :: init: true :: relation: MDD 820729289, 12 edges, 5 vertices, 9 tuples
24.93/9.46 c 04:55:35.858 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46263. 'extension(5, 5) :: init: true :: relation: MDD 477745299, 12 edges, 5 vertices, 9 tuples
24.93/9.46 c 04:55:35.859 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46299. 'extension(5, 5) :: init: true :: relation: MDD 95884778, 12 edges, 5 vertices, 9 tuples
24.93/9.46 c 04:55:35.860 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46333. 'extension(5, x[5][18]=[0‥5]) :: init: true :: relation: MDD 479668966, 12 edges, 5 vertices, 9 tuples
24.93/9.46 c 04:55:35.861 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46336. 'extension(5, 5) :: init: true :: relation: MDD 479668966, 12 edges, 5 vertices, 9 tuples
24.93/9.46 c 04:55:35.863 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46373. 'extension(5, 5) :: init: true :: relation: MDD 1813184924, 12 edges, 5 vertices, 9 tuples
24.93/9.46 c 04:55:35.864 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46410. 'extension(5, 5) :: init: true :: relation: MDD 820729289, 12 edges, 5 vertices, 9 tuples
24.93/9.46 c 04:55:35.866 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46445. 'extension(5, x[5][35]=[0‥5]) :: init: true :: relation: MDD 477745299, 12 edges, 5 vertices, 9 tuples
24.93/9.46 c 04:55:35.867 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46448. 'extension(5, 5) :: init: true :: relation: MDD 477745299, 12 edges, 5 vertices, 9 tuples
24.93/9.46 c 04:55:35.868 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46482. 'extension(5, wk[14][0]=[0‥1]) :: init: true :: relation: MDD 1179268144, 6 edges, 3 vertices, 5 tuples
24.93/9.46 c 04:55:35.869 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46483. 'extension(5, x[6][14]=[0‥5]) :: init: true :: relation: MDD 95884778, 12 edges, 5 vertices, 9 tuples
24.93/9.46 c 04:55:35.870 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46486. 'extension(5, 5) :: init: true :: relation: MDD 95884778, 12 edges, 5 vertices, 9 tuples
24.93/9.46 c 04:55:35.871 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46521. 'extension(5, wk[19][0]=[0‥1]) :: init: true :: relation: MDD 389872385, 6 edges, 3 vertices, 5 tuples
24.93/9.46 c 04:55:35.872 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46525. 'extension(5, 5) :: init: true :: relation: MDD 1813184924, 12 edges, 5 vertices, 9 tuples
24.93/9.47 c 04:55:35.872 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46560. 'extension(5, wk[31][0]=[0‥1]) :: init: true :: relation: MDD 1914077784, 6 edges, 3 vertices, 5 tuples
24.93/9.47 c 04:55:35.873 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46564. 'extension(5, 5) :: init: true :: relation: MDD 820729289, 12 edges, 5 vertices, 9 tuples
24.93/9.47 c 04:55:35.874 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46599. 'extension(5, wk[10][0]=[0‥1]) :: init: true :: relation: MDD 1286460628, 6 edges, 3 vertices, 5 tuples
24.93/9.47 c 04:55:35.875 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46600. 'extension(x[5][10]=[0‥5], 5) :: init: true :: relation: MDD 82211311, 12 edges, 5 vertices, 9 tuples
24.93/9.47 c 04:55:35.876 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46638. 'extension(5, wk[19][0]=[0‥1]) :: init: true :: relation: MDD 1540140763, 6 edges, 3 vertices, 5 tuples
24.93/9.47 c 04:55:35.876 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46639. 'extension(5, x[7][19]=[0‥5]) :: init: true :: relation: MDD 1813184924, 12 edges, 5 vertices, 9 tuples
24.93/9.47 c 04:55:35.877 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46642. 'extension(5, 5) :: init: true :: relation: MDD 1813184924, 12 edges, 5 vertices, 9 tuples
24.93/9.47 c 04:55:35.878 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46677. 'extension(5, wk[31][0]=[0‥1]) :: init: true :: relation: MDD 190838539, 6 edges, 3 vertices, 5 tuples
24.93/9.47 c 04:55:35.879 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46681. 'extension(5, 5) :: init: true :: relation: MDD 820729289, 12 edges, 5 vertices, 9 tuples
24.93/9.47 c 04:55:35.879 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46716. 'extension(5, wk[33][0]=[0‥1]) :: init: true :: relation: MDD 452471720, 6 edges, 3 vertices, 5 tuples
24.93/9.47 c 04:55:35.880 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46717. 'extension(x[5][33]=[0‥5], 5) :: init: true :: relation: MDD 1833703608, 12 edges, 5 vertices, 9 tuples
24.93/9.48 c 04:55:35.881 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46758. 'extension(5, 5) :: init: true :: relation: MDD 82211311, 12 edges, 5 vertices, 9 tuples
24.93/9.48 c 04:55:35.883 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46793. 'extension(x[6][11]=[0‥5], 5) :: init: true :: relation: MDD 564059141, 12 edges, 5 vertices, 9 tuples
24.93/9.48 c 04:55:35.883 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46794. 'extension(5, x[8][11]=[0‥5]) :: init: true :: relation: MDD 564059141, 12 edges, 5 vertices, 9 tuples
24.93/9.48 c 04:55:35.885 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46831. 'extension(x[6][12]=[0‥5], 5) :: init: true :: relation: MDD 1553141699, 12 edges, 5 vertices, 9 tuples
24.93/9.48 c 04:55:35.886 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46869. 'extension(5, x[8][31]=[0‥5]) :: init: true :: relation: MDD 820729289, 12 edges, 5 vertices, 9 tuples
24.93/9.48 c 04:55:35.888 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46872. 'extension(5, 5) :: init: true :: relation: MDD 820729289, 12 edges, 5 vertices, 9 tuples
24.93/9.48 c 04:55:35.889 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46910. 'extension(5, 5) :: init: true :: relation: MDD 1833703608, 12 edges, 5 vertices, 9 tuples
24.93/9.48 c 04:55:35.890 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46948. 'extension(5, 5) :: init: true :: relation: MDD 82211311, 12 edges, 5 vertices, 9 tuples
24.93/9.48 c 04:55:35.890 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 46986. 'extension(5, 5) :: init: true :: relation: MDD 1553141699, 12 edges, 5 vertices, 9 tuples
24.93/9.48 c 04:55:35.891 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47024. 'extension(5, 5) :: init: true :: relation: MDD 1833703608, 12 edges, 5 vertices, 9 tuples
24.93/9.49 c 04:55:35.892 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47059. 'extension(5, x[10][10]=[0‥5]) :: init: true :: relation: MDD 82211311, 12 edges, 5 vertices, 9 tuples
24.93/9.49 c 04:55:35.893 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47062. 'extension(5, 5) :: init: true :: relation: MDD 82211311, 12 edges, 5 vertices, 9 tuples
24.93/9.49 c 04:55:35.894 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47100. 'extension(5, 5) :: init: true :: relation: MDD 1553141699, 12 edges, 5 vertices, 9 tuples
24.93/9.49 c 04:55:35.894 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47138. 'extension(5, 5) :: init: true :: relation: MDD 1833703608, 12 edges, 5 vertices, 9 tuples
24.93/9.49 c 04:55:35.895 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47173. 'extension(x[9][3]=[0‥5], 5) :: init: true :: relation: MDD 1137662975, 12 edges, 5 vertices, 9 tuples
24.93/9.49 c 04:55:35.896 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47214. 'extension(5, 5) :: init: true :: relation: MDD 1553141699, 12 edges, 5 vertices, 9 tuples
24.93/9.49 c 04:55:35.897 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47249. 'extension(x[9][30]=[0‥5], 5) :: init: true :: relation: MDD 1366000849, 12 edges, 5 vertices, 9 tuples
24.93/9.49 c 04:55:35.898 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47287. 'extension(5, x[11][33]=[0‥5]) :: init: true :: relation: MDD 1833703608, 12 edges, 5 vertices, 9 tuples
24.93/9.49 c 04:55:35.898 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47290. 'extension(5, 5) :: init: true :: relation: MDD 1833703608, 12 edges, 5 vertices, 9 tuples
24.93/9.49 c 04:55:35.900 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47328. 'extension(5, 5) :: init: true :: relation: MDD 1137662975, 12 edges, 5 vertices, 9 tuples
24.93/9.49 c 04:55:35.901 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47363. 'extension(5, x[12][12]=[0‥5]) :: init: true :: relation: MDD 1553141699, 12 edges, 5 vertices, 9 tuples
24.93/9.49 c 04:55:35.902 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47366. 'extension(5, 5) :: init: true :: relation: MDD 1553141699, 12 edges, 5 vertices, 9 tuples
25.27/9.50 c 04:55:35.903 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47401. 'extension(x[10][18]=[0‥5], 5) :: init: true :: relation: MDD 479668966, 12 edges, 5 vertices, 9 tuples
25.27/9.50 c 04:55:35.903 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47442. 'extension(5, 5) :: init: true :: relation: MDD 1366000849, 12 edges, 5 vertices, 9 tuples
25.27/9.50 c 04:55:35.904 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47477. 'extension(5, wk[1][1]=[0‥1]) :: init: true :: relation: MDD 421984610, 6 edges, 3 vertices, 5 tuples
25.27/9.50 c 04:55:35.905 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47478. 'extension(x[11][1]=[0‥5], 5) :: init: true :: relation: MDD 678631391, 12 edges, 5 vertices, 9 tuples
25.27/9.50 c 04:55:35.905 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47479. 'extension(5, x[13][1]=[0‥5]) :: init: true :: relation: MDD 678631391, 12 edges, 5 vertices, 9 tuples
25.27/9.50 c 04:55:35.906 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47516. 'extension(5, wk[3][1]=[0‥1]) :: init: true :: relation: MDD 837923432, 6 edges, 3 vertices, 5 tuples
25.27/9.50 c 04:55:35.907 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47520. 'extension(5, 5) :: init: true :: relation: MDD 1137662975, 12 edges, 5 vertices, 9 tuples
25.27/9.50 c 04:55:35.907 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47555. 'extension(5, wk[8][1]=[0‥1]) :: init: true :: relation: MDD 1683246820, 6 edges, 3 vertices, 5 tuples
25.27/9.50 c 04:55:35.907 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47556. 'extension(x[11][8]=[0‥5], 5) :: init: true :: relation: MDD 1683791631, 12 edges, 5 vertices, 9 tuples
25.27/9.50 c 04:55:35.908 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47557. 'extension(5, x[13][8]=[0‥5]) :: init: true :: relation: MDD 1683791631, 12 edges, 5 vertices, 9 tuples
25.27/9.50 c 04:55:35.909 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47594. 'extension(5, wk[18][1]=[0‥1]) :: init: true :: relation: MDD 409529684, 6 edges, 3 vertices, 5 tuples
25.27/9.50 c 04:55:35.910 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47595. 'extension(5, x[13][18]=[0‥5]) :: init: true :: relation: MDD 479668966, 12 edges, 5 vertices, 9 tuples
25.27/9.51 c 04:55:35.910 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47598. 'extension(5, 5) :: init: true :: relation: MDD 479668966, 12 edges, 5 vertices, 9 tuples
25.27/9.51 c 04:55:35.911 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47633. 'extension(5, wk[30][1]=[0‥1]) :: init: true :: relation: MDD 1037463541, 6 edges, 3 vertices, 5 tuples
25.27/9.51 c 04:55:35.912 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47637. 'extension(5, 5) :: init: true :: relation: MDD 1366000849, 12 edges, 5 vertices, 9 tuples
25.27/9.51 c 04:55:35.913 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47672. 'extension(5, wk[3][1]=[0‥1]) :: init: true :: relation: MDD 674480275, 6 edges, 3 vertices, 5 tuples
25.27/9.51 c 04:55:35.913 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47676. 'extension(5, 5) :: init: true :: relation: MDD 1137662975, 12 edges, 5 vertices, 9 tuples
25.27/9.51 c 04:55:35.913 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47711. 'extension(5, wk[14][1]=[0‥1]) :: init: true :: relation: MDD 382992974, 6 edges, 3 vertices, 5 tuples
25.27/9.51 c 04:55:35.914 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47712. 'extension(x[12][14]=[0‥5], 5) :: init: true :: relation: MDD 95884778, 12 edges, 5 vertices, 9 tuples
25.27/9.51 c 04:55:35.914 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47750. 'extension(5, wk[30][1]=[0‥1]) :: init: true :: relation: MDD 1228499113, 6 edges, 3 vertices, 5 tuples
25.27/9.51 c 04:55:35.915 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47751. 'extension(5, x[14][30]=[0‥5]) :: init: true :: relation: MDD 1366000849, 12 edges, 5 vertices, 9 tuples
25.27/9.51 c 04:55:35.916 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47754. 'extension(5, 5) :: init: true :: relation: MDD 1366000849, 12 edges, 5 vertices, 9 tuples
25.27/9.51 c 04:55:35.917 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47792. 'extension(5, 5) :: init: true :: relation: MDD 1137662975, 12 edges, 5 vertices, 9 tuples
25.27/9.51 c 04:55:35.917 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47827. 'extension(5, x[15][14]=[0‥5]) :: init: true :: relation: MDD 95884778, 12 edges, 5 vertices, 9 tuples
25.27/9.52 c 04:55:35.918 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47830. 'extension(5, 5) :: init: true :: relation: MDD 95884778, 12 edges, 5 vertices, 9 tuples
25.27/9.52 c 04:55:35.919 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47865. 'extension(x[14][2]=[0‥5], 5) :: init: true :: relation: MDD 1102819865, 12 edges, 5 vertices, 9 tuples
25.27/9.52 c 04:55:35.920 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47903. 'extension(5, x[16][3]=[0‥5]) :: init: true :: relation: MDD 1137662975, 12 edges, 5 vertices, 9 tuples
25.27/9.52 c 04:55:35.920 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47906. 'extension(5, 5) :: init: true :: relation: MDD 1137662975, 12 edges, 5 vertices, 9 tuples
25.27/9.52 c 04:55:35.921 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47944. 'extension(5, 5) :: init: true :: relation: MDD 1102819865, 12 edges, 5 vertices, 9 tuples
25.27/9.52 c 04:55:35.922 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 47979. 'extension(x[15][21]=[0‥5], 5) :: init: true :: relation: MDD 1247632184, 12 edges, 5 vertices, 9 tuples
25.27/9.52 c 04:55:35.923 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48017. 'extension(x[15][25]=[0‥5], 5) :: init: true :: relation: MDD 764179103, 12 edges, 5 vertices, 9 tuples
25.27/9.52 c 04:55:35.924 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48055. 'extension(5, x[18][2]=[0‥5]) :: init: true :: relation: MDD 1102819865, 12 edges, 5 vertices, 9 tuples
25.27/9.52 c 04:55:35.924 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48058. 'extension(5, 5) :: init: true :: relation: MDD 1102819865, 12 edges, 5 vertices, 9 tuples
25.27/9.52 c 04:55:35.925 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48093. 'extension(x[16][19]=[0‥5], 5) :: init: true :: relation: MDD 1813184924, 12 edges, 5 vertices, 9 tuples
25.27/9.52 c 04:55:35.926 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48134. 'extension(5, 5) :: init: true :: relation: MDD 1247632184, 12 edges, 5 vertices, 9 tuples
25.27/9.53 c 04:55:35.926 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48169. 'extension(5, x[18][25]=[0‥5]) :: init: true :: relation: MDD 764179103, 12 edges, 5 vertices, 9 tuples
25.27/9.53 c 04:55:35.927 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48172. 'extension(5, 5) :: init: true :: relation: MDD 764179103, 12 edges, 5 vertices, 9 tuples
25.27/9.53 c 04:55:35.928 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48207. 'extension(x[16][36]=[0‥5], 5) :: init: true :: relation: MDD 871895680, 12 edges, 5 vertices, 9 tuples
25.27/9.53 c 04:55:35.928 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48208. 'extension(5, x[18][36]=[0‥5]) :: init: true :: relation: MDD 871895680, 12 edges, 5 vertices, 9 tuples
25.27/9.53 c 04:55:35.930 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48248. 'extension(5, 5) :: init: true :: relation: MDD 1813184924, 12 edges, 5 vertices, 9 tuples
25.27/9.53 c 04:55:35.930 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48286. 'extension(5, 5) :: init: true :: relation: MDD 1247632184, 12 edges, 5 vertices, 9 tuples
25.27/9.53 c 04:55:35.931 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48321. 'extension(5, wk[19][2]=[0‥1]) :: init: true :: relation: MDD 1018262491, 6 edges, 3 vertices, 5 tuples
25.27/9.53 c 04:55:35.931 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48322. 'extension(5, x[20][19]=[0‥5]) :: init: true :: relation: MDD 1813184924, 12 edges, 5 vertices, 9 tuples
25.27/9.53 c 04:55:35.932 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48325. 'extension(5, 5) :: init: true :: relation: MDD 1813184924, 12 edges, 5 vertices, 9 tuples
25.27/9.53 c 04:55:35.933 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48360. 'extension(5, wk[20][2]=[0‥1]) :: init: true :: relation: MDD 1471857648, 6 edges, 3 vertices, 5 tuples
25.27/9.53 c 04:55:35.933 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48361. 'extension(x[18][20]=[0‥5], 5) :: init: true :: relation: MDD 1281248250, 12 edges, 5 vertices, 9 tuples
25.27/9.53 c 04:55:35.934 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48399. 'extension(5, wk[21][2]=[0‥1]) :: init: true :: relation: MDD 320043061, 6 edges, 3 vertices, 5 tuples
25.27/9.53 c 04:55:35.934 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48403. 'extension(5, 5) :: init: true :: relation: MDD 1247632184, 12 edges, 5 vertices, 9 tuples
25.27/9.53 c 04:55:35.934 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48438. 'extension(5, wk[34][2]=[0‥1]) :: init: true :: relation: MDD 1085738801, 6 edges, 3 vertices, 5 tuples
25.27/9.53 c 04:55:35.935 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48439. 'extension(x[18][34]=[0‥5], 5) :: init: true :: relation: MDD 1453959093, 12 edges, 5 vertices, 9 tuples
25.27/9.53 c 04:55:35.935 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48440. 'extension(5, x[20][34]=[0‥5]) :: init: true :: relation: MDD 1453959093, 12 edges, 5 vertices, 9 tuples
25.27/9.53 c 04:55:35.936 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48477. 'extension(5, wk[20][2]=[0‥1]) :: init: true :: relation: MDD 1088287545, 6 edges, 3 vertices, 5 tuples
25.27/9.53 c 04:55:35.936 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48481. 'extension(5, 5) :: init: true :: relation: MDD 1281248250, 12 edges, 5 vertices, 9 tuples
25.27/9.53 c 04:55:35.937 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48516. 'extension(5, wk[21][2]=[0‥1]) :: init: true :: relation: MDD 570434649, 6 edges, 3 vertices, 5 tuples
25.27/9.53 c 04:55:35.937 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48517. 'extension(5, x[21][21]=[0‥5]) :: init: true :: relation: MDD 1247632184, 12 edges, 5 vertices, 9 tuples
25.27/9.53 c 04:55:35.938 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48520. 'extension(5, 5) :: init: true :: relation: MDD 1247632184, 12 edges, 5 vertices, 9 tuples
25.27/9.53 c 04:55:35.938 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48555. 'extension(5, wk[32][2]=[0‥1]) :: init: true :: relation: MDD 338027825, 6 edges, 3 vertices, 5 tuples
25.27/9.53 c 04:55:35.939 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48556. 'extension(x[19][32]=[0‥5], 5) :: init: true :: relation: MDD 1071793776, 12 edges, 5 vertices, 9 tuples
25.27/9.53 c 04:55:35.939 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48594. 'extension(5, wk[33][2]=[0‥1]) :: init: true :: relation: MDD 396851838, 6 edges, 3 vertices, 5 tuples
25.27/9.53 c 04:55:35.940 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48595. 'extension(x[19][33]=[0‥5], 5) :: init: true :: relation: MDD 1833703608, 12 edges, 5 vertices, 9 tuples
25.27/9.53 c 04:55:35.940 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48596. 'extension(5, x[21][33]=[0‥5]) :: init: true :: relation: MDD 1833703608, 12 edges, 5 vertices, 9 tuples
25.27/9.53 c 04:55:35.942 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48633. 'extension(x[20][0]=[0‥5], 5) :: init: true :: relation: MDD 292841327, 12 edges, 5 vertices, 9 tuples
25.27/9.53 c 04:55:35.943 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48671. 'extension(x[20][14]=[0‥5], 5) :: init: true :: relation: MDD 95884778, 12 edges, 5 vertices, 9 tuples
25.27/9.53 c 04:55:35.943 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48672. 'extension(5, x[22][14]=[0‥5]) :: init: true :: relation: MDD 95884778, 12 edges, 5 vertices, 9 tuples
25.27/9.54 c 04:55:35.944 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48709. 'extension(5, x[22][20]=[0‥5]) :: init: true :: relation: MDD 1281248250, 12 edges, 5 vertices, 9 tuples
25.27/9.54 c 04:55:35.945 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48712. 'extension(5, 5) :: init: true :: relation: MDD 1281248250, 12 edges, 5 vertices, 9 tuples
25.27/9.54 c 04:55:35.945 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48747. 'extension(x[20][28]=[0‥5], 5) :: init: true :: relation: MDD 1019695044, 12 edges, 5 vertices, 9 tuples
25.27/9.54 c 04:55:35.946 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48788. 'extension(5, 5) :: init: true :: relation: MDD 1071793776, 12 edges, 5 vertices, 9 tuples
25.27/9.54 c 04:55:35.947 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48826. 'extension(5, 5) :: init: true :: relation: MDD 292841327, 12 edges, 5 vertices, 9 tuples
25.27/9.54 c 04:55:35.947 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48861. 'extension(x[21][16]=[0‥5], 5) :: init: true :: relation: MDD 1452209410, 12 edges, 5 vertices, 9 tuples
25.27/9.54 c 04:55:35.948 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48899. 'extension(x[21][22]=[0‥5], 5) :: init: true :: relation: MDD 1876619012, 12 edges, 5 vertices, 9 tuples
25.27/9.54 c 04:55:35.949 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48937. 'extension(x[21][23]=[0‥5], 5) :: init: true :: relation: MDD 64797628, 12 edges, 5 vertices, 9 tuples
25.27/9.54 c 04:55:35.949 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48975. 'extension(5, x[23][28]=[0‥5]) :: init: true :: relation: MDD 1019695044, 12 edges, 5 vertices, 9 tuples
25.27/9.54 c 04:55:35.950 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 48978. 'extension(5, 5) :: init: true :: relation: MDD 1019695044, 12 edges, 5 vertices, 9 tuples
25.27/9.55 c 04:55:35.954 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49016. 'extension(5, 5) :: init: true :: relation: MDD 1071793776, 12 edges, 5 vertices, 9 tuples
25.27/9.55 c 04:55:35.956 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49051. 'extension(5, x[24][0]=[0‥5]) :: init: true :: relation: MDD 292841327, 12 edges, 5 vertices, 9 tuples
25.27/9.55 c 04:55:35.956 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49054. 'extension(5, 5) :: init: true :: relation: MDD 292841327, 12 edges, 5 vertices, 9 tuples
25.27/9.56 c 04:55:35.957 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49092. 'extension(5, 5) :: init: true :: relation: MDD 1452209410, 12 edges, 5 vertices, 9 tuples
25.27/9.56 c 04:55:35.957 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49127. 'extension(5, x[24][22]=[0‥5]) :: init: true :: relation: MDD 1876619012, 12 edges, 5 vertices, 9 tuples
25.27/9.56 c 04:55:35.958 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49130. 'extension(5, 5) :: init: true :: relation: MDD 1876619012, 12 edges, 5 vertices, 9 tuples
25.27/9.56 c 04:55:35.959 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49168. 'extension(5, 5) :: init: true :: relation: MDD 64797628, 12 edges, 5 vertices, 9 tuples
25.27/9.56 c 04:55:35.959 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49206. 'extension(5, 5) :: init: true :: relation: MDD 1071793776, 12 edges, 5 vertices, 9 tuples
25.27/9.56 c 04:55:35.960 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49241. 'extension(x[23][13]=[0‥5], 5) :: init: true :: relation: MDD 1626241617, 12 edges, 5 vertices, 9 tuples
25.27/9.56 c 04:55:35.960 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49279. 'extension(x[23][15]=[0‥5], 5) :: init: true :: relation: MDD 621874105, 12 edges, 5 vertices, 9 tuples
25.27/9.56 c 04:55:35.961 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49317. 'extension(5, x[25][16]=[0‥5]) :: init: true :: relation: MDD 1452209410, 12 edges, 5 vertices, 9 tuples
25.27/9.56 c 04:55:35.962 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49320. 'extension(5, 5) :: init: true :: relation: MDD 1452209410, 12 edges, 5 vertices, 9 tuples
25.27/9.56 c 04:55:35.962 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49355. 'extension(5, x[25][23]=[0‥5]) :: init: true :: relation: MDD 64797628, 12 edges, 5 vertices, 9 tuples
25.27/9.56 c 04:55:35.963 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49358. 'extension(5, 5) :: init: true :: relation: MDD 64797628, 12 edges, 5 vertices, 9 tuples
25.27/9.56 c 04:55:35.963 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49396. 'extension(5, 5) :: init: true :: relation: MDD 1071793776, 12 edges, 5 vertices, 9 tuples
25.27/9.56 c 04:55:35.964 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49434. 'extension(5, 5) :: init: true :: relation: MDD 1626241617, 12 edges, 5 vertices, 9 tuples
25.27/9.57 c 04:55:35.965 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49472. 'extension(5, 5) :: init: true :: relation: MDD 621874105, 12 edges, 5 vertices, 9 tuples
25.27/9.57 c 04:55:35.965 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49507. 'extension(x[24][21]=[0‥5], 5) :: init: true :: relation: MDD 1247632184, 12 edges, 5 vertices, 9 tuples
25.27/9.57 c 04:55:35.966 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49545. 'extension(x[24][27]=[0‥5], 5) :: init: true :: relation: MDD 403032668, 12 edges, 5 vertices, 9 tuples
25.27/9.57 c 04:55:35.966 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49586. 'extension(5, 5) :: init: true :: relation: MDD 1071793776, 12 edges, 5 vertices, 9 tuples
25.27/9.57 c 04:55:35.967 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49621. 'extension(5, wk[5][3]=[0‥1]) :: init: true :: relation: MDD 181784570, 6 edges, 3 vertices, 5 tuples
25.27/9.57 c 04:55:35.967 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49622. 'extension(x[25][5]=[0‥5], 5) :: init: true :: relation: MDD 286393731, 12 edges, 5 vertices, 9 tuples
25.27/9.57 c 04:55:35.968 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49660. 'extension(5, wk[13][3]=[0‥1]) :: init: true :: relation: MDD 508047053, 6 edges, 3 vertices, 5 tuples
25.27/9.57 c 04:55:35.968 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49664. 'extension(5, 5) :: init: true :: relation: MDD 1626241617, 12 edges, 5 vertices, 9 tuples
25.27/9.57 c 04:55:35.968 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49699. 'extension(5, wk[15][3]=[0‥1]) :: init: true :: relation: MDD 93011633, 6 edges, 3 vertices, 5 tuples
25.27/9.57 c 04:55:35.969 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49703. 'extension(5, 5) :: init: true :: relation: MDD 621874105, 12 edges, 5 vertices, 9 tuples
25.27/9.57 c 04:55:35.969 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49738. 'extension(5, wk[21][3]=[0‥1]) :: init: true :: relation: MDD 568787640, 6 edges, 3 vertices, 5 tuples
25.27/9.57 c 04:55:35.969 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49739. 'extension(5, x[27][21]=[0‥5]) :: init: true :: relation: MDD 1247632184, 12 edges, 5 vertices, 9 tuples
25.27/9.57 c 04:55:35.970 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49742. 'extension(5, 5) :: init: true :: relation: MDD 1247632184, 12 edges, 5 vertices, 9 tuples
25.27/9.57 c 04:55:35.970 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49777. 'extension(5, wk[27][3]=[0‥1]) :: init: true :: relation: MDD 528846922, 6 edges, 3 vertices, 5 tuples
25.27/9.57 c 04:55:35.970 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49781. 'extension(5, 5) :: init: true :: relation: MDD 403032668, 12 edges, 5 vertices, 9 tuples
25.27/9.57 c 04:55:35.971 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49816. 'extension(5, wk[32][3]=[0‥1]) :: init: true :: relation: MDD 1340362810, 6 edges, 3 vertices, 5 tuples
25.27/9.57 c 04:55:35.971 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49820. 'extension(5, 5) :: init: true :: relation: MDD 1071793776, 12 edges, 5 vertices, 9 tuples
25.27/9.57 c 04:55:35.972 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49855. 'extension(5, wk[1][3]=[0‥1]) :: init: true :: relation: MDD 556677614, 6 edges, 3 vertices, 5 tuples
25.27/9.57 c 04:55:35.972 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49856. 'extension(x[26][1]=[0‥5], 5) :: init: true :: relation: MDD 678631391, 12 edges, 5 vertices, 9 tuples
25.27/9.57 c 04:55:35.972 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49894. 'extension(5, wk[5][3]=[0‥1]) :: init: true :: relation: MDD 462349981, 6 edges, 3 vertices, 5 tuples
25.27/9.57 c 04:55:35.973 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49898. 'extension(5, 5) :: init: true :: relation: MDD 286393731, 12 edges, 5 vertices, 9 tuples
25.27/9.57 c 04:55:35.973 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49933. 'extension(5, wk[13][3]=[0‥1]) :: init: true :: relation: MDD 197470785, 6 edges, 3 vertices, 5 tuples
25.27/9.57 c 04:55:35.973 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49937. 'extension(5, 5) :: init: true :: relation: MDD 1626241617, 12 edges, 5 vertices, 9 tuples
25.27/9.57 c 04:55:35.974 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49972. 'extension(5, wk[15][3]=[0‥1]) :: init: true :: relation: MDD 2020883928, 6 edges, 3 vertices, 5 tuples
25.27/9.57 c 04:55:35.974 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 49976. 'extension(5, 5) :: init: true :: relation: MDD 621874105, 12 edges, 5 vertices, 9 tuples
25.27/9.57 c 04:55:35.975 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50011. 'extension(5, wk[23][3]=[0‥1]) :: init: true :: relation: MDD 1441087837, 6 edges, 3 vertices, 5 tuples
25.27/9.57 c 04:55:35.975 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50012. 'extension(x[26][23]=[0‥5], 5) :: init: true :: relation: MDD 64797628, 12 edges, 5 vertices, 9 tuples
25.27/9.57 c 04:55:35.976 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50050. 'extension(5, wk[27][3]=[0‥1]) :: init: true :: relation: MDD 1664750059, 6 edges, 3 vertices, 5 tuples
25.27/9.57 c 04:55:35.976 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50054. 'extension(5, 5) :: init: true :: relation: MDD 403032668, 12 edges, 5 vertices, 9 tuples
25.27/9.57 c 04:55:35.976 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50089. 'extension(5, wk[32][3]=[0‥1]) :: init: true :: relation: MDD 1562570092, 6 edges, 3 vertices, 5 tuples
25.27/9.57 c 04:55:35.976 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50090. 'extension(5, x[28][32]=[0‥5]) :: init: true :: relation: MDD 1071793776, 12 edges, 5 vertices, 9 tuples
25.27/9.57 c 04:55:35.977 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50093. 'extension(5, 5) :: init: true :: relation: MDD 1071793776, 12 edges, 5 vertices, 9 tuples
25.27/9.57 c 04:55:35.978 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50128. 'extension(5, x[29][1]=[0‥5]) :: init: true :: relation: MDD 678631391, 12 edges, 5 vertices, 9 tuples
25.27/9.57 c 04:55:35.979 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50131. 'extension(5, 5) :: init: true :: relation: MDD 678631391, 12 edges, 5 vertices, 9 tuples
25.27/9.57 c 04:55:35.979 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50169. 'extension(5, 5) :: init: true :: relation: MDD 286393731, 12 edges, 5 vertices, 9 tuples
25.27/9.57 c 04:55:35.980 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50207. 'extension(5, 5) :: init: true :: relation: MDD 1626241617, 12 edges, 5 vertices, 9 tuples
25.27/9.57 c 04:55:35.980 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50245. 'extension(5, 5) :: init: true :: relation: MDD 621874105, 12 edges, 5 vertices, 9 tuples
25.27/9.57 c 04:55:35.980 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50280. 'extension(5, x[29][23]=[0‥5]) :: init: true :: relation: MDD 64797628, 12 edges, 5 vertices, 9 tuples
25.27/9.57 c 04:55:35.981 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50283. 'extension(5, 5) :: init: true :: relation: MDD 64797628, 12 edges, 5 vertices, 9 tuples
25.27/9.57 c 04:55:35.981 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50321. 'extension(5, 5) :: init: true :: relation: MDD 403032668, 12 edges, 5 vertices, 9 tuples
25.27/9.57 c 04:55:35.982 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50356. 'extension(x[27][33]=[0‥5], 5) :: init: true :: relation: MDD 1833703608, 12 edges, 5 vertices, 9 tuples
25.27/9.57 c 04:55:35.982 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50357. 'extension(5, x[29][33]=[0‥5]) :: init: true :: relation: MDD 1833703608, 12 edges, 5 vertices, 9 tuples
25.27/9.58 c 04:55:35.984 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50397. 'extension(5, 5) :: init: true :: relation: MDD 286393731, 12 edges, 5 vertices, 9 tuples
25.27/9.58 c 04:55:35.984 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50432. 'extension(5, x[30][13]=[0‥5]) :: init: true :: relation: MDD 1626241617, 12 edges, 5 vertices, 9 tuples
25.27/9.58 c 04:55:35.985 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50435. 'extension(5, 5) :: init: true :: relation: MDD 1626241617, 12 edges, 5 vertices, 9 tuples
25.27/9.58 c 04:55:35.985 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50470. 'extension(5, x[30][15]=[0‥5]) :: init: true :: relation: MDD 621874105, 12 edges, 5 vertices, 9 tuples
25.27/9.58 c 04:55:35.986 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50473. 'extension(5, 5) :: init: true :: relation: MDD 621874105, 12 edges, 5 vertices, 9 tuples
25.27/9.58 c 04:55:35.987 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50508. 'extension(x[28][19]=[0‥5], 5) :: init: true :: relation: MDD 1813184924, 12 edges, 5 vertices, 9 tuples
25.27/9.58 c 04:55:35.987 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50509. 'extension(5, x[30][19]=[0‥5]) :: init: true :: relation: MDD 1813184924, 12 edges, 5 vertices, 9 tuples
25.27/9.58 c 04:55:35.988 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50546. 'extension(x[28][21]=[0‥5], 5) :: init: true :: relation: MDD 1247632184, 12 edges, 5 vertices, 9 tuples
25.27/9.58 c 04:55:35.988 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50547. 'extension(5, x[30][21]=[0‥5]) :: init: true :: relation: MDD 1247632184, 12 edges, 5 vertices, 9 tuples
25.27/9.59 c 04:55:35.990 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50587. 'extension(5, 5) :: init: true :: relation: MDD 403032668, 12 edges, 5 vertices, 9 tuples
25.27/9.59 c 04:55:35.990 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50622. 'extension(x[28][38]=[0‥5], 5) :: init: true :: relation: MDD 1647028001, 12 edges, 5 vertices, 9 tuples
25.27/9.59 c 04:55:35.990 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50623. 'extension(5, x[30][38]=[0‥5]) :: init: true :: relation: MDD 1647028001, 12 edges, 5 vertices, 9 tuples
25.27/9.59 c 04:55:35.992 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50663. 'extension(5, 5) :: init: true :: relation: MDD 286393731, 12 edges, 5 vertices, 9 tuples
25.27/9.59 c 04:55:35.993 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50698. 'extension(x[29][9]=[0‥5], 5) :: init: true :: relation: MDD 234107628, 12 edges, 5 vertices, 9 tuples
25.27/9.59 c 04:55:35.993 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50736. 'extension(x[29][22]=[0‥5], 5) :: init: true :: relation: MDD 1876619012, 12 edges, 5 vertices, 9 tuples
25.27/9.59 c 04:55:35.994 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50774. 'extension(5, x[31][27]=[0‥5]) :: init: true :: relation: MDD 403032668, 12 edges, 5 vertices, 9 tuples
25.27/9.59 c 04:55:35.994 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50777. 'extension(5, 5) :: init: true :: relation: MDD 403032668, 12 edges, 5 vertices, 9 tuples
25.27/9.59 c 04:55:35.995 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50812. 'extension(x[30][4]=[0‥5], 5) :: init: true :: relation: MDD 1323206792, 12 edges, 5 vertices, 9 tuples
25.27/9.59 c 04:55:35.995 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50853. 'extension(5, 5) :: init: true :: relation: MDD 286393731, 12 edges, 5 vertices, 9 tuples
25.27/9.59 c 04:55:35.996 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50891. 'extension(5, 5) :: init: true :: relation: MDD 234107628, 12 edges, 5 vertices, 9 tuples
25.27/9.59 c 04:55:35.996 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50926. 'extension(5, x[32][22]=[0‥5]) :: init: true :: relation: MDD 1876619012, 12 edges, 5 vertices, 9 tuples
25.27/9.59 c 04:55:35.997 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50929. 'extension(5, 5) :: init: true :: relation: MDD 1876619012, 12 edges, 5 vertices, 9 tuples
25.27/9.59 c 04:55:35.997 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 50964. 'extension(x[30][34]=[0‥5], 5) :: init: true :: relation: MDD 1453959093, 12 edges, 5 vertices, 9 tuples
25.27/9.59 c 04:55:35.998 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51005. 'extension(5, 5) :: init: true :: relation: MDD 1323206792, 12 edges, 5 vertices, 9 tuples
25.27/9.59 c 04:55:35.998 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51043. 'extension(5, 5) :: init: true :: relation: MDD 286393731, 12 edges, 5 vertices, 9 tuples
25.27/9.59 c 04:55:35.999 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51081. 'extension(5, 5) :: init: true :: relation: MDD 234107628, 12 edges, 5 vertices, 9 tuples
25.27/9.59 c 04:55:35.999 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51116. 'extension(x[31][16]=[0‥5], 5) :: init: true :: relation: MDD 1452209410, 12 edges, 5 vertices, 9 tuples
25.27/9.59 c 04:55:36.000 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51157. 'extension(5, 5) :: init: true :: relation: MDD 1453959093, 12 edges, 5 vertices, 9 tuples
25.27/9.59 c 04:55:36.001 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51192. 'extension(5, wk[0][4]=[0‥1]) :: init: true :: relation: MDD 107279519, 6 edges, 3 vertices, 5 tuples
25.27/9.60 c 04:55:36.001 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51193. 'extension(x[32][0]=[0‥5], 5) :: init: true :: relation: MDD 292841327, 12 edges, 5 vertices, 9 tuples
25.27/9.60 c 04:55:36.001 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51194. 'extension(5, x[34][0]=[0‥5]) :: init: true :: relation: MDD 292841327, 12 edges, 5 vertices, 9 tuples
25.27/9.60 c 04:55:36.002 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51231. 'extension(5, wk[4][4]=[0‥1]) :: init: true :: relation: MDD 671967776, 6 edges, 3 vertices, 5 tuples
25.27/9.60 c 04:55:36.002 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51235. 'extension(5, 5) :: init: true :: relation: MDD 1323206792, 12 edges, 5 vertices, 9 tuples
25.27/9.60 c 04:55:36.003 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51270. 'extension(5, wk[5][4]=[0‥1]) :: init: true :: relation: MDD 265202525, 6 edges, 3 vertices, 5 tuples
25.27/9.60 c 04:55:36.003 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51271. 'extension(5, x[34][5]=[0‥5]) :: init: true :: relation: MDD 286393731, 12 edges, 5 vertices, 9 tuples
25.27/9.60 c 04:55:36.003 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51274. 'extension(5, 5) :: init: true :: relation: MDD 286393731, 12 edges, 5 vertices, 9 tuples
25.27/9.60 c 04:55:36.004 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51309. 'extension(5, wk[9][4]=[0‥1]) :: init: true :: relation: MDD 1995042520, 6 edges, 3 vertices, 5 tuples
25.27/9.60 c 04:55:36.004 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51310. 'extension(5, x[34][9]=[0‥5]) :: init: true :: relation: MDD 234107628, 12 edges, 5 vertices, 9 tuples
25.27/9.60 c 04:55:36.005 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51313. 'extension(5, 5) :: init: true :: relation: MDD 234107628, 12 edges, 5 vertices, 9 tuples
25.27/9.60 c 04:55:36.005 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51348. 'extension(5, wk[16][4]=[0‥1]) :: init: true :: relation: MDD 2002705120, 6 edges, 3 vertices, 5 tuples
25.27/9.60 c 04:55:36.005 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51352. 'extension(5, 5) :: init: true :: relation: MDD 1452209410, 12 edges, 5 vertices, 9 tuples
25.27/9.60 c 04:55:36.006 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51387. 'extension(5, wk[24][4]=[0‥1]) :: init: true :: relation: MDD 1612554042, 6 edges, 3 vertices, 5 tuples
25.27/9.60 c 04:55:36.006 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51388. 'extension(x[32][24]=[0‥5], 5) :: init: true :: relation: MDD 2116006444, 12 edges, 5 vertices, 9 tuples
25.27/9.60 c 04:55:36.007 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51426. 'extension(5, wk[34][4]=[0‥1]) :: init: true :: relation: MDD 1532347350, 6 edges, 3 vertices, 5 tuples
25.27/9.60 c 04:55:36.007 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51430. 'extension(5, 5) :: init: true :: relation: MDD 1453959093, 12 edges, 5 vertices, 9 tuples
25.27/9.60 c 04:55:36.008 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51465. 'extension(5, wk[1][4]=[0‥1]) :: init: true :: relation: MDD 427645575, 6 edges, 3 vertices, 5 tuples
25.27/9.60 c 04:55:36.008 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51466. 'extension(x[33][1]=[0‥5], 5) :: init: true :: relation: MDD 678631391, 12 edges, 5 vertices, 9 tuples
25.27/9.60 c 04:55:36.008 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51467. 'extension(5, x[35][1]=[0‥5]) :: init: true :: relation: MDD 678631391, 12 edges, 5 vertices, 9 tuples
25.27/9.60 c 04:55:36.009 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51504. 'extension(5, wk[4][4]=[0‥1]) :: init: true :: relation: MDD 1898469011, 6 edges, 3 vertices, 5 tuples
25.27/9.60 c 04:55:36.009 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51505. 'extension(5, x[35][4]=[0‥5]) :: init: true :: relation: MDD 1323206792, 12 edges, 5 vertices, 9 tuples
25.27/9.60 c 04:55:36.010 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51508. 'extension(5, 5) :: init: true :: relation: MDD 1323206792, 12 edges, 5 vertices, 9 tuples
25.27/9.60 c 04:55:36.010 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51543. 'extension(5, wk[16][4]=[0‥1]) :: init: true :: relation: MDD 627556497, 6 edges, 3 vertices, 5 tuples
25.27/9.60 c 04:55:36.010 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51547. 'extension(5, 5) :: init: true :: relation: MDD 1452209410, 12 edges, 5 vertices, 9 tuples
25.27/9.60 c 04:55:36.011 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51582. 'extension(5, wk[24][4]=[0‥1]) :: init: true :: relation: MDD 1703272304, 6 edges, 3 vertices, 5 tuples
25.27/9.60 c 04:55:36.011 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51586. 'extension(5, 5) :: init: true :: relation: MDD 2116006444, 12 edges, 5 vertices, 9 tuples
25.27/9.60 c 04:55:36.011 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51621. 'extension(5, wk[34][4]=[0‥1]) :: init: true :: relation: MDD 402702819, 6 edges, 3 vertices, 5 tuples
25.27/9.60 c 04:55:36.012 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51625. 'extension(5, 5) :: init: true :: relation: MDD 1453959093, 12 edges, 5 vertices, 9 tuples
25.27/9.60 c 04:55:36.012 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51660. 'extension(x[34][3]=[0‥5], 5) :: init: true :: relation: MDD 1137662975, 12 edges, 5 vertices, 9 tuples
25.27/9.60 c 04:55:36.012 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51661. 'extension(5, x[36][3]=[0‥5]) :: init: true :: relation: MDD 1137662975, 12 edges, 5 vertices, 9 tuples
25.64/9.61 c 04:55:36.013 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51698. 'extension(x[34][8]=[0‥5], 5) :: init: true :: relation: MDD 1683791631, 12 edges, 5 vertices, 9 tuples
25.64/9.61 c 04:55:36.014 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51699. 'extension(5, x[36][8]=[0‥5]) :: init: true :: relation: MDD 1683791631, 12 edges, 5 vertices, 9 tuples
25.64/9.61 c 04:55:36.015 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51736. 'extension(5, x[36][16]=[0‥5]) :: init: true :: relation: MDD 1452209410, 12 edges, 5 vertices, 9 tuples
25.64/9.61 c 04:55:36.015 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51739. 'extension(5, 5) :: init: true :: relation: MDD 1452209410, 12 edges, 5 vertices, 9 tuples
25.64/9.61 c 04:55:36.016 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51774. 'extension(5, x[36][24]=[0‥5]) :: init: true :: relation: MDD 2116006444, 12 edges, 5 vertices, 9 tuples
25.64/9.61 c 04:55:36.016 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51777. 'extension(5, 5) :: init: true :: relation: MDD 2116006444, 12 edges, 5 vertices, 9 tuples
25.64/9.61 c 04:55:36.017 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51815. 'extension(5, 5) :: init: true :: relation: MDD 1453959093, 12 edges, 5 vertices, 9 tuples
25.64/9.61 c 04:55:36.017 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51850. 'extension(5, x[37][34]=[0‥5]) :: init: true :: relation: MDD 1453959093, 12 edges, 5 vertices, 9 tuples
25.64/9.61 c 04:55:36.018 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51853. 'extension(5, 5) :: init: true :: relation: MDD 1453959093, 12 edges, 5 vertices, 9 tuples
25.64/9.61 c 04:55:36.018 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51888. 'extension(x[35][37]=[0‥5], 5) :: init: true :: relation: MDD 365016387, 12 edges, 5 vertices, 9 tuples
25.64/9.61 c 04:55:36.019 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51889. 'extension(5, x[37][37]=[0‥5]) :: init: true :: relation: MDD 365016387, 12 edges, 5 vertices, 9 tuples
25.64/9.61 c 04:55:36.020 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51926. 'extension(x[38][7]=[0‥5], 5) :: init: true :: relation: MDD 522796215, 12 edges, 5 vertices, 9 tuples
25.64/9.61 c 04:55:36.020 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 51964. 'extension(x[38][8]=[0‥5], 5) :: init: true :: relation: MDD 1683791631, 12 edges, 5 vertices, 9 tuples
25.64/9.61 c 04:55:36.021 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52002. 'extension(x[38][29]=[0‥5], 5) :: init: true :: relation: MDD 635934462, 12 edges, 5 vertices, 9 tuples
25.64/9.61 c 04:55:36.022 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52040. 'extension(5, wk[1][5]=[0‥1]) :: init: true :: relation: MDD 1634697653, 6 edges, 3 vertices, 5 tuples
25.64/9.61 c 04:55:36.022 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52041. 'extension(x[39][1]=[0‥5], 5) :: init: true :: relation: MDD 678631391, 12 edges, 5 vertices, 9 tuples
25.64/9.61 c 04:55:36.022 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52042. 'extension(5, x[41][1]=[0‥5]) :: init: true :: relation: MDD 678631391, 12 edges, 5 vertices, 9 tuples
25.64/9.62 c 04:55:36.023 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52079. 'extension(5, wk[7][5]=[0‥1]) :: init: true :: relation: MDD 1987221006, 6 edges, 3 vertices, 5 tuples
25.64/9.62 c 04:55:36.024 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52080. 'extension(5, x[41][7]=[0‥5]) :: init: true :: relation: MDD 522796215, 12 edges, 5 vertices, 9 tuples
25.64/9.62 c 04:55:36.024 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52083. 'extension(5, 5) :: init: true :: relation: MDD 522796215, 12 edges, 5 vertices, 9 tuples
25.64/9.62 c 04:55:36.025 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52118. 'extension(5, wk[8][5]=[0‥1]) :: init: true :: relation: MDD 1015658596, 6 edges, 3 vertices, 5 tuples
25.64/9.62 c 04:55:36.025 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52122. 'extension(5, 5) :: init: true :: relation: MDD 1683791631, 12 edges, 5 vertices, 9 tuples
25.64/9.62 c 04:55:36.025 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52157. 'extension(5, wk[12][5]=[0‥1]) :: init: true :: relation: MDD 79297071, 6 edges, 3 vertices, 5 tuples
25.64/9.62 c 04:55:36.026 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52158. 'extension(x[39][12]=[0‥5], 5) :: init: true :: relation: MDD 1553141699, 12 edges, 5 vertices, 9 tuples
25.64/9.62 c 04:55:36.026 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52196. 'extension(5, wk[17][5]=[0‥1]) :: init: true :: relation: MDD 848419266, 6 edges, 3 vertices, 5 tuples
25.64/9.62 c 04:55:36.026 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52197. 'extension(x[39][17]=[0‥5], 5) :: init: true :: relation: MDD 525474921, 12 edges, 5 vertices, 9 tuples
25.64/9.62 c 04:55:36.027 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52198. 'extension(5, x[41][17]=[0‥5]) :: init: true :: relation: MDD 525474921, 12 edges, 5 vertices, 9 tuples
25.64/9.62 c 04:55:36.027 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52235. 'extension(5, wk[29][5]=[0‥1]) :: init: true :: relation: MDD 521786403, 6 edges, 3 vertices, 5 tuples
25.64/9.62 c 04:55:36.028 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52239. 'extension(5, 5) :: init: true :: relation: MDD 635934462, 12 edges, 5 vertices, 9 tuples
25.64/9.62 c 04:55:36.028 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52274. 'extension(5, wk[8][5]=[0‥1]) :: init: true :: relation: MDD 816196187, 6 edges, 3 vertices, 5 tuples
25.64/9.62 c 04:55:36.028 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52278. 'extension(5, 5) :: init: true :: relation: MDD 1683791631, 12 edges, 5 vertices, 9 tuples
25.64/9.62 c 04:55:36.029 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52313. 'extension(5, wk[12][5]=[0‥1]) :: init: true :: relation: MDD 852143641, 6 edges, 3 vertices, 5 tuples
25.64/9.62 c 04:55:36.029 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52317. 'extension(5, 5) :: init: true :: relation: MDD 1553141699, 12 edges, 5 vertices, 9 tuples
25.64/9.62 c 04:55:36.029 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52352. 'extension(5, wk[20][5]=[0‥1]) :: init: true :: relation: MDD 1787266936, 6 edges, 3 vertices, 5 tuples
25.64/9.62 c 04:55:36.030 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52353. 'extension(x[40][20]=[0‥5], 5) :: init: true :: relation: MDD 1281248250, 12 edges, 5 vertices, 9 tuples
25.64/9.62 c 04:55:36.030 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52391. 'extension(5, wk[29][5]=[0‥1]) :: init: true :: relation: MDD 596848689, 6 edges, 3 vertices, 5 tuples
25.64/9.62 c 04:55:36.030 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52395. 'extension(5, 5) :: init: true :: relation: MDD 635934462, 12 edges, 5 vertices, 9 tuples
25.64/9.62 c 04:55:36.031 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52430. 'extension(x[41][4]=[0‥5], 5) :: init: true :: relation: MDD 1323206792, 12 edges, 5 vertices, 9 tuples
25.64/9.62 c 04:55:36.031 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52471. 'extension(5, 5) :: init: true :: relation: MDD 1683791631, 12 edges, 5 vertices, 9 tuples
25.64/9.62 c 04:55:36.032 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52506. 'extension(5, x[43][12]=[0‥5]) :: init: true :: relation: MDD 1553141699, 12 edges, 5 vertices, 9 tuples
25.64/9.62 c 04:55:36.032 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52509. 'extension(5, 5) :: init: true :: relation: MDD 1553141699, 12 edges, 5 vertices, 9 tuples
25.64/9.62 c 04:55:36.033 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52547. 'extension(5, 5) :: init: true :: relation: MDD 1281248250, 12 edges, 5 vertices, 9 tuples
25.64/9.63 c 04:55:36.033 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52585. 'extension(5, 5) :: init: true :: relation: MDD 635934462, 12 edges, 5 vertices, 9 tuples
25.64/9.63 c 04:55:36.034 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52623. 'extension(5, 5) :: init: true :: relation: MDD 1323206792, 12 edges, 5 vertices, 9 tuples
25.64/9.63 c 04:55:36.034 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52658. 'extension(5, x[44][8]=[0‥5]) :: init: true :: relation: MDD 1683791631, 12 edges, 5 vertices, 9 tuples
25.64/9.63 c 04:55:36.035 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52661. 'extension(5, 5) :: init: true :: relation: MDD 1683791631, 12 edges, 5 vertices, 9 tuples
25.64/9.63 c 04:55:36.035 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52696. 'extension(5, x[44][20]=[0‥5]) :: init: true :: relation: MDD 1281248250, 12 edges, 5 vertices, 9 tuples
25.64/9.63 c 04:55:36.036 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52699. 'extension(5, 5) :: init: true :: relation: MDD 1281248250, 12 edges, 5 vertices, 9 tuples
25.64/9.63 c 04:55:36.036 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52737. 'extension(5, 5) :: init: true :: relation: MDD 635934462, 12 edges, 5 vertices, 9 tuples
25.64/9.63 c 04:55:36.037 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52772. 'extension(5, x[45][4]=[0‥5]) :: init: true :: relation: MDD 1323206792, 12 edges, 5 vertices, 9 tuples
25.64/9.63 c 04:55:36.037 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52775. 'extension(5, 5) :: init: true :: relation: MDD 1323206792, 12 edges, 5 vertices, 9 tuples
25.64/9.63 c 04:55:36.038 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52813. 'extension(5, 5) :: init: true :: relation: MDD 635934462, 12 edges, 5 vertices, 9 tuples
25.64/9.63 c 04:55:36.038 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52851. 'extension(5, 5) :: init: true :: relation: MDD 635934462, 12 edges, 5 vertices, 9 tuples
25.64/9.63 c 04:55:36.039 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52886. 'extension(x[45][6]=[0‥5], 5) :: init: true :: relation: MDD 1697588954, 12 edges, 5 vertices, 9 tuples
25.64/9.63 c 04:55:36.039 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52924. 'extension(5, x[47][29]=[0‥5]) :: init: true :: relation: MDD 635934462, 12 edges, 5 vertices, 9 tuples
25.64/9.63 c 04:55:36.040 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52927. 'extension(5, 5) :: init: true :: relation: MDD 635934462, 12 edges, 5 vertices, 9 tuples
25.64/9.63 c 04:55:36.041 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52962. 'extension(5, wk[6][6]=[0‥1]) :: init: true :: relation: MDD 1761208327, 6 edges, 3 vertices, 5 tuples
25.64/9.63 c 04:55:36.041 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 52966. 'extension(5, 5) :: init: true :: relation: MDD 1697588954, 12 edges, 5 vertices, 9 tuples
25.64/9.63 c 04:55:36.041 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53001. 'extension(5, wk[22][6]=[0‥1]) :: init: true :: relation: MDD 898959467, 6 edges, 3 vertices, 5 tuples
25.64/9.63 c 04:55:36.042 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53002. 'extension(x[46][22]=[0‥5], 5) :: init: true :: relation: MDD 1876619012, 12 edges, 5 vertices, 9 tuples
25.64/9.63 c 04:55:36.042 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53040. 'extension(5, wk[26][6]=[0‥1]) :: init: true :: relation: MDD 976994522, 6 edges, 3 vertices, 5 tuples
25.64/9.63 c 04:55:36.042 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53041. 'extension(x[46][26]=[0‥5], 5) :: init: true :: relation: MDD 715943847, 12 edges, 5 vertices, 9 tuples
25.64/9.63 c 04:55:36.043 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53079. 'extension(5, wk[6][6]=[0‥1]) :: init: true :: relation: MDD 1039948229, 6 edges, 3 vertices, 5 tuples
25.64/9.63 c 04:55:36.043 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53083. 'extension(5, 5) :: init: true :: relation: MDD 1697588954, 12 edges, 5 vertices, 9 tuples
25.64/9.64 c 04:55:36.043 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53118. 'extension(5, wk[22][6]=[0‥1]) :: init: true :: relation: MDD 1901543742, 6 edges, 3 vertices, 5 tuples
25.64/9.64 c 04:55:36.044 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53119. 'extension(5, x[49][22]=[0‥5]) :: init: true :: relation: MDD 1876619012, 12 edges, 5 vertices, 9 tuples
25.64/9.64 c 04:55:36.044 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53122. 'extension(5, 5) :: init: true :: relation: MDD 1876619012, 12 edges, 5 vertices, 9 tuples
25.64/9.64 c 04:55:36.045 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53157. 'extension(5, wk[26][6]=[0‥1]) :: init: true :: relation: MDD 208108926, 6 edges, 3 vertices, 5 tuples
25.64/9.64 c 04:55:36.045 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53158. 'extension(5, x[49][26]=[0‥5]) :: init: true :: relation: MDD 715943847, 12 edges, 5 vertices, 9 tuples
25.64/9.64 c 04:55:36.045 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53161. 'extension(5, 5) :: init: true :: relation: MDD 715943847, 12 edges, 5 vertices, 9 tuples
25.64/9.64 c 04:55:36.046 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53196. 'extension(5, wk[30][6]=[0‥1]) :: init: true :: relation: MDD 1697174329, 6 edges, 3 vertices, 5 tuples
25.64/9.64 c 04:55:36.047 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53197. 'extension(x[47][30]=[0‥5], 5) :: init: true :: relation: MDD 1366000849, 12 edges, 5 vertices, 9 tuples
25.64/9.65 c 04:55:36.047 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53235. 'extension(x[48][2]=[0‥5], 5) :: init: true :: relation: MDD 1102819865, 12 edges, 5 vertices, 9 tuples
25.64/9.65 c 04:55:36.048 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53273. 'extension(5, x[50][6]=[0‥5]) :: init: true :: relation: MDD 1697588954, 12 edges, 5 vertices, 9 tuples
25.64/9.65 c 04:55:36.048 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53276. 'extension(5, 5) :: init: true :: relation: MDD 1697588954, 12 edges, 5 vertices, 9 tuples
25.64/9.65 c 04:55:36.049 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53311. 'extension(x[48][17]=[0‥5], 5) :: init: true :: relation: MDD 525474921, 12 edges, 5 vertices, 9 tuples
25.64/9.65 c 04:55:36.049 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53312. 'extension(5, x[50][17]=[0‥5]) :: init: true :: relation: MDD 525474921, 12 edges, 5 vertices, 9 tuples
25.64/9.65 c 04:55:36.050 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53349. 'extension(x[48][28]=[0‥5], 5) :: init: true :: relation: MDD 1019695044, 12 edges, 5 vertices, 9 tuples
25.64/9.65 c 04:55:36.050 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53390. 'extension(5, 5) :: init: true :: relation: MDD 1366000849, 12 edges, 5 vertices, 9 tuples
25.64/9.65 c 04:55:36.051 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53425. 'extension(5, x[51][2]=[0‥5]) :: init: true :: relation: MDD 1102819865, 12 edges, 5 vertices, 9 tuples
25.64/9.65 c 04:55:36.051 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53428. 'extension(5, 5) :: init: true :: relation: MDD 1102819865, 12 edges, 5 vertices, 9 tuples
25.64/9.65 c 04:55:36.052 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53466. 'extension(5, 5) :: init: true :: relation: MDD 1019695044, 12 edges, 5 vertices, 9 tuples
25.64/9.65 c 04:55:36.052 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53504. 'extension(5, 5) :: init: true :: relation: MDD 1366000849, 12 edges, 5 vertices, 9 tuples
25.64/9.65 c 04:55:36.053 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53539. 'extension(x[49][37]=[0‥5], 5) :: init: true :: relation: MDD 365016387, 12 edges, 5 vertices, 9 tuples
25.64/9.65 c 04:55:36.054 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53577. 'extension(x[50][23]=[0‥5], 5) :: init: true :: relation: MDD 64797628, 12 edges, 5 vertices, 9 tuples
25.64/9.65 c 04:55:36.054 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53618. 'extension(5, 5) :: init: true :: relation: MDD 1019695044, 12 edges, 5 vertices, 9 tuples
25.64/9.65 c 04:55:36.055 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53653. 'extension(5, x[52][30]=[0‥5]) :: init: true :: relation: MDD 1366000849, 12 edges, 5 vertices, 9 tuples
25.64/9.65 c 04:55:36.055 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53656. 'extension(5, 5) :: init: true :: relation: MDD 1366000849, 12 edges, 5 vertices, 9 tuples
25.64/9.65 c 04:55:36.056 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53694. 'extension(5, 5) :: init: true :: relation: MDD 365016387, 12 edges, 5 vertices, 9 tuples
25.64/9.65 c 04:55:36.056 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53729. 'extension(x[51][4]=[0‥5], 5) :: init: true :: relation: MDD 1323206792, 12 edges, 5 vertices, 9 tuples
25.64/9.65 c 04:55:36.057 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53730. 'extension(5, x[53][4]=[0‥5]) :: init: true :: relation: MDD 1323206792, 12 edges, 5 vertices, 9 tuples
25.64/9.65 c 04:55:36.058 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53767. 'extension(x[51][6]=[0‥5], 5) :: init: true :: relation: MDD 1697588954, 12 edges, 5 vertices, 9 tuples
25.64/9.65 c 04:55:36.059 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53805. 'extension(x[51][17]=[0‥5], 5) :: init: true :: relation: MDD 525474921, 12 edges, 5 vertices, 9 tuples
25.64/9.65 c 04:55:36.059 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53843. 'extension(5, x[53][23]=[0‥5]) :: init: true :: relation: MDD 64797628, 12 edges, 5 vertices, 9 tuples
25.64/9.65 c 04:55:36.060 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53846. 'extension(5, 5) :: init: true :: relation: MDD 64797628, 12 edges, 5 vertices, 9 tuples
25.64/9.65 c 04:55:36.061 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53881. 'extension(x[51][24]=[0‥5], 5) :: init: true :: relation: MDD 2116006444, 12 edges, 5 vertices, 9 tuples
25.64/9.65 c 04:55:36.061 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53882. 'extension(5, x[53][24]=[0‥5]) :: init: true :: relation: MDD 2116006444, 12 edges, 5 vertices, 9 tuples
25.64/9.65 c 04:55:36.062 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53919. 'extension(x[51][25]=[0‥5], 5) :: init: true :: relation: MDD 764179103, 12 edges, 5 vertices, 9 tuples
25.64/9.65 c 04:55:36.062 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53957. 'extension(5, x[53][28]=[0‥5]) :: init: true :: relation: MDD 1019695044, 12 edges, 5 vertices, 9 tuples
25.64/9.65 c 04:55:36.063 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53960. 'extension(5, 5) :: init: true :: relation: MDD 1019695044, 12 edges, 5 vertices, 9 tuples
25.64/9.66 c 04:55:36.063 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 53995. 'extension(x[51][31]=[0‥5], 5) :: init: true :: relation: MDD 820729289, 12 edges, 5 vertices, 9 tuples
25.64/9.66 c 04:55:36.064 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54036. 'extension(5, 5) :: init: true :: relation: MDD 365016387, 12 edges, 5 vertices, 9 tuples
25.64/9.66 c 04:55:36.064 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54071. 'extension(x[51][38]=[0‥5], 5) :: init: true :: relation: MDD 1647028001, 12 edges, 5 vertices, 9 tuples
25.64/9.66 c 04:55:36.065 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54112. 'extension(5, 5) :: init: true :: relation: MDD 1697588954, 12 edges, 5 vertices, 9 tuples
25.64/9.66 c 04:55:36.065 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54150. 'extension(5, 5) :: init: true :: relation: MDD 525474921, 12 edges, 5 vertices, 9 tuples
25.64/9.66 c 04:55:36.066 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54185. 'extension(5, x[54][25]=[0‥5]) :: init: true :: relation: MDD 764179103, 12 edges, 5 vertices, 9 tuples
25.64/9.66 c 04:55:36.066 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54188. 'extension(5, 5) :: init: true :: relation: MDD 764179103, 12 edges, 5 vertices, 9 tuples
25.64/9.66 c 04:55:36.067 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54226. 'extension(5, 5) :: init: true :: relation: MDD 820729289, 12 edges, 5 vertices, 9 tuples
25.64/9.66 c 04:55:36.067 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54264. 'extension(5, 5) :: init: true :: relation: MDD 365016387, 12 edges, 5 vertices, 9 tuples
25.64/9.66 c 04:55:36.067 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54302. 'extension(5, 5) :: init: true :: relation: MDD 1647028001, 12 edges, 5 vertices, 9 tuples
25.64/9.66 c 04:55:36.068 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54337. 'extension(5, wk[6][7]=[0‥1]) :: init: true :: relation: MDD 190920427, 6 edges, 3 vertices, 5 tuples
25.64/9.66 c 04:55:36.068 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54341. 'extension(5, 5) :: init: true :: relation: MDD 1697588954, 12 edges, 5 vertices, 9 tuples
25.64/9.66 c 04:55:36.068 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54376. 'extension(5, wk[7][7]=[0‥1]) :: init: true :: relation: MDD 1016591849, 6 edges, 3 vertices, 5 tuples
25.64/9.66 c 04:55:36.069 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54377. 'extension(x[53][7]=[0‥5], 5) :: init: true :: relation: MDD 522796215, 12 edges, 5 vertices, 9 tuples
25.64/9.66 c 04:55:36.069 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54415. 'extension(5, wk[17][7]=[0‥1]) :: init: true :: relation: MDD 1445947009, 6 edges, 3 vertices, 5 tuples
25.64/9.66 c 04:55:36.070 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54419. 'extension(5, 5) :: init: true :: relation: MDD 525474921, 12 edges, 5 vertices, 9 tuples
25.64/9.66 c 04:55:36.070 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54454. 'extension(5, wk[31][7]=[0‥1]) :: init: true :: relation: MDD 635097653, 6 edges, 3 vertices, 5 tuples
25.64/9.66 c 04:55:36.070 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54455. 'extension(5, x[55][31]=[0‥5]) :: init: true :: relation: MDD 820729289, 12 edges, 5 vertices, 9 tuples
25.64/9.66 c 04:55:36.071 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54458. 'extension(5, 5) :: init: true :: relation: MDD 820729289, 12 edges, 5 vertices, 9 tuples
25.64/9.66 c 04:55:36.071 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54493. 'extension(5, wk[35][7]=[0‥1]) :: init: true :: relation: MDD 121246061, 6 edges, 3 vertices, 5 tuples
25.64/9.66 c 04:55:36.072 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54494. 'extension(x[53][35]=[0‥5], 5) :: init: true :: relation: MDD 477745299, 12 edges, 5 vertices, 9 tuples
25.64/9.66 c 04:55:36.072 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54495. 'extension(5, x[55][35]=[0‥5]) :: init: true :: relation: MDD 477745299, 12 edges, 5 vertices, 9 tuples
25.64/9.66 c 04:55:36.073 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54532. 'extension(5, wk[37][7]=[0‥1]) :: init: true :: relation: MDD 859885144, 6 edges, 3 vertices, 5 tuples
25.64/9.66 c 04:55:36.073 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54536. 'extension(5, 5) :: init: true :: relation: MDD 365016387, 12 edges, 5 vertices, 9 tuples
25.64/9.66 c 04:55:36.073 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54571. 'extension(5, wk[38][7]=[0‥1]) :: init: true :: relation: MDD 2089341007, 6 edges, 3 vertices, 5 tuples
25.64/9.67 c 04:55:36.073 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54572. 'extension(5, x[55][38]=[0‥5]) :: init: true :: relation: MDD 1647028001, 12 edges, 5 vertices, 9 tuples
25.64/9.67 c 04:55:36.074 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54575. 'extension(5, 5) :: init: true :: relation: MDD 1647028001, 12 edges, 5 vertices, 9 tuples
25.64/9.67 c 04:55:36.074 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54610. 'extension(5, wk[6][7]=[0‥1]) :: init: true :: relation: MDD 1931691665, 6 edges, 3 vertices, 5 tuples
25.64/9.67 c 04:55:36.075 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54611. 'extension(5, x[56][6]=[0‥5]) :: init: true :: relation: MDD 1697588954, 12 edges, 5 vertices, 9 tuples
25.64/9.67 c 04:55:36.075 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54614. 'extension(5, 5) :: init: true :: relation: MDD 1697588954, 12 edges, 5 vertices, 9 tuples
25.64/9.67 c 04:55:36.076 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54649. 'extension(5, wk[7][7]=[0‥1]) :: init: true :: relation: MDD 1166259735, 6 edges, 3 vertices, 5 tuples
25.64/9.67 c 04:55:36.076 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54653. 'extension(5, 5) :: init: true :: relation: MDD 522796215, 12 edges, 5 vertices, 9 tuples
25.64/9.67 c 04:55:36.077 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54688. 'extension(5, wk[17][7]=[0‥1]) :: init: true :: relation: MDD 160479339, 6 edges, 3 vertices, 5 tuples
25.64/9.67 c 04:55:36.077 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54692. 'extension(5, 5) :: init: true :: relation: MDD 525474921, 12 edges, 5 vertices, 9 tuples
25.64/9.67 c 04:55:36.077 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54727. 'extension(5, wk[24][7]=[0‥1]) :: init: true :: relation: MDD 334720373, 6 edges, 3 vertices, 5 tuples
25.64/9.67 c 04:55:36.077 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54728. 'extension(x[54][24]=[0‥5], 5) :: init: true :: relation: MDD 2116006444, 12 edges, 5 vertices, 9 tuples
25.64/9.67 c 04:55:36.078 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54766. 'extension(5, wk[37][7]=[0‥1]) :: init: true :: relation: MDD 199263201, 6 edges, 3 vertices, 5 tuples
25.64/9.67 c 04:55:36.078 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54770. 'extension(5, 5) :: init: true :: relation: MDD 365016387, 12 edges, 5 vertices, 9 tuples
25.64/9.67 c 04:55:36.079 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54808. 'extension(5, 5) :: init: true :: relation: MDD 522796215, 12 edges, 5 vertices, 9 tuples
25.64/9.67 c 04:55:36.079 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54843. 'extension(x[55][8]=[0‥5], 5) :: init: true :: relation: MDD 1683791631, 12 edges, 5 vertices, 9 tuples
25.64/9.67 c 04:55:36.079 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54844. 'extension(5, x[57][8]=[0‥5]) :: init: true :: relation: MDD 1683791631, 12 edges, 5 vertices, 9 tuples
25.64/9.67 c 04:55:36.081 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54884. 'extension(5, 5) :: init: true :: relation: MDD 525474921, 12 edges, 5 vertices, 9 tuples
25.64/9.68 c 04:55:36.081 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54919. 'extension(5, x[57][24]=[0‥5]) :: init: true :: relation: MDD 2116006444, 12 edges, 5 vertices, 9 tuples
25.64/9.68 c 04:55:36.081 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54922. 'extension(5, 5) :: init: true :: relation: MDD 2116006444, 12 edges, 5 vertices, 9 tuples
25.64/9.68 c 04:55:36.082 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54957. 'extension(x[55][36]=[0‥5], 5) :: init: true :: relation: MDD 871895680, 12 edges, 5 vertices, 9 tuples
25.64/9.68 c 04:55:36.083 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54995. 'extension(5, x[57][37]=[0‥5]) :: init: true :: relation: MDD 365016387, 12 edges, 5 vertices, 9 tuples
25.64/9.68 c 04:55:36.083 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 54998. 'extension(5, 5) :: init: true :: relation: MDD 365016387, 12 edges, 5 vertices, 9 tuples
25.64/9.68 c 04:55:36.084 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55033. 'extension(x[56][2]=[0‥5], 5) :: init: true :: relation: MDD 1102819865, 12 edges, 5 vertices, 9 tuples
25.64/9.68 c 04:55:36.085 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55071. 'extension(5, x[58][7]=[0‥5]) :: init: true :: relation: MDD 522796215, 12 edges, 5 vertices, 9 tuples
25.64/9.68 c 04:55:36.085 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55074. 'extension(5, 5) :: init: true :: relation: MDD 522796215, 12 edges, 5 vertices, 9 tuples
25.64/9.68 c 04:55:36.086 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55109. 'extension(5, x[58][17]=[0‥5]) :: init: true :: relation: MDD 525474921, 12 edges, 5 vertices, 9 tuples
25.64/9.68 c 04:55:36.086 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55112. 'extension(5, 5) :: init: true :: relation: MDD 525474921, 12 edges, 5 vertices, 9 tuples
25.64/9.68 c 04:55:36.087 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55147. 'extension(x[56][33]=[0‥5], 5) :: init: true :: relation: MDD 1833703608, 12 edges, 5 vertices, 9 tuples
25.64/9.68 c 04:55:36.087 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55148. 'extension(5, x[58][33]=[0‥5]) :: init: true :: relation: MDD 1833703608, 12 edges, 5 vertices, 9 tuples
25.64/9.68 c 04:55:36.088 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55185. 'extension(x[56][35]=[0‥5], 5) :: init: true :: relation: MDD 477745299, 12 edges, 5 vertices, 9 tuples
25.64/9.68 c 04:55:36.089 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55186. 'extension(5, x[58][35]=[0‥5]) :: init: true :: relation: MDD 477745299, 12 edges, 5 vertices, 9 tuples
25.64/9.68 c 04:55:36.089 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55226. 'extension(5, 5) :: init: true :: relation: MDD 871895680, 12 edges, 5 vertices, 9 tuples
25.64/9.68 c 04:55:36.090 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55261. 'extension(5, x[59][2]=[0‥5]) :: init: true :: relation: MDD 1102819865, 12 edges, 5 vertices, 9 tuples
25.64/9.68 c 04:55:36.091 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55264. 'extension(5, 5) :: init: true :: relation: MDD 1102819865, 12 edges, 5 vertices, 9 tuples
25.64/9.68 c 04:55:36.091 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55299. 'extension(x[57][9]=[0‥5], 5) :: init: true :: relation: MDD 234107628, 12 edges, 5 vertices, 9 tuples
25.64/9.68 c 04:55:36.092 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55337. 'extension(x[57][16]=[0‥5], 5) :: init: true :: relation: MDD 1452209410, 12 edges, 5 vertices, 9 tuples
25.64/9.68 c 04:55:36.092 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55338. 'extension(5, x[59][16]=[0‥5]) :: init: true :: relation: MDD 1452209410, 12 edges, 5 vertices, 9 tuples
25.94/9.71 c 04:55:36.116 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55375. 'extension(x[57][18]=[0‥5], 5) :: init: true :: relation: MDD 479668966, 12 edges, 5 vertices, 9 tuples
25.94/9.71 c 04:55:36.117 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55376. 'extension(5, x[59][18]=[0‥5]) :: init: true :: relation: MDD 479668966, 12 edges, 5 vertices, 9 tuples
25.94/9.71 c 04:55:36.118 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55416. 'extension(5, 5) :: init: true :: relation: MDD 871895680, 12 edges, 5 vertices, 9 tuples
25.94/9.71 c 04:55:36.118 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55451. 'extension(x[57][38]=[0‥5], 5) :: init: true :: relation: MDD 1647028001, 12 edges, 5 vertices, 9 tuples
25.94/9.71 c 04:55:36.119 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55492. 'extension(5, 5) :: init: true :: relation: MDD 234107628, 12 edges, 5 vertices, 9 tuples
25.94/9.71 c 04:55:36.119 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55527. 'extension(x[58][25]=[0‥5], 5) :: init: true :: relation: MDD 764179103, 12 edges, 5 vertices, 9 tuples
25.94/9.71 c 04:55:36.119 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55528. 'extension(5, x[60][25]=[0‥5]) :: init: true :: relation: MDD 764179103, 12 edges, 5 vertices, 9 tuples
25.94/9.71 c 04:55:36.120 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55565. 'extension(x[58][27]=[0‥5], 5) :: init: true :: relation: MDD 403032668, 12 edges, 5 vertices, 9 tuples
25.94/9.71 c 04:55:36.120 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55606. 'extension(5, 5) :: init: true :: relation: MDD 871895680, 12 edges, 5 vertices, 9 tuples
25.94/9.71 c 04:55:36.121 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55644. 'extension(5, 5) :: init: true :: relation: MDD 1647028001, 12 edges, 5 vertices, 9 tuples
25.94/9.71 c 04:55:36.121 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55679. 'extension(x[58][39]=[0‥5], 5) :: init: true :: relation: MDD 1932618250, 12 edges, 5 vertices, 9 tuples
25.94/9.71 c 04:55:36.122 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55720. 'extension(5, 5) :: init: true :: relation: MDD 234107628, 12 edges, 5 vertices, 9 tuples
25.94/9.71 c 04:55:36.122 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55755. 'extension(5, x[61][27]=[0‥5]) :: init: true :: relation: MDD 403032668, 12 edges, 5 vertices, 9 tuples
25.94/9.71 c 04:55:36.122 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55758. 'extension(5, 5) :: init: true :: relation: MDD 403032668, 12 edges, 5 vertices, 9 tuples
25.94/9.72 c 04:55:36.123 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55793. 'extension(5, x[61][36]=[0‥5]) :: init: true :: relation: MDD 871895680, 12 edges, 5 vertices, 9 tuples
25.94/9.72 c 04:55:36.124 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55796. 'extension(5, 5) :: init: true :: relation: MDD 871895680, 12 edges, 5 vertices, 9 tuples
25.94/9.72 c 04:55:36.124 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55834. 'extension(5, 5) :: init: true :: relation: MDD 1647028001, 12 edges, 5 vertices, 9 tuples
25.94/9.72 c 04:55:36.124 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55872. 'extension(5, 5) :: init: true :: relation: MDD 1932618250, 12 edges, 5 vertices, 9 tuples
25.94/9.72 c 04:55:36.125 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55907. 'extension(5, wk[9][8]=[0‥1]) :: init: true :: relation: MDD 2126273510, 6 edges, 3 vertices, 5 tuples
25.94/9.72 c 04:55:36.125 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55908. 'extension(5, x[62][9]=[0‥5]) :: init: true :: relation: MDD 234107628, 12 edges, 5 vertices, 9 tuples
25.94/9.72 c 04:55:36.125 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55911. 'extension(5, 5) :: init: true :: relation: MDD 234107628, 12 edges, 5 vertices, 9 tuples
25.94/9.72 c 04:55:36.126 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55946. 'extension(5, wk[38][8]=[0‥1]) :: init: true :: relation: MDD 1487941673, 6 edges, 3 vertices, 5 tuples
25.94/9.72 c 04:55:36.126 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55947. 'extension(5, x[62][38]=[0‥5]) :: init: true :: relation: MDD 1647028001, 12 edges, 5 vertices, 9 tuples
25.94/9.72 c 04:55:36.127 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55950. 'extension(5, 5) :: init: true :: relation: MDD 1647028001, 12 edges, 5 vertices, 9 tuples
25.94/9.72 c 04:55:36.127 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55985. 'extension(5, wk[39][8]=[0‥1]) :: init: true :: relation: MDD 1704329166, 6 edges, 3 vertices, 5 tuples
25.94/9.72 c 04:55:36.128 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 55989. 'extension(5, 5) :: init: true :: relation: MDD 1932618250, 12 edges, 5 vertices, 9 tuples
25.94/9.72 c 04:55:36.128 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56024. 'extension(5, wk[39][8]=[0‥1]) :: init: true :: relation: MDD 208402649, 6 edges, 3 vertices, 5 tuples
25.94/9.72 c 04:55:36.128 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56028. 'extension(5, 5) :: init: true :: relation: MDD 1932618250, 12 edges, 5 vertices, 9 tuples
25.94/9.72 c 04:55:36.129 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56063. 'extension(x[62][1]=[0‥5], 5) :: init: true :: relation: MDD 678631391, 12 edges, 5 vertices, 9 tuples
25.94/9.72 c 04:55:36.129 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56101. 'extension(x[62][11]=[0‥5], 5) :: init: true :: relation: MDD 564059141, 12 edges, 5 vertices, 9 tuples
25.94/9.72 c 04:55:36.130 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56139. 'extension(x[62][15]=[0‥5], 5) :: init: true :: relation: MDD 621874105, 12 edges, 5 vertices, 9 tuples
25.94/9.72 c 04:55:36.130 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56177. 'extension(x[62][24]=[0‥5], 5) :: init: true :: relation: MDD 2116006444, 12 edges, 5 vertices, 9 tuples
25.94/9.73 c 04:55:36.131 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56218. 'extension(5, 5) :: init: true :: relation: MDD 1932618250, 12 edges, 5 vertices, 9 tuples
25.94/9.73 c 04:55:36.131 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56256. 'extension(5, 5) :: init: true :: relation: MDD 678631391, 12 edges, 5 vertices, 9 tuples
25.94/9.73 c 04:55:36.131 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56294. 'extension(5, 5) :: init: true :: relation: MDD 564059141, 12 edges, 5 vertices, 9 tuples
25.94/9.73 c 04:55:36.132 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56329. 'extension(5, x[65][15]=[0‥5]) :: init: true :: relation: MDD 621874105, 12 edges, 5 vertices, 9 tuples
25.94/9.73 c 04:55:36.132 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56332. 'extension(5, 5) :: init: true :: relation: MDD 621874105, 12 edges, 5 vertices, 9 tuples
25.94/9.73 c 04:55:36.133 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56367. 'extension(5, x[65][24]=[0‥5]) :: init: true :: relation: MDD 2116006444, 12 edges, 5 vertices, 9 tuples
25.94/9.73 c 04:55:36.133 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56370. 'extension(5, 5) :: init: true :: relation: MDD 2116006444, 12 edges, 5 vertices, 9 tuples
25.94/9.73 c 04:55:36.134 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56408. 'extension(5, 5) :: init: true :: relation: MDD 1932618250, 12 edges, 5 vertices, 9 tuples
25.94/9.73 c 04:55:36.134 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56443. 'extension(5, x[66][1]=[0‥5]) :: init: true :: relation: MDD 678631391, 12 edges, 5 vertices, 9 tuples
25.94/9.73 c 04:55:36.135 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56446. 'extension(5, 5) :: init: true :: relation: MDD 678631391, 12 edges, 5 vertices, 9 tuples
25.94/9.73 c 04:55:36.135 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56481. 'extension(x[64][7]=[0‥5], 5) :: init: true :: relation: MDD 522796215, 12 edges, 5 vertices, 9 tuples
25.94/9.73 c 04:55:36.136 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56482. 'extension(5, x[66][7]=[0‥5]) :: init: true :: relation: MDD 522796215, 12 edges, 5 vertices, 9 tuples
25.94/9.73 c 04:55:36.137 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56519. 'extension(5, x[66][11]=[0‥5]) :: init: true :: relation: MDD 564059141, 12 edges, 5 vertices, 9 tuples
25.94/9.73 c 04:55:36.137 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56522. 'extension(5, 5) :: init: true :: relation: MDD 564059141, 12 edges, 5 vertices, 9 tuples
25.94/9.73 c 04:55:36.137 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56560. 'extension(5, 5) :: init: true :: relation: MDD 1932618250, 12 edges, 5 vertices, 9 tuples
25.94/9.73 c 04:55:36.138 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56595. 'extension(x[65][13]=[0‥5], 5) :: init: true :: relation: MDD 1626241617, 12 edges, 5 vertices, 9 tuples
25.94/9.73 c 04:55:36.138 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56633. 'extension(5, x[67][39]=[0‥5]) :: init: true :: relation: MDD 1932618250, 12 edges, 5 vertices, 9 tuples
25.94/9.73 c 04:55:36.139 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56636. 'extension(5, 5) :: init: true :: relation: MDD 1932618250, 12 edges, 5 vertices, 9 tuples
25.94/9.73 c 04:55:36.140 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56671. 'extension(x[66][2]=[0‥5], 5) :: init: true :: relation: MDD 1102819865, 12 edges, 5 vertices, 9 tuples
25.94/9.73 c 04:55:36.140 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56672. 'extension(5, x[68][2]=[0‥5]) :: init: true :: relation: MDD 1102819865, 12 edges, 5 vertices, 9 tuples
25.94/9.73 c 04:55:36.141 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56709. 'extension(5, x[68][13]=[0‥5]) :: init: true :: relation: MDD 1626241617, 12 edges, 5 vertices, 9 tuples
25.94/9.73 c 04:55:36.141 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56712. 'extension(5, 5) :: init: true :: relation: MDD 1626241617, 12 edges, 5 vertices, 9 tuples
25.94/9.73 c 04:55:36.142 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56747. 'extension(x[66][35]=[0‥5], 5) :: init: true :: relation: MDD 477745299, 12 edges, 5 vertices, 9 tuples
25.94/9.73 c 04:55:36.143 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56785. 'extension(5, wk[35][9]=[0‥1]) :: init: true :: relation: MDD 1098645181, 6 edges, 3 vertices, 5 tuples
25.94/9.73 c 04:55:36.143 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56786. 'extension(5, x[69][35]=[0‥5]) :: init: true :: relation: MDD 477745299, 12 edges, 5 vertices, 9 tuples
25.94/9.73 c 04:55:36.143 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56789. 'extension(5, 5) :: init: true :: relation: MDD 477745299, 12 edges, 5 vertices, 9 tuples
25.94/9.74 c 04:55:36.144 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56824. 'extension(x[70][11]=[0‥5], 5) :: init: true :: relation: MDD 564059141, 12 edges, 5 vertices, 9 tuples
25.94/9.74 c 04:55:36.145 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56865. 'extension(5, 5) :: init: true :: relation: MDD 564059141, 12 edges, 5 vertices, 9 tuples
25.94/9.74 c 04:55:36.145 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56900. 'extension(x[71][26]=[0‥5], 5) :: init: true :: relation: MDD 715943847, 12 edges, 5 vertices, 9 tuples
25.94/9.74 c 04:55:36.145 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56901. 'extension(5, x[73][26]=[0‥5]) :: init: true :: relation: MDD 715943847, 12 edges, 5 vertices, 9 tuples
25.94/9.74 c 04:55:36.146 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56938. 'extension(x[72][0]=[0‥5], 5) :: init: true :: relation: MDD 292841327, 12 edges, 5 vertices, 9 tuples
25.94/9.74 c 04:55:36.147 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 56976. 'extension(x[72][10]=[0‥5], 5) :: init: true :: relation: MDD 82211311, 12 edges, 5 vertices, 9 tuples
25.94/9.74 c 04:55:36.147 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57017. 'extension(5, 5) :: init: true :: relation: MDD 564059141, 12 edges, 5 vertices, 9 tuples
25.94/9.74 c 04:55:36.148 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57052. 'extension(x[72][20]=[0‥5], 5) :: init: true :: relation: MDD 1281248250, 12 edges, 5 vertices, 9 tuples
25.94/9.74 c 04:55:36.148 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57093. 'extension(5, 5) :: init: true :: relation: MDD 292841327, 12 edges, 5 vertices, 9 tuples
25.94/9.74 c 04:55:36.148 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57131. 'extension(5, 5) :: init: true :: relation: MDD 82211311, 12 edges, 5 vertices, 9 tuples
25.94/9.74 c 04:55:36.149 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57166. 'extension(5, x[75][11]=[0‥5]) :: init: true :: relation: MDD 564059141, 12 edges, 5 vertices, 9 tuples
25.94/9.74 c 04:55:36.149 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57169. 'extension(5, 5) :: init: true :: relation: MDD 564059141, 12 edges, 5 vertices, 9 tuples
25.94/9.74 c 04:55:36.150 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57204. 'extension(5, x[75][20]=[0‥5]) :: init: true :: relation: MDD 1281248250, 12 edges, 5 vertices, 9 tuples
25.94/9.74 c 04:55:36.150 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57207. 'extension(5, 5) :: init: true :: relation: MDD 1281248250, 12 edges, 5 vertices, 9 tuples
25.94/9.74 c 04:55:36.151 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57242. 'extension(5, wk[0][10]=[0‥1]) :: init: true :: relation: MDD 67053257, 6 edges, 3 vertices, 5 tuples
25.94/9.74 c 04:55:36.151 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57246. 'extension(5, 5) :: init: true :: relation: MDD 292841327, 12 edges, 5 vertices, 9 tuples
25.94/9.74 c 04:55:36.152 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57281. 'extension(5, wk[10][10]=[0‥1]) :: init: true :: relation: MDD 500450241, 6 edges, 3 vertices, 5 tuples
25.94/9.74 c 04:55:36.152 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57285. 'extension(5, 5) :: init: true :: relation: MDD 82211311, 12 edges, 5 vertices, 9 tuples
25.94/9.74 c 04:55:36.152 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57320. 'extension(5, wk[0][10]=[0‥1]) :: init: true :: relation: MDD 1706505865, 6 edges, 3 vertices, 5 tuples
25.94/9.74 c 04:55:36.152 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57321. 'extension(5, x[77][0]=[0‥5]) :: init: true :: relation: MDD 292841327, 12 edges, 5 vertices, 9 tuples
25.94/9.74 c 04:55:36.153 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57324. 'extension(5, 5) :: init: true :: relation: MDD 292841327, 12 edges, 5 vertices, 9 tuples
25.94/9.75 c 04:55:36.153 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57359. 'extension(5, wk[10][10]=[0‥1]) :: init: true :: relation: MDD 1149801201, 6 edges, 3 vertices, 5 tuples
25.94/9.75 c 04:55:36.154 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57360. 'extension(5, x[77][10]=[0‥5]) :: init: true :: relation: MDD 82211311, 12 edges, 5 vertices, 9 tuples
25.94/9.75 c 04:55:36.154 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57363. 'extension(5, 5) :: init: true :: relation: MDD 82211311, 12 edges, 5 vertices, 9 tuples
25.94/9.75 c 04:55:36.155 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57398. 'extension(5, wk[26][10]=[0‥1]) :: init: true :: relation: MDD 199907649, 6 edges, 3 vertices, 5 tuples
25.94/9.75 c 04:55:36.155 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57399. 'extension(x[75][26]=[0‥5], 5) :: init: true :: relation: MDD 715943847, 12 edges, 5 vertices, 9 tuples
25.94/9.75 c 04:55:36.155 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57440. 'extension(5, 5) :: init: true :: relation: MDD 715943847, 12 edges, 5 vertices, 9 tuples
25.94/9.75 c 04:55:36.156 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57478. 'extension(5, 5) :: init: true :: relation: MDD 715943847, 12 edges, 5 vertices, 9 tuples
25.94/9.75 c 04:55:36.156 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57513. 'extension(x[77][28]=[0‥5], 5) :: init: true :: relation: MDD 1019695044, 12 edges, 5 vertices, 9 tuples
25.94/9.75 c 04:55:36.157 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57551. 'extension(x[77][34]=[0‥5], 5) :: init: true :: relation: MDD 1453959093, 12 edges, 5 vertices, 9 tuples
25.94/9.75 c 04:55:36.157 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57552. 'extension(5, x[79][34]=[0‥5]) :: init: true :: relation: MDD 1453959093, 12 edges, 5 vertices, 9 tuples
25.94/9.75 c 04:55:36.158 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57589. 'extension(x[78][7]=[0‥5], 5) :: init: true :: relation: MDD 522796215, 12 edges, 5 vertices, 9 tuples
25.94/9.75 c 04:55:36.158 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57590. 'extension(5, x[80][7]=[0‥5]) :: init: true :: relation: MDD 522796215, 12 edges, 5 vertices, 9 tuples
25.94/9.75 c 04:55:36.160 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57626. 'extension(x[78][25]=[0‥5], 5) :: init: true :: relation: MDD 764179103, 12 edges, 5 vertices, 9 tuples
25.94/9.75 c 04:55:36.160 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57666. 'extension(5, 5) :: init: true :: relation: MDD 715943847, 12 edges, 5 vertices, 9 tuples
25.94/9.75 c 04:55:36.160 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57700. 'extension(5, x[80][28]=[0‥5]) :: init: true :: relation: MDD 1019695044, 12 edges, 5 vertices, 9 tuples
25.94/9.75 c 04:55:36.161 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57703. 'extension(5, 5) :: init: true :: relation: MDD 1019695044, 12 edges, 5 vertices, 9 tuples
25.94/9.75 c 04:55:36.161 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57737. 'extension(x[79][3]=[0‥5], 5) :: init: true :: relation: MDD 1137662975, 12 edges, 5 vertices, 9 tuples
25.94/9.76 c 04:55:36.162 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57738. 'extension(5, x[81][3]=[0‥5]) :: init: true :: relation: MDD 1137662975, 12 edges, 5 vertices, 9 tuples
25.94/9.76 c 04:55:36.163 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57773. 'extension(x[79][22]=[0‥5], 5) :: init: true :: relation: MDD 1876619012, 12 edges, 5 vertices, 9 tuples
25.94/9.76 c 04:55:36.163 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57812. 'extension(5, 5) :: init: true :: relation: MDD 764179103, 12 edges, 5 vertices, 9 tuples
25.94/9.76 c 04:55:36.163 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57845. 'extension(5, x[81][26]=[0‥5]) :: init: true :: relation: MDD 715943847, 12 edges, 5 vertices, 9 tuples
25.94/9.76 c 04:55:36.164 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57848. 'extension(5, 5) :: init: true :: relation: MDD 715943847, 12 edges, 5 vertices, 9 tuples
25.94/9.76 c 04:55:36.165 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57881. 'extension(5, x[82][22]=[0‥5]) :: init: true :: relation: MDD 1876619012, 12 edges, 5 vertices, 9 tuples
25.94/9.76 c 04:55:36.165 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57884. 'extension(5, 5) :: init: true :: relation: MDD 1876619012, 12 edges, 5 vertices, 9 tuples
25.94/9.76 c 04:55:36.166 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57916. 'extension(5, x[82][25]=[0‥5]) :: init: true :: relation: MDD 764179103, 12 edges, 5 vertices, 9 tuples
25.94/9.76 c 04:55:36.166 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57919. 'extension(5, 5) :: init: true :: relation: MDD 764179103, 12 edges, 5 vertices, 9 tuples
25.94/9.76 c 04:55:36.167 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57951. 'extension(5, wk[36][11]=[0‥1]) :: init: true :: relation: MDD 1835471543, 6 edges, 3 vertices, 5 tuples
25.94/9.76 c 04:55:36.167 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57952. 'extension(x[81][36]=[0‥5], 5) :: init: true :: relation: MDD 871895680, 12 edges, 5 vertices, 9 tuples
25.94/9.76 c 04:55:36.168 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57985. 'extension(5, wk[23][11]=[0‥1]) :: init: true :: relation: MDD 1075537833, 6 edges, 3 vertices, 5 tuples
25.94/9.76 c 04:55:36.168 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57986. 'extension(x[82][23]=[0‥5], 5) :: init: true :: relation: MDD 64797628, 12 edges, 5 vertices, 9 tuples
25.94/9.76 c 04:55:36.168 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 57987. 'extension(5, x[82][23]=[0‥5]) :: init: true :: relation: MDD 1544474221, 6 edges, 3 vertices, 5 tuples
25.94/9.76 c 04:55:36.169 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58015. 'extension(5, wk[36][11]=[0‥1]) :: init: true :: relation: MDD 1051569428, 6 edges, 3 vertices, 5 tuples
25.94/9.76 c 04:55:36.169 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58016. 'extension(5, 5) :: init: true :: relation: MDD 871895680, 12 edges, 5 vertices, 9 tuples
25.94/9.77 c 04:55:36.169 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58017. 'extension(5, 5) :: init: true :: relation: MDD 751402567, 6 edges, 3 vertices, 5 tuples
25.94/9.77 c 04:55:36.178 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58126. 'extension(x[0][14]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.77 c 04:55:36.178 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58130. 'extension(x[0][35]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.77 c 04:55:36.179 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58142. 'extension(x[2][19]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.77 c 04:55:36.179 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58148. 'extension(x[2][31]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.77 c 04:55:36.180 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58154. 'extension(x[5][18]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.77 c 04:55:36.180 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58172. 'extension(x[5][35]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.77 c 04:55:36.181 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58182. 'extension(wk[14][0]=[0‥1]) :: init: true :: relation: Empty MDD
25.94/9.77 c 04:55:36.181 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58184. 'extension(x[6][14]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.78 c 04:55:36.181 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58194. 'extension(wk[19][0]=[0‥1]) :: init: true :: relation: Empty MDD
25.94/9.78 c 04:55:36.181 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58196. 'extension(wk[31][0]=[0‥1]) :: init: true :: relation: Empty MDD
25.94/9.78 c 04:55:36.181 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58200. 'extension(wk[10][0]=[0‥1]) :: init: true :: relation: Empty MDD
25.94/9.78 c 04:55:36.182 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58202. 'extension(x[5][10]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.78 c 04:55:36.182 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58208. 'extension(wk[19][0]=[0‥1]) :: init: true :: relation: Empty MDD
25.94/9.78 c 04:55:36.182 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58210. 'extension(x[7][19]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.78 c 04:55:36.182 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58220. 'extension(wk[31][0]=[0‥1]) :: init: true :: relation: Empty MDD
25.94/9.78 c 04:55:36.182 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58222. 'extension(wk[33][0]=[0‥1]) :: init: true :: relation: Empty MDD
25.94/9.78 c 04:55:36.183 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58224. 'extension(x[5][33]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.78 c 04:55:36.183 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58234. 'extension(x[6][11]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.78 c 04:55:36.183 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58236. 'extension(x[8][11]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.78 c 04:55:36.184 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58250. 'extension(x[6][12]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.78 c 04:55:36.184 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58256. 'extension(x[8][31]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.78 c 04:55:36.184 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58278. 'extension(x[10][10]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.78 c 04:55:36.185 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58288. 'extension(x[9][3]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.78 c 04:55:36.185 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58294. 'extension(x[9][30]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.78 c 04:55:36.185 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58300. 'extension(x[11][33]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.78 c 04:55:36.186 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58316. 'extension(x[12][12]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.78 c 04:55:36.186 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58326. 'extension(x[10][18]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.78 c 04:55:36.187 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58336. 'extension(wk[1][1]=[0‥1]) :: init: true :: relation: Empty MDD
25.94/9.78 c 04:55:36.187 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58338. 'extension(x[11][1]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.78 c 04:55:36.187 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58340. 'extension(x[13][1]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.78 c 04:55:36.187 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58354. 'extension(wk[3][1]=[0‥1]) :: init: true :: relation: Empty MDD
25.94/9.78 c 04:55:36.187 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58356. 'extension(wk[8][1]=[0‥1]) :: init: true :: relation: Empty MDD
25.94/9.78 c 04:55:36.187 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58358. 'extension(x[11][8]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.78 c 04:55:36.188 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58360. 'extension(x[13][8]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.78 c 04:55:36.188 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58374. 'extension(wk[18][1]=[0‥1]) :: init: true :: relation: Empty MDD
25.94/9.78 c 04:55:36.188 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58376. 'extension(x[13][18]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.78 c 04:55:36.189 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58390. 'extension(wk[30][1]=[0‥1]) :: init: true :: relation: Empty MDD
25.94/9.78 c 04:55:36.189 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58394. 'extension(wk[3][1]=[0‥1]) :: init: true :: relation: Empty MDD
25.94/9.78 c 04:55:36.189 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58396. 'extension(wk[14][1]=[0‥1]) :: init: true :: relation: Empty MDD
25.94/9.78 c 04:55:36.189 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58398. 'extension(x[12][14]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.78 c 04:55:36.189 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58404. 'extension(wk[30][1]=[0‥1]) :: init: true :: relation: Empty MDD
25.94/9.78 c 04:55:36.189 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58406. 'extension(x[14][30]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.78 c 04:55:36.190 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58418. 'extension(x[15][14]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.78 c 04:55:36.191 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58432. 'extension(x[14][2]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.78 c 04:55:36.191 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58438. 'extension(x[16][3]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.78 c 04:55:36.191 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58452. 'extension(x[15][21]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.78 c 04:55:36.191 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58458. 'extension(x[15][25]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.78 c 04:55:36.192 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58464. 'extension(x[18][2]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.78 c 04:55:36.192 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58474. 'extension(x[16][19]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.78 c 04:55:36.192 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58484. 'extension(x[18][25]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.78 c 04:55:36.193 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58498. 'extension(x[16][36]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.78 c 04:55:36.193 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58500. 'extension(x[18][36]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.78 c 04:55:36.193 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58518. 'extension(wk[19][2]=[0‥1]) :: init: true :: relation: Empty MDD
25.94/9.79 c 04:55:36.193 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58520. 'extension(x[20][19]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.79 c 04:55:36.194 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58530. 'extension(wk[20][2]=[0‥1]) :: init: true :: relation: Empty MDD
25.94/9.79 c 04:55:36.194 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58532. 'extension(x[18][20]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.79 c 04:55:36.194 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58538. 'extension(wk[21][2]=[0‥1]) :: init: true :: relation: Empty MDD
25.94/9.79 c 04:55:36.194 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58540. 'extension(wk[34][2]=[0‥1]) :: init: true :: relation: Empty MDD
25.94/9.79 c 04:55:36.194 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58542. 'extension(x[18][34]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.79 c 04:55:36.194 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58544. 'extension(x[20][34]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.79 c 04:55:36.195 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58558. 'extension(wk[20][2]=[0‥1]) :: init: true :: relation: Empty MDD
25.94/9.79 c 04:55:36.195 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58564. 'extension(wk[21][2]=[0‥1]) :: init: true :: relation: Empty MDD
25.94/9.79 c 04:55:36.195 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58566. 'extension(x[21][21]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.79 c 04:55:36.195 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58576. 'extension(wk[32][2]=[0‥1]) :: init: true :: relation: Empty MDD
25.94/9.79 c 04:55:36.196 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58578. 'extension(x[19][32]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.79 c 04:55:36.196 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58584. 'extension(wk[33][2]=[0‥1]) :: init: true :: relation: Empty MDD
25.94/9.79 c 04:55:36.196 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58586. 'extension(x[19][33]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.79 c 04:55:36.196 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58588. 'extension(x[21][33]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.79 c 04:55:36.197 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58604. 'extension(x[20][0]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.79 c 04:55:36.197 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58610. 'extension(x[20][14]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.79 c 04:55:36.197 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58612. 'extension(x[22][14]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.79 c 04:55:36.198 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58626. 'extension(x[22][20]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.79 c 04:55:36.198 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58636. 'extension(x[20][28]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.79 c 04:55:36.198 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58650. 'extension(x[21][16]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.79 c 04:55:36.199 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58656. 'extension(x[21][22]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.79 c 04:55:36.199 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58662. 'extension(x[21][23]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.79 c 04:55:36.199 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58668. 'extension(x[23][28]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.79 c 04:55:36.199 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58684. 'extension(x[24][0]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.79 c 04:55:36.200 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58698. 'extension(x[24][22]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.79 c 04:55:36.200 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58716. 'extension(x[23][13]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.79 c 04:55:36.200 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58722. 'extension(x[23][15]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.79 c 04:55:36.201 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58728. 'extension(x[25][16]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.79 c 04:55:36.201 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58738. 'extension(x[25][23]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.79 c 04:55:36.202 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58756. 'extension(x[24][21]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.79 c 04:55:36.202 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58762. 'extension(x[24][27]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.79 c 04:55:36.202 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58768. 'extension(wk[5][3]=[0‥1]) :: init: true :: relation: Empty MDD
25.94/9.79 c 04:55:36.202 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58770. 'extension(x[25][5]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.79 c 04:55:36.202 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58776. 'extension(wk[13][3]=[0‥1]) :: init: true :: relation: Empty MDD
25.94/9.79 c 04:55:36.203 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58778. 'extension(wk[15][3]=[0‥1]) :: init: true :: relation: Empty MDD
25.94/9.79 c 04:55:36.203 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58780. 'extension(wk[21][3]=[0‥1]) :: init: true :: relation: Empty MDD
25.94/9.79 c 04:55:36.203 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58782. 'extension(x[27][21]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.79 c 04:55:36.203 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58796. 'extension(wk[27][3]=[0‥1]) :: init: true :: relation: Empty MDD
25.94/9.80 c 04:55:36.203 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58802. 'extension(wk[32][3]=[0‥1]) :: init: true :: relation: Empty MDD
25.94/9.80 c 04:55:36.203 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58804. 'extension(wk[1][3]=[0‥1]) :: init: true :: relation: Empty MDD
25.94/9.80 c 04:55:36.204 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58806. 'extension(x[26][1]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.80 c 04:55:36.204 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58812. 'extension(wk[5][3]=[0‥1]) :: init: true :: relation: Empty MDD
25.94/9.80 c 04:55:36.204 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58818. 'extension(wk[13][3]=[0‥1]) :: init: true :: relation: Empty MDD
25.94/9.80 c 04:55:36.204 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58820. 'extension(wk[15][3]=[0‥1]) :: init: true :: relation: Empty MDD
25.94/9.80 c 04:55:36.204 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58822. 'extension(wk[23][3]=[0‥1]) :: init: true :: relation: Empty MDD
25.94/9.80 c 04:55:36.204 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58824. 'extension(x[26][23]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.80 c 04:55:36.205 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58830. 'extension(wk[27][3]=[0‥1]) :: init: true :: relation: Empty MDD
25.94/9.80 c 04:55:36.205 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58832. 'extension(wk[32][3]=[0‥1]) :: init: true :: relation: Empty MDD
25.94/9.80 c 04:55:36.205 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58834. 'extension(x[28][32]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.80 c 04:55:36.205 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58846. 'extension(x[29][1]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.80 c 04:55:36.206 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58860. 'extension(x[29][23]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.80 c 04:55:36.206 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58874. 'extension(x[27][33]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.80 c 04:55:36.206 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58876. 'extension(x[29][33]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.80 c 04:55:36.207 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58892. 'extension(x[30][13]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.80 c 04:55:36.207 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58902. 'extension(x[30][15]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.80 c 04:55:36.207 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58912. 'extension(x[28][19]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.80 c 04:55:36.207 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58914. 'extension(x[30][19]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.80 c 04:55:36.208 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58928. 'extension(x[28][21]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.80 c 04:55:36.208 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58930. 'extension(x[30][21]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.80 c 04:55:36.208 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58944. 'extension(x[28][38]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.80 c 04:55:36.208 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58946. 'extension(x[30][38]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.80 c 04:55:36.209 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58960. 'extension(x[29][9]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.80 c 04:55:36.209 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58966. 'extension(x[29][22]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.80 c 04:55:36.209 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58972. 'extension(x[31][27]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.80 c 04:55:36.210 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58982. 'extension(x[30][4]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.80 c 04:55:36.210 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 58992. 'extension(x[32][22]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.80 c 04:55:36.210 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59006. 'extension(x[30][34]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.80 c 04:55:36.211 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59016. 'extension(x[31][16]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.80 c 04:55:36.211 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59026. 'extension(wk[0][4]=[0‥1]) :: init: true :: relation: Empty MDD
25.94/9.80 c 04:55:36.211 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59028. 'extension(x[32][0]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.80 c 04:55:36.211 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59030. 'extension(x[34][0]=[0‥5]) :: init: true :: relation: Empty MDD
25.94/9.80 c 04:55:36.212 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59044. 'extension(wk[4][4]=[0‥1]) :: init: true :: relation: Empty MDD
25.94/9.80 c 04:55:36.212 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59046. 'extension(wk[5][4]=[0‥1]) :: init: true :: relation: Empty MDD
25.94/9.80 c 04:55:36.212 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59048. 'extension(x[34][5]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.80 c 04:55:36.213 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59058. 'extension(wk[9][4]=[0‥1]) :: init: true :: relation: Empty MDD
26.27/9.80 c 04:55:36.213 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59060. 'extension(x[34][9]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.80 c 04:55:36.213 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59070. 'extension(wk[16][4]=[0‥1]) :: init: true :: relation: Empty MDD
26.27/9.81 c 04:55:36.213 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59076. 'extension(wk[24][4]=[0‥1]) :: init: true :: relation: Empty MDD
26.27/9.81 c 04:55:36.214 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59078. 'extension(x[32][24]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.81 c 04:55:36.214 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59084. 'extension(wk[34][4]=[0‥1]) :: init: true :: relation: Empty MDD
26.27/9.81 c 04:55:36.214 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59086. 'extension(wk[1][4]=[0‥1]) :: init: true :: relation: Empty MDD
26.27/9.81 c 04:55:36.214 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59088. 'extension(x[33][1]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.81 c 04:55:36.214 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59090. 'extension(x[35][1]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.81 c 04:55:36.215 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59104. 'extension(wk[4][4]=[0‥1]) :: init: true :: relation: Empty MDD
26.27/9.81 c 04:55:36.215 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59106. 'extension(x[35][4]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.81 c 04:55:36.215 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59116. 'extension(wk[16][4]=[0‥1]) :: init: true :: relation: Empty MDD
26.27/9.81 c 04:55:36.215 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59118. 'extension(wk[24][4]=[0‥1]) :: init: true :: relation: Empty MDD
26.27/9.81 c 04:55:36.215 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59124. 'extension(wk[34][4]=[0‥1]) :: init: true :: relation: Empty MDD
26.27/9.81 c 04:55:36.215 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59126. 'extension(x[34][3]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.81 c 04:55:36.216 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59128. 'extension(x[36][3]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.81 c 04:55:36.216 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59142. 'extension(x[34][8]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.81 c 04:55:36.216 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59144. 'extension(x[36][8]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.81 c 04:55:36.217 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59158. 'extension(x[36][16]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.81 c 04:55:36.217 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59168. 'extension(x[36][24]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.81 c 04:55:36.217 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59178. 'extension(x[37][34]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.81 c 04:55:36.217 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59188. 'extension(x[35][37]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.81 c 04:55:36.217 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59190. 'extension(x[37][37]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.81 c 04:55:36.218 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59204. 'extension(x[38][7]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.81 c 04:55:36.218 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59210. 'extension(x[38][8]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.81 c 04:55:36.218 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59216. 'extension(x[38][29]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.81 c 04:55:36.219 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59222. 'extension(wk[1][5]=[0‥1]) :: init: true :: relation: Empty MDD
26.27/9.81 c 04:55:36.219 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59224. 'extension(x[39][1]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.81 c 04:55:36.219 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59226. 'extension(x[41][1]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.81 c 04:55:36.219 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59240. 'extension(wk[7][5]=[0‥1]) :: init: true :: relation: Empty MDD
26.27/9.81 c 04:55:36.219 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59242. 'extension(x[41][7]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.81 c 04:55:36.220 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59256. 'extension(wk[8][5]=[0‥1]) :: init: true :: relation: Empty MDD
26.27/9.81 c 04:55:36.220 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59262. 'extension(wk[12][5]=[0‥1]) :: init: true :: relation: Empty MDD
26.27/9.81 c 04:55:36.220 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59264. 'extension(x[39][12]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.81 c 04:55:36.220 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59270. 'extension(wk[17][5]=[0‥1]) :: init: true :: relation: Empty MDD
26.27/9.81 c 04:55:36.220 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59272. 'extension(x[39][17]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.81 c 04:55:36.220 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59274. 'extension(x[41][17]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.81 c 04:55:36.221 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59288. 'extension(wk[29][5]=[0‥1]) :: init: true :: relation: Empty MDD
26.27/9.81 c 04:55:36.221 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59294. 'extension(wk[8][5]=[0‥1]) :: init: true :: relation: Empty MDD
26.27/9.81 c 04:55:36.221 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59296. 'extension(wk[12][5]=[0‥1]) :: init: true :: relation: Empty MDD
26.27/9.81 c 04:55:36.221 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59302. 'extension(wk[20][5]=[0‥1]) :: init: true :: relation: Empty MDD
26.27/9.81 c 04:55:36.221 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59304. 'extension(x[40][20]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.81 c 04:55:36.222 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59310. 'extension(wk[29][5]=[0‥1]) :: init: true :: relation: Empty MDD
26.27/9.81 c 04:55:36.222 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59312. 'extension(x[41][4]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.81 c 04:55:36.222 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59318. 'extension(x[43][12]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.81 c 04:55:36.222 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59336. 'extension(x[44][8]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.81 c 04:55:36.223 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59346. 'extension(x[44][20]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.81 c 04:55:36.223 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59356. 'extension(x[45][4]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.81 c 04:55:36.223 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59366. 'extension(x[45][6]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.82 c 04:55:36.223 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59372. 'extension(x[47][29]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.82 c 04:55:36.224 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59382. 'extension(wk[6][6]=[0‥1]) :: init: true :: relation: Empty MDD
26.27/9.82 c 04:55:36.224 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59388. 'extension(wk[22][6]=[0‥1]) :: init: true :: relation: Empty MDD
26.27/9.82 c 04:55:36.224 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59390. 'extension(x[46][22]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.82 c 04:55:36.224 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59396. 'extension(wk[26][6]=[0‥1]) :: init: true :: relation: Empty MDD
26.27/9.82 c 04:55:36.224 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59398. 'extension(x[46][26]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.82 c 04:55:36.225 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59404. 'extension(wk[6][6]=[0‥1]) :: init: true :: relation: Empty MDD
26.27/9.82 c 04:55:36.225 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59406. 'extension(wk[22][6]=[0‥1]) :: init: true :: relation: Empty MDD
26.27/9.82 c 04:55:36.225 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59408. 'extension(x[49][22]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.82 c 04:55:36.225 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59422. 'extension(wk[26][6]=[0‥1]) :: init: true :: relation: Empty MDD
26.27/9.82 c 04:55:36.225 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59424. 'extension(x[49][26]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.82 c 04:55:36.226 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59438. 'extension(wk[30][6]=[0‥1]) :: init: true :: relation: Empty MDD
26.27/9.82 c 04:55:36.226 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59440. 'extension(x[47][30]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.82 c 04:55:36.226 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59446. 'extension(x[48][2]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.82 c 04:55:36.226 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59452. 'extension(x[50][6]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.82 c 04:55:36.226 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59462. 'extension(x[48][17]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.82 c 04:55:36.227 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59464. 'extension(x[50][17]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.82 c 04:55:36.227 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59478. 'extension(x[48][28]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.82 c 04:55:36.227 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59488. 'extension(x[51][2]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.82 c 04:55:36.228 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59508. 'extension(x[49][37]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.82 c 04:55:36.228 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59514. 'extension(x[50][23]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.82 c 04:55:36.228 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59520. 'extension(x[52][30]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.82 c 04:55:36.229 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59536. 'extension(x[51][4]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.82 c 04:55:36.229 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59538. 'extension(x[53][4]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.82 c 04:55:36.229 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59552. 'extension(x[51][6]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.82 c 04:55:36.229 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59558. 'extension(x[51][17]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.82 c 04:55:36.230 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59564. 'extension(x[53][23]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.82 c 04:55:36.230 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59578. 'extension(x[51][24]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.82 c 04:55:36.230 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59580. 'extension(x[53][24]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.82 c 04:55:36.231 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59594. 'extension(x[51][25]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.82 c 04:55:36.231 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59600. 'extension(x[53][28]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.82 c 04:55:36.231 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59610. 'extension(x[51][31]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.82 c 04:55:36.231 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59616. 'extension(x[51][38]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.82 c 04:55:36.232 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59630. 'extension(x[54][25]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.82 c 04:55:36.232 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59652. 'extension(wk[6][7]=[0‥1]) :: init: true :: relation: Empty MDD
26.27/9.82 c 04:55:36.232 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59654. 'extension(wk[7][7]=[0‥1]) :: init: true :: relation: Empty MDD
26.27/9.82 c 04:55:36.232 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59656. 'extension(x[53][7]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.82 c 04:55:36.233 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59662. 'extension(wk[17][7]=[0‥1]) :: init: true :: relation: Empty MDD
26.27/9.82 c 04:55:36.233 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59664. 'extension(wk[31][7]=[0‥1]) :: init: true :: relation: Empty MDD
26.27/9.82 c 04:55:36.233 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59666. 'extension(x[55][31]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.82 c 04:55:36.233 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59680. 'extension(wk[35][7]=[0‥1]) :: init: true :: relation: Empty MDD
26.27/9.82 c 04:55:36.233 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59682. 'extension(x[53][35]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.83 c 04:55:36.233 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59684. 'extension(x[55][35]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.83 c 04:55:36.234 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59698. 'extension(wk[37][7]=[0‥1]) :: init: true :: relation: Empty MDD
26.27/9.83 c 04:55:36.234 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59700. 'extension(wk[38][7]=[0‥1]) :: init: true :: relation: Empty MDD
26.27/9.83 c 04:55:36.234 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59702. 'extension(x[55][38]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.83 c 04:55:36.234 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59712. 'extension(wk[6][7]=[0‥1]) :: init: true :: relation: Empty MDD
26.27/9.83 c 04:55:36.234 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59714. 'extension(x[56][6]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.83 c 04:55:36.235 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59724. 'extension(wk[7][7]=[0‥1]) :: init: true :: relation: Empty MDD
26.27/9.83 c 04:55:36.235 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59730. 'extension(wk[17][7]=[0‥1]) :: init: true :: relation: Empty MDD
26.27/9.83 c 04:55:36.235 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59732. 'extension(wk[24][7]=[0‥1]) :: init: true :: relation: Empty MDD
26.27/9.83 c 04:55:36.235 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59734. 'extension(x[54][24]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.83 c 04:55:36.235 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59740. 'extension(wk[37][7]=[0‥1]) :: init: true :: relation: Empty MDD
26.27/9.83 c 04:55:36.235 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59742. 'extension(x[55][8]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.83 c 04:55:36.235 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59744. 'extension(x[57][8]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.83 c 04:55:36.236 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59758. 'extension(x[57][24]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.83 c 04:55:36.236 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59772. 'extension(x[55][36]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.83 c 04:55:36.236 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59778. 'extension(x[57][37]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.83 c 04:55:36.237 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59788. 'extension(x[56][2]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.83 c 04:55:36.237 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59794. 'extension(x[58][7]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.83 c 04:55:36.237 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59804. 'extension(x[58][17]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.83 c 04:55:36.237 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59814. 'extension(x[56][33]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.83 c 04:55:36.238 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59816. 'extension(x[58][33]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.83 c 04:55:36.238 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59832. 'extension(x[56][35]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.83 c 04:55:36.238 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59834. 'extension(x[58][35]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.83 c 04:55:36.239 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59852. 'extension(x[59][2]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.83 c 04:55:36.239 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59866. 'extension(x[57][9]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.83 c 04:55:36.239 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59872. 'extension(x[57][16]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.83 c 04:55:36.239 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59874. 'extension(x[59][16]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.83 c 04:55:36.240 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59888. 'extension(x[57][18]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.83 c 04:55:36.240 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59890. 'extension(x[59][18]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.84 c 04:55:36.240 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59904. 'extension(x[57][38]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.84 c 04:55:36.241 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59914. 'extension(x[58][25]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.84 c 04:55:36.241 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59916. 'extension(x[60][25]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.84 c 04:55:36.241 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59930. 'extension(x[58][27]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.84 c 04:55:36.241 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59940. 'extension(x[58][39]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.84 c 04:55:36.242 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59946. 'extension(x[61][27]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.84 c 04:55:36.242 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59960. 'extension(x[61][36]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.84 c 04:55:36.242 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59974. 'extension(wk[9][8]=[0‥1]) :: init: true :: relation: Empty MDD
26.27/9.84 c 04:55:36.243 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59976. 'extension(x[62][9]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.84 c 04:55:36.243 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59986. 'extension(wk[38][8]=[0‥1]) :: init: true :: relation: Empty MDD
26.27/9.84 c 04:55:36.243 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59988. 'extension(x[62][38]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.84 c 04:55:36.243 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 59998. 'extension(wk[39][8]=[0‥1]) :: init: true :: relation: Empty MDD
26.27/9.84 c 04:55:36.243 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60000. 'extension(wk[39][8]=[0‥1]) :: init: true :: relation: Empty MDD
26.27/9.84 c 04:55:36.243 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60002. 'extension(x[62][1]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.84 c 04:55:36.244 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60008. 'extension(x[62][11]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.84 c 04:55:36.244 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60014. 'extension(x[62][15]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.84 c 04:55:36.244 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60020. 'extension(x[62][24]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.84 c 04:55:36.244 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60034. 'extension(x[65][15]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.84 c 04:55:36.245 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60048. 'extension(x[65][24]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.84 c 04:55:36.245 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60062. 'extension(x[66][1]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.84 c 04:55:36.245 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60072. 'extension(x[64][7]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.84 c 04:55:36.246 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60074. 'extension(x[66][7]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.84 c 04:55:36.246 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60088. 'extension(x[66][11]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.84 c 04:55:36.246 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60098. 'extension(x[65][13]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.84 c 04:55:36.247 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60104. 'extension(x[67][39]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.84 c 04:55:36.247 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60114. 'extension(x[66][2]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.84 c 04:55:36.247 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60116. 'extension(x[68][2]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.84 c 04:55:36.247 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60130. 'extension(x[68][13]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.84 c 04:55:36.248 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60144. 'extension(x[66][35]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.84 c 04:55:36.248 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60150. 'extension(wk[35][9]=[0‥1]) :: init: true :: relation: Empty MDD
26.27/9.84 c 04:55:36.248 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60152. 'extension(x[69][35]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.84 c 04:55:36.248 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60166. 'extension(x[70][11]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.84 c 04:55:36.249 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60176. 'extension(x[71][26]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.84 c 04:55:36.249 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60178. 'extension(x[73][26]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.84 c 04:55:36.249 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60192. 'extension(x[72][0]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.84 c 04:55:36.249 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60198. 'extension(x[72][10]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.84 c 04:55:36.250 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60204. 'extension(x[72][20]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.84 c 04:55:36.250 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60218. 'extension(x[75][11]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.84 c 04:55:36.250 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60228. 'extension(x[75][20]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.84 c 04:55:36.251 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60242. 'extension(wk[0][10]=[0‥1]) :: init: true :: relation: Empty MDD
26.27/9.84 c 04:55:36.251 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60244. 'extension(wk[10][10]=[0‥1]) :: init: true :: relation: Empty MDD
26.27/9.84 c 04:55:36.251 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60246. 'extension(wk[0][10]=[0‥1]) :: init: true :: relation: Empty MDD
26.27/9.84 c 04:55:36.251 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60248. 'extension(x[77][0]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.85 c 04:55:36.252 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60258. 'extension(wk[10][10]=[0‥1]) :: init: true :: relation: Empty MDD
26.27/9.85 c 04:55:36.252 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60260. 'extension(x[77][10]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.85 c 04:55:36.252 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60270. 'extension(wk[26][10]=[0‥1]) :: init: true :: relation: Empty MDD
26.27/9.85 c 04:55:36.252 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60272. 'extension(x[75][26]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.85 c 04:55:36.252 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60282. 'extension(x[77][28]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.85 c 04:55:36.253 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60288. 'extension(x[77][34]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.85 c 04:55:36.253 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60290. 'extension(x[79][34]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.85 c 04:55:36.253 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60304. 'extension(x[78][7]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.85 c 04:55:36.253 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60306. 'extension(x[80][7]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.85 c 04:55:36.254 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60320. 'extension(x[78][25]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.85 c 04:55:36.254 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60326. 'extension(x[80][28]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.85 c 04:55:36.254 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60340. 'extension(x[79][3]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.85 c 04:55:36.254 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60342. 'extension(x[81][3]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.85 c 04:55:36.255 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60356. 'extension(x[79][22]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.85 c 04:55:36.255 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60366. 'extension(x[81][26]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.85 c 04:55:36.255 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60376. 'extension(x[82][22]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.85 c 04:55:36.256 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60390. 'extension(x[82][25]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.85 c 04:55:36.256 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60400. 'extension(wk[36][11]=[0‥1]) :: init: true :: relation: Empty MDD
26.27/9.85 c 04:55:36.256 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60402. 'extension(x[81][36]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.85 c 04:55:36.256 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60408. 'extension(wk[23][11]=[0‥1]) :: init: true :: relation: Empty MDD
26.27/9.85 c 04:55:36.256 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60410. 'extension(x[82][23]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.85 c 04:55:36.257 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60412. 'extension(x[82][23]=[0‥5]) :: init: true :: relation: Empty MDD
26.27/9.85 c 04:55:36.257 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 60418. 'extension(wk[36][11]=[0‥1]) :: init: true :: relation: Empty MDD
2520.01/2446.01 Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
2520.01/2446.01 at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24)
2520.01/2446.01 at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53)
2520.01/2446.01 at bitvectors.SmallBitVector.filter(SmallBitVector.scala:142)
2520.01/2446.01 at bitvectors.SmallBitVector.filter(SmallBitVector.scala:5)
2520.01/2446.01 at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126)
2520.01/2446.01 at concrete.BitVectorDomain.filter(BitVectorDomain.scala:8)
2520.01/2446.01 at concrete.heuristic.value.BestCost.select(BestCost.scala:53)
2520.01/2446.01 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.01/2446.01 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
2520.01/2446.01 at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.01/2446.01 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.01/2446.01 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
2520.01/2446.01 at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.01/2446.01 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.01/2446.01 at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:109)
2520.01/2446.01 at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
2520.01/2446.01 at scala.Option.map(Option.scala:146)
2520.01/2446.01 at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
2520.01/2446.01 at concrete.MAC.mac(MAC.scala:203)
2520.01/2446.01 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.01/2446.01 at scala.util.Try$.apply(Try.scala:209)
2520.01/2446.01 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.01/2446.01 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.01/2446.01 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.01/2446.01 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.01/2446.01 at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.01/2446.01 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.01/2446.01 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.01/2446.01 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.01/2446.01 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.01/2446.01 at concrete.MAC.oneRun(MAC.scala:253)
2520.01/2446.01 at concrete.MAC.nextSolution(MAC.scala:272)
2520.01/2446.01 at concrete.MAC.$anonfun$nextSolution$5(MAC.scala:336)
2520.01/2446.01 at concrete.ProblemState.map(ProblemState.scala:221)
2520.01/2446.01 at concrete.ProblemState.map(ProblemState.scala:204)
2520.01/2446.01 at concrete.MAC.nextSolution(MAC.scala:334)
2520.01/2446.01 at concrete.Solver.hasNext(Solver.scala:166)
2520.01/2446.01 at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.01/2446.01 at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.01/2446.01 at concrete.Solver.foreach(Solver.scala:68)
2520.01/2446.01 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.01/2446.01 at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.01/2446.01 at scala.util.Success.map(Try.scala:209)
2520.01/2446.01 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.01/2446.01 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.01/2446.01 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.01/2446.01 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.01/2446.01 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.01/2446.01 at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.01/2446.01 at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.01/2446.01 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.01/2446.01 at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.01/2446.01 at scala.collection.immutable.List.foreach(List.scala:389)
2520.01/2446.01 at scala.App.main(App.scala:76)
2520.01/2446.01 at scala.App.main$(App.scala:74)
2520.01/2446.01 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.01/2446.01 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.01/2446.03 s UNKNOWN