0.98/0.75 c Concrete v3.8.1528841891564 running
20.01/7.77 c 01:49:07.860 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25340. 'extension(x[1][7]=[0‥3], 3) :: init: true :: relation: MDD 1744389827, 5 edges, 4 vertices, 3 tuples
20.01/7.78 c 01:49:07.868 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25370. 'extension(3, 3) :: init: true :: relation: MDD 1744389827, 5 edges, 4 vertices, 3 tuples
20.01/7.78 c 01:49:07.870 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25395. 'extension(3, x[5][7]=[0‥3]) :: init: true :: relation: MDD 1744389827, 5 edges, 4 vertices, 3 tuples
20.01/7.78 c 01:49:07.871 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25398. 'extension(3, 3) :: init: true :: relation: MDD 1744389827, 5 edges, 4 vertices, 3 tuples
20.01/7.78 c 01:49:07.872 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25424. 'extension(x[3][9]=[0‥3], 3) :: init: true :: relation: MDD 1985362663, 5 edges, 4 vertices, 3 tuples
20.01/7.78 c 01:49:07.875 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25453. 'extension(3, wk[9][0]=[0‥1]) :: init: true :: relation: MDD 1256384385, 4 edges, 3 vertices, 3 tuples
20.01/7.78 c 01:49:07.875 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25457. 'extension(3, 3) :: init: true :: relation: MDD 1985362663, 5 edges, 4 vertices, 3 tuples
20.01/7.78 c 01:49:07.876 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25484. 'extension(3, wk[14][0]=[0‥1]) :: init: true :: relation: MDD 541330540, 4 edges, 3 vertices, 3 tuples
20.01/7.79 c 01:49:07.877 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25485. 'extension(x[4][14]=[0‥3], 3) :: init: true :: relation: MDD 502863983, 5 edges, 4 vertices, 3 tuples
20.01/7.79 c 01:49:07.877 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25486. 'extension(3, x[6][14]=[0‥3]) :: init: true :: relation: MDD 502863983, 5 edges, 4 vertices, 3 tuples
20.01/7.79 c 01:49:07.880 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25515. 'extension(3, wk[9][0]=[0‥1]) :: init: true :: relation: MDD 48063459, 4 edges, 3 vertices, 3 tuples
20.01/7.79 c 01:49:07.880 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25519. 'extension(3, 3) :: init: true :: relation: MDD 1985362663, 5 edges, 4 vertices, 3 tuples
20.01/7.79 c 01:49:07.881 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25549. 'extension(3, 3) :: init: true :: relation: MDD 1985362663, 5 edges, 4 vertices, 3 tuples
20.01/7.79 c 01:49:07.882 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25579. 'extension(3, 3) :: init: true :: relation: MDD 1985362663, 5 edges, 4 vertices, 3 tuples
20.01/7.79 c 01:49:07.883 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25606. 'extension(x[7][13]=[0‥3], 3) :: init: true :: relation: MDD 121521031, 5 edges, 4 vertices, 3 tuples
20.01/7.79 c 01:49:07.883 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25607. 'extension(3, x[9][13]=[0‥3]) :: init: true :: relation: MDD 121521031, 5 edges, 4 vertices, 3 tuples
20.01/7.79 c 01:49:07.886 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25639. 'extension(3, 3) :: init: true :: relation: MDD 1985362663, 5 edges, 4 vertices, 3 tuples
20.01/7.79 c 01:49:07.887 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25666. 'extension(x[8][20]=[0‥3], 3) :: init: true :: relation: MDD 1233246555, 5 edges, 4 vertices, 3 tuples
20.01/7.80 c 01:49:07.888 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25695. 'extension(3, x[11][9]=[0‥3]) :: init: true :: relation: MDD 1985362663, 5 edges, 4 vertices, 3 tuples
20.33/7.80 c 01:49:07.889 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25698. 'extension(3, 3) :: init: true :: relation: MDD 1985362663, 5 edges, 4 vertices, 3 tuples
20.33/7.80 c 01:49:07.890 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25728. 'extension(3, 3) :: init: true :: relation: MDD 1233246555, 5 edges, 4 vertices, 3 tuples
20.33/7.80 c 01:49:07.892 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25754. 'extension(x[10][7]=[0‥3], 3) :: init: true :: relation: MDD 1744389827, 5 edges, 4 vertices, 3 tuples
20.33/7.80 c 01:49:07.892 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25755. 'extension(3, x[12][7]=[0‥3]) :: init: true :: relation: MDD 1744389827, 5 edges, 4 vertices, 3 tuples
20.33/7.80 c 01:49:07.894 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25787. 'extension(3, 3) :: init: true :: relation: MDD 1233246555, 5 edges, 4 vertices, 3 tuples
20.33/7.80 c 01:49:07.895 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25813. 'extension(3, wk[6][1]=[0‥1]) :: init: true :: relation: MDD 1955991197, 4 edges, 3 vertices, 3 tuples
20.33/7.81 c 01:49:07.896 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25814. 'extension(x[11][6]=[0‥3], 3) :: init: true :: relation: MDD 977245867, 5 edges, 4 vertices, 3 tuples
20.33/7.81 c 01:49:07.897 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25844. 'extension(3, wk[20][1]=[0‥1]) :: init: true :: relation: MDD 1163216403, 4 edges, 3 vertices, 3 tuples
20.33/7.81 c 01:49:07.897 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25848. 'extension(3, 3) :: init: true :: relation: MDD 1233246555, 5 edges, 4 vertices, 3 tuples
20.33/7.81 c 01:49:07.898 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25874. 'extension(3, wk[6][1]=[0‥1]) :: init: true :: relation: MDD 263565037, 4 edges, 3 vertices, 3 tuples
20.33/7.81 c 01:49:07.899 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25878. 'extension(3, 3) :: init: true :: relation: MDD 977245867, 5 edges, 4 vertices, 3 tuples
20.33/7.81 c 01:49:07.900 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25905. 'extension(3, wk[20][1]=[0‥1]) :: init: true :: relation: MDD 747833043, 4 edges, 3 vertices, 3 tuples
20.33/7.81 c 01:49:07.900 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25906. 'extension(3, x[14][20]=[0‥3]) :: init: true :: relation: MDD 1233246555, 5 edges, 4 vertices, 3 tuples
20.33/7.81 c 01:49:07.901 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25909. 'extension(3, 3) :: init: true :: relation: MDD 1233246555, 5 edges, 4 vertices, 3 tuples
20.33/7.81 c 01:49:07.902 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25938. 'extension(3, 3) :: init: true :: relation: MDD 977245867, 5 edges, 4 vertices, 3 tuples
20.33/7.81 c 01:49:07.903 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25965. 'extension(x[13][9]=[0‥3], 3) :: init: true :: relation: MDD 1985362663, 5 edges, 4 vertices, 3 tuples
20.33/7.81 c 01:49:07.903 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25966. 'extension(3, x[15][9]=[0‥3]) :: init: true :: relation: MDD 1985362663, 5 edges, 4 vertices, 3 tuples
20.33/7.81 c 01:49:07.906 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 25995. 'extension(x[14][3]=[0‥3], 3) :: init: true :: relation: MDD 1568999973, 5 edges, 4 vertices, 3 tuples
20.33/7.81 c 01:49:07.907 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26028. 'extension(3, 3) :: init: true :: relation: MDD 977245867, 5 edges, 4 vertices, 3 tuples
20.33/7.82 c 01:49:07.908 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26058. 'extension(3, 3) :: init: true :: relation: MDD 1568999973, 5 edges, 4 vertices, 3 tuples
20.33/7.82 c 01:49:07.909 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26088. 'extension(3, 3) :: init: true :: relation: MDD 977245867, 5 edges, 4 vertices, 3 tuples
20.33/7.82 c 01:49:07.909 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26115. 'extension(x[15][21]=[0‥3], 3) :: init: true :: relation: MDD 1038892935, 5 edges, 4 vertices, 3 tuples
20.33/7.82 c 01:49:07.910 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26116. 'extension(3, x[17][21]=[0‥3]) :: init: true :: relation: MDD 1038892935, 5 edges, 4 vertices, 3 tuples
20.33/7.82 c 01:49:07.912 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26147. 'extension(3, 3) :: init: true :: relation: MDD 1568999973, 5 edges, 4 vertices, 3 tuples
20.33/7.82 c 01:49:07.913 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26174. 'extension(x[16][5]=[0‥3], 3) :: init: true :: relation: MDD 700171153, 5 edges, 4 vertices, 3 tuples
20.33/7.82 c 01:49:07.914 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26207. 'extension(3, 3) :: init: true :: relation: MDD 977245867, 5 edges, 4 vertices, 3 tuples
20.33/7.82 c 01:49:07.914 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26237. 'extension(3, 3) :: init: true :: relation: MDD 1568999973, 5 edges, 4 vertices, 3 tuples
20.33/7.82 c 01:49:07.915 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26264. 'extension(3, x[19][5]=[0‥3]) :: init: true :: relation: MDD 700171153, 5 edges, 4 vertices, 3 tuples
20.33/7.83 c 01:49:07.916 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26267. 'extension(3, 3) :: init: true :: relation: MDD 700171153, 5 edges, 4 vertices, 3 tuples
20.33/7.83 c 01:49:07.917 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26294. 'extension(3, x[19][6]=[0‥3]) :: init: true :: relation: MDD 977245867, 5 edges, 4 vertices, 3 tuples
20.33/7.83 c 01:49:07.918 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26297. 'extension(3, 3) :: init: true :: relation: MDD 977245867, 5 edges, 4 vertices, 3 tuples
20.33/7.83 c 01:49:07.919 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26324. 'extension(3, wk[3][2]=[0‥1]) :: init: true :: relation: MDD 2325213, 4 edges, 3 vertices, 3 tuples
20.33/7.83 c 01:49:07.920 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26328. 'extension(3, 3) :: init: true :: relation: MDD 1568999973, 5 edges, 4 vertices, 3 tuples
20.33/7.83 c 01:49:07.920 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26355. 'extension(3, wk[12][2]=[0‥1]) :: init: true :: relation: MDD 295937119, 4 edges, 3 vertices, 3 tuples
20.33/7.83 c 01:49:07.921 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26356. 'extension(x[18][12]=[0‥3], 3) :: init: true :: relation: MDD 878169229, 5 edges, 4 vertices, 3 tuples
20.33/7.83 c 01:49:07.922 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26386. 'extension(3, wk[3][2]=[0‥1]) :: init: true :: relation: MDD 213729473, 4 edges, 3 vertices, 3 tuples
20.33/7.83 c 01:49:07.922 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26390. 'extension(3, 3) :: init: true :: relation: MDD 1568999973, 5 edges, 4 vertices, 3 tuples
20.33/7.83 c 01:49:07.923 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26417. 'extension(3, wk[11][2]=[0‥1]) :: init: true :: relation: MDD 2055501967, 4 edges, 3 vertices, 3 tuples
20.33/7.83 c 01:49:07.923 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26418. 'extension(x[19][11]=[0‥3], 3) :: init: true :: relation: MDD 462073515, 5 edges, 4 vertices, 3 tuples
20.33/7.83 c 01:49:07.924 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26448. 'extension(3, wk[12][2]=[0‥1]) :: init: true :: relation: MDD 1088381072, 4 edges, 3 vertices, 3 tuples
20.33/7.83 c 01:49:07.925 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26449. 'extension(3, x[21][12]=[0‥3]) :: init: true :: relation: MDD 878169229, 5 edges, 4 vertices, 3 tuples
20.33/7.83 c 01:49:07.925 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26452. 'extension(3, 3) :: init: true :: relation: MDD 878169229, 5 edges, 4 vertices, 3 tuples
20.33/7.83 c 01:49:07.927 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26482. 'extension(3, 3) :: init: true :: relation: MDD 1568999973, 5 edges, 4 vertices, 3 tuples
20.33/7.83 c 01:49:07.927 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26512. 'extension(3, 3) :: init: true :: relation: MDD 462073515, 5 edges, 4 vertices, 3 tuples
20.33/7.84 c 01:49:07.929 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26539. 'extension(3, x[23][3]=[0‥3]) :: init: true :: relation: MDD 1568999973, 5 edges, 4 vertices, 3 tuples
20.33/7.84 c 01:49:07.930 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26542. 'extension(3, 3) :: init: true :: relation: MDD 1568999973, 5 edges, 4 vertices, 3 tuples
20.33/7.84 c 01:49:07.931 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26569. 'extension(3, x[23][11]=[0‥3]) :: init: true :: relation: MDD 462073515, 5 edges, 4 vertices, 3 tuples
20.33/7.84 c 01:49:07.932 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26572. 'extension(3, 3) :: init: true :: relation: MDD 462073515, 5 edges, 4 vertices, 3 tuples
20.33/7.84 c 01:49:07.934 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26599. 'extension(x[22][1]=[0‥3], 3) :: init: true :: relation: MDD 1518022811, 5 edges, 4 vertices, 3 tuples
20.33/7.84 c 01:49:07.934 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26600. 'extension(3, x[24][1]=[0‥3]) :: init: true :: relation: MDD 1518022811, 5 edges, 4 vertices, 3 tuples
20.33/7.84 c 01:49:07.936 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26629. 'extension(x[22][4]=[0‥3], 3) :: init: true :: relation: MDD 1589146424, 5 edges, 4 vertices, 3 tuples
20.33/7.84 c 01:49:07.937 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26662. 'extension(3, 3) :: init: true :: relation: MDD 1589146424, 5 edges, 4 vertices, 3 tuples
20.33/7.85 c 01:49:07.938 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26692. 'extension(3, 3) :: init: true :: relation: MDD 1589146424, 5 edges, 4 vertices, 3 tuples
20.33/7.85 c 01:49:07.939 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26719. 'extension(x[24][14]=[0‥3], 3) :: init: true :: relation: MDD 502863983, 5 edges, 4 vertices, 3 tuples
20.33/7.85 c 01:49:07.939 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26720. 'extension(3, x[26][14]=[0‥3]) :: init: true :: relation: MDD 502863983, 5 edges, 4 vertices, 3 tuples
20.33/7.85 c 01:49:07.942 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26749. 'extension(3, wk[4][3]=[0‥1]) :: init: true :: relation: MDD 56531119, 4 edges, 3 vertices, 3 tuples
20.33/7.85 c 01:49:07.942 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26750. 'extension(3, x[27][4]=[0‥3]) :: init: true :: relation: MDD 1589146424, 5 edges, 4 vertices, 3 tuples
20.33/7.85 c 01:49:07.943 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26753. 'extension(3, 3) :: init: true :: relation: MDD 1589146424, 5 edges, 4 vertices, 3 tuples
20.33/7.85 c 01:49:07.944 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26780. 'extension(3, wk[17][3]=[0‥1]) :: init: true :: relation: MDD 2007031139, 4 edges, 3 vertices, 3 tuples
20.33/7.85 c 01:49:07.944 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26781. 'extension(x[25][17]=[0‥3], 3) :: init: true :: relation: MDD 1416549024, 5 edges, 4 vertices, 3 tuples
20.33/7.85 c 01:49:07.945 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26811. 'extension(3, wk[17][3]=[0‥1]) :: init: true :: relation: MDD 1798299644, 4 edges, 3 vertices, 3 tuples
20.33/7.85 c 01:49:07.946 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26815. 'extension(3, 3) :: init: true :: relation: MDD 1416549024, 5 edges, 4 vertices, 3 tuples
20.33/7.85 c 01:49:07.947 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26845. 'extension(3, 3) :: init: true :: relation: MDD 1416549024, 5 edges, 4 vertices, 3 tuples
20.33/7.86 c 01:49:07.948 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26875. 'extension(3, 3) :: init: true :: relation: MDD 1416549024, 5 edges, 4 vertices, 3 tuples
20.33/7.86 c 01:49:07.949 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26902. 'extension(x[29][7]=[0‥3], 3) :: init: true :: relation: MDD 1744389827, 5 edges, 4 vertices, 3 tuples
20.33/7.86 c 01:49:07.949 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26903. 'extension(3, x[31][7]=[0‥3]) :: init: true :: relation: MDD 1744389827, 5 edges, 4 vertices, 3 tuples
20.33/7.86 c 01:49:07.951 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26932. 'extension(x[29][8]=[0‥3], 3) :: init: true :: relation: MDD 1800031808, 5 edges, 4 vertices, 3 tuples
20.33/7.86 c 01:49:07.952 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26965. 'extension(3, 3) :: init: true :: relation: MDD 1416549024, 5 edges, 4 vertices, 3 tuples
20.33/7.86 c 01:49:07.953 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 26992. 'extension(x[30][0]=[0‥3], 3) :: init: true :: relation: MDD 58854654, 5 edges, 4 vertices, 3 tuples
20.33/7.86 c 01:49:07.954 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27022. 'extension(x[30][6]=[0‥3], 3) :: init: true :: relation: MDD 977245867, 5 edges, 4 vertices, 3 tuples
20.33/7.86 c 01:49:07.954 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27023. 'extension(3, x[32][6]=[0‥3]) :: init: true :: relation: MDD 977245867, 5 edges, 4 vertices, 3 tuples
20.33/7.86 c 01:49:07.956 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27055. 'extension(3, 3) :: init: true :: relation: MDD 1800031808, 5 edges, 4 vertices, 3 tuples
20.33/7.86 c 01:49:07.957 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27085. 'extension(3, 3) :: init: true :: relation: MDD 1416549024, 5 edges, 4 vertices, 3 tuples
20.33/7.87 c 01:49:07.958 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27112. 'extension(x[30][18]=[0‥3], 3) :: init: true :: relation: MDD 1002380301, 5 edges, 4 vertices, 3 tuples
20.33/7.87 c 01:49:07.959 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27144. 'extension(3, 3) :: init: true :: relation: MDD 58854654, 5 edges, 4 vertices, 3 tuples
20.33/7.87 c 01:49:07.960 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27174. 'extension(3, 3) :: init: true :: relation: MDD 1800031808, 5 edges, 4 vertices, 3 tuples
20.33/7.87 c 01:49:07.960 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27201. 'extension(x[31][15]=[0‥3], 3) :: init: true :: relation: MDD 656844049, 5 edges, 4 vertices, 3 tuples
20.33/7.87 c 01:49:07.961 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27202. 'extension(3, x[33][15]=[0‥3]) :: init: true :: relation: MDD 656844049, 5 edges, 4 vertices, 3 tuples
20.33/7.87 c 01:49:07.962 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27234. 'extension(3, 3) :: init: true :: relation: MDD 1416549024, 5 edges, 4 vertices, 3 tuples
20.33/7.87 c 01:49:07.963 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27264. 'extension(3, 3) :: init: true :: relation: MDD 1002380301, 5 edges, 4 vertices, 3 tuples
20.33/7.87 c 01:49:07.964 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27290. 'extension(x[31][19]=[0‥3], 3) :: init: true :: relation: MDD 1660536720, 5 edges, 4 vertices, 3 tuples
20.33/7.87 c 01:49:07.964 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27291. 'extension(3, x[33][19]=[0‥3]) :: init: true :: relation: MDD 1660536720, 5 edges, 4 vertices, 3 tuples
20.33/7.87 c 01:49:07.966 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27319. 'extension(3, wk[0][4]=[0‥1]) :: init: true :: relation: MDD 926612844, 4 edges, 3 vertices, 3 tuples
20.33/7.87 c 01:49:07.966 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27323. 'extension(3, 3) :: init: true :: relation: MDD 58854654, 5 edges, 4 vertices, 3 tuples
20.33/7.87 c 01:49:07.967 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27350. 'extension(3, wk[1][4]=[0‥1]) :: init: true :: relation: MDD 67716006, 4 edges, 3 vertices, 3 tuples
20.33/7.87 c 01:49:07.967 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27351. 'extension(x[32][1]=[0‥3], 3) :: init: true :: relation: MDD 1518022811, 5 edges, 4 vertices, 3 tuples
20.33/7.88 c 01:49:07.967 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27352. 'extension(3, x[34][1]=[0‥3]) :: init: true :: relation: MDD 1518022811, 5 edges, 4 vertices, 3 tuples
20.33/7.88 c 01:49:07.969 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27381. 'extension(3, wk[8][4]=[0‥1]) :: init: true :: relation: MDD 1768641212, 4 edges, 3 vertices, 3 tuples
20.33/7.88 c 01:49:07.969 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27385. 'extension(3, 3) :: init: true :: relation: MDD 1800031808, 5 edges, 4 vertices, 3 tuples
20.33/7.88 c 01:49:07.970 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27412. 'extension(3, wk[17][4]=[0‥1]) :: init: true :: relation: MDD 1561936660, 4 edges, 3 vertices, 3 tuples
20.33/7.88 c 01:49:07.970 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27413. 'extension(3, x[34][17]=[0‥3]) :: init: true :: relation: MDD 1416549024, 5 edges, 4 vertices, 3 tuples
20.33/7.88 c 01:49:07.970 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27416. 'extension(3, 3) :: init: true :: relation: MDD 1416549024, 5 edges, 4 vertices, 3 tuples
20.33/7.88 c 01:49:07.972 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27443. 'extension(3, wk[18][4]=[0‥1]) :: init: true :: relation: MDD 873688017, 4 edges, 3 vertices, 3 tuples
20.33/7.88 c 01:49:07.972 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27447. 'extension(3, 3) :: init: true :: relation: MDD 1002380301, 5 edges, 4 vertices, 3 tuples
20.33/7.88 c 01:49:07.973 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27473. 'extension(3, wk[0][4]=[0‥1]) :: init: true :: relation: MDD 1496097932, 4 edges, 3 vertices, 3 tuples
20.33/7.88 c 01:49:07.973 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27477. 'extension(3, 3) :: init: true :: relation: MDD 58854654, 5 edges, 4 vertices, 3 tuples
20.33/7.88 c 01:49:07.973 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27504. 'extension(3, wk[8][4]=[0‥1]) :: init: true :: relation: MDD 1325931357, 4 edges, 3 vertices, 3 tuples
20.33/7.88 c 01:49:07.974 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27508. 'extension(3, 3) :: init: true :: relation: MDD 1800031808, 5 edges, 4 vertices, 3 tuples
20.33/7.88 c 01:49:07.974 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27535. 'extension(3, wk[18][4]=[0‥1]) :: init: true :: relation: MDD 914175168, 4 edges, 3 vertices, 3 tuples
20.33/7.88 c 01:49:07.974 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27539. 'extension(3, 3) :: init: true :: relation: MDD 1002380301, 5 edges, 4 vertices, 3 tuples
20.33/7.88 c 01:49:07.975 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27568. 'extension(3, 3) :: init: true :: relation: MDD 58854654, 5 edges, 4 vertices, 3 tuples
20.33/7.88 c 01:49:07.976 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27598. 'extension(3, 3) :: init: true :: relation: MDD 1800031808, 5 edges, 4 vertices, 3 tuples
20.33/7.88 c 01:49:07.976 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27628. 'extension(3, 3) :: init: true :: relation: MDD 1002380301, 5 edges, 4 vertices, 3 tuples
20.33/7.88 c 01:49:07.977 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27657. 'extension(3, 3) :: init: true :: relation: MDD 58854654, 5 edges, 4 vertices, 3 tuples
20.33/7.88 c 01:49:07.977 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27687. 'extension(3, 3) :: init: true :: relation: MDD 1800031808, 5 edges, 4 vertices, 3 tuples
20.33/7.88 c 01:49:07.977 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27717. 'extension(3, 3) :: init: true :: relation: MDD 1002380301, 5 edges, 4 vertices, 3 tuples
20.33/7.89 c 01:49:07.978 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27746. 'extension(3, 3) :: init: true :: relation: MDD 58854654, 5 edges, 4 vertices, 3 tuples
20.33/7.89 c 01:49:07.979 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27773. 'extension(x[36][5]=[0‥3], 3) :: init: true :: relation: MDD 700171153, 5 edges, 4 vertices, 3 tuples
20.33/7.89 c 01:49:07.980 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27803. 'extension(3, x[38][8]=[0‥3]) :: init: true :: relation: MDD 1800031808, 5 edges, 4 vertices, 3 tuples
20.33/7.89 c 01:49:07.980 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27806. 'extension(3, 3) :: init: true :: relation: MDD 1800031808, 5 edges, 4 vertices, 3 tuples
20.33/7.89 c 01:49:07.982 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27833. 'extension(x[36][10]=[0‥3], 3) :: init: true :: relation: MDD 850300711, 5 edges, 4 vertices, 3 tuples
20.33/7.89 c 01:49:07.983 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27866. 'extension(3, 3) :: init: true :: relation: MDD 1002380301, 5 edges, 4 vertices, 3 tuples
20.33/7.89 c 01:49:07.987 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27892. 'extension(3, x[39][0]=[0‥3]) :: init: true :: relation: MDD 58854654, 5 edges, 4 vertices, 3 tuples
20.33/7.90 c 01:49:07.988 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27895. 'extension(3, 3) :: init: true :: relation: MDD 58854654, 5 edges, 4 vertices, 3 tuples
20.66/7.90 c 01:49:07.989 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27922. 'extension(x[37][1]=[0‥3], 3) :: init: true :: relation: MDD 1518022811, 5 edges, 4 vertices, 3 tuples
20.66/7.90 c 01:49:07.991 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27955. 'extension(3, 3) :: init: true :: relation: MDD 700171153, 5 edges, 4 vertices, 3 tuples
20.66/7.90 c 01:49:07.991 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 27985. 'extension(3, 3) :: init: true :: relation: MDD 850300711, 5 edges, 4 vertices, 3 tuples
20.66/7.90 c 01:49:07.992 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28012. 'extension(x[37][12]=[0‥3], 3) :: init: true :: relation: MDD 878169229, 5 edges, 4 vertices, 3 tuples
20.66/7.90 c 01:49:07.993 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28042. 'extension(3, x[39][18]=[0‥3]) :: init: true :: relation: MDD 1002380301, 5 edges, 4 vertices, 3 tuples
20.66/7.90 c 01:49:07.993 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28045. 'extension(3, 3) :: init: true :: relation: MDD 1002380301, 5 edges, 4 vertices, 3 tuples
20.66/7.90 c 01:49:07.995 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28074. 'extension(3, 3) :: init: true :: relation: MDD 1518022811, 5 edges, 4 vertices, 3 tuples
20.66/7.90 c 01:49:07.996 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28104. 'extension(3, 3) :: init: true :: relation: MDD 700171153, 5 edges, 4 vertices, 3 tuples
20.66/7.90 c 01:49:07.996 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28134. 'extension(3, 3) :: init: true :: relation: MDD 850300711, 5 edges, 4 vertices, 3 tuples
20.66/7.90 c 01:49:07.996 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28164. 'extension(3, 3) :: init: true :: relation: MDD 878169229, 5 edges, 4 vertices, 3 tuples
20.66/7.90 c 01:49:07.997 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28191. 'extension(x[38][19]=[0‥3], 3) :: init: true :: relation: MDD 1660536720, 5 edges, 4 vertices, 3 tuples
20.66/7.91 c 01:49:07.998 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28220. 'extension(3, wk[1][5]=[0‥1]) :: init: true :: relation: MDD 269132593, 4 edges, 3 vertices, 3 tuples
20.66/7.91 c 01:49:07.998 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28224. 'extension(3, 3) :: init: true :: relation: MDD 1518022811, 5 edges, 4 vertices, 3 tuples
20.66/7.91 c 01:49:07.999 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28251. 'extension(3, wk[5][5]=[0‥1]) :: init: true :: relation: MDD 430845669, 4 edges, 3 vertices, 3 tuples
20.66/7.91 c 01:49:07.999 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28252. 'extension(3, x[41][5]=[0‥3]) :: init: true :: relation: MDD 700171153, 5 edges, 4 vertices, 3 tuples
20.66/7.91 c 01:49:08.000 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28255. 'extension(3, 3) :: init: true :: relation: MDD 700171153, 5 edges, 4 vertices, 3 tuples
20.66/7.91 c 01:49:08.001 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28282. 'extension(3, wk[10][5]=[0‥1]) :: init: true :: relation: MDD 994267665, 4 edges, 3 vertices, 3 tuples
20.66/7.91 c 01:49:08.001 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28286. 'extension(3, 3) :: init: true :: relation: MDD 850300711, 5 edges, 4 vertices, 3 tuples
20.66/7.91 c 01:49:08.001 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28313. 'extension(3, wk[12][5]=[0‥1]) :: init: true :: relation: MDD 891327883, 4 edges, 3 vertices, 3 tuples
20.66/7.91 c 01:49:08.001 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28314. 'extension(3, x[41][12]=[0‥3]) :: init: true :: relation: MDD 878169229, 5 edges, 4 vertices, 3 tuples
20.66/7.91 c 01:49:08.002 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28317. 'extension(3, 3) :: init: true :: relation: MDD 878169229, 5 edges, 4 vertices, 3 tuples
20.66/7.91 c 01:49:08.003 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28344. 'extension(3, wk[19][5]=[0‥1]) :: init: true :: relation: MDD 184410212, 4 edges, 3 vertices, 3 tuples
20.66/7.91 c 01:49:08.003 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28348. 'extension(3, 3) :: init: true :: relation: MDD 1660536720, 5 edges, 4 vertices, 3 tuples
20.66/7.91 c 01:49:08.004 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28374. 'extension(3, wk[1][5]=[0‥1]) :: init: true :: relation: MDD 1917579871, 4 edges, 3 vertices, 3 tuples
20.66/7.91 c 01:49:08.005 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28375. 'extension(3, x[42][1]=[0‥3]) :: init: true :: relation: MDD 1518022811, 5 edges, 4 vertices, 3 tuples
20.66/7.91 c 01:49:08.005 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28378. 'extension(3, 3) :: init: true :: relation: MDD 1518022811, 5 edges, 4 vertices, 3 tuples
20.66/7.91 c 01:49:08.006 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28405. 'extension(3, wk[10][5]=[0‥1]) :: init: true :: relation: MDD 1487365582, 4 edges, 3 vertices, 3 tuples
20.66/7.91 c 01:49:08.006 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28406. 'extension(3, x[42][10]=[0‥3]) :: init: true :: relation: MDD 850300711, 5 edges, 4 vertices, 3 tuples
20.66/7.91 c 01:49:08.007 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28409. 'extension(3, 3) :: init: true :: relation: MDD 850300711, 5 edges, 4 vertices, 3 tuples
20.66/7.91 c 01:49:08.008 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28436. 'extension(3, wk[19][5]=[0‥1]) :: init: true :: relation: MDD 623820846, 4 edges, 3 vertices, 3 tuples
20.66/7.92 c 01:49:08.008 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28437. 'extension(3, x[42][19]=[0‥3]) :: init: true :: relation: MDD 1660536720, 5 edges, 4 vertices, 3 tuples
20.66/7.92 c 01:49:08.009 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28440. 'extension(3, 3) :: init: true :: relation: MDD 1660536720, 5 edges, 4 vertices, 3 tuples
20.66/7.92 c 01:49:08.010 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28466. 'extension(x[41][11]=[0‥3], 3) :: init: true :: relation: MDD 462073515, 5 edges, 4 vertices, 3 tuples
20.66/7.92 c 01:49:08.011 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28499. 'extension(3, 3) :: init: true :: relation: MDD 462073515, 5 edges, 4 vertices, 3 tuples
20.66/7.92 c 01:49:08.012 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28529. 'extension(3, 3) :: init: true :: relation: MDD 462073515, 5 edges, 4 vertices, 3 tuples
20.66/7.92 c 01:49:08.012 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28559. 'extension(3, 3) :: init: true :: relation: MDD 462073515, 5 edges, 4 vertices, 3 tuples
20.66/7.92 c 01:49:08.013 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28586. 'extension(3, x[47][11]=[0‥3]) :: init: true :: relation: MDD 462073515, 5 edges, 4 vertices, 3 tuples
20.66/7.92 c 01:49:08.014 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28589. 'extension(3, 3) :: init: true :: relation: MDD 462073515, 5 edges, 4 vertices, 3 tuples
20.66/7.92 c 01:49:08.015 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28616. 'extension(x[45][21]=[0‥3], 3) :: init: true :: relation: MDD 1038892935, 5 edges, 4 vertices, 3 tuples
20.66/7.92 c 01:49:08.016 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28645. 'extension(3, wk[21][6]=[0‥1]) :: init: true :: relation: MDD 1149526768, 4 edges, 3 vertices, 3 tuples
20.66/7.92 c 01:49:08.016 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28649. 'extension(3, 3) :: init: true :: relation: MDD 1038892935, 5 edges, 4 vertices, 3 tuples
20.66/7.92 c 01:49:08.017 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28675. 'extension(3, wk[20][6]=[0‥1]) :: init: true :: relation: MDD 117701189, 4 edges, 3 vertices, 3 tuples
20.66/7.92 c 01:49:08.018 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28676. 'extension(x[47][20]=[0‥3], 3) :: init: true :: relation: MDD 1233246555, 5 edges, 4 vertices, 3 tuples
20.66/7.93 c 01:49:08.018 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28705. 'extension(3, wk[21][6]=[0‥1]) :: init: true :: relation: MDD 321795476, 4 edges, 3 vertices, 3 tuples
20.66/7.93 c 01:49:08.018 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28709. 'extension(3, 3) :: init: true :: relation: MDD 1038892935, 5 edges, 4 vertices, 3 tuples
20.66/7.93 c 01:49:08.019 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28735. 'extension(x[48][7]=[0‥3], 3) :: init: true :: relation: MDD 1744389827, 5 edges, 4 vertices, 3 tuples
20.66/7.93 c 01:49:08.020 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28765. 'extension(x[48][14]=[0‥3], 3) :: init: true :: relation: MDD 502863983, 5 edges, 4 vertices, 3 tuples
20.66/7.93 c 01:49:08.021 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28798. 'extension(3, 3) :: init: true :: relation: MDD 1233246555, 5 edges, 4 vertices, 3 tuples
20.66/7.93 c 01:49:08.022 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28827. 'extension(3, 3) :: init: true :: relation: MDD 1038892935, 5 edges, 4 vertices, 3 tuples
20.66/7.93 c 01:49:08.023 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28856. 'extension(3, 3) :: init: true :: relation: MDD 1744389827, 5 edges, 4 vertices, 3 tuples
20.66/7.93 c 01:49:08.023 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28886. 'extension(3, 3) :: init: true :: relation: MDD 502863983, 5 edges, 4 vertices, 3 tuples
20.66/7.93 c 01:49:08.024 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28913. 'extension(3, x[51][20]=[0‥3]) :: init: true :: relation: MDD 1233246555, 5 edges, 4 vertices, 3 tuples
20.66/7.93 c 01:49:08.024 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28916. 'extension(3, 3) :: init: true :: relation: MDD 1233246555, 5 edges, 4 vertices, 3 tuples
20.66/7.93 c 01:49:08.025 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28945. 'extension(3, 3) :: init: true :: relation: MDD 1038892935, 5 edges, 4 vertices, 3 tuples
20.66/7.93 c 01:49:08.026 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28971. 'extension(3, x[52][7]=[0‥3]) :: init: true :: relation: MDD 1744389827, 5 edges, 4 vertices, 3 tuples
20.66/7.93 c 01:49:08.027 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 28974. 'extension(3, 3) :: init: true :: relation: MDD 1744389827, 5 edges, 4 vertices, 3 tuples
20.66/7.93 c 01:49:08.028 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29004. 'extension(3, 3) :: init: true :: relation: MDD 502863983, 5 edges, 4 vertices, 3 tuples
20.66/7.94 c 01:49:08.028 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29034. 'extension(3, 3) :: init: true :: relation: MDD 1038892935, 5 edges, 4 vertices, 3 tuples
20.66/7.94 c 01:49:08.029 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29060. 'extension(x[51][12]=[0‥3], 3) :: init: true :: relation: MDD 878169229, 5 edges, 4 vertices, 3 tuples
20.66/7.95 c 01:49:08.030 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29090. 'extension(x[51][13]=[0‥3], 3) :: init: true :: relation: MDD 121521031, 5 edges, 4 vertices, 3 tuples
20.66/7.95 c 01:49:08.030 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29123. 'extension(3, 3) :: init: true :: relation: MDD 502863983, 5 edges, 4 vertices, 3 tuples
20.66/7.95 c 01:49:08.031 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29150. 'extension(x[51][19]=[0‥3], 3) :: init: true :: relation: MDD 1660536720, 5 edges, 4 vertices, 3 tuples
20.66/7.95 c 01:49:08.032 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29179. 'extension(3, x[53][21]=[0‥3]) :: init: true :: relation: MDD 1038892935, 5 edges, 4 vertices, 3 tuples
20.66/7.95 c 01:49:08.032 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29182. 'extension(3, 3) :: init: true :: relation: MDD 1038892935, 5 edges, 4 vertices, 3 tuples
20.66/7.95 c 01:49:08.033 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29211. 'extension(3, 3) :: init: true :: relation: MDD 878169229, 5 edges, 4 vertices, 3 tuples
20.66/7.95 c 01:49:08.034 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29241. 'extension(3, 3) :: init: true :: relation: MDD 121521031, 5 edges, 4 vertices, 3 tuples
20.66/7.95 c 01:49:08.034 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29271. 'extension(3, 3) :: init: true :: relation: MDD 502863983, 5 edges, 4 vertices, 3 tuples
20.66/7.95 c 01:49:08.035 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29298. 'extension(x[52][16]=[0‥3], 3) :: init: true :: relation: MDD 1954507866, 5 edges, 4 vertices, 3 tuples
20.66/7.95 c 01:49:08.035 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29331. 'extension(3, 3) :: init: true :: relation: MDD 1660536720, 5 edges, 4 vertices, 3 tuples
20.66/7.95 c 01:49:08.036 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29357. 'extension(3, wk[12][7]=[0‥1]) :: init: true :: relation: MDD 1243705012, 4 edges, 3 vertices, 3 tuples
20.66/7.95 c 01:49:08.036 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29358. 'extension(3, x[55][12]=[0‥3]) :: init: true :: relation: MDD 878169229, 5 edges, 4 vertices, 3 tuples
20.66/7.95 c 01:49:08.037 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29361. 'extension(3, 3) :: init: true :: relation: MDD 878169229, 5 edges, 4 vertices, 3 tuples
20.66/7.95 c 01:49:08.038 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29388. 'extension(3, wk[13][7]=[0‥1]) :: init: true :: relation: MDD 287056540, 4 edges, 3 vertices, 3 tuples
20.66/7.95 c 01:49:08.038 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29392. 'extension(3, 3) :: init: true :: relation: MDD 121521031, 5 edges, 4 vertices, 3 tuples
20.66/7.95 c 01:49:08.039 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29419. 'extension(3, wk[14][7]=[0‥1]) :: init: true :: relation: MDD 10536382, 4 edges, 3 vertices, 3 tuples
20.66/7.95 c 01:49:08.039 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29420. 'extension(3, x[55][14]=[0‥3]) :: init: true :: relation: MDD 502863983, 5 edges, 4 vertices, 3 tuples
20.66/7.95 c 01:49:08.039 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29423. 'extension(3, 3) :: init: true :: relation: MDD 502863983, 5 edges, 4 vertices, 3 tuples
20.66/7.95 c 01:49:08.041 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29450. 'extension(3, wk[16][7]=[0‥1]) :: init: true :: relation: MDD 947069796, 4 edges, 3 vertices, 3 tuples
20.66/7.95 c 01:49:08.041 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29454. 'extension(3, 3) :: init: true :: relation: MDD 1954507866, 5 edges, 4 vertices, 3 tuples
20.66/7.95 c 01:49:08.042 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29481. 'extension(3, wk[19][7]=[0‥1]) :: init: true :: relation: MDD 140778365, 4 edges, 3 vertices, 3 tuples
20.66/7.95 c 01:49:08.042 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29485. 'extension(3, 3) :: init: true :: relation: MDD 1660536720, 5 edges, 4 vertices, 3 tuples
20.66/7.95 c 01:49:08.043 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29511. 'extension(3, wk[2][7]=[0‥1]) :: init: true :: relation: MDD 2039840529, 4 edges, 3 vertices, 3 tuples
20.66/7.95 c 01:49:08.043 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29512. 'extension(x[54][2]=[0‥3], 3) :: init: true :: relation: MDD 893152673, 5 edges, 4 vertices, 3 tuples
20.66/7.95 c 01:49:08.043 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29542. 'extension(3, wk[13][7]=[0‥1]) :: init: true :: relation: MDD 437583344, 4 edges, 3 vertices, 3 tuples
20.66/7.95 c 01:49:08.044 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29543. 'extension(3, x[56][13]=[0‥3]) :: init: true :: relation: MDD 121521031, 5 edges, 4 vertices, 3 tuples
20.66/7.95 c 01:49:08.044 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29546. 'extension(3, 3) :: init: true :: relation: MDD 121521031, 5 edges, 4 vertices, 3 tuples
20.66/7.95 c 01:49:08.045 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29573. 'extension(3, wk[16][7]=[0‥1]) :: init: true :: relation: MDD 1221407133, 4 edges, 3 vertices, 3 tuples
20.66/7.95 c 01:49:08.045 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29577. 'extension(3, 3) :: init: true :: relation: MDD 1954507866, 5 edges, 4 vertices, 3 tuples
20.66/7.95 c 01:49:08.046 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29604. 'extension(3, wk[19][7]=[0‥1]) :: init: true :: relation: MDD 1068781783, 4 edges, 3 vertices, 3 tuples
20.66/7.95 c 01:49:08.046 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29605. 'extension(3, x[56][19]=[0‥3]) :: init: true :: relation: MDD 1660536720, 5 edges, 4 vertices, 3 tuples
20.66/7.95 c 01:49:08.046 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29608. 'extension(3, 3) :: init: true :: relation: MDD 1660536720, 5 edges, 4 vertices, 3 tuples
20.66/7.96 c 01:49:08.048 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29634. 'extension(x[55][1]=[0‥3], 3) :: init: true :: relation: MDD 1518022811, 5 edges, 4 vertices, 3 tuples
20.66/7.96 c 01:49:08.048 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29635. 'extension(3, x[57][1]=[0‥3]) :: init: true :: relation: MDD 1518022811, 5 edges, 4 vertices, 3 tuples
20.66/7.96 c 01:49:08.050 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29667. 'extension(3, 3) :: init: true :: relation: MDD 893152673, 5 edges, 4 vertices, 3 tuples
20.66/7.96 c 01:49:08.050 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29697. 'extension(3, 3) :: init: true :: relation: MDD 1954507866, 5 edges, 4 vertices, 3 tuples
20.66/7.96 c 01:49:08.051 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29727. 'extension(3, 3) :: init: true :: relation: MDD 893152673, 5 edges, 4 vertices, 3 tuples
20.66/7.96 c 01:49:08.051 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29754. 'extension(x[56][15]=[0‥3], 3) :: init: true :: relation: MDD 656844049, 5 edges, 4 vertices, 3 tuples
20.66/7.96 c 01:49:08.052 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29784. 'extension(3, x[58][16]=[0‥3]) :: init: true :: relation: MDD 1954507866, 5 edges, 4 vertices, 3 tuples
20.66/7.96 c 01:49:08.052 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29787. 'extension(3, 3) :: init: true :: relation: MDD 1954507866, 5 edges, 4 vertices, 3 tuples
20.66/7.96 c 01:49:08.053 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29817. 'extension(3, 3) :: init: true :: relation: MDD 893152673, 5 edges, 4 vertices, 3 tuples
20.66/7.96 c 01:49:08.054 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29847. 'extension(3, 3) :: init: true :: relation: MDD 656844049, 5 edges, 4 vertices, 3 tuples
20.66/7.96 c 01:49:08.055 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29877. 'extension(3, 3) :: init: true :: relation: MDD 893152673, 5 edges, 4 vertices, 3 tuples
20.66/7.96 c 01:49:08.055 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29904. 'extension(3, x[60][15]=[0‥3]) :: init: true :: relation: MDD 656844049, 5 edges, 4 vertices, 3 tuples
20.66/7.96 c 01:49:08.056 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29907. 'extension(3, 3) :: init: true :: relation: MDD 656844049, 5 edges, 4 vertices, 3 tuples
20.66/7.96 c 01:49:08.057 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29937. 'extension(3, 3) :: init: true :: relation: MDD 893152673, 5 edges, 4 vertices, 3 tuples
20.66/7.96 c 01:49:08.057 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29964. 'extension(x[59][5]=[0‥3], 3) :: init: true :: relation: MDD 700171153, 5 edges, 4 vertices, 3 tuples
20.66/7.97 c 01:49:08.058 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29965. 'extension(3, x[61][5]=[0‥3]) :: init: true :: relation: MDD 700171153, 5 edges, 4 vertices, 3 tuples
20.66/7.97 c 01:49:08.059 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29994. 'extension(3, wk[1][8]=[0‥1]) :: init: true :: relation: MDD 86558913, 4 edges, 3 vertices, 3 tuples
20.66/7.97 c 01:49:08.060 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29995. 'extension(x[60][1]=[0‥3], 3) :: init: true :: relation: MDD 1518022811, 5 edges, 4 vertices, 3 tuples
20.66/7.97 c 01:49:08.060 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 29996. 'extension(3, x[62][1]=[0‥3]) :: init: true :: relation: MDD 1518022811, 5 edges, 4 vertices, 3 tuples
20.66/7.97 c 01:49:08.062 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30025. 'extension(3, wk[2][8]=[0‥1]) :: init: true :: relation: MDD 1262573693, 4 edges, 3 vertices, 3 tuples
20.66/7.97 c 01:49:08.062 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30026. 'extension(3, x[62][2]=[0‥3]) :: init: true :: relation: MDD 893152673, 5 edges, 4 vertices, 3 tuples
20.66/7.97 c 01:49:08.062 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30029. 'extension(3, 3) :: init: true :: relation: MDD 893152673, 5 edges, 4 vertices, 3 tuples
20.66/7.97 c 01:49:08.063 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30056. 'extension(x[62][4]=[0‥3], 3) :: init: true :: relation: MDD 1589146424, 5 edges, 4 vertices, 3 tuples
20.66/7.97 c 01:49:08.064 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30057. 'extension(3, x[64][4]=[0‥3]) :: init: true :: relation: MDD 1589146424, 5 edges, 4 vertices, 3 tuples
20.66/7.97 c 01:49:08.065 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30086. 'extension(x[65][16]=[0‥3], 3) :: init: true :: relation: MDD 1954507866, 5 edges, 4 vertices, 3 tuples
20.66/7.98 c 01:49:08.066 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30087. 'extension(3, x[67][16]=[0‥3]) :: init: true :: relation: MDD 1954507866, 5 edges, 4 vertices, 3 tuples
20.66/7.98 c 01:49:08.067 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30116. 'extension(x[66][4]=[0‥3], 3) :: init: true :: relation: MDD 1589146424, 5 edges, 4 vertices, 3 tuples
20.66/7.98 c 01:49:08.068 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30146. 'extension(3, wk[4][9]=[0‥1]) :: init: true :: relation: MDD 1783978315, 4 edges, 3 vertices, 3 tuples
20.66/7.98 c 01:49:08.069 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30147. 'extension(3, x[69][4]=[0‥3]) :: init: true :: relation: MDD 1589146424, 5 edges, 4 vertices, 3 tuples
20.66/7.98 c 01:49:08.069 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30150. 'extension(3, 3) :: init: true :: relation: MDD 1589146424, 5 edges, 4 vertices, 3 tuples
20.66/7.98 c 01:49:08.070 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30177. 'extension(3, wk[13][9]=[0‥1]) :: init: true :: relation: MDD 1257058590, 4 edges, 3 vertices, 3 tuples
20.66/7.98 c 01:49:08.071 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30178. 'extension(x[68][13]=[0‥3], 3) :: init: true :: relation: MDD 121521031, 5 edges, 4 vertices, 3 tuples
20.66/7.98 c 01:49:08.072 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30211. 'extension(3, 3) :: init: true :: relation: MDD 121521031, 5 edges, 4 vertices, 3 tuples
20.66/7.98 c 01:49:08.072 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30238. 'extension(x[69][15]=[0‥3], 3) :: init: true :: relation: MDD 656844049, 5 edges, 4 vertices, 3 tuples
20.66/7.98 c 01:49:08.073 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30268. 'extension(3, x[72][13]=[0‥3]) :: init: true :: relation: MDD 121521031, 5 edges, 4 vertices, 3 tuples
20.66/7.98 c 01:49:08.074 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30271. 'extension(3, 3) :: init: true :: relation: MDD 121521031, 5 edges, 4 vertices, 3 tuples
20.66/7.98 c 01:49:08.075 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30301. 'extension(3, 3) :: init: true :: relation: MDD 656844049, 5 edges, 4 vertices, 3 tuples
20.66/7.98 c 01:49:08.075 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30331. 'extension(3, 3) :: init: true :: relation: MDD 656844049, 5 edges, 4 vertices, 3 tuples
20.66/7.98 c 01:49:08.076 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30358. 'extension(3, x[74][15]=[0‥3]) :: init: true :: relation: MDD 656844049, 5 edges, 4 vertices, 3 tuples
20.66/7.98 c 01:49:08.077 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30361. 'extension(3, 3) :: init: true :: relation: MDD 656844049, 5 edges, 4 vertices, 3 tuples
20.66/7.99 c 01:49:08.078 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30388. 'extension(3, wk[10][10]=[0‥1]) :: init: true :: relation: MDD 1009313206, 4 edges, 3 vertices, 3 tuples
20.66/7.99 c 01:49:08.078 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30389. 'extension(x[74][10]=[0‥3], 3) :: init: true :: relation: MDD 850300711, 5 edges, 4 vertices, 3 tuples
20.66/7.99 c 01:49:08.079 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30419. 'extension(3, wk[2][10]=[0‥1]) :: init: true :: relation: MDD 581067007, 4 edges, 3 vertices, 3 tuples
20.66/7.99 c 01:49:08.079 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30420. 'extension(x[75][2]=[0‥3], 3) :: init: true :: relation: MDD 893152673, 5 edges, 4 vertices, 3 tuples
20.66/7.99 c 01:49:08.080 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30421. 'extension(3, x[77][2]=[0‥3]) :: init: true :: relation: MDD 893152673, 5 edges, 4 vertices, 3 tuples
20.66/7.99 c 01:49:08.081 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30450. 'extension(3, wk[10][10]=[0‥1]) :: init: true :: relation: MDD 975790343, 4 edges, 3 vertices, 3 tuples
20.66/7.99 c 01:49:08.081 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30454. 'extension(3, 3) :: init: true :: relation: MDD 850300711, 5 edges, 4 vertices, 3 tuples
20.66/7.99 c 01:49:08.082 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30481. 'extension(3, x[78][10]=[0‥3]) :: init: true :: relation: MDD 850300711, 5 edges, 4 vertices, 3 tuples
20.66/7.99 c 01:49:08.083 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30484. 'extension(3, 3) :: init: true :: relation: MDD 850300711, 5 edges, 4 vertices, 3 tuples
20.66/7.99 c 01:49:08.084 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30511. 'extension(x[77][4]=[0‥3], 3) :: init: true :: relation: MDD 1589146424, 5 edges, 4 vertices, 3 tuples
20.66/7.99 c 01:49:08.084 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30512. 'extension(3, x[79][4]=[0‥3]) :: init: true :: relation: MDD 1589146424, 5 edges, 4 vertices, 3 tuples
20.66/7.99 c 01:49:08.086 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30541. 'extension(x[77][16]=[0‥3], 3) :: init: true :: relation: MDD 1954507866, 5 edges, 4 vertices, 3 tuples
20.66/7.99 c 01:49:08.087 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30571. 'extension(3, x[80][16]=[0‥3]) :: init: true :: relation: MDD 1954507866, 5 edges, 4 vertices, 3 tuples
20.66/7.99 c 01:49:08.087 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30574. 'extension(3, 3) :: init: true :: relation: MDD 1954507866, 5 edges, 4 vertices, 3 tuples
20.66/8.00 c 01:49:08.089 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30600. 'extension(x[80][5]=[0‥3], 3) :: init: true :: relation: MDD 700171153, 5 edges, 4 vertices, 3 tuples
20.66/8.00 c 01:49:08.089 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30601. 'extension(3, x[82][5]=[0‥3]) :: init: true :: relation: MDD 700171153, 5 edges, 4 vertices, 3 tuples
21.04/8.01 c 01:49:08.100 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30672. 'extension(x[1][7]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.01 c 01:49:08.101 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30682. 'extension(x[5][7]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.01 c 01:49:08.102 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30692. 'extension(x[3][9]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.01 c 01:49:08.102 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30698. 'extension(wk[9][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.04/8.01 c 01:49:08.102 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30704. 'extension(wk[14][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.04/8.01 c 01:49:08.102 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30706. 'extension(x[4][14]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.01 c 01:49:08.103 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30708. 'extension(x[6][14]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.01 c 01:49:08.103 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30722. 'extension(wk[9][0]=[0‥1]) :: init: true :: relation: Empty MDD
21.04/8.01 c 01:49:08.104 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30724. 'extension(x[7][13]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.01 c 01:49:08.104 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30726. 'extension(x[9][13]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.01 c 01:49:08.104 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30740. 'extension(x[8][20]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.01 c 01:49:08.105 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30746. 'extension(x[11][9]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.01 c 01:49:08.105 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30760. 'extension(x[10][7]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.01 c 01:49:08.106 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30762. 'extension(x[12][7]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.01 c 01:49:08.106 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30776. 'extension(wk[6][1]=[0‥1]) :: init: true :: relation: Empty MDD
21.04/8.01 c 01:49:08.107 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30778. 'extension(x[11][6]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.01 c 01:49:08.107 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30784. 'extension(wk[20][1]=[0‥1]) :: init: true :: relation: Empty MDD
21.04/8.01 c 01:49:08.107 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30786. 'extension(wk[6][1]=[0‥1]) :: init: true :: relation: Empty MDD
21.04/8.01 c 01:49:08.107 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30792. 'extension(wk[20][1]=[0‥1]) :: init: true :: relation: Empty MDD
21.04/8.01 c 01:49:08.108 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30794. 'extension(x[14][20]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.02 c 01:49:08.108 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30804. 'extension(x[13][9]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.02 c 01:49:08.108 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30806. 'extension(x[15][9]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.02 c 01:49:08.109 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30820. 'extension(x[14][3]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.02 c 01:49:08.109 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30830. 'extension(x[15][21]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.02 c 01:49:08.110 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30832. 'extension(x[17][21]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.02 c 01:49:08.114 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30846. 'extension(x[16][5]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.02 c 01:49:08.114 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30852. 'extension(x[19][5]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.02 c 01:49:08.114 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30866. 'extension(x[19][6]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.02 c 01:49:08.115 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30876. 'extension(wk[3][2]=[0‥1]) :: init: true :: relation: Empty MDD
21.04/8.02 c 01:49:08.115 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30878. 'extension(wk[12][2]=[0‥1]) :: init: true :: relation: Empty MDD
21.04/8.02 c 01:49:08.115 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30880. 'extension(x[18][12]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.02 c 01:49:08.116 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30886. 'extension(wk[3][2]=[0‥1]) :: init: true :: relation: Empty MDD
21.04/8.02 c 01:49:08.116 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30888. 'extension(wk[11][2]=[0‥1]) :: init: true :: relation: Empty MDD
21.04/8.02 c 01:49:08.116 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30890. 'extension(x[19][11]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.02 c 01:49:08.116 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30896. 'extension(wk[12][2]=[0‥1]) :: init: true :: relation: Empty MDD
21.04/8.02 c 01:49:08.116 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30898. 'extension(x[21][12]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.02 c 01:49:08.117 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30916. 'extension(x[23][3]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.02 c 01:49:08.118 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30926. 'extension(x[23][11]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.03 c 01:49:08.118 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30936. 'extension(x[22][1]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.03 c 01:49:08.118 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30938. 'extension(x[24][1]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.03 c 01:49:08.119 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30952. 'extension(x[22][4]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.03 c 01:49:08.119 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30962. 'extension(x[24][14]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.03 c 01:49:08.120 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30964. 'extension(x[26][14]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.03 c 01:49:08.120 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30978. 'extension(wk[4][3]=[0‥1]) :: init: true :: relation: Empty MDD
21.04/8.03 c 01:49:08.121 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30980. 'extension(x[27][4]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.03 c 01:49:08.121 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30990. 'extension(wk[17][3]=[0‥1]) :: init: true :: relation: Empty MDD
21.04/8.03 c 01:49:08.121 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30992. 'extension(x[25][17]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.03 c 01:49:08.122 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 30998. 'extension(wk[17][3]=[0‥1]) :: init: true :: relation: Empty MDD
21.04/8.03 c 01:49:08.122 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31004. 'extension(x[29][7]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.03 c 01:49:08.122 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31006. 'extension(x[31][7]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.03 c 01:49:08.123 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31020. 'extension(x[29][8]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.03 c 01:49:08.123 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31026. 'extension(x[30][0]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.03 c 01:49:08.123 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31032. 'extension(x[30][6]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.03 c 01:49:08.124 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31034. 'extension(x[32][6]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.03 c 01:49:08.124 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31052. 'extension(x[30][18]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.03 c 01:49:08.125 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31062. 'extension(x[31][15]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.03 c 01:49:08.125 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31064. 'extension(x[33][15]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.03 c 01:49:08.126 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31082. 'extension(x[31][19]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.03 c 01:49:08.126 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31084. 'extension(x[33][19]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.03 c 01:49:08.127 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31098. 'extension(wk[0][4]=[0‥1]) :: init: true :: relation: Empty MDD
21.04/8.03 c 01:49:08.127 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31100. 'extension(wk[1][4]=[0‥1]) :: init: true :: relation: Empty MDD
21.04/8.03 c 01:49:08.127 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31102. 'extension(x[32][1]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.03 c 01:49:08.127 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31104. 'extension(x[34][1]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.03 c 01:49:08.128 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31118. 'extension(wk[8][4]=[0‥1]) :: init: true :: relation: Empty MDD
21.04/8.03 c 01:49:08.128 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31120. 'extension(wk[17][4]=[0‥1]) :: init: true :: relation: Empty MDD
21.04/8.04 c 01:49:08.128 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31122. 'extension(x[34][17]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.04 c 01:49:08.129 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31132. 'extension(wk[18][4]=[0‥1]) :: init: true :: relation: Empty MDD
21.04/8.04 c 01:49:08.129 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31134. 'extension(wk[0][4]=[0‥1]) :: init: true :: relation: Empty MDD
21.04/8.04 c 01:49:08.129 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31136. 'extension(wk[8][4]=[0‥1]) :: init: true :: relation: Empty MDD
21.04/8.04 c 01:49:08.129 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31138. 'extension(wk[18][4]=[0‥1]) :: init: true :: relation: Empty MDD
21.04/8.04 c 01:49:08.129 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31140. 'extension(x[36][5]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.04 c 01:49:08.129 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31146. 'extension(x[38][8]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.04 c 01:49:08.130 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31156. 'extension(x[36][10]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.04 c 01:49:08.130 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31162. 'extension(x[39][0]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.04 c 01:49:08.131 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31172. 'extension(x[37][1]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.04 c 01:49:08.131 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31186. 'extension(x[37][12]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.04 c 01:49:08.132 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31192. 'extension(x[39][18]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.04 c 01:49:08.132 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31210. 'extension(x[38][19]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.04 c 01:49:08.133 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31216. 'extension(wk[1][5]=[0‥1]) :: init: true :: relation: Empty MDD
21.04/8.04 c 01:49:08.133 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31218. 'extension(wk[5][5]=[0‥1]) :: init: true :: relation: Empty MDD
21.04/8.04 c 01:49:08.133 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31220. 'extension(x[41][5]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.04 c 01:49:08.134 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31230. 'extension(wk[10][5]=[0‥1]) :: init: true :: relation: Empty MDD
21.04/8.04 c 01:49:08.134 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31232. 'extension(wk[12][5]=[0‥1]) :: init: true :: relation: Empty MDD
21.04/8.04 c 01:49:08.134 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31234. 'extension(x[41][12]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.04 c 01:49:08.134 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31244. 'extension(wk[19][5]=[0‥1]) :: init: true :: relation: Empty MDD
21.04/8.04 c 01:49:08.135 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31250. 'extension(wk[1][5]=[0‥1]) :: init: true :: relation: Empty MDD
21.04/8.04 c 01:49:08.135 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31252. 'extension(x[42][1]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.04 c 01:49:08.135 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31262. 'extension(wk[10][5]=[0‥1]) :: init: true :: relation: Empty MDD
21.04/8.04 c 01:49:08.135 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31264. 'extension(x[42][10]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.04 c 01:49:08.136 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31274. 'extension(wk[19][5]=[0‥1]) :: init: true :: relation: Empty MDD
21.04/8.04 c 01:49:08.136 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31276. 'extension(x[42][19]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.04 c 01:49:08.136 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31286. 'extension(x[41][11]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.04 c 01:49:08.137 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31296. 'extension(x[47][11]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.04 c 01:49:08.137 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31306. 'extension(x[45][21]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.05 c 01:49:08.138 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31312. 'extension(wk[21][6]=[0‥1]) :: init: true :: relation: Empty MDD
21.04/8.05 c 01:49:08.138 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31318. 'extension(wk[20][6]=[0‥1]) :: init: true :: relation: Empty MDD
21.04/8.05 c 01:49:08.138 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31320. 'extension(x[47][20]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.05 c 01:49:08.139 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31326. 'extension(wk[21][6]=[0‥1]) :: init: true :: relation: Empty MDD
21.04/8.05 c 01:49:08.139 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31328. 'extension(x[48][7]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.05 c 01:49:08.139 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31334. 'extension(x[48][14]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.05 c 01:49:08.140 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31352. 'extension(x[51][20]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.05 c 01:49:08.140 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31362. 'extension(x[52][7]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.05 c 01:49:08.141 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31372. 'extension(x[51][12]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.05 c 01:49:08.141 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31378. 'extension(x[51][13]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.05 c 01:49:08.142 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31384. 'extension(x[51][19]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.05 c 01:49:08.142 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31390. 'extension(x[53][21]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.05 c 01:49:08.143 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31408. 'extension(x[52][16]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.05 c 01:49:08.144 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31418. 'extension(wk[12][7]=[0‥1]) :: init: true :: relation: Empty MDD
21.04/8.05 c 01:49:08.144 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31420. 'extension(x[55][12]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.05 c 01:49:08.144 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31430. 'extension(wk[13][7]=[0‥1]) :: init: true :: relation: Empty MDD
21.04/8.05 c 01:49:08.144 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31432. 'extension(wk[14][7]=[0‥1]) :: init: true :: relation: Empty MDD
21.04/8.05 c 01:49:08.145 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31434. 'extension(x[55][14]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.05 c 01:49:08.145 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31444. 'extension(wk[16][7]=[0‥1]) :: init: true :: relation: Empty MDD
21.04/8.05 c 01:49:08.145 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31450. 'extension(wk[19][7]=[0‥1]) :: init: true :: relation: Empty MDD
21.04/8.05 c 01:49:08.145 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31452. 'extension(wk[2][7]=[0‥1]) :: init: true :: relation: Empty MDD
21.04/8.05 c 01:49:08.146 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31454. 'extension(x[54][2]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.05 c 01:49:08.146 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31460. 'extension(wk[13][7]=[0‥1]) :: init: true :: relation: Empty MDD
21.04/8.05 c 01:49:08.146 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31462. 'extension(x[56][13]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.05 c 01:49:08.147 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31472. 'extension(wk[16][7]=[0‥1]) :: init: true :: relation: Empty MDD
21.04/8.05 c 01:49:08.147 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31474. 'extension(wk[19][7]=[0‥1]) :: init: true :: relation: Empty MDD
21.04/8.05 c 01:49:08.147 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31476. 'extension(x[56][19]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.05 c 01:49:08.147 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31486. 'extension(x[55][1]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.05 c 01:49:08.147 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31488. 'extension(x[57][1]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.06 c 01:49:08.148 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31506. 'extension(x[56][15]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.06 c 01:49:08.149 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31512. 'extension(x[58][16]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.06 c 01:49:08.149 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31526. 'extension(x[60][15]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.06 c 01:49:08.150 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31536. 'extension(x[59][5]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.06 c 01:49:08.150 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31538. 'extension(x[61][5]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.06 c 01:49:08.151 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31552. 'extension(wk[1][8]=[0‥1]) :: init: true :: relation: Empty MDD
21.04/8.06 c 01:49:08.151 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31554. 'extension(x[60][1]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.06 c 01:49:08.151 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31556. 'extension(x[62][1]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.06 c 01:49:08.152 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31570. 'extension(wk[2][8]=[0‥1]) :: init: true :: relation: Empty MDD
21.04/8.06 c 01:49:08.152 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31572. 'extension(x[62][2]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.06 c 01:49:08.152 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31582. 'extension(x[62][4]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.06 c 01:49:08.152 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31584. 'extension(x[64][4]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.06 c 01:49:08.153 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31598. 'extension(x[65][16]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.06 c 01:49:08.153 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31600. 'extension(x[67][16]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.06 c 01:49:08.154 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31614. 'extension(x[66][4]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.06 c 01:49:08.154 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31620. 'extension(wk[4][9]=[0‥1]) :: init: true :: relation: Empty MDD
21.04/8.06 c 01:49:08.154 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31622. 'extension(x[69][4]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.06 c 01:49:08.155 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31636. 'extension(wk[13][9]=[0‥1]) :: init: true :: relation: Empty MDD
21.04/8.06 c 01:49:08.155 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31638. 'extension(x[68][13]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.06 c 01:49:08.155 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31648. 'extension(x[69][15]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.07 c 01:49:08.156 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31654. 'extension(x[72][13]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.07 c 01:49:08.157 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31668. 'extension(x[74][15]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.07 c 01:49:08.157 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31678. 'extension(wk[10][10]=[0‥1]) :: init: true :: relation: Empty MDD
21.04/8.07 c 01:49:08.157 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31680. 'extension(x[74][10]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.07 c 01:49:08.158 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31686. 'extension(wk[2][10]=[0‥1]) :: init: true :: relation: Empty MDD
21.04/8.07 c 01:49:08.158 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31688. 'extension(x[75][2]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.07 c 01:49:08.158 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31690. 'extension(x[77][2]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.07 c 01:49:08.158 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31704. 'extension(wk[10][10]=[0‥1]) :: init: true :: relation: Empty MDD
21.04/8.07 c 01:49:08.159 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31710. 'extension(x[78][10]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.07 c 01:49:08.159 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31720. 'extension(x[77][4]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.07 c 01:49:08.159 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31722. 'extension(x[79][4]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.07 c 01:49:08.160 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31736. 'extension(x[77][16]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.07 c 01:49:08.160 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31742. 'extension(x[80][16]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.07 c 01:49:08.161 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31756. 'extension(x[80][5]=[0‥3]) :: init: true :: relation: Empty MDD
21.04/8.07 c 01:49:08.161 [main] WARN cspom.compiler.ReduceRelations - Relation is empty for constraint 31758. 'extension(x[82][5]=[0‥3]) :: init: true :: relation: Empty MDD
2520.05/2451.50 Exception in thread "main" java.util.concurrent.TimeoutException: Timeout while computing best cost
2520.05/2451.50 at concrete.heuristic.value.BestCost.checkValue$1(BestCost.scala:24)
2520.05/2451.50 at concrete.heuristic.value.BestCost.$anonfun$select$2(BestCost.scala:53)
2520.05/2451.50 at concrete.BitVectorDomain.$anonfun$filter$1(BitVectorDomain.scala:126)
2520.05/2451.50 at bitvectors.SmallBitVector.filter(SmallBitVector.scala:142)
2520.05/2451.50 at bitvectors.SmallBitVector.filter(SmallBitVector.scala:5)
2520.05/2451.50 at concrete.BitVectorDomain.filter(BitVectorDomain.scala:126)
2520.05/2451.50 at concrete.BitVectorDomain.filter(BitVectorDomain.scala:8)
2520.05/2451.50 at concrete.heuristic.value.BestCost.select(BestCost.scala:53)
2520.05/2451.51 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:102)
2520.05/2451.51 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:102)
2520.05/2451.51 at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.05/2451.51 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:102)
2520.05/2451.51 at concrete.heuristic.value.ValueHeuristic.$anonfun$branch$1(ValueHeuristic.scala:102)
2520.05/2451.51 at scala.Function2.$anonfun$tupled$1(Function2.scala:48)
2520.05/2451.51 at concrete.heuristic.value.ValueHeuristic.selectOne$1(ValueHeuristic.scala:102)
2520.05/2451.51 at concrete.heuristic.value.ValueHeuristic.branch(ValueHeuristic.scala:108)
2520.05/2451.51 at concrete.heuristic.CrossHeuristic.$anonfun$branch$1(CrossHeuristic.scala:42)
2520.05/2451.51 at scala.Option.map(Option.scala:146)
2520.05/2451.51 at concrete.heuristic.CrossHeuristic.branch(CrossHeuristic.scala:40)
2520.05/2451.51 at concrete.MAC.mac(MAC.scala:203)
2520.05/2451.51 at concrete.MAC.$anonfun$oneRun$1(MAC.scala:252)
2520.05/2451.51 at scala.util.Try$.apply(Try.scala:209)
2520.05/2451.51 at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.05/2451.51 at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.05/2451.51 at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.05/2451.51 at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.05/2451.51 at org.scalameter.Measurer$Default.measure(Measurer.scala:133)
2520.05/2451.51 at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.05/2451.51 at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.05/2451.51 at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.05/2451.51 at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.05/2451.51 at concrete.MAC.oneRun(MAC.scala:253)
2520.05/2451.51 at concrete.MAC.nextSolution(MAC.scala:272)
2520.05/2451.51 at concrete.MAC.$anonfun$nextSolution$5(MAC.scala:336)
2520.05/2451.51 at concrete.ProblemState.map(ProblemState.scala:221)
2520.05/2451.51 at concrete.ProblemState.map(ProblemState.scala:204)
2520.05/2451.51 at concrete.MAC.nextSolution(MAC.scala:334)
2520.05/2451.51 at concrete.Solver.hasNext(Solver.scala:166)
2520.05/2451.51 at scala.collection.Iterator.foreach(Iterator.scala:944)
2520.05/2451.51 at scala.collection.Iterator.foreach$(Iterator.scala:944)
2520.05/2451.51 at concrete.Solver.foreach(Solver.scala:68)
2520.05/2451.51 at concrete.runner.ConcreteRunner.$anonfun$run$2(ConcreteRunner.scala:73)
2520.05/2451.51 at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.05/2451.51 at scala.util.Success.map(Try.scala:209)
2520.05/2451.51 at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:68)
2520.05/2451.51 at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:33)
2520.05/2451.51 at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:18)
2520.05/2451.51 at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:121)
2520.05/2451.51 at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:18)
2520.05/2451.51 at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.05/2451.51 at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.05/2451.51 at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.05/2451.51 at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.05/2451.51 at scala.collection.immutable.List.foreach(List.scala:389)
2520.05/2451.51 at scala.App.main(App.scala:76)
2520.05/2451.51 at scala.App.main$(App.scala:74)
2520.05/2451.51 at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:18)
2520.05/2451.51 at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.05/2451.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 (8680 MiB free)
memory of node 1: 16384 MiB (9620 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292981-1532303339/watcher-4292981-1532303339 -o /tmp/evaluation-result-4292981-1532303339/solver-4292981-1532303339 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532295923-7918 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1708510824 HOME/instance-4292981-1532303339.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
solver pid=9213, runsolver pid=9210
Current StackSize limit: 8192 KiB
[startup+0.100193 s]*
/proc/loadavg: 1.55 1.42 1.39 3/203 9267
/proc/meminfo: memFree=18733928/32770624 swapFree=67108860/67108860
[pid=9213] ppid=9210 vsize=9972712 memory=18592 CPUtime=0.08 cores=0,2,4,6
/proc/9213/stat : 9213 (java) S 9210 9213 7887 0 -1 1077944320 4262 13347 0 0 1 0 5 2 20 0 6 0 47897142 10212057088 4648 33554432000 4194304 4196468 140721011935376 140721011917920 140464742719223 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
/proc/9213/statm: 2493178 4648 1932 1 0 2481616 0
[pid=9213/tid=9266] ppid=9210 vsize=9972712 memory=-8384983170502934469 CPUtime=0.07 cores=0,2,4,6
/proc/9213/task/9266/stat : 9266 (java) R 9210 9213 7887 0 -1 4202560 2074 13347 0 0 0 0 5 2 20 0 6 0 47897152 10212057088 4648 33554432000 4194304 4196468 140721011935376 140464714555984 140464728401749 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9267] ppid=9210 vsize=9972712 memory=8257237230052613020 CPUtime=0.07 cores=0,2,4,6
/proc/9213/task/9267/stat : 9267 (java) S 9210 9213 7887 0 -1 1077944384 2 13347 0 0 0 0 5 2 20 0 6 0 47897152 10212057088 4648 33554432000 4194304 4196468 140721011935376 140464746961424 140464742729429 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9268] ppid=9210 vsize=9972712 memory=139718770931328 CPUtime=0.07 cores=0,2,4,6
/proc/9213/task/9268/stat : 9268 (java) S 9210 9213 7887 0 -1 1077944384 1 13347 0 0 0 0 5 2 20 0 6 0 47897152 10212057088 4648 33554432000 4194304 4196468 140721011935376 140464635234960 140464742729429 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9269] ppid=9210 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9213/task/9269/stat : 9269 (java) S 9210 9213 7887 0 -1 1077944384 1 13347 0 0 0 0 5 2 20 0 6 0 47897152 10212057088 4648 33554432000 4194304 4196468 140721011935376 140464634181904 140464742729429 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9270] ppid=9210 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9213/task/9270/stat : 9270 (java) S 9210 9213 7887 0 -1 1077944384 1 13347 0 0 0 0 5 2 20 0 6 0 47897152 10212057088 4648 33554432000 4194304 4196468 140721011935376 140464633129360 140464742729429 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18592 KiB
[startup+0.210893 s]*
/proc/loadavg: 1.55 1.42 1.39 3/215 9279
/proc/meminfo: memFree=18715056/32770624 swapFree=67108860/67108860
[pid=9213] ppid=9210 vsize=10818904 memory=37356 CPUtime=0.24 cores=0,2,4,6
/proc/9213/stat : 9213 (java) S 9210 9213 7887 0 -1 1077944320 7073 13347 0 0 16 1 5 2 20 0 15 0 47897142 11078557696 9339 33554432000 4194304 4196468 140721011935376 140721011917920 140464742719223 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
/proc/9213/statm: 2704726 9339 2950 1 0 2667149 0
[pid=9213/tid=9266] ppid=9210 vsize=10818904 memory=8514701219931451533 CPUtime=0.17 cores=0,2,4,6
/proc/9213/task/9266/stat : 9266 (java) R 9210 9213 7887 0 -1 4202560 3602 13347 0 0 10 0 5 2 20 0 15 0 47897152 11078557696 9339 33554432000 4194304 4196468 140721011935376 140464714541128 140464727884862 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9267] ppid=9210 vsize=10818904 memory=-7025452035940392864 CPUtime=0.07 cores=0,2,4,6
/proc/9213/task/9267/stat : 9267 (java) S 9210 9213 7887 0 -1 1077944384 2 13347 0 0 0 0 5 2 20 0 15 0 47897152 11078557696 9339 33554432000 4194304 4196468 140721011935376 140464746961424 140464742729429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9268] ppid=9210 vsize=10818904 memory=139718770931328 CPUtime=0.07 cores=0,2,4,6
/proc/9213/task/9268/stat : 9268 (java) S 9210 9213 7887 0 -1 1077944384 1 13347 0 0 0 0 5 2 20 0 15 0 47897152 11078557696 9339 33554432000 4194304 4196468 140721011935376 140464635234960 140464742729429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9269] ppid=9210 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9213/task/9269/stat : 9269 (java) S 9210 9213 7887 0 -1 1077944384 1 13347 0 0 0 0 5 2 20 0 15 0 47897152 11078557696 9339 33554432000 4194304 4196468 140721011935376 140464634181904 140464742729429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9270] ppid=9210 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9213/task/9270/stat : 9270 (java) S 9210 9213 7887 0 -1 1077944384 1 13347 0 0 0 0 5 2 20 0 15 0 47897152 11078557696 9339 33554432000 4194304 4196468 140721011935376 140464633129360 140464742729429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9271] ppid=9210 vsize=10818904 memory=139718770931328 CPUtime=0.07 cores=0,2,4,6
/proc/9213/task/9271/stat : 9271 (java) S 9210 9213 7887 0 -1 1077944384 2 13347 0 0 0 0 5 2 20 0 15 0 47897154 11078557696 9339 33554432000 4194304 4196468 140721011935376 140463744977648 140464742730370 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9272] ppid=9210 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9213/task/9272/stat : 9272 (java) S 9210 9213 7887 0 -1 1077944384 33 13347 0 0 0 0 5 2 20 0 15 0 47897154 11078557696 9339 33554432000 4194304 4196468 140721011935376 140463743923872 140464742729429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9273] ppid=9210 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9213/task/9273/stat : 9273 (java) S 9210 9213 7887 0 -1 1077944384 1 13347 0 0 0 0 5 2 20 0 15 0 47897155 11078557696 9339 33554432000 4194304 4196468 140721011935376 140463617074416 140464742729429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9274] ppid=9210 vsize=10818904 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9213/task/9274/stat : 9274 (java) S 9210 9213 7887 0 -1 1077944384 3 13347 0 0 0 0 5 2 20 0 15 0 47897157 11078557696 9339 33554432000 4194304 4196468 140721011935376 140463309674960 140464742737819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9275] ppid=9210 vsize=10818904 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9213/task/9275/stat : 9275 (java) S 9210 9213 7887 0 -1 1077944384 352 13347 0 0 1 0 5 2 20 0 15 0 47897157 11078557696 9339 33554432000 4194304 4196468 140721011935376 140463710365936 140464742730370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9276] ppid=9210 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9213/task/9276/stat : 9276 (java) S 9210 9213 7887 0 -1 1077944384 245 13347 0 0 0 0 5 2 20 0 15 0 47897157 11078557696 9339 33554432000 4194304 4196468 140721011935376 140463709313392 140464742730370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9277] ppid=9210 vsize=10818904 memory=139718770931328 CPUtime=0.1 cores=0,2,4,6
/proc/9213/task/9277/stat : 9277 (java) S 9210 9213 7887 0 -1 1077944384 633 13347 0 0 3 0 5 2 20 0 15 0 47897157 11078557696 9339 33554432000 4194304 4196468 140721011935376 140463708260336 140464742730370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9278] ppid=9210 vsize=10818904 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/9213/task/9278/stat : 9278 (java) S 9210 9213 7887 0 -1 1077944384 3 13347 0 0 0 0 5 2 20 0 15 0 47897157 11078557696 9339 33554432000 4194304 4196468 140721011935376 140463276116320 140464742729429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9279] ppid=9210 vsize=10818904 memory=139718770931328 CPUtime=0.07 cores=0,2,4,6
/proc/9213/task/9279/stat : 9279 (java) S 9210 9213 7887 0 -1 1077944384 1 13347 0 0 0 0 5 2 20 0 15 0 47897158 11078557696 9339 33554432000 4194304 4196468 140721011935376 140463707208752 140464742730370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 37356 KiB
[startup+0.310081 s]*
/proc/loadavg: 1.55 1.42 1.39 3/215 9279
/proc/meminfo: memFree=18702820/32770624 swapFree=67108860/67108860
[pid=9213] ppid=9210 vsize=10819352 memory=49220 CPUtime=0.37 cores=0,2,4,6
/proc/9213/stat : 9213 (java) S 9210 9213 7887 0 -1 1077944320 9934 13347 0 0 28 2 5 2 20 0 15 0 47897142 11079016448 12305 33554432000 4194304 4196468 140721011935376 140721011917920 140464742719223 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
/proc/9213/statm: 2704838 12305 3069 1 0 2667149 0
[pid=9213/tid=9266] ppid=9210 vsize=10819352 memory=8112282956445269571 CPUtime=0.27 cores=0,2,4,6
/proc/9213/task/9266/stat : 9266 (java) R 9210 9213 7887 0 -1 4202560 6613 13347 0 0 19 1 5 2 20 0 15 0 47897152 11079016448 12503 33554432000 4194304 4196468 140721011935376 140464714531232 140464722995037 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9267] ppid=9210 vsize=10819352 memory=7519155777426313296 CPUtime=0.07 cores=0,2,4,6
/proc/9213/task/9267/stat : 9267 (java) S 9210 9213 7887 0 -1 1077944384 2 13347 0 0 0 0 5 2 20 0 15 0 47897152 11079016448 12503 33554432000 4194304 4196468 140721011935376 140464746961424 140464742729429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9268] ppid=9210 vsize=10819352 memory=2072 CPUtime=0.07 cores=0,2,4,6
/proc/9213/task/9268/stat : 9268 (java) S 9210 9213 7887 0 -1 1077944384 1 13347 0 0 0 0 5 2 20 0 15 0 47897152 11079016448 12503 33554432000 4194304 4196468 140721011935376 140464635234960 140464742729429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9269] ppid=9210 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9213/task/9269/stat : 9269 (java) S 9210 9213 7887 0 -1 1077944384 1 13347 0 0 0 0 5 2 20 0 15 0 47897152 11079016448 12503 33554432000 4194304 4196468 140721011935376 140464634181904 140464742729429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9270] ppid=9210 vsize=10819352 memory=4126316290023845779 CPUtime=0.07 cores=0,2,4,6
/proc/9213/task/9270/stat : 9270 (java) S 9210 9213 7887 0 -1 1077944384 1 13347 0 0 0 0 5 2 20 0 15 0 47897152 11079016448 12503 33554432000 4194304 4196468 140721011935376 140464633129360 140464742729429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9271] ppid=9210 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9213/task/9271/stat : 9271 (java) S 9210 9213 7887 0 -1 1077944384 2 13347 0 0 0 0 5 2 20 0 15 0 47897154 11079016448 12503 33554432000 4194304 4196468 140721011935376 140463744977648 140464742730370 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9272] ppid=9210 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9213/task/9272/stat : 9272 (java) S 9210 9213 7887 0 -1 1077944384 33 13347 0 0 0 0 5 2 20 0 15 0 47897154 11079016448 12503 33554432000 4194304 4196468 140721011935376 140463743923872 140464742729429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9273] ppid=9210 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9213/task/9273/stat : 9273 (java) S 9210 9213 7887 0 -1 1077944384 1 13347 0 0 0 0 5 2 20 0 15 0 47897155 11079016448 12503 33554432000 4194304 4196468 140721011935376 140463617074416 140464742729429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9274] ppid=9210 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9213/task/9274/stat : 9274 (java) S 9210 9213 7887 0 -1 1077944384 3 13347 0 0 0 0 5 2 20 0 15 0 47897157 11079016448 12503 33554432000 4194304 4196468 140721011935376 140463309674960 140464742737819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9275] ppid=9210 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/9213/task/9275/stat : 9275 (java) S 9210 9213 7887 0 -1 1077944384 352 13347 0 0 2 0 5 2 20 0 15 0 47897157 11079016448 12503 33554432000 4194304 4196468 140721011935376 140463710365936 140464742730370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9276] ppid=9210 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9213/task/9276/stat : 9276 (java) S 9210 9213 7887 0 -1 1077944384 248 13347 0 0 1 0 5 2 20 0 15 0 47897157 11079016448 12503 33554432000 4194304 4196468 140721011935376 140463709313392 140464742730370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9277] ppid=9210 vsize=10819352 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/9213/task/9277/stat : 9277 (java) S 9210 9213 7887 0 -1 1077944384 653 13347 0 0 4 0 5 2 20 0 15 0 47897157 11079016448 12503 33554432000 4194304 4196468 140721011935376 140463708260336 140464742730370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9278] ppid=9210 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9213/task/9278/stat : 9278 (java) S 9210 9213 7887 0 -1 1077944384 3 13347 0 0 0 0 5 2 20 0 15 0 47897157 11079016448 12503 33554432000 4194304 4196468 140721011935376 140463276116320 140464742729429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9279] ppid=9210 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9213/task/9279/stat : 9279 (java) S 9210 9213 7887 0 -1 1077944384 1 13347 0 0 0 0 5 2 20 0 15 0 47897158 11079016448 12569 33554432000 4194304 4196468 140721011935376 140463707208752 140464742730370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 49220 KiB
[startup+0.700742 s]
/proc/loadavg: 1.55 1.42 1.39 3/215 9279
/proc/meminfo: memFree=18691532/32770624 swapFree=67108860/67108860
[pid=9213] ppid=9210 vsize=10819352 memory=84392 CPUtime=0.98 cores=0,2,4,6
/proc/9213/stat : 9213 (java) S 9210 9213 7887 0 -1 1077944320 16749 13347 0 0 87 4 5 2 20 0 15 0 47897142 11079016448 21098 33554432000 4194304 4196468 140721011935376 140721011917920 140464742719223 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
/proc/9213/statm: 2704838 21098 3238 1 0 2667149 0
[pid=9213/tid=9266] ppid=9210 vsize=10819352 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/9213/task/9266/stat : 9266 (java) R 9210 9213 7887 0 -1 4202560 12109 13347 0 0 56 2 5 2 20 0 15 0 47897152 11079016448 21098 33554432000 4194304 4196468 140721011935376 140464714525584 140464726799710 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9267] ppid=9210 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9213/task/9267/stat : 9267 (java) S 9210 9213 7887 0 -1 1077944384 2 13347 0 0 0 0 5 2 20 0 15 0 47897152 11079016448 21098 33554432000 4194304 4196468 140721011935376 140464746961424 140464742729429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9268] ppid=9210 vsize=10819352 memory=4140 CPUtime=0.07 cores=0,2,4,6
/proc/9213/task/9268/stat : 9268 (java) S 9210 9213 7887 0 -1 1077944384 1 13347 0 0 0 0 5 2 20 0 15 0 47897152 11079016448 21098 33554432000 4194304 4196468 140721011935376 140464635234960 140464742729429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9269] ppid=9210 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9213/task/9269/stat : 9269 (java) S 9210 9213 7887 0 -1 1077944384 1 13347 0 0 0 0 5 2 20 0 15 0 47897152 11079016448 21098 33554432000 4194304 4196468 140721011935376 140464634181904 140464742729429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9270] ppid=9210 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9213/task/9270/stat : 9270 (java) S 9210 9213 7887 0 -1 1077944384 1 13347 0 0 0 0 5 2 20 0 15 0 47897152 11079016448 21098 33554432000 4194304 4196468 140721011935376 140464633129360 140464742729429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9271] ppid=9210 vsize=10819352 memory=4420 CPUtime=0.07 cores=0,2,4,6
/proc/9213/task/9271/stat : 9271 (java) S 9210 9213 7887 0 -1 1077944384 5 13347 0 0 0 0 5 2 20 0 15 0 47897154 11079016448 21098 33554432000 4194304 4196468 140721011935376 140463744977648 140464742730370 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9272] ppid=9210 vsize=10819352 memory=6628 CPUtime=0.07 cores=0,2,4,6
/proc/9213/task/9272/stat : 9272 (java) S 9210 9213 7887 0 -1 1077944384 33 13347 0 0 0 0 5 2 20 0 15 0 47897154 11079016448 21098 33554432000 4194304 4196468 140721011935376 140463743923872 140464742729429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9273] ppid=9210 vsize=10819352 memory=8836 CPUtime=0.07 cores=0,2,4,6
/proc/9213/task/9273/stat : 9273 (java) S 9210 9213 7887 0 -1 1077944384 1 13347 0 0 0 0 5 2 20 0 15 0 47897155 11079016448 21098 33554432000 4194304 4196468 140721011935376 140463617074416 140464742729429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9274] ppid=9210 vsize=10819352 memory=11044 CPUtime=0.07 cores=0,2,4,6
/proc/9213/task/9274/stat : 9274 (java) S 9210 9213 7887 0 -1 1077944384 3 13347 0 0 0 0 5 2 20 0 15 0 47897157 11079016448 21098 33554432000 4194304 4196468 140721011935376 140463309674960 140464742737819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9275] ppid=9210 vsize=10819352 memory=13252 CPUtime=0.17 cores=0,2,4,6
/proc/9213/task/9275/stat : 9275 (java) S 9210 9213 7887 0 -1 1077944384 1020 13347 0 0 10 0 5 2 20 0 15 0 47897157 11079016448 21098 33554432000 4194304 4196468 140721011935376 140463710365936 140464742730370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9276] ppid=9210 vsize=10819352 memory=15460 CPUtime=0.14 cores=0,2,4,6
/proc/9213/task/9276/stat : 9276 (java) S 9210 9213 7887 0 -1 1077944384 633 13347 0 0 7 0 5 2 20 0 15 0 47897157 11079016448 21098 33554432000 4194304 4196468 140721011935376 140463709313392 140464742730370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9277] ppid=9210 vsize=10819352 memory=17668 CPUtime=0.2 cores=0,2,4,6
/proc/9213/task/9277/stat : 9277 (java) S 9210 9213 7887 0 -1 1077944384 746 13347 0 0 13 0 5 2 20 0 15 0 47897157 11079016448 21098 33554432000 4194304 4196468 140721011935376 140463708260336 140464742730370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9278] ppid=9210 vsize=10819352 memory=19876 CPUtime=0.07 cores=0,2,4,6
/proc/9213/task/9278/stat : 9278 (java) S 9210 9213 7887 0 -1 1077944384 3 13347 0 0 0 0 5 2 20 0 15 0 47897157 11079016448 21098 33554432000 4194304 4196468 140721011935376 140463276116320 140464742729429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9279] ppid=9210 vsize=10819352 memory=22084 CPUtime=0.07 cores=0,2,4,6
/proc/9213/task/9279/stat : 9279 (java) S 9210 9213 7887 0 -1 1077944384 1 13347 0 0 0 0 5 2 20 0 15 0 47897158 11079016448 21098 33554432000 4194304 4196468 140721011935376 140463707208752 140464742730370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 84392 KiB
[startup+1.50089 s]
/proc/loadavg: 1.55 1.42 1.39 3/215 9279
/proc/meminfo: memFree=18647984/32770624 swapFree=67108860/67108860
[pid=9213] ppid=9210 vsize=10828108 memory=169788 CPUtime=3.09 cores=0,2,4,6
/proc/9213/stat : 9213 (java) S 9210 9213 7887 0 -1 1077944320 22527 13347 0 0 294 8 5 2 20 0 15 0 47897142 11087982592 42447 33554432000 4194304 4196468 140721011935376 140721011917920 140464742719223 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
/proc/9213/statm: 2707027 42447 3457 1 0 2668685 0
[pid=9213/tid=9266] ppid=9210 vsize=10828108 memory=0 CPUtime=1.44 cores=0,2,4,6
/proc/9213/task/9266/stat : 9266 (java) R 9210 9213 7887 0 -1 4202560 15022 13347 0 0 132 5 5 2 20 0 15 0 47897152 11087982592 42447 33554432000 4194304 4196468 140721011935376 140464714550456 140464310276104 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9267] ppid=9210 vsize=10828108 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9213/task/9267/stat : 9267 (java) S 9210 9213 7887 0 -1 1077944384 2 13347 0 0 0 0 5 2 20 0 15 0 47897152 11087982592 42447 33554432000 4194304 4196468 140721011935376 140464746961424 140464742729429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9268] ppid=9210 vsize=10828108 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9213/task/9268/stat : 9268 (java) S 9210 9213 7887 0 -1 1077944384 1 13347 0 0 0 0 5 2 20 0 15 0 47897152 11087982592 42447 33554432000 4194304 4196468 140721011935376 140464635234960 140464742729429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9269] ppid=9210 vsize=10828108 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9213/task/9269/stat : 9269 (java) S 9210 9213 7887 0 -1 1077944384 1 13347 0 0 0 0 5 2 20 0 15 0 47897152 11087982592 42447 33554432000 4194304 4196468 140721011935376 140464634181904 140464742729429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9270] ppid=9210 vsize=10828108 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9213/task/9270/stat : 9270 (java) S 9210 9213 7887 0 -1 1077944384 1 13347 0 0 0 0 5 2 20 0 15 0 47897152 11087982592 42447 33554432000 4194304 4196468 140721011935376 140464633129360 140464742729429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9271] ppid=9210 vsize=10828108 memory=-7965959130280075168 CPUtime=0.07 cores=0,2,4,6
/proc/9213/task/9271/stat : 9271 (java) S 9210 9213 7887 0 -1 1077944384 12 13347 0 0 0 0 5 2 20 0 15 0 47897154 11087982592 42447 33554432000 4194304 4196468 140721011935376 140463744977648 140464742730370 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9272] ppid=9210 vsize=10828108 memory=279437283240192 CPUtime=0.07 cores=0,2,4,6
/proc/9213/task/9272/stat : 9272 (java) S 9210 9213 7887 0 -1 1077944384 33 13347 0 0 0 0 5 2 20 0 15 0 47897154 11087982592 42447 33554432000 4194304 4196468 140721011935376 140463743923872 140464742729429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9273] ppid=9210 vsize=10828108 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/9213/task/9273/stat : 9273 (java) S 9210 9213 7887 0 -1 1077944384 1 13347 0 0 0 0 5 2 20 0 15 0 47897155 11087982592 42447 33554432000 4194304 4196468 140721011935376 140463617074416 140464742729429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9274] ppid=9210 vsize=10828108 memory=1952 CPUtime=0.07 cores=0,2,4,6
/proc/9213/task/9274/stat : 9274 (java) S 9210 9213 7887 0 -1 1077944384 3 13347 0 0 0 0 5 2 20 0 15 0 47897157 11087982592 42447 33554432000 4194304 4196468 140721011935376 140463309674960 140464742737819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9275] ppid=9210 vsize=10828108 memory=1232 CPUtime=0.61 cores=0,2,4,6
/proc/9213/task/9275/stat : 9275 (java) R 9210 9213 7887 0 -1 4202560 2081 13347 0 0 54 0 5 2 20 0 15 0 47897157 11087982592 42447 33554432000 4194304 4196468 140721011935376 140463710352016 140464726219396 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9276] ppid=9210 vsize=10828108 memory=8372 CPUtime=0.62 cores=0,2,4,6
/proc/9213/task/9276/stat : 9276 (java) R 9210 9213 7887 0 -1 4202560 1494 13347 0 0 55 0 5 2 20 0 15 0 47897157 11087982592 42447 33554432000 4194304 4196468 140721011935376 140463709302064 140464724239341 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9277] ppid=9210 vsize=10828108 memory=1708 CPUtime=0.57 cores=0,2,4,6
/proc/9213/task/9277/stat : 9277 (java) S 9210 9213 7887 0 -1 1077944384 1679 13347 0 0 50 0 5 2 20 0 15 0 47897157 11087982592 42447 33554432000 4194304 4196468 140721011935376 140463708260336 140464742730370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9278] ppid=9210 vsize=10828108 memory=5412 CPUtime=0.07 cores=0,2,4,6
/proc/9213/task/9278/stat : 9278 (java) S 9210 9213 7887 0 -1 1077944384 3 13347 0 0 0 0 5 2 20 0 15 0 47897157 11087982592 42447 33554432000 4194304 4196468 140721011935376 140463276116320 140464742729429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9279] ppid=9210 vsize=10828108 memory=4612 CPUtime=0.07 cores=0,2,4,6
/proc/9213/task/9279/stat : 9279 (java) S 9210 9213 7887 0 -1 1077944384 1 13347 0 0 0 0 5 2 20 0 15 0 47897158 11087982592 42447 33554432000 4194304 4196468 140721011935376 140463707208752 140464742730370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 10828108 KiB
################
# More data... #
################
/proc/9213/task/9266/stat : 9266 (java) R 9210 9213 7887 0 -1 4202560 97558 13347 0 0 235779 53 5 2 20 0 15 0 47897152 11180277760 374711 33554432000 4194304 4196468 140721011935376 140464714553296 140464330988614 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9267] ppid=9210 vsize=10918240 memory=1498844 CPUtime=11.91 cores=0,2,4,6
/proc/9213/task/9267/stat : 9267 (java) S 9210 9213 7887 0 -1 1077944384 12827 13347 0 0 1129 55 5 2 20 0 15 0 47897152 11180277760 374711 33554432000 4194304 4196468 140721011935376 140464746961424 140464742729429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9268] ppid=9210 vsize=10918240 memory=1498844 CPUtime=11.92 cores=0,2,4,6
/proc/9213/task/9268/stat : 9268 (java) S 9210 9213 7887 0 -1 1077944384 13564 13347 0 0 1130 55 5 2 20 0 15 0 47897152 11180277760 374711 33554432000 4194304 4196468 140721011935376 140464635234960 140464742729429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9269] ppid=9210 vsize=10918240 memory=1498844 CPUtime=11.88 cores=0,2,4,6
/proc/9213/task/9269/stat : 9269 (java) S 9210 9213 7887 0 -1 1077944384 14170 13347 0 0 1128 53 5 2 20 0 15 0 47897152 11180277760 374711 33554432000 4194304 4196468 140721011935376 140464634181904 140464742729429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9270] ppid=9210 vsize=10918240 memory=1498844 CPUtime=11.84 cores=0,2,4,6
/proc/9213/task/9270/stat : 9270 (java) S 9210 9213 7887 0 -1 1077944384 14785 13347 0 0 1124 53 5 2 20 0 15 0 47897152 11180277760 374711 33554432000 4194304 4196468 140721011935376 140464633129360 140464742729429 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9271] ppid=9210 vsize=10918240 memory=1498844 CPUtime=8.75 cores=0,2,4,6
/proc/9213/task/9271/stat : 9271 (java) S 9210 9213 7887 0 -1 1077944384 18616 13347 0 0 824 44 5 2 20 0 15 0 47897154 11180277760 374711 33554432000 4194304 4196468 140721011935376 140463744977648 140464742730370 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9272] ppid=9210 vsize=10918240 memory=279437284586240 CPUtime=0.07 cores=0,2,4,6
/proc/9213/task/9272/stat : 9272 (java) S 9210 9213 7887 0 -1 1077944384 47 13347 0 0 0 0 5 2 20 0 15 0 47897154 11180277760 374711 33554432000 4194304 4196468 140721011935376 140463743923936 140464742729429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9273] ppid=9210 vsize=10918240 memory=1498844 CPUtime=0.07 cores=0,2,4,6
/proc/9213/task/9273/stat : 9273 (java) S 9210 9213 7887 0 -1 1077944384 11 13347 0 0 0 0 5 2 20 0 15 0 47897155 11180277760 374711 33554432000 4194304 4196468 140721011935376 140463617074432 140464742729429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9274] ppid=9210 vsize=10918240 memory=-6733704525061579059 CPUtime=0.07 cores=0,2,4,6
/proc/9213/task/9274/stat : 9274 (java) S 9210 9213 7887 0 -1 1077944384 3 13347 0 0 0 0 5 2 20 0 15 0 47897157 11180277760 374711 33554432000 4194304 4196468 140721011935376 140463309674960 140464742737819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9275] ppid=9210 vsize=10918240 memory=4126316290023845779 CPUtime=14.81 cores=0,2,4,6
/proc/9213/task/9275/stat : 9275 (java) S 9210 9213 7887 0 -1 1077944384 68747 13347 0 0 1465 9 5 2 20 0 15 0 47897157 11180277760 374711 33554432000 4194304 4196468 140721011935376 140463710365936 140464742730370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9276] ppid=9210 vsize=10918240 memory=4140 CPUtime=14.19 cores=0,2,4,6
/proc/9213/task/9276/stat : 9276 (java) S 9210 9213 7887 0 -1 1077944384 60035 13347 0 0 1405 7 5 2 20 0 15 0 47897157 11180277760 374711 33554432000 4194304 4196468 140721011935376 140463709313392 140464742730370 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9277] ppid=9210 vsize=10918240 memory=15828 CPUtime=5.18 cores=0,2,4,6
/proc/9213/task/9277/stat : 9277 (java) S 9210 9213 7887 0 -1 1077944384 70978 13347 0 0 501 10 5 2 20 0 15 0 47897157 11180277760 374711 33554432000 4194304 4196468 140721011935376 140463708260336 140464742730370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 45 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9278] ppid=9210 vsize=10918240 memory=1498844 CPUtime=0.07 cores=0,2,4,6
/proc/9213/task/9278/stat : 9278 (java) S 9210 9213 7887 0 -1 1077944384 3 13347 0 0 0 0 5 2 20 0 15 0 47897157 11180277760 374711 33554432000 4194304 4196468 140721011935376 140463276116320 140464742729429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9279] ppid=9210 vsize=10918240 memory=4140 CPUtime=1.45 cores=0,2,4,6
/proc/9213/task/9279/stat : 9279 (java) S 9210 9213 7887 0 -1 1077944384 1331 13347 0 0 66 72 5 2 20 0 15 0 47897158 11180277760 374711 33554432000 4194304 4196468 140721011935376 140463707208752 140464742730370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
Current children cumulated CPU time: 2449.81 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1498844 KiB
[startup+2442.3 s]
/proc/loadavg: 1.37 1.37 1.38 3/215 9510
/proc/meminfo: memFree=17729512/32770624 swapFree=67108860/67108860
[pid=9213] ppid=9210 vsize=10918240 memory=1494224 CPUtime=2510.71 cores=0,2,4,6
/proc/9213/stat : 9213 (java) S 9210 9213 7887 0 -1 1077944320 376319 13347 0 0 250703 361 5 2 20 0 15 0 47897142 11180277760 373556 33554432000 4194304 4196468 140721011935376 140721011917920 140464742719223 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
/proc/9213/statm: 2729560 373556 3535 1 0 2691213 0
[pid=9213/tid=9266] ppid=9210 vsize=10918240 memory=1494224 CPUtime=2417.8 cores=0,2,4,6
/proc/9213/task/9266/stat : 9266 (java) R 9210 9213 7887 0 -1 4202560 98315 13347 0 0 241719 54 5 2 20 0 15 0 47897152 11180277760 373556 33554432000 4194304 4196468 140721011935376 140464714553424 140464330988860 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9267] ppid=9210 vsize=10918240 memory=1494224 CPUtime=12.22 cores=0,2,4,6
/proc/9213/task/9267/stat : 9267 (java) S 9210 9213 7887 0 -1 1077944384 12906 13347 0 0 1159 56 5 2 20 0 15 0 47897152 11180277760 373556 33554432000 4194304 4196468 140721011935376 140464746961424 140464742729429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9268] ppid=9210 vsize=10918240 memory=1494224 CPUtime=12.23 cores=0,2,4,6
/proc/9213/task/9268/stat : 9268 (java) S 9210 9213 7887 0 -1 1077944384 13645 13347 0 0 1159 57 5 2 20 0 15 0 47897152 11180277760 373556 33554432000 4194304 4196468 140721011935376 140464635234960 140464742729429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9269] ppid=9210 vsize=10918240 memory=1494224 CPUtime=12.19 cores=0,2,4,6
/proc/9213/task/9269/stat : 9269 (java) S 9210 9213 7887 0 -1 1077944384 14309 13347 0 0 1158 54 5 2 20 0 15 0 47897152 11180277760 373556 33554432000 4194304 4196468 140721011935376 140464634181904 140464742729429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9270] ppid=9210 vsize=10918240 memory=1494224 CPUtime=12.15 cores=0,2,4,6
/proc/9213/task/9270/stat : 9270 (java) S 9210 9213 7887 0 -1 1077944384 14948 13347 0 0 1154 54 5 2 20 0 15 0 47897152 11180277760 373556 33554432000 4194304 4196468 140721011935376 140464633129360 140464742729429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9271] ppid=9210 vsize=10918240 memory=1494224 CPUtime=8.98 cores=0,2,4,6
/proc/9213/task/9271/stat : 9271 (java) S 9210 9213 7887 0 -1 1077944384 18825 13347 0 0 846 45 5 2 20 0 15 0 47897154 11180277760 373556 33554432000 4194304 4196468 140721011935376 140463744977648 140464742730370 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9272] ppid=9210 vsize=10918240 memory=1494224 CPUtime=0.07 cores=0,2,4,6
/proc/9213/task/9272/stat : 9272 (java) S 9210 9213 7887 0 -1 1077944384 47 13347 0 0 0 0 5 2 20 0 15 0 47897154 11180277760 373556 33554432000 4194304 4196468 140721011935376 140463743923936 140464742729429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9273] ppid=9210 vsize=10918240 memory=920 CPUtime=0.07 cores=0,2,4,6
/proc/9213/task/9273/stat : 9273 (java) S 9210 9213 7887 0 -1 1077944384 11 13347 0 0 0 0 5 2 20 0 15 0 47897155 11180277760 373556 33554432000 4194304 4196468 140721011935376 140463617074432 140464742729429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9274] ppid=9210 vsize=10918240 memory=279437284586240 CPUtime=0.07 cores=0,2,4,6
/proc/9213/task/9274/stat : 9274 (java) S 9210 9213 7887 0 -1 1077944384 3 13347 0 0 0 0 5 2 20 0 15 0 47897157 11180277760 373556 33554432000 4194304 4196468 140721011935376 140463309674960 140464742737819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9275] ppid=9210 vsize=10918240 memory=1494224 CPUtime=14.81 cores=0,2,4,6
/proc/9213/task/9275/stat : 9275 (java) S 9210 9213 7887 0 -1 1077944384 68749 13347 0 0 1465 9 5 2 20 0 15 0 47897157 11180277760 373556 33554432000 4194304 4196468 140721011935376 140463710365936 140464742730370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9276] ppid=9210 vsize=10918240 memory=1494224 CPUtime=14.19 cores=0,2,4,6
/proc/9213/task/9276/stat : 9276 (java) S 9210 9213 7887 0 -1 1077944384 60037 13347 0 0 1405 7 5 2 20 0 15 0 47897157 11180277760 373556 33554432000 4194304 4196468 140721011935376 140463709313392 140464742730370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9277] ppid=9210 vsize=10918240 memory=1494224 CPUtime=5.18 cores=0,2,4,6
/proc/9213/task/9277/stat : 9277 (java) S 9210 9213 7887 0 -1 1077944384 70980 13347 0 0 501 10 5 2 20 0 15 0 47897157 11180277760 373556 33554432000 4194304 4196468 140721011935376 140463708260336 140464742730370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 45 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9278] ppid=9210 vsize=10918240 memory=1494224 CPUtime=0.07 cores=0,2,4,6
/proc/9213/task/9278/stat : 9278 (java) S 9210 9213 7887 0 -1 1077944384 3 13347 0 0 0 0 5 2 20 0 15 0 47897157 11180277760 373556 33554432000 4194304 4196468 140721011935376 140463276116320 140464742729429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9279] ppid=9210 vsize=10918240 memory=1494224 CPUtime=1.49 cores=0,2,4,6
/proc/9213/task/9279/stat : 9279 (java) S 9210 9213 7887 0 -1 1077944384 1348 13347 0 0 69 73 5 2 20 0 15 0 47897158 11180277760 373556 33554432000 4194304 4196468 140721011935376 140463707208752 140464742730370 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
Current children cumulated CPU time: 2510.71 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1494224 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2451.5 s]
/proc/loadavg: 1.31 1.36 1.38 3/215 9510
/proc/meminfo: memFree=17729520/32770624 swapFree=67108860/67108860
[pid=9213] ppid=9210 vsize=10918240 memory=1494224 CPUtime=2520.05 cores=0,2,4,6
/proc/9213/stat : 9213 (java) S 9210 9213 7887 0 -1 1077944320 376590 13347 0 0 251636 362 5 2 20 0 15 0 47897142 11180277760 373556 33554432000 4194304 4196468 140721011935376 140721011917920 140464742719223 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
/proc/9213/statm: 2729560 373556 3535 1 0 2691213 0
[pid=9213/tid=9266] ppid=9210 vsize=10918240 memory=1494224 CPUtime=2426.9 cores=0,2,4,6
/proc/9213/task/9266/stat : 9266 (java) R 9210 9213 7887 0 -1 4202560 98471 13347 0 0 242629 54 5 2 20 0 15 0 47897152 11180277760 373556 33554432000 4194304 4196468 140721011935376 140464714554192 140464331033031 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9267] ppid=9210 vsize=10918240 memory=1494224 CPUtime=12.26 cores=0,2,4,6
/proc/9213/task/9267/stat : 9267 (java) S 9210 9213 7887 0 -1 1077944384 12912 13347 0 0 1163 56 5 2 20 0 15 0 47897152 11180277760 373556 33554432000 4194304 4196468 140721011935376 140464746961424 140464742729429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9268] ppid=9210 vsize=10918240 memory=1494224 CPUtime=12.28 cores=0,2,4,6
/proc/9213/task/9268/stat : 9268 (java) S 9210 9213 7887 0 -1 1077944384 13666 13347 0 0 1164 57 5 2 20 0 15 0 47897152 11180277760 373556 33554432000 4194304 4196468 140721011935376 140464635234960 140464742729429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9269] ppid=9210 vsize=10918240 memory=1494224 CPUtime=12.24 cores=0,2,4,6
/proc/9213/task/9269/stat : 9269 (java) S 9210 9213 7887 0 -1 1077944384 14315 13347 0 0 1163 54 5 2 20 0 15 0 47897152 11180277760 373556 33554432000 4194304 4196468 140721011935376 140464634181904 140464742729429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9270] ppid=9210 vsize=10918240 memory=1494224 CPUtime=12.2 cores=0,2,4,6
/proc/9213/task/9270/stat : 9270 (java) S 9210 9213 7887 0 -1 1077944384 14995 13347 0 0 1159 54 5 2 20 0 15 0 47897152 11180277760 373556 33554432000 4194304 4196468 140721011935376 140464633129360 140464742729429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9271] ppid=9210 vsize=10918240 memory=1494224 CPUtime=9.01 cores=0,2,4,6
/proc/9213/task/9271/stat : 9271 (java) S 9210 9213 7887 0 -1 1077944384 18850 13347 0 0 849 45 5 2 20 0 15 0 47897154 11180277760 373556 33554432000 4194304 4196468 140721011935376 140463744977648 140464742730370 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9272] ppid=9210 vsize=10918240 memory=1494224 CPUtime=0.07 cores=0,2,4,6
/proc/9213/task/9272/stat : 9272 (java) S 9210 9213 7887 0 -1 1077944384 47 13347 0 0 0 0 5 2 20 0 15 0 47897154 11180277760 373556 33554432000 4194304 4196468 140721011935376 140463743923936 140464742729429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9273] ppid=9210 vsize=10918240 memory=1200 CPUtime=0.07 cores=0,2,4,6
/proc/9213/task/9273/stat : 9273 (java) S 9210 9213 7887 0 -1 1077944384 11 13347 0 0 0 0 5 2 20 0 15 0 47897155 11180277760 373556 33554432000 4194304 4196468 140721011935376 140463617074432 140464742729429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9274] ppid=9210 vsize=10918240 memory=279437284586240 CPUtime=0.07 cores=0,2,4,6
/proc/9213/task/9274/stat : 9274 (java) S 9210 9213 7887 0 -1 1077944384 3 13347 0 0 0 0 5 2 20 0 15 0 47897157 11180277760 373556 33554432000 4194304 4196468 140721011935376 140463309674960 140464742737819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9275] ppid=9210 vsize=10918240 memory=55 CPUtime=14.81 cores=0,2,4,6
/proc/9213/task/9275/stat : 9275 (java) S 9210 9213 7887 0 -1 1077944384 68751 13347 0 0 1465 9 5 2 20 0 15 0 47897157 11180277760 373556 33554432000 4194304 4196468 140721011935376 140463710365936 140464742730370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9276] ppid=9210 vsize=10918240 memory=288230583166042426 CPUtime=14.19 cores=0,2,4,6
/proc/9213/task/9276/stat : 9276 (java) S 9210 9213 7887 0 -1 1077944384 60039 13347 0 0 1405 7 5 2 20 0 15 0 47897157 11180277760 373556 33554432000 4194304 4196468 140721011935376 140463709313392 140464742730370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9277] ppid=9210 vsize=10918240 memory=1494224 CPUtime=5.18 cores=0,2,4,6
/proc/9213/task/9277/stat : 9277 (java) S 9210 9213 7887 0 -1 1077944384 70982 13347 0 0 501 10 5 2 20 0 15 0 47897157 11180277760 373556 33554432000 4194304 4196468 140721011935376 140463708260336 140464742730370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 45 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9278] ppid=9210 vsize=10918240 memory=1494224 CPUtime=0.07 cores=0,2,4,6
/proc/9213/task/9278/stat : 9278 (java) S 9210 9213 7887 0 -1 1077944384 3 13347 0 0 0 0 5 2 20 0 15 0 47897157 11180277760 373556 33554432000 4194304 4196468 140721011935376 140463276116320 140464742729429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9279] ppid=9210 vsize=10918240 memory=1436 CPUtime=1.5 cores=0,2,4,6
/proc/9213/task/9279/stat : 9279 (java) S 9210 9213 7887 0 -1 1077944384 1352 13347 0 0 69 74 5 2 20 0 15 0 47897158 11180277760 373556 33554432000 4194304 4196468 140721011935376 140463707208752 140464742730370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1494224 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2451.53 s]
# the end of solver process 9213 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.44 s, system=3.66149 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2451.5 s]
/proc/loadavg: 1.31 1.36 1.38 3/215 9510
/proc/meminfo: memFree=17729520/32770624 swapFree=67108860/67108860
[pid=9213] ppid=9210 vsize=10918240 memory=1494224 CPUtime=2520.05 cores=0,2,4,6
/proc/9213/stat : 9213 (java) S 9210 9213 7887 0 -1 1077944320 376590 13347 0 0 251636 362 5 2 20 0 15 0 47897142 11180277760 373556 33554432000 4194304 4196468 140721011935376 140721011917920 140464742719223 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
/proc/9213/statm: 2729560 373556 3535 1 0 2691213 0
[pid=9213/tid=9266] ppid=9210 vsize=10918240 memory=1494224 CPUtime=2426.9 cores=0,2,4,6
/proc/9213/task/9266/stat : 9266 (java) R 9210 9213 7887 0 -1 4202560 98471 13347 0 0 242629 54 5 2 20 0 15 0 47897152 11180277760 373556 33554432000 4194304 4196468 140721011935376 140464714554192 140464331033031 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9267] ppid=9210 vsize=10918240 memory=1494224 CPUtime=12.26 cores=0,2,4,6
/proc/9213/task/9267/stat : 9267 (java) S 9210 9213 7887 0 -1 1077944384 12912 13347 0 0 1163 56 5 2 20 0 15 0 47897152 11180277760 373556 33554432000 4194304 4196468 140721011935376 140464746961424 140464742729429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9268] ppid=9210 vsize=10918240 memory=1494224 CPUtime=12.28 cores=0,2,4,6
/proc/9213/task/9268/stat : 9268 (java) S 9210 9213 7887 0 -1 1077944384 13666 13347 0 0 1164 57 5 2 20 0 15 0 47897152 11180277760 373556 33554432000 4194304 4196468 140721011935376 140464635234960 140464742729429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9269] ppid=9210 vsize=10918240 memory=1494224 CPUtime=12.24 cores=0,2,4,6
/proc/9213/task/9269/stat : 9269 (java) S 9210 9213 7887 0 -1 1077944384 14315 13347 0 0 1163 54 5 2 20 0 15 0 47897152 11180277760 373556 33554432000 4194304 4196468 140721011935376 140464634181904 140464742729429 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9270] ppid=9210 vsize=10918240 memory=1494224 CPUtime=12.2 cores=0,2,4,6
/proc/9213/task/9270/stat : 9270 (java) S 9210 9213 7887 0 -1 1077944384 14995 13347 0 0 1159 54 5 2 20 0 15 0 47897152 11180277760 373556 33554432000 4194304 4196468 140721011935376 140464633129360 140464742729429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9271] ppid=9210 vsize=10918240 memory=1494224 CPUtime=9.01 cores=0,2,4,6
/proc/9213/task/9271/stat : 9271 (java) S 9210 9213 7887 0 -1 1077944384 18850 13347 0 0 849 45 5 2 20 0 15 0 47897154 11180277760 373556 33554432000 4194304 4196468 140721011935376 140463744977648 140464742730370 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9272] ppid=9210 vsize=10918240 memory=1494224 CPUtime=0.07 cores=0,2,4,6
/proc/9213/task/9272/stat : 9272 (java) S 9210 9213 7887 0 -1 1077944384 47 13347 0 0 0 0 5 2 20 0 15 0 47897154 11180277760 373556 33554432000 4194304 4196468 140721011935376 140463743923936 140464742729429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9273] ppid=9210 vsize=10918240 memory=1200 CPUtime=0.07 cores=0,2,4,6
/proc/9213/task/9273/stat : 9273 (java) S 9210 9213 7887 0 -1 1077944384 11 13347 0 0 0 0 5 2 20 0 15 0 47897155 11180277760 373556 33554432000 4194304 4196468 140721011935376 140463617074432 140464742729429 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9274] ppid=9210 vsize=10918240 memory=279437284586240 CPUtime=0.07 cores=0,2,4,6
/proc/9213/task/9274/stat : 9274 (java) S 9210 9213 7887 0 -1 1077944384 3 13347 0 0 0 0 5 2 20 0 15 0 47897157 11180277760 373556 33554432000 4194304 4196468 140721011935376 140463309674960 140464742737819 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9275] ppid=9210 vsize=10918240 memory=55 CPUtime=14.81 cores=0,2,4,6
/proc/9213/task/9275/stat : 9275 (java) S 9210 9213 7887 0 -1 1077944384 68751 13347 0 0 1465 9 5 2 20 0 15 0 47897157 11180277760 373556 33554432000 4194304 4196468 140721011935376 140463710365936 140464742730370 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9276] ppid=9210 vsize=10918240 memory=288230583166042426 CPUtime=14.19 cores=0,2,4,6
/proc/9213/task/9276/stat : 9276 (java) S 9210 9213 7887 0 -1 1077944384 60039 13347 0 0 1405 7 5 2 20 0 15 0 47897157 11180277760 373556 33554432000 4194304 4196468 140721011935376 140463709313392 140464742730370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9277] ppid=9210 vsize=10918240 memory=1494224 CPUtime=5.18 cores=0,2,4,6
/proc/9213/task/9277/stat : 9277 (java) S 9210 9213 7887 0 -1 1077944384 70982 13347 0 0 501 10 5 2 20 0 15 0 47897157 11180277760 373556 33554432000 4194304 4196468 140721011935376 140463708260336 140464742730370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 45 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9278] ppid=9210 vsize=10918240 memory=1494224 CPUtime=0.07 cores=0,2,4,6
/proc/9213/task/9278/stat : 9278 (java) S 9210 9213 7887 0 -1 1077944384 3 13347 0 0 0 0 5 2 20 0 15 0 47897157 11180277760 373556 33554432000 4194304 4196468 140721011935376 140463276116320 140464742729429 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
[pid=9213/tid=9279] ppid=9210 vsize=10918240 memory=1436 CPUtime=1.5 cores=0,2,4,6
/proc/9213/task/9279/stat : 9279 (java) S 9210 9213 7887 0 -1 1077944384 1352 13347 0 0 69 74 5 2 20 0 15 0 47897158 11180277760 373556 33554432000 4194304 4196468 140721011935376 140463707208752 140464742730370 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15306752 140721011944046 140721011946844 140721011946844 140721011949519 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10918240 KiB
Current children cumulated memory: 1494224 KiB
Child status: 143
Real time (s): 2451.53
CPU time (s): 2520.1
CPU user time (s): 2516.44
CPU system time (s): 3.66149
CPU usage (%): 102.797
Max. virtual memory (cumulated for all children) (KiB): 10918240
Max. memory (cumulated for all children) (KiB): 1810576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.44
system time used= 3.66149
maximum resident set size= 1812624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 391161
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 241929
involuntary context switches= 8255
# summary of solver processes directly reported to runsolver:
# pid: 9213
# total CPU time (s): 2520.1
# total CPU user time (s): 2516.44
# total CPU system time (s): 3.66149
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.4425 second user time and 24.8312 second system time
The end