0.99/0.74 c Concrete v3.9.2.1532736233296 running
19.83/7.47 c 21:59:52.763 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25512. 'extension(10, x[1][8]=[0‥10]) :: init: true :: relation: MDD 1747327205, 25 edges, 5 vertices, 36 tuples
19.83/7.48 c 21:59:52.768 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25513. 'extension(10, x[1][8]=[0‥10]) :: init: true :: relation: MDD 1957005830, 11 edges, 3 vertices, 10 tuples
19.83/7.50 c 21:59:52.791 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25561. 'extension(10, x[1][10]=[0‥10]) :: init: true :: relation: MDD 1040385133, 25 edges, 5 vertices, 36 tuples
19.83/7.50 c 21:59:52.792 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25562. 'extension(10, x[1][10]=[0‥10]) :: init: true :: relation: MDD 1045622109, 11 edges, 3 vertices, 10 tuples
19.83/7.50 c 21:59:52.793 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25610. 'extension(10, x[1][37]=[0‥10]) :: init: true :: relation: MDD 744541767, 25 edges, 5 vertices, 36 tuples
19.83/7.50 c 21:59:52.794 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25611. 'extension(10, x[1][37]=[0‥10]) :: init: true :: relation: MDD 989030690, 11 edges, 3 vertices, 10 tuples
19.83/7.50 c 21:59:52.795 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25659. 'extension(10, x[1][40]=[0‥10]) :: init: true :: relation: MDD 1397088232, 25 edges, 5 vertices, 36 tuples
20.16/7.51 c 21:59:52.796 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25660. 'extension(10, x[1][40]=[0‥10]) :: init: true :: relation: MDD 1218017691, 11 edges, 3 vertices, 10 tuples
20.16/7.51 c 21:59:52.798 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25708. 'extension(10, x[1][58]=[0‥10]) :: init: true :: relation: MDD 1680630881, 25 edges, 5 vertices, 36 tuples
20.16/7.51 c 21:59:52.798 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25709. 'extension(10, x[1][58]=[0‥10]) :: init: true :: relation: MDD 1001114349, 11 edges, 3 vertices, 10 tuples
20.16/7.51 c 21:59:52.801 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25806. 'extension(x[0][4]=[0‥10], 10) :: init: true :: relation: MDD 788830525, 25 edges, 5 vertices, 36 tuples
20.16/7.51 c 21:59:52.802 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25807. 'extension(10, x[2][4]=[0‥10]) :: init: true :: relation: MDD 788830525, 25 edges, 5 vertices, 36 tuples
20.16/7.51 c 21:59:52.804 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25859. 'extension(x[0][54]=[0‥10], 10) :: init: true :: relation: MDD 1746468168, 25 edges, 5 vertices, 36 tuples
20.16/7.51 c 21:59:52.805 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25912. 'extension(10, x[2][59]=[0‥10]) :: init: true :: relation: MDD 279513068, 25 edges, 5 vertices, 36 tuples
20.16/7.52 c 21:59:52.806 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25915. 'extension(10, 10) :: init: true :: relation: MDD 279513068, 25 edges, 5 vertices, 36 tuples
20.16/7.52 c 21:59:52.806 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25916. 'extension(10, 10) :: init: true :: relation: MDD 1238292935, 11 edges, 3 vertices, 10 tuples
20.16/7.52 c 21:59:52.809 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25965. 'extension(x[1][19]=[0‥10], 10) :: init: true :: relation: MDD 71871969, 25 edges, 5 vertices, 36 tuples
20.16/7.52 c 21:59:52.810 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25966. 'extension(10, x[3][19]=[0‥10]) :: init: true :: relation: MDD 71871969, 25 edges, 5 vertices, 36 tuples
20.16/7.53 c 21:59:52.813 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26020. 'extension(x[1][47]=[0‥10], 10) :: init: true :: relation: MDD 775300103, 25 edges, 5 vertices, 36 tuples
20.16/7.53 c 21:59:52.814 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26075. 'extension(10, x[3][54]=[0‥10]) :: init: true :: relation: MDD 1746468168, 25 edges, 5 vertices, 36 tuples
20.16/7.53 c 21:59:52.815 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26078. 'extension(10, 10) :: init: true :: relation: MDD 1746468168, 25 edges, 5 vertices, 36 tuples
20.16/7.53 c 21:59:52.818 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26130. 'extension(x[2][2]=[0‥10], 10) :: init: true :: relation: MDD 17203574, 25 edges, 5 vertices, 36 tuples
20.16/7.53 c 21:59:52.818 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26131. 'extension(10, x[4][2]=[0‥10]) :: init: true :: relation: MDD 17203574, 25 edges, 5 vertices, 36 tuples
20.16/7.53 c 21:59:52.821 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26186. 'extension(x[2][14]=[0‥10], 10) :: init: true :: relation: MDD 1081836597, 25 edges, 5 vertices, 36 tuples
20.16/7.53 c 21:59:52.821 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26187. 'extension(10, x[4][14]=[0‥10]) :: init: true :: relation: MDD 1081836597, 25 edges, 5 vertices, 36 tuples
20.16/7.53 c 21:59:52.823 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26242. 'extension(x[2][41]=[0‥10], 10) :: init: true :: relation: MDD 2050328083, 25 edges, 5 vertices, 36 tuples
20.16/7.54 c 21:59:52.824 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26243. 'extension(10, x[4][41]=[0‥10]) :: init: true :: relation: MDD 2050328083, 25 edges, 5 vertices, 36 tuples
20.16/7.54 c 21:59:52.826 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26299. 'extension(x[2][42]=[0‥10], 10) :: init: true :: relation: MDD 374145466, 25 edges, 5 vertices, 36 tuples
20.16/7.54 c 21:59:52.827 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26300. 'extension(10, x[4][42]=[0‥10]) :: init: true :: relation: MDD 374145466, 25 edges, 5 vertices, 36 tuples
20.16/7.54 c 21:59:52.829 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26356. 'extension(x[2][44]=[0‥10], 10) :: init: true :: relation: MDD 448581721, 25 edges, 5 vertices, 36 tuples
20.16/7.54 c 21:59:52.830 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26413. 'extension(10, x[4][47]=[0‥10]) :: init: true :: relation: MDD 775300103, 25 edges, 5 vertices, 36 tuples
20.16/7.54 c 21:59:52.831 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26416. 'extension(10, 10) :: init: true :: relation: MDD 775300103, 25 edges, 5 vertices, 36 tuples
20.16/7.54 c 21:59:52.833 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26470. 'extension(x[2][56]=[0‥10], 10) :: init: true :: relation: MDD 1810873106, 25 edges, 5 vertices, 36 tuples
20.16/7.54 c 21:59:52.835 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26526. 'extension(x[3][43]=[0‥10], 10) :: init: true :: relation: MDD 340097685, 25 edges, 5 vertices, 36 tuples
20.16/7.55 c 21:59:52.836 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26584. 'extension(10, x[5][44]=[0‥10]) :: init: true :: relation: MDD 448581721, 25 edges, 5 vertices, 36 tuples
20.16/7.55 c 21:59:52.837 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26587. 'extension(10, 10) :: init: true :: relation: MDD 448581721, 25 edges, 5 vertices, 36 tuples
20.16/7.55 c 21:59:52.839 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26642. 'extension(x[3][52]=[0‥10], 10) :: init: true :: relation: MDD 438793128, 25 edges, 5 vertices, 36 tuples
20.16/7.55 c 21:59:52.840 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26699. 'extension(10, x[5][56]=[0‥10]) :: init: true :: relation: MDD 1810873106, 25 edges, 5 vertices, 36 tuples
20.16/7.55 c 21:59:52.840 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26702. 'extension(10, 10) :: init: true :: relation: MDD 1810873106, 25 edges, 5 vertices, 36 tuples
20.16/7.55 c 21:59:52.843 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26756. 'extension(10, wk[4][0]=[0‥1]) :: init: true :: relation: MDD 1835638995, 11 edges, 3 vertices, 10 tuples
20.16/7.55 c 21:59:52.843 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26757. 'extension(x[4][4]=[0‥10], 10) :: init: true :: relation: MDD 788830525, 25 edges, 5 vertices, 36 tuples
20.16/7.55 c 21:59:52.844 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26758. 'extension(10, x[6][4]=[0‥10]) :: init: true :: relation: MDD 788830525, 25 edges, 5 vertices, 36 tuples
20.16/7.55 c 21:59:52.846 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26815. 'extension(10, wk[18][0]=[0‥1]) :: init: true :: relation: MDD 875487383, 11 edges, 3 vertices, 10 tuples
20.16/7.56 c 21:59:52.847 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26816. 'extension(x[4][18]=[0‥10], 10) :: init: true :: relation: MDD 1590736099, 25 edges, 5 vertices, 36 tuples
20.16/7.56 c 21:59:52.847 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26817. 'extension(10, x[6][18]=[0‥10]) :: init: true :: relation: MDD 1590736099, 25 edges, 5 vertices, 36 tuples
20.16/7.56 c 21:59:52.849 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26874. 'extension(10, wk[28][0]=[0‥1]) :: init: true :: relation: MDD 206091587, 11 edges, 3 vertices, 10 tuples
20.16/7.56 c 21:59:52.849 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26875. 'extension(x[4][28]=[0‥10], 10) :: init: true :: relation: MDD 319450809, 25 edges, 5 vertices, 36 tuples
20.16/7.56 c 21:59:52.850 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26876. 'extension(10, x[6][28]=[0‥10]) :: init: true :: relation: MDD 319450809, 25 edges, 5 vertices, 36 tuples
20.16/7.56 c 21:59:52.853 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26933. 'extension(10, wk[29][0]=[0‥1]) :: init: true :: relation: MDD 1950102816, 11 edges, 3 vertices, 10 tuples
20.16/7.56 c 21:59:52.853 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26934. 'extension(x[4][29]=[0‥10], 10) :: init: true :: relation: MDD 1715802200, 25 edges, 5 vertices, 36 tuples
20.16/7.56 c 21:59:52.854 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26935. 'extension(10, x[6][29]=[0‥10]) :: init: true :: relation: MDD 1715802200, 25 edges, 5 vertices, 36 tuples
20.16/7.57 c 21:59:52.855 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26992. 'extension(10, wk[43][0]=[0‥1]) :: init: true :: relation: MDD 298156448, 11 edges, 3 vertices, 10 tuples
20.16/7.57 c 21:59:52.856 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26993. 'extension(10, x[6][43]=[0‥10]) :: init: true :: relation: MDD 340097685, 25 edges, 5 vertices, 36 tuples
20.16/7.57 c 21:59:52.857 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26996. 'extension(10, 10) :: init: true :: relation: MDD 340097685, 25 edges, 5 vertices, 36 tuples
20.16/7.57 c 21:59:52.859 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27052. 'extension(10, wk[52][0]=[0‥1]) :: init: true :: relation: MDD 430798309, 11 edges, 3 vertices, 10 tuples
20.16/7.57 c 21:59:52.859 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27053. 'extension(10, x[6][52]=[0‥10]) :: init: true :: relation: MDD 438793128, 25 edges, 5 vertices, 36 tuples
20.16/7.57 c 21:59:52.860 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27056. 'extension(10, 10) :: init: true :: relation: MDD 438793128, 25 edges, 5 vertices, 36 tuples
20.16/7.57 c 21:59:52.862 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27111. 'extension(10, wk[25][0]=[0‥1]) :: init: true :: relation: MDD 560734926, 11 edges, 3 vertices, 10 tuples
20.16/7.57 c 21:59:52.863 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27112. 'extension(x[5][25]=[0‥10], 10) :: init: true :: relation: MDD 323653293, 25 edges, 5 vertices, 36 tuples
20.16/7.57 c 21:59:52.863 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27170. 'extension(10, wk[36][0]=[0‥1]) :: init: true :: relation: MDD 2073961917, 11 edges, 3 vertices, 10 tuples
20.16/7.57 c 21:59:52.864 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27171. 'extension(x[5][36]=[0‥10], 10) :: init: true :: relation: MDD 1670479841, 25 edges, 5 vertices, 36 tuples
20.16/7.57 c 21:59:52.865 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27229. 'extension(x[6][0]=[0‥10], 10) :: init: true :: relation: MDD 319086807, 25 edges, 5 vertices, 36 tuples
20.16/7.57 c 21:59:52.866 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27230. 'extension(10, x[8][0]=[0‥10]) :: init: true :: relation: MDD 319086807, 25 edges, 5 vertices, 36 tuples
20.16/7.58 c 21:59:52.867 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27287. 'extension(x[6][15]=[0‥10], 10) :: init: true :: relation: MDD 22515625, 25 edges, 5 vertices, 36 tuples
20.16/7.58 c 21:59:52.868 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27345. 'extension(x[6][24]=[0‥10], 10) :: init: true :: relation: MDD 667237426, 25 edges, 5 vertices, 36 tuples
20.16/7.58 c 21:59:52.869 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27346. 'extension(10, x[8][24]=[0‥10]) :: init: true :: relation: MDD 667237426, 25 edges, 5 vertices, 36 tuples
20.16/7.58 c 21:59:52.870 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27403. 'extension(10, x[8][25]=[0‥10]) :: init: true :: relation: MDD 323653293, 25 edges, 5 vertices, 36 tuples
20.16/7.59 c 21:59:52.871 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27406. 'extension(10, 10) :: init: true :: relation: MDD 323653293, 25 edges, 5 vertices, 36 tuples
20.16/7.59 c 21:59:52.873 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27461. 'extension(10, x[8][36]=[0‥10]) :: init: true :: relation: MDD 1670479841, 25 edges, 5 vertices, 36 tuples
20.16/7.59 c 21:59:52.873 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27464. 'extension(10, 10) :: init: true :: relation: MDD 1670479841, 25 edges, 5 vertices, 36 tuples
20.16/7.59 c 21:59:52.876 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27519. 'extension(x[7][7]=[0‥10], 10) :: init: true :: relation: MDD 732918485, 25 edges, 5 vertices, 36 tuples
20.16/7.59 c 21:59:52.876 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27520. 'extension(10, x[9][7]=[0‥10]) :: init: true :: relation: MDD 732918485, 25 edges, 5 vertices, 36 tuples
20.16/7.59 c 21:59:52.878 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27577. 'extension(10, x[9][15]=[0‥10]) :: init: true :: relation: MDD 22515625, 25 edges, 5 vertices, 36 tuples
20.16/7.59 c 21:59:52.879 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27580. 'extension(10, 10) :: init: true :: relation: MDD 22515625, 25 edges, 5 vertices, 36 tuples
20.16/7.59 c 21:59:52.880 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27635. 'extension(x[7][50]=[0‥10], 10) :: init: true :: relation: MDD 1263015120, 25 edges, 5 vertices, 36 tuples
20.16/7.59 c 21:59:52.881 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27636. 'extension(10, x[9][50]=[0‥10]) :: init: true :: relation: MDD 1263015120, 25 edges, 5 vertices, 36 tuples
20.16/7.59 c 21:59:52.883 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27693. 'extension(x[8][16]=[0‥10], 10) :: init: true :: relation: MDD 640113478, 25 edges, 5 vertices, 36 tuples
20.16/7.59 c 21:59:52.884 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27751. 'extension(x[8][32]=[0‥10], 10) :: init: true :: relation: MDD 673992096, 25 edges, 5 vertices, 36 tuples
20.47/7.60 c 21:59:52.884 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27752. 'extension(10, x[10][32]=[0‥10]) :: init: true :: relation: MDD 673992096, 25 edges, 5 vertices, 36 tuples
20.47/7.60 c 21:59:52.886 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27809. 'extension(x[8][38]=[0‥10], 10) :: init: true :: relation: MDD 29838617, 25 edges, 5 vertices, 36 tuples
20.47/7.60 c 21:59:52.887 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27810. 'extension(10, x[10][38]=[0‥10]) :: init: true :: relation: MDD 29838617, 25 edges, 5 vertices, 36 tuples
20.47/7.60 c 21:59:52.888 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27867. 'extension(x[8][40]=[0‥10], 10) :: init: true :: relation: MDD 1397088232, 25 edges, 5 vertices, 36 tuples
20.47/7.60 c 21:59:52.888 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27868. 'extension(10, x[10][40]=[0‥10]) :: init: true :: relation: MDD 1397088232, 25 edges, 5 vertices, 36 tuples
20.47/7.60 c 21:59:52.892 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27927. 'extension(x[9][5]=[0‥10], 10) :: init: true :: relation: MDD 202696101, 25 edges, 5 vertices, 36 tuples
20.47/7.60 c 21:59:52.892 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27928. 'extension(10, x[11][5]=[0‥10]) :: init: true :: relation: MDD 202696101, 25 edges, 5 vertices, 36 tuples
20.47/7.60 c 21:59:52.894 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27985. 'extension(x[9][9]=[0‥10], 10) :: init: true :: relation: MDD 1087989112, 25 edges, 5 vertices, 36 tuples
20.47/7.60 c 21:59:52.894 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27986. 'extension(10, x[11][9]=[0‥10]) :: init: true :: relation: MDD 1087989112, 25 edges, 5 vertices, 36 tuples
20.47/7.60 c 21:59:52.895 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28043. 'extension(10, x[11][16]=[0‥10]) :: init: true :: relation: MDD 640113478, 25 edges, 5 vertices, 36 tuples
20.47/7.61 c 21:59:52.896 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28046. 'extension(10, 10) :: init: true :: relation: MDD 640113478, 25 edges, 5 vertices, 36 tuples
20.47/7.61 c 21:59:52.898 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28101. 'extension(x[9][23]=[0‥10], 10) :: init: true :: relation: MDD 1277490082, 25 edges, 5 vertices, 36 tuples
20.47/7.61 c 21:59:52.898 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28102. 'extension(10, x[11][23]=[0‥10]) :: init: true :: relation: MDD 1277490082, 25 edges, 5 vertices, 36 tuples
20.47/7.61 c 21:59:52.900 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28159. 'extension(x[9][27]=[0‥10], 10) :: init: true :: relation: MDD 586722754, 25 edges, 5 vertices, 36 tuples
20.47/7.61 c 21:59:52.900 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28160. 'extension(10, x[11][27]=[0‥10]) :: init: true :: relation: MDD 586722754, 25 edges, 5 vertices, 36 tuples
20.47/7.61 c 21:59:52.902 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28217. 'extension(x[9][45]=[0‥10], 10) :: init: true :: relation: MDD 1903137985, 25 edges, 5 vertices, 36 tuples
20.47/7.61 c 21:59:52.902 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28218. 'extension(10, x[11][45]=[0‥10]) :: init: true :: relation: MDD 1903137985, 25 edges, 5 vertices, 36 tuples
20.47/7.61 c 21:59:52.904 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28277. 'extension(x[10][3]=[0‥10], 10) :: init: true :: relation: MDD 374740213, 25 edges, 5 vertices, 36 tuples
20.47/7.61 c 21:59:52.905 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28335. 'extension(x[10][35]=[0‥10], 10) :: init: true :: relation: MDD 121463477, 25 edges, 5 vertices, 36 tuples
20.47/7.61 c 21:59:52.907 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28393. 'extension(10, wk[3][1]=[0‥1]) :: init: true :: relation: MDD 286840121, 11 edges, 3 vertices, 10 tuples
20.47/7.62 c 21:59:52.907 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28394. 'extension(10, x[13][3]=[0‥10]) :: init: true :: relation: MDD 374740213, 25 edges, 5 vertices, 36 tuples
20.47/7.62 c 21:59:52.907 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28397. 'extension(10, 10) :: init: true :: relation: MDD 374740213, 25 edges, 5 vertices, 36 tuples
20.47/7.62 c 21:59:52.909 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28452. 'extension(10, wk[13][1]=[0‥1]) :: init: true :: relation: MDD 1190608890, 11 edges, 3 vertices, 10 tuples
20.47/7.62 c 21:59:52.909 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28453. 'extension(x[11][13]=[0‥10], 10) :: init: true :: relation: MDD 925976643, 25 edges, 5 vertices, 36 tuples
20.47/7.62 c 21:59:52.909 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28454. 'extension(10, x[13][13]=[0‥10]) :: init: true :: relation: MDD 925976643, 25 edges, 5 vertices, 36 tuples
20.47/7.62 c 21:59:52.911 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28511. 'extension(10, wk[33][1]=[0‥1]) :: init: true :: relation: MDD 1244785938, 11 edges, 3 vertices, 10 tuples
20.47/7.62 c 21:59:52.911 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28512. 'extension(x[11][33]=[0‥10], 10) :: init: true :: relation: MDD 1525320084, 25 edges, 5 vertices, 36 tuples
20.47/7.62 c 21:59:52.911 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28513. 'extension(10, x[13][33]=[0‥10]) :: init: true :: relation: MDD 1525320084, 25 edges, 5 vertices, 36 tuples
20.47/7.62 c 21:59:52.913 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28570. 'extension(10, wk[35][1]=[0‥1]) :: init: true :: relation: MDD 1883144272, 11 edges, 3 vertices, 10 tuples
20.47/7.62 c 21:59:52.913 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28571. 'extension(10, x[13][35]=[0‥10]) :: init: true :: relation: MDD 121463477, 25 edges, 5 vertices, 36 tuples
20.47/7.62 c 21:59:52.914 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28574. 'extension(10, 10) :: init: true :: relation: MDD 121463477, 25 edges, 5 vertices, 36 tuples
20.47/7.62 c 21:59:52.916 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28629. 'extension(10, wk[6][1]=[0‥1]) :: init: true :: relation: MDD 1698990491, 11 edges, 3 vertices, 10 tuples
20.47/7.62 c 21:59:52.916 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28630. 'extension(x[12][6]=[0‥10], 10) :: init: true :: relation: MDD 1545308588, 25 edges, 5 vertices, 36 tuples
20.47/7.62 c 21:59:52.916 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28631. 'extension(10, x[14][6]=[0‥10]) :: init: true :: relation: MDD 1545308588, 25 edges, 5 vertices, 36 tuples
20.47/7.63 c 21:59:52.918 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28688. 'extension(10, wk[9][1]=[0‥1]) :: init: true :: relation: MDD 990722659, 11 edges, 3 vertices, 10 tuples
20.47/7.63 c 21:59:52.918 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28689. 'extension(x[12][9]=[0‥10], 10) :: init: true :: relation: MDD 1087989112, 25 edges, 5 vertices, 36 tuples
20.47/7.63 c 21:59:52.918 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28690. 'extension(10, x[14][9]=[0‥10]) :: init: true :: relation: MDD 1087989112, 25 edges, 5 vertices, 36 tuples
20.47/7.63 c 21:59:52.920 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28747. 'extension(10, wk[10][1]=[0‥1]) :: init: true :: relation: MDD 1669392873, 11 edges, 3 vertices, 10 tuples
20.47/7.63 c 21:59:52.921 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28748. 'extension(x[12][10]=[0‥10], 10) :: init: true :: relation: MDD 1040385133, 25 edges, 5 vertices, 36 tuples
20.47/7.63 c 21:59:52.921 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28749. 'extension(10, x[14][10]=[0‥10]) :: init: true :: relation: MDD 1040385133, 25 edges, 5 vertices, 36 tuples
20.47/7.63 c 21:59:52.923 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28806. 'extension(10, wk[39][1]=[0‥1]) :: init: true :: relation: MDD 1641677843, 11 edges, 3 vertices, 10 tuples
20.47/7.63 c 21:59:52.923 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28807. 'extension(x[12][39]=[0‥10], 10) :: init: true :: relation: MDD 476234749, 25 edges, 5 vertices, 36 tuples
20.47/7.63 c 21:59:52.925 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28865. 'extension(x[13][24]=[0‥10], 10) :: init: true :: relation: MDD 667237426, 25 edges, 5 vertices, 36 tuples
20.47/7.63 c 21:59:52.925 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28866. 'extension(10, x[15][24]=[0‥10]) :: init: true :: relation: MDD 667237426, 25 edges, 5 vertices, 36 tuples
20.47/7.64 c 21:59:52.927 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28923. 'extension(x[13][34]=[0‥10], 10) :: init: true :: relation: MDD 1342373353, 25 edges, 5 vertices, 36 tuples
20.47/7.64 c 21:59:52.927 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28924. 'extension(10, x[15][34]=[0‥10]) :: init: true :: relation: MDD 1342373353, 25 edges, 5 vertices, 36 tuples
20.47/7.64 c 21:59:52.929 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28981. 'extension(10, x[15][39]=[0‥10]) :: init: true :: relation: MDD 476234749, 25 edges, 5 vertices, 36 tuples
20.47/7.64 c 21:59:52.929 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28984. 'extension(10, 10) :: init: true :: relation: MDD 476234749, 25 edges, 5 vertices, 36 tuples
20.47/7.64 c 21:59:52.931 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29039. 'extension(x[13][45]=[0‥10], 10) :: init: true :: relation: MDD 1903137985, 25 edges, 5 vertices, 36 tuples
20.47/7.64 c 21:59:52.931 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29040. 'extension(10, x[15][45]=[0‥10]) :: init: true :: relation: MDD 1903137985, 25 edges, 5 vertices, 36 tuples
20.47/7.64 c 21:59:52.934 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29099. 'extension(x[13][55]=[0‥10], 10) :: init: true :: relation: MDD 1765745171, 25 edges, 5 vertices, 36 tuples
20.47/7.64 c 21:59:52.934 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29100. 'extension(10, x[15][55]=[0‥10]) :: init: true :: relation: MDD 1765745171, 25 edges, 5 vertices, 36 tuples
20.47/7.64 c 21:59:52.936 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29157. 'extension(x[14][18]=[0‥10], 10) :: init: true :: relation: MDD 1590736099, 25 edges, 5 vertices, 36 tuples
20.47/7.65 c 21:59:52.939 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29158. 'extension(10, x[16][18]=[0‥10]) :: init: true :: relation: MDD 1590736099, 25 edges, 5 vertices, 36 tuples
20.47/7.65 c 21:59:52.942 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29215. 'extension(x[14][27]=[0‥10], 10) :: init: true :: relation: MDD 586722754, 25 edges, 5 vertices, 36 tuples
20.47/7.65 c 21:59:52.942 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29216. 'extension(10, x[16][27]=[0‥10]) :: init: true :: relation: MDD 586722754, 25 edges, 5 vertices, 36 tuples
20.47/7.65 c 21:59:52.944 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29273. 'extension(x[14][48]=[0‥10], 10) :: init: true :: relation: MDD 150135782, 25 edges, 5 vertices, 36 tuples
20.47/7.65 c 21:59:52.946 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29333. 'extension(x[15][2]=[0‥10], 10) :: init: true :: relation: MDD 17203574, 25 edges, 5 vertices, 36 tuples
20.47/7.65 c 21:59:52.946 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29334. 'extension(10, x[17][2]=[0‥10]) :: init: true :: relation: MDD 17203574, 25 edges, 5 vertices, 36 tuples
20.47/7.66 c 21:59:52.948 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29391. 'extension(x[15][17]=[0‥10], 10) :: init: true :: relation: MDD 762376978, 25 edges, 5 vertices, 36 tuples
20.47/7.66 c 21:59:52.949 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29449. 'extension(x[15][38]=[0‥10], 10) :: init: true :: relation: MDD 29838617, 25 edges, 5 vertices, 36 tuples
20.47/7.66 c 21:59:52.949 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29450. 'extension(10, x[17][38]=[0‥10]) :: init: true :: relation: MDD 29838617, 25 edges, 5 vertices, 36 tuples
20.47/7.66 c 21:59:52.951 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29507. 'extension(10, x[17][48]=[0‥10]) :: init: true :: relation: MDD 150135782, 25 edges, 5 vertices, 36 tuples
20.47/7.66 c 21:59:52.951 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29510. 'extension(10, 10) :: init: true :: relation: MDD 150135782, 25 edges, 5 vertices, 36 tuples
20.47/7.66 c 21:59:52.953 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29567. 'extension(x[15][50]=[0‥10], 10) :: init: true :: relation: MDD 1263015120, 25 edges, 5 vertices, 36 tuples
20.47/7.67 c 21:59:52.954 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29568. 'extension(10, x[17][50]=[0‥10]) :: init: true :: relation: MDD 1263015120, 25 edges, 5 vertices, 36 tuples
20.47/7.67 c 21:59:52.956 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29625. 'extension(x[16][5]=[0‥10], 10) :: init: true :: relation: MDD 202696101, 25 edges, 5 vertices, 36 tuples
20.47/7.67 c 21:59:52.957 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29626. 'extension(10, x[18][5]=[0‥10]) :: init: true :: relation: MDD 202696101, 25 edges, 5 vertices, 36 tuples
20.47/7.67 c 21:59:52.959 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29683. 'extension(10, x[18][17]=[0‥10]) :: init: true :: relation: MDD 762376978, 25 edges, 5 vertices, 36 tuples
20.47/7.67 c 21:59:52.959 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29686. 'extension(10, 10) :: init: true :: relation: MDD 762376978, 25 edges, 5 vertices, 36 tuples
20.47/7.67 c 21:59:52.960 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29741. 'extension(x[16][19]=[0‥10], 10) :: init: true :: relation: MDD 71871969, 25 edges, 5 vertices, 36 tuples
20.47/7.67 c 21:59:52.961 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29742. 'extension(10, x[18][19]=[0‥10]) :: init: true :: relation: MDD 71871969, 25 edges, 5 vertices, 36 tuples
20.47/7.67 c 21:59:52.963 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29799. 'extension(x[16][28]=[0‥10], 10) :: init: true :: relation: MDD 319450809, 25 edges, 5 vertices, 36 tuples
20.47/7.67 c 21:59:52.963 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29800. 'extension(10, x[18][28]=[0‥10]) :: init: true :: relation: MDD 319450809, 25 edges, 5 vertices, 36 tuples
20.47/7.67 c 21:59:52.965 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29857. 'extension(x[16][33]=[0‥10], 10) :: init: true :: relation: MDD 1525320084, 25 edges, 5 vertices, 36 tuples
20.47/7.67 c 21:59:52.965 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29858. 'extension(10, x[18][33]=[0‥10]) :: init: true :: relation: MDD 1525320084, 25 edges, 5 vertices, 36 tuples
20.47/7.68 c 21:59:52.967 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29915. 'extension(x[16][55]=[0‥10], 10) :: init: true :: relation: MDD 1765745171, 25 edges, 5 vertices, 36 tuples
20.47/7.68 c 21:59:52.967 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29916. 'extension(10, x[18][55]=[0‥10]) :: init: true :: relation: MDD 1765745171, 25 edges, 5 vertices, 36 tuples
20.47/7.68 c 21:59:52.970 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29973. 'extension(x[17][42]=[0‥10], 10) :: init: true :: relation: MDD 374145466, 25 edges, 5 vertices, 36 tuples
20.47/7.68 c 21:59:52.970 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29974. 'extension(10, x[19][42]=[0‥10]) :: init: true :: relation: MDD 374145466, 25 edges, 5 vertices, 36 tuples
20.47/7.68 c 21:59:52.972 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30033. 'extension(x[17][46]=[0‥10], 10) :: init: true :: relation: MDD 496627227, 25 edges, 5 vertices, 36 tuples
20.47/7.68 c 21:59:52.973 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30093. 'extension(x[17][53]=[0‥10], 10) :: init: true :: relation: MDD 627677863, 25 edges, 5 vertices, 36 tuples
20.47/7.68 c 21:59:52.974 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30151. 'extension(10, wk[26][2]=[0‥1]) :: init: true :: relation: MDD 1392027380, 11 edges, 3 vertices, 10 tuples
20.47/7.68 c 21:59:52.974 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30152. 'extension(x[18][26]=[0‥10], 10) :: init: true :: relation: MDD 235740612, 25 edges, 5 vertices, 36 tuples
20.47/7.68 c 21:59:52.975 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30210. 'extension(10, wk[46][2]=[0‥1]) :: init: true :: relation: MDD 184996973, 11 edges, 3 vertices, 10 tuples
20.47/7.68 c 21:59:52.975 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30211. 'extension(10, x[20][46]=[0‥10]) :: init: true :: relation: MDD 496627227, 25 edges, 5 vertices, 36 tuples
20.47/7.68 c 21:59:52.976 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30214. 'extension(10, 10) :: init: true :: relation: MDD 496627227, 25 edges, 5 vertices, 36 tuples
20.47/7.69 c 21:59:52.977 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30271. 'extension(10, wk[49][2]=[0‥1]) :: init: true :: relation: MDD 1375111241, 11 edges, 3 vertices, 10 tuples
20.47/7.69 c 21:59:52.978 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30272. 'extension(x[18][49]=[0‥10], 10) :: init: true :: relation: MDD 991363637, 25 edges, 5 vertices, 36 tuples
20.47/7.69 c 21:59:52.978 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30332. 'extension(10, wk[51][2]=[0‥1]) :: init: true :: relation: MDD 1318424328, 11 edges, 3 vertices, 10 tuples
20.47/7.69 c 21:59:52.979 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30333. 'extension(x[18][51]=[0‥10], 10) :: init: true :: relation: MDD 725884502, 25 edges, 5 vertices, 36 tuples
20.47/7.69 c 21:59:52.979 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30391. 'extension(10, wk[53][2]=[0‥1]) :: init: true :: relation: MDD 1924108520, 11 edges, 3 vertices, 10 tuples
20.47/7.69 c 21:59:52.980 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30392. 'extension(10, x[20][53]=[0‥10]) :: init: true :: relation: MDD 627677863, 25 edges, 5 vertices, 36 tuples
20.47/7.69 c 21:59:52.980 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30395. 'extension(10, 10) :: init: true :: relation: MDD 627677863, 25 edges, 5 vertices, 36 tuples
20.47/7.69 c 21:59:52.982 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30450. 'extension(10, wk[26][2]=[0‥1]) :: init: true :: relation: MDD 1686568571, 11 edges, 3 vertices, 10 tuples
20.47/7.69 c 21:59:52.983 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30451. 'extension(10, x[21][26]=[0‥10]) :: init: true :: relation: MDD 235740612, 25 edges, 5 vertices, 36 tuples
20.47/7.69 c 21:59:52.983 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30454. 'extension(10, 10) :: init: true :: relation: MDD 235740612, 25 edges, 5 vertices, 36 tuples
20.47/7.69 c 21:59:52.984 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30509. 'extension(10, wk[29][2]=[0‥1]) :: init: true :: relation: MDD 112026691, 11 edges, 3 vertices, 10 tuples
20.47/7.69 c 21:59:52.985 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30510. 'extension(x[19][29]=[0‥10], 10) :: init: true :: relation: MDD 1715802200, 25 edges, 5 vertices, 36 tuples
20.47/7.69 c 21:59:52.985 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30511. 'extension(10, x[21][29]=[0‥10]) :: init: true :: relation: MDD 1715802200, 25 edges, 5 vertices, 36 tuples
20.47/7.70 c 21:59:52.987 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30568. 'extension(10, wk[49][2]=[0‥1]) :: init: true :: relation: MDD 1428223605, 11 edges, 3 vertices, 10 tuples
20.47/7.70 c 21:59:52.987 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30569. 'extension(10, x[21][49]=[0‥10]) :: init: true :: relation: MDD 991363637, 25 edges, 5 vertices, 36 tuples
20.47/7.70 c 21:59:52.988 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30572. 'extension(10, 10) :: init: true :: relation: MDD 991363637, 25 edges, 5 vertices, 36 tuples
20.47/7.70 c 21:59:52.989 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30629. 'extension(10, wk[51][2]=[0‥1]) :: init: true :: relation: MDD 1002146838, 11 edges, 3 vertices, 10 tuples
20.47/7.70 c 21:59:52.990 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30630. 'extension(10, x[21][51]=[0‥10]) :: init: true :: relation: MDD 725884502, 25 edges, 5 vertices, 36 tuples
20.78/7.70 c 21:59:52.990 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30633. 'extension(10, 10) :: init: true :: relation: MDD 725884502, 25 edges, 5 vertices, 36 tuples
20.78/7.70 c 21:59:52.992 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30688. 'extension(x[20][22]=[0‥10], 10) :: init: true :: relation: MDD 686904524, 25 edges, 5 vertices, 36 tuples
20.78/7.70 c 21:59:52.992 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30689. 'extension(10, x[22][22]=[0‥10]) :: init: true :: relation: MDD 686904524, 25 edges, 5 vertices, 36 tuples
20.78/7.70 c 21:59:52.994 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30746. 'extension(x[20][32]=[0‥10], 10) :: init: true :: relation: MDD 673992096, 25 edges, 5 vertices, 36 tuples
20.78/7.70 c 21:59:52.994 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30747. 'extension(10, x[22][32]=[0‥10]) :: init: true :: relation: MDD 673992096, 25 edges, 5 vertices, 36 tuples
20.78/7.70 c 21:59:52.996 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30804. 'extension(x[21][7]=[0‥10], 10) :: init: true :: relation: MDD 732918485, 25 edges, 5 vertices, 36 tuples
20.78/7.70 c 21:59:52.997 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30805. 'extension(10, x[23][7]=[0‥10]) :: init: true :: relation: MDD 732918485, 25 edges, 5 vertices, 36 tuples
20.78/7.71 c 21:59:52.998 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30862. 'extension(x[21][20]=[0‥10], 10) :: init: true :: relation: MDD 2090593105, 25 edges, 5 vertices, 36 tuples
20.78/7.71 c 21:59:52.999 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30920. 'extension(x[21][23]=[0‥10], 10) :: init: true :: relation: MDD 1277490082, 25 edges, 5 vertices, 36 tuples
20.78/7.71 c 21:59:52.999 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30921. 'extension(10, x[23][23]=[0‥10]) :: init: true :: relation: MDD 1277490082, 25 edges, 5 vertices, 36 tuples
20.78/7.71 c 21:59:53.002 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30978. 'extension(x[22][8]=[0‥10], 10) :: init: true :: relation: MDD 1747327205, 25 edges, 5 vertices, 36 tuples
20.78/7.71 c 21:59:53.002 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30979. 'extension(10, x[24][8]=[0‥10]) :: init: true :: relation: MDD 1747327205, 25 edges, 5 vertices, 36 tuples
20.78/7.71 c 21:59:53.004 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31035. 'extension(10, x[24][20]=[0‥10]) :: init: true :: relation: MDD 2090593105, 25 edges, 5 vertices, 36 tuples
20.78/7.71 c 21:59:53.004 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31038. 'extension(10, 10) :: init: true :: relation: MDD 2090593105, 25 edges, 5 vertices, 36 tuples
20.78/7.71 c 21:59:53.005 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31092. 'extension(x[22][21]=[0‥10], 10) :: init: true :: relation: MDD 1595487029, 25 edges, 5 vertices, 36 tuples
20.78/7.71 c 21:59:53.006 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31149. 'extension(x[22][31]=[0‥10], 10) :: init: true :: relation: MDD 636536295, 25 edges, 5 vertices, 36 tuples
20.78/7.72 c 21:59:53.007 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31206. 'extension(x[22][41]=[0‥10], 10) :: init: true :: relation: MDD 2050328083, 25 edges, 5 vertices, 36 tuples
20.78/7.72 c 21:59:53.007 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31207. 'extension(10, x[24][41]=[0‥10]) :: init: true :: relation: MDD 2050328083, 25 edges, 5 vertices, 36 tuples
20.78/7.72 c 21:59:53.010 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31264. 'extension(x[23][0]=[0‥10], 10) :: init: true :: relation: MDD 319086807, 25 edges, 5 vertices, 36 tuples
20.78/7.72 c 21:59:53.010 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31265. 'extension(10, x[25][0]=[0‥10]) :: init: true :: relation: MDD 319086807, 25 edges, 5 vertices, 36 tuples
20.78/7.72 c 21:59:53.011 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31320. 'extension(x[23][11]=[0‥10], 10) :: init: true :: relation: MDD 903297131, 25 edges, 5 vertices, 36 tuples
20.78/7.72 c 21:59:53.012 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31376. 'extension(10, x[25][21]=[0‥10]) :: init: true :: relation: MDD 1595487029, 25 edges, 5 vertices, 36 tuples
20.78/7.72 c 21:59:53.012 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31379. 'extension(10, 10) :: init: true :: relation: MDD 1595487029, 25 edges, 5 vertices, 36 tuples
20.78/7.72 c 21:59:53.014 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31432. 'extension(x[23][30]=[0‥10], 10) :: init: true :: relation: MDD 545116599, 25 edges, 5 vertices, 36 tuples
20.78/7.72 c 21:59:53.014 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31488. 'extension(10, x[25][31]=[0‥10]) :: init: true :: relation: MDD 636536295, 25 edges, 5 vertices, 36 tuples
20.78/7.72 c 21:59:53.015 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31491. 'extension(10, 10) :: init: true :: relation: MDD 636536295, 25 edges, 5 vertices, 36 tuples
20.78/7.72 c 21:59:53.016 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31544. 'extension(x[23][37]=[0‥10], 10) :: init: true :: relation: MDD 744541767, 25 edges, 5 vertices, 36 tuples
20.78/7.72 c 21:59:53.016 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31545. 'extension(10, x[25][37]=[0‥10]) :: init: true :: relation: MDD 744541767, 25 edges, 5 vertices, 36 tuples
20.78/7.73 c 21:59:53.018 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31600. 'extension(x[23][57]=[0‥10], 10) :: init: true :: relation: MDD 362463583, 25 edges, 5 vertices, 36 tuples
20.78/7.73 c 21:59:53.019 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31656. 'extension(x[24][1]=[0‥10], 10) :: init: true :: relation: MDD 1128198660, 25 edges, 5 vertices, 36 tuples
20.78/7.73 c 21:59:53.020 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31711. 'extension(10, x[26][11]=[0‥10]) :: init: true :: relation: MDD 903297131, 25 edges, 5 vertices, 36 tuples
20.78/7.73 c 21:59:53.020 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31714. 'extension(10, 10) :: init: true :: relation: MDD 903297131, 25 edges, 5 vertices, 36 tuples
20.78/7.73 c 21:59:53.021 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31766. 'extension(x[24][12]=[0‥10], 10) :: init: true :: relation: MDD 1701378456, 25 edges, 5 vertices, 36 tuples
20.78/7.73 c 21:59:53.022 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31821. 'extension(x[24][14]=[0‥10], 10) :: init: true :: relation: MDD 1081836597, 25 edges, 5 vertices, 36 tuples
20.78/7.73 c 21:59:53.022 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31822. 'extension(10, x[26][14]=[0‥10]) :: init: true :: relation: MDD 1081836597, 25 edges, 5 vertices, 36 tuples
20.78/7.73 c 21:59:53.024 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31876. 'extension(10, x[26][30]=[0‥10]) :: init: true :: relation: MDD 545116599, 25 edges, 5 vertices, 36 tuples
20.78/7.73 c 21:59:53.024 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31879. 'extension(10, 10) :: init: true :: relation: MDD 545116599, 25 edges, 5 vertices, 36 tuples
20.78/7.73 c 21:59:53.025 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31931. 'extension(x[24][34]=[0‥10], 10) :: init: true :: relation: MDD 1342373353, 25 edges, 5 vertices, 36 tuples
20.78/7.73 c 21:59:53.026 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31932. 'extension(10, x[26][34]=[0‥10]) :: init: true :: relation: MDD 1342373353, 25 edges, 5 vertices, 36 tuples
20.78/7.74 c 21:59:53.027 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31986. 'extension(10, x[26][57]=[0‥10]) :: init: true :: relation: MDD 362463583, 25 edges, 5 vertices, 36 tuples
20.78/7.74 c 21:59:53.028 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31989. 'extension(10, 10) :: init: true :: relation: MDD 362463583, 25 edges, 5 vertices, 36 tuples
20.78/7.74 c 21:59:53.029 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32041. 'extension(10, wk[1][3]=[0‥1]) :: init: true :: relation: MDD 745287727, 11 edges, 3 vertices, 10 tuples
20.78/7.74 c 21:59:53.030 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32042. 'extension(10, x[27][1]=[0‥10]) :: init: true :: relation: MDD 1128198660, 25 edges, 5 vertices, 36 tuples
20.78/7.74 c 21:59:53.030 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32044. 'extension(10, 10) :: init: true :: relation: MDD 1128198660, 25 edges, 5 vertices, 36 tuples
20.78/7.74 c 21:59:53.031 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32095. 'extension(10, wk[12][3]=[0‥1]) :: init: true :: relation: MDD 215694469, 11 edges, 3 vertices, 10 tuples
20.78/7.74 c 21:59:53.031 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32096. 'extension(10, x[27][12]=[0‥10]) :: init: true :: relation: MDD 1701378456, 25 edges, 5 vertices, 36 tuples
20.78/7.74 c 21:59:53.032 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32098. 'extension(10, 10) :: init: true :: relation: MDD 1701378456, 25 edges, 5 vertices, 36 tuples
20.78/7.74 c 21:59:53.033 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32149. 'extension(10, wk[22][3]=[0‥1]) :: init: true :: relation: MDD 977245867, 11 edges, 3 vertices, 10 tuples
20.78/7.74 c 21:59:53.033 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32150. 'extension(x[25][22]=[0‥10], 10) :: init: true :: relation: MDD 686904524, 25 edges, 5 vertices, 36 tuples
20.78/7.74 c 21:59:53.033 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32151. 'extension(10, x[27][22]=[0‥10]) :: init: true :: relation: MDD 686904524, 25 edges, 5 vertices, 36 tuples
20.78/7.74 c 21:59:53.035 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32203. 'extension(10, wk[58][3]=[0‥1]) :: init: true :: relation: MDD 1700344615, 11 edges, 3 vertices, 10 tuples
20.78/7.74 c 21:59:53.035 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32204. 'extension(x[25][58]=[0‥10], 10) :: init: true :: relation: MDD 1680630881, 25 edges, 5 vertices, 36 tuples
20.78/7.74 c 21:59:53.035 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32205. 'extension(10, x[27][58]=[0‥10]) :: init: true :: relation: MDD 1680630881, 25 edges, 5 vertices, 36 tuples
20.78/7.75 c 21:59:53.037 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32257. 'extension(10, wk[6][3]=[0‥1]) :: init: true :: relation: MDD 2007031139, 11 edges, 3 vertices, 10 tuples
20.78/7.75 c 21:59:53.037 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32258. 'extension(x[26][6]=[0‥10], 10) :: init: true :: relation: MDD 1545308588, 25 edges, 5 vertices, 36 tuples
20.78/7.75 c 21:59:53.038 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32259. 'extension(10, x[26][6]=[0‥10]) :: init: true :: relation: MDD 42496654, 11 edges, 3 vertices, 10 tuples
20.78/7.75 c 21:59:53.039 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32307. 'extension(10, wk[13][3]=[0‥1]) :: init: true :: relation: MDD 140778365, 11 edges, 3 vertices, 10 tuples
20.78/7.75 c 21:59:53.039 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32308. 'extension(x[26][13]=[0‥10], 10) :: init: true :: relation: MDD 925976643, 25 edges, 5 vertices, 36 tuples
20.78/7.75 c 21:59:53.039 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32309. 'extension(10, x[26][13]=[0‥10]) :: init: true :: relation: MDD 1056175713, 11 edges, 3 vertices, 10 tuples
20.78/7.76 c 21:59:53.056 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32478. 'extension(x[1][8]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.76 c 21:59:53.056 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32480. 'extension(x[1][8]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.76 c 21:59:53.056 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32486. 'extension(x[1][10]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.76 c 21:59:53.057 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32488. 'extension(x[1][10]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.77 c 21:59:53.057 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32494. 'extension(x[1][37]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.77 c 21:59:53.057 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32496. 'extension(x[1][37]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.77 c 21:59:53.057 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32502. 'extension(x[1][40]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.77 c 21:59:53.058 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32504. 'extension(x[1][40]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.77 c 21:59:53.058 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32510. 'extension(x[1][58]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.77 c 21:59:53.058 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32512. 'extension(x[1][58]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.77 c 21:59:53.058 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32518. 'extension(x[0][4]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.77 c 21:59:53.059 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32520. 'extension(x[2][4]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.77 c 21:59:53.059 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32532. 'extension(x[0][54]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.77 c 21:59:53.060 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32536. 'extension(x[2][59]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.77 c 21:59:53.060 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32546. 'extension(x[1][19]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.77 c 21:59:53.060 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32548. 'extension(x[3][19]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.77 c 21:59:53.061 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32562. 'extension(x[1][47]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.77 c 21:59:53.061 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32566. 'extension(x[3][54]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.77 c 21:59:53.062 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32580. 'extension(x[2][2]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.77 c 21:59:53.062 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32582. 'extension(x[4][2]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.77 c 21:59:53.063 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32596. 'extension(x[2][14]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.77 c 21:59:53.063 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32598. 'extension(x[4][14]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.77 c 21:59:53.063 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32612. 'extension(x[2][41]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.77 c 21:59:53.063 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32614. 'extension(x[4][41]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.78 c 21:59:53.064 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32630. 'extension(x[2][42]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.78 c 21:59:53.064 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32632. 'extension(x[4][42]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.78 c 21:59:53.065 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32648. 'extension(x[2][44]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.78 c 21:59:53.065 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32654. 'extension(x[4][47]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.78 c 21:59:53.066 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32670. 'extension(x[2][56]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.78 c 21:59:53.066 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32676. 'extension(x[3][43]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.78 c 21:59:53.067 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32682. 'extension(x[5][44]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.78 c 21:59:53.067 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32698. 'extension(x[3][52]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.78 c 21:59:53.068 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32704. 'extension(x[5][56]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.78 c 21:59:53.068 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32718. 'extension(wk[4][0]=[0‥1]) :: init: true :: relation: Empty MDD
20.78/7.78 c 21:59:53.068 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32720. 'extension(x[4][4]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.78 c 21:59:53.068 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32722. 'extension(x[6][4]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.78 c 21:59:53.069 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32736. 'extension(wk[18][0]=[0‥1]) :: init: true :: relation: Empty MDD
20.78/7.78 c 21:59:53.069 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32738. 'extension(x[4][18]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.78 c 21:59:53.069 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32740. 'extension(x[6][18]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.78 c 21:59:53.070 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32754. 'extension(wk[28][0]=[0‥1]) :: init: true :: relation: Empty MDD
20.78/7.78 c 21:59:53.070 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32756. 'extension(x[4][28]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.78 c 21:59:53.070 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32758. 'extension(x[6][28]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.78 c 21:59:53.071 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32772. 'extension(wk[29][0]=[0‥1]) :: init: true :: relation: Empty MDD
20.78/7.78 c 21:59:53.071 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32774. 'extension(x[4][29]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.78 c 21:59:53.071 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32776. 'extension(x[6][29]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.78 c 21:59:53.072 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32790. 'extension(wk[43][0]=[0‥1]) :: init: true :: relation: Empty MDD
20.78/7.78 c 21:59:53.072 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32792. 'extension(x[6][43]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.78 c 21:59:53.073 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32808. 'extension(wk[52][0]=[0‥1]) :: init: true :: relation: Empty MDD
20.78/7.78 c 21:59:53.073 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32810. 'extension(x[6][52]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.78 c 21:59:53.074 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32824. 'extension(wk[25][0]=[0‥1]) :: init: true :: relation: Empty MDD
20.78/7.78 c 21:59:53.074 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32826. 'extension(x[5][25]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.78 c 21:59:53.074 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32832. 'extension(wk[36][0]=[0‥1]) :: init: true :: relation: Empty MDD
20.78/7.78 c 21:59:53.074 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32834. 'extension(x[5][36]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.78 c 21:59:53.074 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32840. 'extension(x[6][0]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.78 c 21:59:53.075 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32842. 'extension(x[8][0]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.78 c 21:59:53.075 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32856. 'extension(x[6][15]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.78 c 21:59:53.075 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32862. 'extension(x[6][24]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.78 c 21:59:53.076 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32864. 'extension(x[8][24]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.78 c 21:59:53.076 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32878. 'extension(x[8][25]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.78 c 21:59:53.077 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32892. 'extension(x[8][36]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.79 c 21:59:53.077 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32906. 'extension(x[7][7]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.79 c 21:59:53.077 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32908. 'extension(x[9][7]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.79 c 21:59:53.078 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32922. 'extension(x[9][15]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.79 c 21:59:53.078 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32936. 'extension(x[7][50]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.79 c 21:59:53.079 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32938. 'extension(x[9][50]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.79 c 21:59:53.079 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32952. 'extension(x[8][16]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.79 c 21:59:53.079 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32958. 'extension(x[8][32]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.79 c 21:59:53.080 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32960. 'extension(x[10][32]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.79 c 21:59:53.080 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32974. 'extension(x[8][38]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.79 c 21:59:53.080 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32976. 'extension(x[10][38]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.79 c 21:59:53.081 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32990. 'extension(x[8][40]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.79 c 21:59:53.081 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32992. 'extension(x[10][40]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.79 c 21:59:53.082 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33008. 'extension(x[9][5]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.79 c 21:59:53.082 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33010. 'extension(x[11][5]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.79 c 21:59:53.082 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33024. 'extension(x[9][9]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.79 c 21:59:53.082 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33026. 'extension(x[11][9]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.79 c 21:59:53.083 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33040. 'extension(x[11][16]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.79 c 21:59:53.084 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33054. 'extension(x[9][23]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.79 c 21:59:53.084 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33056. 'extension(x[11][23]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.79 c 21:59:53.084 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33070. 'extension(x[9][27]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.79 c 21:59:53.084 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33072. 'extension(x[11][27]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.79 c 21:59:53.085 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33086. 'extension(x[9][45]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.79 c 21:59:53.085 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33088. 'extension(x[11][45]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.79 c 21:59:53.086 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33104. 'extension(x[10][3]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.79 c 21:59:53.086 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33110. 'extension(x[10][35]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.79 c 21:59:53.086 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33116. 'extension(wk[3][1]=[0‥1]) :: init: true :: relation: Empty MDD
20.78/7.79 c 21:59:53.087 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33118. 'extension(x[13][3]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.80 c 21:59:53.087 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33132. 'extension(wk[13][1]=[0‥1]) :: init: true :: relation: Empty MDD
20.78/7.80 c 21:59:53.087 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33134. 'extension(x[11][13]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.80 c 21:59:53.087 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33136. 'extension(x[13][13]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.80 c 21:59:53.088 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33150. 'extension(wk[33][1]=[0‥1]) :: init: true :: relation: Empty MDD
20.78/7.80 c 21:59:53.088 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33152. 'extension(x[11][33]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.80 c 21:59:53.088 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33154. 'extension(x[13][33]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.80 c 21:59:53.089 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33168. 'extension(wk[35][1]=[0‥1]) :: init: true :: relation: Empty MDD
20.78/7.80 c 21:59:53.089 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33170. 'extension(x[13][35]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.80 c 21:59:53.089 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33184. 'extension(wk[6][1]=[0‥1]) :: init: true :: relation: Empty MDD
20.78/7.80 c 21:59:53.090 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33186. 'extension(x[12][6]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.80 c 21:59:53.090 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33188. 'extension(x[14][6]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.80 c 21:59:53.090 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33202. 'extension(wk[9][1]=[0‥1]) :: init: true :: relation: Empty MDD
20.78/7.80 c 21:59:53.090 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33204. 'extension(x[12][9]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.80 c 21:59:53.091 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33206. 'extension(x[14][9]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.80 c 21:59:53.091 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33220. 'extension(wk[10][1]=[0‥1]) :: init: true :: relation: Empty MDD
20.78/7.80 c 21:59:53.091 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33222. 'extension(x[12][10]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.80 c 21:59:53.091 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33224. 'extension(x[14][10]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.80 c 21:59:53.092 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33238. 'extension(wk[39][1]=[0‥1]) :: init: true :: relation: Empty MDD
20.78/7.80 c 21:59:53.092 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33240. 'extension(x[12][39]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.80 c 21:59:53.092 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33246. 'extension(x[13][24]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.80 c 21:59:53.092 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33248. 'extension(x[15][24]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.80 c 21:59:53.093 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33262. 'extension(x[13][34]=[0‥10]) :: init: true :: relation: Empty MDD
20.78/7.80 c 21:59:53.093 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33264. 'extension(x[15][34]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.80 c 21:59:53.094 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33278. 'extension(x[15][39]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.80 c 21:59:53.094 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33292. 'extension(x[13][45]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.80 c 21:59:53.094 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33294. 'extension(x[15][45]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.80 c 21:59:53.095 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33310. 'extension(x[13][55]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.80 c 21:59:53.095 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33312. 'extension(x[15][55]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.80 c 21:59:53.096 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33326. 'extension(x[14][18]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.80 c 21:59:53.096 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33328. 'extension(x[16][18]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.80 c 21:59:53.096 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33342. 'extension(x[14][27]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.80 c 21:59:53.097 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33344. 'extension(x[16][27]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.81 c 21:59:53.097 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33358. 'extension(x[14][48]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.81 c 21:59:53.097 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33364. 'extension(x[15][2]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.81 c 21:59:53.098 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33366. 'extension(x[17][2]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.81 c 21:59:53.098 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33380. 'extension(x[15][17]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.81 c 21:59:53.098 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33386. 'extension(x[15][38]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.81 c 21:59:53.099 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33388. 'extension(x[17][38]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.81 c 21:59:53.099 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33402. 'extension(x[17][48]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.81 c 21:59:53.100 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33418. 'extension(x[15][50]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.81 c 21:59:53.100 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33420. 'extension(x[17][50]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.81 c 21:59:53.100 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33434. 'extension(x[16][5]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.81 c 21:59:53.101 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33436. 'extension(x[18][5]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.81 c 21:59:53.101 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33450. 'extension(x[18][17]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.81 c 21:59:53.102 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33464. 'extension(x[16][19]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.81 c 21:59:53.102 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33466. 'extension(x[18][19]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.81 c 21:59:53.102 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33480. 'extension(x[16][28]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.81 c 21:59:53.103 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33482. 'extension(x[18][28]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.81 c 21:59:53.103 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33496. 'extension(x[16][33]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.81 c 21:59:53.103 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33498. 'extension(x[18][33]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.81 c 21:59:53.104 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33512. 'extension(x[16][55]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.81 c 21:59:53.104 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33514. 'extension(x[18][55]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.82 c 21:59:53.105 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33528. 'extension(x[17][42]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.82 c 21:59:53.105 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33530. 'extension(x[19][42]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.82 c 21:59:53.105 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33546. 'extension(x[17][46]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.82 c 21:59:53.106 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33552. 'extension(x[17][53]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.82 c 21:59:53.106 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33558. 'extension(wk[26][2]=[0‥1]) :: init: true :: relation: Empty MDD
21.05/7.82 c 21:59:53.106 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33560. 'extension(x[18][26]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.82 c 21:59:53.107 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33566. 'extension(wk[46][2]=[0‥1]) :: init: true :: relation: Empty MDD
21.05/7.82 c 21:59:53.107 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33568. 'extension(x[20][46]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.82 c 21:59:53.107 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33584. 'extension(wk[49][2]=[0‥1]) :: init: true :: relation: Empty MDD
21.05/7.82 c 21:59:53.107 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33586. 'extension(x[18][49]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.82 c 21:59:53.108 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33592. 'extension(wk[51][2]=[0‥1]) :: init: true :: relation: Empty MDD
21.05/7.82 c 21:59:53.108 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33594. 'extension(x[18][51]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.82 c 21:59:53.108 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33600. 'extension(wk[53][2]=[0‥1]) :: init: true :: relation: Empty MDD
21.05/7.82 c 21:59:53.108 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33602. 'extension(x[20][53]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.82 c 21:59:53.109 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33616. 'extension(wk[26][2]=[0‥1]) :: init: true :: relation: Empty MDD
21.05/7.82 c 21:59:53.109 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33618. 'extension(x[21][26]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.82 c 21:59:53.110 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33632. 'extension(wk[29][2]=[0‥1]) :: init: true :: relation: Empty MDD
21.05/7.82 c 21:59:53.110 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33634. 'extension(x[19][29]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.82 c 21:59:53.110 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33636. 'extension(x[21][29]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.82 c 21:59:53.110 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33650. 'extension(wk[49][2]=[0‥1]) :: init: true :: relation: Empty MDD
21.05/7.82 c 21:59:53.111 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33652. 'extension(x[21][49]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.82 c 21:59:53.111 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33668. 'extension(wk[51][2]=[0‥1]) :: init: true :: relation: Empty MDD
21.05/7.82 c 21:59:53.111 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33670. 'extension(x[21][51]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.82 c 21:59:53.112 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33684. 'extension(x[20][22]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.82 c 21:59:53.112 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33686. 'extension(x[22][22]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.82 c 21:59:53.113 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33700. 'extension(x[20][32]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.82 c 21:59:53.113 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33702. 'extension(x[22][32]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.82 c 21:59:53.114 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33716. 'extension(x[21][7]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.82 c 21:59:53.114 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33718. 'extension(x[23][7]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.82 c 21:59:53.114 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33732. 'extension(x[21][20]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.82 c 21:59:53.115 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33738. 'extension(x[21][23]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.82 c 21:59:53.115 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33740. 'extension(x[23][23]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.83 c 21:59:53.115 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33754. 'extension(x[22][8]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.83 c 21:59:53.115 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33756. 'extension(x[24][8]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.83 c 21:59:53.116 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33770. 'extension(x[24][20]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.83 c 21:59:53.116 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33784. 'extension(x[22][21]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.83 c 21:59:53.117 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33790. 'extension(x[22][31]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.83 c 21:59:53.117 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33796. 'extension(x[22][41]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.83 c 21:59:53.117 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33798. 'extension(x[24][41]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.83 c 21:59:53.118 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33814. 'extension(x[23][0]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.83 c 21:59:53.118 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33816. 'extension(x[25][0]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.83 c 21:59:53.119 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33830. 'extension(x[23][11]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.83 c 21:59:53.119 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33836. 'extension(x[25][21]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.83 c 21:59:53.119 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33850. 'extension(x[23][30]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.83 c 21:59:53.120 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33856. 'extension(x[25][31]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.83 c 21:59:53.120 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33870. 'extension(x[23][37]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.83 c 21:59:53.120 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33872. 'extension(x[25][37]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.83 c 21:59:53.121 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33886. 'extension(x[23][57]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.83 c 21:59:53.121 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33892. 'extension(x[24][1]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.83 c 21:59:53.121 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33898. 'extension(x[26][11]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.83 c 21:59:53.122 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33912. 'extension(x[24][12]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.83 c 21:59:53.122 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33918. 'extension(x[24][14]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.83 c 21:59:53.122 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33920. 'extension(x[26][14]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.83 c 21:59:53.123 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33934. 'extension(x[26][30]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.83 c 21:59:53.123 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33948. 'extension(x[24][34]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.83 c 21:59:53.123 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33950. 'extension(x[26][34]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.83 c 21:59:53.124 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33964. 'extension(x[26][57]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.83 c 21:59:53.124 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33978. 'extension(wk[1][3]=[0‥1]) :: init: true :: relation: Empty MDD
21.05/7.83 c 21:59:53.124 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33980. 'extension(x[27][1]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.83 c 21:59:53.125 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33992. 'extension(wk[12][3]=[0‥1]) :: init: true :: relation: Empty MDD
21.05/7.83 c 21:59:53.125 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33994. 'extension(x[27][12]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.83 c 21:59:53.125 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34006. 'extension(wk[22][3]=[0‥1]) :: init: true :: relation: Empty MDD
21.05/7.83 c 21:59:53.125 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34008. 'extension(x[25][22]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.83 c 21:59:53.125 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34010. 'extension(x[27][22]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.83 c 21:59:53.126 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34022. 'extension(wk[58][3]=[0‥1]) :: init: true :: relation: Empty MDD
21.05/7.83 c 21:59:53.126 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34024. 'extension(x[25][58]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.83 c 21:59:53.126 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34026. 'extension(x[27][58]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.83 c 21:59:53.127 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34038. 'extension(wk[6][3]=[0‥1]) :: init: true :: relation: Empty MDD
21.05/7.83 c 21:59:53.127 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34040. 'extension(x[26][6]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.84 c 21:59:53.127 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34042. 'extension(x[26][6]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.84 c 21:59:53.127 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34048. 'extension(wk[13][3]=[0‥1]) :: init: true :: relation: Empty MDD
21.05/7.84 c 21:59:53.127 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34050. 'extension(x[26][13]=[0‥10]) :: init: true :: relation: Empty MDD
21.05/7.84 c 21:59:53.127 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34052. 'extension(x[26][13]=[0‥10]) :: init: true :: relation: Empty MDD
252.08/222.21 Exception in thread "main" java.util.concurrent.TimeoutException
252.08/222.21 at concrete.MAC.mac(MAC.scala:188)
252.08/222.21 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
252.08/222.21 at scala.util.Try$.apply(Try.scala:209)
252.08/222.21 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.08/222.21 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.08/222.21 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.08/222.21 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.08/222.21 at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
252.08/222.21 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.08/222.21 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.08/222.21 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.08/222.21 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.08/222.21 at concrete.MAC.oneRun(MAC.scala:253)
252.08/222.21 at concrete.MAC.nextSolution(MAC.scala:272)
252.08/222.21 at concrete.MAC.$anonfun$nextSolution$5(MAC.scala:336)
252.08/222.21 at concrete.ProblemState.map(ProblemState.scala:221)
252.08/222.21 at concrete.ProblemState.map(ProblemState.scala:204)
252.08/222.21 at concrete.MAC.nextSolution(MAC.scala:334)
252.08/222.21 at concrete.Solver.hasNext(Solver.scala:166)
252.08/222.21 at scala.collection.Iterator.foreach(Iterator.scala:944)
252.08/222.21 at scala.collection.Iterator.foreach$(Iterator.scala:944)
252.08/222.21 at concrete.Solver.foreach(Solver.scala:68)
252.08/222.21 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
252.08/222.21 at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.08/222.21 at scala.util.Success.map(Try.scala:209)
252.08/222.21 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
252.08/222.21 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
252.08/222.21 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
252.08/222.21 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
252.08/222.21 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
252.08/222.21 at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.08/222.21 at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.08/222.21 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.08/222.21 at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.08/222.21 at scala.collection.immutable.List.foreach(List.scala:389)
252.08/222.21 at scala.App.main(App.scala:76)
252.08/222.21 at scala.App.main$(App.scala:74)
252.08/222.21 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
252.08/222.21 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.08/222.21 s UNKNOWN
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (10279 MiB free)
memory of node 1: 16384 MiB (15528 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302431-1532894385/watcher-4302431-1532894385 -o /tmp/evaluation-result-4302431-1532894385/solver-4302431-1532894385 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532894154-16078 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=570625122 HOME/instance-4302431-1532894385.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=16435, runsolver pid=16432
[startup+0.101514 s]*
/proc/loadavg: 1.31 1.68 1.84 3/208 16492
/proc/meminfo: memFree=26413740/32770624 swapFree=67028824/67108860
[pid=16435] ppid=16432 vsize=10005480 memory=18856 CPUtime=0.09 cores=0,2,4,6
/proc/16435/stat : 16435 (java) S 16432 16435 10029 0 -1 1077944320 4386 12837 0 0 1 1 5 2 20 0 6 0 107001643 10245611520 4714 33554432000 4194304 4196468 140731894793440 140731894775984 140537687629559 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
/proc/16435/statm: 2501370 4714 1935 1 0 2489808 0
[pid=16435/tid=16488] ppid=16432 vsize=10005480 memory=4279135704013833615 CPUtime=0.07 cores=0,2,4,6
/proc/16435/task/16488/stat : 16488 (java) R 16432 16435 10029 0 -1 4202560 2211 12837 0 0 0 0 5 2 20 0 6 0 107001652 10245611520 4779 33554432000 4194304 4196468 140731894793440 140537659466320 140537672752496 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16489] ppid=16432 vsize=10005480 memory=-7522837583129502606 CPUtime=0.07 cores=0,2,4,6
/proc/16435/task/16489/stat : 16489 (java) S 16432 16435 10029 0 -1 1077944384 2 12837 0 0 0 0 5 2 20 0 6 0 107001653 10245611520 4779 33554432000 4194304 4196468 140731894793440 140537691872016 140537687639765 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16490] ppid=16432 vsize=10005480 memory=139959300572800 CPUtime=0.07 cores=0,2,4,6
/proc/16435/task/16490/stat : 16490 (java) S 16432 16435 10029 0 -1 1077944384 1 12837 0 0 0 0 5 2 20 0 6 0 107001653 10245611520 4779 33554432000 4194304 4196468 140731894793440 140537573137296 140537687639765 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16491] ppid=16432 vsize=10005480 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16435/task/16491/stat : 16491 (java) S 16432 16435 10029 0 -1 1077944384 1 12837 0 0 0 0 5 2 20 0 6 0 107001653 10245611520 4779 33554432000 4194304 4196468 140731894793440 140537225731088 140537687639765 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16492] ppid=16432 vsize=10005480 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/16435/task/16492/stat : 16492 (java) S 16432 16435 10029 0 -1 1077944384 2 12837 0 0 0 0 5 2 20 0 6 0 107001653 10245611520 4779 33554432000 4194304 4196468 140731894793440 140537224678544 140537687639765 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 18856 KiB
[startup+0.210258 s]*
/proc/loadavg: 1.31 1.68 1.84 4/217 16501
/proc/meminfo: memFree=26390688/32770624 swapFree=67028824/67108860
[pid=16435] ppid=16432 vsize=10982744 memory=43704 CPUtime=0.25 cores=0,2,4,6
/proc/16435/stat : 16435 (java) S 16432 16435 10029 0 -1 1077944320 7636 12837 0 0 16 2 5 2 20 0 15 0 107001643 11246329856 10926 33554432000 4194304 4196468 140731894793440 140731894775984 140537687629559 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
/proc/16435/statm: 2745686 10926 2949 1 0 2708109 0
[pid=16435/tid=16488] ppid=16432 vsize=10982744 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/16435/task/16488/stat : 16488 (java) R 16432 16435 10029 0 -1 4202560 4301 12837 0 0 11 1 5 2 20 0 15 0 107001652 11246329856 11058 33554432000 4194304 4196468 140731894793440 140537659407520 140537667905319 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16489] ppid=16432 vsize=10982744 memory=342 CPUtime=0.07 cores=0,2,4,6
/proc/16435/task/16489/stat : 16489 (java) S 16432 16435 10029 0 -1 1077944384 2 12837 0 0 0 0 5 2 20 0 15 0 107001653 11246329856 11058 33554432000 4194304 4196468 140731894793440 140537691872016 140537687639765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16490] ppid=16432 vsize=10982744 memory=3474727773412050592 CPUtime=0.07 cores=0,2,4,6
/proc/16435/task/16490/stat : 16490 (java) S 16432 16435 10029 0 -1 1077944384 1 12837 0 0 0 0 5 2 20 0 15 0 107001653 11246329856 11058 33554432000 4194304 4196468 140731894793440 140537573137296 140537687639765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16491] ppid=16432 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16435/task/16491/stat : 16491 (java) S 16432 16435 10029 0 -1 1077944384 1 12837 0 0 0 0 5 2 20 0 15 0 107001653 11246329856 11058 33554432000 4194304 4196468 140731894793440 140537225731088 140537687639765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16492] ppid=16432 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/16435/task/16492/stat : 16492 (java) S 16432 16435 10029 0 -1 1077944384 2 12837 0 0 0 0 5 2 20 0 15 0 107001653 11246329856 11058 33554432000 4194304 4196468 140731894793440 140537224678544 140537687639765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16493] ppid=16432 vsize=10982744 memory=139959300572800 CPUtime=0.07 cores=0,2,4,6
/proc/16435/task/16493/stat : 16493 (java) S 16432 16435 10029 0 -1 1077944384 2 12837 0 0 0 0 5 2 20 0 15 0 107001654 11246329856 11058 33554432000 4194304 4196468 140731894793440 140537180719088 140537687640706 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16494] ppid=16432 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/16435/task/16494/stat : 16494 (java) S 16432 16435 10029 0 -1 1077944384 13 12837 0 0 0 0 5 2 20 0 15 0 107001655 11246329856 11058 33554432000 4194304 4196468 140731894793440 140536497300384 140537687639765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16495] ppid=16432 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16435/task/16495/stat : 16495 (java) S 16432 16435 10029 0 -1 1077944384 1 12837 0 0 0 0 5 2 20 0 15 0 107001655 11246329856 11058 33554432000 4194304 4196468 140731894793440 140536295973872 140537687639765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16496] ppid=16432 vsize=10982744 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16435/task/16496/stat : 16496 (java) S 16432 16435 10029 0 -1 1077944384 3 12837 0 0 0 0 5 2 20 0 15 0 107001658 11246329856 11058 33554432000 4194304 4196468 140731894793440 140535988574416 140537687648155 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16497] ppid=16432 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/16435/task/16497/stat : 16497 (java) S 16432 16435 10029 0 -1 1077944384 356 12837 0 0 1 0 5 2 20 0 15 0 107001658 11246329856 11058 33554432000 4194304 4196468 140731894793440 140537179666928 140537687640706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16498] ppid=16432 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/16435/task/16498/stat : 16498 (java) S 16432 16435 10029 0 -1 1077944384 243 12837 0 0 0 0 5 2 20 0 15 0 107001658 11246329856 11058 33554432000 4194304 4196468 140731894793440 140537178614384 140537687640706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16499] ppid=16432 vsize=10982744 memory=139959300572800 CPUtime=0.1 cores=0,2,4,6
/proc/16435/task/16499/stat : 16499 (java) S 16432 16435 10029 0 -1 1077944384 609 12837 0 0 3 0 5 2 20 0 15 0 107001658 11246329856 11124 33554432000 4194304 4196468 140731894793440 140537177561840 140537687640706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16500] ppid=16432 vsize=10982744 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/16435/task/16500/stat : 16500 (java) S 16432 16435 10029 0 -1 1077944384 3 12837 0 0 0 0 5 2 20 0 15 0 107001658 11246329856 11124 33554432000 4194304 4196468 140731894793440 140535557778528 140537687639765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16501] ppid=16432 vsize=10982744 memory=139959300572800 CPUtime=0.07 cores=0,2,4,6
/proc/16435/task/16501/stat : 16501 (java) S 16432 16435 10029 0 -1 1077944384 1 12837 0 0 0 0 5 2 20 0 15 0 107001658 11246329856 11124 33554432000 4194304 4196468 140731894793440 140537176508720 140537687640706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 43704 KiB
[startup+0.310093 s]*
/proc/loadavg: 1.31 1.68 1.84 3/217 16501
/proc/meminfo: memFree=26357412/32770624 swapFree=67028824/67108860
[pid=16435] ppid=16432 vsize=10983192 memory=55476 CPUtime=0.38 cores=0,2,4,6
/proc/16435/stat : 16435 (java) S 16432 16435 10029 0 -1 1077944320 10409 12837 0 0 28 3 5 2 20 0 15 0 107001643 11246788608 13869 33554432000 4194304 4196468 140731894793440 140731894775984 140537687629559 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
/proc/16435/statm: 2745798 13869 3068 1 0 2708109 0
[pid=16435/tid=16488] ppid=16432 vsize=10983192 memory=6791534058613427641 CPUtime=0.27 cores=0,2,4,6
/proc/16435/task/16488/stat : 16488 (java) R 16432 16435 10029 0 -1 4202560 6973 12837 0 0 19 1 5 2 20 0 15 0 107001652 11246788608 13869 33554432000 4194304 4196468 140731894793440 140537659441568 140537670821352 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16489] ppid=16432 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16435/task/16489/stat : 16489 (java) S 16432 16435 10029 0 -1 1077944384 2 12837 0 0 0 0 5 2 20 0 15 0 107001653 11246788608 13869 33554432000 4194304 4196468 140731894793440 140537691872016 140537687639765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16490] ppid=16432 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16435/task/16490/stat : 16490 (java) S 16432 16435 10029 0 -1 1077944384 1 12837 0 0 0 0 5 2 20 0 15 0 107001653 11246788608 13869 33554432000 4194304 4196468 140731894793440 140537573137296 140537687639765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16491] ppid=16432 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16435/task/16491/stat : 16491 (java) S 16432 16435 10029 0 -1 1077944384 1 12837 0 0 0 0 5 2 20 0 15 0 107001653 11246788608 13869 33554432000 4194304 4196468 140731894793440 140537225731088 140537687639765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16492] ppid=16432 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16435/task/16492/stat : 16492 (java) S 16432 16435 10029 0 -1 1077944384 2 12837 0 0 0 0 5 2 20 0 15 0 107001653 11246788608 13869 33554432000 4194304 4196468 140731894793440 140537224678544 140537687639765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16493] ppid=16432 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16435/task/16493/stat : 16493 (java) S 16432 16435 10029 0 -1 1077944384 2 12837 0 0 0 0 5 2 20 0 15 0 107001654 11246788608 13869 33554432000 4194304 4196468 140731894793440 140537180719088 140537687640706 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16494] ppid=16432 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/16435/task/16494/stat : 16494 (java) S 16432 16435 10029 0 -1 1077944384 13 12837 0 0 0 0 5 2 20 0 15 0 107001655 11246788608 13869 33554432000 4194304 4196468 140731894793440 140536497300384 140537687639765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16495] ppid=16432 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16435/task/16495/stat : 16495 (java) S 16432 16435 10029 0 -1 1077944384 1 12837 0 0 0 0 5 2 20 0 15 0 107001655 11246788608 13869 33554432000 4194304 4196468 140731894793440 140536295973872 140537687639765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16496] ppid=16432 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16435/task/16496/stat : 16496 (java) S 16432 16435 10029 0 -1 1077944384 3 12837 0 0 0 0 5 2 20 0 15 0 107001658 11246788608 13869 33554432000 4194304 4196468 140731894793440 140535988574416 140537687648155 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16497] ppid=16432 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/16435/task/16497/stat : 16497 (java) S 16432 16435 10029 0 -1 1077944384 357 12837 0 0 2 0 5 2 20 0 15 0 107001658 11246788608 13869 33554432000 4194304 4196468 140731894793440 140537179666928 140537687640706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16498] ppid=16432 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/16435/task/16498/stat : 16498 (java) S 16432 16435 10029 0 -1 1077944384 243 12837 0 0 0 0 5 2 20 0 15 0 107001658 11246788608 13869 33554432000 4194304 4196468 140731894793440 140537178614384 140537687640706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16499] ppid=16432 vsize=10983192 memory=139959300572800 CPUtime=0.11 cores=0,2,4,6
/proc/16435/task/16499/stat : 16499 (java) S 16432 16435 10029 0 -1 1077944384 619 12837 0 0 4 0 5 2 20 0 15 0 107001658 11246788608 13869 33554432000 4194304 4196468 140731894793440 140537177561840 140537687640706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16500] ppid=16432 vsize=10983192 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/16435/task/16500/stat : 16500 (java) S 16432 16435 10029 0 -1 1077944384 3 12837 0 0 0 0 5 2 20 0 15 0 107001658 11246788608 13869 33554432000 4194304 4196468 140731894793440 140535557778528 140537687639765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16501] ppid=16432 vsize=10983192 memory=139959300572800 CPUtime=0.07 cores=0,2,4,6
/proc/16435/task/16501/stat : 16501 (java) S 16432 16435 10029 0 -1 1077944384 1 12837 0 0 0 0 5 2 20 0 15 0 107001658 11246788608 13869 33554432000 4194304 4196468 140731894793440 140537176508720 140537687640706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 55476 KiB
[startup+0.700716 s]
/proc/loadavg: 1.31 1.68 1.84 7/217 16501
/proc/meminfo: memFree=26339920/32770624 swapFree=67028824/67108860
[pid=16435] ppid=16432 vsize=10983192 memory=88212 CPUtime=0.99 cores=0,2,4,6
/proc/16435/stat : 16435 (java) S 16432 16435 10029 0 -1 1077944320 16740 12837 0 0 87 5 5 2 20 0 15 0 107001643 11246788608 22053 33554432000 4194304 4196468 140731894793440 140731894775984 140537687629559 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
/proc/16435/statm: 2745798 22053 3238 1 0 2708109 0
[pid=16435/tid=16488] ppid=16432 vsize=10983192 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/16435/task/16488/stat : 16488 (java) R 16432 16435 10029 0 -1 4202560 12200 12837 0 0 56 3 5 2 20 0 15 0 107001652 11246788608 22053 33554432000 4194304 4196468 140731894793440 140537659450384 140537671710046 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16489] ppid=16432 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16435/task/16489/stat : 16489 (java) S 16432 16435 10029 0 -1 1077944384 2 12837 0 0 0 0 5 2 20 0 15 0 107001653 11246788608 22053 33554432000 4194304 4196468 140731894793440 140537691872016 140537687639765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16490] ppid=16432 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16435/task/16490/stat : 16490 (java) S 16432 16435 10029 0 -1 1077944384 1 12837 0 0 0 0 5 2 20 0 15 0 107001653 11246788608 22053 33554432000 4194304 4196468 140731894793440 140537573137296 140537687639765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16491] ppid=16432 vsize=10983192 memory=32804 CPUtime=0.07 cores=0,2,4,6
/proc/16435/task/16491/stat : 16491 (java) S 16432 16435 10029 0 -1 1077944384 1 12837 0 0 0 0 5 2 20 0 15 0 107001653 11246788608 22053 33554432000 4194304 4196468 140731894793440 140537225731088 140537687639765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16492] ppid=16432 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16435/task/16492/stat : 16492 (java) S 16432 16435 10029 0 -1 1077944384 2 12837 0 0 0 0 5 2 20 0 15 0 107001653 11246788608 22053 33554432000 4194304 4196468 140731894793440 140537224678544 140537687639765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16493] ppid=16432 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16435/task/16493/stat : 16493 (java) S 16432 16435 10029 0 -1 1077944384 6 12837 0 0 0 0 5 2 20 0 15 0 107001654 11246788608 22053 33554432000 4194304 4196468 140731894793440 140537180719088 140537687640706 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16494] ppid=16432 vsize=10983192 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16435/task/16494/stat : 16494 (java) S 16432 16435 10029 0 -1 1077944384 13 12837 0 0 0 0 5 2 20 0 15 0 107001655 11246788608 22053 33554432000 4194304 4196468 140731894793440 140536497300384 140537687639765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16495] ppid=16432 vsize=10983192 memory=139959159894800 CPUtime=0.07 cores=0,2,4,6
/proc/16435/task/16495/stat : 16495 (java) S 16432 16435 10029 0 -1 1077944384 1 12837 0 0 0 0 5 2 20 0 15 0 107001655 11246788608 22053 33554432000 4194304 4196468 140731894793440 140536295973872 140537687639765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16496] ppid=16432 vsize=10983192 memory=139960099275337 CPUtime=0.07 cores=0,2,4,6
/proc/16435/task/16496/stat : 16496 (java) S 16432 16435 10029 0 -1 1077944384 3 12837 0 0 0 0 5 2 20 0 15 0 107001658 11246788608 22053 33554432000 4194304 4196468 140731894793440 140535988574416 140537687648155 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16497] ppid=16432 vsize=10983192 memory=796 CPUtime=0.17 cores=0,2,4,6
/proc/16435/task/16497/stat : 16497 (java) S 16432 16435 10029 0 -1 1077944384 965 12837 0 0 10 0 5 2 20 0 15 0 107001658 11246788608 22053 33554432000 4194304 4196468 140731894793440 140537179666928 140537687640706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16498] ppid=16432 vsize=10983192 memory=7014751519650764113 CPUtime=0.13 cores=0,2,4,6
/proc/16435/task/16498/stat : 16498 (java) R 16432 16435 10029 0 -1 1077944384 652 12837 0 0 6 0 5 2 20 0 15 0 107001658 11246788608 22053 33554432000 4194304 4196468 140731894793440 140537178614384 140537687640706 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16499] ppid=16432 vsize=10983192 memory=7597123233646858610 CPUtime=0.2 cores=0,2,4,6
/proc/16435/task/16499/stat : 16499 (java) R 16432 16435 10029 0 -1 4202560 704 12837 0 0 13 0 5 2 20 0 15 0 107001658 11246788608 22053 33554432000 4194304 4196468 140731894793440 140537177561840 140537671710046 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16500] ppid=16432 vsize=10983192 memory=3544 CPUtime=0.07 cores=0,2,4,6
/proc/16435/task/16500/stat : 16500 (java) S 16432 16435 10029 0 -1 1077944384 3 12837 0 0 0 0 5 2 20 0 15 0 107001658 11246788608 22053 33554432000 4194304 4196468 140731894793440 140535557778528 140537687639765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16501] ppid=16432 vsize=10983192 memory=2241 CPUtime=0.07 cores=0,2,4,6
/proc/16435/task/16501/stat : 16501 (java) S 16432 16435 10029 0 -1 1077944384 1 12837 0 0 0 0 5 2 20 0 15 0 107001658 11246788608 22053 33554432000 4194304 4196468 140731894793440 140537176508720 140537687640706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88212 KiB
[startup+1.50084 s]
/proc/loadavg: 1.31 1.68 1.84 6/217 16501
/proc/meminfo: memFree=26288436/32770624 swapFree=67028824/67108860
[pid=16435] ppid=16432 vsize=10991948 memory=180940 CPUtime=3.18 cores=0,2,4,6
/proc/16435/stat : 16435 (java) S 16432 16435 10029 0 -1 1077944320 23770 12837 0 0 303 8 5 2 20 0 15 0 107001643 11255754752 45235 33554432000 4194304 4196468 140731894793440 140731894775984 140537687629559 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
/proc/16435/statm: 2747987 45235 3457 1 0 2709645 0
[pid=16435/tid=16488] ppid=16432 vsize=10991948 memory=9169 CPUtime=1.45 cores=0,2,4,6
/proc/16435/task/16488/stat : 16488 (java) R 16432 16435 10029 0 -1 4202560 15186 12837 0 0 133 5 5 2 20 0 15 0 107001652 11255754752 45235 33554432000 4194304 4196468 140731894793440 140537659456768 140537253397191 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16489] ppid=16432 vsize=10991948 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/16435/task/16489/stat : 16489 (java) S 16432 16435 10029 0 -1 1077944384 2 12837 0 0 0 0 5 2 20 0 15 0 107001653 11255754752 45235 33554432000 4194304 4196468 140731894793440 140537691872016 140537687639765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16490] ppid=16432 vsize=10991948 memory=1408 CPUtime=0.07 cores=0,2,4,6
/proc/16435/task/16490/stat : 16490 (java) S 16432 16435 10029 0 -1 1077944384 1 12837 0 0 0 0 5 2 20 0 15 0 107001653 11255754752 45235 33554432000 4194304 4196468 140731894793440 140537573137296 140537687639765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16491] ppid=16432 vsize=10991948 memory=2472 CPUtime=0.07 cores=0,2,4,6
/proc/16435/task/16491/stat : 16491 (java) S 16432 16435 10029 0 -1 1077944384 1 12837 0 0 0 0 5 2 20 0 15 0 107001653 11255754752 45235 33554432000 4194304 4196468 140731894793440 140537225731088 140537687639765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16492] ppid=16432 vsize=10991948 memory=88212 CPUtime=0.07 cores=0,2,4,6
/proc/16435/task/16492/stat : 16492 (java) S 16432 16435 10029 0 -1 1077944384 2 12837 0 0 0 0 5 2 20 0 15 0 107001653 11255754752 45235 33554432000 4194304 4196468 140731894793440 140537224678544 140537687639765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16493] ppid=16432 vsize=10991948 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16435/task/16493/stat : 16493 (java) S 16432 16435 10029 0 -1 1077944384 14 12837 0 0 0 0 5 2 20 0 15 0 107001654 11255754752 45235 33554432000 4194304 4196468 140731894793440 140537180719088 140537687640706 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16494] ppid=16432 vsize=10991948 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16435/task/16494/stat : 16494 (java) S 16432 16435 10029 0 -1 1077944384 13 12837 0 0 0 0 5 2 20 0 15 0 107001655 11255754752 45235 33554432000 4194304 4196468 140731894793440 140536497300384 140537687639765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16495] ppid=16432 vsize=10991948 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/16435/task/16495/stat : 16495 (java) S 16432 16435 10029 0 -1 1077944384 1 12837 0 0 0 0 5 2 20 0 15 0 107001655 11255754752 45235 33554432000 4194304 4196468 140731894793440 140536295973872 140537687639765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16496] ppid=16432 vsize=10991948 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/16435/task/16496/stat : 16496 (java) S 16432 16435 10029 0 -1 1077944384 3 12837 0 0 0 0 5 2 20 0 15 0 107001658 11255754752 45235 33554432000 4194304 4196468 140731894793440 140535988574416 140537687648155 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16497] ppid=16432 vsize=10991948 memory=4638778398332698720 CPUtime=0.68 cores=0,2,4,6
/proc/16435/task/16497/stat : 16497 (java) R 16432 16435 10029 0 -1 4202560 2741 12837 0 0 61 0 5 2 20 0 15 0 107001658 11255754752 45235 33554432000 4194304 4196468 140731894793440 140537179647944 140537671540296 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16498] ppid=16432 vsize=10991948 memory=279918320065408 CPUtime=0.62 cores=0,2,4,6
/proc/16435/task/16498/stat : 16498 (java) R 16432 16435 10029 0 -1 4202560 1678 12837 0 0 54 1 5 2 20 0 15 0 107001658 11255754752 45235 33554432000 4194304 4196468 140731894793440 140537178600952 140537672548584 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16499] ppid=16432 vsize=10991948 memory=6944656592452807323 CPUtime=0.6 cores=0,2,4,6
/proc/16435/task/16499/stat : 16499 (java) S 16432 16435 10029 0 -1 1077944384 1936 12837 0 0 53 0 5 2 20 0 15 0 107001658 11255754752 45235 33554432000 4194304 4196468 140731894793440 140537177561840 140537687640706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16500] ppid=16432 vsize=10991948 memory=1399101730491701635 CPUtime=0.07 cores=0,2,4,6
/proc/16435/task/16500/stat : 16500 (java) S 16432 16435 10029 0 -1 1077944384 3 12837 0 0 0 0 5 2 20 0 15 0 107001658 11255754752 45235 33554432000 4194304 4196468 140731894793440 140535557778528 140537687639765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16501] ppid=16432 vsize=10991948 memory=6944656591801719708 CPUtime=0.07 cores=0,2,4,6
/proc/16435/task/16501/stat : 16501 (java) S 16432 16435 10029 0 -1 1077944384 1 12837 0 0 0 0 5 2 20 0 15 0 107001658 11255754752 45235 33554432000 4194304 4196468 140731894793440 140537176508720 140537687640706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
Current children cumulated CPU time: 3.18 s
Current children cumulated vsize: 10991948 KiB
################
# More data... #
################
/proc/16435/task/16488/stat : 16488 (java) R 16432 16435 10029 0 -1 4202560 59033 12837 0 0 5010 27 5 2 20 0 15 0 107001652 11280941056 435119 33554432000 4194304 4196468 140731894793440 140537659463512 140537278484828 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16489] ppid=16432 vsize=11016544 memory=1740476 CPUtime=0.52 cores=0,2,4,6
/proc/16435/task/16489/stat : 16489 (java) S 16432 16435 10029 0 -1 1077944384 1854 12837 0 0 38 7 5 2 20 0 15 0 107001653 11280941056 435119 33554432000 4194304 4196468 140731894793440 140537691872016 140537687639765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16490] ppid=16432 vsize=11016544 memory=7 CPUtime=0.48 cores=0,2,4,6
/proc/16435/task/16490/stat : 16490 (java) S 16432 16435 10029 0 -1 1077944384 908 12837 0 0 34 7 5 2 20 0 15 0 107001653 11280941056 435119 33554432000 4194304 4196468 140731894793440 140537573137296 140537687639765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16491] ppid=16432 vsize=11016544 memory=3544 CPUtime=0.51 cores=0,2,4,6
/proc/16435/task/16491/stat : 16491 (java) S 16432 16435 10029 0 -1 1077944384 644 12837 0 0 37 7 5 2 20 0 15 0 107001653 11280941056 435119 33554432000 4194304 4196468 140731894793440 140537225731088 140537687639765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16492] ppid=16432 vsize=11016544 memory=0 CPUtime=0.48 cores=0,2,4,6
/proc/16435/task/16492/stat : 16492 (java) S 16432 16435 10029 0 -1 1077944384 1721 12837 0 0 34 7 5 2 20 0 15 0 107001653 11280941056 435119 33554432000 4194304 4196468 140731894793440 140537224678544 140537687639765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16493] ppid=16432 vsize=11016544 memory=3328 CPUtime=0.16 cores=0,2,4,6
/proc/16435/task/16493/stat : 16493 (java) S 16432 16435 10029 0 -1 1077944384 2939 12837 0 0 9 0 5 2 20 0 15 0 107001654 11280941056 435119 33554432000 4194304 4196468 140731894793440 140537180719088 140537687640706 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16494] ppid=16432 vsize=11016544 memory=3008 CPUtime=0.07 cores=0,2,4,6
/proc/16435/task/16494/stat : 16494 (java) S 16432 16435 10029 0 -1 1077944384 21 12837 0 0 0 0 5 2 20 0 15 0 107001655 11280941056 435119 33554432000 4194304 4196468 140731894793440 140536497300448 140537687639765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16495] ppid=16432 vsize=11016544 memory=288230574492221466 CPUtime=0.07 cores=0,2,4,6
/proc/16435/task/16495/stat : 16495 (java) S 16432 16435 10029 0 -1 1077944384 2 12837 0 0 0 0 5 2 20 0 15 0 107001655 11280941056 435119 33554432000 4194304 4196468 140731894793440 140536295973888 140537687639765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16496] ppid=16432 vsize=11016544 memory=288230621803970871 CPUtime=0.07 cores=0,2,4,6
/proc/16435/task/16496/stat : 16496 (java) S 16432 16435 10029 0 -1 1077944384 3 12837 0 0 0 0 5 2 20 0 15 0 107001658 11280941056 435119 33554432000 4194304 4196468 140731894793440 140535988574416 140537687648155 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16497] ppid=16432 vsize=11016544 memory=3544 CPUtime=11.14 cores=0,2,4,6
/proc/16435/task/16497/stat : 16497 (java) S 16432 16435 10029 0 -1 1077944384 19624 12837 0 0 1103 4 5 2 20 0 15 0 107001658 11280941056 435119 33554432000 4194304 4196468 140731894793440 140537179666928 140537687640706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16498] ppid=16432 vsize=11016544 memory=27172 CPUtime=11.22 cores=0,2,4,6
/proc/16435/task/16498/stat : 16498 (java) S 16432 16435 10029 0 -1 1077944384 16803 12837 0 0 1111 4 5 2 20 0 15 0 107001658 11280941056 435119 33554432000 4194304 4196468 140731894793440 140537178614384 140537687640706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16499] ppid=16432 vsize=11016544 memory=1705660 CPUtime=3.69 cores=0,2,4,6
/proc/16435/task/16499/stat : 16499 (java) S 16432 16435 10029 0 -1 1077944384 18922 12837 0 0 355 7 5 2 20 0 15 0 107001658 11280941056 435119 33554432000 4194304 4196468 140731894793440 140537177561840 140537687640706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16500] ppid=16432 vsize=11016544 memory=27172 CPUtime=0.07 cores=0,2,4,6
/proc/16435/task/16500/stat : 16500 (java) S 16432 16435 10029 0 -1 1077944384 3 12837 0 0 0 0 5 2 20 0 15 0 107001658 11280941056 435119 33554432000 4194304 4196468 140731894793440 140535557778528 140537687639765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16501] ppid=16432 vsize=11016544 memory=776 CPUtime=0.1 cores=0,2,4,6
/proc/16435/task/16501/stat : 16501 (java) S 16432 16435 10029 0 -1 1077944384 839 12837 0 0 1 2 5 2 20 0 15 0 107001658 11280941056 435119 33554432000 4194304 4196468 140731894793440 140537176508720 140537687640706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
Current children cumulated CPU time: 78.21 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1740476 KiB
[startup+102.301 s]
/proc/loadavg: 1.93 1.83 1.88 3/217 16662
/proc/meminfo: memFree=23355024/32770624 swapFree=67028828/67108860
[pid=16435] ppid=16432 vsize=11016544 memory=1815496 CPUtime=130.48 cores=0,2,4,6
/proc/16435/stat : 16435 (java) S 16432 16435 10029 0 -1 1077944320 142607 12837 0 0 12959 82 5 2 20 0 15 0 107001643 11280941056 453874 33554432000 4194304 4196468 140731894793440 140731894775984 140537687629559 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
/proc/16435/statm: 2754136 453874 3541 1 0 2715789 0
[pid=16435/tid=16488] ppid=16432 vsize=11016544 memory=1832956 CPUtime=101.59 cores=0,2,4,6
/proc/16435/task/16488/stat : 16488 (java) R 16432 16435 10029 0 -1 4202560 62643 12837 0 0 10123 29 5 2 20 0 15 0 107001652 11280941056 453874 33554432000 4194304 4196468 140731894793440 140537659464296 140537277589824 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16489] ppid=16432 vsize=11016544 memory=1820624 CPUtime=0.55 cores=0,2,4,6
/proc/16435/task/16489/stat : 16489 (java) S 16432 16435 10029 0 -1 1077944384 1981 12837 0 0 40 8 5 2 20 0 15 0 107001653 11280941056 453874 33554432000 4194304 4196468 140731894793440 140537691872016 140537687639765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16490] ppid=16432 vsize=11016544 memory=1815496 CPUtime=0.52 cores=0,2,4,6
/proc/16435/task/16490/stat : 16490 (java) S 16432 16435 10029 0 -1 1077944384 1604 12837 0 0 37 8 5 2 20 0 15 0 107001653 11280941056 453874 33554432000 4194304 4196468 140731894793440 140537573137296 140537687639765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16491] ppid=16432 vsize=11016544 memory=1826844 CPUtime=0.55 cores=0,2,4,6
/proc/16435/task/16491/stat : 16491 (java) S 16432 16435 10029 0 -1 1077944384 1784 12837 0 0 40 8 5 2 20 0 15 0 107001653 11280941056 453874 33554432000 4194304 4196468 140731894793440 140537225731088 140537687639765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16492] ppid=16432 vsize=11016544 memory=1827296 CPUtime=0.51 cores=0,2,4,6
/proc/16435/task/16492/stat : 16492 (java) S 16432 16435 10029 0 -1 1077944384 1867 12837 0 0 37 7 5 2 20 0 15 0 107001653 11280941056 453874 33554432000 4194304 4196468 140731894793440 140537224678544 140537687639765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16493] ppid=16432 vsize=11016544 memory=1824788 CPUtime=0.17 cores=0,2,4,6
/proc/16435/task/16493/stat : 16493 (java) S 16432 16435 10029 0 -1 1077944384 3253 12837 0 0 10 0 5 2 20 0 15 0 107001654 11280941056 453874 33554432000 4194304 4196468 140731894793440 140537180719088 140537687640706 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16494] ppid=16432 vsize=11016544 memory=1508 CPUtime=0.07 cores=0,2,4,6
/proc/16435/task/16494/stat : 16494 (java) S 16432 16435 10029 0 -1 1077944384 21 12837 0 0 0 0 5 2 20 0 15 0 107001655 11280941056 453874 33554432000 4194304 4196468 140731894793440 140536497300448 140537687639765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16495] ppid=16432 vsize=11016544 memory=1272160 CPUtime=0.07 cores=0,2,4,6
/proc/16435/task/16495/stat : 16495 (java) S 16432 16435 10029 0 -1 1077944384 2 12837 0 0 0 0 5 2 20 0 15 0 107001655 11280941056 453874 33554432000 4194304 4196468 140731894793440 140536295973888 140537687639765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16496] ppid=16432 vsize=11016544 memory=3544 CPUtime=0.07 cores=0,2,4,6
/proc/16435/task/16496/stat : 16496 (java) S 16432 16435 10029 0 -1 1077944384 3 12837 0 0 0 0 5 2 20 0 15 0 107001658 11280941056 453874 33554432000 4194304 4196468 140731894793440 140535988574416 140537687648155 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16497] ppid=16432 vsize=11016544 memory=1827296 CPUtime=11.63 cores=0,2,4,6
/proc/16435/task/16497/stat : 16497 (java) S 16432 16435 10029 0 -1 1077944384 22650 12837 0 0 1152 4 5 2 20 0 15 0 107001658 11280941056 453874 33554432000 4194304 4196468 140731894793440 140537179666928 140537687640706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16498] ppid=16432 vsize=11016544 memory=1828 CPUtime=11.61 cores=0,2,4,6
/proc/16435/task/16498/stat : 16498 (java) S 16432 16435 10029 0 -1 1077944384 23096 12837 0 0 1150 4 5 2 20 0 15 0 107001658 11280941056 453874 33554432000 4194304 4196468 140731894793440 140537178614384 140537687640706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16499] ppid=16432 vsize=11016544 memory=1824788 CPUtime=3.76 cores=0,2,4,6
/proc/16435/task/16499/stat : 16499 (java) S 16432 16435 10029 0 -1 1077944384 20339 12837 0 0 362 7 5 2 20 0 15 0 107001658 11280941056 453874 33554432000 4194304 4196468 140731894793440 140537177561840 140537687640706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16500] ppid=16432 vsize=11016544 memory=279918320505120 CPUtime=0.07 cores=0,2,4,6
/proc/16435/task/16500/stat : 16500 (java) S 16432 16435 10029 0 -1 1077944384 3 12837 0 0 0 0 5 2 20 0 15 0 107001658 11280941056 453874 33554432000 4194304 4196468 140731894793440 140535557778528 140537687639765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16501] ppid=16432 vsize=11016544 memory=800 CPUtime=0.12 cores=0,2,4,6
/proc/16435/task/16501/stat : 16501 (java) S 16432 16435 10029 0 -1 1077944384 1173 12837 0 0 2 3 5 2 20 0 15 0 107001658 11280941056 453874 33554432000 4194304 4196468 140731894793440 140537176508720 140537687640706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
Current children cumulated CPU time: 130.48 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1815496 KiB
[startup+162.301 s]
/proc/loadavg: 1.63 1.77 1.85 3/217 16663
/proc/meminfo: memFree=23438380/32770624 swapFree=67028828/67108860
[pid=16435] ppid=16432 vsize=11016544 memory=1703148 CPUtime=191.05 cores=0,2,4,6
/proc/16435/stat : 16435 (java) S 16432 16435 10029 0 -1 1077944320 160523 12837 0 0 19012 86 5 2 20 0 15 0 107001643 11280941056 425787 33554432000 4194304 4196468 140731894793440 140731894775984 140537687629559 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
/proc/16435/statm: 2754136 425787 3541 1 0 2715789 0
[pid=16435/tid=16488] ppid=16432 vsize=11016544 memory=1705712 CPUtime=161.47 cores=0,2,4,6
/proc/16435/task/16488/stat : 16488 (java) R 16432 16435 10029 0 -1 4202560 65557 12837 0 0 16111 29 5 2 20 0 15 0 107001652 11280941056 425787 33554432000 4194304 4196468 140731894793440 140537659464432 140537253397220 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16489] ppid=16432 vsize=11016544 memory=1709304 CPUtime=0.61 cores=0,2,4,6
/proc/16435/task/16489/stat : 16489 (java) S 16432 16435 10029 0 -1 1077944384 2022 12837 0 0 46 8 5 2 20 0 15 0 107001653 11280941056 425787 33554432000 4194304 4196468 140731894793440 140537691872016 140537687639765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16490] ppid=16432 vsize=11016544 memory=1807288 CPUtime=0.57 cores=0,2,4,6
/proc/16435/task/16490/stat : 16490 (java) S 16432 16435 10029 0 -1 1077944384 2872 12837 0 0 42 8 5 2 20 0 15 0 107001653 11280941056 425787 33554432000 4194304 4196468 140731894793440 140537573137296 140537687639765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16491] ppid=16432 vsize=11016544 memory=1751372 CPUtime=0.6 cores=0,2,4,6
/proc/16435/task/16491/stat : 16491 (java) S 16432 16435 10029 0 -1 1077944384 1839 12837 0 0 45 8 5 2 20 0 15 0 107001653 11280941056 425787 33554432000 4194304 4196468 140731894793440 140537225731088 140537687639765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16492] ppid=16432 vsize=11016544 memory=1706740 CPUtime=0.56 cores=0,2,4,6
/proc/16435/task/16492/stat : 16492 (java) S 16432 16435 10029 0 -1 1077944384 2598 12837 0 0 42 7 5 2 20 0 15 0 107001653 11280941056 425787 33554432000 4194304 4196468 140731894793440 140537224678544 140537687639765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16493] ppid=16432 vsize=11016544 memory=1705712 CPUtime=0.21 cores=0,2,4,6
/proc/16435/task/16493/stat : 16493 (java) S 16432 16435 10029 0 -1 1077944384 3570 12837 0 0 13 1 5 2 20 0 15 0 107001654 11280941056 425787 33554432000 4194304 4196468 140731894793440 140537180719088 140537687640706 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16494] ppid=16432 vsize=11016544 memory=1703660 CPUtime=0.07 cores=0,2,4,6
/proc/16435/task/16494/stat : 16494 (java) S 16432 16435 10029 0 -1 1077944384 21 12837 0 0 0 0 5 2 20 0 15 0 107001655 11280941056 425787 33554432000 4194304 4196468 140731894793440 140536497300448 140537687639765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16495] ppid=16432 vsize=11016544 memory=1171 CPUtime=0.07 cores=0,2,4,6
/proc/16435/task/16495/stat : 16495 (java) S 16432 16435 10029 0 -1 1077944384 2 12837 0 0 0 0 5 2 20 0 15 0 107001655 11280941056 425787 33554432000 4194304 4196468 140731894793440 140536295973888 140537687639765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16496] ppid=16432 vsize=11016544 memory=776 CPUtime=0.07 cores=0,2,4,6
/proc/16435/task/16496/stat : 16496 (java) S 16432 16435 10029 0 -1 1077944384 3 12837 0 0 0 0 5 2 20 0 15 0 107001658 11280941056 425787 33554432000 4194304 4196468 140731894793440 140535988574416 140537687648155 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16497] ppid=16432 vsize=11016544 memory=1876 CPUtime=11.78 cores=0,2,4,6
/proc/16435/task/16497/stat : 16497 (java) S 16432 16435 10029 0 -1 1077944384 26891 12837 0 0 1166 5 5 2 20 0 15 0 107001658 11280941056 425787 33554432000 4194304 4196468 140731894793440 140537179666928 140537687640706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16498] ppid=16432 vsize=11016544 memory=27176 CPUtime=11.76 cores=0,2,4,6
/proc/16435/task/16498/stat : 16498 (java) S 16432 16435 10029 0 -1 1077944384 26183 12837 0 0 1165 4 5 2 20 0 15 0 107001658 11280941056 425787 33554432000 4194304 4196468 140731894793440 140537178614384 140537687640706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16499] ppid=16432 vsize=11016544 memory=776 CPUtime=3.83 cores=0,2,4,6
/proc/16435/task/16499/stat : 16499 (java) S 16432 16435 10029 0 -1 1077944384 25567 12837 0 0 369 7 5 2 20 0 15 0 107001658 11280941056 425787 33554432000 4194304 4196468 140731894793440 140537177561840 140537687640706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16500] ppid=16432 vsize=11016544 memory=1703660 CPUtime=0.07 cores=0,2,4,6
/proc/16435/task/16500/stat : 16500 (java) S 16432 16435 10029 0 -1 1077944384 3 12837 0 0 0 0 5 2 20 0 15 0 107001658 11280941056 425787 33554432000 4194304 4196468 140731894793440 140535557778528 140537687639765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16501] ppid=16432 vsize=11016544 memory=288230621803970871 CPUtime=0.16 cores=0,2,4,6
/proc/16435/task/16501/stat : 16501 (java) S 16432 16435 10029 0 -1 1077944384 1207 12837 0 0 4 5 5 2 20 0 15 0 107001658 11280941056 425787 33554432000 4194304 4196468 140731894793440 140537176508720 140537687640706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
Current children cumulated CPU time: 191.05 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1703148 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+222.201 s]
/proc/loadavg: 1.36 1.66 1.81 3/217 16664
/proc/meminfo: memFree=23657416/32770624 swapFree=67028828/67108860
[pid=16435] ppid=16432 vsize=11016544 memory=1663644 CPUtime=252.08 cores=0,2,4,6
/proc/16435/stat : 16435 (java) S 16432 16435 10029 0 -1 1077944320 179689 12837 0 0 25107 94 5 2 20 0 15 0 107001643 11280941056 415911 33554432000 4194304 4196468 140731894793440 140731894775984 140537687629559 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
/proc/16435/statm: 2754136 415911 3541 1 0 2715789 0
[pid=16435/tid=16488] ppid=16432 vsize=11016544 memory=6791534058613427641 CPUtime=220.96 cores=0,2,4,6
/proc/16435/task/16488/stat : 16488 (java) R 16432 16435 10029 0 -1 4202560 67323 12837 0 0 22059 30 5 2 20 0 15 0 107001652 11280941056 415911 33554432000 4194304 4196468 140731894793440 140537659463808 140537264584812 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16489] ppid=16432 vsize=11016544 memory=3028 CPUtime=0.82 cores=0,2,4,6
/proc/16435/task/16489/stat : 16489 (java) S 16432 16435 10029 0 -1 1077944384 2795 12837 0 0 66 9 5 2 20 0 15 0 107001653 11280941056 415911 33554432000 4194304 4196468 140731894793440 140537691872016 140537687639765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16490] ppid=16432 vsize=11016544 memory=1354432 CPUtime=0.79 cores=0,2,4,6
/proc/16435/task/16490/stat : 16490 (java) S 16432 16435 10029 0 -1 1077944384 4329 12837 0 0 63 9 5 2 20 0 15 0 107001653 11280941056 415911 33554432000 4194304 4196468 140731894793440 140537573137296 140537687639765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16491] ppid=16432 vsize=11016544 memory=3852 CPUtime=0.83 cores=0,2,4,6
/proc/16435/task/16491/stat : 16491 (java) S 16432 16435 10029 0 -1 1077944384 3128 12837 0 0 66 10 5 2 20 0 15 0 107001653 11280941056 415911 33554432000 4194304 4196468 140731894793440 140537225731088 140537687639765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16492] ppid=16432 vsize=11016544 memory=4096 CPUtime=0.79 cores=0,2,4,6
/proc/16435/task/16492/stat : 16492 (java) S 16432 16435 10029 0 -1 1077944384 2829 12837 0 0 63 9 5 2 20 0 15 0 107001653 11280941056 415911 33554432000 4194304 4196468 140731894793440 140537224678544 140537687639765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16493] ppid=16432 vsize=11016544 memory=288230574492221466 CPUtime=0.36 cores=0,2,4,6
/proc/16435/task/16493/stat : 16493 (java) S 16432 16435 10029 0 -1 1077944384 3970 12837 0 0 27 2 5 2 20 0 15 0 107001654 11280941056 415911 33554432000 4194304 4196468 140731894793440 140537180719088 140537687640706 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16494] ppid=16432 vsize=11016544 memory=288230621803970871 CPUtime=0.07 cores=0,2,4,6
/proc/16435/task/16494/stat : 16494 (java) S 16432 16435 10029 0 -1 1077944384 21 12837 0 0 0 0 5 2 20 0 15 0 107001655 11280941056 415911 33554432000 4194304 4196468 140731894793440 140536497300448 140537687639765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16495] ppid=16432 vsize=11016544 memory=14412609709410693 CPUtime=0.07 cores=0,2,4,6
/proc/16435/task/16495/stat : 16495 (java) S 16432 16435 10029 0 -1 1077944384 2 12837 0 0 0 0 5 2 20 0 15 0 107001655 11280941056 415911 33554432000 4194304 4196468 140731894793440 140536295973888 140537687639765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16496] ppid=16432 vsize=11016544 memory=1220 CPUtime=0.07 cores=0,2,4,6
/proc/16435/task/16496/stat : 16496 (java) S 16432 16435 10029 0 -1 1077944384 3 12837 0 0 0 0 5 2 20 0 15 0 107001658 11280941056 415911 33554432000 4194304 4196468 140731894793440 140535988574416 140537687648155 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16497] ppid=16432 vsize=11016544 memory=1612 CPUtime=11.97 cores=0,2,4,6
/proc/16435/task/16497/stat : 16497 (java) S 16432 16435 10029 0 -1 1077944384 32040 12837 0 0 1185 5 5 2 20 0 15 0 107001658 11280941056 415911 33554432000 4194304 4196468 140731894793440 140537179666928 140537687640706 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16498] ppid=16432 vsize=11016544 memory=2164 CPUtime=11.98 cores=0,2,4,6
/proc/16435/task/16498/stat : 16498 (java) S 16432 16435 10029 0 -1 1077944384 30896 12837 0 0 1186 5 5 2 20 0 15 0 107001658 11280941056 415911 33554432000 4194304 4196468 140731894793440 140537178614384 140537687640706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16499] ppid=16432 vsize=11016544 memory=3700 CPUtime=3.9 cores=0,2,4,6
/proc/16435/task/16499/stat : 16499 (java) S 16432 16435 10029 0 -1 1077944384 28841 12837 0 0 375 8 5 2 20 0 15 0 107001658 11280941056 415911 33554432000 4194304 4196468 140731894793440 140537177561840 140537687640706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16500] ppid=16432 vsize=11016544 memory=844 CPUtime=0.07 cores=0,2,4,6
/proc/16435/task/16500/stat : 16500 (java) S 16432 16435 10029 0 -1 1077944384 3 12837 0 0 0 0 5 2 20 0 15 0 107001658 11280941056 415911 33554432000 4194304 4196468 140731894793440 140535557778528 140537687639765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
[pid=16435/tid=16501] ppid=16432 vsize=11016544 memory=1460 CPUtime=0.19 cores=0,2,4,6
/proc/16435/task/16501/stat : 16501 (java) S 16432 16435 10029 0 -1 1077944384 1321 12837 0 0 6 6 5 2 20 0 15 0 107001658 11280941056 415911 33554432000 4194304 4196468 140731894793440 140537176508720 140537687640706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17940480 140731894794866 140731894797665 140731894797665 140731894800335 0
Current children cumulated CPU time: 252.08 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 1663644 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+222.24 s]
# the end of solver process 16435 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.149 s, system=0.993638 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 222.24
CPU time (s): 252.142
CPU user time (s): 251.149
CPU system time (s): 0.993638
CPU usage (%): 113.455
Max. virtual memory (cumulated for all children) (KiB): 11017204
Max. memory (cumulated for all children) (KiB): 1832956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.149
system time used= 0.993638
maximum resident set size= 1835004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 193586
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21817
involuntary context switches= 508
# summary of solver processes directly reported to runsolver:
# pid: 16435
# total CPU time (s): 252.142
# total CPU user time (s): 251.149
# total CPU system time (s): 0.993638
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.70895 second user time and 1.77364 second system time
The end