0.99/0.75 c Concrete v3.9.2.1532736233296 running
20.80/7.67 c 05:54:37.774 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25512. 'extension(10, x[1][8]=[0‥10]) :: init: true :: relation: MDD 674935302, 25 edges, 5 vertices, 36 tuples
20.80/7.67 c 05:54:37.779 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25513. 'extension(10, x[1][8]=[0‥10]) :: init: true :: relation: MDD 202149782, 11 edges, 3 vertices, 10 tuples
20.80/7.67 c 05:54:37.785 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25561. 'extension(10, x[1][10]=[0‥10]) :: init: true :: relation: MDD 1904839162, 25 edges, 5 vertices, 36 tuples
20.80/7.68 c 05:54:37.786 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25562. 'extension(10, x[1][10]=[0‥10]) :: init: true :: relation: MDD 1047854468, 11 edges, 3 vertices, 10 tuples
20.80/7.68 c 05:54:37.787 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25610. 'extension(10, x[1][37]=[0‥10]) :: init: true :: relation: MDD 1907982059, 25 edges, 5 vertices, 36 tuples
20.80/7.68 c 05:54:37.788 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25611. 'extension(10, x[1][37]=[0‥10]) :: init: true :: relation: MDD 1374359172, 11 edges, 3 vertices, 10 tuples
20.80/7.68 c 05:54:37.789 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25659. 'extension(10, x[1][40]=[0‥10]) :: init: true :: relation: MDD 1382159617, 25 edges, 5 vertices, 36 tuples
20.80/7.68 c 05:54:37.790 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25660. 'extension(10, x[1][40]=[0‥10]) :: init: true :: relation: MDD 1728372612, 11 edges, 3 vertices, 10 tuples
20.80/7.68 c 05:54:37.792 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25708. 'extension(10, x[1][58]=[0‥10]) :: init: true :: relation: MDD 1438764761, 25 edges, 5 vertices, 36 tuples
20.80/7.68 c 05:54:37.792 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25709. 'extension(10, x[1][58]=[0‥10]) :: init: true :: relation: MDD 1978471002, 11 edges, 3 vertices, 10 tuples
20.80/7.68 c 05:54:37.795 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25806. 'extension(x[0][4]=[0‥10], 10) :: init: true :: relation: MDD 1644606631, 25 edges, 5 vertices, 36 tuples
20.80/7.69 c 05:54:37.795 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25807. 'extension(10, x[2][4]=[0‥10]) :: init: true :: relation: MDD 1644606631, 25 edges, 5 vertices, 36 tuples
20.80/7.69 c 05:54:37.798 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25859. 'extension(x[0][54]=[0‥10], 10) :: init: true :: relation: MDD 776919575, 25 edges, 5 vertices, 36 tuples
20.80/7.69 c 05:54:37.799 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25912. 'extension(10, x[2][59]=[0‥10]) :: init: true :: relation: MDD 934288610, 25 edges, 5 vertices, 36 tuples
20.80/7.70 c 05:54:37.800 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25915. 'extension(10, 10) :: init: true :: relation: MDD 934288610, 25 edges, 5 vertices, 36 tuples
20.80/7.70 c 05:54:37.801 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25916. 'extension(10, 10) :: init: true :: relation: MDD 1795804759, 11 edges, 3 vertices, 10 tuples
20.80/7.70 c 05:54:37.804 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25965. 'extension(x[1][19]=[0‥10], 10) :: init: true :: relation: MDD 715504968, 25 edges, 5 vertices, 36 tuples
20.80/7.70 c 05:54:37.804 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25966. 'extension(10, x[3][19]=[0‥10]) :: init: true :: relation: MDD 715504968, 25 edges, 5 vertices, 36 tuples
21.08/7.70 c 05:54:37.807 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26020. 'extension(x[1][47]=[0‥10], 10) :: init: true :: relation: MDD 1821310436, 25 edges, 5 vertices, 36 tuples
21.08/7.70 c 05:54:37.808 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26075. 'extension(10, x[3][54]=[0‥10]) :: init: true :: relation: MDD 776919575, 25 edges, 5 vertices, 36 tuples
21.08/7.70 c 05:54:37.809 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26078. 'extension(10, 10) :: init: true :: relation: MDD 776919575, 25 edges, 5 vertices, 36 tuples
21.08/7.70 c 05:54:37.812 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26130. 'extension(x[2][2]=[0‥10], 10) :: init: true :: relation: MDD 1527317172, 25 edges, 5 vertices, 36 tuples
21.08/7.70 c 05:54:37.813 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26131. 'extension(10, x[4][2]=[0‥10]) :: init: true :: relation: MDD 1527317172, 25 edges, 5 vertices, 36 tuples
21.08/7.71 c 05:54:37.815 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26186. 'extension(x[2][14]=[0‥10], 10) :: init: true :: relation: MDD 165875610, 25 edges, 5 vertices, 36 tuples
21.08/7.71 c 05:54:37.815 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26187. 'extension(10, x[4][14]=[0‥10]) :: init: true :: relation: MDD 165875610, 25 edges, 5 vertices, 36 tuples
21.08/7.71 c 05:54:37.817 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26242. 'extension(x[2][41]=[0‥10], 10) :: init: true :: relation: MDD 1522549999, 25 edges, 5 vertices, 36 tuples
21.08/7.71 c 05:54:37.818 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26243. 'extension(10, x[4][41]=[0‥10]) :: init: true :: relation: MDD 1522549999, 25 edges, 5 vertices, 36 tuples
21.08/7.71 c 05:54:37.820 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26299. 'extension(x[2][42]=[0‥10], 10) :: init: true :: relation: MDD 283747838, 25 edges, 5 vertices, 36 tuples
21.08/7.71 c 05:54:37.821 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26300. 'extension(10, x[4][42]=[0‥10]) :: init: true :: relation: MDD 283747838, 25 edges, 5 vertices, 36 tuples
21.08/7.71 c 05:54:37.823 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26356. 'extension(x[2][44]=[0‥10], 10) :: init: true :: relation: MDD 1879644274, 25 edges, 5 vertices, 36 tuples
21.08/7.73 c 05:54:37.840 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26413. 'extension(10, x[4][47]=[0‥10]) :: init: true :: relation: MDD 1821310436, 25 edges, 5 vertices, 36 tuples
21.08/7.73 c 05:54:37.841 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26416. 'extension(10, 10) :: init: true :: relation: MDD 1821310436, 25 edges, 5 vertices, 36 tuples
21.08/7.73 c 05:54:37.843 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26470. 'extension(x[2][56]=[0‥10], 10) :: init: true :: relation: MDD 2062667890, 25 edges, 5 vertices, 36 tuples
21.08/7.73 c 05:54:37.844 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26526. 'extension(x[3][43]=[0‥10], 10) :: init: true :: relation: MDD 1010040056, 25 edges, 5 vertices, 36 tuples
21.08/7.74 c 05:54:37.846 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26584. 'extension(10, x[5][44]=[0‥10]) :: init: true :: relation: MDD 1879644274, 25 edges, 5 vertices, 36 tuples
21.08/7.74 c 05:54:37.846 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26587. 'extension(10, 10) :: init: true :: relation: MDD 1879644274, 25 edges, 5 vertices, 36 tuples
21.08/7.74 c 05:54:37.848 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26642. 'extension(x[3][52]=[0‥10], 10) :: init: true :: relation: MDD 355900787, 25 edges, 5 vertices, 36 tuples
21.08/7.74 c 05:54:37.849 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26699. 'extension(10, x[5][56]=[0‥10]) :: init: true :: relation: MDD 2062667890, 25 edges, 5 vertices, 36 tuples
21.08/7.74 c 05:54:37.850 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26702. 'extension(10, 10) :: init: true :: relation: MDD 2062667890, 25 edges, 5 vertices, 36 tuples
21.08/7.74 c 05:54:37.853 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26756. 'extension(10, wk[4][0]=[0‥1]) :: init: true :: relation: MDD 990413155, 11 edges, 3 vertices, 10 tuples
21.08/7.74 c 05:54:37.853 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26757. 'extension(x[4][4]=[0‥10], 10) :: init: true :: relation: MDD 1644606631, 25 edges, 5 vertices, 36 tuples
21.08/7.74 c 05:54:37.853 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26758. 'extension(10, x[6][4]=[0‥10]) :: init: true :: relation: MDD 1644606631, 25 edges, 5 vertices, 36 tuples
21.08/7.75 c 05:54:37.856 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26815. 'extension(10, wk[18][0]=[0‥1]) :: init: true :: relation: MDD 805495703, 11 edges, 3 vertices, 10 tuples
21.08/7.75 c 05:54:37.856 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26816. 'extension(x[4][18]=[0‥10], 10) :: init: true :: relation: MDD 1099892020, 25 edges, 5 vertices, 36 tuples
21.08/7.75 c 05:54:37.857 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26817. 'extension(10, x[6][18]=[0‥10]) :: init: true :: relation: MDD 1099892020, 25 edges, 5 vertices, 36 tuples
21.08/7.75 c 05:54:37.858 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26874. 'extension(10, wk[28][0]=[0‥1]) :: init: true :: relation: MDD 1768926513, 11 edges, 3 vertices, 10 tuples
21.08/7.75 c 05:54:37.859 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26875. 'extension(x[4][28]=[0‥10], 10) :: init: true :: relation: MDD 512934838, 25 edges, 5 vertices, 36 tuples
21.08/7.75 c 05:54:37.859 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26876. 'extension(10, x[6][28]=[0‥10]) :: init: true :: relation: MDD 512934838, 25 edges, 5 vertices, 36 tuples
21.08/7.76 c 05:54:37.862 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26933. 'extension(10, wk[29][0]=[0‥1]) :: init: true :: relation: MDD 37142680, 11 edges, 3 vertices, 10 tuples
21.08/7.76 c 05:54:37.863 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26934. 'extension(x[4][29]=[0‥10], 10) :: init: true :: relation: MDD 598551831, 25 edges, 5 vertices, 36 tuples
21.08/7.76 c 05:54:37.863 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26935. 'extension(10, x[6][29]=[0‥10]) :: init: true :: relation: MDD 598551831, 25 edges, 5 vertices, 36 tuples
21.08/7.76 c 05:54:37.865 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26992. 'extension(10, wk[43][0]=[0‥1]) :: init: true :: relation: MDD 515398215, 11 edges, 3 vertices, 10 tuples
21.08/7.76 c 05:54:37.865 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26993. 'extension(10, x[6][43]=[0‥10]) :: init: true :: relation: MDD 1010040056, 25 edges, 5 vertices, 36 tuples
21.08/7.77 c 05:54:37.866 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26996. 'extension(10, 10) :: init: true :: relation: MDD 1010040056, 25 edges, 5 vertices, 36 tuples
21.08/7.77 c 05:54:37.868 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27052. 'extension(10, wk[52][0]=[0‥1]) :: init: true :: relation: MDD 157876232, 11 edges, 3 vertices, 10 tuples
21.08/7.77 c 05:54:37.868 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27053. 'extension(10, x[6][52]=[0‥10]) :: init: true :: relation: MDD 355900787, 25 edges, 5 vertices, 36 tuples
21.08/7.77 c 05:54:37.869 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27056. 'extension(10, 10) :: init: true :: relation: MDD 355900787, 25 edges, 5 vertices, 36 tuples
21.08/7.77 c 05:54:37.871 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27111. 'extension(10, wk[25][0]=[0‥1]) :: init: true :: relation: MDD 1803976423, 11 edges, 3 vertices, 10 tuples
21.08/7.77 c 05:54:37.871 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27112. 'extension(x[5][25]=[0‥10], 10) :: init: true :: relation: MDD 587346608, 25 edges, 5 vertices, 36 tuples
21.08/7.77 c 05:54:37.872 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27170. 'extension(10, wk[36][0]=[0‥1]) :: init: true :: relation: MDD 401355610, 11 edges, 3 vertices, 10 tuples
21.08/7.77 c 05:54:37.873 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27171. 'extension(x[5][36]=[0‥10], 10) :: init: true :: relation: MDD 1502710927, 25 edges, 5 vertices, 36 tuples
21.08/7.77 c 05:54:37.874 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27229. 'extension(x[6][0]=[0‥10], 10) :: init: true :: relation: MDD 127252077, 25 edges, 5 vertices, 36 tuples
21.08/7.77 c 05:54:37.875 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27230. 'extension(10, x[8][0]=[0‥10]) :: init: true :: relation: MDD 127252077, 25 edges, 5 vertices, 36 tuples
21.08/7.77 c 05:54:37.876 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27287. 'extension(x[6][15]=[0‥10], 10) :: init: true :: relation: MDD 789948772, 25 edges, 5 vertices, 36 tuples
21.08/7.77 c 05:54:37.877 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27345. 'extension(x[6][24]=[0‥10], 10) :: init: true :: relation: MDD 1411675719, 25 edges, 5 vertices, 36 tuples
21.08/7.77 c 05:54:37.878 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27346. 'extension(10, x[8][24]=[0‥10]) :: init: true :: relation: MDD 1411675719, 25 edges, 5 vertices, 36 tuples
21.08/7.77 c 05:54:37.879 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27403. 'extension(10, x[8][25]=[0‥10]) :: init: true :: relation: MDD 587346608, 25 edges, 5 vertices, 36 tuples
21.08/7.77 c 05:54:37.880 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27406. 'extension(10, 10) :: init: true :: relation: MDD 587346608, 25 edges, 5 vertices, 36 tuples
21.08/7.77 c 05:54:37.881 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27461. 'extension(10, x[8][36]=[0‥10]) :: init: true :: relation: MDD 1502710927, 25 edges, 5 vertices, 36 tuples
21.08/7.77 c 05:54:37.882 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27464. 'extension(10, 10) :: init: true :: relation: MDD 1502710927, 25 edges, 5 vertices, 36 tuples
21.08/7.77 c 05:54:37.884 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27519. 'extension(x[7][7]=[0‥10], 10) :: init: true :: relation: MDD 1594847431, 25 edges, 5 vertices, 36 tuples
21.08/7.77 c 05:54:37.885 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27520. 'extension(10, x[9][7]=[0‥10]) :: init: true :: relation: MDD 1594847431, 25 edges, 5 vertices, 36 tuples
21.08/7.78 c 05:54:37.886 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27577. 'extension(10, x[9][15]=[0‥10]) :: init: true :: relation: MDD 789948772, 25 edges, 5 vertices, 36 tuples
21.08/7.78 c 05:54:37.887 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27580. 'extension(10, 10) :: init: true :: relation: MDD 789948772, 25 edges, 5 vertices, 36 tuples
21.08/7.78 c 05:54:37.889 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27635. 'extension(x[7][50]=[0‥10], 10) :: init: true :: relation: MDD 974168055, 25 edges, 5 vertices, 36 tuples
21.08/7.78 c 05:54:37.889 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27636. 'extension(10, x[9][50]=[0‥10]) :: init: true :: relation: MDD 974168055, 25 edges, 5 vertices, 36 tuples
21.08/7.78 c 05:54:37.891 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27693. 'extension(x[8][16]=[0‥10], 10) :: init: true :: relation: MDD 1319217746, 25 edges, 5 vertices, 36 tuples
21.08/7.78 c 05:54:37.892 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27751. 'extension(x[8][32]=[0‥10], 10) :: init: true :: relation: MDD 1114375302, 25 edges, 5 vertices, 36 tuples
21.08/7.78 c 05:54:37.892 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27752. 'extension(10, x[10][32]=[0‥10]) :: init: true :: relation: MDD 1114375302, 25 edges, 5 vertices, 36 tuples
21.08/7.78 c 05:54:37.894 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27809. 'extension(x[8][38]=[0‥10], 10) :: init: true :: relation: MDD 1236833317, 25 edges, 5 vertices, 36 tuples
21.08/7.79 c 05:54:37.894 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27810. 'extension(10, x[10][38]=[0‥10]) :: init: true :: relation: MDD 1236833317, 25 edges, 5 vertices, 36 tuples
21.08/7.79 c 05:54:37.896 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27867. 'extension(x[8][40]=[0‥10], 10) :: init: true :: relation: MDD 1382159617, 25 edges, 5 vertices, 36 tuples
21.08/7.79 c 05:54:37.896 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27868. 'extension(10, x[10][40]=[0‥10]) :: init: true :: relation: MDD 1382159617, 25 edges, 5 vertices, 36 tuples
21.08/7.79 c 05:54:37.899 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27927. 'extension(x[9][5]=[0‥10], 10) :: init: true :: relation: MDD 391479787, 25 edges, 5 vertices, 36 tuples
21.08/7.79 c 05:54:37.900 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27928. 'extension(10, x[11][5]=[0‥10]) :: init: true :: relation: MDD 391479787, 25 edges, 5 vertices, 36 tuples
21.08/7.79 c 05:54:37.901 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27985. 'extension(x[9][9]=[0‥10], 10) :: init: true :: relation: MDD 1961138094, 25 edges, 5 vertices, 36 tuples
21.08/7.79 c 05:54:37.901 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27986. 'extension(10, x[11][9]=[0‥10]) :: init: true :: relation: MDD 1961138094, 25 edges, 5 vertices, 36 tuples
21.08/7.79 c 05:54:37.903 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28043. 'extension(10, x[11][16]=[0‥10]) :: init: true :: relation: MDD 1319217746, 25 edges, 5 vertices, 36 tuples
21.08/7.79 c 05:54:37.904 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28046. 'extension(10, 10) :: init: true :: relation: MDD 1319217746, 25 edges, 5 vertices, 36 tuples
21.08/7.80 c 05:54:37.905 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28101. 'extension(x[9][23]=[0‥10], 10) :: init: true :: relation: MDD 1795135446, 25 edges, 5 vertices, 36 tuples
21.08/7.80 c 05:54:37.906 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28102. 'extension(10, x[11][23]=[0‥10]) :: init: true :: relation: MDD 1795135446, 25 edges, 5 vertices, 36 tuples
21.08/7.80 c 05:54:37.907 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28159. 'extension(x[9][27]=[0‥10], 10) :: init: true :: relation: MDD 150306380, 25 edges, 5 vertices, 36 tuples
21.08/7.80 c 05:54:37.908 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28160. 'extension(10, x[11][27]=[0‥10]) :: init: true :: relation: MDD 150306380, 25 edges, 5 vertices, 36 tuples
21.08/7.80 c 05:54:37.909 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28217. 'extension(x[9][45]=[0‥10], 10) :: init: true :: relation: MDD 23568923, 25 edges, 5 vertices, 36 tuples
21.08/7.80 c 05:54:37.910 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28218. 'extension(10, x[11][45]=[0‥10]) :: init: true :: relation: MDD 23568923, 25 edges, 5 vertices, 36 tuples
21.08/7.80 c 05:54:37.912 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28277. 'extension(x[10][3]=[0‥10], 10) :: init: true :: relation: MDD 272406527, 25 edges, 5 vertices, 36 tuples
21.08/7.80 c 05:54:37.913 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28335. 'extension(x[10][35]=[0‥10], 10) :: init: true :: relation: MDD 1735608827, 25 edges, 5 vertices, 36 tuples
21.45/7.80 c 05:54:37.915 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28393. 'extension(10, wk[3][1]=[0‥1]) :: init: true :: relation: MDD 1526901124, 11 edges, 3 vertices, 10 tuples
21.45/7.81 c 05:54:37.915 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28394. 'extension(10, x[13][3]=[0‥10]) :: init: true :: relation: MDD 272406527, 25 edges, 5 vertices, 36 tuples
21.45/7.81 c 05:54:37.915 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28397. 'extension(10, 10) :: init: true :: relation: MDD 272406527, 25 edges, 5 vertices, 36 tuples
21.45/7.81 c 05:54:37.917 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28452. 'extension(10, wk[13][1]=[0‥1]) :: init: true :: relation: MDD 1962049725, 11 edges, 3 vertices, 10 tuples
21.45/7.81 c 05:54:37.917 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28453. 'extension(x[11][13]=[0‥10], 10) :: init: true :: relation: MDD 1303427612, 25 edges, 5 vertices, 36 tuples
21.45/7.81 c 05:54:37.918 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28454. 'extension(10, x[13][13]=[0‥10]) :: init: true :: relation: MDD 1303427612, 25 edges, 5 vertices, 36 tuples
21.45/7.81 c 05:54:37.919 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28511. 'extension(10, wk[33][1]=[0‥1]) :: init: true :: relation: MDD 1402400433, 11 edges, 3 vertices, 10 tuples
21.45/7.81 c 05:54:37.919 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28512. 'extension(x[11][33]=[0‥10], 10) :: init: true :: relation: MDD 1300016164, 25 edges, 5 vertices, 36 tuples
21.45/7.81 c 05:54:37.920 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28513. 'extension(10, x[13][33]=[0‥10]) :: init: true :: relation: MDD 1300016164, 25 edges, 5 vertices, 36 tuples
21.45/7.81 c 05:54:37.921 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28570. 'extension(10, wk[35][1]=[0‥1]) :: init: true :: relation: MDD 1753607449, 11 edges, 3 vertices, 10 tuples
21.45/7.81 c 05:54:37.921 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28571. 'extension(10, x[13][35]=[0‥10]) :: init: true :: relation: MDD 1735608827, 25 edges, 5 vertices, 36 tuples
21.45/7.81 c 05:54:37.922 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28574. 'extension(10, 10) :: init: true :: relation: MDD 1735608827, 25 edges, 5 vertices, 36 tuples
21.45/7.81 c 05:54:37.924 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28629. 'extension(10, wk[6][1]=[0‥1]) :: init: true :: relation: MDD 2089317615, 11 edges, 3 vertices, 10 tuples
21.45/7.81 c 05:54:37.924 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28630. 'extension(x[12][6]=[0‥10], 10) :: init: true :: relation: MDD 1561651614, 25 edges, 5 vertices, 36 tuples
21.45/7.81 c 05:54:37.925 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28631. 'extension(10, x[14][6]=[0‥10]) :: init: true :: relation: MDD 1561651614, 25 edges, 5 vertices, 36 tuples
21.45/7.82 c 05:54:37.926 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28688. 'extension(10, wk[9][1]=[0‥1]) :: init: true :: relation: MDD 1763010538, 11 edges, 3 vertices, 10 tuples
21.45/7.82 c 05:54:37.926 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28689. 'extension(x[12][9]=[0‥10], 10) :: init: true :: relation: MDD 1961138094, 25 edges, 5 vertices, 36 tuples
21.45/7.82 c 05:54:37.927 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28690. 'extension(10, x[14][9]=[0‥10]) :: init: true :: relation: MDD 1961138094, 25 edges, 5 vertices, 36 tuples
21.45/7.82 c 05:54:37.929 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28747. 'extension(10, wk[10][1]=[0‥1]) :: init: true :: relation: MDD 677007331, 11 edges, 3 vertices, 10 tuples
21.45/7.82 c 05:54:37.929 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28748. 'extension(x[12][10]=[0‥10], 10) :: init: true :: relation: MDD 1904839162, 25 edges, 5 vertices, 36 tuples
21.45/7.82 c 05:54:37.929 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28749. 'extension(10, x[14][10]=[0‥10]) :: init: true :: relation: MDD 1904839162, 25 edges, 5 vertices, 36 tuples
21.45/7.82 c 05:54:37.931 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28806. 'extension(10, wk[39][1]=[0‥1]) :: init: true :: relation: MDD 1425454633, 11 edges, 3 vertices, 10 tuples
21.45/7.82 c 05:54:37.931 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28807. 'extension(x[12][39]=[0‥10], 10) :: init: true :: relation: MDD 1243470467, 25 edges, 5 vertices, 36 tuples
21.45/7.82 c 05:54:37.933 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28865. 'extension(x[13][24]=[0‥10], 10) :: init: true :: relation: MDD 1411675719, 25 edges, 5 vertices, 36 tuples
21.45/7.82 c 05:54:37.933 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28866. 'extension(10, x[15][24]=[0‥10]) :: init: true :: relation: MDD 1411675719, 25 edges, 5 vertices, 36 tuples
21.45/7.82 c 05:54:37.935 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28923. 'extension(x[13][34]=[0‥10], 10) :: init: true :: relation: MDD 1991010480, 25 edges, 5 vertices, 36 tuples
21.45/7.83 c 05:54:37.935 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28924. 'extension(10, x[15][34]=[0‥10]) :: init: true :: relation: MDD 1991010480, 25 edges, 5 vertices, 36 tuples
21.45/7.83 c 05:54:37.937 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28981. 'extension(10, x[15][39]=[0‥10]) :: init: true :: relation: MDD 1243470467, 25 edges, 5 vertices, 36 tuples
21.45/7.83 c 05:54:37.937 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28984. 'extension(10, 10) :: init: true :: relation: MDD 1243470467, 25 edges, 5 vertices, 36 tuples
21.45/7.84 c 05:54:37.939 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29039. 'extension(x[13][45]=[0‥10], 10) :: init: true :: relation: MDD 23568923, 25 edges, 5 vertices, 36 tuples
21.45/7.84 c 05:54:37.939 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29040. 'extension(10, x[15][45]=[0‥10]) :: init: true :: relation: MDD 23568923, 25 edges, 5 vertices, 36 tuples
21.45/7.84 c 05:54:37.941 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29099. 'extension(x[13][55]=[0‥10], 10) :: init: true :: relation: MDD 2040477002, 25 edges, 5 vertices, 36 tuples
21.45/7.84 c 05:54:37.942 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29100. 'extension(10, x[15][55]=[0‥10]) :: init: true :: relation: MDD 2040477002, 25 edges, 5 vertices, 36 tuples
21.45/7.84 c 05:54:37.944 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29157. 'extension(x[14][18]=[0‥10], 10) :: init: true :: relation: MDD 1099892020, 25 edges, 5 vertices, 36 tuples
21.45/7.84 c 05:54:37.944 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29158. 'extension(10, x[16][18]=[0‥10]) :: init: true :: relation: MDD 1099892020, 25 edges, 5 vertices, 36 tuples
21.45/7.84 c 05:54:37.946 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29215. 'extension(x[14][27]=[0‥10], 10) :: init: true :: relation: MDD 150306380, 25 edges, 5 vertices, 36 tuples
21.45/7.84 c 05:54:37.946 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29216. 'extension(10, x[16][27]=[0‥10]) :: init: true :: relation: MDD 150306380, 25 edges, 5 vertices, 36 tuples
21.45/7.84 c 05:54:37.948 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29273. 'extension(x[14][48]=[0‥10], 10) :: init: true :: relation: MDD 1172390062, 25 edges, 5 vertices, 36 tuples
21.45/7.84 c 05:54:37.950 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29333. 'extension(x[15][2]=[0‥10], 10) :: init: true :: relation: MDD 1527317172, 25 edges, 5 vertices, 36 tuples
21.45/7.84 c 05:54:37.950 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29334. 'extension(10, x[17][2]=[0‥10]) :: init: true :: relation: MDD 1527317172, 25 edges, 5 vertices, 36 tuples
21.45/7.84 c 05:54:37.952 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29391. 'extension(x[15][17]=[0‥10], 10) :: init: true :: relation: MDD 983253408, 25 edges, 5 vertices, 36 tuples
21.45/7.84 c 05:54:37.953 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29449. 'extension(x[15][38]=[0‥10], 10) :: init: true :: relation: MDD 1236833317, 25 edges, 5 vertices, 36 tuples
21.45/7.84 c 05:54:37.953 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29450. 'extension(10, x[17][38]=[0‥10]) :: init: true :: relation: MDD 1236833317, 25 edges, 5 vertices, 36 tuples
21.45/7.85 c 05:54:37.955 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29507. 'extension(10, x[17][48]=[0‥10]) :: init: true :: relation: MDD 1172390062, 25 edges, 5 vertices, 36 tuples
21.45/7.85 c 05:54:37.956 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29510. 'extension(10, 10) :: init: true :: relation: MDD 1172390062, 25 edges, 5 vertices, 36 tuples
21.45/7.85 c 05:54:37.958 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29567. 'extension(x[15][50]=[0‥10], 10) :: init: true :: relation: MDD 974168055, 25 edges, 5 vertices, 36 tuples
21.45/7.85 c 05:54:37.958 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29568. 'extension(10, x[17][50]=[0‥10]) :: init: true :: relation: MDD 974168055, 25 edges, 5 vertices, 36 tuples
21.45/7.85 c 05:54:37.961 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29625. 'extension(x[16][5]=[0‥10], 10) :: init: true :: relation: MDD 391479787, 25 edges, 5 vertices, 36 tuples
21.45/7.85 c 05:54:37.961 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29626. 'extension(10, x[18][5]=[0‥10]) :: init: true :: relation: MDD 391479787, 25 edges, 5 vertices, 36 tuples
21.45/7.85 c 05:54:37.963 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29683. 'extension(10, x[18][17]=[0‥10]) :: init: true :: relation: MDD 983253408, 25 edges, 5 vertices, 36 tuples
21.45/7.85 c 05:54:37.964 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29686. 'extension(10, 10) :: init: true :: relation: MDD 983253408, 25 edges, 5 vertices, 36 tuples
21.45/7.86 c 05:54:37.965 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29741. 'extension(x[16][19]=[0‥10], 10) :: init: true :: relation: MDD 715504968, 25 edges, 5 vertices, 36 tuples
21.45/7.86 c 05:54:37.965 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29742. 'extension(10, x[18][19]=[0‥10]) :: init: true :: relation: MDD 715504968, 25 edges, 5 vertices, 36 tuples
21.45/7.86 c 05:54:37.967 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29799. 'extension(x[16][28]=[0‥10], 10) :: init: true :: relation: MDD 512934838, 25 edges, 5 vertices, 36 tuples
21.45/7.86 c 05:54:37.968 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29800. 'extension(10, x[18][28]=[0‥10]) :: init: true :: relation: MDD 512934838, 25 edges, 5 vertices, 36 tuples
21.45/7.86 c 05:54:37.970 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29857. 'extension(x[16][33]=[0‥10], 10) :: init: true :: relation: MDD 1300016164, 25 edges, 5 vertices, 36 tuples
21.45/7.86 c 05:54:37.970 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29858. 'extension(10, x[18][33]=[0‥10]) :: init: true :: relation: MDD 1300016164, 25 edges, 5 vertices, 36 tuples
21.45/7.86 c 05:54:37.972 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29915. 'extension(x[16][55]=[0‥10], 10) :: init: true :: relation: MDD 2040477002, 25 edges, 5 vertices, 36 tuples
21.45/7.86 c 05:54:37.972 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29916. 'extension(10, x[18][55]=[0‥10]) :: init: true :: relation: MDD 2040477002, 25 edges, 5 vertices, 36 tuples
21.45/7.87 c 05:54:37.975 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29973. 'extension(x[17][42]=[0‥10], 10) :: init: true :: relation: MDD 283747838, 25 edges, 5 vertices, 36 tuples
21.45/7.87 c 05:54:37.975 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29974. 'extension(10, x[19][42]=[0‥10]) :: init: true :: relation: MDD 283747838, 25 edges, 5 vertices, 36 tuples
21.45/7.87 c 05:54:37.977 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30033. 'extension(x[17][46]=[0‥10], 10) :: init: true :: relation: MDD 71364493, 25 edges, 5 vertices, 36 tuples
21.45/7.87 c 05:54:37.978 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30093. 'extension(x[17][53]=[0‥10], 10) :: init: true :: relation: MDD 685438214, 25 edges, 5 vertices, 36 tuples
21.45/7.87 c 05:54:37.979 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30151. 'extension(10, wk[26][2]=[0‥1]) :: init: true :: relation: MDD 1402751024, 11 edges, 3 vertices, 10 tuples
21.45/7.87 c 05:54:37.980 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30152. 'extension(x[18][26]=[0‥10], 10) :: init: true :: relation: MDD 1534340040, 25 edges, 5 vertices, 36 tuples
21.45/7.87 c 05:54:37.980 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30210. 'extension(10, wk[46][2]=[0‥1]) :: init: true :: relation: MDD 607123271, 11 edges, 3 vertices, 10 tuples
21.45/7.87 c 05:54:37.981 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30211. 'extension(10, x[20][46]=[0‥10]) :: init: true :: relation: MDD 71364493, 25 edges, 5 vertices, 36 tuples
21.45/7.87 c 05:54:37.981 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30214. 'extension(10, 10) :: init: true :: relation: MDD 71364493, 25 edges, 5 vertices, 36 tuples
21.45/7.87 c 05:54:37.983 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30271. 'extension(10, wk[49][2]=[0‥1]) :: init: true :: relation: MDD 435930516, 11 edges, 3 vertices, 10 tuples
21.45/7.87 c 05:54:37.983 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30272. 'extension(x[18][49]=[0‥10], 10) :: init: true :: relation: MDD 88286953, 25 edges, 5 vertices, 36 tuples
21.45/7.88 c 05:54:37.984 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30332. 'extension(10, wk[51][2]=[0‥1]) :: init: true :: relation: MDD 39642165, 11 edges, 3 vertices, 10 tuples
21.45/7.88 c 05:54:37.984 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30333. 'extension(x[18][51]=[0‥10], 10) :: init: true :: relation: MDD 1180773372, 25 edges, 5 vertices, 36 tuples
21.45/7.88 c 05:54:37.985 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30391. 'extension(10, wk[53][2]=[0‥1]) :: init: true :: relation: MDD 1787450654, 11 edges, 3 vertices, 10 tuples
21.45/7.88 c 05:54:37.985 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30392. 'extension(10, x[20][53]=[0‥10]) :: init: true :: relation: MDD 685438214, 25 edges, 5 vertices, 36 tuples
21.45/7.88 c 05:54:37.986 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30395. 'extension(10, 10) :: init: true :: relation: MDD 685438214, 25 edges, 5 vertices, 36 tuples
21.45/7.88 c 05:54:37.988 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30450. 'extension(10, wk[26][2]=[0‥1]) :: init: true :: relation: MDD 42684986, 11 edges, 3 vertices, 10 tuples
21.45/7.88 c 05:54:37.988 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30451. 'extension(10, x[21][26]=[0‥10]) :: init: true :: relation: MDD 1534340040, 25 edges, 5 vertices, 36 tuples
21.45/7.88 c 05:54:37.989 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30454. 'extension(10, 10) :: init: true :: relation: MDD 1534340040, 25 edges, 5 vertices, 36 tuples
21.45/7.88 c 05:54:37.990 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30509. 'extension(10, wk[29][2]=[0‥1]) :: init: true :: relation: MDD 326362094, 11 edges, 3 vertices, 10 tuples
21.45/7.88 c 05:54:37.990 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30510. 'extension(x[19][29]=[0‥10], 10) :: init: true :: relation: MDD 598551831, 25 edges, 5 vertices, 36 tuples
21.45/7.88 c 05:54:37.991 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30511. 'extension(10, x[21][29]=[0‥10]) :: init: true :: relation: MDD 598551831, 25 edges, 5 vertices, 36 tuples
21.45/7.88 c 05:54:37.992 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30568. 'extension(10, wk[49][2]=[0‥1]) :: init: true :: relation: MDD 2001568374, 11 edges, 3 vertices, 10 tuples
21.45/7.88 c 05:54:37.993 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30569. 'extension(10, x[21][49]=[0‥10]) :: init: true :: relation: MDD 88286953, 25 edges, 5 vertices, 36 tuples
21.45/7.88 c 05:54:37.993 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30572. 'extension(10, 10) :: init: true :: relation: MDD 88286953, 25 edges, 5 vertices, 36 tuples
21.45/7.88 c 05:54:37.995 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30629. 'extension(10, wk[51][2]=[0‥1]) :: init: true :: relation: MDD 430798309, 11 edges, 3 vertices, 10 tuples
21.45/7.89 c 05:54:37.995 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30630. 'extension(10, x[21][51]=[0‥10]) :: init: true :: relation: MDD 1180773372, 25 edges, 5 vertices, 36 tuples
21.45/7.89 c 05:54:37.996 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30633. 'extension(10, 10) :: init: true :: relation: MDD 1180773372, 25 edges, 5 vertices, 36 tuples
21.45/7.89 c 05:54:37.997 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30688. 'extension(x[20][22]=[0‥10], 10) :: init: true :: relation: MDD 784882213, 25 edges, 5 vertices, 36 tuples
21.45/7.89 c 05:54:37.998 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30689. 'extension(10, x[22][22]=[0‥10]) :: init: true :: relation: MDD 784882213, 25 edges, 5 vertices, 36 tuples
21.45/7.89 c 05:54:37.999 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30746. 'extension(x[20][32]=[0‥10], 10) :: init: true :: relation: MDD 1114375302, 25 edges, 5 vertices, 36 tuples
21.45/7.89 c 05:54:37.999 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30747. 'extension(10, x[22][32]=[0‥10]) :: init: true :: relation: MDD 1114375302, 25 edges, 5 vertices, 36 tuples
21.45/7.89 c 05:54:38.002 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30804. 'extension(x[21][7]=[0‥10], 10) :: init: true :: relation: MDD 1594847431, 25 edges, 5 vertices, 36 tuples
21.45/7.89 c 05:54:38.002 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30805. 'extension(10, x[23][7]=[0‥10]) :: init: true :: relation: MDD 1594847431, 25 edges, 5 vertices, 36 tuples
21.45/7.89 c 05:54:38.004 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30862. 'extension(x[21][20]=[0‥10], 10) :: init: true :: relation: MDD 516459169, 25 edges, 5 vertices, 36 tuples
21.45/7.89 c 05:54:38.004 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30920. 'extension(x[21][23]=[0‥10], 10) :: init: true :: relation: MDD 1795135446, 25 edges, 5 vertices, 36 tuples
21.45/7.90 c 05:54:38.005 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30921. 'extension(10, x[23][23]=[0‥10]) :: init: true :: relation: MDD 1795135446, 25 edges, 5 vertices, 36 tuples
21.45/7.90 c 05:54:38.007 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30978. 'extension(x[22][8]=[0‥10], 10) :: init: true :: relation: MDD 674935302, 25 edges, 5 vertices, 36 tuples
21.45/7.90 c 05:54:38.007 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30979. 'extension(10, x[24][8]=[0‥10]) :: init: true :: relation: MDD 674935302, 25 edges, 5 vertices, 36 tuples
21.45/7.90 c 05:54:38.009 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31035. 'extension(10, x[24][20]=[0‥10]) :: init: true :: relation: MDD 516459169, 25 edges, 5 vertices, 36 tuples
21.45/7.90 c 05:54:38.010 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31038. 'extension(10, 10) :: init: true :: relation: MDD 516459169, 25 edges, 5 vertices, 36 tuples
21.45/7.90 c 05:54:38.011 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31092. 'extension(x[22][21]=[0‥10], 10) :: init: true :: relation: MDD 1794607688, 25 edges, 5 vertices, 36 tuples
21.45/7.90 c 05:54:38.012 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31149. 'extension(x[22][31]=[0‥10], 10) :: init: true :: relation: MDD 416242770, 25 edges, 5 vertices, 36 tuples
21.45/7.90 c 05:54:38.013 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31206. 'extension(x[22][41]=[0‥10], 10) :: init: true :: relation: MDD 1522549999, 25 edges, 5 vertices, 36 tuples
21.45/7.90 c 05:54:38.013 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31207. 'extension(10, x[24][41]=[0‥10]) :: init: true :: relation: MDD 1522549999, 25 edges, 5 vertices, 36 tuples
21.45/7.91 c 05:54:38.015 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31264. 'extension(x[23][0]=[0‥10], 10) :: init: true :: relation: MDD 127252077, 25 edges, 5 vertices, 36 tuples
21.78/7.91 c 05:54:38.016 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31265. 'extension(10, x[25][0]=[0‥10]) :: init: true :: relation: MDD 127252077, 25 edges, 5 vertices, 36 tuples
21.78/7.91 c 05:54:38.018 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31320. 'extension(x[23][11]=[0‥10], 10) :: init: true :: relation: MDD 2016400644, 25 edges, 5 vertices, 36 tuples
21.78/7.91 c 05:54:38.019 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31376. 'extension(10, x[25][21]=[0‥10]) :: init: true :: relation: MDD 1794607688, 25 edges, 5 vertices, 36 tuples
21.78/7.91 c 05:54:38.019 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31379. 'extension(10, 10) :: init: true :: relation: MDD 1794607688, 25 edges, 5 vertices, 36 tuples
21.78/7.91 c 05:54:38.020 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31432. 'extension(x[23][30]=[0‥10], 10) :: init: true :: relation: MDD 302905744, 25 edges, 5 vertices, 36 tuples
21.78/7.91 c 05:54:38.021 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31488. 'extension(10, x[25][31]=[0‥10]) :: init: true :: relation: MDD 416242770, 25 edges, 5 vertices, 36 tuples
21.78/7.91 c 05:54:38.021 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31491. 'extension(10, 10) :: init: true :: relation: MDD 416242770, 25 edges, 5 vertices, 36 tuples
21.78/7.91 c 05:54:38.023 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31544. 'extension(x[23][37]=[0‥10], 10) :: init: true :: relation: MDD 1907982059, 25 edges, 5 vertices, 36 tuples
21.78/7.91 c 05:54:38.023 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31545. 'extension(10, x[25][37]=[0‥10]) :: init: true :: relation: MDD 1907982059, 25 edges, 5 vertices, 36 tuples
21.78/7.91 c 05:54:38.025 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31600. 'extension(x[23][57]=[0‥10], 10) :: init: true :: relation: MDD 1313359405, 25 edges, 5 vertices, 36 tuples
21.78/7.92 c 05:54:38.026 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31656. 'extension(x[24][1]=[0‥10], 10) :: init: true :: relation: MDD 1903728000, 25 edges, 5 vertices, 36 tuples
21.78/7.92 c 05:54:38.026 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31711. 'extension(10, x[26][11]=[0‥10]) :: init: true :: relation: MDD 2016400644, 25 edges, 5 vertices, 36 tuples
21.78/7.92 c 05:54:38.027 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31714. 'extension(10, 10) :: init: true :: relation: MDD 2016400644, 25 edges, 5 vertices, 36 tuples
21.78/7.92 c 05:54:38.028 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31766. 'extension(x[24][12]=[0‥10], 10) :: init: true :: relation: MDD 1452493025, 25 edges, 5 vertices, 36 tuples
21.78/7.92 c 05:54:38.029 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31821. 'extension(x[24][14]=[0‥10], 10) :: init: true :: relation: MDD 165875610, 25 edges, 5 vertices, 36 tuples
21.78/7.92 c 05:54:38.029 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31822. 'extension(10, x[26][14]=[0‥10]) :: init: true :: relation: MDD 165875610, 25 edges, 5 vertices, 36 tuples
21.78/7.92 c 05:54:38.031 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31876. 'extension(10, x[26][30]=[0‥10]) :: init: true :: relation: MDD 302905744, 25 edges, 5 vertices, 36 tuples
21.78/7.92 c 05:54:38.031 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31879. 'extension(10, 10) :: init: true :: relation: MDD 302905744, 25 edges, 5 vertices, 36 tuples
21.78/7.92 c 05:54:38.032 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31931. 'extension(x[24][34]=[0‥10], 10) :: init: true :: relation: MDD 1991010480, 25 edges, 5 vertices, 36 tuples
21.78/7.92 c 05:54:38.033 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31932. 'extension(10, x[26][34]=[0‥10]) :: init: true :: relation: MDD 1991010480, 25 edges, 5 vertices, 36 tuples
21.78/7.92 c 05:54:38.034 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31986. 'extension(10, x[26][57]=[0‥10]) :: init: true :: relation: MDD 1313359405, 25 edges, 5 vertices, 36 tuples
21.78/7.93 c 05:54:38.035 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31989. 'extension(10, 10) :: init: true :: relation: MDD 1313359405, 25 edges, 5 vertices, 36 tuples
21.78/7.93 c 05:54:38.037 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32041. 'extension(10, wk[1][3]=[0‥1]) :: init: true :: relation: MDD 518349613, 11 edges, 3 vertices, 10 tuples
21.78/7.93 c 05:54:38.037 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32042. 'extension(10, x[27][1]=[0‥10]) :: init: true :: relation: MDD 1903728000, 25 edges, 5 vertices, 36 tuples
21.78/7.93 c 05:54:38.037 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32044. 'extension(10, 10) :: init: true :: relation: MDD 1903728000, 25 edges, 5 vertices, 36 tuples
21.78/7.93 c 05:54:38.038 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32095. 'extension(10, wk[12][3]=[0‥1]) :: init: true :: relation: MDD 1119955774, 11 edges, 3 vertices, 10 tuples
21.78/7.93 c 05:54:38.039 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32096. 'extension(10, x[27][12]=[0‥10]) :: init: true :: relation: MDD 1452493025, 25 edges, 5 vertices, 36 tuples
21.78/7.93 c 05:54:38.039 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32098. 'extension(10, 10) :: init: true :: relation: MDD 1452493025, 25 edges, 5 vertices, 36 tuples
21.78/7.93 c 05:54:38.040 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32149. 'extension(10, wk[22][3]=[0‥1]) :: init: true :: relation: MDD 1800031808, 11 edges, 3 vertices, 10 tuples
21.78/7.93 c 05:54:38.041 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32150. 'extension(x[25][22]=[0‥10], 10) :: init: true :: relation: MDD 784882213, 25 edges, 5 vertices, 36 tuples
21.78/7.93 c 05:54:38.041 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32151. 'extension(10, x[27][22]=[0‥10]) :: init: true :: relation: MDD 784882213, 25 edges, 5 vertices, 36 tuples
21.78/7.93 c 05:54:38.042 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32203. 'extension(10, wk[58][3]=[0‥1]) :: init: true :: relation: MDD 157990006, 11 edges, 3 vertices, 10 tuples
21.78/7.93 c 05:54:38.043 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32204. 'extension(x[25][58]=[0‥10], 10) :: init: true :: relation: MDD 1438764761, 25 edges, 5 vertices, 36 tuples
21.78/7.93 c 05:54:38.043 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32205. 'extension(10, x[27][58]=[0‥10]) :: init: true :: relation: MDD 1438764761, 25 edges, 5 vertices, 36 tuples
21.78/7.93 c 05:54:38.045 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32257. 'extension(10, wk[6][3]=[0‥1]) :: init: true :: relation: MDD 1669104653, 11 edges, 3 vertices, 10 tuples
21.78/7.94 c 05:54:38.045 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32258. 'extension(x[26][6]=[0‥10], 10) :: init: true :: relation: MDD 1561651614, 25 edges, 5 vertices, 36 tuples
21.78/7.94 c 05:54:38.045 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32259. 'extension(10, x[26][6]=[0‥10]) :: init: true :: relation: MDD 1957005830, 11 edges, 3 vertices, 10 tuples
21.78/7.94 c 05:54:38.046 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32307. 'extension(10, wk[13][3]=[0‥1]) :: init: true :: relation: MDD 1916681239, 11 edges, 3 vertices, 10 tuples
21.78/7.94 c 05:54:38.047 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32308. 'extension(x[26][13]=[0‥10], 10) :: init: true :: relation: MDD 1303427612, 25 edges, 5 vertices, 36 tuples
21.78/7.94 c 05:54:38.047 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32309. 'extension(10, x[26][13]=[0‥10]) :: init: true :: relation: MDD 1703254852, 11 edges, 3 vertices, 10 tuples
21.78/7.95 c 05:54:38.064 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32478. 'extension(x[1][8]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.95 c 05:54:38.064 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32480. 'extension(x[1][8]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.96 c 05:54:38.065 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32486. 'extension(x[1][10]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.96 c 05:54:38.065 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32488. 'extension(x[1][10]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.96 c 05:54:38.065 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32494. 'extension(x[1][37]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.96 c 05:54:38.066 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32496. 'extension(x[1][37]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.96 c 05:54:38.066 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32502. 'extension(x[1][40]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.96 c 05:54:38.066 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32504. 'extension(x[1][40]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.96 c 05:54:38.066 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32510. 'extension(x[1][58]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.96 c 05:54:38.067 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32512. 'extension(x[1][58]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.96 c 05:54:38.067 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32518. 'extension(x[0][4]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.96 c 05:54:38.067 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32520. 'extension(x[2][4]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.96 c 05:54:38.068 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32532. 'extension(x[0][54]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.96 c 05:54:38.068 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32536. 'extension(x[2][59]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.96 c 05:54:38.069 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32546. 'extension(x[1][19]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.96 c 05:54:38.069 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32548. 'extension(x[3][19]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.96 c 05:54:38.070 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32562. 'extension(x[1][47]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.96 c 05:54:38.074 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32566. 'extension(x[3][54]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.97 c 05:54:38.075 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32580. 'extension(x[2][2]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.97 c 05:54:38.075 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32582. 'extension(x[4][2]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.97 c 05:54:38.076 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32596. 'extension(x[2][14]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.97 c 05:54:38.076 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32598. 'extension(x[4][14]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.97 c 05:54:38.076 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32612. 'extension(x[2][41]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.97 c 05:54:38.077 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32614. 'extension(x[4][41]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.97 c 05:54:38.077 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32630. 'extension(x[2][42]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.97 c 05:54:38.077 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32632. 'extension(x[4][42]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.97 c 05:54:38.078 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32648. 'extension(x[2][44]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.97 c 05:54:38.078 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32654. 'extension(x[4][47]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.97 c 05:54:38.079 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32670. 'extension(x[2][56]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.97 c 05:54:38.079 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32676. 'extension(x[3][43]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.97 c 05:54:38.080 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32682. 'extension(x[5][44]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.97 c 05:54:38.080 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32698. 'extension(x[3][52]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.97 c 05:54:38.081 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32704. 'extension(x[5][56]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.97 c 05:54:38.081 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32718. 'extension(wk[4][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.78/7.97 c 05:54:38.081 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32720. 'extension(x[4][4]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.97 c 05:54:38.082 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32722. 'extension(x[6][4]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.97 c 05:54:38.082 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32736. 'extension(wk[18][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.78/7.97 c 05:54:38.082 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32738. 'extension(x[4][18]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.97 c 05:54:38.082 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32740. 'extension(x[6][18]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.97 c 05:54:38.083 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32754. 'extension(wk[28][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.78/7.98 c 05:54:38.083 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32756. 'extension(x[4][28]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.98 c 05:54:38.083 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32758. 'extension(x[6][28]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.98 c 05:54:38.084 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32772. 'extension(wk[29][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.78/7.98 c 05:54:38.084 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32774. 'extension(x[4][29]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.98 c 05:54:38.084 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32776. 'extension(x[6][29]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.98 c 05:54:38.085 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32790. 'extension(wk[43][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.78/7.98 c 05:54:38.085 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32792. 'extension(x[6][43]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.98 c 05:54:38.086 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32808. 'extension(wk[52][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.78/7.98 c 05:54:38.086 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32810. 'extension(x[6][52]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.98 c 05:54:38.086 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32824. 'extension(wk[25][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.78/7.98 c 05:54:38.087 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32826. 'extension(x[5][25]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.98 c 05:54:38.087 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32832. 'extension(wk[36][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.78/7.98 c 05:54:38.087 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32834. 'extension(x[5][36]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.98 c 05:54:38.088 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32840. 'extension(x[6][0]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.98 c 05:54:38.088 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32842. 'extension(x[8][0]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.98 c 05:54:38.088 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32856. 'extension(x[6][15]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.98 c 05:54:38.089 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32862. 'extension(x[6][24]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.98 c 05:54:38.089 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32864. 'extension(x[8][24]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.98 c 05:54:38.089 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32878. 'extension(x[8][25]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.98 c 05:54:38.090 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32892. 'extension(x[8][36]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.98 c 05:54:38.090 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32906. 'extension(x[7][7]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.98 c 05:54:38.090 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32908. 'extension(x[9][7]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.98 c 05:54:38.091 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32922. 'extension(x[9][15]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.98 c 05:54:38.092 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32936. 'extension(x[7][50]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.98 c 05:54:38.092 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32938. 'extension(x[9][50]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.98 c 05:54:38.092 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32952. 'extension(x[8][16]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.98 c 05:54:38.093 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32958. 'extension(x[8][32]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.98 c 05:54:38.093 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32960. 'extension(x[10][32]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.98 c 05:54:38.093 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32974. 'extension(x[8][38]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.98 c 05:54:38.093 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32976. 'extension(x[10][38]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.98 c 05:54:38.094 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32990. 'extension(x[8][40]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.98 c 05:54:38.094 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 32992. 'extension(x[10][40]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.98 c 05:54:38.095 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33008. 'extension(x[9][5]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.99 c 05:54:38.095 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33010. 'extension(x[11][5]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.99 c 05:54:38.096 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33024. 'extension(x[9][9]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.99 c 05:54:38.096 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33026. 'extension(x[11][9]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.99 c 05:54:38.096 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33040. 'extension(x[11][16]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.99 c 05:54:38.097 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33054. 'extension(x[9][23]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.99 c 05:54:38.097 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33056. 'extension(x[11][23]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.99 c 05:54:38.098 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33070. 'extension(x[9][27]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.99 c 05:54:38.098 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33072. 'extension(x[11][27]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.99 c 05:54:38.098 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33086. 'extension(x[9][45]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.99 c 05:54:38.099 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33088. 'extension(x[11][45]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.99 c 05:54:38.099 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33104. 'extension(x[10][3]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.99 c 05:54:38.100 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33110. 'extension(x[10][35]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.99 c 05:54:38.100 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33116. 'extension(wk[3][1]=[0‥1]) :: init: true :: relation: Empty MDD
21.78/7.99 c 05:54:38.100 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33118. 'extension(x[13][3]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.99 c 05:54:38.101 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33132. 'extension(wk[13][1]=[0‥1]) :: init: true :: relation: Empty MDD
21.78/7.99 c 05:54:38.101 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33134. 'extension(x[11][13]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.99 c 05:54:38.101 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33136. 'extension(x[13][13]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.99 c 05:54:38.102 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33150. 'extension(wk[33][1]=[0‥1]) :: init: true :: relation: Empty MDD
21.78/7.99 c 05:54:38.102 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33152. 'extension(x[11][33]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.99 c 05:54:38.102 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33154. 'extension(x[13][33]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.99 c 05:54:38.102 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33168. 'extension(wk[35][1]=[0‥1]) :: init: true :: relation: Empty MDD
21.78/7.99 c 05:54:38.103 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33170. 'extension(x[13][35]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.99 c 05:54:38.103 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33184. 'extension(wk[6][1]=[0‥1]) :: init: true :: relation: Empty MDD
21.78/7.99 c 05:54:38.103 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33186. 'extension(x[12][6]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.99 c 05:54:38.103 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33188. 'extension(x[14][6]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.99 c 05:54:38.104 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33202. 'extension(wk[9][1]=[0‥1]) :: init: true :: relation: Empty MDD
21.78/7.99 c 05:54:38.104 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33204. 'extension(x[12][9]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.99 c 05:54:38.104 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33206. 'extension(x[14][9]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/7.99 c 05:54:38.105 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33220. 'extension(wk[10][1]=[0‥1]) :: init: true :: relation: Empty MDD
21.78/8.00 c 05:54:38.105 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33222. 'extension(x[12][10]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/8.00 c 05:54:38.105 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33224. 'extension(x[14][10]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/8.00 c 05:54:38.106 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33238. 'extension(wk[39][1]=[0‥1]) :: init: true :: relation: Empty MDD
21.78/8.00 c 05:54:38.106 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33240. 'extension(x[12][39]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/8.00 c 05:54:38.106 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33246. 'extension(x[13][24]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/8.00 c 05:54:38.106 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33248. 'extension(x[15][24]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/8.00 c 05:54:38.107 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33262. 'extension(x[13][34]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/8.00 c 05:54:38.107 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33264. 'extension(x[15][34]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/8.00 c 05:54:38.108 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33278. 'extension(x[15][39]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/8.00 c 05:54:38.108 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33292. 'extension(x[13][45]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/8.00 c 05:54:38.108 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33294. 'extension(x[15][45]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/8.00 c 05:54:38.109 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33310. 'extension(x[13][55]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/8.00 c 05:54:38.109 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33312. 'extension(x[15][55]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/8.00 c 05:54:38.111 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33326. 'extension(x[14][18]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/8.00 c 05:54:38.111 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33328. 'extension(x[16][18]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/8.00 c 05:54:38.111 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33342. 'extension(x[14][27]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/8.00 c 05:54:38.111 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33344. 'extension(x[16][27]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/8.00 c 05:54:38.112 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33358. 'extension(x[14][48]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/8.00 c 05:54:38.112 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33364. 'extension(x[15][2]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/8.00 c 05:54:38.112 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33366. 'extension(x[17][2]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/8.00 c 05:54:38.113 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33380. 'extension(x[15][17]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/8.00 c 05:54:38.113 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33386. 'extension(x[15][38]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/8.00 c 05:54:38.113 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33388. 'extension(x[17][38]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/8.00 c 05:54:38.114 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33402. 'extension(x[17][48]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/8.00 c 05:54:38.114 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33418. 'extension(x[15][50]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/8.00 c 05:54:38.115 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33420. 'extension(x[17][50]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/8.01 c 05:54:38.115 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33434. 'extension(x[16][5]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/8.01 c 05:54:38.115 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33436. 'extension(x[18][5]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/8.01 c 05:54:38.116 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33450. 'extension(x[18][17]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/8.01 c 05:54:38.116 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33464. 'extension(x[16][19]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/8.01 c 05:54:38.117 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33466. 'extension(x[18][19]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/8.01 c 05:54:38.117 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33480. 'extension(x[16][28]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/8.01 c 05:54:38.117 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33482. 'extension(x[18][28]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/8.01 c 05:54:38.118 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33496. 'extension(x[16][33]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/8.01 c 05:54:38.118 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33498. 'extension(x[18][33]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/8.01 c 05:54:38.118 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33512. 'extension(x[16][55]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/8.01 c 05:54:38.119 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33514. 'extension(x[18][55]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/8.01 c 05:54:38.119 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33528. 'extension(x[17][42]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/8.01 c 05:54:38.119 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33530. 'extension(x[19][42]=[0‥10]) :: init: true :: relation: Empty MDD
21.78/8.01 c 05:54:38.120 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33546. 'extension(x[17][46]=[0‥10]) :: init: true :: relation: Empty MDD
22.10/8.01 c 05:54:38.120 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33552. 'extension(x[17][53]=[0‥10]) :: init: true :: relation: Empty MDD
22.10/8.01 c 05:54:38.120 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33558. 'extension(wk[26][2]=[0‥1]) :: init: true :: relation: Empty MDD
22.10/8.01 c 05:54:38.121 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33560. 'extension(x[18][26]=[0‥10]) :: init: true :: relation: Empty MDD
22.10/8.01 c 05:54:38.121 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33566. 'extension(wk[46][2]=[0‥1]) :: init: true :: relation: Empty MDD
22.10/8.01 c 05:54:38.121 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33568. 'extension(x[20][46]=[0‥10]) :: init: true :: relation: Empty MDD
22.10/8.01 c 05:54:38.122 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33584. 'extension(wk[49][2]=[0‥1]) :: init: true :: relation: Empty MDD
22.10/8.01 c 05:54:38.122 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33586. 'extension(x[18][49]=[0‥10]) :: init: true :: relation: Empty MDD
22.10/8.01 c 05:54:38.122 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33592. 'extension(wk[51][2]=[0‥1]) :: init: true :: relation: Empty MDD
22.10/8.01 c 05:54:38.122 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33594. 'extension(x[18][51]=[0‥10]) :: init: true :: relation: Empty MDD
22.10/8.01 c 05:54:38.123 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33600. 'extension(wk[53][2]=[0‥1]) :: init: true :: relation: Empty MDD
22.10/8.01 c 05:54:38.123 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33602. 'extension(x[20][53]=[0‥10]) :: init: true :: relation: Empty MDD
22.10/8.01 c 05:54:38.123 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33616. 'extension(wk[26][2]=[0‥1]) :: init: true :: relation: Empty MDD
22.10/8.01 c 05:54:38.123 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33618. 'extension(x[21][26]=[0‥10]) :: init: true :: relation: Empty MDD
22.10/8.01 c 05:54:38.124 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33632. 'extension(wk[29][2]=[0‥1]) :: init: true :: relation: Empty MDD
22.10/8.01 c 05:54:38.124 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33634. 'extension(x[19][29]=[0‥10]) :: init: true :: relation: Empty MDD
22.10/8.01 c 05:54:38.124 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33636. 'extension(x[21][29]=[0‥10]) :: init: true :: relation: Empty MDD
22.10/8.01 c 05:54:38.125 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33650. 'extension(wk[49][2]=[0‥1]) :: init: true :: relation: Empty MDD
22.10/8.02 c 05:54:38.125 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33652. 'extension(x[21][49]=[0‥10]) :: init: true :: relation: Empty MDD
22.10/8.02 c 05:54:38.126 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33668. 'extension(wk[51][2]=[0‥1]) :: init: true :: relation: Empty MDD
22.10/8.02 c 05:54:38.126 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33670. 'extension(x[21][51]=[0‥10]) :: init: true :: relation: Empty MDD
22.10/8.02 c 05:54:38.126 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33684. 'extension(x[20][22]=[0‥10]) :: init: true :: relation: Empty MDD
22.10/8.02 c 05:54:38.126 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33686. 'extension(x[22][22]=[0‥10]) :: init: true :: relation: Empty MDD
22.10/8.02 c 05:54:38.127 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33700. 'extension(x[20][32]=[0‥10]) :: init: true :: relation: Empty MDD
22.10/8.02 c 05:54:38.127 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33702. 'extension(x[22][32]=[0‥10]) :: init: true :: relation: Empty MDD
22.10/8.02 c 05:54:38.127 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33716. 'extension(x[21][7]=[0‥10]) :: init: true :: relation: Empty MDD
22.10/8.02 c 05:54:38.128 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33718. 'extension(x[23][7]=[0‥10]) :: init: true :: relation: Empty MDD
22.10/8.02 c 05:54:38.128 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33732. 'extension(x[21][20]=[0‥10]) :: init: true :: relation: Empty MDD
22.10/8.02 c 05:54:38.128 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33738. 'extension(x[21][23]=[0‥10]) :: init: true :: relation: Empty MDD
22.10/8.02 c 05:54:38.129 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33740. 'extension(x[23][23]=[0‥10]) :: init: true :: relation: Empty MDD
22.10/8.02 c 05:54:38.129 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33754. 'extension(x[22][8]=[0‥10]) :: init: true :: relation: Empty MDD
22.10/8.02 c 05:54:38.129 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33756. 'extension(x[24][8]=[0‥10]) :: init: true :: relation: Empty MDD
22.10/8.02 c 05:54:38.130 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33770. 'extension(x[24][20]=[0‥10]) :: init: true :: relation: Empty MDD
22.10/8.02 c 05:54:38.130 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33784. 'extension(x[22][21]=[0‥10]) :: init: true :: relation: Empty MDD
22.10/8.02 c 05:54:38.131 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33790. 'extension(x[22][31]=[0‥10]) :: init: true :: relation: Empty MDD
22.10/8.02 c 05:54:38.131 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33796. 'extension(x[22][41]=[0‥10]) :: init: true :: relation: Empty MDD
22.10/8.02 c 05:54:38.131 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33798. 'extension(x[24][41]=[0‥10]) :: init: true :: relation: Empty MDD
22.10/8.02 c 05:54:38.132 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33814. 'extension(x[23][0]=[0‥10]) :: init: true :: relation: Empty MDD
22.10/8.02 c 05:54:38.132 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33816. 'extension(x[25][0]=[0‥10]) :: init: true :: relation: Empty MDD
22.10/8.02 c 05:54:38.132 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33830. 'extension(x[23][11]=[0‥10]) :: init: true :: relation: Empty MDD
22.10/8.02 c 05:54:38.133 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33836. 'extension(x[25][21]=[0‥10]) :: init: true :: relation: Empty MDD
22.10/8.02 c 05:54:38.133 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33850. 'extension(x[23][30]=[0‥10]) :: init: true :: relation: Empty MDD
22.10/8.02 c 05:54:38.133 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33856. 'extension(x[25][31]=[0‥10]) :: init: true :: relation: Empty MDD
22.10/8.02 c 05:54:38.134 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33870. 'extension(x[23][37]=[0‥10]) :: init: true :: relation: Empty MDD
22.10/8.02 c 05:54:38.134 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33872. 'extension(x[25][37]=[0‥10]) :: init: true :: relation: Empty MDD
22.10/8.02 c 05:54:38.135 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33886. 'extension(x[23][57]=[0‥10]) :: init: true :: relation: Empty MDD
22.10/8.02 c 05:54:38.135 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33892. 'extension(x[24][1]=[0‥10]) :: init: true :: relation: Empty MDD
22.10/8.03 c 05:54:38.135 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33898. 'extension(x[26][11]=[0‥10]) :: init: true :: relation: Empty MDD
22.10/8.03 c 05:54:38.136 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33912. 'extension(x[24][12]=[0‥10]) :: init: true :: relation: Empty MDD
22.10/8.03 c 05:54:38.136 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33918. 'extension(x[24][14]=[0‥10]) :: init: true :: relation: Empty MDD
22.10/8.03 c 05:54:38.136 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33920. 'extension(x[26][14]=[0‥10]) :: init: true :: relation: Empty MDD
22.10/8.03 c 05:54:38.136 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33934. 'extension(x[26][30]=[0‥10]) :: init: true :: relation: Empty MDD
22.10/8.03 c 05:54:38.137 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33948. 'extension(x[24][34]=[0‥10]) :: init: true :: relation: Empty MDD
22.10/8.03 c 05:54:38.137 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33950. 'extension(x[26][34]=[0‥10]) :: init: true :: relation: Empty MDD
22.10/8.03 c 05:54:38.138 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33964. 'extension(x[26][57]=[0‥10]) :: init: true :: relation: Empty MDD
22.10/8.03 c 05:54:38.138 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33978. 'extension(wk[1][3]=[0‥1]) :: init: true :: relation: Empty MDD
22.10/8.03 c 05:54:38.138 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33980. 'extension(x[27][1]=[0‥10]) :: init: true :: relation: Empty MDD
22.10/8.03 c 05:54:38.139 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33992. 'extension(wk[12][3]=[0‥1]) :: init: true :: relation: Empty MDD
22.10/8.03 c 05:54:38.139 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 33994. 'extension(x[27][12]=[0‥10]) :: init: true :: relation: Empty MDD
22.10/8.03 c 05:54:38.139 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34006. 'extension(wk[22][3]=[0‥1]) :: init: true :: relation: Empty MDD
22.10/8.03 c 05:54:38.139 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34008. 'extension(x[25][22]=[0‥10]) :: init: true :: relation: Empty MDD
22.10/8.03 c 05:54:38.139 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34010. 'extension(x[27][22]=[0‥10]) :: init: true :: relation: Empty MDD
22.10/8.03 c 05:54:38.140 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34022. 'extension(wk[58][3]=[0‥1]) :: init: true :: relation: Empty MDD
22.10/8.03 c 05:54:38.140 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34024. 'extension(x[25][58]=[0‥10]) :: init: true :: relation: Empty MDD
22.10/8.03 c 05:54:38.140 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34026. 'extension(x[27][58]=[0‥10]) :: init: true :: relation: Empty MDD
22.10/8.03 c 05:54:38.141 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34038. 'extension(wk[6][3]=[0‥1]) :: init: true :: relation: Empty MDD
22.10/8.03 c 05:54:38.141 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34040. 'extension(x[26][6]=[0‥10]) :: init: true :: relation: Empty MDD
22.10/8.03 c 05:54:38.141 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34042. 'extension(x[26][6]=[0‥10]) :: init: true :: relation: Empty MDD
22.10/8.03 c 05:54:38.141 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34048. 'extension(wk[13][3]=[0‥1]) :: init: true :: relation: Empty MDD
22.10/8.03 c 05:54:38.141 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34050. 'extension(x[26][13]=[0‥10]) :: init: true :: relation: Empty MDD
22.10/8.03 c 05:54:38.141 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 34052. 'extension(x[26][13]=[0‥10]) :: init: true :: relation: Empty MDD
2520.00/2457.50 Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
2520.00/2457.50 at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24)
2520.00/2457.50 at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53)
2520.00/2457.50 at concrete.BitVectorDomain.$anonfun$filter$1(BitVectorDomain.scala:126)
2520.00/2457.50 at bitvectors.SmallBitVector.filter(SmallBitVector.scala:142)
2520.00/2457.51 at bitvectors.SmallBitVector.filter(SmallBitVector.scala:5)
2520.00/2457.51 at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126)
2520.00/2457.51 at concrete.BitVectorDomain.filter(BitVectorDomain.scala:8)
2520.00/2457.51 at concrete.heuristic.value.BestCost.select(BestCost.scala:53)
2520.00/2457.51 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.00/2457.51 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
2520.00/2457.51 at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.00/2457.51 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.00/2457.51 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:103)
2520.00/2457.51 at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.00/2457.51 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:103)
2520.00/2457.51 at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:109)
2520.00/2457.51 at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
2520.00/2457.51 at scala.Option.map(Option.scala:146)
2520.00/2457.51 at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
2520.00/2457.51 at concrete.MAC.mac(MAC.scala:203)
2520.00/2457.51 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.00/2457.51 at scala.util.Try$.apply(Try.scala:209)
2520.00/2457.51 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.00/2457.51 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.00/2457.51 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.00/2457.51 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.00/2457.51 at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.00/2457.51 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.00/2457.51 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.00/2457.51 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.00/2457.51 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.00/2457.51 at concrete.MAC.oneRun(MAC.scala:253)
2520.00/2457.51 at concrete.MAC.nextSolution(MAC.scala:272)
2520.00/2457.51 at concrete.MAC.$anonfun$nextSolution$5(MAC.scala:336)
2520.00/2457.51 at concrete.ProblemState.map(ProblemState.scala:221)
2520.00/2457.51 at concrete.ProblemState.map(ProblemState.scala:204)
2520.00/2457.51 at concrete.MAC.nextSolution(MAC.scala:334)
2520.00/2457.51 at concrete.Solver.hasNext(Solver.scala:166)
2520.00/2457.51 at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.00/2457.51 at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.00/2457.51 at concrete.Solver.foreach(Solver.scala:68)
2520.00/2457.51 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.00/2457.51 at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.00/2457.51 at scala.util.Success.map(Try.scala:209)
2520.00/2457.51 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.00/2457.51 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.00/2457.51 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.00/2457.51 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.00/2457.51 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.00/2457.51 at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.00/2457.51 at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.00/2457.51 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.00/2457.51 at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.00/2457.51 at scala.collection.immutable.List.foreach(List.scala:389)
2520.00/2457.51 at scala.App.main(App.scala:76)
2520.00/2457.51 at scala.App.main$(App.scala:74)
2520.00/2457.51 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.00/2457.51 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.00/2457.52 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 (10865 MiB free)
memory of node 1: 16384 MiB (3712 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304196-1534046069/watcher-4304196-1534046069 -o /tmp/evaluation-result-4304196-1534046069/solver-4304196-1534046069 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1534038702-32058 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=783206276 -superng HOME/instance-4304196-1534046069.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=929, runsolver pid=926
[startup+0.100166 s]*
/proc/loadavg: 1.75 1.76 1.77 3/212 993
/proc/meminfo: memFree=14925068/32770624 swapFree=67108688/67108860
[pid=929] ppid=926 vsize=10005480 memory=14384 CPUtime=0.09 cores=0,2,4,6
/proc/929/stat : 929 (java) S 926 929 30627 0 -1 1077944320 4254 13235 0 0 1 0 5 3 20 0 6 0 222170164 10245611520 3596 33554432000 4194304 4196468 140725678782192 140725678764736 140697925226231 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
/proc/929/statm: 2501370 3596 1919 1 0 2489808 0
[pid=929/tid=989] ppid=926 vsize=10005480 memory=8389772277269004345 CPUtime=0.09 cores=0,2,4,6
/proc/929/task/989/stat : 989 (java) R 926 929 30627 0 -1 4202560 2213 13235 0 0 1 0 5 3 20 0 6 0 222170173 10245611520 3728 33554432000 4194304 4196468 140725678782192 140697897062992 140697909306718 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=990] ppid=926 vsize=10005480 memory=4294967661 CPUtime=0.08 cores=0,2,4,6
/proc/929/task/990/stat : 990 (java) S 926 929 30627 0 -1 1077944384 1 13235 0 0 0 0 5 3 20 0 6 0 222170174 10245611520 3728 33554432000 4194304 4196468 140725678782192 140697929468944 140697925236437 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=991] ppid=926 vsize=10005480 memory=140668145142760 CPUtime=0.08 cores=0,2,4,6
/proc/929/task/991/stat : 991 (java) S 926 929 30627 0 -1 1077944384 1 13235 0 0 0 0 5 3 20 0 6 0 222170174 10245611520 3728 33554432000 4194304 4196468 140725678782192 140697464605840 140697925236437 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=992] ppid=926 vsize=10005480 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/929/task/992/stat : 992 (java) S 926 929 30627 0 -1 1077944384 1 13235 0 0 0 0 5 3 20 0 6 0 222170174 10245611520 3728 33554432000 4194304 4196468 140725678782192 140697463552784 140697925236437 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=993] ppid=926 vsize=10005480 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/929/task/993/stat : 993 (java) S 926 929 30627 0 -1 1077944384 2 13235 0 0 0 0 5 3 20 0 6 0 222170174 10245611520 3728 33554432000 4194304 4196468 140725678782192 140697462500240 140697925236437 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 14384 KiB
[startup+0.210421 s]*
/proc/loadavg: 1.75 1.76 1.77 3/221 1002
/proc/meminfo: memFree=14900936/32770624 swapFree=67108688/67108860
[pid=929] ppid=926 vsize=10982744 memory=41408 CPUtime=0.26 cores=0,2,4,6
/proc/929/stat : 929 (java) S 926 929 30627 0 -1 1077944320 7548 13235 0 0 17 1 5 3 20 0 15 0 222170164 11246329856 10352 33554432000 4194304 4196468 140725678782192 140725678764736 140697925226231 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
/proc/929/statm: 2745686 10352 2973 1 0 2708109 0
[pid=929/tid=989] ppid=926 vsize=10982744 memory=8389772277269004345 CPUtime=0.19 cores=0,2,4,6
/proc/929/task/989/stat : 989 (java) R 926 929 30627 0 -1 4202560 4553 13235 0 0 11 0 5 3 20 0 15 0 222170173 11246329856 10814 33554432000 4194304 4196468 140725678782192 140697897004192 140697905501980 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=990] ppid=926 vsize=10982744 memory=4294967661 CPUtime=0.08 cores=0,2,4,6
/proc/929/task/990/stat : 990 (java) S 926 929 30627 0 -1 1077944384 1 13235 0 0 0 0 5 3 20 0 15 0 222170174 11246329856 10814 33554432000 4194304 4196468 140725678782192 140697929468944 140697925236437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=991] ppid=926 vsize=10982744 memory=140668145142760 CPUtime=0.08 cores=0,2,4,6
/proc/929/task/991/stat : 991 (java) S 926 929 30627 0 -1 1077944384 1 13235 0 0 0 0 5 3 20 0 15 0 222170174 11246329856 10880 33554432000 4194304 4196468 140725678782192 140697464605840 140697925236437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=992] ppid=926 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/929/task/992/stat : 992 (java) S 926 929 30627 0 -1 1077944384 1 13235 0 0 0 0 5 3 20 0 15 0 222170174 11246329856 10880 33554432000 4194304 4196468 140725678782192 140697463552784 140697925236437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=993] ppid=926 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/929/task/993/stat : 993 (java) S 926 929 30627 0 -1 1077944384 2 13235 0 0 0 0 5 3 20 0 15 0 222170174 11246329856 10880 33554432000 4194304 4196468 140725678782192 140697462500240 140697925236437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=994] ppid=926 vsize=10982744 memory=140668143974016 CPUtime=0.08 cores=0,2,4,6
/proc/929/task/994/stat : 994 (java) S 926 929 30627 0 -1 1077944384 2 13235 0 0 0 0 5 3 20 0 15 0 222170175 11246329856 10880 33554432000 4194304 4196468 140725678782192 140697350932720 140697925237378 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=995] ppid=926 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/929/task/995/stat : 995 (java) S 926 929 30627 0 -1 1077944384 13 13235 0 0 0 0 5 3 20 0 15 0 222170176 11246329856 10880 33554432000 4194304 4196468 140725678782192 140696699790496 140697925236437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=996] ppid=926 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/929/task/996/stat : 996 (java) S 926 929 30627 0 -1 1077944384 1 13235 0 0 0 0 5 3 20 0 15 0 222170176 11246329856 10880 33554432000 4194304 4196468 140725678782192 140696551940848 140697925236437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=997] ppid=926 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/929/task/997/stat : 997 (java) S 926 929 30627 0 -1 1077944384 3 13235 0 0 0 0 5 3 20 0 15 0 222170179 11246329856 10880 33554432000 4194304 4196468 140725678782192 140696244541392 140697925244827 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=998] ppid=926 vsize=10982744 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/929/task/998/stat : 998 (java) S 926 929 30627 0 -1 1077944384 431 13235 0 0 1 0 5 3 20 0 15 0 222170179 11246329856 10880 33554432000 4194304 4196468 140725678782192 140697349880560 140697925237378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=999] ppid=926 vsize=10982744 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/929/task/999/stat : 999 (java) S 926 929 30627 0 -1 1077944384 200 13235 0 0 1 0 5 3 20 0 15 0 222170179 11246329856 10880 33554432000 4194304 4196468 140725678782192 140697348828016 140697925237378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=1000] ppid=926 vsize=10982744 memory=140668143974016 CPUtime=0.11 cores=0,2,4,6
/proc/929/task/1000/stat : 1000 (java) S 926 929 30627 0 -1 1077944384 658 13235 0 0 3 0 5 3 20 0 15 0 222170179 11246329856 10880 33554432000 4194304 4196468 140725678782192 140697347774960 140697925237378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=1001] ppid=926 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/929/task/1001/stat : 1001 (java) S 926 929 30627 0 -1 1077944384 3 13235 0 0 0 0 5 3 20 0 15 0 222170179 11246329856 10880 33554432000 4194304 4196468 140725678782192 140695813745504 140697925236437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=1002] ppid=926 vsize=10982744 memory=140668143974016 CPUtime=0.08 cores=0,2,4,6
/proc/929/task/1002/stat : 1002 (java) S 926 929 30627 0 -1 1077944384 1 13235 0 0 0 0 5 3 20 0 15 0 222170179 11246329856 10880 33554432000 4194304 4196468 140725678782192 140697346722352 140697925237378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 41408 KiB
[startup+0.310526 s]*
/proc/loadavg: 1.75 1.76 1.77 3/221 1002
/proc/meminfo: memFree=14887788/32770624 swapFree=67108688/67108860
[pid=929] ppid=926 vsize=10983192 memory=54860 CPUtime=0.39 cores=0,2,4,6
/proc/929/stat : 929 (java) S 926 929 30627 0 -1 1077944320 10758 13235 0 0 29 2 5 3 20 0 15 0 222170164 11246788608 13715 33554432000 4194304 4196468 140725678782192 140725678764736 140697925226231 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
/proc/929/statm: 2745798 13715 3106 1 0 2708109 0
[pid=929/tid=989] ppid=926 vsize=10983192 memory=1398720917958146503 CPUtime=0.29 cores=0,2,4,6
/proc/929/task/989/stat : 989 (java) R 926 929 30627 0 -1 4202560 7372 13235 0 0 20 1 5 3 20 0 15 0 222170173 11246788608 13890 33554432000 4194304 4196468 140725678782192 140697897038240 140697909306718 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=990] ppid=926 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/929/task/990/stat : 990 (java) S 926 929 30627 0 -1 1077944384 1 13235 0 0 0 0 5 3 20 0 15 0 222170174 11246788608 13890 33554432000 4194304 4196468 140725678782192 140697929468944 140697925236437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=991] ppid=926 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/929/task/991/stat : 991 (java) S 926 929 30627 0 -1 1077944384 1 13235 0 0 0 0 5 3 20 0 15 0 222170174 11246788608 13890 33554432000 4194304 4196468 140725678782192 140697464605840 140697925236437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=992] ppid=926 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/929/task/992/stat : 992 (java) S 926 929 30627 0 -1 1077944384 1 13235 0 0 0 0 5 3 20 0 15 0 222170174 11246788608 13890 33554432000 4194304 4196468 140725678782192 140697463552784 140697925236437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=993] ppid=926 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/929/task/993/stat : 993 (java) S 926 929 30627 0 -1 1077944384 2 13235 0 0 0 0 5 3 20 0 15 0 222170174 11246788608 13890 33554432000 4194304 4196468 140725678782192 140697462500240 140697925236437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=994] ppid=926 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/929/task/994/stat : 994 (java) S 926 929 30627 0 -1 1077944384 2 13235 0 0 0 0 5 3 20 0 15 0 222170175 11246788608 13890 33554432000 4194304 4196468 140725678782192 140697350932720 140697925237378 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=995] ppid=926 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/929/task/995/stat : 995 (java) S 926 929 30627 0 -1 1077944384 13 13235 0 0 0 0 5 3 20 0 15 0 222170176 11246788608 13890 33554432000 4194304 4196468 140725678782192 140696699790496 140697925236437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=996] ppid=926 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/929/task/996/stat : 996 (java) S 926 929 30627 0 -1 1077944384 1 13235 0 0 0 0 5 3 20 0 15 0 222170176 11246788608 13890 33554432000 4194304 4196468 140725678782192 140696551940848 140697925236437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=997] ppid=926 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/929/task/997/stat : 997 (java) S 926 929 30627 0 -1 1077944384 3 13235 0 0 0 0 5 3 20 0 15 0 222170179 11246788608 13890 33554432000 4194304 4196468 140725678782192 140696244541392 140697925244827 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=998] ppid=926 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/929/task/998/stat : 998 (java) S 926 929 30627 0 -1 1077944384 436 13235 0 0 1 0 5 3 20 0 15 0 222170179 11246788608 13890 33554432000 4194304 4196468 140725678782192 140697349880560 140697925237378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=999] ppid=926 vsize=10983192 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/929/task/999/stat : 999 (java) S 926 929 30627 0 -1 1077944384 208 13235 0 0 1 0 5 3 20 0 15 0 222170179 11246788608 13890 33554432000 4194304 4196468 140725678782192 140697348828016 140697925237378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=1000] ppid=926 vsize=10983192 memory=140668143974016 CPUtime=0.12 cores=0,2,4,6
/proc/929/task/1000/stat : 1000 (java) S 926 929 30627 0 -1 1077944384 690 13235 0 0 4 0 5 3 20 0 15 0 222170179 11246788608 13890 33554432000 4194304 4196468 140725678782192 140697347774960 140697925237378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=1001] ppid=926 vsize=10983192 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/929/task/1001/stat : 1001 (java) S 926 929 30627 0 -1 1077944384 3 13235 0 0 0 0 5 3 20 0 15 0 222170179 11246788608 13890 33554432000 4194304 4196468 140725678782192 140695813745504 140697925236437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=1002] ppid=926 vsize=10983192 memory=140668143974016 CPUtime=0.08 cores=0,2,4,6
/proc/929/task/1002/stat : 1002 (java) S 926 929 30627 0 -1 1077944384 1 13235 0 0 0 0 5 3 20 0 15 0 222170179 11246788608 13890 33554432000 4194304 4196468 140725678782192 140697346722352 140697925237378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 54860 KiB
[startup+0.70081 s]
/proc/loadavg: 1.75 1.76 1.77 3/221 1002
/proc/meminfo: memFree=14876748/32770624 swapFree=67108688/67108860
[pid=929] ppid=926 vsize=10983192 memory=87864 CPUtime=0.99 cores=0,2,4,6
/proc/929/stat : 929 (java) S 926 929 30627 0 -1 1077944320 17176 13235 0 0 88 3 5 3 20 0 15 0 222170164 11246788608 21966 33554432000 4194304 4196468 140725678782192 140725678764736 140697925226231 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
/proc/929/statm: 2745798 21966 3238 1 0 2708109 0
[pid=929/tid=989] ppid=926 vsize=10983192 memory=7236547281622689387 CPUtime=0.67 cores=0,2,4,6
/proc/929/task/989/stat : 989 (java) R 926 929 30627 0 -1 4202560 12446 13235 0 0 57 2 5 3 20 0 15 0 222170173 11246788608 21966 33554432000 4194304 4196468 140725678782192 140697897049232 140697909306718 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=990] ppid=926 vsize=10983192 memory=4294968222 CPUtime=0.08 cores=0,2,4,6
/proc/929/task/990/stat : 990 (java) S 926 929 30627 0 -1 1077944384 1 13235 0 0 0 0 5 3 20 0 15 0 222170174 11246788608 21966 33554432000 4194304 4196468 140725678782192 140697929468944 140697925236437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=991] ppid=926 vsize=10983192 memory=140668030683955 CPUtime=0.08 cores=0,2,4,6
/proc/929/task/991/stat : 991 (java) S 926 929 30627 0 -1 1077944384 1 13235 0 0 0 0 5 3 20 0 15 0 222170174 11246788608 21966 33554432000 4194304 4196468 140725678782192 140697464605840 140697925236437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=992] ppid=926 vsize=10983192 memory=281336061380912 CPUtime=0.08 cores=0,2,4,6
/proc/929/task/992/stat : 992 (java) S 926 929 30627 0 -1 1077944384 1 13235 0 0 0 0 5 3 20 0 15 0 222170174 11246788608 21966 33554432000 4194304 4196468 140725678782192 140697463552784 140697925236437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=993] ppid=926 vsize=10983192 memory=140668143972849 CPUtime=0.08 cores=0,2,4,6
/proc/929/task/993/stat : 993 (java) S 926 929 30627 0 -1 1077944384 2 13235 0 0 0 0 5 3 20 0 15 0 222170174 11246788608 21966 33554432000 4194304 4196468 140725678782192 140697462500240 140697925236437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=994] ppid=926 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/929/task/994/stat : 994 (java) S 926 929 30627 0 -1 1077944384 5 13235 0 0 0 0 5 3 20 0 15 0 222170175 11246788608 21966 33554432000 4194304 4196468 140725678782192 140697350932720 140697925237378 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=995] ppid=926 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/929/task/995/stat : 995 (java) S 926 929 30627 0 -1 1077944384 13 13235 0 0 0 0 5 3 20 0 15 0 222170176 11246788608 21966 33554432000 4194304 4196468 140725678782192 140696699790496 140697925236437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=996] ppid=926 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/929/task/996/stat : 996 (java) S 926 929 30627 0 -1 1077944384 1 13235 0 0 0 0 5 3 20 0 15 0 222170176 11246788608 21966 33554432000 4194304 4196468 140725678782192 140696551940848 140697925236437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=997] ppid=926 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/929/task/997/stat : 997 (java) S 926 929 30627 0 -1 1077944384 3 13235 0 0 0 0 5 3 20 0 15 0 222170179 11246788608 21966 33554432000 4194304 4196468 140725678782192 140696244541392 140697925244827 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=998] ppid=926 vsize=10983192 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/929/task/998/stat : 998 (java) S 926 929 30627 0 -1 1077944384 1068 13235 0 0 9 0 5 3 20 0 15 0 222170179 11246788608 21966 33554432000 4194304 4196468 140725678782192 140697349880560 140697925237378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=999] ppid=926 vsize=10983192 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/929/task/999/stat : 999 (java) S 926 929 30627 0 -1 1077944384 585 13235 0 0 7 0 5 3 20 0 15 0 222170179 11246788608 21966 33554432000 4194304 4196468 140725678782192 140697348828016 140697925237378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=1000] ppid=926 vsize=10983192 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/929/task/1000/stat : 1000 (java) S 926 929 30627 0 -1 1077944384 856 13235 0 0 13 0 5 3 20 0 15 0 222170179 11246788608 21966 33554432000 4194304 4196468 140725678782192 140697347774960 140697925237378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=1001] ppid=926 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/929/task/1001/stat : 1001 (java) S 926 929 30627 0 -1 1077944384 3 13235 0 0 0 0 5 3 20 0 15 0 222170179 11246788608 21966 33554432000 4194304 4196468 140725678782192 140695813745504 140697925236437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=1002] ppid=926 vsize=10983192 memory=3824 CPUtime=0.08 cores=0,2,4,6
/proc/929/task/1002/stat : 1002 (java) S 926 929 30627 0 -1 1077944384 1 13235 0 0 0 0 5 3 20 0 15 0 222170179 11246788608 21966 33554432000 4194304 4196468 140725678782192 140697346722352 140697925237378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 87864 KiB
[startup+1.50071 s]
/proc/loadavg: 1.75 1.76 1.77 3/221 1002
/proc/meminfo: memFree=14831844/32770624 swapFree=67108688/67108860
[pid=929] ppid=926 vsize=10991948 memory=174700 CPUtime=3.2 cores=0,2,4,6
/proc/929/stat : 929 (java) S 926 929 30627 0 -1 1077944320 25001 13235 0 0 306 6 5 3 20 0 15 0 222170164 11255754752 43675 33554432000 4194304 4196468 140725678782192 140725678764736 140697925226231 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
/proc/929/statm: 2747987 43675 3449 1 0 2709645 0
[pid=929/tid=989] ppid=926 vsize=10991948 memory=55 CPUtime=1.46 cores=0,2,4,6
/proc/929/task/989/stat : 989 (java) R 926 929 30627 0 -1 4202560 15128 13235 0 0 134 4 5 3 20 0 15 0 222170173 11255754752 43675 33554432000 4194304 4196468 140725678782192 140697897053408 140697497881319 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=990] ppid=926 vsize=10991948 memory=7380385388137112419 CPUtime=0.08 cores=0,2,4,6
/proc/929/task/990/stat : 990 (java) S 926 929 30627 0 -1 1077944384 1 13235 0 0 0 0 5 3 20 0 15 0 222170174 11255754752 43675 33554432000 4194304 4196468 140725678782192 140697929468944 140697925236437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=991] ppid=926 vsize=10991948 memory=6947385649911455296 CPUtime=0.08 cores=0,2,4,6
/proc/929/task/991/stat : 991 (java) S 926 929 30627 0 -1 1077944384 1 13235 0 0 0 0 5 3 20 0 15 0 222170174 11255754752 43675 33554432000 4194304 4196468 140725678782192 140697464605840 140697925236437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=992] ppid=926 vsize=10991948 memory=4500061002552400442 CPUtime=0.08 cores=0,2,4,6
/proc/929/task/992/stat : 992 (java) S 926 929 30627 0 -1 1077944384 1 13235 0 0 0 0 5 3 20 0 15 0 222170174 11255754752 43675 33554432000 4194304 4196468 140725678782192 140697463552784 140697925236437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=993] ppid=926 vsize=10991948 memory=6502185496316136912 CPUtime=0.08 cores=0,2,4,6
/proc/929/task/993/stat : 993 (java) S 926 929 30627 0 -1 1077944384 2 13235 0 0 0 0 5 3 20 0 15 0 222170174 11255754752 43675 33554432000 4194304 4196468 140725678782192 140697462500240 140697925236437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=994] ppid=926 vsize=10991948 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/929/task/994/stat : 994 (java) S 926 929 30627 0 -1 1077944384 13 13235 0 0 0 0 5 3 20 0 15 0 222170175 11255754752 43675 33554432000 4194304 4196468 140725678782192 140697350932720 140697925237378 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=995] ppid=926 vsize=10991948 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/929/task/995/stat : 995 (java) S 926 929 30627 0 -1 1077944384 13 13235 0 0 0 0 5 3 20 0 15 0 222170176 11255754752 43675 33554432000 4194304 4196468 140725678782192 140696699790496 140697925236437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=996] ppid=926 vsize=10991948 memory=140668031002280 CPUtime=0.08 cores=0,2,4,6
/proc/929/task/996/stat : 996 (java) S 926 929 30627 0 -1 1077944384 1 13235 0 0 0 0 5 3 20 0 15 0 222170176 11255754752 43675 33554432000 4194304 4196468 140725678782192 140696551940848 140697925236437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=997] ppid=926 vsize=10991948 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/929/task/997/stat : 997 (java) S 926 929 30627 0 -1 1077944384 3 13235 0 0 0 0 5 3 20 0 15 0 222170179 11255754752 43675 33554432000 4194304 4196468 140725678782192 140696244541392 140697925244827 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=998] ppid=926 vsize=10991948 memory=2292 CPUtime=0.69 cores=0,2,4,6
/proc/929/task/998/stat : 998 (java) R 926 929 30627 0 -1 4202560 2462 13235 0 0 61 0 5 3 20 0 15 0 222170179 11255754752 43675 33554432000 4194304 4196468 140725678782192 140697349865040 140697910343325 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=999] ppid=926 vsize=10991948 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/929/task/999/stat : 999 (java) R 926 929 30627 0 -1 4202560 3200 13235 0 0 57 0 5 3 20 0 15 0 222170179 11255754752 43675 33554432000 4194304 4196468 140725678782192 140697348811360 140697906770445 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=1000] ppid=926 vsize=10991948 memory=0 CPUtime=0.6 cores=0,2,4,6
/proc/929/task/1000/stat : 1000 (java) S 926 929 30627 0 -1 1077944384 1982 13235 0 0 51 1 5 3 20 0 15 0 222170179 11255754752 43675 33554432000 4194304 4196468 140725678782192 140697347774960 140697925237378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=1001] ppid=926 vsize=10991948 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/929/task/1001/stat : 1001 (java) S 926 929 30627 0 -1 1077944384 3 13235 0 0 0 0 5 3 20 0 15 0 222170179 11255754752 43675 33554432000 4194304 4196468 140725678782192 140695813745504 140697925236437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=1002] ppid=926 vsize=10991948 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/929/task/1002/stat : 1002 (java) S 926 929 30627 0 -1 1077944384 1 13235 0 0 0 0 5 3 20 0 15 0 222170179 11255754752 43675 33554432000 4194304 4196468 140725678782192 140697346722352 140697925237378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
Current children cumulated CPU time: 3.2 s
Current children cumulated vsize: 10991948 KiB
################
# More data... #
################
/proc/929/task/989/stat : 989 (java) R 926 929 30627 0 -1 4202560 473909 13235 0 0 237064 69 5 3 20 0 15 0 222170173 11280941056 602570 33554432000 4194304 4196468 140725678782192 140697897061232 140697514914136 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=990] ppid=926 vsize=11016544 memory=2405400 CPUtime=8.06 cores=0,2,4,6
/proc/929/task/990/stat : 990 (java) S 926 929 30627 0 -1 1077944384 27303 13235 0 0 737 61 5 3 20 0 15 0 222170174 11280941056 602570 33554432000 4194304 4196468 140725678782192 140697929468944 140697925236437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=991] ppid=926 vsize=11016544 memory=2405400 CPUtime=8.06 cores=0,2,4,6
/proc/929/task/991/stat : 991 (java) S 926 929 30627 0 -1 1077944384 28795 13235 0 0 738 60 5 3 20 0 15 0 222170174 11280941056 602570 33554432000 4194304 4196468 140725678782192 140697464605840 140697925236437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=992] ppid=926 vsize=11016544 memory=2405400 CPUtime=8.08 cores=0,2,4,6
/proc/929/task/992/stat : 992 (java) S 926 929 30627 0 -1 1077944384 32613 13235 0 0 738 62 5 3 20 0 15 0 222170174 11280941056 602570 33554432000 4194304 4196468 140725678782192 140697463552784 140697925236437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=993] ppid=926 vsize=11016544 memory=2407484 CPUtime=8.11 cores=0,2,4,6
/proc/929/task/993/stat : 993 (java) S 926 929 30627 0 -1 1077944384 24206 13235 0 0 739 64 5 3 20 0 15 0 222170174 11280941056 602570 33554432000 4194304 4196468 140725678782192 140697462500240 140697925236437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=994] ppid=926 vsize=11016544 memory=2407484 CPUtime=2.16 cores=0,2,4,6
/proc/929/task/994/stat : 994 (java) S 926 929 30627 0 -1 1077944384 28703 13235 0 0 192 16 5 3 20 0 15 0 222170175 11280941056 602570 33554432000 4194304 4196468 140725678782192 140697350932720 140697925237378 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=995] ppid=926 vsize=11016544 memory=2407380 CPUtime=0.08 cores=0,2,4,6
/proc/929/task/995/stat : 995 (java) S 926 929 30627 0 -1 1077944384 20 13235 0 0 0 0 5 3 20 0 15 0 222170176 11280941056 602570 33554432000 4194304 4196468 140725678782192 140696699790560 140697925236437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=996] ppid=926 vsize=11016544 memory=2410280 CPUtime=0.08 cores=0,2,4,6
/proc/929/task/996/stat : 996 (java) S 926 929 30627 0 -1 1077944384 2 13235 0 0 0 0 5 3 20 0 15 0 222170176 11280941056 602570 33554432000 4194304 4196468 140725678782192 140696551940864 140697925236437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=997] ppid=926 vsize=11016544 memory=2410280 CPUtime=0.08 cores=0,2,4,6
/proc/929/task/997/stat : 997 (java) S 926 929 30627 0 -1 1077944384 3 13235 0 0 0 0 5 3 20 0 15 0 222170179 11280941056 602570 33554432000 4194304 4196468 140725678782192 140696244541392 140697925244827 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=998] ppid=926 vsize=11016544 memory=2410280 CPUtime=16.73 cores=0,2,4,6
/proc/929/task/998/stat : 998 (java) S 926 929 30627 0 -1 1077944384 119694 13235 0 0 1653 12 5 3 20 0 15 0 222170179 11280941056 602570 33554432000 4194304 4196468 140725678782192 140697349880560 140697925237378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=999] ppid=926 vsize=11016544 memory=3824 CPUtime=15.64 cores=0,2,4,6
/proc/929/task/999/stat : 999 (java) S 926 929 30627 0 -1 1077944384 112662 13235 0 0 1547 9 5 3 20 0 15 0 222170179 11280941056 602570 33554432000 4194304 4196468 140725678782192 140697348828016 140697925237378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=1000] ppid=926 vsize=11016544 memory=3824 CPUtime=5.42 cores=0,2,4,6
/proc/929/task/1000/stat : 1000 (java) S 926 929 30627 0 -1 1077944384 112188 13235 0 0 522 12 5 3 20 0 15 0 222170179 11280941056 602570 33554432000 4194304 4196468 140725678782192 140697347774960 140697925237378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=1001] ppid=926 vsize=11016544 memory=60604 CPUtime=0.08 cores=0,2,4,6
/proc/929/task/1001/stat : 1001 (java) S 926 929 30627 0 -1 1077944384 3 13235 0 0 0 0 5 3 20 0 15 0 222170179 11280941056 602570 33554432000 4194304 4196468 140725678782192 140695813745504 140697925236437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=1002] ppid=926 vsize=11016544 memory=2397068 CPUtime=1.41 cores=0,2,4,6
/proc/929/task/1002/stat : 1002 (java) S 926 929 30627 0 -1 1077944384 2723 13235 0 0 70 63 5 3 20 0 15 0 222170179 11280941056 602570 33554432000 4194304 4196468 140725678782192 140697346722352 140697925237378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
Current children cumulated CPU time: 2444.46 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 2410280 KiB
[startup+2442.3 s]
/proc/loadavg: 1.54 1.65 1.60 3/220 1251
/proc/meminfo: memFree=14634656/32770624 swapFree=67108688/67108860
[pid=929] ppid=926 vsize=11016544 memory=2423336 CPUtime=2504.73 cores=0,2,4,6
/proc/929/stat : 929 (java) S 926 929 30627 0 -1 1077944320 1007866 13235 0 0 250056 409 5 3 20 0 15 0 222170164 11280941056 605834 33554432000 4194304 4196468 140725678782192 140725678764736 140697925226231 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
/proc/929/statm: 2754136 605834 3544 1 0 2715789 0
[pid=929/tid=989] ppid=926 vsize=11016544 memory=1408 CPUtime=2431.36 cores=0,2,4,6
/proc/929/task/989/stat : 989 (java) R 926 929 30627 0 -1 4202560 512239 13235 0 0 243057 71 5 3 20 0 15 0 222170173 11280941056 605834 33554432000 4194304 4196468 140725678782192 140697897060080 140697514915348 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=990] ppid=926 vsize=11016544 memory=2420956 CPUtime=8.09 cores=0,2,4,6
/proc/929/task/990/stat : 990 (java) S 926 929 30627 0 -1 1077944384 27923 13235 0 0 740 61 5 3 20 0 15 0 222170174 11280941056 605834 33554432000 4194304 4196468 140725678782192 140697929468944 140697925236437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=991] ppid=926 vsize=11016544 memory=2415688 CPUtime=8.1 cores=0,2,4,6
/proc/929/task/991/stat : 991 (java) S 926 929 30627 0 -1 1077944384 29617 13235 0 0 742 60 5 3 20 0 15 0 222170174 11280941056 605834 33554432000 4194304 4196468 140725678782192 140697464605840 140697925236437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=992] ppid=926 vsize=11016544 memory=2418184 CPUtime=8.11 cores=0,2,4,6
/proc/929/task/992/stat : 992 (java) S 926 929 30627 0 -1 1077944384 32962 13235 0 0 741 62 5 3 20 0 15 0 222170174 11280941056 605834 33554432000 4194304 4196468 140725678782192 140697463552784 140697925236437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=993] ppid=926 vsize=11016544 memory=281336062365088 CPUtime=8.15 cores=0,2,4,6
/proc/929/task/993/stat : 993 (java) S 926 929 30627 0 -1 1077944384 24533 13235 0 0 742 65 5 3 20 0 15 0 222170174 11280941056 605834 33554432000 4194304 4196468 140725678782192 140697462500240 140697925236437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=994] ppid=926 vsize=11016544 memory=2418184 CPUtime=2.17 cores=0,2,4,6
/proc/929/task/994/stat : 994 (java) S 926 929 30627 0 -1 1077944384 28829 13235 0 0 193 16 5 3 20 0 15 0 222170175 11280941056 605834 33554432000 4194304 4196468 140725678782192 140697350932720 140697925237378 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=995] ppid=926 vsize=11016544 memory=2420956 CPUtime=0.08 cores=0,2,4,6
/proc/929/task/995/stat : 995 (java) S 926 929 30627 0 -1 1077944384 20 13235 0 0 0 0 5 3 20 0 15 0 222170176 11280941056 605834 33554432000 4194304 4196468 140725678782192 140696699790560 140697925236437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=996] ppid=926 vsize=11016544 memory=2420956 CPUtime=0.08 cores=0,2,4,6
/proc/929/task/996/stat : 996 (java) S 926 929 30627 0 -1 1077944384 2 13235 0 0 0 0 5 3 20 0 15 0 222170176 11280941056 605834 33554432000 4194304 4196468 140725678782192 140696551940864 140697925236437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=997] ppid=926 vsize=11016544 memory=2420956 CPUtime=0.08 cores=0,2,4,6
/proc/929/task/997/stat : 997 (java) S 926 929 30627 0 -1 1077944384 3 13235 0 0 0 0 5 3 20 0 15 0 222170179 11280941056 605834 33554432000 4194304 4196468 140725678782192 140696244541392 140697925244827 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=998] ppid=926 vsize=11016544 memory=2420876 CPUtime=16.78 cores=0,2,4,6
/proc/929/task/998/stat : 998 (java) S 926 929 30627 0 -1 1077944384 120501 13235 0 0 1658 12 5 3 20 0 15 0 222170179 11280941056 605834 33554432000 4194304 4196468 140725678782192 140697349880560 140697925237378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=999] ppid=926 vsize=11016544 memory=2423336 CPUtime=15.69 cores=0,2,4,6
/proc/929/task/999/stat : 999 (java) S 926 929 30627 0 -1 1077944384 113177 13235 0 0 1552 9 5 3 20 0 15 0 222170179 11280941056 605834 33554432000 4194304 4196468 140725678782192 140697348828016 140697925237378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=1000] ppid=926 vsize=11016544 memory=2423336 CPUtime=5.46 cores=0,2,4,6
/proc/929/task/1000/stat : 1000 (java) S 926 929 30627 0 -1 1077944384 113112 13235 0 0 525 13 5 3 20 0 15 0 222170179 11280941056 605834 33554432000 4194304 4196468 140725678782192 140697347774960 140697925237378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=1001] ppid=926 vsize=11016544 memory=2413476 CPUtime=0.08 cores=0,2,4,6
/proc/929/task/1001/stat : 1001 (java) S 926 929 30627 0 -1 1077944384 3 13235 0 0 0 0 5 3 20 0 15 0 222170179 11280941056 605834 33554432000 4194304 4196468 140725678782192 140695813745504 140697925236437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=1002] ppid=926 vsize=11016544 memory=2423336 CPUtime=1.44 cores=0,2,4,6
/proc/929/task/1002/stat : 1002 (java) S 926 929 30627 0 -1 1077944384 2755 13235 0 0 72 64 5 3 20 0 15 0 222170179 11280941056 605834 33554432000 4194304 4196468 140725678782192 140697346722352 140697925237378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
Current children cumulated CPU time: 2504.73 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 2423336 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2457.5 s]
/proc/loadavg: 1.51 1.63 1.59 3/220 1252
/proc/meminfo: memFree=14633028/32770624 swapFree=67108688/67108860
[pid=929] ppid=926 vsize=11016544 memory=2424680 CPUtime=2520 cores=0,2,4,6
/proc/929/stat : 929 (java) S 926 929 30627 0 -1 1077944320 1009540 13235 0 0 251582 410 5 3 20 0 15 0 222170164 11280941056 606170 33554432000 4194304 4196468 140725678782192 140725678764736 140697925226231 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
/proc/929/statm: 2754136 606170 3544 1 0 2715789 0
[pid=929/tid=989] ppid=926 vsize=11016544 memory=281336061712840 CPUtime=2446.55 cores=0,2,4,6
/proc/929/task/989/stat : 989 (java) R 926 929 30627 0 -1 4202560 512805 13235 0 0 244576 71 5 3 20 0 15 0 222170173 11280941056 606170 33554432000 4194304 4196468 140725678782192 140697897061424 140697496508896 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=990] ppid=926 vsize=11016544 memory=140668031031089 CPUtime=8.1 cores=0,2,4,6
/proc/929/task/990/stat : 990 (java) S 926 929 30627 0 -1 1077944384 28182 13235 0 0 741 61 5 3 20 0 15 0 222170174 11280941056 606170 33554432000 4194304 4196468 140725678782192 140697929468944 140697925236437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=991] ppid=926 vsize=11016544 memory=2397068 CPUtime=8.11 cores=0,2,4,6
/proc/929/task/991/stat : 991 (java) S 926 929 30627 0 -1 1077944384 29975 13235 0 0 743 60 5 3 20 0 15 0 222170174 11280941056 606170 33554432000 4194304 4196468 140725678782192 140697464605840 140697925236437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=992] ppid=926 vsize=11016544 memory=2424116 CPUtime=8.12 cores=0,2,4,6
/proc/929/task/992/stat : 992 (java) S 926 929 30627 0 -1 1077944384 33066 13235 0 0 742 62 5 3 20 0 15 0 222170174 11280941056 606170 33554432000 4194304 4196468 140725678782192 140697463552784 140697925236437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=993] ppid=926 vsize=11016544 memory=3824 CPUtime=8.16 cores=0,2,4,6
/proc/929/task/993/stat : 993 (java) S 926 929 30627 0 -1 1077944384 24597 13235 0 0 743 65 5 3 20 0 15 0 222170174 11280941056 606170 33554432000 4194304 4196468 140725678782192 140697462500240 140697925236437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=994] ppid=926 vsize=11016544 memory=281336062658336 CPUtime=2.17 cores=0,2,4,6
/proc/929/task/994/stat : 994 (java) S 926 929 30627 0 -1 1077944384 28849 13235 0 0 193 16 5 3 20 0 15 0 222170175 11280941056 606170 33554432000 4194304 4196468 140725678782192 140697350932720 140697925237378 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=995] ppid=926 vsize=11016544 memory=2405568 CPUtime=0.08 cores=0,2,4,6
/proc/929/task/995/stat : 995 (java) S 926 929 30627 0 -1 1077944384 20 13235 0 0 0 0 5 3 20 0 15 0 222170176 11280941056 606170 33554432000 4194304 4196468 140725678782192 140696699790560 140697925236437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=996] ppid=926 vsize=11016544 memory=60604 CPUtime=0.08 cores=0,2,4,6
/proc/929/task/996/stat : 996 (java) S 926 929 30627 0 -1 1077944384 2 13235 0 0 0 0 5 3 20 0 15 0 222170176 11280941056 606170 33554432000 4194304 4196468 140725678782192 140696551940864 140697925236437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=997] ppid=926 vsize=11016544 memory=281336063817264 CPUtime=0.08 cores=0,2,4,6
/proc/929/task/997/stat : 997 (java) S 926 929 30627 0 -1 1077944384 3 13235 0 0 0 0 5 3 20 0 15 0 222170179 11280941056 606170 33554432000 4194304 4196468 140725678782192 140696244541392 140697925244827 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=998] ppid=926 vsize=11016544 memory=281336063921584 CPUtime=16.8 cores=0,2,4,6
/proc/929/task/998/stat : 998 (java) S 926 929 30627 0 -1 1077944384 120610 13235 0 0 1660 12 5 3 20 0 15 0 222170179 11280941056 606170 33554432000 4194304 4196468 140725678782192 140697349880560 140697925237378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=999] ppid=926 vsize=11016544 memory=2415688 CPUtime=15.7 cores=0,2,4,6
/proc/929/task/999/stat : 999 (java) S 926 929 30627 0 -1 1077944384 113178 13235 0 0 1553 9 5 3 20 0 15 0 222170179 11280941056 606170 33554432000 4194304 4196468 140725678782192 140697348828016 140697925237378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=1000] ppid=926 vsize=11016544 memory=-1664385933527490352 CPUtime=5.47 cores=0,2,4,6
/proc/929/task/1000/stat : 1000 (java) S 926 929 30627 0 -1 1077944384 113303 13235 0 0 526 13 5 3 20 0 15 0 222170179 11280941056 606170 33554432000 4194304 4196468 140725678782192 140697347774960 140697925237378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=1001] ppid=926 vsize=11016544 memory=281336062365088 CPUtime=0.08 cores=0,2,4,6
/proc/929/task/1001/stat : 1001 (java) S 926 929 30627 0 -1 1077944384 3 13235 0 0 0 0 5 3 20 0 15 0 222170179 11280941056 606170 33554432000 4194304 4196468 140725678782192 140695813745504 140697925236437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=1002] ppid=926 vsize=11016544 memory=0 CPUtime=1.46 cores=0,2,4,6
/proc/929/task/1002/stat : 1002 (java) S 926 929 30627 0 -1 1077944384 2757 13235 0 0 73 65 5 3 20 0 15 0 222170179 11280941056 606170 33554432000 4194304 4196468 140725678782192 140697346722352 140697925237378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 2424680 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2457.55 s]
# the end of solver process 929 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.91 s, system=4.15625 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2457.5 s]
/proc/loadavg: 1.51 1.63 1.59 3/220 1252
/proc/meminfo: memFree=14633028/32770624 swapFree=67108688/67108860
[pid=929] ppid=926 vsize=11016544 memory=2424680 CPUtime=2520 cores=0,2,4,6
/proc/929/stat : 929 (java) S 926 929 30627 0 -1 1077944320 1009540 13235 0 0 251582 410 5 3 20 0 15 0 222170164 11280941056 606170 33554432000 4194304 4196468 140725678782192 140725678764736 140697925226231 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
/proc/929/statm: 2754136 606170 3544 1 0 2715789 0
[pid=929/tid=989] ppid=926 vsize=11016544 memory=281336061712840 CPUtime=2446.55 cores=0,2,4,6
/proc/929/task/989/stat : 989 (java) R 926 929 30627 0 -1 4202560 512805 13235 0 0 244576 71 5 3 20 0 15 0 222170173 11280941056 606170 33554432000 4194304 4196468 140725678782192 140697897061424 140697496508896 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=990] ppid=926 vsize=11016544 memory=140668031031089 CPUtime=8.1 cores=0,2,4,6
/proc/929/task/990/stat : 990 (java) S 926 929 30627 0 -1 1077944384 28182 13235 0 0 741 61 5 3 20 0 15 0 222170174 11280941056 606170 33554432000 4194304 4196468 140725678782192 140697929468944 140697925236437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=991] ppid=926 vsize=11016544 memory=2397068 CPUtime=8.11 cores=0,2,4,6
/proc/929/task/991/stat : 991 (java) S 926 929 30627 0 -1 1077944384 29975 13235 0 0 743 60 5 3 20 0 15 0 222170174 11280941056 606170 33554432000 4194304 4196468 140725678782192 140697464605840 140697925236437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=992] ppid=926 vsize=11016544 memory=2424116 CPUtime=8.12 cores=0,2,4,6
/proc/929/task/992/stat : 992 (java) S 926 929 30627 0 -1 1077944384 33066 13235 0 0 742 62 5 3 20 0 15 0 222170174 11280941056 606170 33554432000 4194304 4196468 140725678782192 140697463552784 140697925236437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=993] ppid=926 vsize=11016544 memory=3824 CPUtime=8.16 cores=0,2,4,6
/proc/929/task/993/stat : 993 (java) S 926 929 30627 0 -1 1077944384 24597 13235 0 0 743 65 5 3 20 0 15 0 222170174 11280941056 606170 33554432000 4194304 4196468 140725678782192 140697462500240 140697925236437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=994] ppid=926 vsize=11016544 memory=281336062658336 CPUtime=2.17 cores=0,2,4,6
/proc/929/task/994/stat : 994 (java) S 926 929 30627 0 -1 1077944384 28849 13235 0 0 193 16 5 3 20 0 15 0 222170175 11280941056 606170 33554432000 4194304 4196468 140725678782192 140697350932720 140697925237378 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=995] ppid=926 vsize=11016544 memory=2405568 CPUtime=0.08 cores=0,2,4,6
/proc/929/task/995/stat : 995 (java) S 926 929 30627 0 -1 1077944384 20 13235 0 0 0 0 5 3 20 0 15 0 222170176 11280941056 606170 33554432000 4194304 4196468 140725678782192 140696699790560 140697925236437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=996] ppid=926 vsize=11016544 memory=60604 CPUtime=0.08 cores=0,2,4,6
/proc/929/task/996/stat : 996 (java) S 926 929 30627 0 -1 1077944384 2 13235 0 0 0 0 5 3 20 0 15 0 222170176 11280941056 606170 33554432000 4194304 4196468 140725678782192 140696551940864 140697925236437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=997] ppid=926 vsize=11016544 memory=281336063817264 CPUtime=0.08 cores=0,2,4,6
/proc/929/task/997/stat : 997 (java) S 926 929 30627 0 -1 1077944384 3 13235 0 0 0 0 5 3 20 0 15 0 222170179 11280941056 606170 33554432000 4194304 4196468 140725678782192 140696244541392 140697925244827 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=998] ppid=926 vsize=11016544 memory=281336063921584 CPUtime=16.8 cores=0,2,4,6
/proc/929/task/998/stat : 998 (java) S 926 929 30627 0 -1 1077944384 120610 13235 0 0 1660 12 5 3 20 0 15 0 222170179 11280941056 606170 33554432000 4194304 4196468 140725678782192 140697349880560 140697925237378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=999] ppid=926 vsize=11016544 memory=2415688 CPUtime=15.7 cores=0,2,4,6
/proc/929/task/999/stat : 999 (java) S 926 929 30627 0 -1 1077944384 113178 13235 0 0 1553 9 5 3 20 0 15 0 222170179 11280941056 606170 33554432000 4194304 4196468 140725678782192 140697348828016 140697925237378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=1000] ppid=926 vsize=11016544 memory=-1664385933527490352 CPUtime=5.47 cores=0,2,4,6
/proc/929/task/1000/stat : 1000 (java) S 926 929 30627 0 -1 1077944384 113303 13235 0 0 526 13 5 3 20 0 15 0 222170179 11280941056 606170 33554432000 4194304 4196468 140725678782192 140697347774960 140697925237378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=1001] ppid=926 vsize=11016544 memory=281336062365088 CPUtime=0.08 cores=0,2,4,6
/proc/929/task/1001/stat : 1001 (java) S 926 929 30627 0 -1 1077944384 3 13235 0 0 0 0 5 3 20 0 15 0 222170179 11280941056 606170 33554432000 4194304 4196468 140725678782192 140695813745504 140697925236437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
[pid=929/tid=1002] ppid=926 vsize=11016544 memory=0 CPUtime=1.46 cores=0,2,4,6
/proc/929/task/1002/stat : 1002 (java) S 926 929 30627 0 -1 1077944384 2757 13235 0 0 73 65 5 3 20 0 15 0 222170179 11280941056 606170 33554432000 4194304 4196468 140725678782192 140697346722352 140697925237378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21417984 140725678787172 140725678789980 140725678789980 140725678792655 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 11016544 KiB
Current children cumulated memory: 2424680 KiB
Child status: 143
Real time (s): 2457.55
CPU time (s): 2520.06
CPU user time (s): 2515.91
CPU system time (s): 4.15625
CPU usage (%): 102.544
Max. virtual memory (cumulated for all children) (KiB): 11017208
Max. memory (cumulated for all children) (KiB): 2965232
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.91
system time used= 4.15625
maximum resident set size= 2967280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1023179
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 104754
involuntary context switches= 4776
# summary of solver processes directly reported to runsolver:
# pid: 929
# total CPU time (s): 2520.06
# total CPU user time (s): 2515.91
# total CPU system time (s): 4.15625
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.4644 second user time and 22.4321 second system time
The end